From 872165fa553e49318e267b96d7263bc3f23286e3 Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Thu, 10 Jan 2013 09:17:22 -0800 Subject: [PATCH] Add more tracing to sign_det_isolate_roots Signed-off-by: Leonardo de Moura --- src/math/realclosure/realclosure.cpp | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/src/math/realclosure/realclosure.cpp b/src/math/realclosure/realclosure.cpp index d970136c0..35a7fcedc 100644 --- a/src/math/realclosure/realclosure.cpp +++ b/src/math/realclosure/realclosure.cpp @@ -1820,6 +1820,7 @@ namespace realclosure { } TRACE("rcf_sign_det", tout << "Final state\n"; + display_poly(tout, p_sz, p); tout << "\n"; tout << M_s; for (unsigned j = 0; j < scs.size(); j++) { display_sign_conditions(tout, scs[j]); @@ -1828,6 +1829,10 @@ namespace realclosure { tout << "qs:\n"; for (unsigned j = 0; j < qs.size(); j++) { display_poly(tout, qs.size(j), qs.coeffs(j)); tout << "\n"; + } + tout << "prs:\n"; + for (unsigned j = 0; j < prs.size(); j++) { + display_poly(tout, prs.size(j), prs.coeffs(j)); tout << "\n"; }); // TODO: create the extension objects using