<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><br id="lineBreakAtBeginningOfMessage"><div><br><blockquote type="cite"><div>On Oct 8, 2024, at 11:52 AM, Jerome Coonen <jcoonen@gmail.com> wrote:</div><br class="Apple-interchange-newline"><div><div dir="ltr"><div>This responds to an action item from the August 2024 meeting, with thanks to Fred for a nudge along the way.</div><div><br></div><div><b>Suggestions:</b></div><div> fadd – change the last sentence of 7.12.15.2#2 to</div><div><br></div><div> A domain error occurs for some infinite arguments.</div><div><br class="gmail-Apple-interchange-newline"> fsub – change the last sentence of 7.12.15.3#2 to</div><div><br></div><div> A domain error occurs for some infinite arguments.</div><div><br class="gmail-Apple-interchange-newline"> fma – change the last sentence of 7.12.15.6#2 to</div><div><br></div><div> A domain error occurs for some infinite arguments.</div><div><br></div><b>Rationale:</b><div>The issue with fadd and fsub and one issue with fma is the magnitude subtraction of infinite values. The other issue in fma is multiplication of zero by infinity. Those operations would raise the "invalid" floating-point exception in ordinary arithmetic</div></div></div></blockquote><div><br></div>not necessarily for non-IEC 60559 arithmetic</div><div><br><blockquote type="cite"><div><div dir="ltr"><div>, but in the library they cause a domain error to occur.</div></div></div></blockquote><div><br></div><div>Isn’t the issue just that there are cases with infinite arguments that fit the definition of domain error but that are not required (to be reported). This isn’t particular to the functions in 7.12.15, e.g. the sin function doesn’t have a required domain error for infinite arguments.</div><div><br></div><blockquote type="cite"><div><div dir="ltr"><div><br></div><div>The current usage "may occur" is too weak, because the errors will arise for some combinations of infinite arguments.</div></div></div></blockquote><div><br></div>The suggested changes require some domain errors for implementations with infinities. This might break current implementations which are not currently required to report a domain error. However, it doesn’t help users because no particular infinity cases are required to have, or not have, a domain error.</div><div><br></div><div>- Jim Thomas</div><div> </div><div><blockquote type="cite"><div><div dir="ltr"><div><b><br clear="all"></b><div><div dir="ltr" class="gmail_signature"></div></div><div>-Jerome Coonen<br></div><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div> 650.996.4738</div><div> <a href="mailto:jcoonen@gmail.com" target="_blank">jcoonen@gmail.com</a></div></div></div></div></div></div>
_______________________________________________<br>Cfp-interest mailing list<br>Cfp-interest@oakapple.net<br>http://mailman.oakapple.net/mailman/listinfo/cfp-interest<br></div></blockquote></div><br></body></html>