File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -732,6 +732,16 @@ def test_commutativity(self):
732732 if a != b :
733733 self .assertNotEqual (a - b , b - a )
734734
735+ def test_reflexsive_relations (self ):
736+ a , zero = self .a , Set ()
737+ self .assertEqual (a ^ a , zero )
738+ self .assertEqual (a - a , zero )
739+ self .assertEqual (a | a , a )
740+ self .assertEqual (a & a , a )
741+ self .assert_ (a <= a )
742+ self .assert_ (a >= a )
743+ self .assert_ (a == a )
744+
735745 def test_summations (self ):
736746 # check that sums of parts equal the whole
737747 a , b = self .a , self .b
@@ -756,6 +766,7 @@ def test_cardinality_relations(self):
756766 self .assertEqual (len (b ), len (b - a ) + len (a & b ))
757767 self .assertEqual (len (a ^ b ), len (a - b ) + len (b - a ))
758768 self .assertEqual (len (a | b ), len (a - b ) + len (a & b ) + len (b - a ))
769+ self .assertEqual (len (a ^ b ) + len (a & b ), len (a | b ))
759770
760771#==============================================================================
761772
You can’t perform that action at this time.
0 commit comments