From eb817f779d363f7128f30b1dc3ccdf27551c374a Mon Sep 17 00:00:00 2001 From: Lev Nachmanson Date: Fri, 11 Aug 2023 12:04:08 -1000 Subject: [PATCH] small change in factor to support TRACE --- src/math/lp/factorization.h | 3 +-- src/math/lp/nla_core.h | 1 + 2 files changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/lp/factorization.h b/src/math/lp/factorization.h index 60a8fb862..94c309473 100644 --- a/src/math/lp/factorization.h +++ b/src/math/lp/factorization.h @@ -35,8 +35,7 @@ class factor { bool m_sign{ false }; public: factor(): factor(false) {} - explicit factor(bool sign): m_sign(sign) {} - factor(lpvar var): m_var(var), m_type(factor_type::VAR), m_sign(false) {} + explicit factor(lpvar var): m_var(var), m_type(factor_type::VAR), m_sign(false) {} explicit factor(lpvar v, factor_type t) : m_var(v), m_type(t), m_sign(false) {} unsigned var() const { return m_var; } factor_type type() const { return m_type; } diff --git a/src/math/lp/nla_core.h b/src/math/lp/nla_core.h index 51628b937..9baa1b026 100644 --- a/src/math/lp/nla_core.h +++ b/src/math/lp/nla_core.h @@ -232,6 +232,7 @@ public: std::ostream & print_factor(const factor& f, std::ostream& out) const; std::ostream & print_factor_with_vars(const factor& f, std::ostream& out) const; + std::ostream & print_factor_with_vars(lpvar j, std::ostream& out) const { return print_var(j, out); } std::ostream& print_monic(const monic& m, std::ostream& out) const; std::ostream& print_bfc(const factorization& m, std::ostream& out) const; std::ostream& print_monic_with_vars(unsigned i, std::ostream& out) const;