From 8598a74cca305cc6567c43040acdb11b6c88154f Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 8 Aug 2025 10:40:39 -0700 Subject: [PATCH] rename add_lcs to add_lc Signed-off-by: Lev Nachmanson --- src/nlsat/nlsat_explain.cpp | 8 ++++---- 1 file changed, 4 insertions(+), 4 deletions(-) diff --git a/src/nlsat/nlsat_explain.cpp b/src/nlsat/nlsat_explain.cpp index 248e4d4e9..f2fa7e623 100644 --- a/src/nlsat/nlsat_explain.cpp +++ b/src/nlsat/nlsat_explain.cpp @@ -646,8 +646,8 @@ namespace nlsat { return true; } - // For each p in ps add the leading or coefficent to the projection, - void add_lcs(polynomial_ref_vector &ps, var x) { + // For each p in ps add the leading coefficent to the projection, + void add_lc(polynomial_ref_vector &ps, var x) { polynomial_ref p(m_pm); polynomial_ref coeff(m_pm); @@ -1203,7 +1203,7 @@ namespace nlsat { TRACE(nlsat_explain, tout << "project loop, processing var "; display_var(tout, x); tout << "\npolynomials\n"; display(tout, ps); tout << "\n";); - add_lcs(ps, x); + add_lc(ps, x); psc_discriminant(ps, x); psc_resultant(ps, x); if (m_todo.empty()) @@ -1251,7 +1251,7 @@ namespace nlsat { } TRACE(nlsat_explain, tout << "project loop, processing var "; display_var(tout, x); tout << "\npolynomials\n"; display(tout, ps); tout << "\n";); - add_lcs(ps, x); + add_lc(ps, x); psc_discriminant(ps, x); psc_resultant(ps, x);