poeschko/Mathics — pull request #216 by bnjones (2014-10-27 20:38:29+00:00)
Title: Tighten Solve's check for tautologies (issue #208)

SymPy returns True if an equation is tautological. Since [1] == [True]
in Python, Mathics would accidentally treat an equation with one
result equal to 1 as a tautology. Fix this by using "is True" to check
for True.