[Cfp-interest 3213] Re: Various Updates to Annex F+G

[Jim Thomas]

I think this sort of organization into smaller focused proposals will be very help for understanding and moving forward. See specific comments below about the suggested organization.

- Jim Thomas

> On Aug 15, 2024, at 6:22 PM, Damian McGuckin <damianm at esi.com.au> wrote:
> 
> 
> As suggested by the meeting minutes of 14th August,
> 
>> Rajan: More smaller proposals will be easier to sell to WG14
> 
> All, how about there are 7 smaller proposals, 3 Technical, 4 Editorial
> 
> Technical
> 
> a)	F.10.5
> 	- correct mistake - an implied -INF is NOT odd integral
> 	- keep old style wording for this for the moment

Where is it implied that -inf is odd integral? Please identify the specific subclause(s) and bullets (F.10.5 has no content other than subclauses).
> 
> b)	G.4.3
> 	- make domain of csinh(x + i INF) consistent with ccosh()/ctanh()
> 	- keep old style wording for this for the moment

The csinh bullet for this case says “for all positive finite x”, which covers all finite nonzero x because of conjugacy and oddness. This is the same x-domain as (explicitly stated) in the corresponding bullet for ccosh and ctanh. If so, this an editorial inconsistency rather than a technical one?
> 
> c)	F.10.1
> 	- Make a sole argument of NaN returning a NaN the normative case

I can’t tell what this means. How would it be different from current F.10.1 #14 which says "Functions with a NaN argument return a NaN result and raise no floating-point exception, except where explicitly stated otherwise."

> 	- this is consistent with Annex G
> 	- no implementation changes
> 	- only affects F.10.4.7 which means that we can remove parentheses

What is technically incorrect in the current specification?

Note that in G.4.2.1 in the bullet 

cacos(+/-inf + I NaN) returns NaN +/- i inf (where the sign of the imaginary part of the result is unspecified).

The parentheses need to be removed. Unlike for other cases mentioning that the sign of a real or imaginary part is unspecified, here the parenthesized information is not implied by the general specification in G.4.1 "Unless otherwise specified, where the symbol +/- occurs in both an argument and the result, the result has the same sign as the argument.” The parenthesized information in the bullet above is intended to be normative specification. This is a (minor but) technical issue.

> 
> Editorial (makes Annex F and Annex G vastly more readable)
> 
> d) 	F.10.[2-3] - for trigonometric and hyperbolic routines
> 	* use new syntax, more consistent, no extraneous commas, etc
> 	* tweak any qualifying domain to
> 	  - ensure full inequality, e.g. 0 < x < INF instead of finite x > 0
> 	  - tighten the mathematical wording in a few cases
> 	  - prefix every use of n with the word integer
> 	  - Use the word integral (not 'integer') with a floating point y (or x)

I suggest making the last two into two separate issues.

> 	* Split a union of qualifying domains into individual items (generally)
> 	  - where NaN being separate is clearer
> 	  - where INF being separate is clearer
> 
> e) 	F.10.[4-9] - Repeat (c)
> 	* use new syntax as for (c)
> 	* sort out qualifying domains as for (c)

You mean (d), right?

> 
> f)	F.10.1 and G.4.1 - ensure within these two (introductory) sections
> 	- the wording of similar paragraphs is the same between the two
> 	- the ordering of similar paragraphs is consistent between the two
> 
> g)	G.4.[2-5]
> 	- use new syntax
> 	- use mathematical domains (like F.10.[2-9])
> 	- enhance clarity with the use of +/- 0 and unspecified signs
> 
> Thanks - Damian
> 
> Pacific Engineering Systems International ..... 20D Grose St, Glebe NSW 2037
> Ph:+61-2-8571-0847 .. Fx:+61-2-9692-9623 | unsolicited email not wanted here
> Views & opinions here are mine and not those of any past or present employer
> _______________________________________________
> 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/20240816/e60f4b4a/attachment.htm>