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 |