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)

Hmmm... I guess we had a reason for removing it.

C'est la vie.

Baker

On 09/08/2015 10:16 AM, Vincent Lefevre wrote:

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.




--

---------------------------------------------------------------
Ralph Baker Kearfott,   rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------