From: Alexei Sheplyakov <varg@theor.jinr.ru>
Date: Mon, 29 Sep 2008 05:58:35 +0000 (+0400)
Subject: [bugfix] remainder_in_ring: using exact division is plain wrong.
X-Git-Tag: release_1-5-0~56
X-Git-Url: https://www.ginac.de/ginac.git//ginac.git?p=ginac.git;a=commitdiff_plain;h=62923ac249c7e4f7e824bc37030ac79bab3675f3

[bugfix] remainder_in_ring: using exact division is plain wrong.
---

diff --git a/ginac/polynomial/remainder.tcc b/ginac/polynomial/remainder.tcc
index 4db2843b..60767dc0 100644
--- a/ginac/polynomial/remainder.tcc
+++ b/ginac/polynomial/remainder.tcc
@@ -90,7 +90,7 @@ bool remainder_in_ring(T& r, const T& a, const T& b)
 		if (zerop(r[k]))
 			continue;
 
-		const ring_t qk = div(r[k], b_lcoeff);
+		const ring_t qk = truncate1(r[k], b_lcoeff);
 
 		// Why C++ is so off-by-one prone?
 		for (std::size_t j = k, i = b.size(); i-- != 0; --j) {