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, | 0 |}, {2, | 2
| 3 | | -1 | | -1
| -1 | | 2 | | 0
------------------------------------------------------------------------
|}}}, {WeylGroupElement{RootSystem{...8...}, | 1 |}, {{0, | 1 |}, {1,
| | -2 | | 1 |
| | 3 | | -1 |
------------------------------------------------------------------------
| 2 |}}}, {WeylGroupElement{RootSystem{...8...}, | 2 |}, {{1, | -1 |},
| -1 | | 1 | | 1 |
| 0 | | -2 | | 1 |
------------------------------------------------------------------------
{2, | -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 |}, {1, | 1 |}}}}
| 2 | | 1 |
| -1 | | -1 |
o4 : List
|