sympy/sympy — pull request #1036 by smichr (2012-02-09 04:01:32+00:00)
Title: detect other non-zero expressions in equals

Besides being able to decide if a Number is 0 or not, we can also decide if an expression is a surd (Rational**Rational) or an Add like (Rational + surds).