-- -*- M2-comint -*- hash: 13559630034008508173

i1 : E=QQ[e_1..e_4,SkewCommutative=>true]

o1 = E

o1 : PolynomialRing, 4 skew commutative variable(s)

i2 : F=E^{0,0}

      2
o2 = E

o2 : E-module, free

i3 : lexModuleBySequences({2,8,3,1,0},F)

o3 = image | e_3e_4 e_2e_4 e_1e_4 e_2e_3 e_1e_3 e_1e_2 0      0      0      |
           | 0      0      0      0      0      0      e_1e_4 e_1e_3 e_1e_2 |

                             2
o3 : E-module, submodule of E

i4 : 
