[issue37655] Set subset operator docs

2019-07-22 Thread Raymond Hettinger


Raymond Hettinger  added the comment:

The docs look fine to me as well.

--
resolution:  -> not a bug
stage:  -> resolved
status: open -> closed

___
Python tracker 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[issue37655] Set subset operator docs

2019-07-22 Thread Aldwin Pollefeyt


Aldwin Pollefeyt  added the comment:

For 'set < other' it says sub-set ... for 'set > other' is says super-set. 
Subset vs superset. So I think it's correct in the documentation.

--
nosy: +aldwinaldwin

___
Python tracker 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[issue37655] Set subset operator docs

2019-07-22 Thread Karthikeyan Singaravelan


Change by Karthikeyan Singaravelan :


--
nosy: +rhettinger

___
Python tracker 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[issue37655] Set subset operator docs

2019-07-22 Thread Frank B


New submission from Frank B :

The docs say "Test whether the set is a proper subset of other" for both set < 
other and set > other built-in functions.

Is that a misprint? How could it be both?

For the <= and >= operators it properly reverses the order so one says:

Test whether every element in the set is in other.

and the other:

Test whether every element in other is in the set.

--
assignee: docs@python
components: Documentation
files: 2019-07-22 1728 Screenshot.png
messages: 348307
nosy: Frank B2, docs@python
priority: normal
severity: normal
status: open
title: Set subset operator docs
versions: Python 2.7, Python 3.7
Added file: https://bugs.python.org/file48498/2019-07-22 1728 Screenshot.png

___
Python tracker 

___
___
Python-bugs-list mailing list
Unsubscribe: 
https://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com