Re: Information
Dear Baker,
You are perfectly right. The meaning of "correctly rounded" is "as if it were computed exactly, then rounded to the destination format".
Best regards
Jean-Michel
>>
>
> That is where I am confused. I thought that by "correctly rounded", we meant
> "as if the exact answer were first computed, then rounded." If that's our
> definition (which was my understanding of the definition in 754 of
> a correctly rounded function value), there would be no difference in
> the results stored in a floating point double. Am I being naive about
> the specifications of unnormalized numbers and gradual underflow?
>
> Baker
>
> --
>
> ---------------------------------------------------------------
> 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
> ---------------------------------------------------------------
--
Jean-Michel Muller, directeur de recherches CNRS
Lab. LIP, ENS Lyon, 46 allée d'Italie, 69364 Lyon Cedex 07, France
Phone (+33) 4 37287646, Fax (+33) 4 72728806
Jean-Michel.Muller@xxxxxxxxxxx http://perso.ens-lyon.fr/jean-michel.muller