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 |