i1 : R=rootSystemD(5) o1 = RootSystem{...8...} o1 : RootSystem |
i2 : w=reduce(R,{3}) o2 = WeylGroupElement{RootSystem{...8...}, | 1 |} | 2 | | -1 | | 2 | | 2 | o2 : WeylGroupElement |
i3 : isReflection(w) o3 = true |