add isl_int_gcdext

We will use it in the next commit.

Signed-off-by: Sven Verdoolaege <skimo@kotnet.org>

diff --git a/include/isl/int.h b/include/isl/int.h
index 9391df9..4f890f3 100644 (file)
--- a/include/isl/int.h
+++ b/include/isl/int.h
@@ -70,6 +70,7 @@ typedef void (*isl_int_print_gmp_free_t)(void *, size_t);
 #define isl_int_submul(r,i,j)  mpz_submul(r,i,j)
 
 #define isl_int_gcd(r,i,j)     mpz_gcd(r,i,j)
+#define isl_int_gcdext(g,x,y,i,j)      mpz_gcdext(g,x,y,i,j)
 #define isl_int_lcm(r,i,j)     mpz_lcm(r,i,j)
 #define isl_int_divexact(r,i,j)        mpz_divexact(r,i,j)
 #define isl_int_divexact_ui(r,i,j)     mpz_divexact_ui(r,i,j)