Find minimal and canonical images in permutation groups
https://www.gap-system.org/Packages/images.html