Two objects f and g of type LieAlgebraMap satisfies f==g if source f==source g, target f==target g, and the values of the generators of source f under f considered as elements in target g are the same as the values of the generators of source g under g.
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 |