PolynomialOIAlgebra _ ZZ -- get the $K$-algebra in a specified width of a polynomial OI-algebra

• Operator: _

• Usage:

  P_n

• Inputs:
  • P, an instance of the type PolynomialOIAlgebra,
  • n, an integer,
• Outputs:
  • a polynomial ring,

i1 : P = makePolynomialOIAlgebra(2, y, QQ);

i2 : P_4

o2 = QQ[y   , y   , y   , y   , y   , y   , y   , y   ]
         2,4   2,3   2,2   2,1   1,4   1,3   1,2   1,1

o2 : PolynomialRing