next | previous | forward | backward | up | top | index | toc | Macaulay2 website
CompleteIntersectionResolutions :: freeExteriorSummand

freeExteriorSummand -- find the free summands of a module over an exterior algebra

Synopsis

Description

i1 : kk= ZZ/101

o1 = kk

o1 : QuotientRing
i2 : E = kk[e,f,g, SkewCommutative => true]

o2 = E

o2 : PolynomialRing, 3 skew commutative variables
i3 : M = E^1++module ideal vars E++E^{-1}

o3 = image {0} | 1 0 0 0 0 |
           {0} | 0 e f g 0 |
           {1} | 0 0 0 0 1 |

                             3
o3 : E-module, submodule of E
i4 : freeExteriorSummand M

o4 = {0} | 1 0 |
     {1} | 0 0 |
     {1} | 0 0 |
     {1} | 0 0 |
     {1} | 0 1 |

o4 : Matrix

Ways to use freeExteriorSummand :

For the programmer

The object freeExteriorSummand is a method function.