Set-theoretic computations with residue classes in GAP
https://www.gap-system.org/Packages/resclasses.html