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

Description

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 :

makePolynomialOIAlgebra -- make a PolynomialOIAlgebra object

Methods that use an object of class PolynomialOIAlgebra :

makeFreeOIModule(Symbol,List,PolynomialOIAlgebra) -- see makeFreeOIModule -- make a FreeOIModule object
net(PolynomialOIAlgebra) -- display a polynomial OI-algebra
PolynomialOIAlgebra _ ZZ -- get the $K$-algebra in a specified width of a polynomial OI-algebra
toString(PolynomialOIAlgebra) -- display a polynomial OI-algebra in condensed form

For the programmer

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