algebra: Add polyfactor0 to build

Not sure why it wasn't included, but it is now.
Add quick testcase for DenseUnivariatePolynomials.