diff options
| -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); |