examples/cadna/cadna_failures.cpp
/*
 * cadna find 0 significative digits here, a false positive (identified by kahan)
 *
 * it seems that it was due to a bug in cadna since corrected
 */
cadna find 0 significative digits here, a false positive (identified by kahan)
it seems that it was due to a bug in cadna since corrected
cadna find 0 significative digits here a false positive ( identified by kahan ) it seems that it was due to a bug in cadna since corrected
void falsePositive()
{
  std::cout << "False positive." << '\n'
            << "Example of a problem where CADNA is said to falsly detects that the result has no significative digits"
            << std::endl;
  Sdouble x = 1.234568e6;
  Sdouble y = 1.234567e6;
  Sdouble z = 1.00000000023;
  Sdouble r = sqrt( squaredTriangleArea(x,y,z) / squaredTriangleArea(x,y,2.0*z) );
  std::cout << "ratio of areas : " << r << " (exact result  1.238278374e-05)" << std::endl;
  displayError(r, 1.238278374e-05);
}
void falsePositive ( ) { std :: cout << " " << ' \n ' << " " << std :: endl ; Sdouble x = 1.234568e6 ; Sdouble y = 1.234567e6 ; Sdouble z = 1.00000000023 ; Sdouble r = sqrt ( squaredTriangleArea ( x , y , z ) / squaredTriangleArea ( x , y , 2.0 * z ) ) ; std :: cout << " " << r << " " << std :: endl ; displayError ( r , 1.238278374e-05 ) ; }
cadna find 0 significative digits here, a false positive (identified by kahan)
 it seems that it was due to a bug in cadna since corrected
cadna find 0 significative digits here a false positive ( identified by kahan ) it seems that it was due to a bug in cadna since corrected