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