Document status enums. #575
Conversation
src/attributes.jl
Outdated
| implies that the dual is unbounded, given a primal feasible solution, an | ||
| infeasibility certificate in the dual implies that the primal is unbounded. | ||
| * `NearlyInfeasibilityCertificate` | ||
| * `ReductionCertificate` |
There was a problem hiding this comment.
Maybe we should remove the reduction certificates. This was based on a planned feature of Mosek, but last I heard it was dropped. There are no solvers that return reduction certificates. @chriscoey
Codecov Report
@@ Coverage Diff @@
## master #575 +/- ##
==========================================
+ Coverage 95.68% 95.69% +0.01%
==========================================
Files 47 47
Lines 4843 4903 +60
==========================================
+ Hits 4634 4692 +58
- Misses 209 211 +2
Continue to review full report at Codecov.
|
src/attributes.jl
Outdated
| implies that the dual is unbounded, given a primal feasible solution, an | ||
| infeasibility certificate in the dual implies that the primal is unbounded. | ||
| * `NearlyInfeasibilityCertificate` | ||
| * `ReductionCertificate` |
There was a problem hiding this comment.
Maybe we should remove the reduction certificates. This was based on a planned feature of Mosek, but last I heard it was dropped. There are no solvers that return reduction certificates. @chriscoey
src/attributes.jl
Outdated
| tolerances are relaxed. | ||
| * `InfeasiblePoint`: the result vector is an infeasible point. | ||
| * `InfeasibilityCertificate`: the result vector is an infeasibility certificate. | ||
| Given a dual feasible solution, an infeasibility certificate in the primal |
There was a problem hiding this comment.
What is "infeasibility Ray in the primal" ? I would expect "infeasibility ray for the dual" here
There was a problem hiding this comment.
Yeah this wording is a bit confusing.
|
Is this better? |
LGTM |
5 participants
Closes #573