Macaulay2 » Documentation
Packages » WeylGroups » WeylGroupDoubleCoset

next | previous | forward | backward | up | index | toc

WeylGroupDoubleCoset -- the class of double cosets of Weyl groups by pairs of parabolic subgroups

Description

a coset {W_PwW_Q} is represented by the list consisting of parabolic subgroups P and Q, and the representative of minimal length w

Methods that use an object of class WeylGroupDoubleCoset:

minimalRepresentative(WeylGroupDoubleCoset) -- the minimal representative of a coset
parabolic(WeylGroupDoubleCoset) -- the parabolic associated to a double coset
WeylGroupDoubleCoset == WeylGroupDoubleCoset -- equality of double cosets

For the programmer

The object WeylGroupDoubleCoset 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:3486:0.