Skip to content

LpEpigraph ​

The epigraph variable the cutting-plane cap maximises, and the clamp that empties its primal

4/4 passed in 33ms

TestWhat it doesResult
test_clamp_empties_primalA model peaking at -1 leaves the clamped primal empty, so the unshifted dual runs along a ray above 1e6, its negative far below the peak.✅ pass
test_floor_bounds_modelThe floor sits at or below the model everywhere on the simplex, over a hundred pseudorandom sets of one to three cuts.✅ pass
test_shift_recovers_maximumShifting by the model's floor and back bounds four negative-peak models from above within 1e-9 of the closed-form peak, where the unshifted assembly reads over 1e12 below.✅ pass
test_shift_stays_inertA model with its floor at or above zero, as every shipped assembly has, is assembled unshifted: a dominating plane pair caps at its peak and both rrdps caps return their pins.✅ pass