This type implements OI-algebras of the form $(\mathbf{X}^{\text{OI},1})^{\otimes c}$ for some integer $c>0$. To make a PolynomialOIAlgebra object, use makePolynomialOIAlgebra. Each PolynomialOIAlgebra object is equipped with a variable order; see VariableOrder.
|
The object PolynomialOIAlgebra is a type, with ancestor classes HashTable < Thing.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/OIGroebnerBases.m2:1350:0.