LieAlgebraMap == LieAlgebraMap -- whether two Lie algebra homomorphisms are defined in the same way

Synopsis

Operator: ==
Usage:

f==g
Inputs:
- f, an instance of the type LieAlgebraMap,
- g, an instance of the type LieAlgebraMap,
Outputs:
- b, a Boolean value,

Description

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

Ways to use this method: