13P05 - Commutative rings and algebras :: Computational aspects of commutative algebra :: Polynomials, factorization