pub struct IsolationStats {
pub sturm_evaluations: usize,
pub descartes_tests: usize,
pub bisection_steps: usize,
pub intervals_generated: usize,
pub incomplete: bool,
}Expand description
Root isolation statistics.
Fields§
§sturm_evaluations: usizeNumber of Sturm sequence evaluations
descartes_tests: usizeNumber of Descartes tests
bisection_steps: usizeNumber of bisection steps
intervals_generated: usizeTotal intervals generated
incomplete: boolSet to true if the bisection search 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 indicates a pathological input or an
upstream bug, and it also means RootIsolator::isolate_roots’s
returned list may be missing one or more roots for the affected
sub-interval – this flag makes that condition visible instead of it
being a silently-incomplete result.
Trait Implementations§
Source§impl Clone for IsolationStats
impl Clone for IsolationStats
Source§fn clone(&self) -> IsolationStats
fn clone(&self) -> IsolationStats
1.0.0 (const: unstable) · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more