From 551d0b7de041c0d6ef40bf1e1cdd54936a56883b Mon Sep 17 00:00:00 2001 From: Leonardo de Moura Date: Sat, 12 Jan 2013 19:44:05 -0800 Subject: [PATCH] Fix bug in sprem Signed-off-by: Leonardo de Moura --- src/math/realclosure/realclosure.cpp | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/src/math/realclosure/realclosure.cpp b/src/math/realclosure/realclosure.cpp index 8840fd826..37b438136 100644 --- a/src/math/realclosure/realclosure.cpp +++ b/src/math/realclosure/realclosure.cpp @@ -2931,7 +2931,7 @@ namespace realclosure { unsigned d; prem(sz1, p1, sz2, p2, d, r); // We should not flip the sign if d is odd and leading coefficient of p2 is negative. - if (d % 2 == 0 || (sz2 > 0 && sign(p2[sz2-1]) < 0)) + if (d % 2 == 0 || (sz2 > 0 && sign(p2[sz2-1]) > 0)) neg(r); }