Struct MultivariateGcdStats 

pub struct MultivariateGcdStats {
    pub max_depth: usize,
    pub primitive_decompositions: u64,
    pub content_gcds: u64,
    pub pseudo_divisions: u64,
    pub incomplete: bool,
}

Statistics for multivariate GCD.

Fields

max_depth: usize

Recursion depth reached.

primitive_decompositions: u64

Primitive part decompositions.

content_gcds: u64

Content GCD computations.

pseudo_divisions: u64

Pseudo-divisions performed.

incomplete: bool

Set when the engine could not compute the greatest common divisor and fell back to the trivial common divisor 1.

This happens when the recursion-depth ceiling (MultivariateGcdConfig::max_recursion_depth) is reached, i.e. the inputs have more distinct variables than the budget allows.

The returned polynomial is still a sound common divisor – 1 divides everything – but it is not necessarily the greatest one, so callers lose simplification rather than getting a wrong answer. The return type of MultivariateGcdEngine::gcd is Polynomial, which has no channel to say “I gave up”; this flag is that channel, mirroring IsolationStats::incomplete elsewhere in this crate.

Trait Implementations

impl Clone for MultivariateGcdStats

fn clone(&self) -> MultivariateGcdStats

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MultivariateGcdStats

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

Formats the value using the given formatter.

impl Default for MultivariateGcdStats

fn default() -> MultivariateGcdStats

Returns the “default value” for a type.