spaces

Author: jerebertho

src/msolve/iofiles.c

@@ -380,7 +380,7 @@ static int32_t get_nvars(const char *fn)
     char * line = NULL;
     char * line2 = NULL;
     size_t len;
-    nvars_t nvars = -1; 
+    nvars_t nvars = -1;
 
     /* number of variables is read from first line, it is 1 + (number of commata) */
     if (getline(&line, &len, fh) != -1)
@@ -612,11 +612,11 @@ static void remove_trailing_delim(char *line, ssize_t *len, char delim) {
     }
 }
 
-static void get_nterms_and_all_nterms(FILE *fh, 
+static void get_nterms_and_all_nterms(FILE *fh,
                                       int max_line_size, data_gens_ff_t *gens,
                                       int32_t *nr_gens, nelts_t *nterms, nelts_t *all_nterms){
 
-    char *line  = NULL; 
+    char *line  = NULL;
     size_t size;
     ssize_t len;
     for (int32_t i = 0; i < *nr_gens; i++) {
@@ -873,7 +873,7 @@ static void get_coeffs_and_exponents_ff32(FILE *fh, nelts_t all_nterms,
     size_t size;
     ssize_t len;
 
-    char *line  = NULL; 
+    char *line  = NULL;
     if(getline(&line, &size, fh) !=-1){
     }
     if(getline(&line, &size, fh) !=-1){
@@ -909,7 +909,7 @@ static void get_coeffs_and_exponents_mpz(FILE *fh, nelts_t all_nterms,
     size_t size;
     ssize_t len;
 
-    char *line  = NULL; 
+    char *line  = NULL;
     if(getline(&line, &size, fh) !=-1){
     }
     if(getline(&line, &size, fh) !=-1){

src/msolve/lifting-gb.c

@@ -1948,7 +1948,7 @@ int64_t export_groebner_qq(
     int err = 0;
 
     gb_modpoly_t *modgbsp = malloc(sizeof(gb_modpoly_t));
-    modgbsp = 
+    modgbsp =
     core_groebner_qq(modgbsp, bs, msd, md, &err, field_char,
             2/* if set to 1, only the LM of the Gbs are correct */);
     if (err) {

src/neogb/f4.c

@@ -80,7 +80,7 @@ void free_f4_julia_result_data(
     int64_t len = 0;
     for (i = 0; i < ngens; ++i) {
         len += (int64_t)lens[i];
-    } 
+    }
 
     (*freep)(lens);
     lens  = NULL;
@@ -407,7 +407,7 @@ static int32_t initialize_f4(
     *lbsp  = bs;
     *matp  = mat;
     *lmdp  = md;
-    
+
     return done;
 }
 
@@ -690,7 +690,7 @@ bs_t *core_f4(
     /* let's start the f4 rounds, we are done when no more spairs
        are left in the pairset or if we found a constant in the basis. */
     print_round_information_header(stdout, md);
-    
+
     /* reset error */
     *errp = 0;
     while (!done) {

src/neogb/f4sat.c

@@ -43,7 +43,7 @@ static inline int is_pure_power(
     const len_t ebl = ht->ebl;
     const len_t evl = ht->evl;
     const len_t nv  = ht->nv;
-    
+
     for (i = 1; i < ebl; ++i) {
         if (ev[i] == 0) {
             ctr++;
@@ -69,7 +69,7 @@ static inline int is_zero_dimensional(
     len_t i;
 
     len_t ctr = 0;
-    
+
     const len_t nv  = ht->nv;
     const len_t lml = bs->lml;
 
@@ -78,7 +78,7 @@ static inline int is_zero_dimensional(
             ctr ++;
         }
     }
-    
+
     if (ctr == nv) {
         return 1;
     }
@@ -122,7 +122,7 @@ static int is_already_saturated(
     memcpy(lmps, bs->lmps, (unsigned long)lml * sizeof(bl_t));
     int8_t *red     = (int8_t *)malloc((unsigned long)bs->sz * sizeof(int8_t));
     memcpy(red, bs->red, (unsigned long)bs->sz * sizeof(int8_t));
-    
+
     ps_t *ps = st->ps;
 
     cf32_t *cf  = (cf32_t *)malloc(
@@ -139,7 +139,7 @@ static int is_already_saturated(
     bs->hm[bs->ld]    = hm;
 
     update_basis_f4(ps, bs, bht, st, 1);
-    
+
     /* suppress infolevel printing in the test step */
     int32_t infolevel = st->info_level;
     st->info_level  = 0;

src/neogb/io.c

@@ -407,7 +407,7 @@ void import_input_data(
     }
     /* maybe some input elements are invalid, so reset ngens here */
     ngens = ctr;
-            
+
     /* set total degree of input polynomials */
     deg_t deg = 0;
     if (st->nev) {
@@ -1119,7 +1119,7 @@ int32_t check_and_set_meta_data_trace(
     return check_and_set_meta_data(st, lens, exps, cfs, invalid_gens,
             field_char, mon_order, elim_block_len, nr_vars, nr_gens,
             nr_nf, ht_size, nr_threads, max_nr_pairs, reset_hash_table,
-            la_option, use_signatures, reduce_gb, pbm_file, truncate_lifting, 
+            la_option, use_signatures, reduce_gb, pbm_file, truncate_lifting,
             info_level);
 }
 

src/neogb/nf.c

@@ -162,7 +162,7 @@ int64_t export_nf(
         return 1;
     }
     if (success == 0) {
-        printf(stderr,"Bad input data, stopped computation.\n");
+        fprintf(stderr,"Bad input data, stopped computation.\n");
         exit(1);
     }
     if (bs_is_gb == 1) {
@@ -176,7 +176,7 @@ int64_t export_nf(
         bs = core_gba(bs, md, &err, md->fc);
 
         if (err) {
-            printf("Problem with F4, stopped computation.\n");
+            fprintf(stderr,"Problem with F4, stopped computation.\n");
             exit(1);
         }
     }
@@ -195,7 +195,7 @@ int64_t export_nf(
     tbr = core_nf(tbr, md, mul, bs, &err);
 
     if (err) {
-        printf("Problem with normalform, stopped computation.\n");
+        fprintf(stderr,"Problem with normalform, stopped computation.\n");
         exit(1);
     }