7 #include "cl_rational.h"
13 #include "cl_integer.h"
15 const cl_RA_div_t ceiling2 (const cl_RA& x)
18 // x Integer -> (q,r) := (x,0)
20 // (ceiling a b) liefert q und r.
21 // Liefere q und r/b (mit b>1 und ggT(r,b)=ggT(r+q*b,b)=ggT(a,b)=1).
25 return cl_RA_div_t(x,0);
28 var const cl_I& a = numerator(x);
29 var const cl_I& b = denominator(x);
30 var cl_I_div_t q_r = ceiling2(a,b);
31 var cl_I& q = q_r.quotient;
32 var cl_I& r = q_r.remainder;
33 return cl_RA_div_t(q,I_I_to_RT(r,b));