4 #include "base/cl_sysdep.h"
7 #include "cln/rational.h"
12 #include "rational/cl_RA.h"
13 #include "cln/integer.h"
17 const cl_I ceiling1 (const cl_RA& x)
20 // x Integer -> q := x
21 // x Ratio a/b -> (ceiling a b)
27 var const cl_I& a = numerator(x);
28 var const cl_I& b = denominator(x);