getFreeOIModule -- get the free OI-module of an element

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

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

i3 : installGeneratorsInWidth(F, 4);

i4 : f = x_(2,4)*e_(4,{3},1)+x_(1,3)^2*e_(4,{2,4},3)

                     2
o4 = x   e        + x   e
      2,4 4,{3},1    1,3 4,{2, 4},3

                                                         14
o4 : (QQ[x   , x   , x   , x   , x   , x   , x   , x   ])   in width 4
          2,4   2,3   2,2   2,1   1,4   1,3   1,2   1,1

i5 : getFreeOIModule f

o5 = Basis symbol: e
     Basis element widths: {1, 1, 2}
     Degree shifts: {0, 0, 0}
     Polynomial OI-algebra: (2, x, QQ, RowUpColUp)
     Monomial order: Lex

o5 : FreeOIModule