from fractions import Fraction, gcd
-from pypol import isl
-from pypol.isl import libisl
+from . import isl
+from .isl import libisl
__all__ = [
return bool(self.constant)
def __repr__(self):
- return '{}({!r})'.format(self.__class__.__name__, self._constant)
-
+ if self.constant.denominator == 1:
+ return '{}({!r})'.format(self.__class__.__name__, self.constant)
+ else:
+ return '{}({!r}, {!r})'.format(self.__class__.__name__,
+ self.constant.numerator, self.constant.denominator)
class Symbol(Expression):
if __name__ == '__main__':
- p1 = Polyhedron('2a + 2b + 1 == 0') # empty
- print(p1._toisl())
- p2 = Polyhedron('3x + 2y + 3 == 0') # not empty
- print(p2._toisl())
+ #p = Polyhedron('2a + 2b + 1 == 0') # empty
+ p = Polyhedron('3x + 2y + 3 == 0, y == 0') # not empty
+ ip = p._toisl()
+ print(ip)
+ print(ip.constraints())