isl_basic_map_new_from_polylib: add memory management annotations
[barvinok.git] / mpz_divisible_p.c
blob160c6ba56348af8b82b4c06c2e6eed8b146fea43
1 #include <gmp.h>
3 int mpz_divisible_p (mpz_t N, mpz_t D)
5 int d;
6 mpz_t r;
7 mpz_init(r);
8 mpz_fdiv_r(r, N, D);
9 d = mpz_sgn(r) == 0;
10 mpz_clear(r);
11 return d;