sympy/sympy — pull request #7861 by skirpichev (2014-08-13 21:03:49+00:00)
Title: Refactor processing of inequalities with oo

fixes #7775
fixes #7798
fixes #7841

this patch replaces #7800 and #7799