Coxeter 1
Coxeter 1
Coxeter est un programme d'ordinateur pour l'étude des
questions combinatoires sur les groupes de Coxeter, particulierement
celles qui concernent l'ordre de Bruhat et les polynômes de
Kazhdan-Lusztig. Il est écrit en C, et tourne sans
problème sur les principaux types de stations de travail sous
unix ou linux. La présente page n'a plus qu'un intér&ecirs;t
historique; la version de référence est maintenant la
version 3.0. L'ancienne
version 1.01 calcule
tous les polynômes de Kazhdan-Lusztig pour tous les groupes de rang
inférieur ou égal à six, plus le type A7.
L'auteur tient à préciser que Coxeter a été écrit principalement pour ses recherches personnelles, et qu'il est mis à la disposition des chercheurs intéressés sans aucune promesse d'assistance technique ou autre, ni de développements ultérieurs. Il est distribué sous le régime du copyleft instauré par la Free Software Foundation; ce n'est donc pas un logiciel du domaine public, mais peut être librement copié, distribué, modifié et incorporé en tout ou en partie à d'autres logiciels, pourvu que les versions modifiées soient clairement identifiées comme telles, et que tout logiciel incorporant tout ou partie du programme soit lui-même distribué sous le régime du copyleft.
L'implémentation des groupes de Coxeter finis utilisée dans le programme est basée sur l'utilisation d'une cascade de petits transducteurs (cf. l'article à paraître référencé [13] dans mes publications). Un fichier ascii contenant ces transducteurs pour les groupes exceptionnels et pour les groupes classiques de petit rang est disponible en cliquant ici.