#include <Python.h>
#include <isl/space.h>
-static PyMethodDef islhelper_methods[] = {
+static PyMethodDef _isl_methods[] = {
{NULL, NULL, 0, NULL}
};
-static struct PyModuleDef islhelpermodule = {
+static struct PyModuleDef _islmodule = {
PyModuleDef_HEAD_INIT,
- "islhelper",
+ "_isl",
NULL,
-1,
- islhelper_methods
+ _isl_methods
};
-PyMODINIT_FUNC PyInit_islhelper(void) {
+PyMODINIT_FUNC PyInit__isl(void) {
PyObject *m;
- m = PyModule_Create(&islhelpermodule);
+ m = PyModule_Create(&_islmodule);
if (m == NULL)
return NULL;
from fractions import Fraction, gcd
-from . import isl, islhelper
-from .isl import libisl, Context, BasicSet
+from . import isl
+from .isl import libisl
__all__ = [
return wrapper
-_main_ctx = Context()
+_main_ctx = isl.Context()
class Expression:
for eq in coeff_eq:
num = coeff_eq.get(eq)
iden = symbols.index(eq)
- ceq = libisl.isl_constraint_set_coefficient_si(ceq, islhelper.isl_dim_set, iden, num) #use 3 for type isl_dim_set
+ ceq = libisl.isl_constraint_set_coefficient_si(ceq, libisl.isl_dim_set, iden, num) #use 3 for type isl_dim_set
bset = libisl.isl_basic_set_add_constraint(bset, ceq)
if list(self.inequalities): #check if any inequalities exist
for ineq in self.inequalities:
for ineq in coeff_in:
num = coeff_in.get(ineq)
iden = symbols.index(ineq)
- cin = libisl.isl_constraint_set_coefficient_si(cin, islhelper.isl_dim_set, iden, num) #use 3 for type isl_dim_set
+ cin = libisl.isl_constraint_set_coefficient_si(cin, libisl.isl_dim_set, iden, num) #use 3 for type isl_dim_set
bset = libisl.isl_basic_set_add_constraint(bset, cin)
- bset = BasicSet(bset)
+ bset = isl.BasicSet(bset)
return bset
def from_isl(self, bset):
author='MINES ParisTech',
packages=['pypol'],
ext_modules = [
- Extension('pypol.islhelper', sources=['pypol/islhelper.c'])
+ Extension('pypol._isl', sources=['pypol/_isl.c'])
]
)