tinker: Simplex

gruhn · Mar 15, 2023 · b2fdddb · b2fdddb
1 parent 9c92834
commit b2fdddb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/SMT.cabal b/SMT.cabal
@@ -18,7 +18,7 @@ library
                     , Theory.UninterpretedFunctions.Lazy
                     , Theory.UninterpretedFunctions.Eager
                     , Theory.LinearArithmatic.FourierMotzkin
-                    -- , Theory.LinearArithmatic.Simplex
+                    , Theory.LinearArithmatic.Simplex
                     , Theory.LinearArithmatic.BranchAndBound
                     , Theory.NonLinearRealArithmatic.Expr
                     , Theory.NonLinearRealArithmatic.Interval

diff --git a/src/Theory/LinearArithmatic/Simplex.hs b/src/Theory/LinearArithmatic/Simplex.hs
@@ -95,7 +95,7 @@ pivot' basic_var non_basic_var (Tableau non_basis bounds assignment) =
     new_value_basic_var = from_just "Basic variable doesn't have a bound so it's not actually violated"
       $ snd <$> M.lookup basic_var bounds
 
-    basic_var_coeff = _
+    basic_var_coeff = snd equation M.! basic_var
 
     old_value_non_basic_var = non_basis M.! non_basic_bar
     new_value_non_basic_var = old_value_non_basic_var + (old_value_basic_bar - new_value_basic_var) / basic_var_coeff