12 years of Python and only at v2.2

[Lulu of the Lotus-Eaters]

Brad Hards <bhards at bigpond.net.au> wrote previously:
|Strictly speaking, releases are not monotonic, because they are discrete
|points, not continuous functions, and IIRC, the formal definition is a limit
|function, which clearly won't work in this case.

Nonsense. Monotonic functions don't need to be continuous (heck, not
even if they range on the Reals).

So the function:

    { (i,F(i)) | i in I+; F(i) in I+; F(i) := i*i }

is a perfectly good, non-discrete monotonic function over the positive
integers.

Likewise, the function:

    { (r,F(r)) | r in R; F(r) in {-1,1}, F(r) := if r<0, -1, otherwise 1 }

if a non-continuous (at one point) monotonic function whose domain is
the Reals; and whose range is a subset of the Reals.

Yours, Lulu...

--
mertz@  | The specter of free information is haunting the `Net!  All the
gnosis  | powers of IP- and crypto-tyranny have entered into an unholy
.cx     | alliance...ideas have nothing to lose but their chains.  Unite
        | against "intellectual property" and anti-privacy regimes!
-------------------------------------------------------------------------