diff --git a/Number_types/include/CGAL/GMP/Gmpfi_type.h b/Number_types/include/CGAL/GMP/Gmpfi_type.h index f9716dbba90..ff75e8b5e1a 100644 --- a/Number_types/include/CGAL/GMP/Gmpfi_type.h +++ b/Number_types/include/CGAL/GMP/Gmpfi_type.h @@ -570,7 +570,7 @@ bool Gmpfi::do_overlap(const Gmpfi &b)const{ inline Uncertain Gmpfi::is_zero()const{ - if(mpfi_is_zero(mpfi())!=0) + if(mpfr_zero_p(&mpfi()->left)!=0 && mpfr_zero_p(&mpfi()->right)!=0) return true; if(mpfi_has_zero(mpfi())!=0) return Uncertain::indeterminate(); @@ -657,7 +657,7 @@ Uncertain Gmpfi::is_square(Gmpfi &y)const{ inline Uncertain Gmpfi::divides(const Gmpfi &n)const{ - if(mpfi_is_zero(mpfi())!=0) + if(mpfr_zero_p(&mpfi()->left)!=0 && mpfr_zero_p(&mpfi()->right)!=0) return false; if(mpfi_has_zero(mpfi())!=0) return Uncertain::indeterminate(); @@ -667,7 +667,7 @@ Uncertain Gmpfi::divides(const Gmpfi &n)const{ inline Uncertain Gmpfi::divides(const Gmpfi &n,Gmpfi &c,Gmpfi::Precision_type p )const{ - if(mpfi_is_zero(mpfi())!=0) + if(mpfr_zero_p(&mpfi()->left)!=0 && mpfr_zero_p(&mpfi()->right)!=0) return false; if(mpfi_has_zero(mpfi())!=0) return Uncertain::indeterminate();