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.