pub const CORNER_SLACK_FACTOR: Number = 10.0;Expand description
The multiple of a relaxed point’s first-order slack value
(relaxation_slack) that same_answer_allowance grants. Σ λ_k·p_k
is the objective the products’ slack buys to first order; where a pair is
biactive the objective moves as sqrt(τ), not τ, and the first-order
estimate is then half the true gap (MacMPEC scholtes4: the τ = 1e-8
point sits at -2e-4 = -2·sqrt(τ) against the exact f* = 0, with
λ = 1/sqrt(τ), so λ·τ = 1e-4). Ten leaves a margin of five over that.