A derivation d:M->L depends on a Lie homomorphism f:M->L, which may be obtained as d.maplie and seen using peekLie d.
i1 : L=lieAlgebra{a,b}/{a a a b,b b b a} o1 = L o1 : LieAlgebra |
i2 : M=lieAlgebra{a,b} o2 = M o2 : LieAlgebra |
i3 : f=mapLie(L,M) o3 = f o3 : MapLie |
i4 : useLie L o4 = L o4 : LieAlgebra |
i5 : d=derLie(f,{a a b,L.zz}) o5 = d o5 : DerLie |
i6 : d.maplie o6 = f o6 : MapLie |
i7 : peekLie d o7 = a => - (a b a) b => 0 maplie => MapLie{a => a } b => b sourceLie => M targetLie => L sign => 0 weight => {2, 0} sourceLie => M targetLie => L |