MultivariateFactorize(OV, E, R, P)ΒΆ

multfact.spad line 440 [edit on github]

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