Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

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)