differential -- make the derivation defined by the differential

• Usage:

  d=differential(L)

• Inputs:
  • L, an instance of the type LieAlgebra,
• Outputs:
  • d, an instance of the type LieDerivation, the derivation defined by the differential

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