Computing Double Cosets in Soluble Groups

We discuss the use of orbit-stabilizer and orbit reduction techniques for computing representatives of double cosets in finite soluble groups given by a polycyclic presentation.