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   e0              + x   e0              + x   e0              -
        2,2  5,{1, 3, 5},1    2,2  5,{1, 3, 4},1    2,3  5,{1, 2, 5},1  
     ------------------------------------------------------------------------
     x   e0             , x   x   e0              - x   x   e0              -
      2,3  5,{1, 2, 4},1   2,3 1,1  5,{2, 4, 5},1    2,4 1,1  5,{2, 3, 5},1  
     ------------------------------------------------------------------------
     x   x   e0              + x   x   e0             }
      2,3 1,2  5,{1, 4, 5},1    2,4 1,2  5,{1, 3, 5},1

o7 : List

Ways to use this method: