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

• Operator: ==

• Usage:

  f==g

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

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