i1 : R=rootSystemD(5)
o1 = RootSystem{...8...}
o1 : RootSystem
|
i2 : P=parabolic(R,set{2,3,4,5})
o2 = set {2, 3, 4, 5}
o2 : Parabolic
|
i3 : w=longestWeylGroupElement R
o3 = WeylGroupElement{RootSystem{...8...}, | -1 |}
| -1 |
| -1 |
| -1 |
| -1 |
o3 : WeylGroupElement
|
i4 : c=w % P
o4 = WeylGroupLeftCoset{set {2, 3, 4, 5}, WeylGroupElement{RootSystem{...8...}, | -7 |}}
| 1 |
| 1 |
| 1 |
| 1 |
o4 : WeylGroupLeftCoset
|
i5 : reduce(R,{1})*c
o5 = WeylGroupLeftCoset{set {2, 3, 4, 5}, WeylGroupElement{RootSystem{...8...}, | 7 |}}
| -6 |
| 1 |
| 1 |
| 1 |
o5 : WeylGroupLeftCoset
|