Re: Motion 4: P1788 on non-754?
-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1
Vincent Lefevre wrote:
> On 2009-04-13 09:19:34 -0400, Michel Hack wrote:
>> If the underlying arithmetic is not correctly-rounding, it would be
>> difficult to define "tightest bound" for the enclosures of primitive
>> IA operations, which we are considering for the standaed. In this
>> context I interpret "tightest" as saying that no narrower representable
>> result would guarantee containment.
>
> Is the "tightest bound" required or only recommended? Having it
> required would be annoying if one wants interval arithmetic on
> the elementary functions, as IEEE 754-2008 only recommends
> correct rounding for such functions.
That's something to be decided. The Vienna proposal defines different
tightness "levels" for arithmetic operations and elementary functions.
Cheers,
Christian
- --
/"\
Christian Keil \ / ASCII Ribbon Campaign
mail:c.keil@xxxxxxxxxxxxx X against HTML email & vCards
/ \
-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.9 (GNU/Linux)
Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org
iEYEARECAAYFAknkYc0ACgkQnsZPgWGt3GMCHQCdH7lUEP3ZgcGJA0H1XjkIUb6B
GiMAoKL9wj61+iZ0buAlwby2Q1Zsi9bt
=gUS2
-----END PGP SIGNATURE-----