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

Diff for /OpenXM_contrib2/asir2000/engine/nd.c between version 1.214 and 1.215

version 1.214, 2013/09/27 07:00:45 version 1.215, 2013/12/20 02:02:24
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.213 2013/09/27 02:45:17 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.214 2013/09/27 07:00:45 noro Exp $ */
   
 #include "nd.h"  #include "nd.h"
   
Line 37  static UINT nd_mask[32];
Line 37  static UINT nd_mask[32];
 static UINT nd_mask0,nd_mask1;  static UINT nd_mask0,nd_mask1;
   
 static NDV *nd_ps;  static NDV *nd_ps;
   static NDV *nd_ps_gz;
 static NDV *nd_ps_trace;  static NDV *nd_ps_trace;
   static NDV *nd_ps_sym;
   static NDV *nd_ps_trace_sym;
 static RHist *nd_psh;  static RHist *nd_psh;
 static int nd_psn,nd_pslen;  static int nd_psn,nd_pslen;
 static RHist *nd_red;  static RHist *nd_red;
Line 77  void parse_nd_option(NODE opt);
Line 80  void parse_nd_option(NODE opt);
 void dltondl(int n,DL dl,UINT *r);  void dltondl(int n,DL dl,UINT *r);
 DP ndvtodp(int mod,NDV p);  DP ndvtodp(int mod,NDV p);
 DP ndtodp(int mod,ND p);  DP ndtodp(int mod,ND p);
   NDV ndvtondvgz(NDV p);
   NDV ndvgztondv(NDV p);
   ND ndtondgz(ND p);
   ND ndgztond(ND p);
   
 extern int Denominator,DP_Multiple;  extern int Denominator,DP_Multiple;
   
Line 1969  again:
Line 1976  again:
                                 }                                  }
             }              }
             nfv = ndtondv(m,nf); nd_free(nf);              nfv = ndtondv(m,nf); nd_free(nf);
             nh = ndv_newps(m,nfv,0);              nh = ndv_newps(m,nfv,0,0);
             if ( !m && (ishomo && ++diag_count == diag_period) ) {              if ( !m && (ishomo && ++diag_count == diag_period) ) {
                 diag_count = 0;                  diag_count = 0;
                 stat = do_diagonalize(sugar,m);                  stat = do_diagonalize(sugar,m);
Line 2249  again:
Line 2256  again:
                                            nd_tracelist = t;                                             nd_tracelist = t;
                                    }                                     }
                 }                  }
                 nh = ndv_newps(0,nfv,nfqv);                  nh = ndv_newps(0,nfv,nfqv,0);
                 if ( ishomo && ++diag_count == diag_period ) {                  if ( ishomo && ++diag_count == diag_period ) {
                     diag_count = 0;                      diag_count = 0;
                     if ( DP_Print > 2 ) fprintf(asir_out,"|");                      if ( DP_Print > 2 ) fprintf(asir_out,"|");
Line 2672  ND_pairs nd_minsugarp( ND_pairs d, ND_pairs *prest )
Line 2679  ND_pairs nd_minsugarp( ND_pairs d, ND_pairs *prest )
     return dm0;      return dm0;
 }  }
   
 int ndv_newps(int m,NDV a,NDV aq)  int ndv_newps(int m,NDV a,NDV aq,int f4)
 {  {
     int len;      int len;
     RHist r;      RHist r;
Line 2684  int ndv_newps(int m,NDV a,NDV aq)
Line 2691  int ndv_newps(int m,NDV a,NDV aq)
     if ( nd_psn == nd_pslen ) {      if ( nd_psn == nd_pslen ) {
         nd_pslen *= 2;          nd_pslen *= 2;
         nd_ps = (NDV *)REALLOC((char *)nd_ps,nd_pslen*sizeof(NDV));          nd_ps = (NDV *)REALLOC((char *)nd_ps,nd_pslen*sizeof(NDV));
           nd_ps_gz = (NDV *)REALLOC((char *)nd_ps_gz,nd_pslen*sizeof(NDV));
         nd_ps_trace = (NDV *)REALLOC((char *)nd_ps_trace,nd_pslen*sizeof(NDV));          nd_ps_trace = (NDV *)REALLOC((char *)nd_ps_trace,nd_pslen*sizeof(NDV));
         nd_psh = (RHist *)REALLOC((char *)nd_psh,nd_pslen*sizeof(RHist));          nd_psh = (RHist *)REALLOC((char *)nd_psh,nd_pslen*sizeof(RHist));
         nd_bound = (UINT **)          nd_bound = (UINT **)
             REALLOC((char *)nd_bound,nd_pslen*sizeof(UINT *));              REALLOC((char *)nd_bound,nd_pslen*sizeof(UINT *));
           nd_ps_sym = (NDV *)REALLOC((char *)nd_ps_sym,nd_pslen*sizeof(NDV));
           nd_ps_trace_sym = (NDV *)REALLOC((char *)nd_ps_trace_sym,nd_pslen*sizeof(NDV));
     }      }
     NEWRHist(r); nd_psh[nd_psn] = r;      NEWRHist(r); nd_psh[nd_psn] = r;
     nd_ps[nd_psn] = a;      nd_ps[nd_psn] = a;
     if ( aq ) {      if ( aq ) {
         nd_ps_trace[nd_psn] = aq;          nd_ps_trace[nd_psn] = aq;
                   nd_ps_gz[nd_psn] = ndvtondvgz(aq);
         register_hcf(aq);          register_hcf(aq);
         nd_bound[nd_psn] = ndv_compute_bound(aq);          nd_bound[nd_psn] = ndv_compute_bound(aq);
         SG(r) = SG(aq); ndl_copy(HDL(aq),DL(r));          SG(r) = SG(aq); ndl_copy(HDL(aq),DL(r));
Line 2700  int ndv_newps(int m,NDV a,NDV aq)
Line 2711  int ndv_newps(int m,NDV a,NDV aq)
         if ( !m ) register_hcf(a);          if ( !m ) register_hcf(a);
         nd_bound[nd_psn] = ndv_compute_bound(a);          nd_bound[nd_psn] = ndv_compute_bound(a);
         SG(r) = SG(a); ndl_copy(HDL(a),DL(r));          SG(r) = SG(a); ndl_copy(HDL(a),DL(r));
                   if ( !m ) nd_ps_gz[nd_psn] = ndvtondvgz(a);
     }      }
     if ( nd_demand ) {      if ( nd_demand ) {
         if ( aq ) {          if ( aq ) {
             ndv_save(nd_ps_trace[nd_psn],nd_psn);              ndv_save(nd_ps_trace[nd_psn],nd_psn);
               nd_ps_trace_sym[nd_psn] = ndv_symbolic(m,nd_ps_trace[nd_psn]);
             nd_ps_trace[nd_psn] = 0;              nd_ps_trace[nd_psn] = 0;
         } else {          } else {
             ndv_save(nd_ps[nd_psn],nd_psn);              ndv_save(nd_ps[nd_psn],nd_psn);
               nd_ps_sym[nd_psn] = ndv_symbolic(m,nd_ps[nd_psn]);
             nd_ps[nd_psn] = 0;              nd_ps[nd_psn] = 0;
         }          }
     }      }
Line 2755  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
Line 2769  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
     }      }
     nd_pslen = 2*nd_psn;      nd_pslen = 2*nd_psn;
     nd_ps = (NDV *)MALLOC(nd_pslen*sizeof(NDV));      nd_ps = (NDV *)MALLOC(nd_pslen*sizeof(NDV));
       nd_ps_gz = (NDV *)MALLOC(nd_pslen*sizeof(NDV));
     nd_ps_trace = (NDV *)MALLOC(nd_pslen*sizeof(NDV));      nd_ps_trace = (NDV *)MALLOC(nd_pslen*sizeof(NDV));
       nd_ps_sym = (NDV *)MALLOC(nd_pslen*sizeof(NDV));
       nd_ps_trace_sym = (NDV *)MALLOC(nd_pslen*sizeof(NDV));
     nd_psh = (RHist *)MALLOC(nd_pslen*sizeof(RHist));      nd_psh = (RHist *)MALLOC(nd_pslen*sizeof(RHist));
     nd_bound = (UINT **)MALLOC(nd_pslen*sizeof(UINT *));      nd_bound = (UINT **)MALLOC(nd_pslen*sizeof(UINT *));
     nd_hcf = 0;      nd_hcf = 0;
Line 2772  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
Line 2789  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
         hc = HCU(w[i].p);          hc = HCU(w[i].p);
         if ( trace ) {          if ( trace ) {
             a = nd_ps_trace[i] = ndv_dup(0,w[i].p);              a = nd_ps_trace[i] = ndv_dup(0,w[i].p);
                           nd_ps_gz[i] = ndvtondvgz(a);
             if ( !dont_removecont) ndv_removecont(0,a);              if ( !dont_removecont) ndv_removecont(0,a);
             register_hcf(a);              register_hcf(a);
             am = nd_ps[i] = ndv_dup(mod,a);              am = nd_ps[i] = ndv_dup(mod,a);
             ndv_mod(mod,am);              ndv_mod(mod,am);
             if ( DL_COMPARE(HDL(am),HDL(a)) )                  if ( DL_COMPARE(HDL(am),HDL(a)) )
                 return 0;                      return 0;
             ndv_removecont(mod,am);              ndv_removecont(mod,am);
         } else {          } else {
             a = nd_ps[i] = ndv_dup(mod,w[i].p);              a = nd_ps[i] = ndv_dup(mod,w[i].p);
                           if ( !mod ) nd_ps_gz[i] = ndvtondvgz(a);
             if ( mod || !dont_removecont ) ndv_removecont(mod,a);              if ( mod || !dont_removecont ) ndv_removecont(mod,a);
             if ( !mod ) register_hcf(a);              if ( !mod ) register_hcf(a);
         }          }
Line 2796  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
Line 2815  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
         if ( nd_demand ) {          if ( nd_demand ) {
             if ( trace ) {              if ( trace ) {
                 ndv_save(nd_ps_trace[i],i);                  ndv_save(nd_ps_trace[i],i);
                   nd_ps_trace_sym[i] = ndv_symbolic(mod,nd_ps_trace[i]);
                 nd_ps_trace[i] = 0;                  nd_ps_trace[i] = 0;
             } else {              } else {
                 ndv_save(nd_ps[i],i);                  ndv_save(nd_ps[i],i);
                   nd_ps_sym[i] = ndv_symbolic(mod,nd_ps[i]);
                 nd_ps[i] = 0;                  nd_ps[i] = 0;
             }              }
         }          }
Line 4162  ND_pairs nd_reconstruct(int trace,ND_pairs d)
Line 4183  ND_pairs nd_reconstruct(int trace,ND_pairs d)
     prev_ndp_free_list = _ndp_free_list;      prev_ndp_free_list = _ndp_free_list;
     _nm_free_list = 0;      _nm_free_list = 0;
     _ndp_free_list = 0;      _ndp_free_list = 0;
     for ( i = nd_psn-1; i >= 0; i-- ) ndv_realloc(nd_ps[i],obpe,oadv,oepos);      for ( i = nd_psn-1; i >= 0; i-- ) {
           ndv_realloc(nd_ps[i],obpe,oadv,oepos);
           ndv_realloc(nd_ps_sym[i],obpe,oadv,oepos);
           ndv_realloc(nd_ps_gz[i],obpe,oadv,oepos);
       }
     if ( trace )      if ( trace )
         for ( i = nd_psn-1; i >= 0; i-- )          for ( i = nd_psn-1; i >= 0; i-- ) {
             ndv_realloc(nd_ps_trace[i],obpe,oadv,oepos);              ndv_realloc(nd_ps_trace[i],obpe,oadv,oepos);
               ndv_realloc(nd_ps_trace_sym[i],obpe,oadv,oepos);
           }
     s0 = 0;      s0 = 0;
     for ( t = d; t; t = NEXT(t) ) {      for ( t = d; t; t = NEXT(t) ) {
         NEXTND_pairs(s0,s);          NEXTND_pairs(s0,s);
Line 4686  NDV ndv_dup(int mod,NDV p)
Line 4713  NDV ndv_dup(int mod,NDV p)
     return d;      return d;
 }  }
   
   NDV ndvtondvgz(NDV p)
   {
           NDV r;
           int len,i;
           NMV t;
   
           r = ndv_dup(0,p);
           len = LEN(p);
       for ( t = BDY(r), i = 0; i < len; i++, NMV_ADV(t) ) CZ(t) = ztogz(CQ(t));
           return r;
   }
   
   NDV ndvgztondv(NDV p)
   {
           NDV r;
           int len,i;
           NMV t;
   
           r = ndv_dup(0,p);
           len = LEN(p);
       for ( t = BDY(r), i = 0; i < len; i++, NMV_ADV(t) ) CQ(t) = gztoz(CZ(t));
           return r;
   }
   
   NDV ndv_symbolic(int mod,NDV p)
   {
       NDV d;
       NMV t,m,m0;
       int i,len;
   
       if ( !p ) return 0;
       len = LEN(p);
       m0 = m = (NMV)(mod?MALLOC_ATOMIC(len*nmv_adv):MALLOC(len*nmv_adv));
       for ( t = BDY(p), i = 0; i < len; i++, NMV_ADV(t), NMV_ADV(m) ) {
           ndl_copy(DL(t),DL(m));
           CQ(m) = ONE;
       }
       MKNDV(NV(p),m0,len,d);
       SG(d) = SG(p);
       return d;
   }
   
 ND nd_dup(ND p)  ND nd_dup(ND p)
 {  {
     ND d;      ND d;
Line 4703  ND nd_dup(ND p)
Line 4772  ND nd_dup(ND p)
     return d;      return d;
 }  }
   
   ND ndtondgz(ND p)
   {
           ND r;
           NM t;
   
           r = nd_dup(p);
       for ( t = BDY(r); t; t = NEXT(t) ) CZ(t) = ztogz(CQ(t));
           return r;
   }
   
   
   ND ndgztond(ND p)
   {
           ND r;
           NM t;
   
           r = nd_dup(p);
       for ( t = BDY(r); t; t = NEXT(t) ) CQ(t) = gztoz(CZ(t));
           return r;
   }
   
   
 /* XXX if p->len == 0 then it represents 0 */  /* XXX if p->len == 0 then it represents 0 */
   
 void ndv_mod(int mod,NDV p)  void ndv_mod(int mod,NDV p)
Line 5423  struct oEGT eg0,eg1;
Line 5514  struct oEGT eg0,eg1;
   
     m = pair->mul;      m = pair->mul;
     d = DL(m);      d = DL(m);
     p = nd_ps[pair->index];      p = nd_demand?nd_ps_sym[pair->index]:nd_ps[pair->index];
     len = LEN(p);      len = LEN(p);
     t = (UINT *)ALLOCA(nd_wpd*sizeof(UINT));      t = (UINT *)ALLOCA(nd_wpd*sizeof(UINT));
     v = (unsigned int *)ALLOCA(len*sizeof(unsigned int));      v = (unsigned int *)ALLOCA(len*sizeof(unsigned int));
Line 5502  int ndv_reduce_vect_q(Q *svect,int trace,int col,IndAr
Line 5593  int ndv_reduce_vect_q(Q *svect,int trace,int col,IndAr
         k = ivect->head;          k = ivect->head;
         if ( svect[k] ) {          if ( svect[k] ) {
             maxrs = MAX(maxrs,rp0[i]->sugar);              maxrs = MAX(maxrs,rp0[i]->sugar);
             redv = trace?nd_ps_trace[rp0[i]->index]:nd_ps[rp0[i]->index];              redv = nd_demand?ndv_load(rp0[i]->index)
                        :(trace?nd_ps_trace[rp0[i]->index]:nd_ps[rp0[i]->index]);
             len = LEN(redv); mr = BDY(redv);              len = LEN(redv); mr = BDY(redv);
             igcd_cofactor(svect[k],CQ(mr),&gcd,&cs,&cr);              igcd_cofactor(svect[k],CQ(mr),&gcd,&cs,&cr);
             chsgnq(cs,&mcs);              chsgnq(cs,&mcs);
Line 5554  int ndv_reduce_vect_q(Q *svect,int trace,int col,IndAr
Line 5646  int ndv_reduce_vect_q(Q *svect,int trace,int col,IndAr
     return maxrs;      return maxrs;
 }  }
   
   int ndv_reduce_vect_gz(GZ *gvect,int trace,int col,IndArray *imat,NM_ind_pair *rp0,int nred)
   {
       int i,j,k,l,len,pos,prev,nz;
       GZ cs,mcs,c1,c2,cr,gcd,t;
       IndArray ivect;
       unsigned char *ivc;
       unsigned short *ivs;
       unsigned int *ivi;
       NDV redv;
       NMV mr;
       NODE rp;
       int maxrs;
       double hmag;
           struct oVECT v;
   
       maxrs = 0;
       for ( i = 0; i < col && !gvect[i]; i++ );
       if ( i == col ) return maxrs;
       hmag = (double)n_bits_gz(gvect[i])*nd_scale;
       for ( i = 0; i < nred; i++ ) {
           ivect = imat[i];
           k = ivect->head;
           if ( gvect[k] ) {
               maxrs = MAX(maxrs,rp0[i]->sugar);
               redv = nd_ps_gz[rp0[i]->index];
               len = LEN(redv); mr = BDY(redv);
                           gcdgz(gvect[k],CZ(mr),&gcd);
                           divsgz(gvect[k],gcd,&cs);
                           divsgz(CZ(mr),gcd,&cr);
               chsgngz(cs,&mcs);
                           if ( !UNIGZ(cr) ) {
                  for ( j = 0; j < col; j++ ) {
                       mulgz(gvect[j],cr,&c1); gvect[j] = c1;
                   }
               }
               gvect[k] = 0; prev = k;
               switch ( ivect->width ) {
                   case 1:
                       ivc = ivect->index.c;
                       for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                           pos = prev+ivc[j]; prev = pos;
                           mulgz(CZ(mr),mcs,&c2); addgz(gvect[pos],c2,&t); gvect[pos] = t;
                       }
                       break;
                   case 2:
                       ivs = ivect->index.s;
                       for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                           pos = prev+ivs[j]; prev = pos;
                           mulgz(CZ(mr),mcs,&c2); addgz(gvect[pos],c2,&t); gvect[pos] = t;
                       }
                       break;
                   case 4:
                       ivi = ivect->index.i;
                       for ( j = 1, NMV_ADV(mr); j < len; j++, NMV_ADV(mr) ) {
                           pos = prev+ivi[j]; prev = pos;
                           mulgz(CZ(mr),mcs,&c2); addgz(gvect[pos],c2,&t); gvect[pos] = t;
                       }
                       break;
               }
               for ( j = k+1; j < col && !gvect[j]; j++ );
               if ( j == col ) break;
               if ( hmag && ((double)n_bits_gz(gvect[j]) > hmag) ) {
                                   v.len = col; v.body = (pointer)gvect; gcdvgz(&v,&gcd);
   #if 1
                                   for ( l = 0; l < col; l++ ) { divsgz(gvect[l],gcd,&t); gvect[l] = t; }
   #endif
                           hmag = (double)n_bits_gz(gvect[j])*nd_scale;
               }
           }
       }
       for ( j = 0; j < col && !gvect[j]; j++ );
           if ( j < col ) {
                   v.len = col; v.body = (pointer)gvect; gcdvgz(&v,&gcd);
                   for ( l = 0; l < col; l++ ) { divsgz(gvect[l],gcd,&t); gvect[l] = t; }
           }
       if ( DP_Print ) {
           fprintf(asir_out,"-"); fflush(asir_out);
       }
       return maxrs;
   }
   
   
 int ndv_reduce_vect(int m,UINT *svect,int col,IndArray *imat,NM_ind_pair *rp0,int nred)  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray *imat,NM_ind_pair *rp0,int nred)
 {  {
     int i,j,k,len,pos,prev;      int i,j,k,len,pos,prev;
Line 5580  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
Line 5754  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
                 case 1:                  case 1:
                     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); c2 = svect[pos];                          pos = prev+ivc[j]; c1 = CM(mr); prev = pos;
                         prev = pos;                                                  if ( c1 ) {
                         DMA(c1,c,c2,up,lo);                                                          c2 = svect[pos];
                         if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;                                  DMA(c1,c,c2,up,lo);
                         } else svect[pos] = lo;                                  if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;
                                   } else svect[pos] = lo;
                                                   }
                     }                      }
                     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); c2 = svect[pos];                          pos = prev+ivs[j]; c1 = CM(mr);
                         prev = pos;                          prev = pos;
                         DMA(c1,c,c2,up,lo);                                                  if ( c1 ) {
                         if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;                                                          c2 = svect[pos];
                         } else svect[pos] = lo;                                  DMA(c1,c,c2,up,lo);
                                   if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;
                                   } else svect[pos] = lo;
                                                   }
                     }                      }
                     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); c2 = svect[pos];                          pos = prev+ivi[j]; c1 = CM(mr);
                         prev = pos;                          prev = pos;
                         DMA(c1,c,c2,up,lo);                                                  if ( c1 ) {
                         if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;                                                          c2 = svect[pos];
                         } else svect[pos] = lo;                                  DMA(c1,c,c2,up,lo);
                                   if ( up ) { DSAB(m,up,lo,dmy,c3); svect[pos] = c3;
                                   } else svect[pos] = lo;
                                                   }
                     }                      }
                     break;                      break;
             }              }
Line 5725  NDV vect_to_ndv_q(Q *vect,int spcol,int col,int *rhead
Line 5907  NDV vect_to_ndv_q(Q *vect,int spcol,int col,int *rhead
     }      }
 }  }
   
   NDV vect_to_ndv_gz(GZ *vect,int spcol,int col,int *rhead,UINT *s0vect)
   {
       int j,k,len;
       UINT *p;
       Q c;
       NDV r;
       NMV mr0,mr;
   
       for ( j = 0, len = 0; j < spcol; j++ ) if ( vect[j] ) len++;
       if ( !len ) return 0;
       else {
           mr0 = (NMV)MALLOC(nmv_adv*len);
   #if 0
           ndv_alloc += nmv_adv*len;
   #endif
           mr = mr0;
           p = s0vect;
           for ( j = k = 0; j < col; j++, p += nd_wpd )
               if ( !rhead[j] ) {
                   if ( c = vect[k++] ) {
                       ndl_copy(p,DL(mr)); CZ(mr) = c; NMV_ADV(mr);
                   }
               }
           MKNDV(nd_nvar,mr0,len,r);
           return r;
       }
   }
   
 /* for plain vector */  /* for plain vector */
   
 NDV plain_vect_to_ndv_q(Q *vect,int col,UINT *s0vect)  NDV plain_vect_to_ndv_q(Q *vect,int col,UINT *s0vect)
Line 5784  int nd_symbolic_preproc(PGeoBucket bucket,int trace,UI
Line 5994  int nd_symbolic_preproc(PGeoBucket bucket,int trace,UI
     NDV *ps;      NDV *ps;
   
     s0 = 0; rp0 = 0; col = 0;      s0 = 0; rp0 = 0; col = 0;
     ps = trace?nd_ps_trace:nd_ps;          if ( nd_demand )
           ps = trace?nd_ps_trace_sym:nd_ps_sym;
           else
           ps = trace?nd_ps_trace:nd_ps;
     while ( 1 ) {      while ( 1 ) {
         head = remove_head_pbucket_symbolic(bucket);          head = remove_head_pbucket_symbolic(bucket);
         if ( !head ) break;          if ( !head ) break;
Line 5904  NODE nd_f4(int m,int **indp)
Line 6117  NODE nd_f4(int m,int **indp)
                 nd_removecont(m,nf1);                  nd_removecont(m,nf1);
                 nf = ndtondv(m,nf1);                  nf = ndtondv(m,nf1);
             }              }
             nh = ndv_newps(m,nf,0);              nh = ndv_newps(m,nf,0,1);
             d = update_pairs(d,g,nh,0);              d = update_pairs(d,g,nh,0);
             g = update_base(g,nh);              g = update_base(g,nh);
         }          }
Line 5927  NODE nd_f4(int m,int **indp)
Line 6140  NODE nd_f4(int m,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
         conv_ilist(0,0,g,indp);          conv_ilist(nd_demand,0,g,indp);
     return g;      return g;
 }  }
   
Line 6019  NODE nd_f4_trace(int m,int **indp)
Line 6232  NODE nd_f4_trace(int m,int **indp)
             nfv = ndv_dup(0,nfqv);              nfv = ndv_dup(0,nfqv);
             ndv_mod(m,nfv);              ndv_mod(m,nfv);
             ndv_removecont(m,nfv);              ndv_removecont(m,nfv);
             nh = ndv_newps(0,nfv,nfqv);              nh = ndv_newps(0,nfv,nfqv,1);
             d = update_pairs(d,g,nh,0);              d = update_pairs(d,g,nh,0);
             g = update_base(g,nh);              g = update_base(g,nh);
         }          }
Line 6027  NODE nd_f4_trace(int m,int **indp)
Line 6240  NODE nd_f4_trace(int m,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
         conv_ilist(0,1,g,indp);          conv_ilist(nd_demand,1,g,indp);
     return g;      return g;
 }  }
   
Line 6122  NODE nd_f4_pseudo_trace(int m,int **indp)
Line 6335  NODE nd_f4_pseudo_trace(int m,int **indp)
             nfv = ndv_dup(0,nfqv);              nfv = ndv_dup(0,nfqv);
             ndv_mod(m,nfv);              ndv_mod(m,nfv);
             ndv_removecont(m,nfv);              ndv_removecont(m,nfv);
             nh = ndv_newps(0,nfv,nfqv);              nh = ndv_newps(0,nfv,nfqv,1);
             d = update_pairs(d,g,nh,0);              d = update_pairs(d,g,nh,0);
             g = update_base(g,nh);              g = update_base(g,nh);
         }          }
Line 6153  init_eg(&eg_search);
Line 6366  init_eg(&eg_search);
     for ( i = 0; i < col; i++ ) rhead[i] = 0;      for ( i = 0; i < col; i++ ) rhead[i] = 0;
   
     /* construction of index arrays */      /* construction of index arrays */
           fprintf(stderr,"%dx%d,",nsp+nred,col);
     rvect = (NM_ind_pair *)ALLOCA(nred*sizeof(NM_ind_pair));      rvect = (NM_ind_pair *)ALLOCA(nred*sizeof(NM_ind_pair));
     s0hash = (int *)ALLOCA(col*sizeof(int));      s0hash = (int *)ALLOCA(col*sizeof(int));
     for ( i = 0, s = s0vect; i < col; i++, s += nd_wpd )      for ( i = 0, s = s0vect; i < col; i++, s += nd_wpd )
Line 6165  init_eg(&eg_search);
Line 6379  init_eg(&eg_search);
     if ( m )      if ( m )
         r0 = nd_f4_red_main(m,sp0,nsp,s0vect,col,rvect,rhead,imat,nred,nz);          r0 = nd_f4_red_main(m,sp0,nsp,s0vect,col,rvect,rhead,imat,nred,nz);
     else      else
         r0 = nd_f4_red_q_main(sp0,nsp,trace,s0vect,col,rvect,rhead,imat,nred);          r0 = nd_f4_red_gz_main(sp0,nsp,trace,s0vect,col,rvect,rhead,imat,nred);
 print_eg("search",&eg_search);  print_eg("search",&eg_search);
     return r0;      return r0;
 }  }
Line 6337  NODE nd_f4_red_q_main(ND_pairs sp0,int nsp,int trace,U
Line 6551  NODE nd_f4_red_q_main(ND_pairs sp0,int nsp,int trace,U
     }      }
     return r0;      return r0;
 }  }
   
   NODE nd_f4_red_gz_main(ND_pairs sp0,int nsp,int trace,UINT *s0vect,int col,
           NM_ind_pair *rvect,int *rhead,IndArray *imat,int nred)
   {
       int spcol,sprow,a;
       int i,j,k,l,rank;
       NODE r0,r;
       ND_pairs sp;
       ND spol;
       GZ **spmat;
       GZ *svect,*v;
       int *colstat;
       struct oEGT eg0,eg1,eg2,eg_f4,eg_f4_1,eg_f4_2;
       int maxrs;
       int *spsugar;
       pointer *w;
   
       spcol = col-nred;
       get_eg(&eg0);
       /* elimination (1st step) */
       spmat = (GZ **)ALLOCA(nsp*sizeof(GZ *));
       svect = (GZ *)ALLOCA(col*sizeof(GZ));
       spsugar = (int *)ALLOCA(nsp*sizeof(Q));
       for ( a = sprow = 0, sp = sp0; a < nsp; a++, sp = NEXT(sp) ) {
           nd_sp(0,trace,sp,&spol);
           if ( !spol ) continue;
                   spol = ndtondgz(spol);
           nd_to_vect_q(s0vect,col,spol,(Q *)svect);
           maxrs = ndv_reduce_vect_gz(svect,trace,col,imat,rvect,nred);
           for ( i = 0; i < col; i++ ) if ( svect[i] ) break;
           if ( i < col ) {
               spmat[sprow] = v = (GZ *)MALLOC(spcol*sizeof(GZ));
               for ( j = k = 0; j < col; j++ )
                   if ( !rhead[j] ) v[k++] = svect[j];
               spsugar[sprow] = MAX(maxrs,SG(spol));
               sprow++;
           }
   /*        nd_free(spol); */
       }
       get_eg(&eg1); init_eg(&eg_f4_1); add_eg(&eg_f4_1,&eg0,&eg1);
       if ( DP_Print ) {
           fprintf(asir_out,"elim1=%fsec,",eg_f4_1.exectime+eg_f4_1.gctime);
           fflush(asir_out);
       }
       /* free index arrays */
   /*    for ( i = 0; i < nred; i++ ) GCFREE(imat[i]->index.c); */
   
       /* elimination (2nd step) */
       colstat = (int *)ALLOCA(spcol*sizeof(int));
       rank = nd_gauss_elim_gz(spmat,spsugar,sprow,spcol,colstat);
       w = (pointer *)ALLOCA(rank*sizeof(pointer));
       for ( i = 0; i < rank; i++ ) {
   #if 0
           w[rank-i-1] = (pointer)vect_to_ndv_gz(spmat[i],spcol,col,rhead,s0vect);
                   w[rank-i-1] = ndvgztondv(w[rank-i-1]);
           SG((NDV)w[rank-i-1]) = spsugar[i];
 #else  #else
           w[i] = (pointer)vect_to_ndv_gz((Q *)spmat[i],spcol,col,rhead,s0vect);
                   w[i] = ndvgztondv(w[i]);
           SG((NDV)w[i]) = spsugar[i];
   #endif
   /*        GCFREE(spmat[i]); */
   
       }
   #if 0
       qsort(w,rank,sizeof(NDV),
           (int (*)(const void *,const void *))ndv_compare);
   #endif
       r0 = 0;
       for ( i = 0; i < rank; i++ ) {
           NEXTNODE(r0,r); BDY(r) = w[i];
       }
       if ( r0 ) NEXT(r) = 0;
   
   /*    for ( ; i < sprow; i++ ) GCFREE(spmat[i]); */
       get_eg(&eg2); init_eg(&eg_f4_2); add_eg(&eg_f4_2,&eg1,&eg2);
       init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg2);
       if ( DP_Print ) {
           fprintf(asir_out,"elim2=%fsec\n",eg_f4_2.exectime+eg_f4_2.gctime);
           fprintf(asir_out,"nsp=%d,nred=%d,spmat=(%d,%d),rank=%d  ",
               nsp,nred,sprow,spcol,rank);
           fprintf(asir_out,"%fsec\n",eg_f4.exectime+eg_f4.gctime);
       }
       return r0;
   }
   #else
 void printm(Q **mat,int row,int col)  void printm(Q **mat,int row,int col)
 {  {
     int i,j;      int i,j;
Line 6671  int nd_gauss_elim_q(Q **mat0,int *sugar,int row,int co
Line 6970  int nd_gauss_elim_q(Q **mat0,int *sugar,int row,int co
         mat0[i][ri[i]] = dn;          mat0[i][ri[i]] = dn;
         for ( j = 0; j < c; j++ )          for ( j = 0; j < c; j++ )
             mat0[i][ci[j]] = (Q)BDY(nm)[i][j];              mat0[i][ci[j]] = (Q)BDY(nm)[i][j];
       }
       return rank;
   }
   
   int nd_gauss_elim_gz(GZ **mat0,int *sugar,int row,int col,int *colstat)
   {
       int i,j,t,c,rank,inv;
       int *ci,*ri;
       GZ *dn;
       MAT m,nm;
   
       NEWMAT(m); m->row = row; m->col = col; m->body = (pointer **)mat0;
           dn = (GZ *)MALLOC(row*sizeof(GZ));
       rank = gz_generic_gauss_elim2(m,&nm,dn,&ri,&ci);
       for ( i = 0; i < row; i++ )
           for ( j = 0; j < col; j++ )
               mat0[i][j] = 0;
       c = col-rank;
       for ( i = 0; i < rank; i++ ) {
           mat0[i][ri[i]] = dn[i];
           for ( j = 0; j < c; j++ )
               mat0[i][ci[j]] = (GZ)BDY(nm)[i][j];
     }      }
     return rank;      return rank;
 }  }

Legend:
Removed from v.1.214  
changed lines
  Added in v.1.215

FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>