Function check_primal_certificate 

pub fn check_primal_certificate(
    problem: &QpProblem,
    certificate: &PrimalCertificate,
) -> Result<PrimalCertificateResiduals, KktError>

Recomputes the defining residuals of a primal infeasibility certificate on the original problem data.

Errors

Returns KktError::Dimension when a multiplier block has the wrong length.