Merge pull request #127 from probcomp/2022-09-21-schaechtle-bump-symp…

…y-version Update Sympy
probsys · Oct 14, 2022 · 9b26e65 · 9b26e65
2 parents 8b0fe0c + 012e2dc
commit 9b26e65
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 3 deletions.
diff --git a/setup.py b/setup.py
@@ -12,7 +12,7 @@
         'astunparse==1.6.3',
         'numpy==1.22.3',
         'scipy==1.8.0',
-        'sympy==1.6',
+        'sympy==1.10.1',
     ],
     'magics' : [
         'graphviz==0.13.2',

diff --git a/src/poly.py b/src/poly.py
@@ -8,7 +8,7 @@
 
 import sympy
 
-from sympy.calculus.util import limit
+from sympy import limit
 
 from .sets import EmptySet
 from .sets import ExtReals

diff --git a/src/transforms.py b/src/transforms.py
@@ -9,10 +9,10 @@
 
 import sympy
 
+from sympy import limit
 from sympy.abc import X as symX
 
 from sympy.calculus.util import function_range
-from sympy.calculus.util import limit
 
 from .math_util import isinf_neg
 from .math_util import isinf_pos