Re: Vincent Lef�vre's objections to "exact dot product" in P1788
On 2012-03-05 12:02:44 -0500, Michel Hack wrote:
> Ulrich Kulisch and the numerical IFIP WG 2.5 want to find a place for the
> exact dot product and Complete Arithmetic. They could not persuade P754R,
> and P1788 (with its very early provisional scope) would have been another
> possibility. Are we really committed at this point to restrict ourselves
> to Interval Arithmetic? We did pass Motion 9 after all!
But that's not up to us to decide what kind of things are allowed in
the standard (even though we can vote for them).
Moreover the PAR says:
5.2 Scope: This standard specifies basic interval arithmetic (IA)
operations selecting and following one of the commonly used
mathematical interval models. This standard supports the
IEEE-754/2008 floating point types of practical use in interval
computations. Exception conditions will be defined and standard
handling of these conditions will be specified. Consistency with the
model is tempered with practical considerations based on input from
representatives of vendors and owners of existing systems. The
standard provides a layer between the hardware and the programming
language levels. It does not mandate that any operations be
implemented in hardware. It does not define any realization of the
basic operations as functions in a programming language.
So, this is on interval arithmetic only.
--
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)