We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent a126fc3 commit b6f5cbfCopy full SHA for b6f5cbf
1 file changed
src/msolve/msolve.c
@@ -5203,9 +5203,11 @@ int core_msolve(
5203
if (genericity_handling == 2) {
5204
if (oldminpolydeg == -1 || oldminpolydeg < minpolydeg) {
5205
oldminpolydeg = minpolydeg; // need to run a 2nd time
5206
- } else if (oldminpolydeg == minpolydeg && info_level > 0) {
+ } else if (oldminpolydeg == minpolydeg) {
5207
/* same degree for both random linear forms */
5208
- printf ("\nRestarting with a non-random linear form");
+ if (info_level > 0) {
5209
+ printf ("\nRestarting with a non-random linear form");
5210
+ }
5211
/* set back the base coefficient to its previous form
5212
before introducing the random linear form.
5213
Only for value larger than 1
0 commit comments