File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -5205,7 +5205,9 @@ int core_msolve(
52055205 oldminpolydeg = minpolydeg ; // need to run a 2nd time
52065206 } else if (oldminpolydeg == minpolydeg ) {
52075207 /* same degree for both random linear forms */
5208- printf ("\nRestarting with a non-random linear form" );
5208+ if (info_level > 0 ) {
5209+ printf ("\nRestarting with a non-random linear form" );
5210+ }
52095211 /* set back the base coefficient to its previous form
52105212 before introducing the random linear form.
52115213 Only for value larger than 1
@@ -5229,7 +5231,9 @@ int core_msolve(
52295231 } /* else oldminpolydeg > minpoly deg so need to run
52305232 another 2nd time */
52315233 minpolydeg = -1 ;
5232- printf ("\nRestarting with another random linear form" );
5234+ if (info_level > 0 ) {
5235+ printf ("\nRestarting with another random linear form" );
5236+ }
52335237 /* set back the base coefficient to its previous form
52345238 before introducing the random linear form.
52355239 Only for value larger than 1
You can’t perform that action at this time.
0 commit comments