Re: [Fwd: Re: Neumaier-Pryce proposed decoration system (v03.2)]
On 2011-06-16 09:13:00 -0500, Nate Hayes wrote:
> Personally, I wouldn't be sad to see P1788 amend its position on
> Motion 3 such that IEEE 1788 is restricted to compact (closed and
> bounded) intervals.
>
> Then we only have to deal with issues of overflow.
Not just overflows (if you mean floating-point overflow). How would
you regard 1/[0,1], which is [1,+inf] at Level 1, for instance?
I don't think this would be a good idea. Generic range computations
would no longer be possible.
--
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 / Arénaire project (LIP, ENS-Lyon)