<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;"><div style="overflow-wrap: break-word; -webkit-nbsp-mode: space; line-break: after-white-space;"><div><blockquote type="cite">Isn't the point that the canonical complex infinity is inf + i 0, while there are many values that will compute as complex infinity? It's quiet NaN all over again, where computations can produce a complex infinity that depends on the operands, but any new infinity created is canonical?</blockquote><br></div><div>My understanding …</div><div><br></div><div>“Canonical” is a defined term in IEEE 754. Some values have multiple encodings, one of which is called “canonical”. Arithmetic operations return values with their canonical encoding. All encodings of a value behave the same as input. There’s no idea of different encodings having different semantics or including non-semantic auxiliary information.</div><div><br></div><div>Quiet NaNs are likewise all equivalent in the arithmetic, but different (from redundant encodings) in that they might contain non-semantic auxiliary information. Recommended behavior is intended to preserve such information.</div><div><br></div><div>Complex infinities (as defined in Annex G) are actually different values. Complex operations resulting in a complex infinity do not ordinarily return inf + i 0. Different infinities as input typically result in different real and imaginary parts of the result, as the operations use directional information in infinite real or imaginary parts. The differences have semantic significance. The attempt is to model the complex plane whose axes are the reals extended by +/- inf, which has infinitely many infinities.</div><div><br></div><div>A user might prefer a model of the complex plane with only one infinity. The proj function is intended as a tool for the user to create that model by applying proj wherever the different infinities might interfere, e.g. before equality comparison. The complex infinity properties in Annex G are also intended to support such an effort.</div><div><br></div><div>- Jim Thomas</div></div><br class="Apple-interchange-newline"><div><br><blockquote type="cite"><div>On Oct 2, 2024, at 8:47 AM, Jerome Coonen <jcoonen@gmail.com> wrote:</div><br class="Apple-interchange-newline"><div><div dir="ltr"><div>We had a task to comment on Damian's first set of proposals re. the language around complex arithmetic. Here is a file (delayed by a ay of muddled distribution attempts) with my comments overlaid on Jim's comments. </div><a href="https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-body-67-jwt_jtc.pdf">https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-body-67-jwt_jtc.pdf</a><div><br><div>Caveat: my browser PDF viewer botches all but the first comment, but the file looks fine if downloaded. Good luck.</div><div><br clear="all"><div><div dir="ltr" class="gmail_signature" data-smartmail="gmail_signature"><div dir="ltr">-Jerome Coonen<div> 650.996.4738</div><div> <a href="mailto:jcoonen@gmail.com" target="_blank">jcoonen@gmail.com</a></div></div></div></div><br></div></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Mon, Sep 16, 2024 at 9:11 AM Jim Thomas <<a href="mailto:jaswthomas@sbcglobal.net">jaswthomas@sbcglobal.net</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex"><div>Here’s a CFP wiki link to the file:<div><br></div><div><a href="https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-body-67-jwt.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-body-67-jwt.pdf</a></div><div><br></div><div>- Jim Thomas<br id="m_-2426762993879476920lineBreakAtBeginningOfMessage"><div><br><blockquote type="cite"><div>On Sep 15, 2024, at 9:54 PM, Jim Thomas <<a href="mailto:jaswthomas@sbcglobal.net" target="_blank">jaswthomas@sbcglobal.net</a>> wrote:</div><br><div><div>Here is a file with inline comments for the first of the four papers (C26-cmplx-mods-aug24-body-67):<br><br><span id="m_-2426762993879476920cid:3E1B8718-0F3B-4ED1-A3A4-2BE84E5EE244"><C26-cmplx-mods-aug24-body-67-jwt.pdf></span><br><br>- Jim Thomas<br><br><blockquote type="cite">On Aug 25, 2024, at 5:08 AM, Damian McGuckin <<a href="mailto:damianm@esi.com.au" target="_blank">damianm@esi.com.au</a>> wrote:<br><br><br>Hi all,<br><br>I have uploaded my suggestions. Please provide feedback before the next meeting because there is way too much to cover during a single meeting. At the start, I explain in a block before the actual changes the rationale for some of the proposals. And then for each change, I briefly note why that change has been proposed. To make it readable, I provide the entire paragraph because most changes are more than one or two words or phrases. I do not use a 'diff' except in one case because it is so trivial.<br><br>I think all are editorial although in one case the word complex is missing so that the existing text says a parameter has a type of 'float' when it meant 'float complex' which seems like extremely editorial. Most of the changes are for consistency, that is, if words are used one way in one place, and then in related section later, a different wording style is used, I try and use the style which reads the best.<br><br>The domains for all special cases are now inequalities.<br><br>Let me know if you have a problem with these links.<br><br>There are a small number of changes to 6/Language and 7/Library.<br><br><span style="white-space:pre-wrap"> </span><a href="https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-body-67.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-body-67.pdf</a><br><br>The major consistency changes in the effective Introductions to Annex F<br>and Annex G, i.e. F.10.1 and G.4.1 Introduction a Annex F (some of which<br>are just an exercise in reordering), and improved explanations are:<br><br><span style="white-space:pre-wrap"> </span><a href="https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-annex-fg-intro.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-annex-fg-intro.pdf</a><br><br>Note that there is one clause, G.2, that could move to the end of 7.3.1..<br><br>The special cases in Annex F and Annex G now have a consistent syntax.<br>I distilled the most consistent existing syntax used for the special<br>cases and then applied that rigorously (although I did moved the words<br>about exceptions raised for each case to the end of the sentence).<br><br>The changes for consistency in Annex F are in:<br><br><span style="white-space:pre-wrap"> </span><a href="https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-annex-f.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-annex-f.pdf</a><br><br>The changes for consistency in Annex G are in:<br><br><span style="white-space:pre-wrap"> </span><a href="https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-annex-g.pdf" target="_blank">https://wiki.edg.com/pub/CFP/WebHome/C26-cmplx-mods-aug24-annex-g.pdf</a><br><br>Thanks - Damian<br>_______________________________________________<br>Cfp-interest mailing list<br><a href="mailto:Cfp-interest@oakapple.net" target="_blank">Cfp-interest@oakapple.net</a><br><a href="http://mailman.oakapple.net/mailman/listinfo/cfp-interest" target="_blank">http://mailman.oakapple.net/mailman/listinfo/cfp-interest</a><br></blockquote><br></div></div></blockquote></div><br></div></div>_______________________________________________<br>
Cfp-interest mailing list<br>
<a href="mailto:Cfp-interest@oakapple.net" target="_blank">Cfp-interest@oakapple.net</a><br>
<a href="http://mailman.oakapple.net/mailman/listinfo/cfp-interest" rel="noreferrer" target="_blank">http://mailman.oakapple.net/mailman/listinfo/cfp-interest</a><br>
</blockquote></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>