X-Git-Url: https://svn.cri.ensmp.fr/git/linpy.git/blobdiff_plain/d2ec7dd24a7eeab018d12e3ae27d2d1c7226a7f3..8c9a4d4d0ecef68ff3cd0f7806a69013d34a2013:/pypol/polyhedra.py?ds=inline 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