-- -*- M2-comint -*- hash: 4091295652532520211

i1 : F = lieAlgebra{a,b}

o1 = F

o1 : LieAlgebra

i2 : I = lieIdeal{a a b}

o2 = I

o2 : FGLieIdeal

i3 : f = map(F/I,F)

o3 = f

o3 : LieAlgebraMap

i4 : G = lieAlgebra{a,b}

o4 = G

o4 : LieAlgebra

i5 : g=map(G/{a a b},G)

o5 = g

o5 : LieAlgebraMap

i6 : f==g

o6 = true

i7 : f===g

o7 = false

i8 : 
