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

allfact.spad line 250

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