Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Draft: P1788.1 Standard for Interval Arithmetic (Simplified)

On 2015-09-08 06:24:01 -0500, Ralph Baker Kearfott wrote:
> I agree.  A major purpose of the standard is to
> unambiguously define a particular behavior, especially
> in cases in which different behaviors seem reasonable
> for different reasons.  That enables predictability
> and portability across platforms.
> 
> Giving such an example
> would not change the normative part of the standard,
> but would definitely clarify it, and thus make
> it more valuable.

There was an example in Draft 8.1:

  E.g., the common inputs for (the interval extension of) floor(x)
  are all nonempty intervals that are disjoint from Z. Thus
  floor([1, 1.9]) = [1, 1] is not common, because floor() is not
  continuous at 1, despite its restriction to [1, 1.9] being
  everywhere continuous. If it were required to be common, cset
  arithmetic could not be a flavor.

but it disappeared in Draft 9.3.

-- 
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <https://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <https://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)