X-Git-Url: https://scm.cri.ensmp.fr/git/linpy.git/blobdiff_plain/148dae3a90146e4b1c5a32d1803a0a2ff66f9deb..50f0fde4dca3f10e535314b1c9d325cd9283735b:/linpy/tests/test_domains.py

diff --git a/linpy/tests/test_domains.py b/linpy/tests/test_domains.py
index 4b8c5ea..9e9f6fa 100644
--- a/linpy/tests/test_domains.py
+++ b/linpy/tests/test_domains.py
@@ -115,10 +115,6 @@ class TestDomain(unittest.TestCase):
         self.assertEqual(self.universe.project([]), self.universe)
         self.assertEqual(self.empty.project([]), Empty)
 
-    def test_simplify(self):
-        self.assertEqual(self.universe.simplify(), self.universe)
-        self.assertEqual(self.empty.simplify(), Empty)
-
     def test_sample(self):
         self.assertEqual(self.square6.sample(), {Symbol('x'): 1, Symbol('y'): 3})
         with self.assertRaises(ValueError):
@@ -168,8 +164,3 @@ class TestDomain(unittest.TestCase):
         self.assertEqual(self.square1.lexmax(), self.lexmax)
         self.assertEqual(self.universe.lexmax(), self.universe)
         self.assertEqual(self.empty.lexmax(), Empty)
-
-    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')))