From 38caac0c55c45539966493bfb26229345b3f6fe1 Mon Sep 17 00:00:00 2001
From: Sven Verdoolaege <skimo@kotnet.org>
Date: Thu, 8 Feb 2007 11:44:08 +0100
Subject: [PATCH] reducer.cc: extra sanity checks

---
 reducer.cc | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/reducer.cc b/reducer.cc
index 9425260..5fc454a 100644
--- a/reducer.cc
+++ b/reducer.cc
@@ -406,6 +406,7 @@ void icounter::base(const QQ& c, const vec_ZZ& num, const mat_ZZ& den_f)
     unsigned len = den_f.NumRows();  // number of factors in den
     vec_ZZ den_s;
     den_s.SetLength(len);
+    assert(num.length() == 1);
     ZZ num_s = num[0];
     for (r = 0; r < len; ++r)
 	den_s[r] = den_f[r][0];
@@ -436,6 +437,7 @@ void infinite_icounter::base(const QQ& c, const vec_ZZ& num, const mat_ZZ& den_f
     unsigned len = den_f.NumRows();  // number of factors in den
     vec_ZZ den_s;
     den_s.SetLength(len);
+    assert(num.length() == 1);
     ZZ num_s = num[0];
 
     for (r = 0; r < len; ++r)
-- 
2.11.4.GIT