1 # Data test file for mpc_cosh.
3 # Copyright (C) 2008, 2010 INRIA
5 # This file is part of GNU MPC.
7 # GNU MPC is free software; you can redistribute it and/or modify it under
8 # the terms of the GNU Lesser General Public License as published by the
9 # Free Software Foundation; either version 3 of the License, or (at your
10 #o ption) any later version.
12 # GNU MPC is distributed in the hope that it will be useful, but WITHOUT ANY
13 # WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS
14 # FOR A PARTICULAR PURPOSE. See the GNU Lesser General Public License for
17 # You should have received a copy of the GNU Lesser General Public License
18 # along with this program. If not, see http://www.gnu.org/licenses/ .
20 # See file sin.dat for the format description.
22 # Special values, following ISO C99 standard, Annex G,
23 # more precisely Section G.6.2.4 "The ccosh functions".
25 # Rule [conj]: cosh(conj(z)) = conj(cosh(z))
26 # Rule [even]: cosh(-z) = cosh(z)
28 # cosh(+0 + i*0) = 1 + i*0
29 0 0 2 1 2 +0 2 +0 2 +0 N N
30 # [conj]: cosh(+0 - i*0) = 1 - i*0
31 0 0 2 1 2 -0 2 +0 2 -0 N N
32 # [even]: cosh(-0 - i*0) = 1 + i*0
33 0 0 2 1 2 +0 2 -0 2 -0 N N
34 # [even+conj]: cosh(-0 + i*0) = 1 - i*0
35 0 0 2 1 2 -0 2 -0 2 +0 N N
37 # cosh(+0 + i*inf) = nan + i*0 (C99 says that the sign of the imaginary part
38 # is left unspecified)
39 0 0 2 nan 2 0 2 +0 2 +inf N N
40 # [conj]: cosh(+0 - i*inf) = nan - i*0
41 0 0 2 nan 2 0 2 +0 2 -inf N N
42 # [even]: cosh(-0 - i*inf) = nan + i*0
43 0 0 2 nan 2 0 2 -0 2 -inf N N
44 # [even+conj]: cosh(-0 + i*inf) = nan - i*0
45 0 0 2 nan 2 0 2 -0 2 +inf N N
47 # cosh(+0 +i*nan) = nan + i*0 (C99 says that the sign of the imaginary part
48 # is left unspecified)
49 0 0 2 nan 2 0 2 +0 2 nan N N
50 # [even]: cosh(-0 + i*nan) = nan + i*0
51 0 0 2 nan 2 0 2 -0 2 nan N N
53 # cosh(x + i*inf) = nan + i*nan for finite nonzero x
54 0 0 2 nan 2 nan 2 1 2 inf N N
55 0 0 2 nan 2 nan 2 -1 2 inf N N
56 # [conj]: cosh(x - i*inf) = nan + i*nan
57 0 0 2 nan 2 nan 2 1 2 -inf N N
58 0 0 2 nan 2 nan 2 -1 2 -inf N N
59 # [even] and [even+conj] are already considered for x=-1 < 0
61 # cosh(x + i*nan) = nan + i*nan for finite nonzero x
62 0 0 2 nan 2 nan 2 1 2 nan N N
63 0 0 2 nan 2 nan 2 -1 2 nan N N
64 # [conj] makes no sense since nan has no sign
65 # [even] is already considered for x=-1 < 0
67 # cosh(+inf + i*0) = +inf + i*0
68 0 0 2 +inf 2 +0 2 +inf 2 +0 N N
69 # [conj]: cosh(+inf - i*0) = +inf - i*0
70 0 0 2 +inf 2 -0 2 +inf 2 -0 N N
71 # [even]: cosh(-inf - i*0) = +inf + i*0
72 0 0 2 +inf 2 +0 2 -inf 2 -0 N N
73 # [even+conj]: cosh(-inf + i*0) = +inf - i*0
74 0 0 2 +inf 2 -0 2 -inf 2 +0 N N
76 # cosh(+inf + i*y) = +inf * (cos(y) + i*sin(y)) for finite non-zero y
77 0 0 2 +inf 2 +inf 2 +inf 2 1 N N
78 0 0 2 -inf 2 +inf 2 +inf 2 2 N N
79 0 0 2 -inf 2 -inf 2 +inf 2 4 N N
80 0 0 2 +inf 2 -inf 2 +inf 2 1024 N N
82 0 0 2 +inf 2 -inf 2 +inf 2 -1 N N
83 0 0 2 -inf 2 -inf 2 +inf 2 -2 N N
84 0 0 2 -inf 2 +inf 2 +inf 2 -4 N N
85 0 0 2 +inf 2 +inf 2 +inf 2 -1024 N N
87 0 0 2 +inf 2 +inf 2 -inf 2 -1 N N
88 0 0 2 -inf 2 +inf 2 -inf 2 -2 N N
89 0 0 2 -inf 2 -inf 2 -inf 2 -4 N N
90 0 0 2 +inf 2 -inf 2 -inf 2 -1024 N N
92 0 0 2 +inf 2 -inf 2 -inf 2 1 N N
93 0 0 2 -inf 2 -inf 2 -inf 2 2 N N
94 0 0 2 -inf 2 +inf 2 -inf 2 4 N N
95 0 0 2 +inf 2 +inf 2 -inf 2 1024 N N
97 # cosh(+inf + i*inf) = +inf + i*nan (C99 leaves unspecified the sign of the
99 0 0 2 inf 2 nan 2 +inf 2 +inf N N
100 # [conj]: cosh(+inf - i*inf) = +inf + i*nan
101 0 0 2 inf 2 nan 2 +inf 2 -inf N N
102 # [even]: cosh(-inf - i*inf) = +inf + i*nan
103 0 0 2 inf 2 nan 2 -inf 2 -inf N N
104 # [even+conj]: cosh(-inf + i*inf) = +inf + i*nan
105 0 0 2 inf 2 nan 2 -inf 2 +inf N N
107 # cosh(+inf + i*nan) = +inf + i*nan
108 0 0 2 +inf 2 nan 2 +inf 2 nan N N
109 # [conj] makes no sense since NaN has no sign
110 # [even]: cosh(-inf + i*nan) = +inf + i*nan
111 0 0 2 +inf 2 nan 2 -inf 2 nan N N
113 # cosh(nan + i*0) = nan - i*0 (C99 leaves unspecified the sign of the
115 0 0 2 nan 2 0 2 nan 2 +0 N N
116 # [conj]: cosh(nan - i*0) = nan + i*0
117 0 0 2 nan 2 0 2 nan 2 -0 N N
119 # cosh(nan + i*y) = nan + i*nan for all nonzero y (including +/-inf)
120 0 0 2 nan 2 nan 2 nan 2 1 N N
121 0 0 2 nan 2 nan 2 nan 2 -1 N N
122 0 0 2 nan 2 nan 2 nan 2 +inf N N
123 0 0 2 nan 2 nan 2 nan 2 -inf N N
125 # cosh(nan + i*nan) = nan + i*nan
126 0 0 2 nan 2 nan 2 nan 2 nan N N
128 + + 53 0x10000000000001p-53 53 0x10000000000001p-52 53 0x1DA2E1BD2C9EBCp-53 53 0x138AADEA15829Fp-52 N N
132 + - 53 +inf 53 -inf 53 0x4580CBF242683p-3 53 -0x1B3E8A3660D279p-3 N N
133 - - 53 -inf 53 -inf 53 -0x1B3E8A3660D279p-3 53 0x4580CBF242683p-3 N N