next | previous | forward | backward | up | top | index | toc | Macaulay2 website
GradedLieAlgebras :: LieDerivation @ LieElement

LieDerivation @ LieElement -- formal application of a derivation to a Lie element

Synopsis

Description

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra
i2 : d = euler L

o2 = d

o2 : LieDerivation
i3 : d@a a a b a

o3 = (a a a b a) + (a a a b a) + (a a a b a) + (a a a b a) + (a a a b a)

o3 : L

See also