Abstract:
Based on prefix Gröbner bases as implemented in Mrc, we study a new method to enumerate cosets. It is compared to well known methods for Todd-Coxeter enumeration using the examples from the literature where studies of these methods are reported. New insights into coset enumeration were gained using three different kinds of orderings combined with the new frameworks and strategies implemented in Mrc.

Birgit Reinert, Dirk Zeckzer
Universität Kaiserslautern
Fachbereich Informatik
Postfach 3049
67653 Kaiserslautern, Germany