LieElement + LieElement -- addition of Lie elements

Synopsis

Operator: +
Usage:

u=x + y
Inputs:
- x, an instance of the type LieElement, $x$ is of type $L$, where $L$ is of type LieAlgebra
- y, an instance of the type LieElement, $y$ is of type $L$
Outputs:
- u, an instance of the type LieElement, $u$ is of type $L$, the sum of $x$ and $y$

The symbol + is used as infix notation for the Lie addition. The elements $x$ and $y$ must have the same weight and sign.

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra

i2 : b b b a + a a a b

o2 =  - (a a b a) + (b b b a)

o2 : L