i1 : L=lieAlgebra({a,b},{})
o1 = L
o1 : LieAlgebra
|
i2 : da=derLie({[],[a,b]})
o2 = da
o2 : DerLie
|
i3 : db=derLie({[b,a],[]})
o3 = db
o3 : DerLie
|
i4 : multDerLie(da,db)
o4 = DerLie{...7...}
o4 : DerLie
|
i5 : peek oo
o5 = DerLie{a => [a, b, a] }
b => [b, b, a]
maplie => MapLie{...4...}
signDer => 0
sourceLie => L
targetLie => L
weightDer => {2, 0}
|
Requires that the derivations are maps L->L and the map defining the L-module structure on L is the identity map.