sympy/sympy — pull request #680 by smichr (2011-10-25 07:13:49+00:00)
Title: added normalization of input tests to solve_congruence

When checking is enabled, all residual,modulus pairs are normalized and tested for uniqueness.