[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.202 and 1.209

version 1.202, 2013/01/30 08:03:18 version 1.209, 2013/09/25 02:36:24
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.201 2013/01/30 07:44:48 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.208 2013/09/15 04:30:28 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 74  void conv_ilist(int demand,int trace,NODE g,int **indp
Line 76  void conv_ilist(int demand,int trace,NODE g,int **indp
 void parse_nd_option(NODE opt);  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);
   
 extern int Denominator,DP_Multiple;  extern int Denominator,DP_Multiple;
   
Line 1866  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 1973  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 2822  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 2882  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 2915  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)?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 2938  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 2961  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 3074  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);
 }  }
Line 3403  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 3953  void nd_setup_parameters(int nvar,int max) {
Line 4033  void nd_setup_parameters(int nvar,int max) {
         else if ( max < 65536 ) nd_bpe = 16;          else if ( max < 65536 ) nd_bpe = 16;
         else nd_bpe = 32;          else nd_bpe = 32;
     }      }
     if ( !do_weyl && weight_check && current_dl_weight_vector ) {      if ( !do_weyl && weight_check && (current_dl_weight_vector || nd_matrix) ) {
         UINT t;          UINT t;
                 /* t = max(weights) */                  int st;
         for ( i = 0, t = 0; i < nd_nvar; i++ )          int *v;
                         if ( t < current_dl_weight_vector[i] )          /* t = max(weights) */
                                 t = current_dl_weight_vector[i];          t = 0;
                 /* i = bitsize of t */          if ( current_dl_weight_vector )
                 for ( i = 0; t; t >>=1, i++ );              for ( i = 0, t = 0; i < nd_nvar; i++ ) {
                 /* i += bitsize of nd_nvar */                  if ( (st=current_dl_weight_vector[i]) < 0 ) st = -st;
                 for ( t = nd_nvar; t; t >>=1, i++);                  if ( t < st ) t = st;
                 /* nd_bpe+i = bitsize of max(weights)*max(exp)*nd_nvar */              }
                 if ( (nd_bpe+i) >= 31 )          if ( nd_matrix )
                         error("nd_setup_parameters : too large weight");              for ( i = 0; i < nd_matrix_len; i++ )
         }                  for ( j = 0, v = nd_matrix[i]; j < nd_nvar; j++ ) {
                       if ( (st=v[j]) < 0 ) st = -st;
                       if ( t < st ) t = st;
                                   }
           /* i = bitsize of t */
           for ( i = 0; t; t >>=1, i++ );
           /* i += bitsize of nd_nvar */
           for ( t = nd_nvar; t; t >>=1, i++);
           /* nd_bpe+i = bitsize of max(weights)*max(exp)*nd_nvar */
           if ( (nd_bpe+i) >= 31 )
               error("nd_setup_parameters : too large weight");
       }
     nd_epw = (sizeof(UINT)*8)/nd_bpe;      nd_epw = (sizeof(UINT)*8)/nd_bpe;
     elen = nd_nvar/nd_epw+(nd_nvar%nd_epw?1:0);      elen = nd_nvar/nd_epw+(nd_nvar%nd_epw?1:0);
     nd_exporigin = nd_get_exporigin(nd_ord);      nd_exporigin = nd_get_exporigin(nd_ord);
Line 4878  DP ndvtodp(int mod,NDV p)
Line 4969  DP ndvtodp(int mod,NDV p)
     return d;      return d;
 }  }
   
   DP ndtodp(int mod,ND p)
   {
       MP m,m0;
           DP d;
       NM t;
       int i,len;
   
       if ( !p ) return 0;
       m0 = 0;
       len = p->len;
       for ( t = BDY(p); t; t = NEXT(t) ) {
           NEXTMP(m0,m);
           m->dl = ndltodl(nd_nvar,DL(t));
           m->c = ndctop(mod,t->c);
       }
       NEXT(m) = 0;
           MKDP(nd_nvar,m0,d);
       SG(d) = SG(p);
       return d;
   }
   
 void ndv_print(NDV p)  void ndv_print(NDV p)
 {  {
     NMV m;      NMV m;
Line 4946  NODE ndv_reducebase(NODE x,int *perm)
Line 5058  NODE ndv_reducebase(NODE x,int *perm)
 void nd_init_ord(struct order_spec *ord)  void nd_init_ord(struct order_spec *ord)
 {  {
     nd_module = (ord->id >= 256);      nd_module = (ord->id >= 256);
           nd_matrix = 0;
           nd_matrix_len = 0;
     switch ( ord->id ) {      switch ( ord->id ) {
         case 0:          case 0:
             switch ( ord->ord.simple ) {              switch ( ord->ord.simple ) {
Line 5655  int nd_symbolic_preproc(PGeoBucket bucket,int trace,UI
Line 5769  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 5676  NODE nd_f4(int m,int **indp)
Line 5790  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 5685  NODE nd_f4(int m,int **indp)
Line 5799  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 5710  NODE nd_f4(int m,int **indp)
Line 5846  NODE nd_f4(int m,int **indp)
             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 )          if ( 1 )
             nflist = nd_f4_red(m,l,0,s0vect,col,rp0,0);              nflist = nd_f4_red(m,l,0,s0vect,col,rp0,nd_gentrace?&ll:0);
         else          else
             nflist = nd_f4_red_dist(m,l,s0vect,col,rp0,0);              nflist = nd_f4_red_dist(m,l,s0vect,col,rp0,nd_gentrace?&ll: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 5729  NODE nd_f4(int m,int **indp)
Line 5865  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 6644  void ndv_save(NDV p,int index)
Line 6795  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 6688  NDV ndv_load(int index)
Line 6865  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 7155  void parse_nd_option(NODE opt)
Line 7362  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 7181  void parse_nd_option(NODE opt)
Line 7389  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 nd_mul_nm(int mod,NM m0,ND p);
   ND *btog(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);
   VECT nd_btog_one(LIST f,LIST v,int m,struct order_spec *ord,LIST tlist,int pos,MAT *rp);
   
   /* d:monomial */
   ND mdptond(DP d)
   {
     NM m;
     ND r;
   
     if ( OID(d) == 1 )
           r = ptond(CO,CO,(P)d);
     else {
       NEWNM(m);
       dltondl(NV(d),BDY(d)->dl,DL(m));
       CQ(m) = (Q)BDY(d)->c;
       NEXT(m) = 0;
       MKND(NV(d),m,1,r);
     }
       return r;
   }
   
   ND nd_mul_nm(int mod,NM m0,ND p)
   {
     UINT *d0;
     int c0,c1,c;
     NM tm,mr,mr0;
     ND r;
   
     if ( !p ) return 0;
     d0 = DL(m0);
     c0 = CM(m0);
     mr0 = 0;
     for ( tm = BDY(p); tm; tm = NEXT(tm) ) {
       NEXTNM(mr0,mr);
           c = CM(tm); DMAR(c0,c,0,mod,c1); CM(mr) = c1;
           ndl_add(d0,DL(tm),DL(mr));
     }
     NEXT(mr) = 0;
     MKND(NV(p),mr0,LEN(p),r);
     return r;
   }
   
   ND *btog(NODE ti,ND **p,int nb,int mod)
   {
     PGeoBucket *r;
     int i,ci;
     NODE t,s;
     ND m,tp;
     ND *pi,*rd;
     P c;
   
     r = (PGeoBucket *)MALLOC(nb*sizeof(PGeoBucket));
     for ( i = 0; i < nb; i++ )
           r[i] = create_pbucket();
     for ( t = ti; t; t = NEXT(t) ) {
           s = BDY((LIST)BDY(t));
       if ( ARG0(s) ) {
             m = mdptond((DP)ARG2(s));
             ptomp(mod,(P)HCQ(m),&c);
             if ( ci = ((MQ)c)->cont ) {
               HCM(m) = ci;
               pi = p[QTOS((Q)ARG1(s))];
               for ( i = 0; i < nb; i++ ) {
                     tp = nd_mul_nm(mod,BDY(m),pi[i]);
                 add_pbucket(mod,r[i],tp);
               }
             }
             ci = 1;
       } else {
             ptomp(mod,(P)ARG3(s),&c); ci = ((MQ)c)->cont;
             ci = invm(ci,mod);
           }
     }
     rd = (ND *)MALLOC(nb*sizeof(ND));
     for ( i = 0; i < nb; i++ )
           rd[i] = normalize_pbucket(mod,r[i]);
     if ( ci != 1 )
       for ( i = 0; i < nb; i++ ) nd_mul_c(mod,rd[i],ci);
      return rd;
   }
   
   ND btog_one(NODE ti,ND *p,int nb,int mod)
   {
     PGeoBucket r;
     int i,ci,j;
     NODE t,s;
     ND m,tp;
     ND pi,rd;
     P c;
   
     r = create_pbucket();
     for ( t = ti; t; t = NEXT(t) ) {
           s = BDY((LIST)BDY(t));
       if ( ARG0(s) ) {
             m = mdptond((DP)ARG2(s));
             ptomp(mod,(P)HCQ(m),&c);
             if ( ci = ((MQ)c)->cont ) {
               HCM(m) = ci;
               pi = p[j=QTOS((Q)ARG1(s))];
                   if ( !pi ) {
                     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;
       } else {
             ptomp(mod,(P)ARG3(s),&c); ci = ((MQ)c)->cont;
             ci = invm(ci,mod);
           }
     }
     rd = normalize_pbucket(mod,r);
     free_pbucket(r);
     if ( ci != 1 ) nd_mul_c(mod,rd,ci);
     return rd;
   }
   
   MAT nd_btog(LIST f,LIST v,int mod,struct order_spec *ord,LIST tlist,MAT *rp)
   {
     int i,j,n,m,nb,pi0,pi1,nvar;
     VL fv,tv,vv;
     NODE permtrace,perm,trace,intred,ind,t,pi,ti;
     ND **p;
     ND *c;
     ND u;
     P inv;
     MAT mat;
   
     parse_nd_option(current_option);
     get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
     for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
     switch ( ord->id ) {
       case 1:
         if ( ord->nv != nvar )
           error("nd_check : invalid order specification");
         break;
       default:
         break;
     }
     nd_init_ord(ord);
   #if 0
     nd_bpe = QTOS((Q)ARG7(BDY(tlist)));
   #else
     nd_bpe = 32;
   #endif
     nd_setup_parameters(nvar,0);
     permtrace = BDY((LIST)ARG2(BDY(tlist)));
     intred = BDY((LIST)ARG3(BDY(tlist)));
     ind = BDY((LIST)ARG4(BDY(tlist)));
     perm = BDY((LIST)BDY(permtrace)); trace =NEXT(permtrace);
     for ( i = length(perm)-1, t = trace; t; t = NEXT(t) ) {
           j = QTOS((Q)BDY(BDY((LIST)BDY(t))));
           if ( j > i ) i = j;
     }
     n = i+1;
     nb = length(BDY(f));
     p = (ND **)MALLOC(n*sizeof(ND *));
     for ( t = perm, i = 0; t; t = NEXT(t), i++ ) {
       pi = BDY((LIST)BDY(t));
           pi0 = QTOS((Q)ARG0(pi)); pi1 = QTOS((Q)ARG1(pi));
           p[pi0] = c = (ND *)MALLOC(nb*sizeof(ND));
           ptomp(mod,(P)ARG2(pi),&inv);
           u = ptond(CO,vv,(P)ONE);
           HCM(u) = ((MQ)inv)->cont;
           c[pi1] = u;
     }
     for ( t = trace,i=0; t; t = NEXT(t), i++ ) {
           printf("%d ",i); fflush(stdout);
       ti = BDY((LIST)BDY(t));
       p[j=QTOS((Q)ARG0(ti))] = btog(BDY((LIST)ARG1(ti)),p,nb,mod);
       if ( j == 441 )
                   printf("afo");
     }
     for ( t = intred, i=0; t; t = NEXT(t), i++ ) {
           printf("%d ",i); fflush(stdout);
       ti = BDY((LIST)BDY(t));
       p[j=QTOS((Q)ARG0(ti))] = btog(BDY((LIST)ARG1(ti)),p,nb,mod);
       if ( j == 441 )
                   printf("afo");
     }
     m = length(ind);
     MKMAT(mat,nb,m);
     for ( j = 0, t = ind; j < m; j++, t = NEXT(t) )
       for ( i = 0, c = p[QTOS((Q)BDY(t))]; i < nb; i++ )
                   BDY(mat)[i][j] = ndtodp(mod,c[i]);
     return mat;
   }
   
   VECT nd_btog_one(LIST f,LIST v,int mod,struct order_spec *ord,
     LIST tlist,int pos,MAT *rp)
   {
     int i,j,n,m,nb,pi0,pi1,nvar;
     VL fv,tv,vv;
     NODE permtrace,perm,trace,intred,ind,t,pi,ti;
     ND *p;
     ND *c;
     ND u;
     P inv;
     VECT vect;
   
     parse_nd_option(current_option);
     get_vars((Obj)f,&fv); pltovl(v,&vv); vlminus(fv,vv,&nd_vc);
     for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
     switch ( ord->id ) {
       case 1:
         if ( ord->nv != nvar )
           error("nd_check : invalid order specification");
         break;
       default:
         break;
     }
     nd_init_ord(ord);
   #if 0
     nd_bpe = QTOS((Q)ARG7(BDY(tlist)));
   #else
     nd_bpe = 32;
   #endif
     nd_setup_parameters(nvar,0);
     permtrace = BDY((LIST)ARG2(BDY(tlist)));
     intred = BDY((LIST)ARG3(BDY(tlist)));
     ind = BDY((LIST)ARG4(BDY(tlist)));
     perm = BDY((LIST)BDY(permtrace)); trace =NEXT(permtrace);
     for ( i = length(perm)-1, t = trace; t; t = NEXT(t) ) {
           j = QTOS((Q)BDY(BDY((LIST)BDY(t))));
           if ( j > i ) i = j;
     }
     n = i+1;
     nb = length(BDY(f));
     p = (ND *)MALLOC(n*sizeof(ND *));
     for ( t = perm, i = 0; t; t = NEXT(t), i++ ) {
       pi = BDY((LIST)BDY(t));
           pi0 = QTOS((Q)ARG0(pi)); pi1 = QTOS((Q)ARG1(pi));
           if ( pi1 == pos ) {
             ptomp(mod,(P)ARG2(pi),&inv);
             u = ptond(CO,vv,(P)ONE);
             HCM(u) = ((MQ)inv)->cont;
             p[pi0] = u;
       }
     }
     for ( t = trace,i=0; t; t = NEXT(t), i++ ) {
           printf("%d ",i); fflush(stdout);
       ti = BDY((LIST)BDY(t));
       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++ ) {
           printf("%d ",i); fflush(stdout);
       ti = BDY((LIST)BDY(t));
       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);
     MKVECT(vect,m);
     for ( j = 0, t = ind; j < m; j++, t = NEXT(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;
 }  }
Legend:
Removed from v.1.202  
changed lines
  Added in v.1.209
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>