normalFormLie -- returns a basic Lie expression for the Lie algebra equal to the input

Synopsis

• Usage:

  b=normalFormLie(a)

• Inputs:

  • a, a thing,
• Outputs:

  • b, a list
  • b, an array,

Description

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

See also

• generalExpressionLie -- checks if an expression is of right input form for e.g. relations
• basicExpressionLie -- checks if a general Lie expression is of normal form
• monomialLie -- checks if an array is a correct iterated Lie product
• basicMonomialLie -- checks if an array is a basis element for the Lie algebra
• defLie -- returns a general Lie expression corresponding to input
• indexFormLie -- returns an element in the ring representation corresponding to the input