diff --git a/loopy/statistics.py b/loopy/statistics.py index 936a840b1d20ed6d8215727f5c2e579fa46b77d0..19fa3d71a513746094eea1f4bf7cfe97c8f617cc 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())