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

LieElement LieElement -- The Lie multiplication

Synopsis

Description

SPACE is used as infix notation for the Lie multiplication. It is also possible to use the prefix notation multLie, but SPACE is easier to use, it is right associative and hence
b b b a is the same as multLie(b,multLie(b,multLie(b,a))), which is written as (b b b a) in output, or a normal form equivalent.

i1 : L = lieAlgebra{a,b,c}

o1 = L

o1 : LieAlgebra
i2 : b b b a

o2 = (b b b a)

o2 : L
i3 : (a b+b c) (a c)

o3 = (a c b a) - (b c c a) - (c a b a) + (c b c a)

o3 : L