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

[Damian McGuckin]

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

b)	G.4.3
 	- make domain of csinh(x + i INF) consistent with ccosh()/ctanh()
 	- keep old style wording for this for the moment

c)	F.10.1
 	- Make a sole argument of NaN returning a NaN the normative case
 	- this is consistent with Annex G
 	- no implementation changes
 	- only affects F.10.4.7 which means that we can remove parentheses

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)
 	* 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)

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