FreeOIModule _ ZZ -- get the width n component of a free OI-module

• Operator: _

• Usage:

  F _ n

• Inputs:
  • F, an instance of the type FreeOIModule,
  • n, an integer,
• Outputs:
  • an instance of the type ModuleInWidth,

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

i2 : F = makeFreeOIModule(e, {1,2}, P);

i3 : F_5

                                                                     15
o3 = (QQ[x   , x   , x   , x   , x   , x   , x   , x   , x   , x   ])   in width 5
          2,5   2,4   2,3   2,2   2,1   1,5   1,4   1,3   1,2   1,1

o3 : ModuleInWidth