Skip to content

Codac2 dev - #544

Merged
SimonRohou merged 5 commits into
codac-team:codac2_devfrom
damien-masse:codac2_dev
Oct 15, 2026
Merged

SimonRohou merged 5 commits into
codac-team:codac2_devfrom
damien-masse:codac2_dev

Conversation

@damien-masse

Copy link
Copy Markdown
Collaborator

Improvement of FullPivLU operations (better conditioning for solve()).

@damien-masse

Copy link
Copy Markdown
Collaborator Author

A test fails. I check the problem... Sorry.

@damien-masse

Copy link
Copy Markdown
Collaborator Author

OK. I thought my PR was incorrect, but in fact it is the check that assumes an pessimistic result. It computes a backward contraction on A*B = C where both A and B are matrices of intervals (and B has 2 columns). The intended result of the contraction (on B) is correct if each column of B is contracted independantly, without reporting constraints deduced on A from one column of B to another (something my PR does in a limited way, even if it does not return any contraction on A).
I change the intended result (and that is still not the "best" possible result).

@SimonRohou
SimonRohou merged commit 902e169 into codac-team:codac2_dev Oct 15, 2026
80 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants