sympy/sympy — pull request #812 by smichr (2011-12-04 13:48:29+00:00)
Title: give more examples in constant_renumber in ode.py

These help to make clear what renumbering is happening in constant_renumber.