sympy/sympy — pull request #1828 by skirpichev (2013-02-23 15:36:18+00:00)
Title: #3378: Remove deprecated Symbol(dummy=True) syntax

and some cleanup for risch.py