[Cfp-interest 3274] _Complex_I

[Jim Thomas]

7.3.1 #3 says

… the macro _Complex_I expands to an arithmetic constant expression of type float _Complex with the value of the imaginary unit;227)

227)The imaginary unit is a number i such that i^2 = −1.

This doesn’t specify the sign of the 0 real part of _Complex_I. The footnote doesn’t help (even if made normative) because it pertains to a mathematical system without signed zeros. Reference to the imaginary unit isn’t needed here, and the term isn’t used elsewhere. More direct would be 

… the macro _Complex_I expands to an arithmetic constant expression of type float _Complex with the real part having the value +0 or unsigned 0 and the imaginary part having the value 1.

Footnote 227 should be removed from here. A definition of I could be included with an explanation of the mathematical expression a + I b (see [Cfp-interest 3262]).

- Jim Thomas

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