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