Finite sign-bracket updates in the bisection method
Using supplied endpoint and midpoint signs, bisection takes a midpoint and retains the opposite-sign half or a detected zero; finite nonterminal bisections halve the interval width.
atlas-bisection-method · canonical_mko