WeylGroupLeftCoset -- the class of left cosets of Weyl groups by parabolic subgroup

Description

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

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

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

The source of this document is in /__w/M2/M2/macaulay2-1.26.05+ds/M2/Macaulay2/packages/WeylGroups.m2:3401:0.