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

multfact.spad line 440 [edit on github]

OV: OrderedSet

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