From: Vivien Maisonneuve Date: Wed, 18 Jun 2014 19:55:32 +0000 (+0200) Subject: Rename Expression._canonify() into _toint() X-Git-Tag: 1.0~242 X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/commitdiff_plain/a604605a7e227b0de42e40844179f9b5fa9a5fa5?ds=sidebyside;hp=b3af8a414781471620fb930f819f0c63bfab87f6 Rename Expression._canonify() into _toint() --- diff --git a/pypol/linear.py b/pypol/linear.py index 4f3aeef..7544633 100644 --- a/pypol/linear.py +++ b/pypol/linear.py @@ -270,30 +270,30 @@ class Expression: def __hash__(self): return hash((self._coefficients, self._constant)) - def _canonify(self): + def _toint(self): lcm = functools.reduce(lambda a, b: a*b // gcd(a, b), [value.denominator for value in self.values()]) return self * lcm @_polymorphic_method def _eq(self, other): - return Polyhedron(equalities=[(self - other)._canonify()]) + return Polyhedron(equalities=[(self - other)._toint()]) @_polymorphic_method def __le__(self, other): - return Polyhedron(inequalities=[(other - self)._canonify()]) + return Polyhedron(inequalities=[(other - self)._toint()]) @_polymorphic_method def __lt__(self, other): - return Polyhedron(inequalities=[(other - self)._canonify() - 1]) + return Polyhedron(inequalities=[(other - self)._toint() - 1]) @_polymorphic_method def __ge__(self, other): - return Polyhedron(inequalities=[(self - other)._canonify()]) + return Polyhedron(inequalities=[(self - other)._toint()]) @_polymorphic_method def __gt__(self, other): - return Polyhedron(inequalities=[(self - other)._canonify() - 1]) + return Polyhedron(inequalities=[(self - other)._toint() - 1]) def constant(numerator=0, denominator=None):