tests/cosh.dat

   1 # Data test file for mpc_cosh.
   2 #
   3 # Copyright (C) 2008, 2010 INRIA
   4 #
   5 # This file is part of GNU MPC.
   6 #
   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.
  11 #
  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
  15 # more details.
  16 #
  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/ .
  19
  20 # See file sin.dat for the format description.
  21
  22 # Special values, following ISO C99 standard, Annex G,
  23 # more precisely Section G.6.2.4 "The ccosh functions".
  24
  25 # Rule [conj]: cosh(conj(z)) = conj(cosh(z))
  26 # Rule [even]: cosh(-z)      = cosh(z)
  27
  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
  36
  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
  46
  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
  52
  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
  60
  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
  66
  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
  75
  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
  81 # [conj]
  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
  86 # [even]
  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
  91 # [even+conj]
  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
  96
  97 # cosh(+inf + i*inf) = +inf + i*nan (C99 leaves unspecified the sign of the
  98 # real part)
  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
 106
 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
 112
 113 # cosh(nan + i*0) = nan - i*0 (C99 leaves unspecified the sign of the
 114 # imaginary part)
 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
 118
 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
 124
 125 # cosh(nan + i*nan) = nan + i*nan
 126 0 0 2 nan 2 nan   2 nan 2 nan   N N
 127
 128 + + 53 0x10000000000001p-53 53 0x10000000000001p-52   53 0x1DA2E1BD2C9EBCp-53 53 0x138AADEA15829Fp-52 N N
 129
 130
 131 # huge values
 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