AngouriMath
LeastRelativeGap
Field
Summary
Two consecutive roots closer than this, relative to their size, are not separated
with confidence by a double-precision midpoint, and the sign table declines rather
than places a sample point on the wrong side of one.
with confidence by a double-precision midpoint, and the sign table declines rather
than places a sample point on the wrong side of one.
Remarks
The exact sign check below would catch such a mistake in almost every case; this
is the cheaper guard in front of it, so that the failure is a refusal for a stated
reason rather than a failed consistency check.
is the cheaper guard in front of it, so that the failure is a refusal for a stated
reason rather than a failed consistency check.
Angouri © 2019-2023 · Project's repo · Site's repo · Octicons · Transparency · 4378 pages online