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

[Marco Nehmeier <nehmeier@xxxxxxxxxxxxxxxxxxxxxxxxxxx>]

On 04.07.2013 17:22, Ralph Baker Kearfott wrote:
> 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?

Yes, because the mentioned sentence says that the operations of the 
underlying system "shall be used".

> 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


--
     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