From dbde713eb31558b7c3304fee0aa71a45ff14e94e Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Wed, 9 Apr 2025 19:24:59 -0700 Subject: [PATCH] remove testing code in is_big_term_on_no_term Signed-off-by: Lev Nachmanson --- src/math/lp/dioph_eq.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/dioph_eq.cpp b/src/math/lp/dioph_eq.cpp index d110ff508..b8d942235 100644 --- a/src/math/lp/dioph_eq.cpp +++ b/src/math/lp/dioph_eq.cpp @@ -786,7 +786,7 @@ namespace lp { // it is a non-const function : it can set m_some_terms_are_ignored to true bool term_has_big_number(const lar_term& t) { for (const auto& p : t) { - if (abs(p.coeff()) > mpq(5) || p.coeff().is_big() || (is_fixed(p.var()) && lra.get_lower_bound(p.var()).x.is_big())) { + if (p.coeff().is_big() || (is_fixed(p.var()) && lra.get_lower_bound(p.var()).x.is_big())) { m_some_terms_are_ignored = true; return true; }