# MPolyCatPolyFactorizer(E, OV, R, PPR)ΒΆ

allfact.spad line 194 [edit on github]

OV: OrderedSet with

convert: % -> Symbol

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.