Re: Motion 46: finalise interval literals, amendments
On 2013-07-11 22:30:58 -0400, Ian McIntosh wrote:
> Sorry, I don't understand why needing to store 1 when processing [1, h] to
> distinguish between 1 <= u and 1 > u needs unbounded memory. Can't you
> just store 1 as a floating point value of bounded size (eg, 8 bytes for
> double precision)?
Determining whether u < v for some non-floating-point types may
be complex. An example: computable numbers, such as in iRRAM.
Computation on intervals also makes sense with such a type,
e.g. for range computations.
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)