WeylGroupElement == WeylGroupElement -- equality of elements of Weyl groups

• Operator: ==

• Usage:

  w1 == w2

• Inputs:
  • w1, an instance of the type WeylGroupElement,
  • w2, an instance of the type WeylGroupElement,
• Outputs:
  • a Boolean value, true if w1 and w2 belong to the same Weyl group and coincide, and false otherwise

i1 : w1=reduce(rootSystemD(5),{3})

o1 = WeylGroupElement{RootSystem{...8...}, |  1 |}
                                           |  2 |
                                           | -1 |
                                           |  2 |
                                           |  2 |

o1 : WeylGroupElement

i2 : w1==inverse(w1)

o2 = true