Commit 8d55764f authored by Mohab Safey El Din's avatar Mohab Safey El Din
Browse files

Merge branch 'debug' into 'master'

debug -g2 option in char 0

See merge request eder/msolve!77
parents 4187f289 dfcf6cfb
......@@ -256,15 +256,18 @@ static void print_msolve_polynomials_ff(
hm = bs->hm[idx]+OFFSET;
len = bs->hm[idx][LENGTH];
switch (st->ff_bits) {
case 8:
fprintf(file, "%u", bs->cf_8[bs->hm[idx][COEFFS]][0]);
break;
case 16:
fprintf(file, "%u", bs->cf_16[bs->hm[idx][COEFFS]][0]);
break;
case 32:
fprintf(file, "%u", bs->cf_32[bs->hm[idx][COEFFS]][0]);
break;
case 0 :
fprintf(file, "%u", bs->cf_32[bs->hm[idx][COEFFS]][0]);
break;
case 8:
fprintf(file, "%u", bs->cf_8[bs->hm[idx][COEFFS]][0]);
break;
case 16:
fprintf(file, "%u", bs->cf_16[bs->hm[idx][COEFFS]][0]);
break;
case 32:
fprintf(file, "%u", bs->cf_32[bs->hm[idx][COEFFS]][0]);
break;
}
for (k = 0; k < nv; ++k) {
if (ht->ev[hm[0]][evi[k]] > 0) {
......@@ -273,6 +276,9 @@ static void print_msolve_polynomials_ff(
}
for (j = 1; j < len; ++j) {
switch (st->ff_bits) {
case 0:
fprintf(file, "+%u", bs->cf_32[bs->hm[idx][COEFFS]][j]);
break;
case 8:
fprintf(file, "+%u", bs->cf_8[bs->hm[idx][COEFFS]][j]);
break;
......
......@@ -2497,10 +2497,19 @@ static int32_t * modular_trace_learning(sp_matfglm_t **bmatrix,
return NULL;
}
}
print_ff_basis_data(
files->out_file, "a", bs, bht, st, gens, print_gb);
if(print_gb){
if(st->fc == 0){
/* to fix display inconsistency when gens->fc = 0 */
st->fc = fc;
print_ff_basis_data(
files->out_file, "a", bs, bht, st, gens, print_gb);
st->fc = 0;
}
else{
print_ff_basis_data(
files->out_file, "a", bs, bht, st, gens, print_gb);
}
}
check_and_set_linear_poly(nlins_ptr, linvars, lineqs_ptr, bht, bexp_lm, bs);
if(has_dimension_zero(bs->lml, bht->nv, bexp_lm)){
......@@ -2985,8 +2994,8 @@ int msolve_trace_qq(mpz_param_t mpz_param,
free(invalid_gens);
return -3;
}
/* checks and set all meta data. if a nonzero value is returned then
* some of the input data is corrupted. */
/* checks and set all meta data. if a nonzero value is returned then
* some of the input data is corrupted. */
if (check_and_set_meta_data_trace(st, lens, exps, cfs, invalid_gens,
field_char, mon_order, elim_block_len, nr_vars, nr_gens,
......
......@@ -967,7 +967,6 @@ int validate_input_data(
fprintf(stderr, "Fixes linear algebra option to exact sparse.\n");
*la_optionp = 2;
}
printf("%d\n", *use_signaturesp);
if (*use_signaturesp < 0 || *use_signaturesp > 3) {
fprintf(stderr, "Usage of signature not valid, disabled.\n");
*use_signaturesp = 0;
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment