| version 1.51, 2021/03/09 07:07:02 |
version 1.52, 2021/03/09 08:48:50 |
|
|
| /* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.50 2021/03/09 05:20:35 noro Exp $ */ |
/* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.51 2021/03/09 07:07:02 noro Exp $ */ |
| |
|
| #include "nd.h" |
#include "nd.h" |
| |
|
| Line 2623 init_eg(&eg_update); |
|
| Line 2623 init_eg(&eg_update); |
|
| } |
} |
| sugar = 0; |
sugar = 0; |
| if ( nd_hpdata ) { |
if ( nd_hpdata ) { |
| |
if ( DP_Print ) fprintf(asir_out,"Hilbert driven algorithm.\n"); |
| setup_hpdata(&final_hpdata,¤t_hpdata); |
setup_hpdata(&final_hpdata,¤t_hpdata); |
| } |
} |
| while ( d ) { |
while ( d ) { |
|
|
| else { |
else { |
| final_hpvalue = hpvalue(&final_hpdata,sugar); |
final_hpvalue = hpvalue(&final_hpdata,sugar); |
| if ( final_hpvalue == hpvalue(¤t_hpdata,sugar) ) { |
if ( final_hpvalue == hpvalue(¤t_hpdata,sugar) ) { |
| if ( DP_Print ) fprintf(asir_out,"sugar=%d done.\n",sugar); |
// if ( DP_Print ) fprintf(asir_out,"done.\n",sugar); |
| d = nd_remove_same_sugar(d,sugar); |
d = nd_remove_same_sugar(d,sugar); |
| continue; |
continue; |
| } |
} |
| Line 2713 get_eg(&eg2); add_eg(&eg_update,&eg1,&eg2); |
|
| Line 2714 get_eg(&eg2); add_eg(&eg_update,&eg1,&eg2); |
|
| if ( nd_hpdata ) { |
if ( nd_hpdata ) { |
| update_hpdata(¤t_hpdata,nh,1); |
update_hpdata(¤t_hpdata,nh,1); |
| if ( final_hpvalue == hpvalue(¤t_hpdata,sugar) ) { |
if ( final_hpvalue == hpvalue(¤t_hpdata,sugar) ) { |
| if ( DP_Print ) fprintf(asir_out,"sugar=%d done.\n",sugar); |
// if ( DP_Print ) fprintf(asir_out,"sugar=%d done.\n",sugar); |
| d = nd_remove_same_sugar(d,sugar); |
d = nd_remove_same_sugar(d,sugar); |
| } |
} |
| } |
} |
| Line 3049 init_eg(&eg_hpdata); |
|
| Line 3050 init_eg(&eg_hpdata); |
|
| init_eg(&eg_sbabuch); |
init_eg(&eg_sbabuch); |
| get_eg(&eg3); |
get_eg(&eg3); |
| while ( 1 ) { |
while ( 1 ) { |
| if ( DP_Print && dlen%100 == 0 ) fprintf(asir_out,"(%d)",dlen); |
if ( DP_Print && !nd_hpdata && dlen%100 == 0 ) fprintf(asir_out,"(%d)",dlen); |
| again : |
again : |
| get_eg(&eg1); |
get_eg(&eg1); |
| ind = nd_minsig(d); |
ind = nd_minsig(d); |
| Line 3371 NODE nd_gb_trace(int m,int ishomo,int **indp) |
|
| Line 3372 NODE nd_gb_trace(int m,int ishomo,int **indp) |
|
| } |
} |
| sugar = 0; |
sugar = 0; |
| if ( nd_hpdata ) { |
if ( nd_hpdata ) { |
| |
if ( DP_Print ) fprintf(asir_out,"Hilbert driven algorithm.\n"); |
| setup_hpdata(&final_hpdata,¤t_hpdata); |
setup_hpdata(&final_hpdata,¤t_hpdata); |
| } |
} |
| |
|
|
|
| else { |
else { |
| final_hpvalue = hpvalue(&final_hpdata,sugar); |
final_hpvalue = hpvalue(&final_hpdata,sugar); |
| if ( final_hpvalue == hpvalue(¤t_hpdata,sugar) ) { |
if ( final_hpvalue == hpvalue(¤t_hpdata,sugar) ) { |
| if ( DP_Print ) fprintf(asir_out,"sugar=%d done.\n",sugar); |
// if ( DP_Print ) fprintf(asir_out,"sugar=%d done.\n",sugar); |
| d = nd_remove_same_sugar(d,sugar); |
d = nd_remove_same_sugar(d,sugar); |
| continue; |
continue; |
| } |
} |
|
|
| if ( nd_hpdata ) { |
if ( nd_hpdata ) { |
| update_hpdata(¤t_hpdata,nh,1); |
update_hpdata(¤t_hpdata,nh,1); |
| if ( final_hpvalue == hpvalue(¤t_hpdata,sugar) ) { |
if ( final_hpvalue == hpvalue(¤t_hpdata,sugar) ) { |
| if ( DP_Print ) fprintf(asir_out,"sugar=%d done.\n",sugar); |
// if ( DP_Print ) fprintf(asir_out,"sugar=%d done.\n",sugar); |
| d = nd_remove_same_sugar(d,sugar); |
d = nd_remove_same_sugar(d,sugar); |
| } |
} |
| } |
} |