fixes display

mohabsafey · Feb 12, 2024 · 9c40824 · 9c40824
1 parent e431471
commit 9c40824
Showing 1 changed file with 6 additions and 1 deletion.
diff --git a/src/msolve/lifting-gb.c b/src/msolve/lifting-gb.c
@@ -1536,7 +1536,12 @@ void print_msolve_gbtrace_qq(data_gens_ff_t *gens,
     fprintf(ofile, "#Leading ideal data\n");
   } else {
     if (flags->print_gb > 1) {
-      fprintf(ofile, "#Reduced Groebner basis data\n");
+      if(flags->truncate_lifting>0){
+        fprintf(ofile, "#Truncated reduced Groebner basis data\n");
+      }
+      else{
+        fprintf(ofile, "#Reduced Groebner basis data\n");
+      }
     }
   }
   fprintf(ofile, "#---\n");