longestWeylGroupElement(RootSystem) -- the longest element of the Weyl group of a root system

• Function: longestWeylGroupElement

• Usage:

  longestWeylGroupElement(R)

• Inputs:
  • R, an instance of the type RootSystem,
• Outputs:
  • an instance of the type WeylGroupElement, the longest element of the Weyl group of R

i1 : longestWeylGroupElement rootSystemF4

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

o1 : WeylGroupElement