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

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