-- -*- M2-comint -*- hash: 12133098722954233247

i1 : F = lieAlgebra({a,b,c},Weights=>{{1,0},{1,0},{2,1}},
            Signs=>{1,1,1},LastWeightHomological=>true)

o1 = F

o1 : LieAlgebra

i2 : D = differentialLieAlgebra{0_F,0_F,a a + b b}

o2 = D

o2 : LieAlgebra

i3 : L=D/{a b,a c}

o3 = L

o3 : LieAlgebra

i4 : E=extAlgebra(3,L)

o4 = E

o4 : ExtAlgebra

i5 : describe E

o5 = generators => {ext_0, ext_1, ext_2, ext_3, ext_4}
     Weights => {{1, 1}, {1, 1}, {2, 2}, {2, 2}, {3, 3}}
     Signs => {0, 0, 0, 0, 0}
     lieAlgebra => L
     Field => QQ
     computedDegree => 3

i6 : (ext_0 - 2 ext_1) ext_2

o6 =  - 4ext_4

o6 : E

i7 : R=QQ[a,b,c]/{a*a,b*b,c*c}

o7 = R

o7 : QuotientRing

i8 : L=koszulDual(R)

o8 = L

o8 : LieAlgebra

i9 : E=extAlgebra(4,L)

o9 = E

o9 : ExtAlgebra

i10 : describe E

o10 = generators => {ext_0, ext_1, ext_2, ext_3, ext_4, ext_5, ext_6}
      Weights => {{1, 1}, {1, 1}, {1, 1}, {2, 2}, {2, 2}, {2, 2}, {3, 3}}
      Signs => {0, 0, 0, 0, 0, 0, 0}
      lieAlgebra => L
      Field => QQ
      computedDegree => 4

i11 : ext_0 ext_1 ext_2

o11 = ext_6

o11 : E

i12 : 
      
