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 WeylGroups.m2:3486:0.