sympy/sympy — pull request #2540 by smichr (2013-10-19 21:14:02+00:00)
Title: solve with Abs and checksol issues

* Warn when symbol-dependent Abs have not been removed from an expression to be solved. (issue 4046)

* make checksol recognize alternate forms of assumption booleans so valid solutions are not rejected. (issue 4063)