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