Change name of method

diff --git a/doc/domain.rst b/doc/domain.rst
index 7f996171c7701bdff1012bd73d40ca670279debb..e45b0fb4ff19d9237cb7c691d5aa6f6daee2d622 100644 (file)
--- a/doc/domain.rst
+++ b/doc/domain.rst
@@ -17,9 +17,10 @@ Domains Module
     
         Returns a domain as disjoint.
         
-    .. py:method:: involvesvars(self, vars)
+    .. py:method:: involves_vars(self, vars)
     
-       Returns ``True`` if a domain depends on the given dimensions. 
+       Returns ``True`` if a domain depends on the given variables.
+        
         
     The unary properties of a domain can be inspected using the following methods. 
     

diff --git a/pypol/domains.py b/pypol/domains.py
index e730f166493736c2a3adaa2ba53d7242ff14b03e..cdf2de4b04131d83393da9306351469d277ebee5 100644 (file)
--- a/pypol/domains.py
+++ b/pypol/domains.py
@@ -305,9 +305,9 @@ class Domain(GeometricObject):
         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)