The methods of this family are based on a test which answers either
If we are in the first case, we remove the interval. Otherwise, the interval is splitted into two subintervals, to which we apply the test recursively, until a given precision is reached. Consequently, the remaining sub-domains might contain a root, but not guaranty is provided at this step.
- there is no root in the domain,
The test implemented in thi exclusion solver uses the function
We check that if , the interval does not contain a root of , and thus can be removed. The corresponding function is
It returns a sequence of type
C is the type of the interval bounds
- See also: