Merge pull request #9618 from aktech/9557

Add test for solveset(x**2 + a, x) issue 9557
sympy · Jul 9, 2015 · b837824 · b837824
2 parents 0ad3c47 + 6308485
commit b837824
Showing 1 changed file with 8 additions and 0 deletions.
diff --git a/sympy/solvers/tests/test_solveset.py b/sympy/solvers/tests/test_solveset.py
@@ -890,3 +890,11 @@ def test_issue_9611():
 
     assert solveset(Eq(x - x + a, a), x) == S.Reals
     assert solveset(Eq(y - y + a, a), y) == S.Complex
+
+
+def test_issue_9557():
+    x = Symbol('x', real=True)
+    a = Symbol('a')
+
+    assert solveset(x**2 + a, x) == Intersection(S.Reals,
+        FiniteSet(-sqrt(-a), sqrt(-a)))