From aa7fb37a3155311a31efbecf80c9cc889405b7d0 Mon Sep 17 00:00:00 2001
From: jdsteve2 <jdsteve2@illinois.edu>
Date: Wed, 24 Jan 2018 16:24:07 -0600
Subject: [PATCH] removed now-unused div functions in GuardedPwQPolynomial
---
loopy/statistics.py | 17 -----------------
1 file changed, 17 deletions(-)
diff --git a/loopy/statistics.py b/loopy/statistics.py
index 936a840b1..19fa3d71a 100755
--- a/loopy/statistics.py
+++ b/loopy/statistics.py
@@ -89,23 +89,6 @@ class GuardedPwQPolynomial(object):
__rmul__ = __mul__
- def __floordiv__(self, other):
- if not isinstance(other, int):
- raise ValueError("GuardedPwQPolynomial.__floordiv__ only valid for "
- "type int. Attempted to divide by %s" % (type(other)))
- return GuardedPwQPolynomial(
- self.pwqpolynomial.scale_val(isl.Val(1).div(isl.Val(other))),
- self.valid_domain)
-
- def ceildiv(self, other):
- if not isinstance(other, int):
- raise ValueError("GuardedPwQPolynomial.ceildiv only valid for "
- "type int. Attempted to divide by %s" % (type(other)))
- return GuardedPwQPolynomial(
- (self.pwqpolynomial + other - 1).scale_val(isl.Val(1).div(isl.Val(other))),
- self.valid_domain)
-
-
def eval_with_dict(self, value_dict):
space = self.pwqpolynomial.space
pt = isl.Point.zero(space.params())
--
GitLab