Struct IsolationStats 

pub struct IsolationStats {
    pub sturm_computations: u64,
    pub bisection_steps: u64,
    pub sign_evaluations: u64,
    pub roots_isolated: u64,
    pub incomplete: bool,
}

Statistics for root isolation.

Fields

sturm_computations: u64

Sturm sequence computations.

bisection_steps: u64

Bisection steps.

sign_evaluations: u64

Sign evaluations.

roots_isolated: u64

Roots isolated.

incomplete: bool

Set to true if bisection ever hit MAX_ROOT_ISOLATION_DEPTH before narrowing a sub-interval down to exactly one root.

With a correct Sturm sequence and exact rational bisection this should never happen for any well-formed polynomial: distinct real roots always have a positive minimum pairwise separation, so repeated bisection is mathematically guaranteed to isolate each one eventually. A true value therefore indicates a pathological input or an upstream bug (e.g. an incorrect Sturm sequence), and it also means RootIsolator::isolate_roots’s returned list may be missing one or more roots for the affected sub-interval – this flag is what makes that condition visible instead of it being a silently-incomplete result.

Trait Implementations

impl Clone for IsolationStats

fn clone(&self) -> IsolationStats

Returns a duplicate of the value.

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source.

impl Debug for IsolationStats

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter.

impl Default for IsolationStats

fn default() -> IsolationStats

Returns the “default value” for a type.