MRationalFactorize(E, OV, R, P)ΒΆ

allfact.spad line 1

MRationalFactorize contains the factor function for multivariate polynomials over the quotient field of a ring R such that the package MultivariateFactorize can factor multivariate polynomials over R.

factor: P -> Factored P
factor(p) factors the multivariate polynomial p with coefficients which are fractions of elements of R.