Lines Matching defs:dividend
33 mpz_t dividend;
54 mpz_init (dividend);
75 mpz_rrandomb (dividend, rands, dividend_size);
80 mpz_neg (dividend, dividend);
82 /* printf ("%ld\n", SIZ (dividend)); */
84 r_rq = mpz_tdiv_qr_ui (quotient, remainder, dividend, divisor);
85 r_q = mpz_tdiv_q_ui (quotient2, dividend, divisor);
86 r_r = mpz_tdiv_r_ui (remainder2, dividend, divisor);
87 r = mpz_tdiv_ui (dividend, divisor);
93 dividend, divisor);
96 dividend, divisor);
101 != (mpz_cmp_ui (dividend, 0) < 0))
102 dump_abort ("quotient sign wrong", dividend, divisor);
104 /* Check if the remainder has the same sign as the dividend
107 if ((mpz_cmp_ui (remainder, 0) < 0) != (mpz_cmp_ui (dividend, 0) < 0))
108 dump_abort ("remainder sign wrong", dividend, divisor);
112 if (mpz_cmp (temp, dividend) != 0)
113 dump_abort ("n mod d != n - [n/d]*d", dividend, divisor);
117 dump_abort ("remainder greater than divisor", dividend, divisor);
121 dividend, divisor);
124 dividend, divisor);
127 dividend, divisor);
130 dividend, divisor);
134 mpz_clear (dividend);
146 dump_abort (const char *str, mpz_t dividend, unsigned long divisor)
149 fprintf (stderr, "dividend = "); debug_mp (dividend, -16);
Indexes created Sat Feb 28 05:31:39 UTC 2026