If the current Lie algebra has no differential, then 0 is returned.
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 |
The object differential is a function closure.