src/integer/division/cl_I_floor2.cc

   1 // floor2().
   2
   3 // General includes.
   4 #include "cl_sysdep.h"
   5
   6 // Specification.
   7 #include "cl_integer.h"
   8
   9
  10 // Implementation.
  11
  12 #include "cl_I.h"
  13
  14 const cl_I_div_t floor2 (const cl_I& x, const cl_I& y)
  15 {
  16 // Methode:
  17 // (floor x y) :==
  18 // (DIVIDE (abs x) (abs y)) -> q,r
  19 // Falls x,y verschiedene Vorzeichen haben und r<>0,
  20 //   setze q:=q+1 und r:=r-abs(y).
  21 // Falls x<0, setze r:=-r.
  22 // Falls x,y verschiedene Vorzeichen haben, setze q:=-q.
  23 // Liefere q,r.
  24   var cl_I abs_y = abs(y);
  25   var cl_I_div_t q_r = cl_divide(abs(x),abs_y);
  26   var cl_I& q = q_r.quotient;
  27   var cl_I& r = q_r.remainder;
  28   if ((minusp(x) != minusp(y)) && !zerop(r))
  29     { q = q + 1; r = r - abs_y; }
  30   if (minusp(x))
  31     { r = -r; }
  32   if (minusp(x) != minusp(y))
  33     { q = -q; }
  34   return q_r;
  35 }