i1 : R=rootSystemA(4) o1 = RootSystem{...8...} o1 : RootSystem |
i2 : P=parabolic(R,set{1,2,4}) o2 = set {1, 2, 4} o2 : Parabolic |
i3 : w=reduce(R,{3,2,4,3}) o3 = WeylGroupElement{RootSystem{...8...}, | 3 |} | 1 | | -3 | | 1 | o3 : WeylGroupElement |
i4 : d= P % w % P o4 = WeylGroupDoubleCoset{set {1, 2, 4}, set {1, 2, 4}, WeylGroupElement{RootSystem{...8...}, | 3 |}} | 1 | | -3 | | 1 | o4 : WeylGroupDoubleCoset |
i5 : parabolic(d) o5 = set {2, 4} o5 : Parabolic |