-- -*- M2-comint -*- hash: 4624104575003026520

i1 : F = lieAlgebra{a,b}

o1 = F

o1 : LieAlgebra

i2 : I = lieIdeal{a a b}

o2 = I

o2 : FGLieIdeal

i3 : L=F/{a a b}

o3 = L

o3 : LieAlgebra

i4 : M=F/I

o4 = M

o4 : LieAlgebra

i5 : L==M

o5 = true

i6 : L===M

o6 = false

i7 : 
