[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.76 and 1.84

version 1.76, 2003/09/28 09:18:57 version 1.84, 2003/10/18 01:39:42
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.75 2003/09/19 10:09:42 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.83 2003/10/17 05:15:20 noro Exp $ */
   
 #include "ca.h"  #include "ca.h"
 #include "parse.h"  #include "parse.h"
Line 144  static int nd_found,nd_create,nd_notfirst;
Line 144  static int nd_found,nd_create,nd_notfirst;
 static int nm_adv;  static int nm_adv;
 static int nmv_adv;  static int nmv_adv;
 static int nd_dcomp;  static int nd_dcomp;
   static int nd_demand;
   
 extern struct order_spec dp_current_spec;  extern struct order_spec dp_current_spec;
   extern char *Demand;
 extern VL CO;  extern VL CO;
 extern int Top,Reverse,DP_Print,dp_nelim,do_weyl;  extern int Top,Reverse,DP_Print,dp_nelim,do_weyl,NoSugar;
 extern int *current_weyl_weight_vector;  extern int *current_weyl_weight_vector;
   
 /* fundamental macros */  /* fundamental macros */
Line 261  ND_pairs crit_B( ND_pairs d, int s );
Line 263  ND_pairs crit_B( ND_pairs d, int s );
 ND_pairs crit_M( ND_pairs d1 );  ND_pairs crit_M( ND_pairs d1 );
 ND_pairs crit_F( ND_pairs d1 );  ND_pairs crit_F( ND_pairs d1 );
 int crit_2( int dp1, int dp2 );  int crit_2( int dp1, int dp2 );
 int ndv_newps(NDV a,NDV aq);  int ndv_newps(int m,NDV a,NDV aq);
   
 /* top level functions */  /* top level functions */
 void nd_gr(LIST f,LIST v,int m,int f4,struct order_spec *ord,LIST *rp);  void nd_gr(LIST f,LIST v,int m,int f4,struct order_spec *ord,LIST *rp);
 void nd_gr_trace(LIST f,LIST v,int trace,int homo,struct order_spec *ord,LIST *rp);  void nd_gr_trace(LIST f,LIST v,int trace,int homo,struct order_spec *ord,LIST *rp);
 NODE nd_f4(int m);  NODE nd_f4(int m);
 NODE nd_gb(int m,int checkonly);  NODE nd_gb(int m,int ishomo,int checkonly);
 NODE nd_gb_trace(int m);  NODE nd_gb_trace(int m,int ishomo);
   
 /* ndl functions */  /* ndl functions */
 int ndl_weight(UINT *d);  int ndl_weight(UINT *d);
Line 357  void ndv_removecont(int mod,NDV p);
Line 359  void ndv_removecont(int mod,NDV p);
 void ndv_print(NDV p);  void ndv_print(NDV p);
 void ndv_print_q(NDV p);  void ndv_print_q(NDV p);
 void ndv_free(NDV p);  void ndv_free(NDV p);
   void ndv_save(NDV p,int index);
   NDV ndv_load(int index);
   
 /* converters */  /* converters */
 ND ptond(VL vl,VL dvl,P p);  ND ptond(VL vl,VL dvl,P p);
Line 780  INLINE int ndl_equal(UINT *d1,UINT *d2)
Line 784  INLINE int ndl_equal(UINT *d1,UINT *d2)
 {  {
         int i;          int i;
   
         for ( i = 0; i < nd_wpd; i++ )          switch ( nd_wpd ) {
                 if ( *d1++ != *d2++ )                  case 2:
                         return 0;                          if ( TD(d2) != TD(d1) ) return 0;
         return 1;                          if ( d2[1] != d1[1] ) return 0;
                           return 1;
                           break;
                   case 3:
                           if ( TD(d2) != TD(d1) ) return 0;
                           if ( d2[1] != d1[1] ) return 0;
                           if ( d2[2] != d1[2] ) return 0;
                           return 1;
                           break;
                   default:
                           for ( i = 0; i < nd_wpd; i++ )
                                   if ( *d1++ != *d2++ ) return 0;
                           return 1;
                           break;
           }
 }  }
   
 INLINE void ndl_copy(UINT *d1,UINT *d2)  INLINE void ndl_copy(UINT *d1,UINT *d2)
Line 1326  int nd_nf(int mod,ND g,NDV *ps,int full,NDC dn,ND *rp)
Line 1344  int nd_nf(int mod,ND g,NDV *ps,int full,NDC dn,ND *rp)
                                 nd_free(g); nd_free(d);                                  nd_free(g); nd_free(d);
                                 return 0;                                  return 0;
                         }                          }
                         p = ps[index];                          if ( nd_demand )
                                   p = ndv_load(index);
                           else
                                   p = ps[index];
                         if ( mod == -1 )                          if ( mod == -1 )
                                 CM(mul) = _mulsf(_invsf(HCM(p)),_chsgnsf(HCM(g)));                                  CM(mul) = _mulsf(_invsf(HCM(p)),_chsgnsf(HCM(g)));
                         else if ( mod ) {                          else if ( mod ) {
Line 1385  int nd_nf_pbucket(int mod,ND g,NDV *ps,int full,ND *rp
Line 1406  int nd_nf_pbucket(int mod,ND g,NDV *ps,int full,ND *rp
         Q cg,cred,gcd,zzz;          Q cg,cred,gcd,zzz;
         RHist h;          RHist h;
         double hmag,gmag;          double hmag,gmag;
           int count = 0;
           int hcount = 0;
   
         if ( !g ) {          if ( !g ) {
                 *rp = 0;                  *rp = 0;
Line 1400  int nd_nf_pbucket(int mod,ND g,NDV *ps,int full,ND *rp
Line 1423  int nd_nf_pbucket(int mod,ND g,NDV *ps,int full,ND *rp
         while ( 1 ) {          while ( 1 ) {
                 hindex = mod?head_pbucket(mod,bucket):head_pbucket_q(bucket);                  hindex = mod?head_pbucket(mod,bucket):head_pbucket_q(bucket);
                 if ( hindex < 0 ) {                  if ( hindex < 0 ) {
                           if ( DP_Print > 3 ) printf("(%d %d)",count,hcount);
                         if ( d ) SG(d) = sugar;                          if ( d ) SG(d) = sugar;
                         *rp = d;                          *rp = d;
                         return 1;                          return 1;
Line 1407  int nd_nf_pbucket(int mod,ND g,NDV *ps,int full,ND *rp
Line 1431  int nd_nf_pbucket(int mod,ND g,NDV *ps,int full,ND *rp
                 g = bucket->body[hindex];                  g = bucket->body[hindex];
                 index = ndl_find_reducer(HDL(g));                  index = ndl_find_reducer(HDL(g));
                 if ( index >= 0 ) {                  if ( index >= 0 ) {
                           count++;
                           if ( !d ) hcount++;
                         h = nd_psh[index];                          h = nd_psh[index];
                         ndl_sub(HDL(g),DL(h),DL(mul));                          ndl_sub(HDL(g),DL(h),DL(mul));
                         if ( ndl_check_bound2(index,DL(mul)) ) {                          if ( ndl_check_bound2(index,DL(mul)) ) {
Line 1499  again:
Line 1525  again:
         }          }
         if ( DP_Print ) { printf("\n"); }          if ( DP_Print ) { printf("\n"); }
         /* gbcheck : cand is a GB of Id(cand) ? */          /* gbcheck : cand is a GB of Id(cand) ? */
         if ( !nd_gb(0,1) ) return 0;          if ( !nd_gb(0,0,1) ) return 0;
         /* XXX */          /* XXX */
         return 1;          return 1;
 }  }
Line 1734  ND normalize_pbucket(int mod,PGeoBucket g)
Line 1760  ND normalize_pbucket(int mod,PGeoBucket g)
   
 /* return value = 0 => input is not a GB */  /* return value = 0 => input is not a GB */
   
 NODE nd_gb(int m,int checkonly)  NODE nd_gb(int m,int ishomo,int checkonly)
 {  {
         int i,nh,sugar,stat;          int i,nh,sugar,stat;
         NODE r,g,t;          NODE r,g,t;
         ND_pairs d;          ND_pairs d;
         ND_pairs l;          ND_pairs l;
         ND h,nf;          ND h,nf,s,head;
         NDV nfv;          NDV nfv;
           Q q;
         union oNDC dn;          union oNDC dn;
   
         g = 0; d = 0;          g = 0; d = 0;
Line 1754  NODE nd_gb(int m,int checkonly)
Line 1781  NODE nd_gb(int m,int checkonly)
 again:  again:
                 l = nd_minp(d,&d);                  l = nd_minp(d,&d);
                 if ( SG(l) != sugar ) {                  if ( SG(l) != sugar ) {
                           if ( ishomo ) {
                                   for ( i = nd_psn-1; SG(nd_psh[i]) == sugar; i-- ) {
                                           if ( nd_demand )
                                                   nfv = ndv_load(i);
                                           else
                                                   nfv = nd_ps[i];
                                           s = ndvtond(m,nfv);
                                           s = nd_separate_head(s,&head);
                                           nd_nf(m,s,nd_ps,1,&dn,&nf);
                                           if ( !m ) { mulq(HCQ(head),dn.z,&q); HCQ(head) = q; }
                                           nf = nd_add(m,head,nf);
                                           ndv_free(nfv);
                                           nd_removecont(m,nf);
                                           nfv = ndtondv(m,nf);
                                           nd_free(nf);
                                           nd_bound[i] = ndv_compute_bound(nfv);
                                           if ( nd_demand ) {
                                                   ndv_save(nfv,i);
                                                   ndv_free(nfv);
                                           } else
                                                   nd_ps[i] = nfv;
                                   }
                           }
                         sugar = SG(l);                          sugar = SG(l);
                         if ( DP_Print ) fprintf(asir_out,"%d",sugar);                          if ( DP_Print ) fprintf(asir_out,"%d",sugar);
                 }                  }
Line 1777  again:
Line 1827  again:
                         if ( DP_Print ) { printf("+"); fflush(stdout); }                          if ( DP_Print ) { printf("+"); fflush(stdout); }
                         nd_removecont(m,nf);                          nd_removecont(m,nf);
                         nfv = ndtondv(m,nf); nd_free(nf);                          nfv = ndtondv(m,nf); nd_free(nf);
                         nh = ndv_newps(nfv,0);                          nh = ndv_newps(m,nfv,0);
                         d = update_pairs(d,g,nh);                          d = update_pairs(d,g,nh);
                         g = update_base(g,nh);                          g = update_base(g,nh);
                         FREENDP(l);                          FREENDP(l);
Line 1786  again:
Line 1836  again:
                         FREENDP(l);                          FREENDP(l);
                 }                  }
         }          }
         for ( t = g; t; t = NEXT(t) ) BDY(t) = (pointer)nd_ps[(int)BDY(t)];          if ( nd_demand )
                   for ( t = g; t; t = NEXT(t) )
                           BDY(t) = (pointer)ndv_load((int)BDY(t));
           else
                   for ( t = g; t; t = NEXT(t) )
                           BDY(t) = (pointer)nd_ps[(int)BDY(t)];
         return g;          return g;
 }  }
   
 NODE nd_gb_trace(int m)  NODE nd_gb_trace(int m,int ishomo)
 {  {
         int i,nh,sugar,stat;          int i,nh,sugar,stat;
         NODE r,g,t;          NODE r,g,t;
         ND_pairs d;          ND_pairs d;
         ND_pairs l;          ND_pairs l;
         ND h,nf,nfq;          ND h,nf,nfq,s,head;
         NDV nfv,nfqv;          NDV nfv,nfqv;
           Q q;
         union oNDC dn;          union oNDC dn;
   
         g = 0; d = 0;          g = 0; d = 0;
Line 1810  NODE nd_gb_trace(int m)
Line 1866  NODE nd_gb_trace(int m)
 again:  again:
                 l = nd_minp(d,&d);                  l = nd_minp(d,&d);
                 if ( SG(l) != sugar ) {                  if ( SG(l) != sugar ) {
                           if ( ishomo ) {
                                   for ( i = nd_psn-1; SG(nd_psh[i]) == sugar; i-- ) {
                                           /* for nd_ps */
                                           s = ndvtond(m,nd_ps[i]);
                                           s = nd_separate_head(s,&head);
                                           nd_nf_pbucket(m,s,nd_ps,1,&nf);
                                           nf = nd_add(m,head,nf);
                                           ndv_free(nd_ps[i]);
                                           nd_ps[i] = ndtondv(m,nf);
                                           nd_free(nf);
   
                                           /* for nd_ps_trace */
                                           if ( nd_demand )
                                                   nfv = ndv_load(i);
                                           else
                                                   nfv = nd_ps_trace[i];
                                           s = ndvtond(0,nfv);
                                           s = nd_separate_head(s,&head);
                                           nd_nf(0,s,nd_ps_trace,1,&dn,&nf);
                                           mulq(HCQ(head),dn.z,&q); HCQ(head) = q;
                                           nf = nd_add(0,head,nf);
                                           ndv_free(nfv);
                                           nd_removecont(0,nf);
                                           nfv = ndtondv(0,nf);
                                           nd_free(nf);
                                           nd_bound[i] = ndv_compute_bound(nfv);
                                           if ( nd_demand ) {
                                                   ndv_save(nfv,i);
                                                   ndv_free(nfv);
                                           } else
                                                   nd_ps_trace[i] = nfv;
                                   }
                           }
                         sugar = SG(l);                          sugar = SG(l);
                         if ( DP_Print ) fprintf(asir_out,"%d",sugar);                          if ( DP_Print ) fprintf(asir_out,"%d",sugar);
                 }                  }
Line 1829  again:
Line 1918  again:
                         d = nd_reconstruct(m,1,d);                          d = nd_reconstruct(m,1,d);
                         goto again;                          goto again;
                 } else if ( nf ) {                  } else if ( nf ) {
                         if ( !nd_sp(0,1,l,&h) || !nd_nf(0,h,nd_ps_trace,!Top,0,&nfq) ) {                          if ( nd_demand ) {
                                 NEXT(l) = d; d = l;                                  nfqv = ndv_load(nd_psn);
                                 d = nd_reconstruct(m,1,d);                                  nfq = ndvtond(0,nfqv);
                                 goto again;                          } else
                                   nfq = 0;
                           if ( !nfq ) {
                                   if ( !nd_sp(0,1,l,&h) || !nd_nf(0,h,nd_ps_trace,!Top,0,&nfq) ) {
                                           NEXT(l) = d; d = l;
                                           d = nd_reconstruct(m,1,d);
                                           goto again;
                                   }
                         }                          }
                         if ( nfq ) {                          if ( nfq ) {
                                 /* m|HC(nfq) => failure */                                  /* m|HC(nfq) => failure */
Line 1841  again:
Line 1937  again:
                                 if ( DP_Print ) { printf("+"); fflush(stdout); }                                  if ( DP_Print ) { printf("+"); fflush(stdout); }
                                 nd_removecont(m,nf); nfv = ndtondv(m,nf); nd_free(nf);                                  nd_removecont(m,nf); nfv = ndtondv(m,nf); nd_free(nf);
                                 nd_removecont(0,nfq); nfqv = ndtondv(0,nfq); nd_free(nfq);                                  nd_removecont(0,nfq); nfqv = ndtondv(0,nfq); nd_free(nfq);
                                 nh = ndv_newps(nfv,nfqv);                                  nh = ndv_newps(0,nfv,nfqv);
                                 d = update_pairs(d,g,nh);                                  d = update_pairs(d,g,nh);
                                 g = update_base(g,nh);                                  g = update_base(g,nh);
                         } else {                          } else {
Line 1852  again:
Line 1948  again:
                 }                  }
                 FREENDP(l);                  FREENDP(l);
         }          }
         for ( t = g; t; t = NEXT(t) )          if ( nd_demand )
                 BDY(t) = (pointer)nd_ps_trace[(int)BDY(t)];                  for ( t = g; t; t = NEXT(t) )
                           BDY(t) = (pointer)ndv_load((int)BDY(t));
           else
                   for ( t = g; t; t = NEXT(t) )
                           BDY(t) = (pointer)nd_ps_trace[(int)BDY(t)];
         return g;          return g;
 }  }
   
Line 2135  ND_pairs nd_minp( ND_pairs d, ND_pairs *prest )
Line 2235  ND_pairs nd_minp( ND_pairs d, ND_pairs *prest )
                 return m;                  return m;
         }          }
         s = SG(m);          s = SG(m);
         for ( ml = 0, l = m; p; p = NEXT(l = p) )          if ( !NoSugar ) {
                 if ( (SG(p) < s)                  for ( ml = 0, l = m; p; p = NEXT(l = p) )
                         || ((SG(p) == s) && (DL_COMPARE(LCM(p),LCM(m)) < 0)) ) {                          if ( (SG(p) < s)
                         ml = l; m = p; s = SG(m);                                  || ((SG(p) == s) && (DL_COMPARE(LCM(p),LCM(m)) < 0)) ) {
                 }                                  ml = l; m = p; s = SG(m);
                           }
           } else {
                   for ( ml = 0, l = m; p; p = NEXT(l = p) )
                           if ( DL_COMPARE(LCM(p),LCM(m)) < 0 ) {
                                   ml = l; m = p; s = SG(m);
                           }
           }
         if ( !ml ) *prest = NEXT(m);          if ( !ml ) *prest = NEXT(m);
         else {          else {
                 NEXT(ml) = NEXT(m);                  NEXT(ml) = NEXT(m);
Line 2174  ND_pairs nd_minsugarp( ND_pairs d, ND_pairs *prest )
Line 2281  ND_pairs nd_minsugarp( ND_pairs d, ND_pairs *prest )
         return dm0;          return dm0;
 }  }
   
 int ndv_newps(NDV a,NDV aq)  int ndv_newps(int m,NDV a,NDV aq)
 {  {
         int len;          int len;
         RHist r;          RHist r;
Line 2198  int ndv_newps(NDV a,NDV aq)
Line 2305  int ndv_newps(NDV a,NDV aq)
                 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 ( nd_demand ) {
                   if ( aq ) {
                           ndv_save(nd_ps_trace[nd_psn],nd_psn);
                           nd_ps_trace[nd_psn] = 0;
                   } else {
                           ndv_save(nd_ps[nd_psn],nd_psn);
                           nd_ps[nd_psn] = 0;
                   }
           }
         return nd_psn++;          return nd_psn++;
 }  }
   
Line 2240  void ndv_setup(int mod,int trace,NODE f)
Line 2356  void ndv_setup(int mod,int trace,NODE f)
                 NEWRHist(r); SG(r) = HTD(a); ndl_copy(HDL(a),DL(r));                  NEWRHist(r); SG(r) = HTD(a); ndl_copy(HDL(a),DL(r));
                 nd_bound[i] = ndv_compute_bound(a);                  nd_bound[i] = ndv_compute_bound(a);
                 nd_psh[i] = r;                  nd_psh[i] = r;
                   if ( nd_demand ) {
                           if ( trace ) {
                                   ndv_save(nd_ps_trace[i],i);
                                   nd_ps_trace[i] = 0;
                           } else {
                                   ndv_save(nd_ps[i],i);
                                   nd_ps[i] = 0;
                           }
                   }
         }          }
 }  }
   
Line 2249  void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe
Line 2374  void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe
         NODE fd,fd0,r,r0,t,x,s,xx;          NODE fd,fd0,r,r0,t,x,s,xx;
         int e,max,nvar;          int e,max,nvar;
         NDV b;          NDV b;
           int ishomo;
   
           if ( !m && Demand ) nd_demand = 1;
           else nd_demand = 0;
   
         ndv_alloc = 0;          ndv_alloc = 0;
         get_vars((Obj)f,&fv); pltovl(v,&vv);          get_vars((Obj)f,&fv); pltovl(v,&vv);
         for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );          for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
Line 2260  void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe
Line 2389  void nd_gr(LIST f,LIST v,int m,int f4,struct order_spe
                         max = MAX(e,max);                          max = MAX(e,max);
                 }                  }
         nd_setup_parameters(nvar,max);          nd_setup_parameters(nvar,max);
           ishomo = 1;
         for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {          for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {
                 b = (pointer)ptondv(CO,vv,(P)BDY(t));                  b = (pointer)ptondv(CO,vv,(P)BDY(t));
                   if ( ishomo )
                           ishomo = ishomo && ndv_ishomo(b);
                 if ( m ) ndv_mod(m,b);                  if ( m ) ndv_mod(m,b);
                 if ( b ) { NEXTNODE(fd0,fd); BDY(fd) = (pointer)b; }                  if ( b ) { NEXTNODE(fd0,fd); BDY(fd) = (pointer)b; }
         }          }
         if ( fd0 ) NEXT(fd) = 0;          if ( fd0 ) NEXT(fd) = 0;
         ndv_setup(m,0,fd0);          ndv_setup(m,0,fd0);
         x = f4?nd_f4(m):nd_gb(m,0);          x = f4?nd_f4(m):nd_gb(m,ishomo,0);
           nd_demand = 0;
         x = ndv_reducebase(x);          x = ndv_reducebase(x);
         x = ndv_reduceall(m,x);          x = ndv_reduceall(m,x);
         for ( r0 = 0, t = x; t; t = NEXT(t) ) {          for ( r0 = 0, t = x; t; t = NEXT(t) ) {
Line 2289  void nd_gr_trace(LIST f,LIST v,int trace,int homo,stru
Line 2422  void nd_gr_trace(LIST f,LIST v,int trace,int homo,stru
         NMV a;          NMV a;
         P p;          P p;
         EPOS oepos;          EPOS oepos;
         int obpe,oadv,wmax,i,len,cbpe;          int obpe,oadv,wmax,i,len,cbpe,ishomo;
   
         get_vars((Obj)f,&fv); pltovl(v,&vv);          get_vars((Obj)f,&fv); pltovl(v,&vv);
         for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );          for ( nvar = 0, tv = vv; tv; tv = NEXT(tv), nvar++ );
         nocheck = 0;          nocheck = 0;
         mindex = 0;          mindex = 0;
   
           if ( Demand ) nd_demand = 1;
           else nd_demand = 0;
   
         /* setup modulus */          /* setup modulus */
         if ( trace < 0 ) {          if ( trace < 0 ) {
                 trace = -trace;                  trace = -trace;
Line 2310  void nd_gr_trace(LIST f,LIST v,int trace,int homo,stru
Line 2446  void nd_gr_trace(LIST f,LIST v,int trace,int homo,stru
         nd_init_ord(ord);          nd_init_ord(ord);
         nd_setup_parameters(nvar,max);          nd_setup_parameters(nvar,max);
         obpe = nd_bpe; oadv = nmv_adv; oepos = nd_epos;          obpe = nd_bpe; oadv = nmv_adv; oepos = nd_epos;
           ishomo = 1;
         for ( in0 = 0, fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {          for ( in0 = 0, fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {
                 c = ptondv(CO,vv,(P)BDY(t));                  c = ptondv(CO,vv,(P)BDY(t));
                   if ( ishomo )
                           ishomo = ishomo && ndv_ishomo(c);
                 if ( c ) {                  if ( c ) {
                         NEXTNODE(in0,in); BDY(in) = (pointer)c;                          NEXTNODE(in0,in); BDY(in) = (pointer)c;
                         NEXTNODE(fd0,fd); BDY(fd) = (pointer)ndv_dup(0,c);                          NEXTNODE(fd0,fd); BDY(fd) = (pointer)ndv_dup(0,c);
Line 2319  void nd_gr_trace(LIST f,LIST v,int trace,int homo,stru
Line 2458  void nd_gr_trace(LIST f,LIST v,int trace,int homo,stru
         }          }
         if ( in0 ) NEXT(in) = 0;          if ( in0 ) NEXT(in) = 0;
         if ( fd0 ) NEXT(fd) = 0;          if ( fd0 ) NEXT(fd) = 0;
         if ( homo ) {          if ( !ishomo && homo ) {
                 for ( t = in0, wmax = 0; t; t = NEXT(t) ) {                  for ( t = in0, wmax = 0; t; t = NEXT(t) ) {
                         c = (NDV)BDY(t); len = LEN(c);                          c = (NDV)BDY(t); len = LEN(c);
                         for ( a = BDY(c), i = 0; i < len; i++, NMV_ADV(a) )                          for ( a = BDY(c), i = 0; i < len; i++, NMV_ADV(a) )
Line 2332  void nd_gr_trace(LIST f,LIST v,int trace,int homo,stru
Line 2471  void nd_gr_trace(LIST f,LIST v,int trace,int homo,stru
                         ndv_homogenize((NDV)BDY(t),obpe,oadv,oepos);                          ndv_homogenize((NDV)BDY(t),obpe,oadv,oepos);
         }          }
         while ( 1 ) {          while ( 1 ) {
                   if ( Demand )
                           nd_demand = 1;
                 ndv_setup(m,1,fd0);                  ndv_setup(m,1,fd0);
                 cand = nd_gb_trace(m);                  cand = nd_gb_trace(m,ishomo || homo);
                 if ( !cand ) {                  if ( !cand ) {
                         /* failure */                          /* failure */
                         if ( trace > 1 ) { *rp = 0; return; }                          if ( trace > 1 ) { *rp = 0; return; }
                         else m = get_lprime(++mindex);                          else m = get_lprime(++mindex);
                         continue;                          continue;
                 }                  }
                 if ( homo ) {                  if ( !ishomo && homo ) {
                         /* dehomogenization */                          /* dehomogenization */
                         for ( t = cand; t; t = NEXT(t) ) ndv_dehomogenize((NDV)BDY(t),ord);                          for ( t = cand; t; t = NEXT(t) ) ndv_dehomogenize((NDV)BDY(t),ord);
                         nd_init_ord(ord);                          nd_init_ord(ord);
                         nd_setup_parameters(nvar,0);                          nd_setup_parameters(nvar,0);
                 }                  }
                   nd_demand = 0;
                 cand = ndv_reducebase(cand);                  cand = ndv_reducebase(cand);
                 cand = ndv_reduceall(0,cand);                  cand = ndv_reduceall(0,cand);
                   cbpe = nd_bpe;
                 if ( nocheck )                  if ( nocheck )
                         break;                          break;
                 cbpe = nd_bpe;  
                 if ( ndv_check_candidate(in0,obpe,oadv,oepos,cand) )                  if ( ndv_check_candidate(in0,obpe,oadv,oepos,cand) )
                         /* success */                          /* success */
                         break;                          break;
Line 2361  void nd_gr_trace(LIST f,LIST v,int trace,int homo,stru
Line 2503  void nd_gr_trace(LIST f,LIST v,int trace,int homo,stru
                         /* try the next modulus */                          /* try the next modulus */
                         m = get_lprime(++mindex);                          m = get_lprime(++mindex);
                         /* reset the parameters */                          /* reset the parameters */
                         if ( homo ) {                          if ( !ishomo && homo ) {
                                 nd_init_ord(&ord1);                                  nd_init_ord(&ord1);
                                 nd_setup_parameters(nvar+1,wmax);                                  nd_setup_parameters(nvar+1,wmax);
                         } else {                          } else {
Line 2752  int nd_get_exporigin(struct order_spec *ord)
Line 2894  int nd_get_exporigin(struct order_spec *ord)
 }  }
   
 void nd_setup_parameters(int nvar,int max) {  void nd_setup_parameters(int nvar,int max) {
         int i,j,n,elen,ord_o,ord_l,l,s;          int i,j,n,elen,ord_o,ord_l,l,s,wpd;
         struct order_pair *op;          struct order_pair *op;
         int bpe;  
   
         if ( !max ) bpe = nd_bpe;  
         else if ( max < 2 ) bpe = 1;  
         else if ( max < 4 ) bpe = 2;  
         else if ( max < 8 ) bpe = 3;  
         else if ( max < 16 ) bpe = 4;  
         else if ( max < 32 ) bpe = 5;  
         else if ( max < 64 ) bpe = 6;  
         else if ( max < 256 ) bpe = 8;  
         else if ( max < 1024 ) bpe = 10;  
         else if ( max < 65536 ) bpe = 16;  
         else bpe = 32;  
         if ( bpe != nd_bpe || nvar != nd_nvar )  
                 nd_free_private_storage();  
         nd_bpe = bpe;  
         nd_nvar = nvar;          nd_nvar = nvar;
           if ( max ) {
                   /* XXX */
                   if ( do_weyl ) nd_bpe = 32;
                   else if ( max < 2 ) nd_bpe = 1;
                   else if ( max < 4 ) nd_bpe = 2;
                   else if ( max < 8 ) nd_bpe = 3;
                   else if ( max < 16 ) nd_bpe = 4;
                   else if ( max < 32 ) nd_bpe = 5;
                   else if ( max < 64 ) nd_bpe = 6;
                   else if ( max < 256 ) nd_bpe = 8;
                   else if ( max < 1024 ) nd_bpe = 10;
                   else if ( max < 65536 ) nd_bpe = 16;
                   else nd_bpe = 32;
           }
         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);
         nd_wpd = nd_exporigin+elen;          wpd = nd_exporigin+elen;
           if ( wpd != nd_wpd ) {
                   nd_free_private_storage();
                   nd_wpd = wpd;
           }
         if ( nd_bpe < 32 ) {          if ( nd_bpe < 32 ) {
                 nd_mask0 = (1<<nd_bpe)-1;                  nd_mask0 = (1<<nd_bpe)-1;
         } else {          } else {
Line 2927  int nd_sp(int mod,int trace,ND_pairs p,ND *rp)
Line 3070  int nd_sp(int mod,int trace,ND_pairs p,ND *rp)
         UINT *lcm;          UINT *lcm;
         int td;          int td;
   
         if ( trace ) {          if ( !mod && nd_demand ) {
                 p1 = nd_ps_trace[p->i1]; p2 = nd_ps_trace[p->i2];                  p1 = ndv_load(p->i1); p2 = ndv_load(p->i2);
         } else {          } else {
                 p1 = nd_ps[p->i1]; p2 = nd_ps[p->i2];                  if ( trace ) {
                           p1 = nd_ps_trace[p->i1]; p2 = nd_ps_trace[p->i2];
                   } else {
                           p1 = nd_ps[p->i1]; p2 = nd_ps[p->i2];
                   }
         }          }
         lcm = LCM(p);          lcm = LCM(p);
         NEWNM(m);          NEWNM(m);
Line 3740  IndArray nm_ind_pair_to_vect_compress(int mod,UINT *s0
Line 3887  IndArray nm_ind_pair_to_vect_compress(int mod,UINT *s0
         NDV p;          NDV p;
         unsigned char *ivc;          unsigned char *ivc;
         unsigned short *ivs;          unsigned short *ivs;
         UINT *v,*ivi;          UINT *v,*ivi,*s0v;
         int i,j,len,prev,diff,cdiff;          int i,j,len,prev,diff,cdiff;
         IndArray r;          IndArray r;
   
Line 3749  IndArray nm_ind_pair_to_vect_compress(int mod,UINT *s0
Line 3896  IndArray nm_ind_pair_to_vect_compress(int mod,UINT *s0
         p = nd_ps[pair->index];          p = nd_ps[pair->index];
         len = LEN(p);          len = LEN(p);
         t = (UINT *)ALLOCA(nd_wpd*sizeof(UINT));          t = (UINT *)ALLOCA(nd_wpd*sizeof(UINT));
         r = (IndArray)MALLOC(sizeof(struct oIndArray));  
         v = (unsigned int *)ALLOCA(len*sizeof(unsigned int));          v = (unsigned int *)ALLOCA(len*sizeof(unsigned int));
         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++ );                  for ( ; !ndl_equal(t,s); s += nd_wpd, i++ );
                 v[j] = i;                  v[j] = i;
         }          }
           r = (IndArray)MALLOC(sizeof(struct oIndArray));
         r->head = v[0];          r->head = v[0];
         diff = 0;          diff = 0;
         for ( i = 1; i < len; i++ ) {          for ( i = 1; i < len; i++ ) {
Line 3984  NODE nd_f4(int m)
Line 4131  NODE nd_f4(int m)
         ND spol,red;          ND spol,red;
         NDV nf,redv;          NDV nf,redv;
         NM s0,s;          NM s0,s;
         NODE rp0,sp0,srp0,nflist;          NODE rp0,srp0,nflist;
         int nsp,nred,col,rank,len,k,j,a;          int nsp,nred,col,rank,len,k,j,a;
         UINT c;          UINT c;
         UINT **spmat;          UINT **spmat;
Line 4017  NODE nd_f4(int m)
Line 4164  NODE nd_f4(int m)
                         d = nd_reconstruct(m,0,d);                          d = nd_reconstruct(m,0,d);
                         continue;                          continue;
                 }                  }
                 if ( !sp0 ) continue;  
                 col = nd_symbolic_preproc(bucket,&s0vect,&rp0);                  col = nd_symbolic_preproc(bucket,&s0vect,&rp0);
                 if ( !col ) {                  if ( !col ) {
                         for ( t = l; NEXT(t); t = NEXT(t) );                          for ( t = l; NEXT(t); t = NEXT(t) );
Line 4037  NODE nd_f4(int m)
Line 4183  NODE nd_f4(int m)
                 for ( r = nflist; r; r = NEXT(r) ) {                  for ( r = nflist; r; r = NEXT(r) ) {
                         nf = (NDV)BDY(r);                          nf = (NDV)BDY(r);
                         ndv_removecont(m,nf);                          ndv_removecont(m,nf);
                         nh = ndv_newps(nf,0);                          nh = ndv_newps(m,nf,0);
                         d = update_pairs(d,g,nh);                          d = update_pairs(d,g,nh);
                         g = update_base(g,nh);                          g = update_base(g,nh);
                 }                  }
Line 4059  NODE nd_f4_red(int m,ND_pairs sp0,UINT *s0vect,int col
Line 4205  NODE nd_f4_red(int m,ND_pairs sp0,UINT *s0vect,int col
         int **spmat;          int **spmat;
         UINT *svect,*v;          UINT *svect,*v;
         int *colstat;          int *colstat;
         struct oEGT eg0,eg1,eg_f4;          struct oEGT eg0,eg1,eg2,eg_f4,eg_f4_1,eg_f4_2;
         NM_ind_pair *rvect;          NM_ind_pair *rvect;
         int maxrs;          int maxrs;
         int *spsugar;          int *spsugar;
Line 4101  NODE nd_f4_red(int m,ND_pairs sp0,UINT *s0vect,int col
Line 4247  NODE nd_f4_red(int m,ND_pairs sp0,UINT *s0vect,int col
                 }                  }
                 nd_free(spol);                  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 */          /* free index arrays */
         for ( i = 0; i < nred; i++ ) GC_free(imat[i]->index.c);          for ( i = 0; i < nred; i++ ) GC_free(imat[i]->index.c);
   
Line 4118  NODE nd_f4_red(int m,ND_pairs sp0,UINT *s0vect,int col
Line 4269  NODE nd_f4_red(int m,ND_pairs sp0,UINT *s0vect,int col
                 GC_free(spmat[i]);                  GC_free(spmat[i]);
         }          }
         for ( ; i < sprow; i++ ) GC_free(spmat[i]);          for ( ; i < sprow; i++ ) GC_free(spmat[i]);
         get_eg(&eg1); init_eg(&eg_f4); add_eg(&eg_f4,&eg0,&eg1);          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 ) {          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  ",                  fprintf(asir_out,"nsp=%d,nred=%d,spmat=(%d,%d),rank=%d  ",
                         nsp,nred,sprow,spcol,rank);                          nsp,nred,sprow,spcol,rank);
                 fprintf(asir_out,"%fsec\n",eg_f4.exectime+eg_f4.gctime);                  fprintf(asir_out,"%fsec\n",eg_f4.exectime+eg_f4.gctime);
Line 4495  int nd_gauss_elim_sf(int **mat0,int *sugar,int row,int
Line 4648  int nd_gauss_elim_sf(int **mat0,int *sugar,int row,int
                         l--;                          l--;
                 }                  }
         return rank;          return rank;
   }
   
   int ndv_ishomo(NDV p)
   {
           NMV m;
           int len,h;
   
           if ( !p ) return 1;
           len = LEN(p);
           m = BDY(p);
           h = TD(DL(m));
           NMV_ADV(m);
           for ( len--; len; len--, NMV_ADV(m) )
                   if ( TD(DL(m)) != h ) return 0;
           return 1;
   }
   
   void ndv_save(NDV p,int index)
   {
           FILE *s;
           char name[BUFSIZ];
           short id;
           int nv,sugar,len,n,i,td,e,j;
           NMV m;
           unsigned int *dl;
   
           sprintf(name,"%s/%d",Demand,index);
           s = fopen(name,"w");
           savevl(s,0);
           if ( !p ) {
                   saveobj(s,0);
                   return;
           }
           id = O_DP;
           nv = NV(p);
           sugar = SG(p);
           len = LEN(p);
           write_short(s,&id); write_int(s,&nv); write_int(s,&sugar);
           write_int(s,&len);
   
           for ( m = BDY(p), i = 0; i < len; i++, NMV_ADV(m) ) {
                   saveobj(s,(Obj)CQ(m));
                   dl = DL(m);
                   td = TD(dl);
                   write_int(s,&td);
                   for ( j = 0; j < nv; j++ ) {
                           e = GET_EXP(dl,j);
                           write_int(s,&e);
                   }
           }
           fclose(s);
   }
   
   NDV ndv_load(int index)
   {
           FILE *s;
           char name[BUFSIZ];
           short id;
           int nv,sugar,len,n,i,td,e,j;
           NDV d;
           NMV m0,m;
           unsigned int *dl;
           Obj obj;
   
           sprintf(name,"%s/%d",Demand,index);
           s = fopen(name,"r");
           if ( !s ) return 0;
   
           skipvl(s);
           read_short(s,&id);
           if ( !id ) return 0;
           read_int(s,&nv);
           read_int(s,&sugar);
           read_int(s,&len);
   
           m0 = m = MALLOC(len*nmv_adv);
           for ( i = 0; i < len; i++, NMV_ADV(m) ) {
                   loadobj(s,&obj); CQ(m) = (Q)obj;
                   dl = DL(m);
                   ndl_zero(dl);
                   read_int(s,&td); TD(dl) = td;
                   for ( j = 0; j < nv; j++ ) {
                           read_int(s,&e);
                           PUT_EXP(dl,j,e);
                   }
                   if ( nd_blockmask ) ndl_weight_mask(dl);
           }
           fclose(s);
           MKNDV(nv,m0,len,d);
           SG(d) = sugar;
           return d;
 }  }
Legend:
Removed from v.1.76  
changed lines
  Added in v.1.84
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>