{"issue":{"state":"open","created_at":"2011-12-04T14:14:38Z","updated_at":"2011-12-06T04:31:58Z","user":{"gravatar_id":"61e106a28e171b4407171702b182759f","id":90703,"url":"https://api.github.com/users/smichr","login":"smichr","avatar_url":"https://secure.gravatar.com/avatar/61e106a28e171b4407171702b182759f?d=https://a248.e.akamai.net/assets.github.com%2Fimages%2Fgravatars%2Fgravatar-140.png"},"comments":6,"body":"When the solution is being checked to see if it satisfies the assumptions\r\n    of the symbols used during the call to solve, the original symbols, not\r\n    the posified one, should be in place during the check.\r\n\r\nThis 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.","assignee":null,"id":2442004,"number":813,"pull_request":{"patch_url":"https://github.com/sympy/sympy/pull/813.patch","html_url":"https://github.com/sympy/sympy/pull/813","diff_url":"https://github.com/sympy/sympy/pull/813.diff"},"labels":[],"title":"do no use posified symbols when checking solution","html_url":"https://github.com/sympy/sympy/issues/813","closed_at":null,"url":"https://api.github.com/repos/sympy/sympy/issues/813","milestone":null},"action":"created","comment":{"created_at":"2011-12-06T04:31:58Z","updated_at":"2011-12-06T04:31:58Z","user":{"gravatar_id":"f65ea1dfe7ef7b9f889ed6877fcc69b8","id":20568,"url":"https://api.github.com/users/certik","login":"certik","avatar_url":"https://secure.gravatar.com/avatar/f65ea1dfe7ef7b9f889ed6877fcc69b8?d=https://a248.e.akamai.net/assets.github.com%2Fimages%2Fgravatars%2Fgravatar-140.png"},"body":"Test results html report: http://reviews.sympy.org/report/agZzeW1weTNyDAsSBFRhc2sYsakHDA\n\n*Interpreter:*   /usr/bin/python  (2.7.2-final-0)\n*Architecture:* Linux (64-bit)\n*Cache:*        yes\n*Test command:* setup.py test\n*master hash*: c9a736faadb6dfb68f56599974c485b316557352\n*branch hash*: 7322961a9ed852a35b10a1305437f5ec071fc1bb\n*XPassed tests:* 4\n\n**Summary:** All tests have passed.\n\nAutomatic review by [sympy-bot](https://github.com/sympy/sympy-bot).","id":3028141,"url":"https://api.github.com/repos/sympy/sympy/issues/comments/3028141"}}