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
|