aboveBruhat -- obtain Weyl group elements just greater than an element for the Bruhat order

Ways to use aboveBruhat:

• aboveBruhat(BasicList) -- The Weyl group elements just under the ones in the list for the Bruhat order
• aboveBruhat(WeylGroupElement) -- Weyl group elements just above a given one for the Bruhat order

For the programmer

The object aboveBruhat is a method function.

The source of this document is in WeylGroups.m2:4309:0.