sympy/sympy — pull request #813 by smichr (2011-12-04 14:14:38+00:00)
Title: do no use posified symbols when checking solution

When the solution is being checked to see if it satisfies the assumptions
of the symbols used during the call to solve, the original symbols, not
the posified one, should be in place during the check.

This problem arose in doing work with is_irrational. That work is not included here (and likely won't be at all) but the solve issue still is valid; I'm not sure of a good test for this now, however.