Permutation group algorithms based on partitions, I

A technique for computing in permutation groups of high degree is developed. The technique uses the idea of successive refinement of ordered partitions, introduced by B. McKay in connection with th...