libstdc++-v3/testsuite/special_functions/04_comp_ellint_1/check_value.cc

   1 // { dg-do run { target c++11 } }
   2 // { dg-options "-D__STDCPP_WANT_MATH_SPEC_FUNCS__" }
   3 //
   4 // Copyright (C) 2016-2020 Free Software Foundation, Inc.
   5 //
   6 // This file is part of the GNU ISO C++ Library.  This library is free
   7 // software; you can redistribute it and/or modify it under the
   8 // terms of the GNU General Public License as published by the
   9 // Free Software Foundation; either version 3, or (at your option)
  10 // any later version.
  11 //
  12 // This library is distributed in the hope that it will be useful,
  13 // but WITHOUT ANY WARRANTY; without even the implied warranty of
  14 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
  15 // GNU General Public License for more details.
  16 //
  17 // You should have received a copy of the GNU General Public License along
  18 // with this library; see the file COPYING3.  If not see
  19 // <http://www.gnu.org/licenses/>.
  20
  21 //  comp_ellint_1
  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 #include <limits>
  26 #include <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 <specfun_testcase.h>
  40
  41 // Test data.
  42 // max(|f - f_Boost|): 4.4408920985006262e-16 at index 18
  43 // max(|f - f_Boost| / |f_Boost|): 1.9472906870017937e-16
  44 // mean(f - f_Boost): -1.1686558153949016e-17
  45 // variance(f - f_Boost): 1.2181788466954587e-32
  46 // stddev(f - f_Boost): 1.1037113964689586e-16
  47 const testcase_comp_ellint_1<double>
  48 data001[19] =
  49 {
  50   { 2.2805491384227703, -0.90000000000000002, 0.0 },
  51   { 1.9953027776647294, -0.80000000000000004, 0.0 },
  52   { 1.8456939983747234, -0.69999999999999996, 0.0 },
  53   { 1.7507538029157526, -0.59999999999999998, 0.0 },
  54   { 1.6857503548125961, -0.50000000000000000, 0.0 },
  55   { 1.6399998658645112, -0.39999999999999991, 0.0 },
  56   { 1.6080486199305128, -0.29999999999999993, 0.0 },
  57   { 1.5868678474541662, -0.19999999999999996, 0.0 },
  58   { 1.5747455615173560, -0.099999999999999978, 0.0 },
  59   { 1.5707963267948966, 0.0000000000000000, 0.0 },
  60   { 1.5747455615173560, 0.10000000000000009, 0.0 },
  61   { 1.5868678474541662, 0.20000000000000018, 0.0 },
  62   { 1.6080486199305128, 0.30000000000000004, 0.0 },
  63   { 1.6399998658645112, 0.40000000000000013, 0.0 },
  64   { 1.6857503548125961, 0.50000000000000000, 0.0 },
  65   { 1.7507538029157526, 0.60000000000000009, 0.0 },
  66   { 1.8456939983747238, 0.70000000000000018, 0.0 },
  67   { 1.9953027776647294, 0.80000000000000004, 0.0 },
  68   { 2.2805491384227707, 0.90000000000000013, 0.0 },
  69 };
  70 const double toler001 = 2.5000000000000020e-13;
  71
  72 template<typename Ret, unsigned int Num>
  73   void
  74   test(const testcase_comp_ellint_1<Ret> (&data)[Num], Ret toler)
  75   {
  76     bool test __attribute__((unused)) = true;
  77     const Ret eps = std::numeric_limits<Ret>::epsilon();
  78     Ret max_abs_diff = -Ret(1);
  79     Ret max_abs_frac = -Ret(1);
  80     unsigned int num_datum = Num;
  81     for (unsigned int i = 0; i < num_datum; ++i)
  82       {
  83         const Ret f = std::comp_ellint_1(data[i].k);
  84         const Ret f0 = data[i].f0;
  85         const Ret diff = f - f0;
  86         if (std::abs(diff) > max_abs_diff)
  87           max_abs_diff = std::abs(diff);
  88         if (std::abs(f0) > Ret(10) * eps
  89          && std::abs(f) > Ret(10) * eps)
  90           {
  91             const Ret frac = diff / f0;
  92             if (std::abs(frac) > max_abs_frac)
  93               max_abs_frac = std::abs(frac);
  94           }
  95       }
  96     VERIFY(max_abs_frac < toler);
  97   }
  98
  99 int
 100 main()
 101 {
 102   test(data001, toler001);
 103   return 0;
 104 }