-- -*- M2-comint -*- hash: 4815634640657782572

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra

i2 : S=lieSubSpace{a b}

o2 = S

o2 : LieSubSpace

i3 : I=lieIdeal{a b}

o3 = I

o3 : FGLieIdeal

i4 : instance(S,LieSubAlgebra)

o4 = false

i5 : dims(1,3,S)

o5 = {0, 1, 0}

o5 : List

i6 : dims(1,3,I)

o6 = {0, 1, 2}

o6 : List

i7 : 
     
     
