Re: How to merge required operations under a common name
Michel,
> On Wed, 27 Jan 2016 14:55:31 +0100, Paul Zimmermann wrote:
> > if we use integers (for example the mpz_t layer of GMP) as
> > number format, do we get a valid 1788-2015 implementation?
>
> The basic requirement is that the set of "FP" numbers in a type be
> such that each interval result has a unique tightest representation.
> So if the underlying format is, say, rationals p/q, the format must
> have a well-defined maximum denominator. You can have a family of
> such formats, but each operation would have to specify the result
> format explicitly -- otherwise "tightest" would be undefined.
ok, then integers (p/q with maximal denominator q=1) would be fine?
Paul