<span style=" font-size:10pt;font-family:sans-serif">The wording we agreed
to (from the minutes) for </span><tt><span style=" font-size:10pt">7.12.6.3#2</span></tt><span style=" font-size:10pt;font-family:sans-serif">was </span><span style=" font-size:10pt;font-family:Arial"> "magnitude
of positive finite x is too large"</span><span style=" font-size:10pt;font-family:sans-serif">.</span><br><br><span style=" font-size:10pt;font-family:sans-serif">Regards,<br><br>Rajan Bhakta<br>z/OS XL C/C++ Compiler Technical Architect<br>ISO C Standards Representative for Canada, PL22.11 Chair (USA)<br>C Compiler Development<br>Contact: rbhakta@us.ibm.com, Rajan Bhakta/Houston/IBM</span><br><br><br><br><span style=" font-size:9pt;color:#5f5f5f;font-family:sans-serif">From:
</span><span style=" font-size:9pt;font-family:sans-serif">"Fred
J. Tydeman" <tydeman@tybor.com></span><br><span style=" font-size:9pt;color:#5f5f5f;font-family:sans-serif">To:
</span><span style=" font-size:9pt;font-family:sans-serif">"Jim
Thomas" <jaswthomas@sbcglobal.net></span><br><span style=" font-size:9pt;color:#5f5f5f;font-family:sans-serif">Cc:
</span><span style=" font-size:9pt;font-family:sans-serif">CFP
<cfp-interest@ucbtest.org></span><br><span style=" font-size:9pt;color:#5f5f5f;font-family:sans-serif">Date:
</span><span style=" font-size:9pt;font-family:sans-serif">08/25/2019
08:13 PM</span><br><span style=" font-size:9pt;color:#5f5f5f;font-family:sans-serif">Subject:
</span><span style=" font-size:9pt;font-family:sans-serif">[EXTERNAL]
[Cfp-interest 1390] Re: Math functions & range errors</span><br><span style=" font-size:9pt;color:#5f5f5f;font-family:sans-serif">Sent
by: </span><span style=" font-size:9pt;font-family:sans-serif">cfp-interest-bounces@oakapple.net</span><br><hr noshade><br><br><br><tt><span style=" font-size:10pt">Thanks for reviewing.<br><br>On Sun, 25 Aug 2019 15:15:34 -0700 Jim Thomas wrote:<br>><br>>> Some implementations consider f(infinity) as a range error based
upon the text: A range error occurs if [the magnitude <br>>of] x is too<br>>> <br>>Consider changing to: "Some implementations incorrectly treat
".<br><br>Done.<br><br>>> The exp10m1 functions<br>>> Change 7.12.6.3#2 from<br>>> <br>>> A range error occurs if finite x is too large or if the magnitude
of nonzero x is too small.<br>>> to<br>>> <br>>> A range error occurs if finite positive x is too large or if the
magnitude of nonzero x is too small.<br>>I recall David suggesting this be "A range error occurs if the
magnitude of finite positive x is too large ." but am not sure <br>>what we agreed to. <br><br>I also do not recall what we agreed to.<br><br>>With that change we'd be saying "magnitude" wherever talking
about too large or too small. Without <br>>that change we'd be saying "magnitude" just where needed
for correctness.<br><br>>> The compoundn functions<br>>> Change 7.12.7.2#2 from<br>>> <br>>> A range error may occur if n is too large, depending on x.<br>>> to<br>>> <br>>> A range error may occur if n is too large, depending on finite
x.<br>>Do we mean if the magnitude of n is too large?<br><br>Yes. Changed.<br><br>>> The tgamma functions<br>>> Change 7.12.8.4#2<br>>> <br>>> A range error occurs if the magnitude of x is too large and may
occur if the magnitude of x is too small.<br>>> to:<br>>> <br>>> A range error occurs if the magnitude of finite x is too large
and may occur if the magnitude of non-zero x is too small.<br>>How is there a range error if the magnitude of negative x is too large?<br><br>With the FP systems still in use that I know about, all large FP values
are integers. So, large negative values would<br>be integers, so would be domain or pole errors.<br><br>> Can't there be range errors for moderate magnitude <br>>negative x?<br><br>Yes. I think "moderate negative x" could still be considered
"too large". But, I am open to<br>other wording.<br><br>>A general question: What does "may occur" mean?<br><br>Does not always happen. For example, on IBM S/360 hex FP, there are
no subnormal numbers,<br>so underflows will not happen for many functions, that do happen when subnormals
are supported.<br><br>An alternative wording: A range errors occurs for some finite arguments.<br><br><br>---<br>Fred J. Tydeman Tydeman Consulting<br>tydeman@tybor.com Testing, numerics, programming<br>+1 (702) 608-6093 Vice-chair of PL22.11 (ANSI "C")<br>Sample C99+FPCE tests: </span></tt><a href="http://www.tybor.com"><tt><span style=" font-size:10pt">http://www.tybor.com</span></tt></a><tt><span style=" font-size:10pt"><br>Savers sleep well, investors eat well, spenders work forever.<br><br>_______________________________________________<br>Cfp-interest mailing list<br>Cfp-interest@oakapple.net<br></span></tt><a href="http://mailman.oakapple.net/mailman/listinfo/cfp-interest"><tt><span style=" font-size:10pt">http://mailman.oakapple.net/mailman/listinfo/cfp-interest</span></tt></a><tt><span style=" font-size:10pt"><br><br></span></tt><br><br><BR>