From a126fc37b06e474bed950632a50029e12fe2291f Mon Sep 17 00:00:00 2001 From: ederc Date: Sat, 13 Dec 2025 13:52:40 +0100 Subject: [PATCH 1/2] removes info on random linear forms for info_level 0 --- src/msolve/msolve.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/msolve/msolve.c b/src/msolve/msolve.c index 5229792f..a007d45c 100644 --- a/src/msolve/msolve.c +++ b/src/msolve/msolve.c @@ -5203,7 +5203,7 @@ int core_msolve( if (genericity_handling == 2) { if (oldminpolydeg == -1 || oldminpolydeg < minpolydeg) { oldminpolydeg = minpolydeg; // need to run a 2nd time - } else if (oldminpolydeg == minpolydeg) { + } else if (oldminpolydeg == minpolydeg && info_level > 0) { /* same degree for both random linear forms */ printf ("\nRestarting with a non-random linear form"); /* set back the base coefficient to its previous form @@ -5229,7 +5229,9 @@ int core_msolve( } /* else oldminpolydeg > minpoly deg so need to run another 2nd time */ minpolydeg = -1; - printf ("\nRestarting with another random linear form"); + if (info_level > 0) { + printf ("\nRestarting with another random linear form"); + } /* set back the base coefficient to its previous form before introducing the random linear form. Only for value larger than 1 From b6f5cbf2a8eb81ba8f27c035cd53da1747f5965e Mon Sep 17 00:00:00 2001 From: ederc Date: Sat, 13 Dec 2025 13:59:27 +0100 Subject: [PATCH 2/2] fixes if statement --- src/msolve/msolve.c | 6 ++++-- 1 file changed, 4 insertions(+), 2 deletions(-) diff --git a/src/msolve/msolve.c b/src/msolve/msolve.c index a007d45c..4f2623c9 100644 --- a/src/msolve/msolve.c +++ b/src/msolve/msolve.c @@ -5203,9 +5203,11 @@ int core_msolve( if (genericity_handling == 2) { if (oldminpolydeg == -1 || oldminpolydeg < minpolydeg) { oldminpolydeg = minpolydeg; // need to run a 2nd time - } else if (oldminpolydeg == minpolydeg && info_level > 0) { + } else if (oldminpolydeg == minpolydeg) { /* same degree for both random linear forms */ - printf ("\nRestarting with a non-random linear form"); + if (info_level > 0) { + printf ("\nRestarting with a non-random linear form"); + } /* set back the base coefficient to its previous form before introducing the random linear form. Only for value larger than 1