version 1.57, 2021/12/07 08:48:34 |
version 1.61, 2021/12/18 04:43:59 |
|
|
/* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.56 2021/12/05 22:41:04 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.60 2021/12/17 23:53:13 noro Exp $ */ |
|
|
#include "nd.h" |
#include "nd.h" |
|
|
Line 2505 void setup_hpdata(HPDATA final,HPDATA current) |
|
Line 2505 void setup_hpdata(HPDATA final,HPDATA current) |
|
|
|
final->n = n = nd_nvar; |
final->n = n = nd_nvar; |
final->hn = (P)BDY(nd_hpdata); |
final->hn = (P)BDY(nd_hpdata); |
|
#if 0 |
if ( NEXT(nd_hpdata) != 0 && (weight=(LIST)BDY(NEXT(nd_hpdata))) != 0 ) { |
if ( NEXT(nd_hpdata) != 0 && (weight=(LIST)BDY(NEXT(nd_hpdata))) != 0 ) { |
wlen = length(BDY(weight)); |
wlen = length(BDY(weight)); |
if ( n != wlen ) |
if ( n != wlen ) |
Line 2514 void setup_hpdata(HPDATA final,HPDATA current) |
|
Line 2515 void setup_hpdata(HPDATA final,HPDATA current) |
|
w[i] = ZTOS((Z)BDY(nd)); |
w[i] = ZTOS((Z)BDY(nd)); |
} else |
} else |
w = 0; |
w = 0; |
|
#else |
|
w = current_dl_weight_vector; |
|
#endif |
MKVECT(x,n); |
MKVECT(x,n); |
for ( i = 0; i < n; i++ ) { |
for ( i = 0; i < n; i++ ) { |
NEWDL(dl,n); dl->d[i] = 1; dl->td = 1; BDY(x)[i] = dl; |
NEWDL(dl,n); dl->d[i] = 1; dl->td = 1; BDY(x)[i] = dl; |
Line 2584 ND_pairs nd_remove_same_sugar( ND_pairs d, int sugar) |
|
Line 2588 ND_pairs nd_remove_same_sugar( ND_pairs d, int sugar) |
|
{ |
{ |
struct oND_pairs root; |
struct oND_pairs root; |
ND_pairs prev,cur; |
ND_pairs prev,cur; |
|
int i; |
|
|
root.next = d; |
root.next = d; |
prev = &root; cur = d; |
prev = &root; cur = d; |
|
i = 0; |
while ( cur ) { |
while ( cur ) { |
if ( SG(cur) == sugar ) |
if ( SG(cur) == sugar ) { |
prev->next = cur->next; |
prev->next = cur->next; |
else |
i++; |
|
} else |
prev = cur; |
prev = cur; |
cur = cur->next; |
cur = cur->next; |
} |
} |
|
if ( DP_Print ) fprintf(asir_out,"[%d]",i); |
return root.next; |
return root.next; |
} |
} |
|
|
Line 2709 get_eg(&eg2); add_eg(&eg_update,&eg1,&eg2); |
|
Line 2717 get_eg(&eg2); add_eg(&eg_update,&eg1,&eg2); |
|
update_hpdata(¤t_hpdata,nh); |
update_hpdata(¤t_hpdata,nh); |
dg = comp_hn(final_hpdata.hn,current_hpdata.hn); |
dg = comp_hn(final_hpdata.hn,current_hpdata.hn); |
if ( dg < 0 ) { |
if ( dg < 0 ) { |
fprintf(asir_out,"We found a gb\n"); |
int d_len; |
d = 0; |
for ( d_len = 0; d; d = d->next, d_len++); |
|
fprintf(asir_out,"[%d] We found a gb\n",d_len); |
} |
} |
if ( dg > sugar ) { |
|
// printexpr(CO,(Obj)current_hpdata.hn); |
|
fprintf(asir_out,"\n"); |
|
} |
|
sugar0 = sugar; |
sugar0 = sugar; |
while ( d && dg > sugar0 ) { |
while ( d && dg > sugar0 ) { |
if ( DP_Print ) fprintf(asir_out,"sugar=%d done.\n",sugar); |
d = nd_remove_same_sugar(d,sugar0); |
d = nd_remove_same_sugar(d,sugar); |
|
sugar0++; |
sugar0++; |
} |
} |
} |
} |
Line 2738 get_eg(&eg2); add_eg(&eg_update,&eg1,&eg2); |
|
Line 2742 get_eg(&eg2); add_eg(&eg_update,&eg1,&eg2); |
|
} |
} |
conv_ilist(nd_demand,0,g,indp); |
conv_ilist(nd_demand,0,g,indp); |
if ( !checkonly && DP_Print ) { |
if ( !checkonly && DP_Print ) { |
fprintf(asir_out,"\nnd_gb done. Nnd_add=%d,Npairs=%d, Nnfnz=%d,Nnfz=%d,",Nnd_add,Npairs,Nnfnz,Nnfz); |
fprintf(asir_out,"\nnd_gb done. Nbase=%d,Nnd_add=%d,Npairs=%d, Nnfnz=%d,Nnfz=%d,",nd_psn,Nnd_add,Npairs,Nnfnz,Nnfz); |
fprintf(asir_out,"Nremoved=%d\n",NcriB+NcriMF+Ncri2); |
fprintf(asir_out,"Nremoved=%d\n",NcriB+NcriMF+Ncri2); |
fflush(asir_out); |
fflush(asir_out); |
} |
} |
Line 3193 get_eg(&eg2); add_eg(&eg_remove,&eg1,&eg2); |
|
Line 3197 get_eg(&eg2); add_eg(&eg_remove,&eg1,&eg2); |
|
g = conv_ilist_s(nd_demand,0,indp); |
g = conv_ilist_s(nd_demand,0,indp); |
if ( DP_Print ) { |
if ( DP_Print ) { |
printf("\ndlen=%d,nd_sba done. nd_add=%d,Nsyz=%d,Nsamesig=%d,Nnominimal=%d\n",dlen,Nnd_add,Nsyz,Nsamesig,Nnominimal); |
printf("\ndlen=%d,nd_sba done. nd_add=%d,Nsyz=%d,Nsamesig=%d,Nnominimal=%d\n",dlen,Nnd_add,Nsyz,Nsamesig,Nnominimal); |
printf("Nnfnz=%d,Nnfz=%d,Nnfsingular=%d\n",Nnfnz,Nnfz,Nnfs); |
printf("Nbase=%d,Nnfnz=%d,Nnfz=%d,Nnfsingular=%d\n",Nnfnz,Nnfz,Nnfs,nd_psn); |
fflush(stdout); |
fflush(stdout); |
if ( nd_sba_redundant_check ) |
if ( nd_sba_redundant_check ) |
printf("Nredundant=%d\n",Nredundant); |
printf("Nredundant=%d\n",Nredundant); |
|
|
update_hpdata(¤t_hpdata,nh); |
update_hpdata(¤t_hpdata,nh); |
dg = comp_hn(final_hpdata.hn,current_hpdata.hn); |
dg = comp_hn(final_hpdata.hn,current_hpdata.hn); |
if ( dg < 0 ) { |
if ( dg < 0 ) { |
fprintf(asir_out,"We found a gb\n"); |
int d_len; |
d = 0; |
for ( d_len = 0; d; d = d->next, d_len++); |
|
fprintf(asir_out,"[%d] We found a gb\n",d_len); |
} |
} |
if ( dg > sugar ) { |
|
// printexpr(CO,(Obj)current_hpdata.hn); |
|
fprintf(asir_out,"\n"); |
|
} |
|
sugar0 = sugar; |
sugar0 = sugar; |
while ( d && dg > sugar0 ) { |
while ( d && dg > sugar0 ) { |
if ( DP_Print ) fprintf(asir_out,"sugar=%d done.\n",sugar); |
d = nd_remove_same_sugar(d,sugar0); |
d = nd_remove_same_sugar(d,sugar); |
|
sugar0++; |
sugar0++; |
} |
} |
} |
} |
|
|
} |
} |
} |
} |
conv_ilist(nd_demand,1,g,indp); |
conv_ilist(nd_demand,1,g,indp); |
if ( DP_Print ) { fprintf(asir_out,"\nnd_gb_trace done.\n"); fflush(asir_out); } |
if ( DP_Print ) { fprintf(asir_out,"\nnd_gb_trace done. Nbase=%d\n",nd_psn); fflush(asir_out); } |
return g; |
return g; |
} |
} |
|
|