MPolyCatPolyFactorizer(E, OV, R, PPR)

allfact.spad line 194 [edit on github]

• E : OrderedAbelianMonoidSup
• OV : OrderedSet with

  convert : % -> Symbol

• R : EuclideanDomain
• PPR : PolynomialCategory(Polynomial(R), E, OV)

This package exports a factor operation for multivariate polynomials with coefficients which are polynomials over some ring R over which we can factor. It is used internally by packages such as the solve package which need to work with polynomials in a specific set of variables with coefficients which are polynomials in all the other variables.

factor : PPR -> Factored(PPR)

factor(p) factors a polynomial with polynomial coefficients.