Author mark.dickinson
Recipients andymaier, benjamin.peterson, chris.jerdonek, cvrebert, docs@python, ethan.furman, ezio.melotti, mark.dickinson, mikehoy, rhettinger, steven.daprano, terry.reedy
Date 2014-07-11.18:13:00
SpamBayes Score -1.0
Marked as misclassified Yes
Message-id <1405102380.41.0.1132489152.issue12067@psf.upfronthosting.co.za>
In-reply-to
Content
+  In other words, the following expressions should have the same result:
+
+    ``x == y`` and ``not x != y``
+
+    ``x < y`` and ``not x >= y``
+
+    ``x > y`` and ``not x <= y``

I think the second and third items here go too far: sets don't obey these rules, for example.  Not all uses of comparisons need to force a total ordering.

OTOH, you leave out a more fundamental relation, namely that `x < y` and `y > x` should ordinarily give the same result, as should `x <= y` and `y >= x`.
History
Date User Action Args
2014-07-11 18:13:00mark.dickinsonsetrecipients: + mark.dickinson, rhettinger, terry.reedy, benjamin.peterson, ezio.melotti, steven.daprano, cvrebert, chris.jerdonek, docs@python, ethan.furman, mikehoy, andymaier
2014-07-11 18:13:00mark.dickinsonsetmessageid: <1405102380.41.0.1132489152.issue12067@psf.upfronthosting.co.za>
2014-07-11 18:13:00mark.dickinsonlinkissue12067 messages
2014-07-11 18:13:00mark.dickinsoncreate