Enum ReductionResult 

pub enum ReductionResult {
    Reduced {
        reduced: Atom,
        term_reduction: i32,
    },
    Fallback {
        original: Atom,
        reason: String,
    },
}

Result of attempting a safe Groebner reduction.

Variants

Reduced

Successfully reduced with safe coefficients.

Fields

reduced: Atom

The reduced expression.

term_reduction: i32

Number of terms reduced (positive = fewer terms).

Fallback

Fell back to original due to validation failure.

Fields

original: Atom

The original expression (unchanged).

reason: String

Reason for fallback.

Implementations

impl ReductionResult

pub fn expression(&self) -> &Atom

Returns the resulting expression (reduced or original).

pub fn is_reduced(&self) -> bool

Returns true if reduction was successful.

Trait Implementations

impl Clone for ReductionResult

fn clone(&self) -> ReductionResult

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ReductionResult

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

Formats the value using the given formatter.