factorizing polynomials