ExpressionFactorPolynomial(R, F)

intpar.spad line 276 [edit on github]

• R : Join(GcdDomain, Comparable)
• F : FunctionSpace(R)

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.