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

   1 // { dg-options "-D__STDCPP_WANT_MATH_SPEC_FUNCS__" }
   2 //
   3 // Copyright (C) 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 //  Compare against values generated by the GNU Scientific Library.
  22 //  The GSL can be found on the web: http://www.gnu.org/software/gsl/
  23 #include <limits>
  24 #include <cmath>
  25 #if defined(__TEST_DEBUG)
  26 #  include <iostream>
  27 #  define VERIFY(A) \
  28   if (!(A)) \
  29     { \
  30       std::cout << "line " << __LINE__ \
  31         << "  max_abs_frac = " << max_abs_frac \
  32         << std::endl; \
  33     }
  34 #else
  35 #  include <testsuite_hooks.h>
  36 #endif
  37 #include <specfun_testcase.h>
  38
  39
  40 // Test data for x=10.000000000000000.
  41 // max(|f - f_GSL|): 2.1175823681357508e-21
  42 // max(|f - f_GSL| / |f_GSL|): 9.9466182377295583e-14
  43 const testcase_beta<double>
  44 data001[10] =
  45 {
  46   { 1.0825088224469029e-06, 10.000000000000000, 10.000000000000000 },
  47   { 4.9925087406346778e-09, 10.000000000000000, 20.000000000000000 },
  48   { 1.5729567312509485e-10, 10.000000000000000, 30.000000000000000 },
  49   { 1.2168673582561288e-11, 10.000000000000000, 40.000000000000000 },
  50   { 1.5916380099863291e-12, 10.000000000000000, 50.000000000000000 },
  51   { 2.9408957938463963e-13, 10.000000000000000, 60.000000000000000 },
  52   { 6.9411637980691676e-14, 10.000000000000000, 70.000000000000000 },
  53   { 1.9665612972502651e-14, 10.000000000000000, 80.000000000000000 },
  54   { 6.4187824828154399e-15, 10.000000000000000, 90.000000000000000 },
  55   { 2.3455339739604842e-15, 10.000000000000000, 100.00000000000000 },
  56 };
  57 const double toler001 = 5.0000000000000029e-12;
  58
  59 // Test data for x=20.000000000000000.
  60 // max(|f - f_GSL|): 1.9025154088719637e-23
  61 // max(|f - f_GSL| / |f_GSL|): 3.8107402664859521e-15
  62 const testcase_beta<double>
  63 data002[10] =
  64 {
  65   { 4.9925087406346778e-09, 20.000000000000000, 10.000000000000000 },
  66   { 7.2544445519248436e-13, 20.000000000000000, 20.000000000000000 },
  67   { 1.7681885473062028e-15, 20.000000000000000, 30.000000000000000 },
  68   { 1.7891885039182335e-17, 20.000000000000000, 40.000000000000000 },
  69   { 4.3240677875623635e-19, 20.000000000000000, 50.000000000000000 },
  70   { 1.8857342309689050e-20, 20.000000000000000, 60.000000000000000 },
  71   { 1.2609804003539998e-21, 20.000000000000000, 70.000000000000000 },
  72   { 1.1660809542079041e-22, 20.000000000000000, 80.000000000000000 },
  73   { 1.3907944279729071e-23, 20.000000000000000, 90.000000000000000 },
  74   { 2.0365059099917614e-24, 20.000000000000000, 100.00000000000000 },
  75 };
  76 const double toler002 = 2.5000000000000020e-13;
  77
  78 // Test data for x=30.000000000000000.
  79 // max(|f - f_GSL|): 9.0472879497987402e-25
  80 // max(|f - f_GSL| / |f_GSL|): 5.7517716603708290e-15
  81 const testcase_beta<double>
  82 data003[10] =
  83 {
  84   { 1.5729567312509485e-10, 30.000000000000000, 10.000000000000000 },
  85   { 1.7681885473062028e-15, 30.000000000000000, 20.000000000000000 },
  86   { 5.6370779640482451e-19, 30.000000000000000, 30.000000000000000 },
  87   { 1.0539424603796547e-21, 30.000000000000000, 40.000000000000000 },
  88   { 6.0118197777273836e-24, 30.000000000000000, 50.000000000000000 },
  89   { 7.4279528553260165e-26, 30.000000000000000, 60.000000000000000 },
  90   { 1.6212207780604767e-27, 30.000000000000000, 70.000000000000000 },
  91   { 5.4783729715317616e-29, 30.000000000000000, 80.000000000000000 },
  92   { 2.6183005659681346e-30, 30.000000000000000, 90.000000000000000 },
  93   { 1.6587948222122229e-31, 30.000000000000000, 100.00000000000000 },
  94 };
  95 const double toler003 = 5.0000000000000039e-13;
  96
  97 // Test data for x=40.000000000000000.
  98 // max(|f - f_GSL|): 2.6495628995839168e-25
  99 // max(|f - f_GSL| / |f_GSL|): 2.1773637706750213e-14
 100 const testcase_beta<double>
 101 data004[10] =
 102 {
 103   { 1.2168673582561288e-11, 40.000000000000000, 10.000000000000000 },
 104   { 1.7891885039182335e-17, 40.000000000000000, 20.000000000000000 },
 105   { 1.0539424603796547e-21, 40.000000000000000, 30.000000000000000 },
 106   { 4.6508509140090659e-25, 40.000000000000000, 40.000000000000000 },
 107   { 7.5161712118557719e-28, 40.000000000000000, 50.000000000000000 },
 108   { 3.0311331979886071e-30, 40.000000000000000, 60.000000000000000 },
 109   { 2.4175035070466313e-32, 40.000000000000000, 70.000000000000000 },
 110   { 3.2734839142758369e-34, 40.000000000000000, 80.000000000000000 },
 111   { 6.7690629601315579e-36, 40.000000000000000, 90.000000000000000 },
 112   { 1.9797337118812366e-37, 40.000000000000000, 100.00000000000000 },
 113 };
 114 const double toler004 = 2.5000000000000015e-12;
 115
 116 // Test data for x=50.000000000000000.
 117 // max(|f - f_GSL|): 2.4603755039546938e-32
 118 // max(|f - f_GSL| / |f_GSL|): 0.0000000000000000
 119 const testcase_beta<double>
 120 data005[10] =
 121 {
 122   { 1.5916380099863291e-12, 50.000000000000000, 10.000000000000000 },
 123   { 4.3240677875623635e-19, 50.000000000000000, 20.000000000000000 },
 124   { 6.0118197777273836e-24, 50.000000000000000, 30.000000000000000 },
 125   { 7.5161712118557719e-28, 50.000000000000000, 40.000000000000000 },
 126   { 3.9646612085674138e-31, 50.000000000000000, 50.000000000000000 },
 127   { 5.8425643906418403e-34, 50.000000000000000, 60.000000000000000 },
 128   { 1.8672362180783552e-36, 50.000000000000000, 70.000000000000000 },
 129   { 1.0939382296458962e-38, 50.000000000000000, 80.000000000000000 },
 130   { 1.0442781609881063e-40, 50.000000000000000, 90.000000000000000 },
 131   { 1.4904121110954370e-42, 50.000000000000000, 100.00000000000000 },
 132 };
 133 const double toler005 = 2.5000000000000020e-13;
 134
 135 // Test data for x=60.000000000000000.
 136 // max(|f - f_GSL|): 2.1911400503418824e-26
 137 // max(|f - f_GSL| / |f_GSL|): 7.4505871813842522e-14
 138 const testcase_beta<double>
 139 data006[10] =
 140 {
 141   { 2.9408957938463963e-13, 60.000000000000000, 10.000000000000000 },
 142   { 1.8857342309689050e-20, 60.000000000000000, 20.000000000000000 },
 143   { 7.4279528553260165e-26, 60.000000000000000, 30.000000000000000 },
 144   { 3.0311331979886071e-30, 60.000000000000000, 40.000000000000000 },
 145   { 5.8425643906418403e-34, 60.000000000000000, 50.000000000000000 },
 146   { 3.4501231469782229e-37, 60.000000000000000, 60.000000000000000 },
 147   { 4.7706855386086599e-40, 60.000000000000000, 70.000000000000000 },
 148   { 1.2902663809722593e-42, 60.000000000000000, 80.000000000000000 },
 149   { 6.0105571058570508e-45, 60.000000000000000, 90.000000000000000 },
 150   { 4.3922898898347209e-47, 60.000000000000000, 100.00000000000000 },
 151 };
 152 const double toler006 = 5.0000000000000029e-12;
 153
 154 // Test data for x=70.000000000000000.
 155 // max(|f - f_GSL|): 6.9041106424942953e-27
 156 // max(|f - f_GSL| / |f_GSL|): 9.9466182377295583e-14
 157 const testcase_beta<double>
 158 data007[10] =
 159 {
 160   { 6.9411637980691676e-14, 70.000000000000000, 10.000000000000000 },
 161   { 1.2609804003539998e-21, 70.000000000000000, 20.000000000000000 },
 162   { 1.6212207780604767e-27, 70.000000000000000, 30.000000000000000 },
 163   { 2.4175035070466313e-32, 70.000000000000000, 40.000000000000000 },
 164   { 1.8672362180783552e-36, 70.000000000000000, 50.000000000000000 },
 165   { 4.7706855386086599e-40, 70.000000000000000, 60.000000000000000 },
 166   { 3.0453137143486369e-43, 70.000000000000000, 70.000000000000000 },
 167   { 4.0192274082013779e-46, 70.000000000000000, 80.000000000000000 },
 168   { 9.5865870063501807e-49, 70.000000000000000, 90.000000000000000 },
 169   { 3.7409127305819802e-51, 70.000000000000000, 100.00000000000000 },
 170 };
 171 const double toler007 = 5.0000000000000029e-12;
 172
 173 // Test data for x=80.000000000000000.
 174 // max(|f - f_GSL|): 1.6786960063103131e-27
 175 // max(|f - f_GSL| / |f_GSL|): 8.5361997546557118e-14
 176 const testcase_beta<double>
 177 data008[10] =
 178 {
 179   { 1.9665612972502651e-14, 80.000000000000000, 10.000000000000000 },
 180   { 1.1660809542079041e-22, 80.000000000000000, 20.000000000000000 },
 181   { 5.4783729715317616e-29, 80.000000000000000, 30.000000000000000 },
 182   { 3.2734839142758369e-34, 80.000000000000000, 40.000000000000000 },
 183   { 1.0939382296458962e-38, 80.000000000000000, 50.000000000000000 },
 184   { 1.2902663809722593e-42, 80.000000000000000, 60.000000000000000 },
 185   { 4.0192274082013779e-46, 80.000000000000000, 70.000000000000000 },
 186   { 2.7160590828669411e-49, 80.000000000000000, 80.000000000000000 },
 187   { 3.4593773902125368e-52, 80.000000000000000, 90.000000000000000 },
 188   { 7.4807039968503468e-55, 80.000000000000000, 100.00000000000000 },
 189 };
 190 const double toler008 = 5.0000000000000029e-12;
 191
 192 // Test data for x=90.000000000000000.
 193 // max(|f - f_GSL|): 2.7373473411169110e-28
 194 // max(|f - f_GSL| / |f_GSL|): 4.2645896608047095e-14
 195 const testcase_beta<double>
 196 data009[10] =
 197 {
 198   { 6.4187824828154399e-15, 90.000000000000000, 10.000000000000000 },
 199   { 1.3907944279729071e-23, 90.000000000000000, 20.000000000000000 },
 200   { 2.6183005659681346e-30, 90.000000000000000, 30.000000000000000 },
 201   { 6.7690629601315579e-36, 90.000000000000000, 40.000000000000000 },
 202   { 1.0442781609881063e-40, 90.000000000000000, 50.000000000000000 },
 203   { 6.0105571058570508e-45, 90.000000000000000, 60.000000000000000 },
 204   { 9.5865870063501807e-49, 90.000000000000000, 70.000000000000000 },
 205   { 3.4593773902125368e-52, 90.000000000000000, 80.000000000000000 },
 206   { 2.4416737907558032e-55, 90.000000000000000, 90.000000000000000 },
 207   { 3.0238531916564246e-58, 90.000000000000000, 100.00000000000000 },
 208 };
 209 const double toler009 = 2.5000000000000015e-12;
 210
 211 // Test data for x=100.00000000000000.
 212 // max(|f - f_GSL|): 1.6960509462251754e-29
 213 // max(|f - f_GSL| / |f_GSL|): 7.2309800883478868e-15
 214 const testcase_beta<double>
 215 data010[10] =
 216 {
 217   { 2.3455339739604842e-15, 100.00000000000000, 10.000000000000000 },
 218   { 2.0365059099917614e-24, 100.00000000000000, 20.000000000000000 },
 219   { 1.6587948222122229e-31, 100.00000000000000, 30.000000000000000 },
 220   { 1.9797337118812366e-37, 100.00000000000000, 40.000000000000000 },
 221   { 1.4904121110954370e-42, 100.00000000000000, 50.000000000000000 },
 222   { 4.3922898898347209e-47, 100.00000000000000, 60.000000000000000 },
 223   { 3.7409127305819802e-51, 100.00000000000000, 70.000000000000000 },
 224   { 7.4807039968503468e-55, 100.00000000000000, 80.000000000000000 },
 225   { 3.0238531916564246e-58, 100.00000000000000, 90.000000000000000 },
 226   { 2.2087606931991853e-61, 100.00000000000000, 100.00000000000000 },
 227 };
 228 const double toler010 = 5.0000000000000039e-13;
 229
 230 template<typename Tp, unsigned int Num>
 231   void
 232   test(const testcase_beta<Tp> (&data)[Num], Tp toler)
 233   {
 234     bool test __attribute__((unused)) = true;
 235     const Tp eps = std::numeric_limits<Tp>::epsilon();
 236     Tp max_abs_diff = -Tp(1);
 237     Tp max_abs_frac = -Tp(1);
 238     unsigned int num_datum = Num;
 239     for (unsigned int i = 0; i < num_datum; ++i)
 240       {
 241         const Tp f = std::beta(data[i].x, data[i].y);
 242         const Tp f0 = data[i].f0;
 243         const Tp diff = f - f0;
 244         if (std::abs(diff) > max_abs_diff)
 245           max_abs_diff = std::abs(diff);
 246         if (std::abs(f0) > Tp(10) * eps
 247          && std::abs(f) > Tp(10) * eps)
 248           {
 249             const Tp frac = diff / f0;
 250             if (std::abs(frac) > max_abs_frac)
 251               max_abs_frac = std::abs(frac);
 252           }
 253       }
 254     VERIFY(max_abs_frac < toler);
 255   }
 256
 257 int
 258 main()
 259 {
 260   test(data001, toler001);
 261   test(data002, toler002);
 262   test(data003, toler003);
 263   test(data004, toler004);
 264   test(data005, toler005);
 265   test(data006, toler006);
 266   test(data007, toler007);
 267   test(data008, toler008);
 268   test(data009, toler009);
 269   test(data010, toler010);
 270   return 0;
 271 }