Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Handle MalformedBasis exceptions when adding a new equation #50

Merged
merged 21 commits into from
May 23, 2018
Merged

Conversation

guykatzz
Copy link
Collaborator

No description provided.

GuyKatzHuji added 21 commits May 8, 2018 11:11
1. Compute from left to write instead of from right to left. This
makes multipliciation by eta matrices easier
2. Compute invLP once-and-for-all, when the basis is factorized
factorization classes to query the tableau for constraint matrix columns
the tableau dimensions have changed.
Tableau handles the case where the basis factorization fails after a
row is added, by choosing a new set of basic variables using gaussian
elimination of the constraint matrix
@guykatzz guykatzz merged commit a58d06c into master May 23, 2018
@guykatzz guykatzz deleted the ft_opt branch August 22, 2018 07:02
matanost pushed a commit that referenced this pull request Nov 2, 2021
* a more efficient computation of the explicit basis:
1. Compute from left to write instead of from right to left. This
makes multipliciation by eta matrices easier
2. Compute invLP once-and-for-all, when the basis is factorized

* pivoting stats

* bug fix in store/restore

* supprt for a "basis column oracle", which allows the basis
factorization classes to query the tableau for constraint matrix columns

* cleanup in FT factorization

* grab a fresh basis from the oracle instead of condensing th etas

* bug fix in test

* started separating out the gaussian elimination functionality from the
basis factorization classes

* error when adding an equation

* handle the initial assignment of basic variables as part of Tableau::initializeTableau(0

* make RowBoundTightener remember the tableau, instead of passing the
tableau again and again every time

* Tableau's addRow() informs objects registered as "resizeWatchers" that
the tableau dimensions have changed.
Tableau handles the case where the basis factorization fails after a
row is added, by choosing a new set of basic variables using gaussian
elimination of the constraint matrix

* oops

* oops
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