Module functions 

Auto-generated module

🤖 Generated with SplitRS

Traits

IntervalConstraint

Simple constraint propagation over interval boxes.

Functions

abs_interval

Interval absolute value.

atan_interval

Conservative interval for atan(a).

cos_interval

Interval cos: conservative enclosure of cos over [lo, hi].

exp_interval

Interval exp: exp([lo, hi]) = [exp(lo), exp(hi)].

interval_bisection

Find all root-containing sub-intervals using bisection with an inclusion function.

interval_max

Interval max: max([a.lo,a.hi], [b.lo,b.hi]) = [max(a.lo,b.lo), max(a.hi,b.hi)].

interval_min

Interval min: min([a.lo,a.hi], [b.lo,b.hi]) = [min(a.lo,b.lo), min(a.hi,b.hi)].

interval_newton

Perform interval Newton iteration on a function f with derivative f'.

krawczyk_operator

Krawczyk operator for root verification.

ln_interval

Interval ln: ln([lo, hi]) = [ln(lo), ln(hi)]. Panics if lo <= 0.

pow_interval

Interval power: compute a^n for non-negative integer n.

propagate_constraints

Run constraint propagation to a fixed point (or max iterations).

range_by_subdivision

Evaluates f on each sub-interval and returns the hull of all results.

sample_enclosure

Returns a tighter interval bound for f on [a.lo, a.hi] by evaluating at n equally-spaced sample points and taking their hull.

sin_interval

Interval sin: conservative enclosure of sin over [lo, hi].

sqrt_interval

Interval sqrt: sqrt([lo, hi]) = [sqrt(lo), sqrt(hi)].

square

Tighter squaring of an interval (tighter than a * a).

subdivide

Recursively splits iv until all sub-intervals have width ≤ max_width.

tan_interval

Conservative interval bound for tan(a).

taylor_enclosure

First-order Taylor enclosure of f around the midpoint of iv.