Merge pull request #17971 from oscarbenjamin/solve_zoo

Fix solve for exponential equations w infinities
sympy · Nov 27, 2019 · df4ad94 · df4ad94
2 parents b24bdaf + ce0b1b6
commit df4ad94
Show file tree

Hide file tree

Showing 2 changed files with 9 additions and 0 deletions.
diff --git a/sympy/solvers/solvers.py b/sympy/solvers/solvers.py
@@ -2830,6 +2830,8 @@ def equal(expr1, expr2):
     if flags.pop('force', True):
         flags['force'] = False
         pos, reps = posify(lhs - rhs)
+        if rhs == S.ComplexInfinity:
+            return []
         for u, s in reps.items():
             if s == sym:
                 break

diff --git a/sympy/solvers/tests/test_solvers.py b/sympy/solvers/tests/test_solvers.py
@@ -2121,3 +2121,10 @@ def test_issue_17799():
 def test_issue_17650():
     x = Symbol('x', real=True)
     assert solve(abs((abs(x**2 - 1) - x)) - x) == [1, -1 + sqrt(2), 1 + sqrt(2)]
+
+
+def test_issue_17949():
+    assert solve(exp(+x+x**2), x) == []
+    assert solve(exp(-x+x**2), x) == []
+    assert solve(exp(+x-x**2), x) == []
+    assert solve(exp(-x-x**2), x) == []