X-Git-Url: https://scm.cri.mines-paristech.fr/git/linpy.git/blobdiff_plain/d6444456ceaeed6fcf1d44386edefb5b1fb8ec66..4eabec44af2e635408d9cba8672e947145cc6971:/pypol/domains.py diff --git a/pypol/domains.py b/pypol/domains.py index 6b47fe8..b4780fc 100644 --- a/pypol/domains.py +++ b/pypol/domains.py @@ -249,6 +249,7 @@ class Domain: self._dimension = len(self._symbols) return self + @classmethod def _toislset(cls, polyhedra, symbols): polyhedron = polyhedra[0] islbset = polyhedron._toislbasicset(polyhedron.equalities,