Lines Matching refs:high
352 // * low, w and high are correct up to 1 ulp (unit in the last place). That
354 // * low.e() == w.e() == high.e()
355 // * low < w < high, and taking into account their error: low~ <= high~
361 // such that LOW < buffer * 10^kappa < HIGH, where LOW and HIGH are the
362 // correct values of low and high (without their error).
382 // represent 'w' we can stop. Everything inside the interval low - high
383 // represents w. However we have to pay attention to low, high and w's
387 DiyFp high,
391 ASSERT(low.e() == w.e() && w.e() == high.e());
392 ASSERT(low.f() + 1 <= high.f() - 1);
394 // low, w and high are imprecise, but by less than one ulp (unit in the last
396 // If we remove (resp. add) 1 ulp from low (resp. high) we are certain that
399 // Inversely adding (resp. removing) 1 ulp from low (resp. high) would yield
407 DiyFp too_high = DiyFp(high.f() + unit, high.e());
