generalExpressionLie -- checks if an expression is of right input form for e.g. relations

Synopsis

• Usage:

  b=generalExpressionLie(a)

• Inputs:

  • a, a thing,
• Outputs:

  • b, a Boolean value,

Description

i1 : L = lieAlgebra({a,b,c},{},genSigns=>{1,1,0},field=>frac(ZZ/5[x]))

o1 = L

o1 : LieAlgebra

i2 : generalExpressionLie{{1,2},{[a,b],[a,c]}}
the input is not sign-homogeneous

o2 = false

i3 : generalExpressionLie{{1,2},{[a,b],[a,b,c]}}
the input is not weight-homogeneous

o3 = false

i4 : generalExpressionLie{{1/3,2*x-1},{[a,a,b],[a,c,c]}}

o4 = true

See also

• 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
• normalFormLie -- returns a basic Lie expression for the Lie algebra equal to the input
• defLie -- returns a general Lie expression corresponding to input
• indexFormLie -- returns an element in the ring representation corresponding to the input