src/float/transcendental/cl_LF_ratsumseries_pqd_aux.cc

   1 // eval_pqd_series_aux().
   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/integer.h"
  13 #include "cln/abort.h"
  14
  15 namespace cln {
  16
  17 void eval_pqd_series_aux (uintL N, cl_pqd_series_term* args, cl_pqd_series_result& Z, cl_boolean rightmost)
  18 {
  19         // N = N2-N1
  20         switch (N) {
  21         case 0:
  22                 cl_abort(); break;
  23         case 1:
  24                 if (!rightmost) { Z.P = args[0].p; }
  25                 Z.Q = args[0].q;
  26                 Z.T = args[0].p;
  27                 if (!rightmost) { Z.C = 1; }
  28                 Z.D = args[0].d;
  29                 Z.V = args[0].p;
  30                 break;
  31         case 2: {
  32                 var cl_I p01 = args[0].p * args[1].p;
  33                 if (!rightmost) { Z.P = p01; }
  34                 Z.Q = args[0].q * args[1].q;
  35                 var cl_I p0q1 = args[0].p * args[1].q + p01;
  36                 Z.T = p0q1;
  37                 if (!rightmost) { Z.C = args[1].d + args[0].d; }
  38                 Z.D = args[0].d * args[1].d;
  39                 Z.V = args[1].d * p0q1 + args[0].d * p01;
  40                 break;
  41                 }
  42         case 3: {
  43                 var cl_I p01 = args[0].p * args[1].p;
  44                 var cl_I p012 = p01 * args[2].p;
  45                 if (!rightmost) { Z.P = p012; }
  46                 Z.Q = args[0].q * args[1].q * args[2].q;
  47                 var cl_I p0q1 = args[0].p * args[1].q + p01;
  48                 Z.T = args[2].q * p0q1 + p012;
  49                 var cl_I d01 = args[0].d * args[1].d;
  50                 if (!rightmost) { Z.C = (args[1].d + args[0].d) * args[2].d + d01; }
  51                 Z.D = d01 * args[2].d;
  52                 Z.V = args[2].d * (args[2].q * (args[1].d * p0q1 + args[0].d * p01) + (args[1].d + args[0].d) * p012) + d01 * p012;
  53                 break;
  54                 }
  55         default: {
  56                 var uintL Nm = N/2; // midpoint
  57                 // Compute left part.
  58                 var cl_pqd_series_result L;
  59                 eval_pqd_series_aux(Nm,args+0,L,cl_false);
  60                 // Compute right part.
  61                 var cl_pqd_series_result R;
  62                 eval_pqd_series_aux(N-Nm,args+Nm,R,rightmost);
  63                 // Put together partial results.
  64                 if (!rightmost) { Z.P = L.P * R.P; }
  65                 Z.Q = L.Q * R.Q;
  66                 // Z.S = L.S + L.P/L.Q*R.S;
  67                 var cl_I tmp = L.P * R.T;
  68                 Z.T = R.Q * L.T + tmp;
  69                 if (!rightmost) { Z.C = L.C * R.D + L.D * R.C; }
  70                 Z.D = L.D * R.D;
  71                 // Z.U = L.U + L.C/L.D * L.P/L.Q * R.S + L.P/L.Q * R.U;
  72                 // Z.V = R.D * R.Q * L.V + R.D * L.C * L.P * R.T + L.D * L.P * R.V;
  73                 Z.V = R.D * (R.Q * L.V + L.C * tmp) + L.D * L.P * R.V;
  74                 break;
  75                 }
  76         }
  77 }
  78
  79 }  // namespace cln