Home | History | Annotate | Download | only in mpz

Lines Matching defs:remainder

34   mpz_t quotient, remainder;
56 mpz_init (remainder);
84 r_rq = mpz_fdiv_qr_ui (quotient, remainder, dividend, divisor);
94 if (mpz_cmp (remainder, remainder2) != 0)
104 /* Check if the remainder has the same sign as the (positive) divisor
106 if (mpz_cmp_ui (remainder, 0) != 0)
107 if (mpz_cmp_ui (remainder, 0) < 0)
108 dump_abort ("remainder sign wrong", dividend, divisor);
111 mpz_add (temp, temp, remainder);
115 mpz_abs (remainder, remainder);
116 if (mpz_cmp_ui (remainder, divisor) >= 0)
117 dump_abort ("remainder greater than divisor", dividend, divisor);
119 if (mpz_cmp_ui (remainder, r_rq) != 0)
120 dump_abort ("remainder returned from mpz_fdiv_qr_ui is wrong",
122 if (mpz_cmp_ui (remainder, r_q) != 0)
123 dump_abort ("remainder returned from mpz_fdiv_q_ui is wrong",
125 if (mpz_cmp_ui (remainder, r_r) != 0)
126 dump_abort ("remainder returned from mpz_fdiv_r_ui is wrong",
128 if (mpz_cmp_ui (remainder, r) != 0)
129 dump_abort ("remainder returned from mpz_fdiv_ui is wrong",
136 mpz_clear (remainder);