# 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

## For the programmer

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