Skip to content

Removes info on random linear forms for info_level 0 #253

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Merged
jerebertho merged 2 commits into from
Dec 14, 2025
Merged

Removes info on random linear forms for info_level 0 #253

Changes from all commits
Commits
Show all changes
2 commits
Select commit Hold shift + click to select a range
a126fc3
removes info on random linear forms for info_level 0
ederc Dec 13, 2025
b6f5cbf
fixes if statement
ederc Dec 13, 2025
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 6 additions & 2 deletions src/msolve/msolve.c
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -5205,7 +5205,9 @@ int core_msolve(
oldminpolydeg = minpolydeg; // need to run a 2nd time
} 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
Expand All @@ -5229,7 +5231,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
Expand Down
Loading