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

Re: Interval comparisons in mixed-format (and mixed-radix) environments

Michel Hack wrote:

Dan Zuras' remark

That is, subset with a smidge at both ends when those ends
are finite.

reminded me of a point that occurred to me while reading the
various motions on comparisons:

  Don't we also need "as equal as possible"?

It seems to me that some refinement algorithms would need this
for stopping conditions. 

Why? Since overestimation is something very common to be catered for,
and is usually appreciable, overestimation by some tiny amount is no
special case warranting separate attention.



The needed relation is that A is the
tightest hull of B, which differs from equality when B has more
precision than A, or is in a different radix.