MRationalFactorize(E, OV, R, P)

allfact.spad line 1 [edit on github]

• E: OrderedAbelianMonoidSup

• OV: OrderedSet

• R: Join(EuclideanDomain, PolynomialFactorizationExplicit, CharacteristicZero)

• P: PolynomialCategory(Fraction R, E, OV)

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.