In [1,3], two different methods for the Todd-Coxeter enumeration
process of cosets, namely Felsch- and HLT-style coset enumeration procedures,
were studied and the results for some examples tabulated.
We use these examples and compare the results achieved there to the results
we obtained by using the frameworks and strategies presented in the previous
The examples are based on the groups which are given together with their
presentation in Table 1 on page
The examples themselves together with the indeces are given in Table
3 (see page ).
Inverse elements are given by capital letters.
The results will be summarized in the following sections and are tabulated
in the appendix (see the respective sections).
We will use '''' to denote the number of cosets defined where is the maximal number and the total number of cosets defined.