i1 : L = lieAlgebra{a,b,c}/{a a c+b a c,c c a} o1 = L o1 : LieAlgebra
i2 : basisLie 3 o2 = {(a b a), (b b a), (c b a), (b c a), (b c b), (c c b)} o2 : List
i3 : annLie(3,2,{a c}) o3 = {(b c a) + (b c b) - (c b a), (c c b)} o3 : List