[Cfp-interest 2011] Re: AIs related to range errors clarifications

[Jim Thomas]

I don’t think we can require the C functions (that are not required to be correctly rounded) to determine the mathematical result with infinite precision.

- Jim Thomas

> On May 25, 2021, at 11:15 AM, David Chen <dave.h.chen at gmail.com> wrote:
> 
> Could we say "mathematical result with infinite precision"?  We may have to consider the possibility that an implementation generates its final results directly without any preliminary results or rounding during the process.
> 
> Best,
> David.
> 
> 
> On Tue, May 25, 2021 at 11:01 AM Fred J. Tydeman <tydeman at tybor.com <mailto:tydeman at tybor.com>> wrote:
> On Sat, 22 May 2021 21:08:44 -0700 Jim Thomas wrote:
> >
> >The IEC 60559 model for correct rounding includes a (hypothetical) preliminary result correct to infinite range and precision. In C (outside of Annex F), which doesn't have this model and doesn't require correct rounding, what does "result with infinite precision" refer to?
> 
> I was thinking of result before final rounding.
> 
> I want to exclude zero and +/-min normal if they are exact from being underflow.
> 
> 
> ---
> Fred J. Tydeman        Tydeman Consulting
> tydeman at tybor.com <mailto:tydeman at tybor.com>      Testing, numerics, programming
> +1 (702) 608-6093      Vice-chair of PL22.11 (ANSI "C")
> Sample C99+FPCE tests: http://www.tybor.com <http://www.tybor.com/>
> Savers sleep well, investors eat well, spenders work forever.
> 
> _______________________________________________
> Cfp-interest mailing list
> Cfp-interest at oakapple.net <mailto:Cfp-interest at oakapple.net>
> http://mailman.oakapple.net/mailman/listinfo/cfp-interest <http://mailman.oakapple.net/mailman/listinfo/cfp-interest>
> 
> 
> -- 
> Best Regards,
> David.
> 
> ***Email Disclaimer: This email is intended only for addressee(s), may be confidential or proprietary, and may constitute inside information that is protected from disclosure under law. If you are not the intended recipient, you are hereby notified not to read, disclose, distribute or otherwise use this email.  If you are not the intended recipient, please inform the sender by reply email and destroy all copies of the original message.  Thank you.
> 
> _______________________________________________
> Cfp-interest mailing list
> Cfp-interest at oakapple.net
> http://mailman.oakapple.net/mailman/listinfo/cfp-interest

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://mailman.oakapple.net/pipermail/cfp-interest/attachments/20210528/eb1d1e1a/attachment.htm>