The symbol SPACE is used as notation for multiplication by scalars. The scalars are of type Number if the field is QQ, otherwise the scalars are of type RingElement. If the LieElement is surrounded by a parenthesis, you don’t need to write the SPACE.
i1 : L = lieAlgebra{a,b} o1 = L o1 : LieAlgebra |
i2 : - 3(b b a + 2 a a b) o2 = 6 (a b a) - 3 (b b a) o2 : L |