Merge pull request #21602 from shashankks0987/nonlinsolve

Fix: Bug in nonlinsolve
sympy · Jun 11, 2021 · eec3dd6 · eec3dd6
2 parents a185e95 + 9617133
commit eec3dd6
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/sympy/solvers/solveset.py b/sympy/solvers/solveset.py
@@ -3119,7 +3119,7 @@ def _append_eq(eq, result, res, delete_soln, n=None):
         u = Dummy('u')
         if n:
             eq = eq.subs(n, 0)
-        satisfy = checksol(u, u, eq, minimal=True)
+        satisfy = eq if eq in (True, False) else checksol(u, u, eq, minimal=True)
         if satisfy is False:
             delete_soln = True
             res = {}

diff --git a/sympy/solvers/tests/test_solveset.py b/sympy/solvers/tests/test_solveset.py
@@ -1581,6 +1581,8 @@ def test_nonlinsolve_basic():
     assert nonlinsolve([x**2 -1], sin(x)) == FiniteSet((S.EmptySet,))
     assert nonlinsolve([x**2 -1], 1) == FiniteSet((x**2,))
     assert nonlinsolve([x**2 -1], x + y) == FiniteSet((S.EmptySet,))
+    assert nonlinsolve([Eq(1, x + y), Eq(1, -x + y - 1), Eq(1, -x + y - 1)], x, y) == FiniteSet(
+        (-S.Half, 3*S.Half))
 
 
 def test_nonlinsolve_abs():