1 |
424 |
jeremybenn |
// 2007-02-04 Edward Smith-Rowland <3dw4rd@verizon.net>
|
2 |
|
|
//
|
3 |
|
|
// Copyright (C) 2007, 2009 Free Software Foundation, Inc.
|
4 |
|
|
//
|
5 |
|
|
// This file is part of the GNU ISO C++ Library. This library is free
|
6 |
|
|
// software; you can redistribute it and/or modify it under the
|
7 |
|
|
// terms of the GNU General Public License as published by the
|
8 |
|
|
// Free Software Foundation; either version 3, or (at your option)
|
9 |
|
|
// any later version.
|
10 |
|
|
//
|
11 |
|
|
// This library is distributed in the hope that it will be useful,
|
12 |
|
|
// but WITHOUT ANY WARRANTY; without even the implied warranty of
|
13 |
|
|
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
|
14 |
|
|
// GNU General Public License for more details.
|
15 |
|
|
//
|
16 |
|
|
// You should have received a copy of the GNU General Public License along
|
17 |
|
|
// with this library; see the file COPYING3. If not see
|
18 |
|
|
// <http://www.gnu.org/licenses/>.
|
19 |
|
|
|
20 |
|
|
// riemann_zeta
|
21 |
|
|
|
22 |
|
|
// This can take long on simulators, timing out the test.
|
23 |
|
|
// { dg-options "-DMAX_ITERATIONS=5" { target simulator } }
|
24 |
|
|
|
25 |
|
|
#ifndef MAX_ITERATIONS
|
26 |
|
|
#define MAX_ITERATIONS (sizeof(data001) / sizeof(testcase_riemann_zeta<double>))
|
27 |
|
|
#endif
|
28 |
|
|
|
29 |
|
|
// Compare against values generated by the GNU Scientific Library.
|
30 |
|
|
// The GSL can be found on the web: http://www.gnu.org/software/gsl/
|
31 |
|
|
|
32 |
|
|
#include <tr1/cmath>
|
33 |
|
|
#if defined(__TEST_DEBUG)
|
34 |
|
|
#include <iostream>
|
35 |
|
|
#define VERIFY(A) \
|
36 |
|
|
if (!(A)) \
|
37 |
|
|
{ \
|
38 |
|
|
std::cout << "line " << __LINE__ \
|
39 |
|
|
<< " max_abs_frac = " << max_abs_frac \
|
40 |
|
|
<< std::endl; \
|
41 |
|
|
}
|
42 |
|
|
#else
|
43 |
|
|
#include <testsuite_hooks.h>
|
44 |
|
|
#endif
|
45 |
|
|
#include "../testcase.h"
|
46 |
|
|
|
47 |
|
|
|
48 |
|
|
// Test data.
|
49 |
|
|
testcase_riemann_zeta<double> data001[] = {
|
50 |
|
|
{ 5.5915824411777502, 1.2000000000000000 },
|
51 |
|
|
{ 3.1055472779775792, 1.3999999999999999 },
|
52 |
|
|
{ 2.2857656656801324, 1.6000000000000001 },
|
53 |
|
|
{ 1.8822296181028220, 1.8000000000000000 },
|
54 |
|
|
{ 1.6449340668482275, 2.0000000000000000 },
|
55 |
|
|
{ 1.4905432565068937, 2.2000000000000002 },
|
56 |
|
|
{ 1.3833428588407359, 2.3999999999999999 },
|
57 |
|
|
{ 1.3054778090727803, 2.6000000000000001 },
|
58 |
|
|
{ 1.2470314223172541, 2.7999999999999998 },
|
59 |
|
|
{ 1.2020569031595945, 3.0000000000000000 },
|
60 |
|
|
{ 1.1667733709844674, 3.2000000000000002 },
|
61 |
|
|
{ 1.1386637757280420, 3.3999999999999999 },
|
62 |
|
|
{ 1.1159890791233376, 3.6000000000000001 },
|
63 |
|
|
{ 1.0975105764590047, 3.7999999999999998 },
|
64 |
|
|
{ 1.0823232337111381, 4.0000000000000000 },
|
65 |
|
|
{ 1.0697514772338095, 4.2000000000000002 },
|
66 |
|
|
{ 1.0592817259798355, 4.4000000000000004 },
|
67 |
|
|
{ 1.0505173825665735, 4.5999999999999996 },
|
68 |
|
|
{ 1.0431480133351789, 4.7999999999999998 },
|
69 |
|
|
{ 1.0369277551433700, 5.0000000000000000 },
|
70 |
|
|
{ 1.0316598766779168, 5.2000000000000002 },
|
71 |
|
|
{ 1.0271855389203537, 5.4000000000000004 },
|
72 |
|
|
{ 1.0233754792270300, 5.5999999999999996 },
|
73 |
|
|
{ 1.0201237683883446, 5.7999999999999998 },
|
74 |
|
|
{ 1.0173430619844492, 6.0000000000000000 },
|
75 |
|
|
{ 1.0149609451852233, 6.2000000000000002 },
|
76 |
|
|
{ 1.0129170887121841, 6.4000000000000004 },
|
77 |
|
|
{ 1.0111610141542708, 6.5999999999999996 },
|
78 |
|
|
{ 1.0096503223447120, 6.7999999999999998 },
|
79 |
|
|
{ 1.0083492773819229, 7.0000000000000000 },
|
80 |
|
|
{ 1.0072276664807169, 7.2000000000000002 },
|
81 |
|
|
{ 1.0062598756930512, 7.4000000000000004 },
|
82 |
|
|
{ 1.0054241359879634, 7.5999999999999996 },
|
83 |
|
|
{ 1.0047019048164696, 7.7999999999999998 },
|
84 |
|
|
{ 1.0040773561979444, 8.0000000000000000 },
|
85 |
|
|
{ 1.0035369583062013, 8.1999999999999993 },
|
86 |
|
|
{ 1.0030691220374448, 8.4000000000000004 },
|
87 |
|
|
{ 1.0026639074861505, 8.5999999999999996 },
|
88 |
|
|
{ 1.0023127779098220, 8.8000000000000007 },
|
89 |
|
|
{ 1.0020083928260823, 9.0000000000000000 },
|
90 |
|
|
{ 1.0017444334995897, 9.1999999999999993 },
|
91 |
|
|
{ 1.0015154553480514, 9.4000000000000004 },
|
92 |
|
|
{ 1.0013167628052648, 9.5999999999999996 },
|
93 |
|
|
{ 1.0011443029840295, 9.8000000000000007 },
|
94 |
|
|
{ 1.0009945751278182, 10.000000000000000 },
|
95 |
|
|
{ 1.0008645533615086, 10.199999999999999 },
|
96 |
|
|
{ 1.0007516206744649, 10.400000000000000 },
|
97 |
|
|
{ 1.0006535124140847, 10.600000000000000 },
|
98 |
|
|
{ 1.0005682678503411, 10.800000000000001 },
|
99 |
|
|
{ 1.0004941886041194, 11.000000000000000 },
|
100 |
|
|
{ 1.0004298029239944, 11.199999999999999 },
|
101 |
|
|
{ 1.0003738349551168, 11.400000000000000 },
|
102 |
|
|
{ 1.0003251782761946, 11.600000000000000 },
|
103 |
|
|
{ 1.0002828730909989, 11.800000000000001 },
|
104 |
|
|
{ 1.0002460865533080, 12.000000000000000 },
|
105 |
|
|
{ 1.0002140957818750, 12.199999999999999 },
|
106 |
|
|
{ 1.0001862731874056, 12.400000000000000 },
|
107 |
|
|
{ 1.0001620737887460, 12.600000000000000 },
|
108 |
|
|
{ 1.0001410242422089, 12.800000000000001 },
|
109 |
|
|
{ 1.0001227133475783, 13.000000000000000 },
|
110 |
|
|
{ 1.0001067838280169, 13.199999999999999 },
|
111 |
|
|
{ 1.0000929252097515, 13.400000000000000 },
|
112 |
|
|
{ 1.0000808676518718, 13.600000000000000 },
|
113 |
|
|
{ 1.0000703765974504, 13.800000000000001 },
|
114 |
|
|
{ 1.0000612481350588, 14.000000000000000 },
|
115 |
|
|
{ 1.0000533049750668, 14.199999999999999 },
|
116 |
|
|
{ 1.0000463929582293, 14.400000000000000 },
|
117 |
|
|
{ 1.0000403780253397, 14.600000000000000 },
|
118 |
|
|
{ 1.0000351435864272, 14.800000000000001 },
|
119 |
|
|
{ 1.0000305882363070, 15.000000000000000 },
|
120 |
|
|
{ 1.0000266237704787, 15.199999999999999 },
|
121 |
|
|
{ 1.0000231734615617, 15.400000000000000 },
|
122 |
|
|
{ 1.0000201705617975, 15.600000000000000 },
|
123 |
|
|
{ 1.0000175570017611, 15.800000000000001 },
|
124 |
|
|
{ 1.0000152822594086, 16.000000000000000 },
|
125 |
|
|
{ 1.0000133023770337, 16.199999999999999 },
|
126 |
|
|
{ 1.0000115791066830, 16.399999999999999 },
|
127 |
|
|
{ 1.0000100791671644, 16.600000000000001 },
|
128 |
|
|
{ 1.0000087735980010, 16.800000000000001 },
|
129 |
|
|
{ 1.0000076371976379, 17.000000000000000 },
|
130 |
|
|
{ 1.0000066480348633, 17.199999999999999 },
|
131 |
|
|
{ 1.0000057870238734, 17.399999999999999 },
|
132 |
|
|
{ 1.0000050375546607, 17.600000000000001 },
|
133 |
|
|
{ 1.0000043851715013, 17.800000000000001 },
|
134 |
|
|
{ 1.0000038172932648, 18.000000000000000 },
|
135 |
|
|
{ 1.0000033229700953, 18.199999999999999 },
|
136 |
|
|
{ 1.0000028926717153, 18.399999999999999 },
|
137 |
|
|
{ 1.0000025181032419, 18.600000000000001 },
|
138 |
|
|
{ 1.0000021920449287, 18.800000000000001 },
|
139 |
|
|
{ 1.0000019082127167, 19.000000000000000 },
|
140 |
|
|
{ 1.0000016611368951, 19.199999999999999 },
|
141 |
|
|
{ 1.0000014460565094, 19.399999999999999 },
|
142 |
|
|
{ 1.0000012588274738, 19.600000000000001 },
|
143 |
|
|
{ 1.0000010958426055, 19.800000000000001 },
|
144 |
|
|
{ 1.0000009539620338, 20.000000000000000 },
|
145 |
|
|
{ 1.0000008304526344, 20.199999999999999 },
|
146 |
|
|
{ 1.0000007229353187, 20.399999999999999 },
|
147 |
|
|
{ 1.0000006293391575, 20.600000000000001 },
|
148 |
|
|
{ 1.0000005478614529, 20.800000000000001 },
|
149 |
|
|
{ 1.0000004769329869, 21.000000000000000 },
|
150 |
|
|
{ 1.0000004151877719, 21.199999999999999 },
|
151 |
|
|
{ 1.0000003614367254, 21.399999999999999 },
|
152 |
|
|
{ 1.0000003146447527, 21.600000000000001 },
|
153 |
|
|
{ 1.0000002739108020, 21.800000000000001 },
|
154 |
|
|
{ 1.0000002384505029, 22.000000000000000 },
|
155 |
|
|
{ 1.0000002075810521, 22.199999999999999 },
|
156 |
|
|
{ 1.0000001807080625, 22.399999999999999 },
|
157 |
|
|
{ 1.0000001573141093, 22.600000000000001 },
|
158 |
|
|
{ 1.0000001369487659, 22.800000000000001 },
|
159 |
|
|
{ 1.0000001192199262, 23.000000000000000 },
|
160 |
|
|
{ 1.0000001037862520, 23.199999999999999 },
|
161 |
|
|
{ 1.0000000903506006, 23.399999999999999 },
|
162 |
|
|
{ 1.0000000786543011, 23.600000000000001 },
|
163 |
|
|
{ 1.0000000684721728, 23.800000000000001 },
|
164 |
|
|
{ 1.0000000596081891, 24.000000000000000 },
|
165 |
|
|
{ 1.0000000518917020, 24.199999999999999 },
|
166 |
|
|
{ 1.0000000451741575, 24.399999999999999 },
|
167 |
|
|
{ 1.0000000393262332, 24.600000000000001 },
|
168 |
|
|
{ 1.0000000342353501, 24.800000000000001 },
|
169 |
|
|
{ 1.0000000298035037, 25.000000000000000 },
|
170 |
|
|
{ 1.0000000259453767, 25.199999999999999 },
|
171 |
|
|
{ 1.0000000225866978, 25.399999999999999 },
|
172 |
|
|
{ 1.0000000196628109, 25.600000000000001 },
|
173 |
|
|
{ 1.0000000171174297, 25.800000000000001 },
|
174 |
|
|
{ 1.0000000149015549, 26.000000000000000 },
|
175 |
|
|
{ 1.0000000129725304, 26.199999999999999 },
|
176 |
|
|
{ 1.0000000112932221, 26.399999999999999 },
|
177 |
|
|
{ 1.0000000098313035, 26.600000000000001 },
|
178 |
|
|
{ 1.0000000085586331, 26.800000000000001 },
|
179 |
|
|
{ 1.0000000074507118, 27.000000000000000 },
|
180 |
|
|
{ 1.0000000064862125, 27.199999999999999 },
|
181 |
|
|
{ 1.0000000056465688, 27.399999999999999 },
|
182 |
|
|
{ 1.0000000049156179, 27.600000000000001 },
|
183 |
|
|
{ 1.0000000042792894, 27.800000000000001 },
|
184 |
|
|
{ 1.0000000037253340, 28.000000000000000 },
|
185 |
|
|
{ 1.0000000032430887, 28.199999999999999 },
|
186 |
|
|
{ 1.0000000028232703, 28.399999999999999 },
|
187 |
|
|
{ 1.0000000024577977, 28.600000000000001 },
|
188 |
|
|
{ 1.0000000021396356, 28.800000000000001 },
|
189 |
|
|
{ 1.0000000018626598, 29.000000000000000 },
|
190 |
|
|
{ 1.0000000016215385, 29.199999999999999 },
|
191 |
|
|
{ 1.0000000014116306, 29.399999999999999 },
|
192 |
|
|
{ 1.0000000012288952, 29.600000000000001 },
|
193 |
|
|
{ 1.0000000010698147, 29.800000000000001 },
|
194 |
|
|
{ 1.0000000009313275, 30.000000000000000 },
|
195 |
|
|
};
|
196 |
|
|
|
197 |
|
|
// Test function.
|
198 |
|
|
template <typename Tp>
|
199 |
|
|
void test001()
|
200 |
|
|
{
|
201 |
|
|
const Tp eps = std::numeric_limits<Tp>::epsilon();
|
202 |
|
|
Tp max_abs_diff = -Tp(1);
|
203 |
|
|
Tp max_abs_frac = -Tp(1);
|
204 |
|
|
unsigned int num_datum = MAX_ITERATIONS;
|
205 |
|
|
for (unsigned int i = 0; i < num_datum; ++i)
|
206 |
|
|
{
|
207 |
|
|
const Tp f = std::tr1::riemann_zeta(Tp(data001[i].x));
|
208 |
|
|
const Tp f0 = data001[i].f0;
|
209 |
|
|
const Tp diff = f - f0;
|
210 |
|
|
if (std::abs(diff) > max_abs_diff)
|
211 |
|
|
max_abs_diff = std::abs(diff);
|
212 |
|
|
if (std::abs(f0) > Tp(10) * eps
|
213 |
|
|
&& std::abs(f) > Tp(10) * eps)
|
214 |
|
|
{
|
215 |
|
|
const Tp frac = diff / f0;
|
216 |
|
|
if (std::abs(frac) > max_abs_frac)
|
217 |
|
|
max_abs_frac = std::abs(frac);
|
218 |
|
|
}
|
219 |
|
|
}
|
220 |
|
|
VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
|
221 |
|
|
}
|
222 |
|
|
|
223 |
|
|
int main(int, char**)
|
224 |
|
|
{
|
225 |
|
|
test001<double>();
|
226 |
|
|
return 0;
|
227 |
|
|
}
|