Enumeración de Cosets

Proceso algorítmico, notablemente el método Todd–Coxeter, para listar o contar cosets distintos (izquierdos o derechos) de un subgrupo H en un grupo ambiente G dado por una presentación; la salida puede ser una tabla de cosets, el índice o una acción por permutaciones sobre los cosets.