ExpressionFactorPolynomial(R, F)

intpar.spad line 276 [edit on github]

This package implements factorPolynomial for Expression.

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.