-- -*- M2-comint -*- hash: 13701233163218090426

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

i2 : F = makeFreeOIModule(e, {1,1,2}, P, DegreeShifts => {3,2,1})

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

o2 : FreeOIModule

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

i4 : installGeneratorsInWidth(F, 2);

i5 : b = x_(1,1)*e_(2,{1},1)+x_(2,1)*e_(2,{1},2);

i6 : G = makeFreeOIModule(d, {2}, P, DegreeShifts => {-degree b}, OIMonomialOrder => {b})

o6 = Basis symbol: d
     Basis element widths: {2}
     Degree shifts: {-1}
     Polynomial OI-algebra: (2, x, QQ, RowUpColUp)
     Monomial order: Schreyer

o6 : FreeOIModule

i7 : 
