From 68f368020d0e307941554ddde4d5b76e8d618ae4 Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?Luis=20Pe=C3=B1aranda?= <luis.penaranda@gmx.com>
Date: Tue, 26 Nov 2013 17:13:26 -0200
Subject: [PATCH] use exact division when possible

---
 Algebraic_kernel_d/include/CGAL/RS/rs2_isolator_1.h | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Algebraic_kernel_d/include/CGAL/RS/rs2_isolator_1.h b/Algebraic_kernel_d/include/CGAL/RS/rs2_isolator_1.h
index fb7b7ad052e..ad47b9835ba 100644
--- a/Algebraic_kernel_d/include/CGAL/RS/rs2_isolator_1.h
+++ b/Algebraic_kernel_d/include/CGAL/RS/rs2_isolator_1.h
@@ -86,7 +86,7 @@ RS2_isolator_1(const CGAL::Polynomial<CGAL::Gmpq> &p):_polynomial(p){
         mpz_t *coeffs=(mpz_t*)malloc((degree+1)*sizeof(mpz_t));
         for(unsigned i=0;i<=degree;++i){
                 mpz_init(coeffs[i]);
-                mpz_div(coeffs[i],lcm,mpq_denref(p[i].mpq()));
+                mpz_divexact(coeffs[i],lcm,mpq_denref(p[i].mpq()));
                 mpz_mul(coeffs[i],coeffs[i],mpq_numref(p[i].mpq()));
         }
         // Call RS to solve the computed integer polynomial.