Factorization of polynomials