From: Miss Islington (bot) <31488909+miss-islington@users.noreply.github.com>
Date: Fri, 24 Apr 2020 10:04:41 +0000 (-0700)
Subject: Expand the implementation comments (GH-19699) (GH-19701)
X-Git-Tag: v3.8.3rc1~7
X-Git-Url: http://git.ipfire.org/gitweb.cgi?a=commitdiff_plain;h=c7b55e929b35ccab552f9efd49eed4a168e97e2f;p=thirdparty%2FPython%2Fcpython.git

Expand the implementation comments (GH-19699) (GH-19701)
---

diff --git a/Lib/collections/__init__.py b/Lib/collections/__init__.py
index cadf1c72f08d..a78a47c55a8f 100644
--- a/Lib/collections/__init__.py
+++ b/Lib/collections/__init__.py
@@ -695,6 +695,13 @@ class Counter(dict):
     #
     # To strip negative and zero counts, add-in an empty counter:
     #       c += Counter()
+    #
+    # Rich comparison operators for multiset subset and superset tests
+    # are deliberately omitted due to semantic conflicts with the
+    # existing inherited dict equality method.  Subset and superset
+    # semantics ignore zero counts and require that p≤q ∧ p≥q → p=q;
+    # however, that would not be the case for p=Counter(a=1, b=0)
+    # and q=Counter(a=1) where the dictionaries are not equal.
 
     def __add__(self, other):
         '''Add counts from two counters.