LieAlgebra == LieAlgebra -- whether two Lie algebras are defined in the same way

• Operator: ==

• Usage:

  L==M

• Inputs:
  • L, an instance of the type LieAlgebra,
  • M, an instance of the type LieAlgebra,
• 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 : 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