sympy/sympy — pull request #2541 by certik (2013-10-20 22:57:52+00:00)
Title: Heiner kirchhoffer fix root isolation bounds

Fixes the PR #2499 so that it can be merged. I've just added a test, as requested.