Macaulay2 » Documentation
Packages » OIGroebnerBases > PolynomialOIAlgebra
next | previous | forward | backward | up | index | toc

PolynomialOIAlgebra -- the class of all Noetherian polynomial OI-algebras over a field


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.

i1 : P = makePolynomialOIAlgebra(2, x, QQ, VariableOrder => RowDownColUp)

o1 = Number of variable rows: 2
     Variable symbol: x
     Base field: QQ
     Variable order: RowDownColUp

o1 : PolynomialOIAlgebra

Functions and methods returning an object of class PolynomialOIAlgebra :

Methods that use an object of class PolynomialOIAlgebra :

For the programmer

The object PolynomialOIAlgebra is a type, with ancestor classes HashTable < Thing.