i1 : P = makePolynomialOIAlgebra(2, x, QQ);
|
i2 : F = makeFreeOIModule(e, {1,1}, P);
|
i3 : installGeneratorsInWidth(F, 2);
|
i4 : b = x_(1,2)*x_(1,1)*e_(2,{2},1)+x_(2,2)*x_(2,1)*e_(2,{1},2);
|
i5 : time C = oiRes({b}, 1);
-- used 0.101745s (cpu); 0.0748749s (thread); 0s (gc)
|
i6 : C_0
o6 = Basis symbol: e0
Basis element widths: {2}
Degree shifts: {-2}
Polynomial OI-algebra: (2, x, QQ, RowUpColUp)
Monomial order: Lex
o6 : FreeOIModule
|
i7 : C_1
o7 = Basis symbol: e1
Basis element widths: {4, 4}
Degree shifts: {-4, -4}
Polynomial OI-algebra: (2, x, QQ, RowUpColUp)
Monomial order: Lex
o7 : FreeOIModule
|