From f2149fb5a6eb3e884cf8ec87eb4a53a08755c237 Mon Sep 17 00:00:00 2001 From: Nikolaj Bjorner Date: Tue, 17 Dec 2019 17:14:51 -0800 Subject: [PATCH] na Signed-off-by: Nikolaj Bjorner --- src/math/dd/dd_pdd.cpp | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/math/dd/dd_pdd.cpp b/src/math/dd/dd_pdd.cpp index f3897f552..427d5a445 100644 --- a/src/math/dd/dd_pdd.cpp +++ b/src/math/dd/dd_pdd.cpp @@ -272,9 +272,7 @@ namespace dd { // compute a*q*qc - b*p*pc // bool pdd_manager::try_spoly(pdd const& a, pdd const& b, pdd& r) { - if (!common_factors(a, b, m_p, m_q, m_pc, m_qc)) return false; - r = spoly(a, b, m_p, m_q, m_pc, m_qc); - return true; + return common_factors(a, b, m_p, m_q, m_pc, m_qc) && (r = spoly(a, b, m_p, m_q, m_pc, m_qc), true); } pdd pdd_manager::spoly(pdd const& a, pdd const& b, unsigned_vector const& p, unsigned_vector const& q, rational const& pc, rational const& qc) {