sympy/sympy — pull request #7958 by cbm755 (2014-09-03 11:32:25+00:00)
Title: Relational: add tests for `Eq(p, 0)` where p is positive and similar

Currently XFAIL'd.