DynkinType ++ DynkinType -- the disjoint union of Dynkin Types

Synopsis

• Operator: ++

• Usage:

  T1 ++ T2

• Inputs:
  • T1, an instance of the type DynkinType
  • T2, an instance of the type DynkinType
• Outputs:
  • an instance of the type DynkinType, the disjoint union (concatenation) of T1 and T2

Description

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

o3 = DynkinType{{B, 2}, {A, 3}}

o3 : DynkinType