next | previous | forward | backward | up | top | index | toc | Macaulay2 web site
WeylGroups :: aboveBruhat(BasicList)

aboveBruhat(BasicList) -- The Weyl group elements just under the ones in the list for the Bruhat order

Synopsis

Description

i1 : R=rootSystemA(3)

o1 = RootSystem{...8...}

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

o4 : List