Re: formatOfMidpoint()
On 2012-02-11 20:57:40 -0800, Dan Zuras Intervals wrote:
> Under those circumstances any answer for
> midpoint(Empty) is as good as any other.
> Or as bad. For if X = Empty what does
> equation (22) mean?
>
> X \subset [m-r,m+r] (22)
>
> where m = midpoint(Empty) & r = radius(Empty)?
>
> It works for any midpoint but NaN. But it
> fails for NaN.
I think that Equation (22) should be considered only when it makes
sense at Level 1, i.e. when the midpoint and radius are properly
defined. For Empty, they aren't.
And what's important is when things don't make sense, the results
should carry this information (there may be some exceptions, though):
Empty for intervals, NaN for point values.
--
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)