SPACE is used as infix notation for the Lie multiplication. It is also possible to use the prefix notation multLie, but SPACE is easier to use, it is right associative and hence
b b b a is the same as multLie(b,multLie(b,multLie(b,a))), which is written as (b b b a) in output, or a normal form equivalent.
i1 : L = lieAlgebra{a,b,c} o1 = L o1 : LieAlgebra |
i2 : b b b a o2 = (b b b a) o2 : L |
i3 : (a b+b c) (a c) o3 = (a c b a) - (b c c a) - (c a b a) + (c b c a) o3 : L |