u=x - y
The symbol - is used as infix notation for the Lie subtraction. The elements $x$ and $y$ must hade the same weight and sign.
|
|
The source of this document is in GradedLieAlgebras/doc.m2:1953:0.