X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/9b755b94aa2c8847ffca607de239f5c3bca9984b..960f0c252361dfd696359f803aae40a9b13b14a6:/pypol/tests/test_domains.py diff --git a/pypol/tests/test_domains.py b/pypol/tests/test_domains.py index 9cb3a98..2907f09 100644 --- a/pypol/tests/test_domains.py +++ b/pypol/tests/test_domains.py @@ -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')))