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