RootSystem == RootSystem -- equality of root systems

Synopsis

• Operator: ==

• Usage:

  R1 == R2

• Inputs:
  • R1, an instance of the type RootSystem,
  • R2, an instance of the type RootSystem,
• Outputs:
  • a Boolean value, true if the Cartan matrices of R1 and R2 coincide and false otherwise

Description

i1 : R1=rootSystemA(2)

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

o1 : RootSystem

i2 : R2=rootSystemA(2)

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

o2 : RootSystem

i3 : R1==R2

o3 = true