Re: Motion P1788/M0014.01: 6.1_and_6.2_of_document: up for discussion
John,
> PLEASE, Multi-precision interval computation folk:
>
> (a) What does "FP Format" and corresponding "Interval Format" MEAN
> in your context?
> Is there a potentially infinite sequence of them, like "binary_N"
> where N is an arbitrary multiple of 32, say?
> Or just ONE, the union of all these (regarding each one as a
> subset of the extended reals)?
for MPFI, which is based on MPFR, it means a sequence of binary_N formats,
where N is any integer greater than 1. (A precision of 1 bit leads to problems
to define correct rounding to nearest-even, but this is off-topic.)
Paul Zimmermann