Thread Links Date Links
Thread Prev Thread Next Thread Index Date Prev Date Next Date Index

Re: Motion P1788/M0045.02:ExactDotProductRevision -- revised text



Marco et al,

On 07/04/2013 09:40 AM, Marco Nehmeier wrote:
Dear John, P1788,

I'm not happy with the sentence

"If such correctly rounded operations are provided by the underlying 754 system, these shall be used; otherwise they shall be provided by the implementation."

in the first paragraph.


This implies that a P1788 implementation with its own implementation of these four operations is not 754 -conforming on a system which provides these four operations by itself.

I do not understand. Did you mean it would not be 1788-conforming if it didn't use the 754-conforming
library?

Baker
--
      o           Marco Nehmeier, Lehrstuhl fuer Informatik II
     / \          Universitaet Wuerzburg, Am Hubland, D-97074 Wuerzburg
InfoII o         Tel.: +49 931 / 31 88684
   / \  Uni       E-Mail:nehmeier@xxxxxxxxxxxxxxxxxxxxxxxxxxx
  o   o Wuerzburg


--

---------------------------------------------------------------
R. Baker Kearfott,    rbk@xxxxxxxxxxxxx   (337) 482-5346 (fax)
(337) 482-5270 (work)                     (337) 993-1827 (home)
URL: http://interval.louisiana.edu/kearfott.html
Department of Mathematics, University of Louisiana at Lafayette
(Room 217 Maxim D. Doucet Hall, 1403 Johnston Street)
Box 4-1010, Lafayette, LA 70504-1010, USA
---------------------------------------------------------------