[BACK]Return to nd.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2018 / engine

Diff for /OpenXM_contrib2/asir2018/engine/nd.c between version 1.11 and 1.12

version 1.11, 2018/10/23 04:53:37 version 1.12, 2018/11/12 04:25:13
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.10 2018/10/19 23:27:38 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2018/engine/nd.c,v 1.11 2018/10/23 04:53:37 noro Exp $ */
   
 #include "nd.h"  #include "nd.h"
   
 int Nnd_add,Nf4_red;  int Nnd_add,Nf4_red;
 struct oEGT eg_search;  struct oEGT eg_search,f4_symb,f4_conv,f4_elim1,f4_elim2;
   
 int diag_period = 6;  int diag_period = 6;
 int weight_check = 1;  int weight_check = 1;
Line 1130  INLINE int ndl_hash_value(UINT *d)
Line 1130  INLINE int ndl_hash_value(UINT *d)
   
     r = 0;      r = 0;
     for ( i = 0; i < nd_wpd; i++ )      for ( i = 0; i < nd_wpd; i++ )
         r = (r*10007+d[i]);          r = (r*1511+d[i]);
     r %= REDTAB_LEN;      r %= REDTAB_LEN;
     return r;      return r;
 }  }
Line 6679  NODE nd_f4(int m,int checkonly,int **indp)
Line 6679  NODE nd_f4(int m,int checkonly,int **indp)
     PGeoBucket bucket;      PGeoBucket bucket;
     struct oEGT eg0,eg1,eg_f4;      struct oEGT eg0,eg1,eg_f4;
     Z i1,i2,sugarq;      Z i1,i2,sugarq;
   
       init_eg(&f4_symb); init_eg(&f4_conv); init_eg(&f4_conv); init_eg(&f4_elim1); init_eg(&f4_elim2);
 #if 0  #if 0
     ndv_alloc = 0;      ndv_alloc = 0;
 #endif  #endif
Line 6724  NODE nd_f4(int m,int checkonly,int **indp)
Line 6726  NODE nd_f4(int m,int checkonly,int **indp)
             d = nd_reconstruct(0,d);              d = nd_reconstruct(0,d);
             continue;              continue;
         }          }
         get_eg(&eg1); init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg1);          get_eg(&eg1); init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg1); add_eg(&f4_symb,&eg0,&eg1);
         if ( DP_Print )          if ( DP_Print )
             fprintf(asir_out,"sugar=%d,symb=%.3fsec,",              fprintf(asir_out,"sugar=%d,symb=%.3fsec,",
                 sugar,eg_f4.exectime);                  sugar,eg_f4.exectime);
Line 6773  NODE nd_f4(int m,int checkonly,int **indp)
Line 6775  NODE nd_f4(int m,int checkonly,int **indp)
 #if 0  #if 0
     fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc);      fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc);
 #endif  #endif
   if ( DP_Print )    if ( DP_Print ) {
     fprintf(asir_out,"number of red=%d\n",Nf4_red);      fprintf(asir_out,"number of red=%d,",Nf4_red);
       fprintf(asir_out,"symb=%.3fsec,conv=%.3fsec,elim1=%.3fsec,elim2=%.3fsec\n",
         f4_symb.exectime,f4_conv.exectime,f4_elim1.exectime,f4_elim2.exectime);
     }
   conv_ilist(nd_demand,0,g,indp);    conv_ilist(nd_demand,0,g,indp);
     return g;      return g;
 }  }
Line 7083  NODE nd_f4_red(int m,ND_pairs sp0,int trace,UINT *s0ve
Line 7088  NODE nd_f4_red(int m,ND_pairs sp0,int trace,UINT *s0ve
         rhead[imat[i]->head] = 1;          rhead[imat[i]->head] = 1;
         start = imat[i]->head;          start = imat[i]->head;
     }      }
     get_eg(&eg1); init_eg(&eg_conv); add_eg(&eg_conv,&eg0,&eg1);      get_eg(&eg1); init_eg(&eg_conv); add_eg(&eg_conv,&eg0,&eg1); add_eg(&f4_conv,&eg0,&eg1);
     if ( DP_Print ) {      if ( DP_Print ) {
       fprintf(asir_out,"conv=%.3fsec,",eg_conv.exectime);        fprintf(asir_out,"conv=%.3fsec,",eg_conv.exectime);
       fflush(asir_out);        fflush(asir_out);
Line 9088  int ndv_reduce_vect64(int m,mp_limb_t *svect,mp_limb_t
Line 9093  int ndv_reduce_vect64(int m,mp_limb_t *svect,mp_limb_t
                     ivc = ivect->index.c;                      ivc = ivect->index.c;
                     for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {                      for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                         pos = prev+ivc[j]; c1 = CM(mr); prev = pos;                          pos = prev+ivc[j]; c1 = CM(mr); prev = pos;
                         if ( c1 ) {                          c2 = svect[pos]+c1*c;
                           c2 = svect[pos]+c1*c;                          if ( c2 < svect[pos] ) cvect[pos]++;
                           if ( c2 < svect[pos] ) cvect[pos]++;                          svect[pos] = c2;
                           svect[pos] = c2;  
                         }  
                     }                      }
                     break;                      break;
                 case 2:                  case 2:
                     ivs = ivect->index.s;                      ivs = ivect->index.s;
                     for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {                      for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                         pos = prev+ivs[j]; c1 = CM(mr); prev = pos;                          pos = prev+ivs[j]; c1 = CM(mr); prev = pos;
                         if ( c1 ) {                          c2 = svect[pos]+c1*c;
                           c2 = svect[pos]+c1*c;                          if ( c2 < svect[pos] ) cvect[pos]++;
                           if ( c2 < svect[pos] ) cvect[pos]++;                          svect[pos] = c2;
                           svect[pos] = c2;  
                         }  
                     }                      }
                     break;                      break;
                 case 4:                  case 4:
                     ivi = ivect->index.i;                      ivi = ivect->index.i;
                     for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {                      for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                         pos = prev+ivi[j]; c1 = CM(mr); prev = pos;                          pos = prev+ivi[j]; c1 = CM(mr); prev = pos;
                         if ( c1 ) {                          c2 = svect[pos]+c1*c;
                           c2 = svect[pos]+c1*c;                          if ( c2 < svect[pos] ) cvect[pos]++;
                           if ( c2 < svect[pos] ) cvect[pos]++;                          svect[pos] = c2;
                           svect[pos] = c2;  
                         }  
                     }                      }
                     break;                      break;
             }              }
Line 9170  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
Line 9169  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
         }          }
         nd_free(spol);          nd_free(spol);
     }      }
     get_eg(&eg1); init_eg(&eg_f4_1); add_eg(&eg_f4_1,&eg0,&eg1);      get_eg(&eg1); init_eg(&eg_f4_1); add_eg(&eg_f4_1,&eg0,&eg1); add_eg(&f4_elim1,&eg0,&eg1);
     if ( DP_Print ) {      if ( DP_Print ) {
         fprintf(asir_out,"elim1=%.3fsec,",eg_f4_1.exectime);          fprintf(asir_out,"elim1=%.3fsec,",eg_f4_1.exectime);
         fflush(asir_out);          fflush(asir_out);
Line 9191  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
Line 9190  NODE nd_f4_red_mod64_main(int m,ND_pairs sp0,int nsp,U
     if ( r0 ) NEXT(r) = 0;      if ( r0 ) NEXT(r) = 0;
   
     for ( ; i < sprow; i++ ) GCFREE(spmat[i]);      for ( ; i < sprow; i++ ) GCFREE(spmat[i]);
     get_eg(&eg2); init_eg(&eg_f4_2); add_eg(&eg_f4_2,&eg1,&eg2);      get_eg(&eg2); init_eg(&eg_f4_2); add_eg(&eg_f4_2,&eg1,&eg2); add_eg(&f4_elim2,&eg1,&eg2);
     init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg2);      init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg2);
     if ( DP_Print ) {      if ( DP_Print ) {
         fprintf(asir_out,"elim2=%.3fsec,",eg_f4_2.exectime);          fprintf(asir_out,"elim2=%.3fsec,",eg_f4_2.exectime);
Legend:
Removed from v.1.11  
changed lines
  Added in v.1.12
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>