Re: Unbounded intervals
On 2012-04-26 14:01:28 +0200, Vincent Lefevre wrote:
> On 2012-04-25 09:05:19 -0500, Nate Hayes wrote:
> > A few points:
> >
> > -- No computer (that I'm aware of) can numerically prove hardly anything
> > useful about the domain of a function beyond the underlying numeric limits
> > of the system; so for this reason alone, truly unbounded intervals are never
> > necessary in numeric models or computations (you have never answered my
> > original question from long ago to show a counter-example of this).
>
> I disagree. If the user asks for the range of 1/[0,1], the math result
> is [1,+inf]. This is useful information, at least much more than an
> error.
Oh, and I've seen that I've already given you this example or similar
in other messages:
Date: Wed, 11 Apr 2012 12:24:14 +0200
Date: Thu, 12 Apr 2012 00:50:58 +0200
Date: Thu, 12 Apr 2012 01:15:29 +0200
Perhaps you should read my messages instead of saying that I haven't
given you a counter-example.
--
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)