Macaulay2 » Documentation
Packages » OIGroebnerBases > describe(OIResolution)
next | previous | forward | backward | up | index | toc

describe(OIResolution) -- describe an OI-resolution

Synopsis

Description

Displays the free OI-modules and differentials of an OI-resolution.

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.238345s (cpu); 0.173961s (thread); 0s (gc)
i6 : describe C

o6 = 0: Module: Basis symbol: e0
                Basis element widths: {2}
                Degree shifts: {-2}
                Polynomial OI-algebra: (2, x, QQ, RowUpColUp)
                Monomial order: Lex
     Differential: Source: (e0, {2}, {-2}) Target: (e, {1, 1}, {0, 0})
     1: Module: Basis symbol: e1
                Basis element widths: {4, 4}
                Degree shifts: {-4, -4}
                Polynomial OI-algebra: (2, x, QQ, RowUpColUp)
                Monomial order: Lex
     Differential: Source: (e1, {4, 4}, {-4, -4}) Target: (e0, {2}, {-2})

Ways to use this method: