DCE(pres)
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.
GAP 3.4.4