7 #include "cl_integer.h"
14 const cl_I truncate1 (const cl_I& x, const cl_I& y)
18 // (DIVIDE (abs x) (abs y)) -> q,r
19 // Falls x<0, setze r:=-r.
20 // Falls x,y verschiedene Vorzeichen haben, setze q:=-q.
22 var cl_I_div_t q_r = cl_divide(abs(x),abs(y));
23 var cl_I& q = q_r.quotient;
24 if (minusp(x) != minusp(y))