[FEA] Kahan summation for feasibility check in solution_t
Open
@aliceb-nv is already working on this.
Since Sep 1, 2025.
backlog
feature request
- Dominant language
- Cuda
- Stars
- 1k
- Forks
- 233
- Avg merge
- 4d 4h
- Merged PRs (30d)
- 95
Description
solution_t::compute_constraints() performs an uncompensated regular dot product reduction over the LHS values. This may cause marginal solutions to be incorrectly considered infeasible. solution_t should use compensated summation to reduce numerical precision issues.
Contributor guide
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Assessment
This issue has not been assessed yet.