From f73aaeb03f3157faaac70197e80c1cf3c8b7e11a Mon Sep 17 00:00:00 2001
From: Andreas Kloeckner <inform@tiker.net>
Date: Fri, 7 Jul 2017 04:50:52 -0400
Subject: [PATCH] Revert "PwQPolynomial.eval_from_dict: Check whether eval
point is in domain"
This reverts commit bd13bed9199c993106eee07179bd84b3032cc7d5. Turns out
PwQPolynomial is implicitly zero outside of its domain, and validity
needs to be tracked through other means.
---
islpy/__init__.py | 4 ----
1 file changed, 4 deletions(-)
diff --git a/islpy/__init__.py b/islpy/__init__.py
index ee5d5a9..d89a6e1 100644
--- a/islpy/__init__.py
+++ b/islpy/__init__.py
@@ -687,10 +687,6 @@ def _add_functionality():
pt = pt.set_coordinate_val(
dim_type.param, i, value_dict[par_name])
- if not (Set.from_point(pt) <= self.domain()):
- raise ValueError("evaluation point outside of domain of "
- "definition of piecewise quasipolynomial")
-
return self.eval(pt).to_python()
PwQPolynomial.eval_with_dict = pwqpolynomial_eval_with_dict
--
GitLab