Blame sum/levin_u.c

Packit 67cb25
/* sum/levin_u.c
Packit 67cb25
 * 
Packit 67cb25
 * Copyright (C) 1996, 1997, 1998, 1999, 2000, 2007, 2009 Gerard Jungman, Brian Gough
Packit 67cb25
 * 
Packit 67cb25
 * This program is free software; you can redistribute it and/or modify
Packit 67cb25
 * it under the terms of the GNU General Public License as published by
Packit 67cb25
 * the Free Software Foundation; either version 3 of the License, or (at
Packit 67cb25
 * your option) any later version.
Packit 67cb25
 * 
Packit 67cb25
 * This program is distributed in the hope that it will be useful, but
Packit 67cb25
 * WITHOUT ANY WARRANTY; without even the implied warranty of
Packit 67cb25
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
Packit 67cb25
 * General Public License for more details.
Packit 67cb25
 * 
Packit 67cb25
 * You should have received a copy of the GNU General Public License
Packit 67cb25
 * along with this program; if not, write to the Free Software
Packit 67cb25
 * Foundation, Inc., 51 Franklin Street, Fifth Floor, Boston, MA 02110-1301, USA.
Packit 67cb25
 */
Packit 67cb25
Packit 67cb25
#include <config.h>
Packit 67cb25
#include <gsl/gsl_math.h>
Packit 67cb25
#include <gsl/gsl_test.h>
Packit 67cb25
#include <gsl/gsl_errno.h>
Packit 67cb25
#include <gsl/gsl_sum.h>
Packit 67cb25
Packit 67cb25
int
Packit 67cb25
gsl_sum_levin_u_accel (const double *array, const size_t array_size,
Packit 67cb25
                       gsl_sum_levin_u_workspace * w, 
Packit 67cb25
                       double *sum_accel, double *abserr)
Packit 67cb25
{
Packit 67cb25
  return gsl_sum_levin_u_minmax (array, array_size,
Packit 67cb25
                                 0, array_size - 1, w, sum_accel, abserr);
Packit 67cb25
}
Packit 67cb25
Packit 67cb25
int
Packit 67cb25
gsl_sum_levin_u_minmax (const double *array, const size_t array_size,
Packit 67cb25
                        const size_t min_terms, const size_t max_terms,
Packit 67cb25
                        gsl_sum_levin_u_workspace * w,
Packit 67cb25
                        double *sum_accel, double *abserr)
Packit 67cb25
{
Packit 67cb25
  /* Ignore any trailing zeros in the array */
Packit 67cb25
  size_t size = array_size;
Packit 67cb25
Packit 67cb25
  while (size > 0 && array[size - 1] == 0) {
Packit 67cb25
    size--;
Packit 67cb25
  }
Packit 67cb25
Packit 67cb25
  if (size == 0)
Packit 67cb25
    {
Packit 67cb25
      *sum_accel = 0.0;
Packit 67cb25
      *abserr = 0.0;
Packit 67cb25
      w->sum_plain = 0.0;
Packit 67cb25
      w->terms_used = 0;
Packit 67cb25
      return GSL_SUCCESS;
Packit 67cb25
    }
Packit 67cb25
  else if (size == 1)
Packit 67cb25
    {
Packit 67cb25
      *sum_accel = array[0];
Packit 67cb25
      *abserr = 0.0;
Packit 67cb25
      w->sum_plain = array[0];
Packit 67cb25
      w->terms_used = 1;
Packit 67cb25
      return GSL_SUCCESS;
Packit 67cb25
    }
Packit 67cb25
  else
Packit 67cb25
    {
Packit 67cb25
      const double SMALL = 0.01;
Packit 67cb25
      const size_t nmax = GSL_MAX (max_terms, array_size) - 1;
Packit 67cb25
      double noise_n = 0.0, noise_nm1 = 0.0;
Packit 67cb25
      double trunc_n = 0.0, trunc_nm1 = 0.0;
Packit 67cb25
      double actual_trunc_n = 0.0, actual_trunc_nm1 = 0.0;
Packit 67cb25
      double result_n = 0.0, result_nm1 = 0.0;
Packit 67cb25
      double variance = 0;
Packit 67cb25
      size_t n;
Packit 67cb25
      unsigned int i;
Packit 67cb25
      int better = 0;
Packit 67cb25
      int before = 0;
Packit 67cb25
      int converging = 0;
Packit 67cb25
      double least_trunc = GSL_DBL_MAX;
Packit 67cb25
      double least_trunc_noise = GSL_DBL_MAX;
Packit 67cb25
      double least_trunc_result;
Packit 67cb25
Packit 67cb25
      /* Calculate specified minimum number of terms.  No convergence
Packit 67cb25
         tests are made, and no truncation information is stored.  */
Packit 67cb25
Packit 67cb25
      for (n = 0; n < min_terms; n++)
Packit 67cb25
        {
Packit 67cb25
          const double t = array[n];
Packit 67cb25
          result_nm1 = result_n;
Packit 67cb25
          gsl_sum_levin_u_step (t, n, nmax, w, &result_n);
Packit 67cb25
        }
Packit 67cb25
Packit 67cb25
      least_trunc_result = result_n;
Packit 67cb25
Packit 67cb25
      variance = 0;
Packit 67cb25
      for (i = 0; i < n; i++)
Packit 67cb25
        {
Packit 67cb25
          double dn = w->dsum[i] * GSL_MACH_EPS * array[i];
Packit 67cb25
          variance += dn * dn;
Packit 67cb25
        }
Packit 67cb25
      noise_n = sqrt (variance);
Packit 67cb25
Packit 67cb25
      /* Calculate up to maximum number of terms.  Check truncation
Packit 67cb25
         condition.  */
Packit 67cb25
Packit 67cb25
      for (; n <= nmax; n++)
Packit 67cb25
        {
Packit 67cb25
          const double t = array[n];
Packit 67cb25
Packit 67cb25
          result_nm1 = result_n;
Packit 67cb25
          gsl_sum_levin_u_step (t, n, nmax, w, &result_n);
Packit 67cb25
Packit 67cb25
          /* Compute the truncation error directly */
Packit 67cb25
Packit 67cb25
          actual_trunc_nm1 = actual_trunc_n;
Packit 67cb25
          actual_trunc_n = fabs (result_n - result_nm1);
Packit 67cb25
Packit 67cb25
          /* Average results to make a more reliable estimate of the
Packit 67cb25
             real truncation error */
Packit 67cb25
Packit 67cb25
          trunc_nm1 = trunc_n;
Packit 67cb25
          trunc_n = 0.5 * (actual_trunc_n + actual_trunc_nm1);
Packit 67cb25
Packit 67cb25
          noise_nm1 = noise_n;
Packit 67cb25
          variance = 0;
Packit 67cb25
Packit 67cb25
          for (i = 0; i <= n; i++)
Packit 67cb25
            {
Packit 67cb25
              double dn = w->dsum[i] * GSL_MACH_EPS * array[i];
Packit 67cb25
              variance += dn * dn;
Packit 67cb25
            }
Packit 67cb25
Packit 67cb25
          noise_n = sqrt (variance);
Packit 67cb25
Packit 67cb25
          /* Determine if we are in the convergence region.  */
Packit 67cb25
Packit 67cb25
          better = (trunc_n < trunc_nm1 || trunc_n < SMALL * fabs (result_n));
Packit 67cb25
          converging = converging || (better && before);
Packit 67cb25
          before = better;
Packit 67cb25
Packit 67cb25
          if (converging)
Packit 67cb25
            {
Packit 67cb25
              if (trunc_n < least_trunc)
Packit 67cb25
                {
Packit 67cb25
                  /* Found a low truncation point in the convergence
Packit 67cb25
                     region. Save it. */
Packit 67cb25
Packit 67cb25
                  least_trunc_result = result_n;
Packit 67cb25
                  least_trunc = trunc_n;
Packit 67cb25
                  least_trunc_noise = noise_n;
Packit 67cb25
                }
Packit 67cb25
Packit 67cb25
              if (noise_n > trunc_n / 3.0)
Packit 67cb25
                break;
Packit 67cb25
Packit 67cb25
              if (trunc_n < 10.0 * GSL_MACH_EPS * fabs (result_n))
Packit 67cb25
                break;
Packit 67cb25
            }
Packit 67cb25
Packit 67cb25
        }
Packit 67cb25
Packit 67cb25
      if (converging)
Packit 67cb25
        {
Packit 67cb25
          /* Stopped in the convergence region.  Return result and
Packit 67cb25
             error estimate.  */
Packit 67cb25
Packit 67cb25
          *sum_accel = least_trunc_result;
Packit 67cb25
          *abserr = GSL_MAX_DBL (least_trunc, least_trunc_noise);
Packit 67cb25
          w->terms_used = n;
Packit 67cb25
          return GSL_SUCCESS;
Packit 67cb25
        }
Packit 67cb25
      else
Packit 67cb25
        {
Packit 67cb25
          /* Never reached the convergence region.  Use the last
Packit 67cb25
             calculated values.  */
Packit 67cb25
Packit 67cb25
          *sum_accel = result_n;
Packit 67cb25
          *abserr = GSL_MAX_DBL (trunc_n, noise_n);
Packit 67cb25
          w->terms_used = n;
Packit 67cb25
          return GSL_SUCCESS;
Packit 67cb25
        }
Packit 67cb25
    }
Packit 67cb25
}
Packit 67cb25
Packit 67cb25
Packit 67cb25
int
Packit 67cb25
gsl_sum_levin_u_step (const double term, const size_t n, const size_t nmax,
Packit 67cb25
                      gsl_sum_levin_u_workspace * w, double *sum_accel)
Packit 67cb25
{
Packit 67cb25
Packit 67cb25
#define I(i,j) ((i)*(nmax+1) + (j))
Packit 67cb25
Packit 67cb25
  if (n == 0)
Packit 67cb25
    {
Packit 67cb25
      *sum_accel = term;
Packit 67cb25
      w->sum_plain = term;
Packit 67cb25
Packit 67cb25
      w->q_den[0] = 1.0 / term;
Packit 67cb25
      w->q_num[0] = 1.0;
Packit 67cb25
Packit 67cb25
      w->dq_den[I (0, 0)] = -1.0 / (term * term);
Packit 67cb25
      w->dq_num[I (0, 0)] = 0.0;
Packit 67cb25
Packit 67cb25
      w->dsum[0] = 1.0;
Packit 67cb25
Packit 67cb25
      return GSL_SUCCESS;
Packit 67cb25
    }
Packit 67cb25
  else
Packit 67cb25
    {
Packit 67cb25
      double result;
Packit 67cb25
      double factor = 1.0;
Packit 67cb25
      double ratio = (double) n / (n + 1.0);
Packit 67cb25
      unsigned int i;
Packit 67cb25
      int j;
Packit 67cb25
Packit 67cb25
      w->sum_plain += term;
Packit 67cb25
Packit 67cb25
      w->q_den[n] = 1.0 / (term * (n + 1.0) * (n + 1.0));
Packit 67cb25
      w->q_num[n] = w->sum_plain * w->q_den[n];
Packit 67cb25
Packit 67cb25
      for (i = 0; i < n; i++)
Packit 67cb25
        {
Packit 67cb25
          w->dq_den[I (i, n)] = 0;
Packit 67cb25
          w->dq_num[I (i, n)] = w->q_den[n];
Packit 67cb25
        }
Packit 67cb25
Packit 67cb25
      w->dq_den[I (n, n)] = -w->q_den[n] / term;
Packit 67cb25
      w->dq_num[I (n, n)] =
Packit 67cb25
        w->q_den[n] + w->sum_plain * (w->dq_den[I (n, n)]);
Packit 67cb25
Packit 67cb25
      for (j = n - 1; j >= 0; j--)
Packit 67cb25
        {
Packit 67cb25
          double c = factor * (j + 1) / (n + 1);
Packit 67cb25
          factor *= ratio;
Packit 67cb25
          w->q_den[j] = w->q_den[j + 1] - c * w->q_den[j];
Packit 67cb25
          w->q_num[j] = w->q_num[j + 1] - c * w->q_num[j];
Packit 67cb25
Packit 67cb25
          for (i = 0; i < n; i++)
Packit 67cb25
            {
Packit 67cb25
              w->dq_den[I (i, j)] =
Packit 67cb25
                w->dq_den[I (i, j + 1)] - c * w->dq_den[I (i, j)];
Packit 67cb25
              w->dq_num[I (i, j)] =
Packit 67cb25
                w->dq_num[I (i, j + 1)] - c * w->dq_num[I (i, j)];
Packit 67cb25
            }
Packit 67cb25
Packit 67cb25
          w->dq_den[I (n, j)] = w->dq_den[I (n, j + 1)];
Packit 67cb25
          w->dq_num[I (n, j)] = w->dq_num[I (n, j + 1)];
Packit 67cb25
        }
Packit 67cb25
Packit 67cb25
      result = w->q_num[0] / w->q_den[0];
Packit 67cb25
Packit 67cb25
      *sum_accel = result;
Packit 67cb25
Packit 67cb25
      for (i = 0; i <= n; i++)
Packit 67cb25
        {
Packit 67cb25
          w->dsum[i] =
Packit 67cb25
            (w->dq_num[I (i, 0)] -
Packit 67cb25
             result * w->dq_den[I (i, 0)]) / w->q_den[0];
Packit 67cb25
        }
Packit 67cb25
Packit 67cb25
      return GSL_SUCCESS;
Packit 67cb25
    }
Packit 67cb25
}