Macaulay2 » Documentation
Packages » OIGroebnerBases > OIResolution _ ZZ
next | previous | forward | backward | up | index | toc

OIResolution _ ZZ -- get a module of an OI-resolution is specified homological degree

Synopsis

Description

Returns the free OI-module of $C$ in homological degree $n$.

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.2088s (cpu); 0.142139s (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

Ways to use this method: