An input of the form generalExpressionLie is transformed to a basicExpressionLie which is equal to the input in the Lie algebra, see How to write Lie elements.
i1 : L = lieAlgebra({a,b,c},{},genSigns=>{1,1,0}) o1 = L o1 : LieAlgebra |
i2 : normalFormLie[a,a,b] 1 o2 = {{- -}, {[b, a, a]}} 2 o2 : List |
i3 : normalFormLie{{0,1},{[b,a,a],[b,c,c]}} o3 = [] o3 : Array |