LpEpigraph
The epigraph variable the cutting-plane cap maximises, and the clamp that empties its primal
4/4 passed in 33ms
| Test | What it does | Result |
|---|---|---|
test_clamp_empties_primal | A 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_model | The 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_maximum | Shifting 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_inert | A 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 |