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

Description

a coset {W_Pw} is represented by the list consisting of a parabolic subgroup P and the representative of minimal length w

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

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