-- -*- M2-comint -*- hash: 18170194702604035704

i1 : L = lieAlgebra{a,b}

o1 = L

o1 : LieAlgebra

i2 : S=lieSubAlgebra{a}

o2 = S

o2 : FGLieSubAlgebra

i3 : I=lieIdeal{a}

o3 = I

o3 : FGLieIdeal

i4 : instance(I,LieSubAlgebra)

o4 = true

i5 : instance(I,FGLieSubAlgebra)

o5 = false

i6 : 
