]> CRI, Mines Paris - PSL - linpy.git/blobdiff - pypol/tests/test_domains.py
Fix unitary tests
[linpy.git] / pypol / tests / test_domains.py
index 9cb3a9819a0bd40e8ffbe6cd0a170323cde08e83..2907f091a27feb56730a10d4de639799f52d9f6b 100644 (file)
@@ -169,12 +169,7 @@ class TestDomain(unittest.TestCase):
         self.assertEqual(self.universe.lexmax(), self.universe)
         self.assertEqual(self.empty.lexmax(), Empty)
 
-    def test_num_parameters(self):
-        self.assertEqual(self.square1.num_parameters(), 2)
-        self.assertEqual(self.empty.num_parameters(), 0)
-        self.assertEqual(self.universe.num_parameters(), 0)
-
-    def test_involves_dims(self):
-        self.assertTrue(self.square1.involves_dims(symbols('x y')))
-        self.assertFalse(self.empty.involves_dims(symbols('x')))
-        self.assertFalse(self.universe.involves_dims(symbols('x')))
+    def test_involves_vars(self):
+        self.assertTrue(self.square1.involves_vars(symbols('x y')))
+        self.assertFalse(self.empty.involves_vars(symbols('x')))
+        self.assertFalse(self.universe.involves_vars(symbols('x')))