sympy/sympy — pull request #1754 by mrocklin (2013-02-04 04:47:59+00:00)
Title: New assumptions - assume and retract

Add convenience functions `assume` and `retract` to new assumptions.

This pull request was factored out of https://github.com/sympy/sympy/pull/1751