Struct PrimalCertificate 

pub struct PrimalCertificate {
    pub equality_dual: Vec<f64>,
    pub inequality_dual: Vec<f64>,
    pub bound_dual: Vec<f64>,
}

A Farkas certificate of primal infeasibility, normalized to unit infinity norm.

The multipliers prove that no x can satisfy A_e x = b_e, A_i x <= b_i, l <= x <= u simultaneously: with y_i >= 0, positive bound parts supported on finite upper bounds, and negative bound parts supported on finite lower bounds, any feasible x would give

(A_e' y_e + A_i' y_i + y_b)' x <= b_e' y_e + b_i' y_i + u'(y_b)+ + l'(y_b)-

A valid certificate makes the left side (approximately) zero for every x while the right side — the support gap — is strictly negative: a contradiction. Verify with check_primal_certificate.

Fields

equality_dual: Vec<f64>

Weights on the equality rows (free sign).

inequality_dual: Vec<f64>

Weights on the inequality rows (non-negative).

bound_dual: Vec<f64>

Weights on the variable boxes: positive parts cite upper bounds, negative parts cite lower bounds.

Trait Implementations

impl Clone for PrimalCertificate

fn clone(&self) -> PrimalCertificate

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PrimalCertificate

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

Formats the value using the given formatter.

impl PartialEq for PrimalCertificate

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

Equality operator ==.

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

Inequality operator !=.

impl StructuralPartialEq for PrimalCertificate