Struct FactoredQuadratic 

pub struct FactoredQuadratic {
    pub squares: Vec<SquaredAffine>,
    pub linear: Vec<(usize, f64)>,
    pub constant: f64,
}

A degree-2 form kept as Σ wₖ(bₖᵀx + dₖ)² + aᵀx + c — the shape the .nl writer wrote, rather than its expansion about the origin.

This is the representation gh #673 asks for and is_expanded_quadratic exists to refuse the alternative to. Reading (x − 500000)² back as x² − 10⁶x + 2.5·10¹¹ cancels five digits; reading it back as one squared residual repeats exactly the multiplication the tape performs, so admitting it costs no accuracy at all.

The degree-≤1 leftovers (linear, constant) are the monomials the writer folded into the same tree — the + 3y of (x − 1)² + 3y. They are summed as coefficients rather than kept term by term, which is the same reassociation the expanded path already makes and is gated the same way (see Quad2::lost_terms).

Fields

squares: Vec<SquaredAffine>

The squared affine terms, in the order the spine walk met them.

linear: Vec<(usize, f64)>

a, ascending by variable index.

constant: f64

c.

Trait Implementations

impl Clone for FactoredQuadratic

fn clone(&self) -> FactoredQuadratic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for FactoredQuadratic

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

Formats the value using the given formatter.

impl PartialEq for FactoredQuadratic

fn eq(&self, other: &FactoredQuadratic) -> bool

Equality operator ==.

fn ne(&self, other: &Rhs) -> bool

Inequality operator !=.

impl StructuralPartialEq for FactoredQuadratic