neutralWeylGroupElement(R)
i1 : neutralWeylGroupElement rootSystemF4 o1 = WeylGroupElement{RootSystem{...8...}, | 1 |} | 1 | | 1 | | 1 | o1 : WeylGroupElement
The source of this document is in WeylGroups.m2:3046:0.