Struct Certificate 

pub struct Certificate {
    pub class: StationarityClass,
    pub n_pairs: usize,
    pub n_biactive: usize,
    pub n_neither: usize,
    pub multipliers_unique: bool,
    pub residual: Number,
    pub resid_tol: Number,
    pub tight: bool,
    pub primal_violation: Number,
    pub feasible: bool,
    pub worst_biactive_sign: Number,
}

What certify measured. Everything the verdict rests on is here.

Fields

class: StationarityClass

n_pairs: usize

n_biactive: usize

n_neither: usize

Pairs with neither side at zero — complementarity does not hold.

multipliers_unique: bool

Columns of the stationarity system are linearly dependent, so the multipliers form a set rather than a point (MPCC-LICQ fails).

residual: Number

‖A θ − ∇f‖∞ at the multipliers that decided the class.

resid_tol: Number

The band residual is judged against: max(1e-6, tol) plus the sqrt(tol) sign band, both times the dual scale (see certify).

tight: bool

The residual is within the floor alone, max(1e-6, tol) times the dual scale. An S point that is not tight reproduces ∇f only to the sqrt(tol) band: the driver keeps it and reports it only if no formulation produces a tight one. With a multiplier set, the test is on the sign-free fit, as the old gate into the set search was; the search itself then takes the band.

primal_violation: Number

Largest violation of a row or variable bound at the point (pair sides included), in the model’s units.

feasible: bool

primal_violation is within CertificateInput::feas_tol. When it is not, the class is None whatever the multipliers say.

worst_biactive_sign: Number

Largest-magnitude negative sign on a biactive pair, when the class is decided by a sign (W with unique multipliers).

Trait Implementations

impl Clone for Certificate

fn clone(&self) -> Self

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Certificate

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

Formats the value using the given formatter.