Added polynomial factorization (univariate case).