Re: re motion 50 (Just to you...)
On 2013-09-18 18:37:25 +0200, Ulrich Kulisch wrote:
> yes, you are right. But you have to produce it! Of course you can
> put it together by using other tools. Of all these producing it via
> the EDP is the simplest.
Once again, saying how an operation is implemented is out of the scope
of the standard. So, it is sufficient to specify correctly-rounded dot
product, and how it is implemented is no longer the problem of the
standard. The implementer could choose to use EDP or another method
for that. Such a choice allows him to choose the best implementation
for his target / applications / etc.
And if you say that EDP is the simplest, then I'm saying that GNU MPFR
is the simplest.
> My argumentation is this: The dot product is a fundamental and frequent
> arithmetic operation in mathematics and in numerical analysis.
so fundamental and so frequent that it is not specified by most
programming languages...
And if you think of hardware EDP via CA, nowadays, no vendors have
implemented it.
--
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)