From a4f3b2d50d66a088d72bf2b78da29458dd2f32fe Mon Sep 17 00:00:00 2001 From: =?UTF-8?q?Luis=20Pe=C3=B1aranda?= Date: Wed, 23 Dec 2009 09:58:49 +0000 Subject: [PATCH] mpfi_is_zero -> mpfr_zero_p (was buggy because of signed zero) --- Algebraic_kernel_d/include/CGAL/RS/sign_1_rs.h | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/Algebraic_kernel_d/include/CGAL/RS/sign_1_rs.h b/Algebraic_kernel_d/include/CGAL/RS/sign_1_rs.h index f86c40a917c..0a3268dc652 100644 --- a/Algebraic_kernel_d/include/CGAL/RS/sign_1_rs.h +++ b/Algebraic_kernel_d/include/CGAL/RS/sign_1_rs.h @@ -43,7 +43,8 @@ inline CGAL::Sign sign_1(const CGAL::RS_polynomial_1 &p, 1,sols_u,1, vals_constr,NULL,MPFR_PREC_MIN,1,1,1); - if(mpfi_is_zero(vals_constr[0][0])>0){ + if(mpfr_zero_p(&vals_constr[0][0]->left)!=0 && + mpfr_zero_p(&vals_constr[0][0]->right)!=0){ return CGAL::ZERO; } CGAL_assertion(mpfi_has_zero(vals_constr[0][0])<=0);