## Documentation |

Category of multivariate polynomials

This functionality does not run in MATLAB.

Cat::Polynomial(R)

`Cat::Polynomial(R)` represents the category
of multivariate polynomials over `R`.

A `Cat::Polynomial(R)` is a multivariate polynomial
ring over a commutative coefficient ring `R`.

If `R` has `Ax::canonicalUnitNormal`, then `Ax::canonicalUnitNormal`.

If `R` has `Ax::closedUnitNormals`, then `Ax::closedUnitNormals`.

`Cat::PartialDifferentialRing`, `Cat::Algebra``(R)`

If `R` is a `Cat::FactorialDomain`, then `Cat::FactorialDomain`.

If `R` is a `Cat::GcdDomain`, then `Cat::GcdDomain`.

If `R` is a `Cat::IntegralDomain`, then `Cat::IntegralDomain`.

"coeffRing" | The coefficient ring |

"characteristic" | The characteristic of this domain, which is the same
as that of the ring |

Was this topic helpful?