fixed type error and locked versions

Author: paolomorettin

pyproject.toml

@@ -16,11 +16,11 @@ classifiers = [
     "Programming Language :: Python :: 3",
 ]
 dependencies = [
-    "networkx",
-    "numpy",
+    "networkx==3.5",
+    "numpy==2.3.3",
     "PySMT>=0.9.7.dev333",
-    "scipy",
-    "z3-solver",
+    "scipy==1.16.2",
+    "z3-solver==4.15.3.0",
 ]
 
 [project.urls]
@@ -32,8 +32,8 @@ docs = ["sphinx", "sphinx-rtd-theme", "sphinx-autodoc-typehints", "nbsphinx", "i
 test = ["pytest", "pytest-runner", "pytest-cov"]
 typing = [
     "mypy",
-    "types-networkx; python_version>='3.10'",
-    "scipy-stubs; python_version>='3.11'",
+    "types-networkx==3.5.0.20250918; python_version>='3.10'",
+    "scipy-stubs==1.16.2.0; python_version>='3.11'",
 ]
 #nra = ["pysmt @ git+https://[email protected]/masinag/pysmt@nrat#egg=pysmt"]
 

src/wmpy/integration/rejection.py

@@ -42,8 +42,10 @@ def integrate(self, polytope: Polytope, integrand: Polynomial) -> float:
         for i in range(polytope.N):
             cost = np.array([1 if j == i else 0 for j in range(polytope.N)])
             res = linprog(cost, A_ub=A, b_ub=b, method="highs-ds", bounds=(None, None))
-            lowerl.append(res.x[i])
+            assert(res.x is not None)
+            lowerl.append(res.x[i])          
             res = linprog(-cost, A_ub=A, b_ub=b, method="highs-ds", bounds=(None, None))
+            assert(res.x is not None)
             upperl.append(res.x[i])
 
         lower, upper = np.array(lowerl), np.array(upperl)