I am searching for possibly a gap implementation of:
double coset reprensentatives of subgroups (say) H and K
in a permutation group G.
Also if somebody can provide some guidelines on how to determine
a canonical representative of the coset HgK, where g is a member of G.