-- -*- M2-comint -*- hash: 7505656902889623445

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

o1 = L

o1 : LieAlgebra

i2 : L=differentialLieAlgebra{0_L,a}

o2 = L

o2 : LieAlgebra

i3 : d=differential(L)

o3 = d

o3 : LieDerivation

i4 : d b b a

o4 = (3/2)(b a a)

o4 : L

i5 : 
