]> granicus.if.org Git - python/commitdiff
Add more identity tests.
authorRaymond Hettinger <python@rcn.com>
Wed, 24 Sep 2003 03:56:07 +0000 (03:56 +0000)
committerRaymond Hettinger <python@rcn.com>
Wed, 24 Sep 2003 03:56:07 +0000 (03:56 +0000)
Lib/test/test_sets.py

index 1b26d4c82d8aa4893782e534d64e4f6ba6cd46bf..9cc586f83206a49280ffbdb3d13381bfe8092c29 100644 (file)
@@ -732,6 +732,16 @@ class TestIdentities(unittest.TestCase):
         if a != b:
             self.assertNotEqual(a-b, b-a)
 
+    def test_reflexsive_relations(self):
+        a, zero = self.a, Set()
+        self.assertEqual(a ^ a, zero)
+        self.assertEqual(a - a, zero)
+        self.assertEqual(a | a, a)
+        self.assertEqual(a & a, a)
+        self.assert_(a <= a)
+        self.assert_(a >= a)
+        self.assert_(a == a)
+
     def test_summations(self):
         # check that sums of parts equal the whole
         a, b = self.a, self.b
@@ -756,6 +766,7 @@ class TestIdentities(unittest.TestCase):
         self.assertEqual(len(b), len(b-a) + len(a&b))
         self.assertEqual(len(a^b), len(a-b) + len(b-a))
         self.assertEqual(len(a|b), len(a-b) + len(a&b) + len(b-a))
+        self.assertEqual(len(a^b) + len(a&b), len(a|b))
 
 #==============================================================================