12 years of Python and only at v2.2

[Michael Hudson]

Michael Hudson <mwh at python.net> writes:

> Here we're talking maths.  I don't see the mathematical definition of
> continuity in the OED either...

FWIW, mathworld (the usual place for mathematical definitions) has a
cruddy definition of monotone function too: it assumes the function is
a differentiable function of the reals.  Fer 'eavens sake, you don't
even need a total order...

> f monotonic <=> (x>=y => f(x) >= f(y))

This is monotonic increasing, of course.

Lets try that again:

f monotonic <=> ((x>=y => f(x) >= f(y) for all x,y)
                 OR (x>=y => f(x) <= f(y) for all x,y))

Cheers,
M.

-- 
  While preceding your entrance with a grenade is a good tactic in
  Quake, it can lead to problems if attempted at work.    -- C Hacking
               -- http://home.xnet.com/~raven/Sysadmin/ASR.Quotes.html