Struct MinimizeClaim 

pub struct MinimizeClaim {
    pub q: Vec<Vec<Rational>>,
    pub b: Vec<Rational>,
    pub x_hat: Vec<Rational>,
    pub mu: Rational,
    pub subopt: Rational,
}

The neutral claim a convex-quadratic settle emits: minimize ½xᵀQx + bᵀx, the settled readout, a claimed strong-convexity parameter, and a claimed suboptimality bound. Everything exact; nothing trusted.

Fields

q: Vec<Vec<Rational>>

b: Vec<Rational>

x_hat: Vec<Rational>

mu: Rational

Claimed lower bound on Q’s spectrum (strong-convexity parameter), > 0.

subopt: Rational

Claimed bound: f(x̂) − f* ≤ subopt.

Trait Implementations

impl Clone for MinimizeClaim

fn clone(&self) -> MinimizeClaim

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for MinimizeClaim

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

Formats the value using the given formatter.

impl PartialEq for MinimizeClaim

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

Tests for self and other values to be equal, and is used by ==.

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

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl StructuralPartialEq for MinimizeClaim