Re: [Python-Dev] Improving docs for len() of set

2016-02-08 Thread Ben Hoyt
Thanks! Commit ref: https://hg.python.org/cpython/rev/a67fda8e33b0 -Ben On Mon, Feb 8, 2016 at 1:00 PM, Gregory P. Smith wrote: > > > On Mon, Feb 8, 2016 at 8:24 AM Ben Hoyt wrote: > >> Hi folks, >> >> Just a suggestion for a documentation tweak. Currently the docs for len() >> on a set say t

Re: [Python-Dev] Improving docs for len() of set

2016-02-08 Thread Gregory P. Smith
On Mon, Feb 8, 2016 at 8:24 AM Ben Hoyt wrote: > Hi folks, > > Just a suggestion for a documentation tweak. Currently the docs for len() > on a set say this: > >.. describe:: len(s) > > Return the cardinality of set *s*. > > I'm a relatively seasoned programmer, but I don't really have

Re: [Python-Dev] Improving docs for len() of set

2016-02-08 Thread Ethan Furman
On 02/08/2016 08:49 AM, Andrew Barnert via Python-Dev wrote: > +{{}} > > (using the normal von Neumann definitions for 0={} and > Succ(n) = n U {n}) I'm glad you know what you meant, 'cause I haven't got a clue! :) -- ~Ethan~ ___ Python-Dev mailing l

Re: [Python-Dev] Improving docs for len() of set

2016-02-08 Thread Andrew Barnert via Python-Dev
On Monday, February 8, 2016 8:23 AM, Ben Hoyt wrote: >Just a suggestion for a documentation tweak. Currently the docs for len() on a >set say this: > > .. describe:: len(s)> > Return the cardinality of set *s*. > >I'm a relatively seasoned programmer, but I don't really have a maths >b

Re: [Python-Dev] Improving docs for len() of set

2016-02-08 Thread Lorenzo Moriondo
@Ben I am not either a great fan of formal (mathematic) definitions (: Lorenzo Moriondo, from mobile ~~it.linkedin.com~in~lorenzomoriondo~~ On Feb 8, 2016 5:38 PM, "Ethan Furman" wrote: > > On 02/08/2016 08:23 AM, Ben Hoyt wrote: > > > .. describe:: len(s) > > > >Return the number of

Re: [Python-Dev] Improving docs for len() of set

2016-02-08 Thread Ethan Furman
On 02/08/2016 08:23 AM, Ben Hoyt wrote: > .. describe:: len(s) > >Return the number of elements in set *s* (cardinality of *s*). Return the number of elements (cardinality) of *s*. +1 -- ~Ethan~ ___ Python-Dev mailing list Python

[Python-Dev] Improving docs for len() of set

2016-02-08 Thread Ben Hoyt
Hi folks, Just a suggestion for a documentation tweak. Currently the docs for len() on a set say this: .. describe:: len(s) Return the cardinality of set *s*. I'm a relatively seasoned programmer, but I don't really have a maths background, and I didn't know what "cardinality" meant. I