Struct MultivariateGcdConfig 

pub struct MultivariateGcdConfig {
    pub var_selection: VarSelectionStrategy,
    pub use_primitive_part: bool,
    pub max_recursion_depth: usize,
}

Configuration for multivariate GCD.

Fields

var_selection: VarSelectionStrategy

Main variable selection strategy.

use_primitive_part: bool

Reduce every intermediate pseudo-remainder to its primitive part.

This is the difference between a primitive PRS and a plain (Euclidean) pseudo-remainder sequence: it costs one content GCD per step but keeps the coefficients from growing exponentially. Turning it off does not change the answer – the content/primitive split of the inputs, and of the final PRS element, is required for correctness and is always performed.

max_recursion_depth: usize

Maximum recursion depth.

Each level of recursion eliminates one variable (see the module documentation), so a value of n supports inputs in up to n distinct variables. Beyond that the engine gives up and returns the trivial common divisor 1, recording the fact in MultivariateGcdStats::incomplete.

Trait Implementations

impl Clone for MultivariateGcdConfig

fn clone(&self) -> MultivariateGcdConfig

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MultivariateGcdConfig

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

Formats the value using the given formatter.

impl Default for MultivariateGcdConfig

fn default() -> Self

Returns the “default value” for a type.