next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
GradedLieAlgebras :: multDerLie

multDerLie -- defines the Lie multiplication of two derivations on a Lie algebra

Synopsis

Description

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}

Caveat

Requires that the derivations are maps L->L and the map defining the L-module structure on L is the identity map.

See also

Ways to use multDerLie :