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

- 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