sympy/sympy — pull request #3002 by smichr (2014-03-05 16:26:56+00:00)
Title: give Dummy a sort key

In order to sort dummies canonically, the index has to be added to the sort key, otherwise dummies with the same name are not ordered uniquely.