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

evalDerLie -- the value of a Lie derivation applied to an argument

Synopsis

Description

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

See also

Ways to use evalDerLie :