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

image(FreeOIModuleMap) -- get the basis element images of a free OI-module map

Synopsis

Description

Returns a list containing the basis element images of a free OI-module map.

i1 : P = makePolynomialOIAlgebra(2, x, QQ);
i2 : F = makeFreeOIModule(e, {1,2}, P);
i3 : installGeneratorsInWidth(F, 3);
i4 : b = x_(1,2)*x_(1,1)*e_(3,{2},1)+x_(2,2)*x_(2,1)*e_(3,{1,3},2);
i5 : C = oiRes({b}, 2);
i6 : phi = C.dd_1;
i7 : image phi

o7 = {x   x   e0              - x   x   e0              - x   x   e0        
       2,3 1,1  5,{2, 4, 5},1    2,4 1,1  5,{2, 3, 5},1    2,3 1,2  5,{1, 4,
     ------------------------------------------------------------------------
          + x   x   e0             , -x   e0              + x   e0        
     5},1    2,4 1,2  5,{1, 3, 5},1    2,2  5,{1, 3, 5},1    2,2  5,{1, 3,
     ------------------------------------------------------------------------
          + x   e0              - x   e0             }
     4},1    2,3  5,{1, 2, 5},1    2,3  5,{1, 2, 4},1

o7 : List

Ways to use this method: