Change name of method

diff --git a/doc/domain.rst b/doc/domain.rst
index 7f99617..e45b0fb 100644 (file)
--- a/doc/domain.rst
+++ b/doc/domain.rst
@@ -17,9 +17,10 @@ Domains Module
     
         Returns a domain as disjoint.
         
     
         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. 
     
         
     The unary properties of a domain can be inspected using the following methods. 
     

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)