-- -*- M2-comint -*- hash: 13342068094683763133

i1 : F1=lieAlgebra({a,b,c,r3,r4,r42},
        Weights => {{1,0},{1,0},{2,0},{3,1},{4,1},{4,2}},
        Signs=>{0,0,0,1,1,0},LastWeightHomological=>true)

o1 = F1

o1 : LieAlgebra

i2 : D1=differentialLieAlgebra{0_F1,0_F1,0_F1,a c,a a c,r4 - a r3}

o2 = D1

o2 : LieAlgebra

i3 : ideal D1

o3 = {(a a c) - (a a c)}

o3 : List

i4 : F2=lieAlgebra({a,b,c2,c3,c5},Signs=>{0,0,1,0,1},
        Weights=>{{1,0},{1,0},{2,1},{3,2},{5,3}},
        LastWeightHomological=>true)

o4 = F2

o4 : LieAlgebra

i5 : D2=differentialLieAlgebra{0_F2,0_F2,a b,a c2,a b c3}

o5 = D2

o5 : LieAlgebra

i6 : describe D2

o6 = generators => {a, b, c2, c3, c5}
     Weights => {{1, 0}, {1, 0}, {2, 1}, {3, 2}, {5, 3}}
     Signs => {0, 0, 1, 0, 1}
     ideal => { - (a b a), (a b a c2)}
     ambient => F2
     diff => {0, 0,  - (b a), (a c2), (a b c3)}
     Field => QQ
     computedDegree => 0


i7 : 
     
     
     
