-- -*- M2-comint -*- hash: 1149638770492897616

i1 : L = lieAlgebra{a,b,c}/{a a c+b a c,c c a}

o1 = L

o1 : LieAlgebra

i2 : S=lieSubAlgebra({a c})

o2 = S

o2 : FGLieSubAlgebra

i3 : A=annihilator(S)

o3 = A

o3 : LieSubAlgebra

i4 : dims(1,4,A)

o4 = {2, 2, 2, 3}

o4 : List

i5 : basis(3,A)

o5 = {(b c a) + (b c b) - (c b a), (c c b)}

o5 : List

i6 : 
     
