libstdc++-v3/testsuite/tr1/5_numerical_facilities/special_functions/03_beta/check_value.cc

   1 // 2007-02-04  Edward Smith-Rowland <3dw4rd@verizon.net>
   2 //
   3 // Copyright (C) 2007-2016 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 //  beta
  21
  22
  23 //  Compare against values generated by the GNU Scientific Library.
  24 //  The GSL can be found on the web: http://www.gnu.org/software/gsl/
  25
  26 #include <tr1/cmath>
  27 #if defined(__TEST_DEBUG)
  28 #include <iostream>
  29 #define VERIFY(A) \
  30 if (!(A)) \
  31   { \
  32     std::cout << "line " << __LINE__ \
  33       << "  max_abs_frac = " << max_abs_frac \
  34       << std::endl; \
  35   }
  36 #else
  37 #include <testsuite_hooks.h>
  38 #endif
  39 #include "../testcase.h"
  40
  41
  42 // Test data for x=10.000000000000000.
  43 testcase_beta<double> data001[] = {
  44   { 1.0825088224469029e-06, 10.000000000000000, 10.000000000000000 },
  45   { 4.9925087406346778e-09, 10.000000000000000, 20.000000000000000 },
  46   { 1.5729567312509485e-10, 10.000000000000000, 30.000000000000000 },
  47   { 1.2168673582561288e-11, 10.000000000000000, 40.000000000000000 },
  48   { 1.5916380099863291e-12, 10.000000000000000, 50.000000000000000 },
  49   { 2.9408957938463963e-13, 10.000000000000000, 60.000000000000000 },
  50   { 6.9411637980691676e-14, 10.000000000000000, 70.000000000000000 },
  51   { 1.9665612972502651e-14, 10.000000000000000, 80.000000000000000 },
  52   { 6.4187824828154399e-15, 10.000000000000000, 90.000000000000000 },
  53   { 2.3455339739604842e-15, 10.000000000000000, 100.00000000000000 },
  54 };
  55
  56 // Test function for x=10.000000000000000.
  57 template <typename Tp>
  58 void test001()
  59 {
  60   const Tp eps = std::numeric_limits<Tp>::epsilon();
  61   Tp max_abs_diff = -Tp(1);
  62   Tp max_abs_frac = -Tp(1);
  63   unsigned int num_datum = sizeof(data001)
  64                          / sizeof(testcase_beta<double>);
  65   for (unsigned int i = 0; i < num_datum; ++i)
  66     {
  67       const Tp f = std::tr1::beta(Tp(data001[i].x), Tp(data001[i].y));
  68       const Tp f0 = data001[i].f0;
  69       const Tp diff = f - f0;
  70       if (std::abs(diff) > max_abs_diff)
  71         max_abs_diff = std::abs(diff);
  72       if (std::abs(f0) > Tp(10) * eps
  73        && std::abs(f) > Tp(10) * eps)
  74         {
  75           const Tp frac = diff / f0;
  76           if (std::abs(frac) > max_abs_frac)
  77             max_abs_frac = std::abs(frac);
  78         }
  79     }
  80   VERIFY(max_abs_frac < Tp(5.0000000000000029e-12));
  81 }
  82
  83 // Test data for x=20.000000000000000.
  84 testcase_beta<double> data002[] = {
  85   { 4.9925087406346778e-09, 20.000000000000000, 10.000000000000000 },
  86   { 7.2544445519248436e-13, 20.000000000000000, 20.000000000000000 },
  87   { 1.7681885473062028e-15, 20.000000000000000, 30.000000000000000 },
  88   { 1.7891885039182335e-17, 20.000000000000000, 40.000000000000000 },
  89   { 4.3240677875623635e-19, 20.000000000000000, 50.000000000000000 },
  90   { 1.8857342309689050e-20, 20.000000000000000, 60.000000000000000 },
  91   { 1.2609804003539998e-21, 20.000000000000000, 70.000000000000000 },
  92   { 1.1660809542079041e-22, 20.000000000000000, 80.000000000000000 },
  93   { 1.3907944279729071e-23, 20.000000000000000, 90.000000000000000 },
  94   { 2.0365059099917614e-24, 20.000000000000000, 100.00000000000000 },
  95 };
  96
  97 // Test function for x=20.000000000000000.
  98 template <typename Tp>
  99 void test002()
 100 {
 101   const Tp eps = std::numeric_limits<Tp>::epsilon();
 102   Tp max_abs_diff = -Tp(1);
 103   Tp max_abs_frac = -Tp(1);
 104   unsigned int num_datum = sizeof(data002)
 105                          / sizeof(testcase_beta<double>);
 106   for (unsigned int i = 0; i < num_datum; ++i)
 107     {
 108       const Tp f = std::tr1::beta(Tp(data002[i].x), Tp(data002[i].y));
 109       const Tp f0 = data002[i].f0;
 110       const Tp diff = f - f0;
 111       if (std::abs(diff) > max_abs_diff)
 112         max_abs_diff = std::abs(diff);
 113       if (std::abs(f0) > Tp(10) * eps
 114        && std::abs(f) > Tp(10) * eps)
 115         {
 116           const Tp frac = diff / f0;
 117           if (std::abs(frac) > max_abs_frac)
 118             max_abs_frac = std::abs(frac);
 119         }
 120     }
 121   VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
 122 }
 123
 124 // Test data for x=30.000000000000000.
 125 testcase_beta<double> data003[] = {
 126   { 1.5729567312509485e-10, 30.000000000000000, 10.000000000000000 },
 127   { 1.7681885473062028e-15, 30.000000000000000, 20.000000000000000 },
 128   { 5.6370779640482451e-19, 30.000000000000000, 30.000000000000000 },
 129   { 1.0539424603796547e-21, 30.000000000000000, 40.000000000000000 },
 130   { 6.0118197777273836e-24, 30.000000000000000, 50.000000000000000 },
 131   { 7.4279528553260165e-26, 30.000000000000000, 60.000000000000000 },
 132   { 1.6212207780604767e-27, 30.000000000000000, 70.000000000000000 },
 133   { 5.4783729715317616e-29, 30.000000000000000, 80.000000000000000 },
 134   { 2.6183005659681346e-30, 30.000000000000000, 90.000000000000000 },
 135   { 1.6587948222122229e-31, 30.000000000000000, 100.00000000000000 },
 136 };
 137
 138 // Test function for x=30.000000000000000.
 139 template <typename Tp>
 140 void test003()
 141 {
 142   const Tp eps = std::numeric_limits<Tp>::epsilon();
 143   Tp max_abs_diff = -Tp(1);
 144   Tp max_abs_frac = -Tp(1);
 145   unsigned int num_datum = sizeof(data003)
 146                          / sizeof(testcase_beta<double>);
 147   for (unsigned int i = 0; i < num_datum; ++i)
 148     {
 149       const Tp f = std::tr1::beta(Tp(data003[i].x), Tp(data003[i].y));
 150       const Tp f0 = data003[i].f0;
 151       const Tp diff = f - f0;
 152       if (std::abs(diff) > max_abs_diff)
 153         max_abs_diff = std::abs(diff);
 154       if (std::abs(f0) > Tp(10) * eps
 155        && std::abs(f) > Tp(10) * eps)
 156         {
 157           const Tp frac = diff / f0;
 158           if (std::abs(frac) > max_abs_frac)
 159             max_abs_frac = std::abs(frac);
 160         }
 161     }
 162   VERIFY(max_abs_frac < Tp(5.0000000000000039e-13));
 163 }
 164
 165 // Test data for x=40.000000000000000.
 166 testcase_beta<double> data004[] = {
 167   { 1.2168673582561288e-11, 40.000000000000000, 10.000000000000000 },
 168   { 1.7891885039182335e-17, 40.000000000000000, 20.000000000000000 },
 169   { 1.0539424603796547e-21, 40.000000000000000, 30.000000000000000 },
 170   { 4.6508509140090659e-25, 40.000000000000000, 40.000000000000000 },
 171   { 7.5161712118557719e-28, 40.000000000000000, 50.000000000000000 },
 172   { 3.0311331979886071e-30, 40.000000000000000, 60.000000000000000 },
 173   { 2.4175035070466313e-32, 40.000000000000000, 70.000000000000000 },
 174   { 3.2734839142758369e-34, 40.000000000000000, 80.000000000000000 },
 175   { 6.7690629601315579e-36, 40.000000000000000, 90.000000000000000 },
 176   { 1.9797337118812366e-37, 40.000000000000000, 100.00000000000000 },
 177 };
 178
 179 // Test function for x=40.000000000000000.
 180 template <typename Tp>
 181 void test004()
 182 {
 183   const Tp eps = std::numeric_limits<Tp>::epsilon();
 184   Tp max_abs_diff = -Tp(1);
 185   Tp max_abs_frac = -Tp(1);
 186   unsigned int num_datum = sizeof(data004)
 187                          / sizeof(testcase_beta<double>);
 188   for (unsigned int i = 0; i < num_datum; ++i)
 189     {
 190       const Tp f = std::tr1::beta(Tp(data004[i].x), Tp(data004[i].y));
 191       const Tp f0 = data004[i].f0;
 192       const Tp diff = f - f0;
 193       if (std::abs(diff) > max_abs_diff)
 194         max_abs_diff = std::abs(diff);
 195       if (std::abs(f0) > Tp(10) * eps
 196        && std::abs(f) > Tp(10) * eps)
 197         {
 198           const Tp frac = diff / f0;
 199           if (std::abs(frac) > max_abs_frac)
 200             max_abs_frac = std::abs(frac);
 201         }
 202     }
 203   VERIFY(max_abs_frac < Tp(2.5000000000000015e-12));
 204 }
 205
 206 // Test data for x=50.000000000000000.
 207 testcase_beta<double> data005[] = {
 208   { 1.5916380099863291e-12, 50.000000000000000, 10.000000000000000 },
 209   { 4.3240677875623635e-19, 50.000000000000000, 20.000000000000000 },
 210   { 6.0118197777273836e-24, 50.000000000000000, 30.000000000000000 },
 211   { 7.5161712118557719e-28, 50.000000000000000, 40.000000000000000 },
 212   { 3.9646612085674138e-31, 50.000000000000000, 50.000000000000000 },
 213   { 5.8425643906418403e-34, 50.000000000000000, 60.000000000000000 },
 214   { 1.8672362180783552e-36, 50.000000000000000, 70.000000000000000 },
 215   { 1.0939382296458962e-38, 50.000000000000000, 80.000000000000000 },
 216   { 1.0442781609881063e-40, 50.000000000000000, 90.000000000000000 },
 217   { 1.4904121110954370e-42, 50.000000000000000, 100.00000000000000 },
 218 };
 219
 220 // Test function for x=50.000000000000000.
 221 template <typename Tp>
 222 void test005()
 223 {
 224   const Tp eps = std::numeric_limits<Tp>::epsilon();
 225   Tp max_abs_diff = -Tp(1);
 226   Tp max_abs_frac = -Tp(1);
 227   unsigned int num_datum = sizeof(data005)
 228                          / sizeof(testcase_beta<double>);
 229   for (unsigned int i = 0; i < num_datum; ++i)
 230     {
 231       const Tp f = std::tr1::beta(Tp(data005[i].x), Tp(data005[i].y));
 232       const Tp f0 = data005[i].f0;
 233       const Tp diff = f - f0;
 234       if (std::abs(diff) > max_abs_diff)
 235         max_abs_diff = std::abs(diff);
 236       if (std::abs(f0) > Tp(10) * eps
 237        && std::abs(f) > Tp(10) * eps)
 238         {
 239           const Tp frac = diff / f0;
 240           if (std::abs(frac) > max_abs_frac)
 241             max_abs_frac = std::abs(frac);
 242         }
 243     }
 244   VERIFY(max_abs_frac < Tp(2.5000000000000020e-13));
 245 }
 246
 247 // Test data for x=60.000000000000000.
 248 testcase_beta<double> data006[] = {
 249   { 2.9408957938463963e-13, 60.000000000000000, 10.000000000000000 },
 250   { 1.8857342309689050e-20, 60.000000000000000, 20.000000000000000 },
 251   { 7.4279528553260165e-26, 60.000000000000000, 30.000000000000000 },
 252   { 3.0311331979886071e-30, 60.000000000000000, 40.000000000000000 },
 253   { 5.8425643906418403e-34, 60.000000000000000, 50.000000000000000 },
 254   { 3.4501231469782229e-37, 60.000000000000000, 60.000000000000000 },
 255   { 4.7706855386086599e-40, 60.000000000000000, 70.000000000000000 },
 256   { 1.2902663809722593e-42, 60.000000000000000, 80.000000000000000 },
 257   { 6.0105571058570508e-45, 60.000000000000000, 90.000000000000000 },
 258   { 4.3922898898347209e-47, 60.000000000000000, 100.00000000000000 },
 259 };
 260
 261 // Test function for x=60.000000000000000.
 262 template <typename Tp>
 263 void test006()
 264 {
 265   const Tp eps = std::numeric_limits<Tp>::epsilon();
 266   Tp max_abs_diff = -Tp(1);
 267   Tp max_abs_frac = -Tp(1);
 268   unsigned int num_datum = sizeof(data006)
 269                          / sizeof(testcase_beta<double>);
 270   for (unsigned int i = 0; i < num_datum; ++i)
 271     {
 272       const Tp f = std::tr1::beta(Tp(data006[i].x), Tp(data006[i].y));
 273       const Tp f0 = data006[i].f0;
 274       const Tp diff = f - f0;
 275       if (std::abs(diff) > max_abs_diff)
 276         max_abs_diff = std::abs(diff);
 277       if (std::abs(f0) > Tp(10) * eps
 278        && std::abs(f) > Tp(10) * eps)
 279         {
 280           const Tp frac = diff / f0;
 281           if (std::abs(frac) > max_abs_frac)
 282             max_abs_frac = std::abs(frac);
 283         }
 284     }
 285   VERIFY(max_abs_frac < Tp(1.0000000000000008e-12));
 286 }
 287
 288 // Test data for x=70.000000000000000.
 289 testcase_beta<double> data007[] = {
 290   { 6.9411637980691676e-14, 70.000000000000000, 10.000000000000000 },
 291   { 1.2609804003539998e-21, 70.000000000000000, 20.000000000000000 },
 292   { 1.6212207780604767e-27, 70.000000000000000, 30.000000000000000 },
 293   { 2.4175035070466313e-32, 70.000000000000000, 40.000000000000000 },
 294   { 1.8672362180783552e-36, 70.000000000000000, 50.000000000000000 },
 295   { 4.7706855386086599e-40, 70.000000000000000, 60.000000000000000 },
 296   { 3.0453137143486369e-43, 70.000000000000000, 70.000000000000000 },
 297   { 4.0192274082013779e-46, 70.000000000000000, 80.000000000000000 },
 298   { 9.5865870063501807e-49, 70.000000000000000, 90.000000000000000 },
 299   { 3.7409127305819802e-51, 70.000000000000000, 100.00000000000000 },
 300 };
 301
 302 // Test function for x=70.000000000000000.
 303 template <typename Tp>
 304 void test007()
 305 {
 306   const Tp eps = std::numeric_limits<Tp>::epsilon();
 307   Tp max_abs_diff = -Tp(1);
 308   Tp max_abs_frac = -Tp(1);
 309   unsigned int num_datum = sizeof(data007)
 310                          / sizeof(testcase_beta<double>);
 311   for (unsigned int i = 0; i < num_datum; ++i)
 312     {
 313       const Tp f = std::tr1::beta(Tp(data007[i].x), Tp(data007[i].y));
 314       const Tp f0 = data007[i].f0;
 315       const Tp diff = f - f0;
 316       if (std::abs(diff) > max_abs_diff)
 317         max_abs_diff = std::abs(diff);
 318       if (std::abs(f0) > Tp(10) * eps
 319        && std::abs(f) > Tp(10) * eps)
 320         {
 321           const Tp frac = diff / f0;
 322           if (std::abs(frac) > max_abs_frac)
 323             max_abs_frac = std::abs(frac);
 324         }
 325     }
 326   VERIFY(max_abs_frac < Tp(1.0000000000000008e-12));
 327 }
 328
 329 // Test data for x=80.000000000000000.
 330 testcase_beta<double> data008[] = {
 331   { 1.9665612972502651e-14, 80.000000000000000, 10.000000000000000 },
 332   { 1.1660809542079041e-22, 80.000000000000000, 20.000000000000000 },
 333   { 5.4783729715317616e-29, 80.000000000000000, 30.000000000000000 },
 334   { 3.2734839142758369e-34, 80.000000000000000, 40.000000000000000 },
 335   { 1.0939382296458962e-38, 80.000000000000000, 50.000000000000000 },
 336   { 1.2902663809722593e-42, 80.000000000000000, 60.000000000000000 },
 337   { 4.0192274082013779e-46, 80.000000000000000, 70.000000000000000 },
 338   { 2.7160590828669411e-49, 80.000000000000000, 80.000000000000000 },
 339   { 3.4593773902125368e-52, 80.000000000000000, 90.000000000000000 },
 340   { 7.4807039968503468e-55, 80.000000000000000, 100.00000000000000 },
 341 };
 342
 343 // Test function for x=80.000000000000000.
 344 template <typename Tp>
 345 void test008()
 346 {
 347   const Tp eps = std::numeric_limits<Tp>::epsilon();
 348   Tp max_abs_diff = -Tp(1);
 349   Tp max_abs_frac = -Tp(1);
 350   unsigned int num_datum = sizeof(data008)
 351                          / sizeof(testcase_beta<double>);
 352   for (unsigned int i = 0; i < num_datum; ++i)
 353     {
 354       const Tp f = std::tr1::beta(Tp(data008[i].x), Tp(data008[i].y));
 355       const Tp f0 = data008[i].f0;
 356       const Tp diff = f - f0;
 357       if (std::abs(diff) > max_abs_diff)
 358         max_abs_diff = std::abs(diff);
 359       if (std::abs(f0) > Tp(10) * eps
 360        && std::abs(f) > Tp(10) * eps)
 361         {
 362           const Tp frac = diff / f0;
 363           if (std::abs(frac) > max_abs_frac)
 364             max_abs_frac = std::abs(frac);
 365         }
 366     }
 367   VERIFY(max_abs_frac < Tp(5.0000000000000029e-12));
 368 }
 369
 370 // Test data for x=90.000000000000000.
 371 testcase_beta<double> data009[] = {
 372   { 6.4187824828154399e-15, 90.000000000000000, 10.000000000000000 },
 373   { 1.3907944279729071e-23, 90.000000000000000, 20.000000000000000 },
 374   { 2.6183005659681346e-30, 90.000000000000000, 30.000000000000000 },
 375   { 6.7690629601315579e-36, 90.000000000000000, 40.000000000000000 },
 376   { 1.0442781609881063e-40, 90.000000000000000, 50.000000000000000 },
 377   { 6.0105571058570508e-45, 90.000000000000000, 60.000000000000000 },
 378   { 9.5865870063501807e-49, 90.000000000000000, 70.000000000000000 },
 379   { 3.4593773902125368e-52, 90.000000000000000, 80.000000000000000 },
 380   { 2.4416737907558032e-55, 90.000000000000000, 90.000000000000000 },
 381   { 3.0238531916564246e-58, 90.000000000000000, 100.00000000000000 },
 382 };
 383
 384 // Test function for x=90.000000000000000.
 385 template <typename Tp>
 386 void test009()
 387 {
 388   const Tp eps = std::numeric_limits<Tp>::epsilon();
 389   Tp max_abs_diff = -Tp(1);
 390   Tp max_abs_frac = -Tp(1);
 391   unsigned int num_datum = sizeof(data009)
 392                          / sizeof(testcase_beta<double>);
 393   for (unsigned int i = 0; i < num_datum; ++i)
 394     {
 395       const Tp f = std::tr1::beta(Tp(data009[i].x), Tp(data009[i].y));
 396       const Tp f0 = data009[i].f0;
 397       const Tp diff = f - f0;
 398       if (std::abs(diff) > max_abs_diff)
 399         max_abs_diff = std::abs(diff);
 400       if (std::abs(f0) > Tp(10) * eps
 401        && std::abs(f) > Tp(10) * eps)
 402         {
 403           const Tp frac = diff / f0;
 404           if (std::abs(frac) > max_abs_frac)
 405             max_abs_frac = std::abs(frac);
 406         }
 407     }
 408   VERIFY(max_abs_frac < Tp(1.0000000000000008e-12));
 409 }
 410
 411 // Test data for x=100.00000000000000.
 412 testcase_beta<double> data010[] = {
 413   { 2.3455339739604842e-15, 100.00000000000000, 10.000000000000000 },
 414   { 2.0365059099917614e-24, 100.00000000000000, 20.000000000000000 },
 415   { 1.6587948222122229e-31, 100.00000000000000, 30.000000000000000 },
 416   { 1.9797337118812366e-37, 100.00000000000000, 40.000000000000000 },
 417   { 1.4904121110954370e-42, 100.00000000000000, 50.000000000000000 },
 418   { 4.3922898898347209e-47, 100.00000000000000, 60.000000000000000 },
 419   { 3.7409127305819802e-51, 100.00000000000000, 70.000000000000000 },
 420   { 7.4807039968503468e-55, 100.00000000000000, 80.000000000000000 },
 421   { 3.0238531916564246e-58, 100.00000000000000, 90.000000000000000 },
 422   { 2.2087606931991853e-61, 100.00000000000000, 100.00000000000000 },
 423 };
 424
 425 // Test function for x=100.00000000000000.
 426 template <typename Tp>
 427 void test010()
 428 {
 429   const Tp eps = std::numeric_limits<Tp>::epsilon();
 430   Tp max_abs_diff = -Tp(1);
 431   Tp max_abs_frac = -Tp(1);
 432   unsigned int num_datum = sizeof(data010)
 433                          / sizeof(testcase_beta<double>);
 434   for (unsigned int i = 0; i < num_datum; ++i)
 435     {
 436       const Tp f = std::tr1::beta(Tp(data010[i].x), Tp(data010[i].y));
 437       const Tp f0 = data010[i].f0;
 438       const Tp diff = f - f0;
 439       if (std::abs(diff) > max_abs_diff)
 440         max_abs_diff = std::abs(diff);
 441       if (std::abs(f0) > Tp(10) * eps
 442        && std::abs(f) > Tp(10) * eps)
 443         {
 444           const Tp frac = diff / f0;
 445           if (std::abs(frac) > max_abs_frac)
 446             max_abs_frac = std::abs(frac);
 447         }
 448     }
 449   VERIFY(max_abs_frac < Tp(5.0000000000000029e-12));
 450 }
 451
 452 int main(int, char**)
 453 {
 454   test001<double>();
 455   test002<double>();
 456   test003<double>();
 457   test004<double>();
 458   test005<double>();
 459   test006<double>();
 460   test007<double>();
 461   test008<double>();
 462   test009<double>();
 463   test010<double>();
 464   return 0;
 465 }