GeneralizedMultivariateFactorize(OV, E, S, R, P)

allfact.spad line 258 [edit on github]

• OV : OrderedSet with

  convert : % -> Symbol

• E : OrderedAbelianMonoidSup
• S : IntegralDomain
• R : IntegralDomain
• 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