Edge case conversions, exceptions to IEEE FPA
On (Fri, 14 Nov 2008 09:52:48 +0100) Arnold Neumaier wrote:
> The midpoint is usually used as is for subsequent point evaluation
> and may be approximate only but must lie in the interval.
Does this mean mid() would return signed realmax for a singly-bounded
interval, and 0 for Entire? Or would it return signed Inf resp. NaN?
I suppose the former, so it can be used without restrictions. Oh, I
forgot mid(Empty) -- surely that must be NaN, right?
Radius is clear: +Inf for unbounded (incl. Entire), 0 for Empty, and
finite non-zero poitive otherwise.
Is there a requirement on intervalabs(mid(xx), rad(xx)) ?
Michel.
Sent: 2008-11-14 14:40:35 UTC