We performed the coset enumeration of the groups
in order to see whether they behave
uniformly with respect to coset enumeration as implemented in MRC 1.2 or not.
Using the ''level''-framework (see Section 3)
seven strategies (NONE, P-ALL, P-G, P-R, I-ALL, I-R, I-R-P:
see Section 4)
and seven orderings (kbo-A, kbo-B, kbo-a, kbo-b, ll-BbAa, syl-l-BbAa,
syl-r-BbAa:
see Section 5 & 8)
were combined and the results were compared.
Overall, P-ALL, P-G and I-R-P perform almost equally worst.
That is, why they were not further considered.
The results are tabulated in Appendix D on page
ff.
For , the results for the orderings do not differ much for each of the
strategies
selected.
The strategy NONE is the best with 17 maximal and 17 totally defined cosets.
The next one is I-R with 42/42 to 47/47 maximal/total defined cosets.
Then comes I-ALL with 46/46 to 71/71 and finally P-R with 49/49 to 71/71,
I-ALL being better than P-R for all orderings computed except ll-BbAa were
they are equal.
Remarkably, no combination of strategies and orderings defines more cosets
totally than maximal.
For , NONE and I-R perform almost equally good with less than 161
cosets defined,
I-R being better for all orderings but syllable-right.
The two other strategies define between 300 and 650 cosets,
except for I-ALL together with the syllable-right ordering which defines
171/192 cosets.
This is still worse than for NONE and I-R.
I-ALL performs better than P-R for the kbo-A, kbo-a, kbo-b,
length-lexicographic and
syllable-right ordering.
From this point onwards the performance of I-ALL depends very much on the ordering with kbo-A, kbo-a, and the length-lexicographical ordering being bad, and kbo-B and kbo-b being good while the behaviour of the syllable orderings is changing.
For , the picture is different.
While P-R is worst, and I-R better than NONE except for the syllable-right
ordering,
I-ALL is best for both syllable orderings with respect to the total number of
cosets defined while being close to the
other two with respect to the maximal number of cosets defined.
For kbo-B and kbo-b, I-ALL performs better than NONE.
For , the picture changes again.
Now, NONE and I-R perform almost equally, this time NONE being better for most
orderings, I-R only being better than NONE for kbo-b.
For kbo-a, the length-lexicographical ordering and the syllable orderings they
perform
almost equally good.
P-R is still worst except for the length-lexicographical ordering and the
syllable-left
ordering where I-ALL is worst.
Remarkably, I-ALL is best for syl-r-BbAa.
For , we get some kind of chaos.
For kbo-A, kbo-B, and ll-BbAa strategy NONE is best while for the others I-R
is best.
For the latter NONE performs considerably worse.
I-ALL performs better than I-R for kbo-B and better than NONE for kbo-b, else
worse
than both.
This time, P-R performs better than I-ALL for the length-lexicographical
and the syllable orderings but still worse than the other strategies.
For , we get a similar picture, but there are the following differences.
NONE performs better than I-R for kbo-a.
Both perform worse for syllable-left which performed good for
.
For the syllable orderings NONE, I-ALL and P-R perform equally bad.
I-ALL and P-R perform almost equally bad for kbo-A and kbo-a.
For , we have the following differences to
.
NONE performs better than I-ALL for kbo-b but still worse than I-R.
P-R performs better than I-ALL for kbo-A and kbo-a but considerably worse
for kbo-b.
For no more changes are observed for the kbos and the
length-lexicographical ordering while the syllable orderings are still
slowly changing with all strategies being rather close together.
Remarkably, for
I-ALL together with syl-l-BbAa is worst with
at least about two times as many cosets defined compared to all other
combinations.
Thus for
we get the following picture.
For kbo-A, kbo-a, and ll-BbAa we have that NONE is best, followed by I-R with
50%
more cosets defined, then come P-R and finally I-ALL with about 400 % more
cosets
defined than NONE.
The gaps are increasing with increasing
.
For kbo-B we have that NONE is better than I-ALL with 50 % more cosets
defined,
followed by I-R with 75 % more cosets defined and finally P-R with 200 %
more
cosets defined.
For kbo-b I-R is best with 25 % less cosets defined than NONE which defines
about
the same number of cosets for all kbo orderings.
As for kbo-B I-ALL is next with about 50 % more cosets defined than NONE and
finally
we have I-R with 450 % more cosets defined.
While the picture stays the same for all
, we have that for
NONE
the number of cosets defined does only increase between 1 to 15 cosets for
increasing
.
For the other strategies the number of cosets increases between 50 and 2000 for
increasing
.
Finally, there are the two syllable orderings.
Here the fact just mentioned comes into play.
While for syl-l-BbA I-R is best for
it gets nearer to NONE
with increasing
.
For
NONE is best followed by I-R, P-R, and I-ALL while we had the
order I-R, I-ALL, P-R, and finally NONE for
.
About the same with a different order holds for syl-r-BbAa.