ExpressionFactorPolynomial(R, F)ΒΆ

intpar.spad line 145

undocumented

factor: (SparseUnivariatePolynomial F, List F) -> Factored SparseUnivariatePolynomial F
factor(p, [k1, ..., kn]) factors p into irreducible factors over field generated by its coefficients and k1, ..., kn.
factorPolynomial: SparseUnivariatePolynomial F -> Factored SparseUnivariatePolynomial F
factorPolynomial(p) factors p into irreducible factors over field generated by its coefficients.
poly_factor: SparseUnivariatePolynomial SparseMultivariatePolynomial(R, Kernel F) -> Factored SparseUnivariatePolynomial SparseMultivariatePolynomial(R, Kernel F)
poly_factor(p) should be local but conditional.