From d7de7eb732b919dbfecbf21b3775347bafa799d4 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 24 Jan 2025 08:45:33 -0800 Subject: [PATCH] remove recalculated entries from S Signed-off-by: Lev Nachmanson --- src/math/lp/dioph_eq.cpp | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index 36a81a9d8..41fffcf46 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -698,7 +698,9 @@ namespace lp { m_l_matrix.multiply_row(ei, denom); m_e_matrix.multiply_row(ei, denom); } - + if (belongs_to_s(ei)) { + remove_from_S(ei); + } SASSERT(entry_invariant(ei)); }