[issue17920] Documentation: complete ordering should be total ordering

2013-05-11 Thread Raymond Hettinger

Raymond Hettinger added the comment:

It can be closed now.
Thanks for the reminder.

--
resolution:  - fixed
status: open - closed

___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue17920
___
___
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[issue17920] Documentation: complete ordering should be total ordering

2013-05-10 Thread Ezio Melotti

Ezio Melotti added the comment:

Raymond, since this has been merged to default too in e163c13b941c, can the 
issue be closed or is there something else left to do?

--
nosy: +ezio.melotti

___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue17920
___
___
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[issue17920] Documentation: complete ordering should be total ordering

2013-05-06 Thread abcdef

New submission from abcdef:

The set documentation [http://docs.python.org/3.4/library/stdtypes.html] states

The subset and equality comparisons do not generalize to a complete ordering 
function. For example, any two disjoint sets are not equal and are not subsets 
of each other...

Could complete ordering be changed to total ordering? This is the correct 
mathematical terminology. A total ordering is one where every pair is 
comparable. A complete ordering is one where each bounded subset has a 
supremum/infimum (for example, reals form a complete ordered field). This can 
be verified at Wikipedia [http://en.wikipedia.org/wiki/Total_order] and 
essentially every set theory book.

--
assignee: docs@python
components: Documentation
messages: 188585
nosy: abcdef, docs@python
priority: normal
severity: normal
status: open
title: Documentation: complete ordering should be total ordering
type: enhancement
versions: Python 2.7, Python 3.3, Python 3.4

___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue17920
___
___
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[issue17920] Documentation: complete ordering should be total ordering

2013-05-06 Thread abcdef

abcdef added the comment:

Another small thing: For example, any two disjoint sets are not equal and are 
not subsets of each other, so all of the following return False: ab, a==b, or 
ab. It should be any two nonempty disjoint sets.

--

___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue17920
___
___
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[issue17920] Documentation: complete ordering should be total ordering

2013-05-06 Thread Raymond Hettinger

Changes by Raymond Hettinger raymond.hettin...@gmail.com:


--
assignee: docs@python - rhettinger
nosy: +rhettinger

___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue17920
___
___
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[issue17920] Documentation: complete ordering should be total ordering

2013-05-06 Thread Roundup Robot

Roundup Robot added the comment:

New changeset a285ce18bd55 by Raymond Hettinger in branch '2.7':
Issue 17920:  Fix-up terminology in the set documentation
http://hg.python.org/cpython/rev/a285ce18bd55

--
nosy: +python-dev

___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue17920
___
___
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com



[issue17920] Documentation: complete ordering should be total ordering

2013-05-06 Thread Roundup Robot

Roundup Robot added the comment:

New changeset 6ec04c5dae6e by Raymond Hettinger in branch '3.3':
Issue 17920:  Fix-up terminology in the set documentation
http://hg.python.org/cpython/rev/6ec04c5dae6e

--

___
Python tracker rep...@bugs.python.org
http://bugs.python.org/issue17920
___
___
Python-bugs-list mailing list
Unsubscribe: 
http://mail.python.org/mailman/options/python-bugs-list/archive%40mail-archive.com