i1 : R=rootSystemE(6) o1 = RootSystem{...8...} o1 : RootSystem |
i2 : P=parabolic(R,set{1,2,3,4,5}) o2 = set {1, 2, 3, 4, 5} o2 : Parabolic |
i3 : w=minimalRepresentative (P % (longestWeylGroupElement R)) o3 = WeylGroupElement{RootSystem{...8...}, | 1 |} | 1 | | 1 | | 1 | | 1 | | -11 | o3 : WeylGroupElement |
i4 : isMinimalRepresentative(P,w) o4 = true |