File tree Expand file tree Collapse file tree
Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -5203,7 +5203,7 @@ int core_msolve(
52035203 if (genericity_handling == 2 ) {
52045204 if (oldminpolydeg == -1 || oldminpolydeg < minpolydeg ) {
52055205 oldminpolydeg = minpolydeg ; // need to run a 2nd time
5206- } else if (oldminpolydeg == minpolydeg ) {
5206+ } else if (oldminpolydeg == minpolydeg && info_level > 0 ) {
52075207 /* same degree for both random linear forms */
52085208 printf ("\nRestarting with a non-random linear form" );
52095209 /* set back the base coefficient to its previous form
@@ -5229,7 +5229,9 @@ int core_msolve(
52295229 } /* else oldminpolydeg > minpoly deg so need to run
52305230 another 2nd time */
52315231 minpolydeg = -1 ;
5232- printf ("\nRestarting with another random linear form" );
5232+ if (info_level > 0 ) {
5233+ printf ("\nRestarting with another random linear form" );
5234+ }
52335235 /* set back the base coefficient to its previous form
52345236 before introducing the random linear form.
52355237 Only for value larger than 1
You can’t perform that action at this time.
0 commit comments