i2 : L=aboveBruhat(neutralWeylGroupElement(R))
o2 = {{WeylGroupElement{RootSystem{...8...}, | -1 |}, | 2 |},
| 2 | | -1 |
| 1 | | 0 |
------------------------------------------------------------------------
{WeylGroupElement{RootSystem{...8...}, | 2 |}, | -1 |},
| -1 | | 2 |
| 2 | | -1 |
------------------------------------------------------------------------
{WeylGroupElement{RootSystem{...8...}, | 1 |}, | 0 |}}
| 2 | | -1 |
| -1 | | 2 |
o2 : List
|
i3 : L1=apply(L,x->x#0)
o3 = {WeylGroupElement{RootSystem{...8...}, | -1 |},
| 2 |
| 1 |
------------------------------------------------------------------------
WeylGroupElement{RootSystem{...8...}, | 2 |},
| -1 |
| 2 |
------------------------------------------------------------------------
WeylGroupElement{RootSystem{...8...}, | 1 |}}
| 2 |
| -1 |
o3 : List
|
i4 : aboveBruhat(L1)
o4 = {{WeylGroupElement{RootSystem{...8...}, | 1 |}, {{0, | 1 |}, {1, | 2
| -2 | | 1 | | -1
| 3 | | -1 | | 0
------------------------------------------------------------------------
|}}}, {WeylGroupElement{RootSystem{...8...}, | 2 |}, {{1, | -1 |}, {2,
| | 1 | | 1 |
| | -2 | | 1 |
------------------------------------------------------------------------
| -1 |}}}, {WeylGroupElement{RootSystem{...8...}, | 3 |}, {{1, | 0 |},
| 2 | | -2 | | -1 |
| -1 | | 1 | | 2 |
------------------------------------------------------------------------
{2, | -1 |}}}, {WeylGroupElement{RootSystem{...8...}, | -2 |}, {{0, | -1
| 1 | | 1 | | 2
| 1 | | 2 | | -1
------------------------------------------------------------------------
|}, {1, | 1 |}}}, {WeylGroupElement{RootSystem{...8...}, | -1 |}, {{0,
| | 1 | | 3 |
| | -1 | | -1 |
------------------------------------------------------------------------
| 0 |}, {2, | 2 |}}}}
| -1 | | -1 |
| 2 | | 0 |
o4 : List
|