From 3aac528aef172ef97b41a3be7cf574801e5d9358 Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Sun, 8 Oct 2023 07:34:03 -0700 Subject: [PATCH] add a comment Signed-off-by: Lev Nachmanson --- src/math/lp/monomial_bounds.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/lp/monomial_bounds.cpp b/src/math/lp/monomial_bounds.cpp index 1571d6cbf..b2e62073a 100644 --- a/src/math/lp/monomial_bounds.cpp +++ b/src/math/lp/monomial_bounds.cpp @@ -370,7 +370,7 @@ namespace nla { rational monomial_bounds::fixed_var_product(monic const& m) { rational r(1); for (lpvar v : m) { - // VERIFY(!c().var_is_fixed(v) || c().lra.get_column_value(v).x == c().lra.get_lower_bound(v).x); + // we have to use the column bounds here, because the value of the column value may be outside the bounds if (c().var_is_fixed(v)) r *= c().lra.get_lower_bound(v).x; }