The basic command to run the double coset enumerator is
DCE. This takes
one argument, the presentation record in the format described above, and
returns a DCE Universe of status ``closed'' or ``early-closed''. The
exact details of operation are controlled by various fields in the input
structure, as described in Strategies for Double Coset Enumeration.
Previous Up Top Next