Merge pull request #154 from mohabsafey/bug-low-charac

bug fix (sets linalg option to 2 in low characteristic)
algebraic-solving · Jul 19, 2024 · ff0b93a · ff0b93a
2 parents a95f969 + 459b2bf
commit ff0b93a
Showing 1 changed file with 5 additions and 3 deletions.
diff --git a/src/msolve/main.c b/src/msolve/main.c
@@ -426,9 +426,11 @@ int main(int argc, char **argv){
     gens->random_linear_form = malloc(sizeof(int32_t)*(nr_vars));
     gens->elim = elim_block_len;
 
-    if(0 < field_char && field_char < pow(2, 15) && la_option > 2 && info_level){
-        fprintf(stderr, "Warning: characteristic is too low for choosing \nprobabilistic linear algebra\n");
-        fprintf(stderr, "\t linear algebra option set to 2\n");
+    if(0 < field_char && field_char < pow(2, 15) && la_option > 2){
+        if(info_level){
+            fprintf(stderr, "Warning: characteristic is too low for choosing \nprobabilistic linear algebra\n");
+            fprintf(stderr, "\t linear algebra option set to 2\n");
+        }
         la_option = 2;
     }