[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.213 and 1.219

version 1.213, 2013/09/27 02:45:17 version 1.219, 2014/08/19 06:35:01
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.212 2013/09/27 02:35:15 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.218 2014/02/24 01:45:28 noro Exp $ */
   
 #include "nd.h"  #include "nd.h"
   
Line 13  ND _nd_free_list;
Line 13  ND _nd_free_list;
 ND_pairs _ndp_free_list;  ND_pairs _ndp_free_list;
 NODE nd_hcf;  NODE nd_hcf;
   
   Obj nd_top_weight;
   
 static NODE nd_subst;  static NODE nd_subst;
 static VL nd_vc;  static VL nd_vc;
 static int nd_ntrans;  static int nd_ntrans;
Line 37  static UINT nd_mask[32];
Line 39  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 82  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 490  int ndl_block_compare(UINT *d1,UINT *d2)
Line 499  int ndl_block_compare(UINT *d1,UINT *d2)
   
 int ndl_matrix_compare(UINT *d1,UINT *d2)  int ndl_matrix_compare(UINT *d1,UINT *d2)
 {  {
     int i,j,s;      int i,j,s,row;
     int *v;      int *v;
           Q **mat;
       Q *w;
       Q t,t1,t2;
   
     for ( j = 0; j < nd_nvar; j++ )      for ( j = 0; j < nd_nvar; j++ )
         nd_work_vector[j] = GET_EXP(d1,j)-GET_EXP(d2,j);          nd_work_vector[j] = GET_EXP(d1,j)-GET_EXP(d2,j);
           if ( nd_top_weight ) {
                   if ( OID(nd_top_weight) == O_VECT ) {
                       mat = (Q **)&BDY((VECT)nd_top_weight);
                       row = 1;
                   } else {
                           mat = (Q **)BDY((MAT)nd_top_weight);
                       row = ((MAT)nd_top_weight)->row;
                   }
                   for ( i = 0; i < row; i++ ) {
                       w = (Q *)mat[i];
                           for ( j = 0, t = 0; j < nd_nvar; j++ ) {
                                   STOQ(nd_work_vector[j],t1);
                               mulq(w[j],t1,&t2);
                                   addq(t,t2,&t1);
                                   t = t1;
                           }
                       if ( t ) {
                           s = SGN(t);
                           if ( s > 0 ) return 1;
                           else if ( s < 0 ) return -1;
                       }
                   }
           }
     for ( i = 0; i < nd_matrix_len; i++ ) {      for ( i = 0; i < nd_matrix_len; i++ ) {
         v = nd_matrix[i];          v = nd_matrix[i];
         for ( j = 0, s = 0; j < nd_nvar; j++ )          for ( j = 0, s = 0; j < nd_nvar; j++ )
Line 502  int ndl_matrix_compare(UINT *d1,UINT *d2)
Line 537  int ndl_matrix_compare(UINT *d1,UINT *d2)
         if ( s > 0 ) return 1;          if ( s > 0 ) return 1;
         else if ( s < 0 ) return -1;          else if ( s < 0 ) return -1;
     }      }
           if ( !ndl_equal(d1,d2) )
                   error("afo");
     return 0;      return 0;
 }  }
   
Line 1969  again:
Line 2006  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 2038  again:
Line 2075  again:
         return 1;          return 1;
 }  }
   
   int check_splist_f4(int m,NODE splist)
   {
           UINT *s0vect;
       PGeoBucket bucket;
           NODE p,rp0,t;
           ND_pairs d,r,l,ll;
           int col,stat;
   
           for ( d = 0, t = splist; t; t = NEXT(t) ) {
                   p = BDY((LIST)BDY(t));
           NEXTND_pairs(d,r);
           r->i1 = QTOS((Q)ARG0(p)); r->i2 = QTOS((Q)ARG1(p));
           ndl_lcm(DL(nd_psh[r->i1]),DL(nd_psh[r->i2]),r->lcm);
                   SG(r) = TD(LCM(r)); /* XXX */
           }
           if ( d ) NEXT(r) = 0;
   
       while ( d ) {
           l = nd_minsugarp(d,&d);
           bucket = create_pbucket();
           stat = nd_sp_f4(m,0,l,bucket);
           if ( !stat ) {
               for ( ll = l; NEXT(ll); ll = NEXT(ll) );
               NEXT(ll) = d; d = l;
               d = nd_reconstruct(0,d);
               continue;
           }
           if ( bucket->m < 0 ) continue;
           col = nd_symbolic_preproc(bucket,0,&s0vect,&rp0);
           if ( !col ) {
               for ( ll = l; NEXT(ll); ll = NEXT(ll) );
               NEXT(ll) = d; d = l;
               d = nd_reconstruct(0,d);
               continue;
           }
           if ( nd_f4_red(m,l,0,s0vect,col,rp0,0) ) return 0;
       }
       return 1;
   }
   
 int do_diagonalize_trace(int sugar,int m)  int do_diagonalize_trace(int sugar,int m)
 {  {
     int i,nh,stat;      int i,nh,stat;
Line 2209  again:
Line 2286  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 2632  ND_pairs nd_minsugarp( ND_pairs d, ND_pairs *prest )
Line 2709  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 2644  int ndv_newps(int m,NDV a,NDV aq)
Line 2721  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;
                   if ( !nd_vc ) 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 2660  int ndv_newps(int m,NDV a,NDV aq)
Line 2741  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_vc ) 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 2715  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
Line 2799  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 2732  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
Line 2819  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);
                           if ( !nd_vc ) 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_vc ) 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 2756  int ndv_setup(int mod,int trace,NODE f,int dont_sort,i
Line 2845  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 2989  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 3080  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
                 return;                  return;
         }          }
         if ( nd_check_splist ) {          if ( nd_check_splist ) {
                 if ( check_splist(m,nd_check_splist) ) *rp = (LIST)ONE;          if ( f4 ) {
                 else *rp = 0;              if ( check_splist_f4(m,nd_check_splist) ) *rp = (LIST)ONE;
               else *rp = 0;
           } else {
               if ( check_splist(m,nd_check_splist) ) *rp = (LIST)ONE;
               else *rp = 0;
           }
                 return;                  return;
         }          }
     x = f4?nd_f4(m,&perm):nd_gb(m,ishomo || homo,0,0,&perm);      x = f4?nd_f4(m,&perm):nd_gb(m,ishomo || homo,0,0,&perm);
Line 4117  ND_pairs nd_reconstruct(int trace,ND_pairs d)
Line 4213  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 4641  NDV ndv_dup(int mod,NDV p)
Line 4743  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 4658  ND nd_dup(ND p)
Line 4802  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 5378  struct oEGT eg0,eg1;
Line 5544  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 5457  int ndv_reduce_vect_q(Q *svect,int trace,int col,IndAr
Line 5623  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 5509  int ndv_reduce_vect_q(Q *svect,int trace,int col,IndAr
Line 5676  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 5535  int ndv_reduce_vect(int m,UINT *svect,int col,IndArray
Line 5784  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 5680  NDV vect_to_ndv_q(Q *vect,int spcol,int col,int *rhead
Line 5937  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 5739  int nd_symbolic_preproc(PGeoBucket bucket,int trace,UI
Line 6024  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 5810  NODE nd_f4(int m,int **indp)
Line 6098  NODE nd_f4(int m,int **indp)
                 node = BDY((LIST)BDY(tn));                  node = BDY((LIST)BDY(tn));
                             if ( QTOS((Q)ARG0(node)) == sugar ) break;                              if ( QTOS((Q)ARG0(node)) == sugar ) break;
             }              }
             if ( !tn ) error("nd_f4 : inconsistent non-zero list");                          if ( tn ) {
                         for ( t = l, ll0 = 0; t; t = NEXT(t) ) {                                  for ( t = l, ll0 = 0; t; t = NEXT(t) ) {
                 for ( tn = BDY((LIST)ARG1(node)); tn; tn = NEXT(tn) ) {                          for ( tn = BDY((LIST)ARG1(node)); tn; tn = NEXT(tn) ) {
                                   i1s = QTOS((Q)ARG0(BDY((LIST)BDY(tn))));                                          i1s = QTOS((Q)ARG0(BDY((LIST)BDY(tn))));
                                   i2s = QTOS((Q)ARG1(BDY((LIST)BDY(tn))));                                          i2s = QTOS((Q)ARG1(BDY((LIST)BDY(tn))));
                                   if ( t->i1 == i1s && t->i2 == i2s ) break;                                          if ( t->i1 == i1s && t->i2 == i2s ) break;
                                 }                                          }
                             if ( tn ) {                                  if ( tn ) {
                                     if ( !ll0 ) ll0 = t;                                          if ( !ll0 ) ll0 = t;
                                         else NEXT(ll) = t;                                                  else NEXT(ll) = t;
                                         ll = t;                                                  ll = t;
                                 }                                          }
             }                  }
                         if ( ll0 ) NEXT(ll) = 0;                                  if ( ll0 ) NEXT(ll) = 0;
                     l = ll0;                          l = ll0;
                           } else l = 0;
         }          }
         bucket = create_pbucket();          bucket = create_pbucket();
         stat = nd_sp_f4(m,0,l,bucket);          stat = nd_sp_f4(m,0,l,bucket);
Line 5859  NODE nd_f4(int m,int **indp)
Line 6148  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 5882  NODE nd_f4(int m,int **indp)
Line 6171  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 5974  NODE nd_f4_trace(int m,int **indp)
Line 6263  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 5982  NODE nd_f4_trace(int m,int **indp)
Line 6271  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 6077  NODE nd_f4_pseudo_trace(int m,int **indp)
Line 6366  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 6108  init_eg(&eg_search);
Line 6397  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 6120  init_eg(&eg_search);
Line 6410  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 6292  NODE nd_f4_red_q_main(ND_pairs sp0,int nsp,int trace,U
Line 6582  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 6630  int nd_gauss_elim_q(Q **mat0,int *sugar,int row,int co
Line 7005  int nd_gauss_elim_q(Q **mat0,int *sugar,int row,int co
     return rank;      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;
       rank = gz_generic_gauss_elim(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;
           for ( j = 0; j < c; j++ )
               mat0[i][ci[j]] = (GZ)BDY(nm)[i][j];
       }
       return rank;
   }
   
 int nd_gauss_elim_mod(int **mat0,int *sugar,ND_pairs *spactive,int row,int col,int md,int *colstat)  int nd_gauss_elim_mod(int **mat0,int *sugar,ND_pairs *spactive,int row,int col,int md,int *colstat)
 {  {
     int i,j,k,l,inv,a,rank,s;      int i,j,k,l,inv,a,rank,s;
Line 7582  MAT nd_btog(LIST f,LIST v,int mod,struct order_spec *o
Line 7978  MAT nd_btog(LIST f,LIST v,int mod,struct order_spec *o
         pi0 = QTOS((Q)ARG0(pi)); pi1 = QTOS((Q)ARG1(pi));          pi0 = QTOS((Q)ARG0(pi)); pi1 = QTOS((Q)ARG1(pi));
         p[pi0] = c = (ND *)MALLOC(nb*sizeof(ND));          p[pi0] = c = (ND *)MALLOC(nb*sizeof(ND));
         ptomp(mod,(P)ARG2(pi),&inv);          ptomp(mod,(P)ARG2(pi),&inv);
           ((MQ)inv)->cont = invm(((MQ)inv)->cont,mod);
         u = ptond(CO,vv,(P)ONE);          u = ptond(CO,vv,(P)ONE);
         HCM(u) = ((MQ)inv)->cont;          HCM(u) = ((MQ)inv)->cont;
         c[pi1] = u;          c[pi1] = u;
Line 7653  VECT nd_btog_one(LIST f,LIST v,int mod,struct order_sp
Line 8050  VECT nd_btog_one(LIST f,LIST v,int mod,struct order_sp
     pi = BDY((LIST)BDY(t));      pi = BDY((LIST)BDY(t));
         pi0 = QTOS((Q)ARG0(pi)); pi1 = QTOS((Q)ARG1(pi));          pi0 = QTOS((Q)ARG0(pi)); pi1 = QTOS((Q)ARG1(pi));
         if ( pi1 == pos ) {          if ( pi1 == pos ) {
           ptomp(mod,(P)ARG2(pi),&inv);            ptomp(mod,(P)ARG2(pi),&inv);
             ((MQ)inv)->cont = invm(((MQ)inv)->cont,mod);
           u = ptond(CO,vv,(P)ONE);            u = ptond(CO,vv,(P)ONE);
           HCM(u) = ((MQ)inv)->cont;            HCM(u) = ((MQ)inv)->cont;
           p[pi0] = u;            p[pi0] = u;

Legend:
Removed from v.1.213  
changed lines
  Added in v.1.219

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