It is also possible to use the infix notation SPACE instead of the prefix notation multLie, 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)))
i1 : L = lieAlgebra{a,b,c} o1 = L o1 : LieAlgebra |
i2 : b b b a o2 = (b b b a) o2 : L |
i3 : multLie(b,multLie(b,multLie(b,a))) o3 = (b b b a) o3 : L |