# Documentation

Bisect an interval in search of a root. At all times, `f (estimateRoot _)`

is less than or equal to 0 and `f (estimateRoot _ + estimateError _)`

is
greater than or equal to 0.

Bisect an interval in search of a root. At all times, `f (estimateRoot _)`

is less than or equal to 0 and `f (estimateRoot _ + estimateError _)`

is
greater than or equal to 0.