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

monomialLie -- checks if an array is a correct iterated Lie product

Synopsis

Description

An expression is a "Lie monomial" if it is an array of generators from the Lie algebra. Its interpretation is an iterated Lie product of the generators in the array starting from the right, i.e. [a,b,c]=[a,[b,c]]. The function toMonomialLie may be used to transform general Lie products to linear combinations of monomialLie, see How to write Lie elements.

i1 : L = lieAlgebra({a,b,c},{},genSigns=>{1,1,0})

o1 = L

o1 : LieAlgebra
i2 : monomialLie[a,a,b]

o2 = true
i3 : toMonomialLie[a,[a,b]]

         1
o3 = {{- -}, {[b, a, a]}}
         2

o3 : List

See also