MPolyCatPolyFactorizer(E, OV, R, PPR)¶
OV: OrderedSet with
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.