Suppose I'm given a bunch of residues mod n. Is there an efficient/elegant way to get sage to calculate the least modulus m and set of residues mod m which describes the same set? For example if I give it "0,2,4,6 mod 8" it should simply return "0 mod 2".