Coset Enumeration

An algorithmic process, notably the Todd–Coxeter method, for listing or counting distinct (left or right) cosets of a subgroup H in an ambient group G given by a presentation; output may be a coset table, index, or permutation action on cosets.