Lines Matching defs:dividend
33 mpz_t dividend, divisor;
51 mpz_init (dividend);
74 mpz_rrandomb (dividend, rands, dividend_size);
79 mpz_neg (dividend, dividend);
83 /* printf ("%ld %ld\n", SIZ (dividend), SIZ (divisor)); */
85 mpz_tdiv_qr (quotient, remainder, dividend, divisor);
86 mpz_tdiv_q (quotient2, dividend, divisor);
87 mpz_tdiv_r (remainder2, dividend, divisor);
92 dump_abort (dividend, divisor);
94 dump_abort (dividend, divisor);
99 != ((mpz_cmp_ui (dividend, 0) ^ mpz_cmp_ui (divisor, 0)) < 0))
100 dump_abort (dividend, divisor);
102 /* Check if the remainder has the same sign as the dividend
105 if ((mpz_cmp_ui (remainder, 0) < 0) != (mpz_cmp_ui (dividend, 0) < 0))
106 dump_abort (dividend, divisor);
110 if (mpz_cmp (temp, dividend) != 0)
111 dump_abort (dividend, divisor);
116 dump_abort (dividend, divisor);
120 mpz_clear (dividend);
133 dump_abort (mpz_t dividend, mpz_t divisor)
136 fprintf (stderr, "dividend = "); debug_mp (dividend, -16);