Re: Unbounded intervals
On 2012-04-23 10:08:24 -0500, Nate Hayes wrote:
> We are looking at a model that defines overflow at Level 1 as an abstract
> parameterization of Level 2,
Note that in my case, I am not really interested in intervals that
overflow. If unbounded intervals occur at Level 2, this is because
they are probably really unbounded intervals at Level 1.
I think that it is bad to have a notion of overflow at Level 1,
because mathematically at Level 1, there is no overflow. Such a
notion would be, IMHO, artificial.
--
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)