A new share package 'dce', is now available in
it will form part of the next upgrade of GAP 3.4.
This package contains an implementation of the double
coset enumeration algorithm described in my paper:
Double Coset Enumeration, J Symb comp.
12 415--426 (1991). This can be used to construct
(in a highly compressed form) very large permutatioh representations of
suitable finitely-presented groups.
The share package is written entirely in GAP and no compilation
is needed. Instructions included in the package explain how to
install the package and its documentation and how to use it.