Enumération des Cosets

Processus algorithmique, en particulier la méthode Todd–Coxeter, pour lister ou compter les cosets distincts (à gauche ou à droite) d'un sous-groupe H dans un groupe ambiant G donné par une présentation ; la sortie peut être une table de cosets, un indice ou une action par permutations sur les cosets.