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 "cln/lfloat.h"
  13 #include "cln/integer.h"
  14 #include "cln/abort.h"
  15 #include "cl_LF.h"
  16
  17 namespace cln {
  18
  19 // Subroutine.
  20 // Evaluates S = sum(N1 <= n < N2, a(n)/b(n) * (p(N1)...p(n))/(q(N1)...q(n)))
  21 // and returns P = p(N1)...p(N2-1), Q = q(N1)...q(N2-1), B = B(N1)...B(N2-1)
  22 // and T = B*Q*S (all integers). On entry N1 < N2.
  23 // P will not be computed if a NULL pointer is passed.
  24
  25 static inline void eval__series_aux (uintL N1, uintL N2,
  26                                      const cl__series& args,
  27                                      cl_I* T)
  28 {
  29         unused args;
  30         *T = N2-N1;
  31 }
  32
  33 const cl_LF eval_rational_series (uintL N, const cl__series& args, uintC len)
  34 {
  35         if (N==0)
  36                 return cl_I_to_LF(0,len);
  37         var cl_I T;
  38         eval__series_aux(0,N,args,&T);
  39         return cl_I_to_LF(T,len);
  40 }
  41 // Bit complexity (if p(n), q(n), a(n), b(n) have length O(log(n))):
  42 // O(log(N)^2*M(N)).
  43
  44 }  // namespace cln