[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.205 and 1.213

version 1.205, 2013/09/09 09:47:09 version 1.213, 2013/09/27 02:45:17
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.204 2013/09/09 07:29:25 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.212 2013/09/27 02:35:15 noro Exp $ */
   
 #include "nd.h"  #include "nd.h"
   
Line 54  static NODE nd_tracelist;
Line 54  static NODE nd_tracelist;
 static NODE nd_alltracelist;  static NODE nd_alltracelist;
 static int nd_gentrace,nd_gensyz,nd_nora,nd_newelim,nd_intersect;  static int nd_gentrace,nd_gensyz,nd_nora,nd_newelim,nd_intersect;
 static int *nd_gbblock;  static int *nd_gbblock;
   static NODE nd_nzlist,nd_check_splist;
   static int nd_splist;
   
 NumberField get_numberfield();  NumberField get_numberfield();
 UINT *nd_det_compute_bound(NDV **dm,int n,int j);  UINT *nd_det_compute_bound(NDV **dm,int n,int j);
Line 1867  int do_diagonalize(int sugar,int m)
Line 1869  int do_diagonalize(int sugar,int m)
     return 1;      return 1;
 }  }
   
   LIST compute_splist()
   {
           NODE g,tn0,tn,node;
           LIST l0;
           ND_pairs d,t;
           int i;
           Q i1,i2;
   
       g = 0; d = 0;
       for ( i = 0; i < nd_psn; i++ ) {
           d = update_pairs(d,g,i,0);
           g = update_base(g,i);
       }
           for ( t = d, tn0 = 0; t; t = NEXT(t) ) {
                   NEXTNODE(tn0,tn);
           STOQ(t->i1,i1); STOQ(t->i2,i2);
           node = mknode(2,i1,i2); MKLIST(l0,node);
                   BDY(tn) = l0;
           }
           if ( tn0 ) NEXT(tn) = 0; MKLIST(l0,tn0);
           return l0;
   }
   
 /* return value = 0 => input is not a GB */  /* return value = 0 => input is not a GB */
   
 NODE nd_gb(int m,int ishomo,int checkonly,int gensyz,int **indp)  NODE nd_gb(int m,int ishomo,int checkonly,int gensyz,int **indp)
Line 1974  again:
Line 1999  again:
     return g;      return g;
 }  }
   
   /* splist = [[i1,i2],...] */
   
   int check_splist(int m,NODE splist)
   {
           NODE t,p;
           ND_pairs d,r,l;
           int stat;
           ND h,nf;
   
           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 ) {
   again:
           l = nd_minp(d,&d);
           stat = nd_sp(m,0,l,&h);
           if ( !stat ) {
               NEXT(l) = d; d = l;
               d = nd_reconstruct(0,d);
               goto again;
           }
           stat = nd_nf(m,0,h,nd_ps,!Top,0,&nf);
           if ( !stat ) {
               NEXT(l) = d; d = l;
               d = nd_reconstruct(0,d);
               goto again;
           } else if ( nf ) return 0;
                   if ( DP_Print) { printf("."); fflush(stdout); }
       }
           if ( DP_Print) { printf("done.\n"); fflush(stdout); }
           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 2823  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 2887  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
     Obj obj;      Obj obj;
     NumberField nf;      NumberField nf;
     struct order_spec *ord1;      struct order_spec *ord1;
     NODE tr,tl1,tl2,tl3,tl4;      NODE tr,tl1,tl2,tl3,tl4,nzlist;
     LIST l1,l2,l3,l4,l5;      LIST l1,l2,l3,l4,l5;
         int j;          int j;
         Q jq,bpe;          Q jq,bpe;
Line 2883  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 2947  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
                 max = MAX(e,max);                  max = MAX(e,max);
             }              }
         }          }
     nd_setup_parameters(nvar,max);      nd_setup_parameters(nvar,nd_nzlist?0:max);
     obpe = nd_bpe; oadv = nmv_adv; oepos = nd_epos; ompos = nd_mpos;      obpe = nd_bpe; oadv = nmv_adv; oepos = nd_epos; ompos = nd_mpos;
     ishomo = 1;      ishomo = 1;
     for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {      for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {
Line 2916  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 2980  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
             ndv_homogenize((NDV)BDY(t),obpe,oadv,oepos,ompos);              ndv_homogenize((NDV)BDY(t),obpe,oadv,oepos,ompos);
     }      }
   
     ndv_setup(m,0,fd0,nd_gbblock?1:0,0);      ndv_setup(m,0,fd0,(nd_gbblock||nd_splist||nd_check_splist)?1:0,0);
     if ( nd_gentrace ) {      if ( nd_gentrace ) {
         MKLIST(l1,nd_tracelist); MKNODE(nd_alltracelist,l1,0);          MKLIST(l1,nd_tracelist); MKNODE(nd_alltracelist,l1,0);
     }      }
           if ( nd_splist ) {
                   *rp = compute_splist();
                   return;
           }
           if ( nd_check_splist ) {
                   if ( check_splist(m,nd_check_splist) ) *rp = (LIST)ONE;
                   else *rp = 0;
                   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);
         if ( !x ) {          if ( !x ) {
                 *rp = 0; return;                  *rp = 0; return;
Line 2939  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
Line 3012  void nd_gr(LIST f,LIST v,int m,int homo,int retdp,int 
           conv_ilist(nd_demand,0,x,0);            conv_ilist(nd_demand,0,x,0);
           goto FINAL;            goto FINAL;
         }          }
       if ( nd_gentrace  && f4 ) { nzlist = nd_alltracelist; }
     x = ndv_reducebase(x,perm);      x = ndv_reducebase(x,perm);
     if ( nd_gentrace ) { tl1 = nd_alltracelist; nd_alltracelist = 0; }      if ( nd_gentrace  && !f4 ) { tl1 = nd_alltracelist; nd_alltracelist = 0; }
     x = ndv_reduceall(m,x);      x = ndv_reduceall(m,x);
     cbpe = nd_bpe;      cbpe = nd_bpe;
     if ( nd_gentrace ) {      if ( nd_gentrace && !f4 ) {
         tl2 = nd_alltracelist; nd_alltracelist = 0;          tl2 = nd_alltracelist; nd_alltracelist = 0;
         ndv_check_membership(m,fd0,obpe,oadv,oepos,x);          ndv_check_membership(m,fd0,obpe,oadv,oepos,x);
         tl3 = nd_alltracelist; nd_alltracelist = 0;          tl3 = nd_alltracelist; nd_alltracelist = 0;
Line 2962  FINAL:
Line 3036  FINAL:
                 else BDY(r) = ndvtop(m,CO,vv,BDY(t));                  else BDY(r) = ndvtop(m,CO,vv,BDY(t));
     }      }
     if ( r0 ) NEXT(r) = 0;      if ( r0 ) NEXT(r) = 0;
     if ( nalg )      if ( !m && nd_nalg )
         r0 = postprocess_algcoef(av,alist,r0);          r0 = postprocess_algcoef(av,alist,r0);
     MKLIST(*rp,r0);      MKLIST(*rp,r0);
     if ( nd_gentrace ) {      if ( nd_gentrace ) {
         tl1 = reverse_node(tl1); tl2 = reverse_node(tl2);          if ( f4 ) {
         tl3 = reverse_node(tl3);              STOQ(16,bpe);
                 /* tl2 = [[i,[[*,j,*,*],...]],...] */              tr = mknode(4,*rp,(!ishomo&&homo)?ONE:0,BDY(nzlist),bpe); MKLIST(*rp,tr);
         for ( t = tl2; t; t = NEXT(t) ) {          } else {
                         /* s = [i,[*,j,*,*],...] */              tl1 = reverse_node(tl1); tl2 = reverse_node(tl2);
             s = BDY((LIST)BDY(t));              tl3 = reverse_node(tl3);
             j = perm[QTOS((Q)ARG0(s))]; STOQ(j,jq); ARG0(s) = (pointer)jq;              /* tl2 = [[i,[[*,j,*,*],...]],...] */
                         for ( s = BDY((LIST)ARG1(s)); s; s = NEXT(s) ) {              for ( t = tl2; t; t = NEXT(t) ) {
                 j = perm[QTOS((Q)ARG1(BDY((LIST)BDY(s))))]; STOQ(j,jq);              /* s = [i,[*,j,*,*],...] */
                                 ARG1(BDY((LIST)BDY(s))) = (pointer)jq;                  s = BDY((LIST)BDY(t));
                   j = perm[QTOS((Q)ARG0(s))]; STOQ(j,jq); ARG0(s) = (pointer)jq;
                   for ( s = BDY((LIST)ARG1(s)); s; s = NEXT(s) ) {
                       j = perm[QTOS((Q)ARG1(BDY((LIST)BDY(s))))]; STOQ(j,jq);
                       ARG1(BDY((LIST)BDY(s))) = (pointer)jq;
                   }
             }              }
                 }              for ( j = length(x)-1, t = 0; j >= 0; j-- ) {
                 for ( j = length(x)-1, t = 0; j >= 0; j-- ) {                  STOQ(perm[j],jq); MKNODE(s,jq,t); t = s;
                     STOQ(perm[j],jq); MKNODE(s,jq,t); t = s;              }
                 }              MKLIST(l1,tl1); MKLIST(l2,tl2); MKLIST(l3,t); MKLIST(l4,tl3);
       MKLIST(l1,tl1); MKLIST(l2,tl2); MKLIST(l3,t); MKLIST(l4,tl3);              MKLIST(l5,tl4);
       MKLIST(l5,tl4);              STOQ(nd_bpe,bpe);
           STOQ(nd_bpe,bpe);              tr = mknode(8,*rp,(!ishomo&&homo)?ONE:0,l1,l2,l3,l4,l5,bpe); MKLIST(*rp,tr);
       tr = mknode(8,*rp,(!ishomo&&homo)?ONE:0,l1,l2,l3,l4,l5,bpe); MKLIST(*rp,tr);          }
     }      }
 #if 0  #if 0
     fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc);      fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc);
Line 3075  void nd_gr_postproc(LIST f,LIST v,int m,struct order_s
Line 3154  void nd_gr_postproc(LIST f,LIST v,int m,struct order_s
         BDY(r) = ndvtop(m,CO,vv,BDY(t));          BDY(r) = ndvtop(m,CO,vv,BDY(t));
     }      }
     if ( r0 ) NEXT(r) = 0;      if ( r0 ) NEXT(r) = 0;
     if ( nalg )      if ( !m && nd_nalg )
         r0 = postprocess_algcoef(av,alist,r0);          r0 = postprocess_algcoef(av,alist,r0);
     MKLIST(*rp,r0);      MKLIST(*rp,r0);
 }  }
   
 #if 0  
 NDV recompute_trace(NODE trace,NDV *p,int m);  NDV recompute_trace(NODE trace,NDV *p,int m);
 void nd_gr_recompute_trace(LIST f,LIST v,int m,struct order_spec *ord,LIST tlist,LIST *rp);  void nd_gr_recompute_trace(LIST f,LIST v,int m,struct order_spec *ord,LIST tlist,LIST *rp);
   
Line 3221  void nd_gr_recompute_trace(LIST f,LIST v,int m,struct 
Line 3299  void nd_gr_recompute_trace(LIST f,LIST v,int m,struct 
     MKLIST(*rp,r0);      MKLIST(*rp,r0);
     if ( DP_Print ) fprintf(asir_out,"\n");      if ( DP_Print ) fprintf(asir_out,"\n");
 }  }
 #endif  
   
 void nd_gr_trace(LIST f,LIST v,int trace,int homo,int f4,struct order_spec *ord,LIST *rp)  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int f4,struct order_spec *ord,LIST *rp)
 {  {
Line 3406  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
Line 3483  void nd_gr_trace(LIST f,LIST v,int trace,int homo,int 
     if ( nd_module ) BDY(r) = ndvtopl(0,CO,vv,BDY(r),mrank);      if ( nd_module ) BDY(r) = ndvtopl(0,CO,vv,BDY(r),mrank);
         else BDY(r) = (pointer)ndvtop(0,CO,vv,BDY(r));          else BDY(r) = (pointer)ndvtop(0,CO,vv,BDY(r));
     }      }
     if ( nalg )      if ( nd_nalg )
         cand = postprocess_algcoef(av,alist,cand);          cand = postprocess_algcoef(av,alist,cand);
     MKLIST(*rp,cand);      MKLIST(*rp,cand);
     if ( nd_gentrace ) {      if ( nd_gentrace ) {
Line 5286  Q *nm_ind_pair_to_vect(int mod,UINT *s0,int n,NM_ind_p
Line 5363  Q *nm_ind_pair_to_vect(int mod,UINT *s0,int n,NM_ind_p
     return r;      return r;
 }  }
   
 IndArray nm_ind_pair_to_vect_compress(int mod,UINT *s0,int n,NM_ind_pair pair)  IndArray nm_ind_pair_to_vect_compress(int mod,UINT *s0,int n,int *s0hash,NM_ind_pair pair)
 {  {
     NM m;      NM m;
     NMV mr;      NMV mr;
Line 5295  IndArray nm_ind_pair_to_vect_compress(int mod,UINT *s0
Line 5372  IndArray nm_ind_pair_to_vect_compress(int mod,UINT *s0
     unsigned char *ivc;      unsigned char *ivc;
     unsigned short *ivs;      unsigned short *ivs;
     UINT *v,*ivi,*s0v;      UINT *v,*ivi,*s0v;
     int i,j,len,prev,diff,cdiff;      int i,j,len,prev,diff,cdiff,h;
     IndArray r;      IndArray r;
 struct oEGT eg0,eg1;  struct oEGT eg0,eg1;
   
Line 5308  struct oEGT eg0,eg1;
Line 5385  struct oEGT eg0,eg1;
 get_eg(&eg0);  get_eg(&eg0);
     for ( i = j = 0, s = s0, mr = BDY(p); j < len; j++, NMV_ADV(mr) ) {      for ( i = j = 0, s = s0, mr = BDY(p); j < len; j++, NMV_ADV(mr) ) {
         ndl_add(d,DL(mr),t);          ndl_add(d,DL(mr),t);
         for ( ; !ndl_equal(t,s); s += nd_wpd, i++ );                  h = ndl_hash_value(t);
           for ( ; h != s0hash[i] || !ndl_equal(t,s); s += nd_wpd, i++ );
         v[j] = i;          v[j] = i;
     }      }
 get_eg(&eg1); add_eg(&eg_search,&eg0,&eg1);  get_eg(&eg1); add_eg(&eg_search,&eg0,&eg1);
Line 5692  int nd_symbolic_preproc(PGeoBucket bucket,int trace,UI
Line 5770  int nd_symbolic_preproc(PGeoBucket bucket,int trace,UI
     return col;      return col;
 }  }
   
   
 NODE nd_f4(int m,int **indp)  NODE nd_f4(int m,int **indp)
 {  {
     int i,nh,stat,index;      int i,nh,stat,index;
     NODE r,g;      NODE r,g,tn0,tn,node;
     ND_pairs d,l,t;      ND_pairs d,l,t,ll0,ll;
           LIST l0,l1;
     ND spol,red;      ND spol,red;
     NDV nf,redv;      NDV nf,redv;
     NM s0,s;      NM s0,s;
     NODE rp0,srp0,nflist;      NODE rp0,srp0,nflist,nzlist;
     int nsp,nred,col,rank,len,k,j,a;      int nsp,nred,col,rank,len,k,j,a,i1s,i2s;
     UINT c;      UINT c;
     UINT **spmat;      UINT **spmat;
     UINT *s0vect,*svect,*p,*v;      UINT *s0vect,*svect,*p,*v;
Line 5713  NODE nd_f4(int m,int **indp)
Line 5791  NODE nd_f4(int m,int **indp)
     int sugar;      int sugar;
     PGeoBucket bucket;      PGeoBucket bucket;
     struct oEGT eg0,eg1,eg_f4;      struct oEGT eg0,eg1,eg_f4;
       Q i1,i2,sugarq;
 #if 0  #if 0
     ndv_alloc = 0;      ndv_alloc = 0;
 #endif  #endif
Line 5722  NODE nd_f4(int m,int **indp)
Line 5800  NODE nd_f4(int m,int **indp)
         d = update_pairs(d,g,i,0);          d = update_pairs(d,g,i,0);
         g = update_base(g,i);          g = update_base(g,i);
     }      }
           nzlist = 0;
     while ( d ) {      while ( d ) {
         get_eg(&eg0);          get_eg(&eg0);
         l = nd_minsugarp(d,&d);          l = nd_minsugarp(d,&d);
         sugar = SG(l);          sugar = SG(l);
           if ( nd_nzlist ) {
               for ( tn = nd_nzlist; tn; tn = NEXT(tn) ) {
                   node = BDY((LIST)BDY(tn));
                               if ( QTOS((Q)ARG0(node)) == sugar ) break;
               }
               if ( !tn ) error("nd_f4 : inconsistent non-zero list");
                           for ( t = l, ll0 = 0; t; t = NEXT(t) ) {
                   for ( tn = BDY((LIST)ARG1(node)); tn; tn = NEXT(tn) ) {
                                     i1s = QTOS((Q)ARG0(BDY((LIST)BDY(tn))));
                                     i2s = QTOS((Q)ARG1(BDY((LIST)BDY(tn))));
                                     if ( t->i1 == i1s && t->i2 == i2s ) break;
                                   }
                               if ( tn ) {
                                       if ( !ll0 ) ll0 = t;
                                           else NEXT(ll) = t;
                                           ll = t;
                                   }
               }
                           if ( ll0 ) NEXT(ll) = 0;
                       l = ll0;
           }
         bucket = create_pbucket();          bucket = create_pbucket();
         stat = nd_sp_f4(m,0,l,bucket);          stat = nd_sp_f4(m,0,l,bucket);
         if ( !stat ) {          if ( !stat ) {
Line 5746  NODE nd_f4(int m,int **indp)
Line 5846  NODE nd_f4(int m,int **indp)
         if ( DP_Print )          if ( DP_Print )
             fprintf(asir_out,"sugar=%d,symb=%fsec,",              fprintf(asir_out,"sugar=%d,symb=%fsec,",
                 sugar,eg_f4.exectime+eg_f4.gctime);                  sugar,eg_f4.exectime+eg_f4.gctime);
         if ( 1 )          nflist = nd_f4_red(m,l,0,s0vect,col,rp0,nd_gentrace?&ll:0);
             nflist = nd_f4_red(m,l,0,s0vect,col,rp0,0);  
         else  
             nflist = nd_f4_red_dist(m,l,s0vect,col,rp0,0);  
         /* adding new bases */          /* adding new bases */
         for ( r = nflist; r; r = NEXT(r) ) {          for ( r = nflist; r; r = NEXT(r) ) {
             nf = (NDV)BDY(r);              nf = (NDV)BDY(r);
Line 5766  NODE nd_f4(int m,int **indp)
Line 5863  NODE nd_f4(int m,int **indp)
             d = update_pairs(d,g,nh,0);              d = update_pairs(d,g,nh,0);
             g = update_base(g,nh);              g = update_base(g,nh);
         }          }
           if ( nd_gentrace ) {
                           for ( t = ll, tn0 = 0; t; t = NEXT(t) ) {
                                   NEXTNODE(tn0,tn);
                   STOQ(t->i1,i1); STOQ(t->i2,i2);
                   node = mknode(2,i1,i2); MKLIST(l0,node);
                                   BDY(tn) = l0;
                           }
                           if ( tn0 ) NEXT(tn) = 0; MKLIST(l0,tn0);
               STOQ(sugar,sugarq); node = mknode(2,sugarq,l0); MKLIST(l1,node);
               MKNODE(node,l1,nzlist); nzlist = node;
           }
     }      }
       if ( nd_gentrace ) {
                   MKLIST(l0,reverse_node(nzlist));
           MKNODE(nd_alltracelist,l0,0);
       }
 #if 0  #if 0
     fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc);      fprintf(asir_out,"ndv_alloc=%d\n",ndv_alloc);
 #endif  #endif
Line 5985  NODE nd_f4_red(int m,ND_pairs sp0,int trace,UINT *s0ve
Line 6097  NODE nd_f4_red(int m,ND_pairs sp0,int trace,UINT *s0ve
     NODE r0,rp;      NODE r0,rp;
     ND_pairs sp;      ND_pairs sp;
     NM_ind_pair *rvect;      NM_ind_pair *rvect;
       UINT *s;
       int *s0hash;
   
 init_eg(&eg_search);  init_eg(&eg_search);
     for ( sp = sp0, nsp = 0; sp; sp = NEXT(sp), nsp++ );      for ( sp = sp0, nsp = 0; sp; sp = NEXT(sp), nsp++ );
     nred = length(rp0);      nred = length(rp0);
Line 5994  init_eg(&eg_search);
Line 6109  init_eg(&eg_search);
   
     /* construction of index arrays */      /* construction of index arrays */
     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));
       for ( i = 0, s = s0vect; i < col; i++, s += nd_wpd )
           s0hash[i] = ndl_hash_value(s);
     for ( rp = rp0, i = 0; rp; i++, rp = NEXT(rp) ) {      for ( rp = rp0, i = 0; rp; i++, rp = NEXT(rp) ) {
         rvect[i] = (NM_ind_pair)BDY(rp);          rvect[i] = (NM_ind_pair)BDY(rp);
         imat[i] = nm_ind_pair_to_vect_compress(m,s0vect,col,rvect[i]);          imat[i] = nm_ind_pair_to_vect_compress(m,s0vect,col,s0hash,rvect[i]);
         rhead[imat[i]->head] = 1;          rhead[imat[i]->head] = 1;
     }      }
     if ( m )      if ( m )
Line 6144  NODE nd_f4_red_q_main(ND_pairs sp0,int nsp,int trace,U
Line 6262  NODE nd_f4_red_q_main(ND_pairs sp0,int nsp,int trace,U
     rank = nd_gauss_elim_q(spmat,spsugar,sprow,spcol,colstat);      rank = nd_gauss_elim_q(spmat,spsugar,sprow,spcol,colstat);
     w = (pointer *)ALLOCA(rank*sizeof(pointer));      w = (pointer *)ALLOCA(rank*sizeof(pointer));
     for ( i = 0; i < rank; i++ ) {      for ( i = 0; i < rank; i++ ) {
   #if 0
         w[rank-i-1] = (pointer)vect_to_ndv_q(spmat[i],spcol,col,rhead,s0vect);          w[rank-i-1] = (pointer)vect_to_ndv_q(spmat[i],spcol,col,rhead,s0vect);
         SG((NDV)w[rank-i-1]) = spsugar[i];          SG((NDV)w[rank-i-1]) = spsugar[i];
   #else
           w[i] = (pointer)vect_to_ndv_q(spmat[i],spcol,col,rhead,s0vect);
           SG((NDV)w[i]) = spsugar[i];
   #endif
 /*        GCFREE(spmat[i]); */  /*        GCFREE(spmat[i]); */
     }      }
 #if 0  #if 0
Line 6321  int ox_exec_f4_red(Q proc)
Line 6444  int ox_exec_f4_red(Q proc)
     return s;      return s;
 }  }
   
   #if 0
 NODE nd_f4_red_dist(int m,ND_pairs sp0,UINT *s0vect,int col,NODE rp0,ND_pairs *nz)  NODE nd_f4_red_dist(int m,ND_pairs sp0,UINT *s0vect,int col,NODE rp0,ND_pairs *nz)
 {  {
     int nsp,nred;      int nsp,nred;
Line 6483  void nd_exec_f4_red_dist()
Line 6607  void nd_exec_f4_red_dist()
     }      }
     fflush(nd_write);      fflush(nd_write);
 }  }
   #endif
   
 int nd_gauss_elim_q(Q **mat0,int *sugar,int row,int col,int *colstat)  int nd_gauss_elim_q(Q **mat0,int *sugar,int row,int col,int *colstat)
 {  {
Line 6681  void ndv_save(NDV p,int index)
Line 6806  void ndv_save(NDV p,int index)
     fclose(s);      fclose(s);
 }  }
   
   void nd_save_mod(ND p,int index)
   {
       FILE *s;
       char name[BUFSIZ];
       int nv,sugar,len,c;
       NM m;
   
       sprintf(name,"%s/%d",Demand,index);
       s = fopen(name,"w");
       if ( !p ) {
                   len = 0;
           write_int(s,&len);
                   fclose(s);
           return;
       }
       nv = NV(p);
       sugar = SG(p);
       len = LEN(p);
       write_int(s,&nv); write_int(s,&sugar); write_int(s,&len);
           for ( m = BDY(p); m; m = NEXT(m) ) {
             c = CM(m); write_int(s,&c);
             write_intarray(s,DL(m),nd_wpd);
           }
       fclose(s);
   }
   
 NDV ndv_load(int index)  NDV ndv_load(int index)
 {  {
     FILE *s;      FILE *s;
Line 6725  NDV ndv_load(int index)
Line 6876  NDV ndv_load(int index)
     return d;      return d;
 }  }
   
   ND nd_load_mod(int index)
   {
       FILE *s;
       char name[BUFSIZ];
       int nv,sugar,len,i,c;
           ND d;
       NM m0,m;
   
       sprintf(name,"%s/%d",Demand,index);
       s = fopen(name,"r");
           /* if the file does not exist, it means p[index]=0 */
       if ( !s ) return 0;
   
       read_int(s,&nv);
           if ( !nv ) { fclose(s); return 0; }
   
       read_int(s,&sugar);
       read_int(s,&len);
           for ( m0 = 0, i = 0; i < len; i++ ) {
                   NEXTNM(m0,m);
                   read_int(s,&c); CM(m) = c;
                   read_intarray(s,DL(m),nd_wpd);
           }
           NEXT(m) = 0;
       MKND(nv,m0,len,d);
       SG(d) = sugar;
           fclose(s);
       return d;
   }
   
 void nd_det(int mod,MAT f,P *rp)  void nd_det(int mod,MAT f,P *rp)
 {  {
     VL fv,tv;      VL fv,tv;
Line 7192  void parse_nd_option(NODE opt)
Line 7373  void parse_nd_option(NODE opt)
     Obj value;      Obj value;
   
     nd_gentrace = 0; nd_gensyz = 0; nd_nora = 0; nd_gbblock = 0;      nd_gentrace = 0; nd_gensyz = 0; nd_nora = 0; nd_gbblock = 0;
         nd_newelim = 0; nd_intersect = 0;          nd_newelim = 0; nd_intersect = 0; nd_nzlist = 0;
           nd_splist = 0; nd_check_splist = 0;
     for ( t = opt; t; t = NEXT(t) ) {      for ( t = opt; t; t = NEXT(t) ) {
         p = BDY((LIST)BDY(t));          p = BDY((LIST)BDY(t));
         key = BDY((STRING)BDY(p));          key = BDY((STRING)BDY(p));
Line 7218  void parse_nd_option(NODE opt)
Line 7400  void parse_nd_option(NODE opt)
             nd_newelim = value?1:0;              nd_newelim = value?1:0;
                 else if ( !strcmp(key,"intersect") )                  else if ( !strcmp(key,"intersect") )
             nd_intersect = value?1:0;              nd_intersect = value?1:0;
                   else if ( !strcmp(key,"trace") ) {
              u = BDY((LIST)value);
                      nd_nzlist = BDY((LIST)ARG2(u));
                      nd_bpe = QTOS((Q)ARG3(u));
                   } else if ( !strcmp(key,"splist") )
               nd_splist = value?1:0;
                   else if ( !strcmp(key,"check_splist") ) {
                           nd_check_splist = BDY((LIST)value);
                   }
     }      }
 }  }
   
 ND mdptond(DP d);  ND mdptond(DP d);
 ND nd_mul_nm(int mod,NM m0,ND p);  ND nd_mul_nm(int mod,NM m0,ND p);
 ND *recompute_trace(NODE ti,ND **p,int nb,int mod);  ND *btog(NODE ti,ND **p,int nb,int mod);
 ND recompute_trace_one(NODE ti,ND *p,int nb,int mod);  ND btog_one(NODE ti,ND *p,int nb,int mod);
 MAT nd_btog(LIST f,LIST v,int m,struct order_spec *ord,LIST tlist,MAT *rp);  MAT nd_btog(LIST f,LIST v,int m,struct order_spec *ord,LIST tlist,MAT *rp);
 VECT nd_btog_one(LIST f,LIST v,int m,struct order_spec *ord,LIST tlist,int pos,MAT *rp);  VECT nd_btog_one(LIST f,LIST v,int m,struct order_spec *ord,LIST tlist,int pos,MAT *rp);
   
Line 7267  ND nd_mul_nm(int mod,NM m0,ND p)
Line 7458  ND nd_mul_nm(int mod,NM m0,ND p)
   return r;    return r;
 }  }
   
 ND *recompute_trace(NODE ti,ND **p,int nb,int mod)  ND *btog(NODE ti,ND **p,int nb,int mod)
 {  {
   PGeoBucket *r;    PGeoBucket *r;
   int i,ci;    int i,ci;
Line 7306  ND *recompute_trace(NODE ti,ND **p,int nb,int mod)
Line 7497  ND *recompute_trace(NODE ti,ND **p,int nb,int mod)
    return rd;     return rd;
 }  }
   
 ND recompute_trace_one(NODE ti,ND *p,int nb,int mod)  ND btog_one(NODE ti,ND *p,int nb,int mod)
 {  {
   PGeoBucket r;    PGeoBucket r;
   int i,ci;    int i,ci,j;
   NODE t,s;    NODE t,s;
   ND m,tp;    ND m,tp;
   ND pi,rd;    ND pi,rd;
Line 7323  ND recompute_trace_one(NODE ti,ND *p,int nb,int mod)
Line 7514  ND recompute_trace_one(NODE ti,ND *p,int nb,int mod)
           ptomp(mod,(P)HCQ(m),&c);            ptomp(mod,(P)HCQ(m),&c);
           if ( ci = ((MQ)c)->cont ) {            if ( ci = ((MQ)c)->cont ) {
             HCM(m) = ci;              HCM(m) = ci;
             pi = p[QTOS((Q)ARG1(s))];              pi = p[j=QTOS((Q)ARG1(s))];
                 tp = nd_mul_nm(mod,BDY(m),pi);                  if ( !pi ) {
             add_pbucket(mod,r,tp);                    pi = nd_load_mod(j);
                     tp = nd_mul_nm(mod,BDY(m),pi);
                     nd_free(pi);
                 add_pbucket(mod,r,tp);
                   } else {
                     tp = nd_mul_nm(mod,BDY(m),pi);
                 add_pbucket(mod,r,tp);
               }
           }            }
           ci = 1;            ci = 1;
     } else {      } else {
Line 7334  ND recompute_trace_one(NODE ti,ND *p,int nb,int mod)
Line 7532  ND recompute_trace_one(NODE ti,ND *p,int nb,int mod)
         }          }
   }    }
   rd = normalize_pbucket(mod,r);    rd = normalize_pbucket(mod,r);
     free_pbucket(r);
   if ( ci != 1 ) nd_mul_c(mod,rd,ci);    if ( ci != 1 ) nd_mul_c(mod,rd,ci);
   return rd;    return rd;
 }  }
Line 7390  MAT nd_btog(LIST f,LIST v,int mod,struct order_spec *o
Line 7589  MAT nd_btog(LIST f,LIST v,int mod,struct order_spec *o
   for ( t = trace,i=0; t; t = NEXT(t), i++ ) {    for ( t = trace,i=0; t; t = NEXT(t), i++ ) {
         printf("%d ",i); fflush(stdout);          printf("%d ",i); fflush(stdout);
     ti = BDY((LIST)BDY(t));      ti = BDY((LIST)BDY(t));
     p[j=QTOS((Q)ARG0(ti))] = recompute_trace(BDY((LIST)ARG1(ti)),p,nb,mod);      p[j=QTOS((Q)ARG0(ti))] = btog(BDY((LIST)ARG1(ti)),p,nb,mod);
     if ( j == 441 )      if ( j == 441 )
                 printf("afo");                  printf("afo");
   }    }
   for ( t = intred, i=0; t; t = NEXT(t), i++ ) {    for ( t = intred, i=0; t; t = NEXT(t), i++ ) {
         printf("%d ",i); fflush(stdout);          printf("%d ",i); fflush(stdout);
     ti = BDY((LIST)BDY(t));      ti = BDY((LIST)BDY(t));
     p[j=QTOS((Q)ARG0(ti))] = recompute_trace(BDY((LIST)ARG1(ti)),p,nb,mod);      p[j=QTOS((Q)ARG0(ti))] = btog(BDY((LIST)ARG1(ti)),p,nb,mod);
     if ( j == 441 )      if ( j == 441 )
                 printf("afo");                  printf("afo");
   }    }
Line 7463  VECT nd_btog_one(LIST f,LIST v,int mod,struct order_sp
Line 7662  VECT nd_btog_one(LIST f,LIST v,int mod,struct order_sp
   for ( t = trace,i=0; t; t = NEXT(t), i++ ) {    for ( t = trace,i=0; t; t = NEXT(t), i++ ) {
         printf("%d ",i); fflush(stdout);          printf("%d ",i); fflush(stdout);
     ti = BDY((LIST)BDY(t));      ti = BDY((LIST)BDY(t));
     p[j=QTOS((Q)ARG0(ti))] = recompute_trace_one(BDY((LIST)ARG1(ti)),p,nb,mod);      p[j=QTOS((Q)ARG0(ti))] = btog_one(BDY((LIST)ARG1(ti)),p,nb,mod);
       if ( Demand ) {
           nd_save_mod(p[j],j); nd_free(p[j]); p[j] = 0;
           }
   }    }
   for ( t = intred, i=0; t; t = NEXT(t), i++ ) {    for ( t = intred, i=0; t; t = NEXT(t), i++ ) {
         printf("%d ",i); fflush(stdout);          printf("%d ",i); fflush(stdout);
     ti = BDY((LIST)BDY(t));      ti = BDY((LIST)BDY(t));
     p[j=QTOS((Q)ARG0(ti))] = recompute_trace_one(BDY((LIST)ARG1(ti)),p,nb,mod);      p[j=QTOS((Q)ARG0(ti))] = btog_one(BDY((LIST)ARG1(ti)),p,nb,mod);
       if ( Demand ) {
           nd_save_mod(p[j],j); nd_free(p[j]); p[j] = 0;
           }
   }    }
   m = length(ind);    m = length(ind);
   MKVECT(vect,m);    MKVECT(vect,m);
   for ( j = 0, t = ind; j < m; j++, t = NEXT(t) )    for ( j = 0, t = ind; j < m; j++, t = NEXT(t) ) {
         BDY(vect)[j] = ndtodp(mod,p[QTOS((Q)BDY(t))]);          u = p[QTOS((Q)BDY(t))];
           if ( !u ) {
             u = nd_load_mod(QTOS((Q)BDY(t)));
             BDY(vect)[j] = ndtodp(mod,u);
             nd_free(u);
           } else
             BDY(vect)[j] = ndtodp(mod,u);
     }
   return vect;    return vect;
 }  }
Legend:
Removed from v.1.205  
changed lines
  Added in v.1.213
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>