import functools
import numbers
-import json
import ctypes, ctypes.util
-from pypol import isl, islhelper
from fractions import Fraction, gcd
+from . import isl, islhelper
+
+
libisl = ctypes.CDLL(ctypes.util.find_library('isl'))
libisl.isl_printer_get_str.restype = ctypes.c_char_p