W3C home > Mailing lists > Public > public-web-perf@w3.org > May 2012

RE: [HighResolutionTime] Spec consistently uses "monotonically increasing" when it means "monotonically nondecreasing"

From: Jatinder Mann <jmann@microsoft.com>
Date: Tue, 15 May 2012 17:27:10 +0000
To: Boris Zbarsky <bzbarsky@MIT.EDU>, "public-web-perf@w3.org" <public-web-perf@w3.org>
Message-ID: <AE5FFD9402CD4F4785E812F2C9929D6504EF95ED@SN2PRD0310MB383.namprd03.prod.outlook.com>
>> The spec should use "nondecreasing" if that's what it means. If it 
>> really means "increasing", then I'd like to understand how this can 
>> possibly be implemented.
> Though one more note.  The definition of "monotonically increasing"
> is not actually standardized across the world in mathematics.  In 
> some cases it means |x <= y implies f(x) <= f(y)| (with "strictly increasing" 
> used to mean |x < y implies f(x) < f(y)|, and in some cases it means 
> |x < y implies f(x) < f(y)|, with "nondecreasing" meaning the other thing.
> It might be best to just spell out in the spec which behavior it actually means....
> -Boris

I believe changing the spec text to say monotonically nondecreasing and defining that term to mean |x < y implies f(x) < f(y)| within the spec will better align with my intentions of not allowing the difference between two chronologically recorded time values returned from the now() method to be negative. I'll update the spec.

Received on Tuesday, 15 May 2012 17:28:46 UTC

This archive was generated by hypermail 2.4.0 : Friday, 17 January 2020 18:01:12 UTC