- brackets :: (Eq a, Eq b, Num b) => (a -> b) -> (a, a) -> Bool
- bracket :: (Fractional a, Eq a, Num b, Ord b) => (a -> b) -> a -> a -> [(a, a)]
- subdivideAndBracket :: (Num b, Eq b, Fractional a, Integral c) => (a -> b) -> a -> a -> c -> [(a, a)]

# Documentation

brackets :: (Eq a, Eq b, Num b) => (a -> b) -> (a, a) -> BoolSource

Predicate that returns `True`

whenever the given pair of points brackets
a root of the given function.

bracket :: (Fractional a, Eq a, Num b, Ord b) => (a -> b) -> a -> a -> [(a, a)]Source

`bracket f x1 x2`

: Given a function and an initial guessed range x1 to x2,
this function expands the range geometrically until a root is bracketed by
the returned values, returning a list of the successively expanded ranges.
The list will be finite if and only if the sequence yields a bracketing pair.

subdivideAndBracket :: (Num b, Eq b, Fractional a, Integral c) => (a -> b) -> a -> a -> c -> [(a, a)]Source

`subdivideAndBracket f x1 x2 n`

: Given a function defined on the interval
[x1,x2], subdivide the interval into n equally spaced segments and search
for zero crossings of the function. The returned list will contain all
bracketing pairs found.