- LieElement -- unary negation

• Operator: -

• Usage:

  u = - x

• Inputs:
  • x, an instance of the type LieElement, $x$ is of type $L$, where $L$ is of type LieAlgebra
• Outputs:
  • u, an instance of the type LieElement, $u$ is of type $L$, the negation of $x$

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra

i2 : - 2 b b b a

o2 =  - 2 (b b b a)

o2 : L