F = freeExteriorSummand M
i1 : kk= ZZ/101 o1 = kk o1 : QuotientRing
i2 : E = kk[e,f,g, SkewCommutative => true] o2 = E o2 : PolynomialRing, 3 skew commutative variable(s)
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 | 2 o4 : Matrix M <-- E
The object freeExteriorSummand is a method function.