-- -*- M2-comint -*- hash: 9754242770382455307

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

i4 : 
