From db5783a78f9ada743b5afc6d1f2f89921c84144c Mon Sep 17 00:00:00 2001
From: safey <mohab.safey@lip6.fr>
Date: Sun, 25 Jan 2026 14:53:39 +0100
Subject: [PATCH 1/4] removes unused variables

---
 src/msolve/msolve.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/msolve/msolve.c b/src/msolve/msolve.c
index 2c6fb374..89abb271 100644
--- a/src/msolve/msolve.c
+++ b/src/msolve/msolve.c
@@ -3062,7 +3062,6 @@ void generate_table_values_full(interval *rt, mpz_t c, const long ns,
         generate_table_values_full_large_pos(rt->numer, c, rt->k, ns, b, corr, xdo, xup);
         return;
     }
-    double st = realtime();
   mpz_add_ui(c, rt->numer, 1);
 
   if (mpz_sgn(rt->numer) >= 0) {
@@ -3437,7 +3436,6 @@ void lazy_single_real_root_param(mpz_param_t param, mpz_t *polelim,
             refine = 0;
         }
         else{
-            double str = cputime();
             refine_root_elim(param, polelim, ns, rt, pos_root,
                 tab, xdo, xup, den_up, den_do, c, &corr,
                 &b, info_level);

From b176821cb7daa1f73d7a711b14c2dad9f2d0ecee Mon Sep 17 00:00:00 2001
From: safey <mohab.safey@lip6.fr>
Date: Sun, 25 Jan 2026 14:54:18 +0100
Subject: [PATCH 2/4] indentation

---
 src/msolve/msolve.c | 16 ++++++++--------
 1 file changed, 8 insertions(+), 8 deletions(-)

diff --git a/src/msolve/msolve.c b/src/msolve/msolve.c
index 89abb271..7fe5f034 100644
--- a/src/msolve/msolve.c
+++ b/src/msolve/msolve.c
@@ -3054,14 +3054,14 @@ void generate_table_values_full(interval *rt, mpz_t c, const long ns,
                                 const long b, const long corr, mpz_t *xdo,
                                 mpz_t *xup) {
 
-    if(mpz_sizeinbase(rt->numer, 2) <= rt->k ){
-        generate_table_values_full_small(rt->numer, c, rt->k, ns, b, corr, xdo, xup);
-        return;
-    }
-    else{
-        generate_table_values_full_large_pos(rt->numer, c, rt->k, ns, b, corr, xdo, xup);
-        return;
-    }
+  if(mpz_sizeinbase(rt->numer, 2) <= rt->k ){
+      generate_table_values_full_small(rt->numer, c, rt->k, ns, b, corr, xdo, xup);
+      return;
+  }
+  else{
+      generate_table_values_full_large_pos(rt->numer, c, rt->k, ns, b, corr, xdo, xup);
+      return;
+  }
   mpz_add_ui(c, rt->numer, 1);
 
   if (mpz_sgn(rt->numer) >= 0) {

From 9315fb68780b521bf871cfde1da5169c18592e22 Mon Sep 17 00:00:00 2001
From: safey <mohab.safey@lip6.fr>
Date: Sun, 25 Jan 2026 14:55:05 +0100
Subject: [PATCH 3/4] removes unused variables

---
 src/msolve/msolve.c | 2 --
 1 file changed, 2 deletions(-)

diff --git a/src/msolve/msolve.c b/src/msolve/msolve.c
index 7fe5f034..6395eff4 100644
--- a/src/msolve/msolve.c
+++ b/src/msolve/msolve.c
@@ -2982,8 +2982,6 @@ void generate_table_values_full_large_pos(mpz_t numer, mpz_t c, const long k, co
                                 const long b, const long corr, mpz_t *xdo,
                                 mpz_t *xup) {
 
-    double st = realtime();
-
     mpz_add_ui(c, numer, 1);
     long newcorr = MAX(corr, 2 * ns * (mpz_sizeinbase(numer, 2) - k));
 

From cbb905be59609d875d2a2a2e4307537c094ef0f8 Mon Sep 17 00:00:00 2001
From: safey <mohab.safey@lip6.fr>
Date: Mon, 26 Jan 2026 09:53:28 +0100
Subject: [PATCH 4/4] fixes conflict

---
 src/msolve/msolve.c | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/src/msolve/msolve.c b/src/msolve/msolve.c
index 6395eff4..c55b5ab8 100644
--- a/src/msolve/msolve.c
+++ b/src/msolve/msolve.c
@@ -2150,10 +2150,6 @@ int msolve_trace_qq(mpz_param_t *mpz_paramp,
   int32_t nr_nf = 0;
   const uint32_t prime_start = (uint32_t)(1) << 30;
   const int32_t nr_primes = nr_threads;
-
-  len_t i;
-
-
   /* initialize stuff */
   md_t *st = allocate_meta_data();