diff options
| author | Kevin Ryde <user42@zip.com.au> | 2002-07-10 02:05:57 +0200 |
|---|---|---|
| committer | Kevin Ryde <user42@zip.com.au> | 2002-07-10 02:05:57 +0200 |
| commit | eb7e65695a3ade2e2036ee283141169d8b8cb22e (patch) | |
| tree | c45745eaab32d58bef78bfaee153ec763de2d746 /mpz | |
| parent | 6852f32f2d51d71c592233b11c9508bc6bfd9f9e (diff) | |
| download | gmp-eb7e65695a3ade2e2036ee283141169d8b8cb22e.tar.gz | |
* mpz/divexact.c: Add an ASSERT that den divides num.
Diffstat (limited to 'mpz')
| -rw-r--r-- | mpz/divexact.c | 10 |
1 files changed, 10 insertions, 0 deletions
diff --git a/mpz/divexact.c b/mpz/divexact.c index a32ea5620..6c6cacbdb 100644 --- a/mpz/divexact.c +++ b/mpz/divexact.c @@ -44,6 +44,16 @@ mpz_divexact (mpz_ptr quot, mpz_srcptr num, mpz_srcptr den) mp_size_t nsize, dsize; TMP_DECL (marker); +#if WANT_ASSERT + { + mpz_t rem; + mpz_init (rem); + mpz_tdiv_r (rem, num, den); + ASSERT (SIZ(rem) == 0); + mpz_clear (rem); + } +#endif + nsize = ABS (num->_mp_size); dsize = ABS (den->_mp_size); |