src/float/transcendental/cl_LF_ratseries_.cc

   1 // eval_rational_series().
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7 #include "cl_LF_tran.h"
   8
   9
  10 // Implementation.
  11
  12 #include "cl_lfloat.h"
  13 #include "cl_integer.h"
  14 #include "cl_abort.h"
  15 #include "cl_LF.h"
  16
  17 // Subroutine.
  18 // Evaluates S = sum(N1 <= n < N2, a(n)/b(n) * (p(N1)...p(n))/(q(N1)...q(n)))
  19 // and returns P = p(N1)...p(N2-1), Q = q(N1)...q(N2-1), B = B(N1)...B(N2-1)
  20 // and T = B*Q*S (all integers). On entry N1 < N2.
  21 // P will not be computed if a NULL pointer is passed.
  22
  23 static inline void eval__series_aux (uintL N1, uintL N2,
  24                                      const cl__series& args,
  25                                      cl_I* T)
  26 {
  27         unused args;
  28         *T = N2-N1;
  29 }
  30
  31 const cl_LF eval_rational_series (uintL N, const cl__series& args, uintC len)
  32 {
  33         if (N==0)
  34                 return cl_I_to_LF(0,len);
  35         var cl_I T;
  36         eval__series_aux(0,N,args,&T);
  37         return cl_I_to_LF(T,len);
  38 }
  39 // Bit complexity (if p(n), q(n), a(n), b(n) have length O(log(n))):
  40 // O(log(N)^2*M(N)).