- there is no root in the domain,

- or it is unknown.

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

Seq<double> solve(f,Exclusion(),a,b);

It returns a sequence of type `Seq<C>`

, where `C`

is the type of the interval bounds `a,b`

.

**See also:**`synaps/usolve/Exclusion.h`