WeylGroupRightCoset -- the class of right cosets of Weyl groups by parabolic subgroups

Methods that use an object of class WeylGroupRightCoset:

• intervalBruhat(WeylGroupRightCoset,WeylGroupRightCoset) -- elements between two given ones for the Bruhat order on a quotient of a Weyl group
• minimalRepresentative(WeylGroupRightCoset) -- the minimal representative of a coset
• WeylGroupRightCoset % Parabolic -- the double coset defined by a right coset
• WeylGroupRightCoset * WeylGroupElement -- apply an element of a Weyl group to a left coset
• WeylGroupRightCoset == WeylGroupRightCoset -- equality of right cosets

For the programmer

The object WeylGroupRightCoset is a type, with ancestor classes BasicList < Thing.

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