Skip to content

Commit

Permalink
fixes printing of info level data
Browse files Browse the repository at this point in the history
  • Loading branch information
ederc committed Jul 26, 2024
1 parent c3bb3c5 commit 9bdb8e2
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions src/msolve/lifting-gb.c
Original file line number Diff line number Diff line change
Expand Up @@ -1456,7 +1456,7 @@ gb_modpoly_t *core_groebner_qq(
}
if(dlift->lstart != lstart){
if(info_level){
fprintf(stdout, "<%.2f%%>", 100* (float)MIN((dlift->lstart + 1), modgbs->ld)/modgbs->ld);
fprintf(stdout, "<%.2f%%>", 100* (float)MIN((dlift->lstart + 1), (*modgbsp)->ld)/(*modgbsp)->ld);
fflush(stdout);
}
lstart = dlift->lstart;
Expand All @@ -1473,7 +1473,7 @@ gb_modpoly_t *core_groebner_qq(
/* fprintf(stderr, "\nCRT time = %.2f, Rational reconstruction time = %.2f\n", st_crt, st_rrec); */
/* } */
if(info_level){
long nbits = max_bit_size_gb(modgbs);
long nbits = max_bit_size_gb((*modgbsp));
/* fprintf(stderr, "Maximum bit size of the coefficients: %ld\n", nbits); */
/* fprintf(stderr, "%d primes used. \nElapsed time: %.2f\n", nprimes, realtime()-st0); */
fprintf(stdout,"\n\n---------- COMPUTATIONAL DATA -----------\n");
Expand Down

0 comments on commit 9bdb8e2

Please sign in to comment.