Preuve de la conjecture BMR pour les groupes G20 et G21



On trouve ici les programmes utilisés pour le groupe G21 pour l'article Proof of the BMR freeness conjecture for the groups G20 and G21 . Ce sont des programmes pour GAP4 (au moins gap4r8). L'archive contient les programmes suivants
G21params.gap est un fichier de données contenant la list des termes dominants de la base de Groebner (notée gbwords) et la base de l'algèbre de Hecke (notée bsew)
G21makerules.gap construit une liste de règles correspondant au "L" de l'article.
G21rules.gap contient seulement la liste de règles produite par G21makerules.gap
G21comput.gap utilise G21rules.gap pour calculer la matrice mmm de multiplication à droite
G21matrices11dec2016.gap contient mmm






Revenir à la page principale. Revenir à la page informatique.