MultivariateFactorize(OV, E, R, P)

multfact.spad line 437 [edit on github]

• OV : OrderedSet
• E : OrderedAbelianMonoidSup
• R : Join(PolynomialFactorizationExplicit, CharacteristicZero)
• P : PolynomialCategory(R, E, OV)

This is the top level package for doing multivariate factorization over basic domains like Integer or Fraction Integer.

factor : P -> Factored(P)

factor(p) factors the multivariate polynomial p over its coefficient domain

factor : SparseUnivariatePolynomial(P) -> Factored(SparseUnivariatePolynomial(P))

factor(p) factors the multivariate polynomial p over its coefficient domain where p is represented as a univariate polynomial with multivariate coefficients