From 4b8577eaa299979e4f5f0b4a5b6268a34c514ad2 Mon Sep 17 00:00:00 2001 From: Clemens Eisenhofer Date: Tue, 27 Dec 2022 08:47:27 +0100 Subject: [PATCH] Reverted unintended changes --- src/math/polynomial/polynomial.cpp | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/math/polynomial/polynomial.cpp b/src/math/polynomial/polynomial.cpp index 5d7d00afe..b85ac1cf5 100644 --- a/src/math/polynomial/polynomial.cpp +++ b/src/math/polynomial/polynomial.cpp @@ -4398,8 +4398,8 @@ namespace polynomial { TRACE("gcd_calls", tout << "gcd\nu: "; u->display(tout, m_manager); tout << "\nv: "; v->display(tout, m_manager); tout << "\n";); TRACE("polynomial_gcd", tout << "gcd\nu: "; u->display(tout, m_manager); tout << "\nv: "; v->display(tout, m_manager); - tout << "\nis_zero(u): " << is_zero(u) << ", is_determined(u): " << is_const(u) << "\n"; - tout << "is_zero(v): " << is_zero(v) << ", is_determined(v): " << is_const(v) << "\n"; + tout << "\nis_zero(u): " << is_zero(u) << ", is_const(u): " << is_const(u) << "\n"; + tout << "is_zero(v): " << is_zero(v) << ", is_const(v): " << is_const(v) << "\n"; tout << "modular: " << m().modular() << "\n";); if (is_zero(u)) { r = const_cast(v);