DCEHOrbits(universe)
This function determines the orbits of H, as unions of orbits of
M=H cap K. Various additions are made to the data structures in
universe, which are described in detail elsewhere. The most
comprehensible field is u.orbsizes which gives the number of points
(single cosets) in the orbits.
GAP 3.4.4