The evaluation of the Lie derivation d of class DerLie may be applied to a generalExpressionLie in d:sourceLie.
i1 : M=lieAlgebra({a,b},{})
o1 = M
o1 : LieAlgebra
|
i2 : L=lieAlgebra({a,b},{[a,a,a,b],[b,b,b,a]})
o2 = L
o2 : LieAlgebra
|
i3 : f=mapLie(L,M,{[a],[b]})
o3 = f
o3 : MapLie
|
i4 : d=derLie(f,{[],[a,b,a]})
o4 = d
o4 : DerLie
|
i5 : peek d
o5 = DerLie{a => [] }
b => [a, b, a]
maplie => f
signDer => 0
sourceLie => M
targetLie => L
weightDer => {2, 0}
|
i6 : evalDerLie(d,[b,b,b,a])
o6 = {{2}, {[b, a, b, a, b, a]}}
o6 : List
|
i7 : evalDerLie(d,[a,a,a,b]) o7 = [] o7 : Array |
i8 : whichLie() o8 = L o8 : LieAlgebra |
i9 : d1=derLie({[],[a,b,a]})
the derivation is not welldefined
|