X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/40d0f350adb81eb15adb3aa68867aaf768358550..cd2197879049a836b02a331adf0a00c0b87fe043:/pypol/polyhedra.py diff --git a/pypol/polyhedra.py b/pypol/polyhedra.py index f93f31e..a6adeda 100644 --- a/pypol/polyhedra.py +++ b/pypol/polyhedra.py @@ -37,7 +37,7 @@ class Polyhedron(Domain): elif isinstance(equalities, Domain): if inequalities is not None: raise TypeError('too many arguments') - return equalities.polyhedral_hull() + return equalities.aspolyhedron() if equalities is None: equalities = [] else: @@ -82,7 +82,7 @@ class Polyhedron(Domain): libisl.isl_basic_set_free(islbset) return universe - def polyhedral_hull(self): + def aspolyhedron(self): return self @classmethod