Re: Constructors & decorations
Hi,
On 2010-02-09 15:44:13 -0800, Dan Zuras Intervals wrote:
> Now, can you give me an example of an interval that is Defined
> but not Valid?
Same question. I think that "Defined" doesn't make sense if not valid.
> As for Bounded, it seems to me that any result interval with
> an infinite endpoint is notBounded only if it were evaluated
> over a pole of some kind.
No, not "only" if. This can also occur if one of the arguments
was already notBounded.
> Otherwise, in the overflow case, I think possiblyBounded is
> the best answer.
It depends on the function. In case of an overflow, the mathematical
interval can still be bounded.
--
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)