mpfi_is_zero -> mpfr_zero_p (was buggy because of signed zero)

This commit is contained in:
Luis Peñaranda 2009-12-23 09:58:49 +00:00
parent 8ab3e99af4
commit a4f3b2d50d
1 changed files with 2 additions and 1 deletions

View File

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