i1 : longestWeylGroupElement rootSystemF4
o1 = WeylGroupElement{RootSystem{...8...}, | -1 |}
| -1 |
| -1 |
| -1 |
o1 : WeylGroupElement
|