Add islhelper.c library to handle isl constants
[linpy.git] / pypol / isl.py
index 41716c1..f1e63dc 100644 (file)
@@ -40,9 +40,10 @@ class Context:
     @property
     def _as_parameter_(self):
         return self._ic
     @property
     def _as_parameter_(self):
         return self._ic
-
+    
+    #comment out so does not delete itself after being created 
     #def __del__(self):
     #def __del__(self):
-     #   libisl.isl_ctx_free(self)
+    #   libisl.isl_ctx_free(self)
 
     def __eq__(self, other):
         if not isinstance(other, Context):
 
     def __eq__(self, other):
         if not isinstance(other, Context):
@@ -119,8 +120,7 @@ class Value:
             numerator = libisl.isl_val_read_from_str(context, numerator)
             denominator = str(frac.denominator).encode()
             denominator = libisl.isl_val_read_from_str(context, denominator)
             numerator = libisl.isl_val_read_from_str(context, numerator)
             denominator = str(frac.denominator).encode()
             denominator = libisl.isl_val_read_from_str(context, denominator)
-            self._iv = libisl.isl_val_div(numerator, denominator)    
-        print('in isl')            
+            self._iv = libisl.isl_val_div(numerator, denominator)       
         return self
 
 
         return self
 
 
@@ -258,7 +258,7 @@ class Value:
         return bool(libisl.isl_val_is_infty(self) or
                 libisl.isl_val_is_neginfty(self))
 
         return bool(libisl.isl_val_is_infty(self) or
                 libisl.isl_val_is_neginfty(self))
 
-    def is_nan(self):
+    def is_nan(self): 
         return bool(libisl.isl_val_is_nan(self))
 
     def __str__(self):
         return bool(libisl.isl_val_is_nan(self))
 
     def __str__(self):