Change pypol to linpy

[linpy.git] / pypol / domains.py

diff --git a/pypol/domains.py b/pypol/domains.py
index e730f16..cdf2de4 100644 (file)
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -305,9 +305,9 @@ class Domain(GeometricObject):
         return self._fromislset(islset, self.symbols)
 
 
         return self._fromislset(islset, self.symbols)
 
 

-    def involvesvars(self, vars):
+    def involves_vars(self, vars):

         """
         """

-        Returns true if set depends on given dimensions.
+        Returns true if a set depends on given dimensions.

         """
         islset = self._toislset(self.polyhedra, self.symbols)
         dims = sorted(vars)
         """
         islset = self._toislset(self.polyhedra, self.symbols)
         dims = sorted(vars)