From 5f3d77b779cb22caee22c3d998913681f32cf553 Mon Sep 17 00:00:00 2001 From: Sven Verdoolaege Date: Sun, 27 Nov 2016 09:56:58 +0100 Subject: [PATCH] barvinok.cc: drop unused edegree This code was introduced in 147ddcb (some debugging code that may be useful later, Sun Jan 2 14:20:45 2005 +0000) for debugging purposes, but never ended up getting used. Signed-off-by: Sven Verdoolaege --- barvinok.cc | 26 -------------------------- 1 file changed, 26 deletions(-) diff --git a/barvinok.cc b/barvinok.cc index 0459947..f58a35e 100644 --- a/barvinok.cc +++ b/barvinok.cc @@ -971,32 +971,6 @@ void ienumerator::reduce(evalue *factor, const mat_ZZ& num, const mat_ZZ& den_f, } } -static int type_offset(enode *p) -{ - return p->type == fractional ? 1 : - p->type == flooring ? 1 : 0; -} - -static int edegree(evalue *e) -{ - int d = 0; - enode *p; - - if (value_notzero_p(e->d)) - return 0; - - p = e->x.p; - int i = type_offset(p); - if (p->size-i-1 > d) - d = p->size - i - 1; - for (; i < p->size; i++) { - int d2 = edegree(&p->arr[i]); - if (d2 > d) - d = d2; - } - return d; -} - void ienumerator::handle(const signed_cone& sc, barvinok_options *options) { assert(sc.det == 1); -- 2.11.4.GIT