X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/d2ec7dd24a7eeab018d12e3ae27d2d1c7226a7f3..40d0f350adb81eb15adb3aa68867aaf768358550:/pypol/domains.py diff --git a/pypol/domains.py b/pypol/domains.py index a924b83..dd39220 100644 --- a/pypol/domains.py +++ b/pypol/domains.py @@ -152,7 +152,7 @@ class Domain: islbset = libisl.isl_set_polyhedral_hull(islset) return Polyhedron._fromislbasicset(islbset, self.symbols) - def project_out(self, dims): + def project(self, dims): # use to remove certain variables islset = self._toislset(self.polyhedra, self.symbols) n = 0