RootSystem ++ RootSystem -- the direct sum of root systems

Synopsis

• Operator: ++

• Usage:

  R1 ++ R2

• Inputs:
  • R1, an instance of the type RootSystem,
  • R2, an instance of the type RootSystem,
• Outputs:
  • an instance of the type RootSystem, the direct sum of R1 and R2

Description

i1 : R1=rootSystemA(2)

o1 = RootSystem{...8...}

o1 : RootSystem

i2 : R2=rootSystemA(3)

o2 = RootSystem{...8...}

o2 : RootSystem

i3 : R1++R2

o3 = RootSystem{...8...}

o3 : RootSystem