[Cfp-interest 3065] Re: csinh(x + i y) - G.6.3.5 - 5th bullet point of special cases

[Jim Thomas]

> On Mar 17, 2024, at 6:51 AM, Damian McGuckin <damianm at esi.com.au> wrote:
> 
> On Sat, 16 Mar 2024, Damian McGuckin wrote:
> 
>> The special case is mentioned:
>> 
>> 	csinh(x + i * INFINITY) returns NaN + i * NaN for positive finite x
>> 
>> is given.
> 
> Given the mathematics, I think the domain in the draft is wrong and should have read 'finite non-zero x'

The domain is implicitly extended to cover finite nonzero x by the requirements in the first bullet:

 — csinh(conj(z)) = conj(csinh(z)) and csinh is odd.

(n3219 has an erroneous periodic the middle of the first bullet. That typo has been reported to the C editor.)

> 
> As the special case in
> 
> a) the 6th bullet point says 'finite non-zero x x’,

I don’t see “x x” in n3219.

> it is not out of
>   the realm of possibility that the domain in that 5th point is a typo
> 
> b) an earlier bullet point has a domain 0 + I * INFINITY overlaps, which
>   it must not, then this 'positive finite x' is highly questionable

What overlaps?

- Jim Thomas

> 
> Thanks - Damian
> _______________________________________________
> 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/20240402/ce2fd60e/attachment.htm>