From 35ff4f9c872461bcc12d08b0be76eb46ea782e3b Mon Sep 17 00:00:00 2001 From: Thomas Hader Date: Fri, 27 Sep 2024 16:00:38 +0200 Subject: [PATCH 1/2] Added missing case in infer_bounds --- src/polynomial/polynomial.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/polynomial/polynomial.c b/src/polynomial/polynomial.c index 5c3474f..a1e0570 100644 --- a/src/polynomial/polynomial.c +++ b/src/polynomial/polynomial.c @@ -1524,7 +1524,7 @@ int lp_polynomial_constraint_infer_bounds(const lp_polynomial_t* A, lp_sign_cond if (r) { return r; } - return lp_polynomial_constraint_infer_bounds(A, LP_SGN_LE_0, 0, M); + return lp_polynomial_constraint_infer_bounds(A, LP_SGN_GE_0, 0, M); } case LP_SGN_NE_0: // |x| - d != 0 => ? return 0; From 0beea5e94ca28224a962b1abcfbc267fbd977b2f Mon Sep 17 00:00:00 2001 From: Thomas Hader Date: Fri, 27 Sep 2024 16:05:58 +0200 Subject: [PATCH 2/2] Forgot about the duplicated code --- src/polynomial/polynomial.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/polynomial/polynomial.c b/src/polynomial/polynomial.c index a1e0570..4e65889 100644 --- a/src/polynomial/polynomial.c +++ b/src/polynomial/polynomial.c @@ -1743,7 +1743,7 @@ lp_polynomial_t* lp_polynomial_constraint_explain_infer_bounds(const lp_polynomi if (p) { return p; } - return lp_polynomial_constraint_explain_infer_bounds(A, LP_SGN_LE_0, 0, x); + return lp_polynomial_constraint_explain_infer_bounds(A, LP_SGN_GE_0, 0, x); } case LP_SGN_NE_0: // |x| - d != 0 => ? return 0;