Set-theoretic computations with residue classes in GAP
