DynkinType == DynkinType -- the equality of Dynkin Types

• Operator: ==

• Usage:

  T1 == T2

• Inputs:
  • T1, an instance of the type DynkinType,
  • T2, an instance of the type DynkinType,
• Outputs:
  • a Boolean value, true if T1 is isomorphic to T2 and false if not

i1 : T1=dynkinType(rootSystemB(2))

o1 = DynkinType{{B, 2}}

o1 : DynkinType

i2 : T2=dynkinType(rootSystemA(3))

o2 = DynkinType{{A, 3}}

o2 : DynkinType

i3 : (T1++T2) == (T2++T1)

o3 = true

i4 : (T1++T2) === (T2++T1)

o4 = false