Re: Motion 31 draft text V04.4, extra notes
On 2012-04-04 13:10:16 +0100, John Pryce wrote:
> IMHO the only mixed type operations that should be *mandated* by Level 2 are where
> - Types T1, T2 and T are inf-sup types derived from IEEE754 formats
> - of the same radix
> - such that the underlying implementation supports "formatOf" for the
> corresponding point operations, in the needed rounding modes;
> because these essentially come for free (I believe).
I don't think any mixed type operations should be mandated for
interval arithmetic on such a system. Or are they really useful
in practice? I think that a recommendation is sufficient: if
they come for free, they will be implemented anyway (there may
be some issues at the language level).
--
Vincent Lefèvre <vincent@xxxxxxxxxx> - Web: <http://www.vinc17.net/>
100% accessible validated (X)HTML - Blog: <http://www.vinc17.net/blog/>
Work: CR INRIA - computer arithmetic / AriC project (LIP, ENS-Lyon)