Homepage of the developement version of the GAP part of CHEVIE

CHEVIE is a joint project of

• Meinolf Geck (Aberdeen)
• Gerhard Hiß (Aachen)
• Frank Lübeck (Aachen)
• Gunter Malle (Kaiserslautern)
• Jean Michel (Paris)
• Götz Pfeiffer (Galway)

CHEVIE is a computer algebra package for symbolic calculations with generic character tables of groups of Lie type, and related mathematical structures: Weyl groups and Iwahori-Hecke algebras. It has been extended to deal with some infinite Coxeter groups such as the affine Weyl groups, and also to deal with groups generated by pseudo-reflections in a complex vector space and the associated `cyclotomic Hecke algebras' and braid groups. It is written partly in MAPLE, and partly in GAP3. This page concerns the latest developements of the GAP part of CHEVIE. You should look at the CHEVIE homepage for other information on CHEVIE.

The GAP part of CHEVIE

The purpose of this page is to always give access to the latest developement version of the GAP part of CHEVIE; if you find some bugs, bad designs, etc... don't complain about them, or rather if you do, do it by sending Email to me.

Here is brief summary of what's new compared to the version CHEVIE 3.1 in the official version GAP 3.4.4 of 1997.

• Affine Weyl groups, general Coxeter groups, and the corresponding Hecke algebras (with the Kazhdan-Lusztig bases $C$ and $C\text{'}$ — $D$ and $D\text{'}$ are not yet implemented for infinite groups). Now any group isomorphic to a Coxeter group can be made into a Coxeter group (e.g. the symmetric group in its natural permutation representation)
• More support for generic programming with Coxeter groups: most routines are now written in terms of primitives FirstLeftDescending, LeftDescentSet, etc.. and work generically for arbitrary Coxeter groups whatever the representation (e.g. Affine Weyl groups elements are represented as matrices, instead of the permutations used for finite Coxeter groups).
• Some support for unequal-parameter Kazhdan-Lusztig polynomials and bases.
• Hecke modules on Hecke algebras of general Coxeter groups, including the Kazhdan-Lusztig bases defined by Deodhar and Soergel for these modules.
• The possibility of defining Coxeter Cosets corresponding to the `very twisted' Ree and Suzuki groups of Lie type. Together with affine Weyl groups, this corresponds to the possibility of starting with more general Cartan matrices than before.
• More Hecke algebras for complex reflexion groups (there are complete character tables excepted for groups in the range G₂₉ to G₃₄). Quite a few methods work now for arbitrary finite complex reflection groups, such as type recognition (decomposition into a product of irreducible groups), so routines for e.g. character tables have become fast and accurate using such decompositions.
• The actual representing matrices for representations of Hecke algebras. Thank to data from various people (Alvis, Naruse, Howlett, Yin) all representations of Hecke algebras for finite coxeter groups are in CHEVIE, and only some of the exceptional complex groups in the range G₂₉—G₃₄ are missing.
• Braid monoids for general Coxeter groups, dual braid monoids for finite Coxeter groups and well-generated complex reflection groups, and general Garside and locally Garside monoids.

  For more information you can look at the manual online.

  ---

  How to install this version of CHEVIE onto your computer

  To help people who are just interested in CHEVIE or other GAP3 packages not ported to GAP4 I have prepared an easy-to install minimal GAP3 distribution.

  If you know how to proceed and just want the latest CHEVIE sources, you can dowload this chevie.tar.gz.