[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.14 and 1.18

version 1.14, 2003/07/30 07:57:45 version 1.18, 2003/07/31 05:42:22
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.13 2003/07/30 00:55:41 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2000/engine/nd.c,v 1.17 2003/07/31 05:30:38 noro Exp $ */
   
 #include "ca.h"  #include "ca.h"
 #include "inline.h"  #include "inline.h"
   
 #define USE_NDV 1  
   
 #if defined(__GNUC__)  #if defined(__GNUC__)
 #define INLINE inline  #define INLINE inline
 #elif defined(VISUAL)  #elif defined(VISUAL)
Line 92  NODE append_one(NODE,int);
Line 90  NODE append_one(NODE,int);
 #define HTD(d) ((d)->body->td)  #define HTD(d) ((d)->body->td)
 #define HDL(d) ((d)->body->dl)  #define HDL(d) ((d)->body->dl)
 #define HCM(d) ((d)->body->c.m)  #define HCM(d) ((d)->body->c.m)
   #define HCQ(d) ((d)->body->c.z)
 #define CM(a) ((a)->c.m)  #define CM(a) ((a)->c.m)
   #define CQ(a) ((a)->c.z)
 #define DL(a) ((a)->dl)  #define DL(a) ((a)->dl)
 #define TD(a) ((a)->td)  #define TD(a) ((a)->td)
 #define SG(a) ((a)->sugar)  #define SG(a) ((a)->sugar)
 #define LEN(a) ((a)->len)  #define LEN(a) ((a)->len)
   
 #define NEWRHist(r) ((r)=(RHist)MALLOC(sizeof(struct oRHist)))  #define NEWRHist(r) \
   ((r)=(RHist)MALLOC(sizeof(struct oRHist)+(nd_wpd-1)*sizeof(unsigned int)))
 #define NEWND_pairs(m) if(!_ndp_free_list)_NDP_alloc(); (m)=_ndp_free_list; _ndp_free_list = NEXT(_ndp_free_list)  #define NEWND_pairs(m) if(!_ndp_free_list)_NDP_alloc(); (m)=_ndp_free_list; _ndp_free_list = NEXT(_ndp_free_list)
 #define NEWNM(m) if(!_nm_free_list)_NM_alloc(); (m)=_nm_free_list; _nm_free_list = NEXT(_nm_free_list)  #define NEWNM(m) if(!_nm_free_list)_NM_alloc(); (m)=_nm_free_list; _nm_free_list = NEXT(_nm_free_list)
 #define MKND(n,m,d) if(!_nd_free_list)_ND_alloc(); (d)=_nd_free_list; _nd_free_list = (ND)BDY(_nd_free_list); (d)->nv=(n); BDY(d)=(m)  #define MKND(n,m,d) if(!_nd_free_list)_ND_alloc(); (d)=_nd_free_list; _nd_free_list = (ND)BDY(_nd_free_list); (d)->nv=(n); BDY(d)=(m)
Line 116  if(!(r)){(c)=(r)=(s);}else{NEXT(c)=(s);(c)=(s);}
Line 117  if(!(r)){(c)=(r)=(s);}else{NEXT(c)=(s);(c)=(s);}
 #define NEXTND_pairs(r,c) \  #define NEXTND_pairs(r,c) \
 if(!(r)){NEWND_pairs(r);(c)=(r);}else{NEWND_pairs(NEXT(c));(c)=NEXT(c);}  if(!(r)){NEWND_pairs(r);(c)=(r);}else{NEWND_pairs(NEXT(c));(c)=NEXT(c);}
   
   void nd_removecont(ND p);
   void ndv_removecont(NDV p);
   void ndv_mul_c_q(NDV p,Q mul);
   void nd_mul_c_q(ND p,Q mul);
   
 ND_pairs crit_B( ND_pairs d, int s );  ND_pairs crit_B( ND_pairs d, int s );
 void nd_gr(LIST f,LIST v,int m,struct order_spec *ord,LIST *rp);  void nd_gr(LIST f,LIST v,int m,struct order_spec *ord,LIST *rp);
 NODE nd_setup(NODE f);  NODE nd_setup(int mod,NODE f);
 int nd_newps(ND a);  int nd_newps(int mod,ND a);
 ND_pairs nd_minp( ND_pairs d, ND_pairs *prest );  ND_pairs nd_minp( ND_pairs d, ND_pairs *prest );
 NODE update_base(NODE nd,int ndp);  NODE update_base(NODE nd,int ndp);
 static ND_pairs equivalent_pairs( ND_pairs d1, ND_pairs *prest );  static ND_pairs equivalent_pairs( ND_pairs d1, ND_pairs *prest );
Line 128  ND_pairs crit_F( ND_pairs d1 );
Line 134  ND_pairs crit_F( ND_pairs d1 );
 ND_pairs crit_M( ND_pairs d1 );  ND_pairs crit_M( ND_pairs d1 );
 ND_pairs nd_newpairs( NODE g, int t );  ND_pairs nd_newpairs( NODE g, int t );
 ND_pairs update_pairs( ND_pairs d, NODE /* of index */ g, int t);  ND_pairs update_pairs( ND_pairs d, NODE /* of index */ g, int t);
 NODE nd_gb(NODE f);  NODE nd_gb(int m,NODE f);
 void nd_free_private_storage();  void nd_free_private_storage();
 void _NM_alloc();  void _NM_alloc();
 void _ND_alloc();  void _ND_alloc();
 int ndl_td(unsigned int *d);  int ndl_td(unsigned int *d);
 ND nd_add(ND p1,ND p2);  ND nd_add(ND p1,ND p2);
 ND nd_mul_nm(ND p,NM m0);  ND nd_add_q(ND p1,ND p2);
 ND nd_mul_ind_nm(int index,NM m0);  ND nd_mul_nm(int mod,ND p,NM m0);
 ND nd_mul_term(ND p,int td,unsigned int *d);  ND nd_mul_ind_nm(int mod,int index,NM m0);
 int nd_sp(ND_pairs p,ND *nf);  int nd_sp(int mod,ND_pairs p,ND *nf);
 int nd_find_reducer(ND g);  int nd_find_reducer(ND g);
 int nd_nf(ND g,int full,ND *nf);  int nd_nf(int mod,ND g,int full,ND *nf);
 ND nd_reduce(ND p1,ND p2);  ND nd_reduce(ND p1,ND p2);
 ND nd_reduce_special(ND p1,ND p2);  ND nd_reduce_special(ND p1,ND p2);
 void nd_free(ND p);  void nd_free(ND p);
 void ndl_print(unsigned int *dl);  void ndl_print(unsigned int *dl);
 void nd_print(ND p);  void nd_print(ND p);
   void nd_print_q(ND p);
   void ndv_print(NDV p);
   void ndv_print_q(NDV p);
 void ndp_print(ND_pairs d);  void ndp_print(ND_pairs d);
 int nd_length(ND p);  int nd_length(ND p);
 void nd_monic(ND p);  void nd_monic(ND p);
Line 159  void nd_realloc(ND p,int obpe);
Line 168  void nd_realloc(ND p,int obpe);
 ND nd_copy(ND p);  ND nd_copy(ND p);
 void ndl_dup(int obpe,unsigned int *d,unsigned int *r);  void ndl_dup(int obpe,unsigned int *d,unsigned int *r);
   
 #if USE_NDV  
 static NDV *nd_ps;  static NDV *nd_ps;
   
 #define NMV_ADV(m) (m = (NMV)(((char *)m)+nmv_adv))  #define NMV_ADV(m) (m = (NMV)(((char *)m)+nmv_adv))
Line 172  NDV ndv_red;
Line 180  NDV ndv_red;
   
 void ndv_mul_c(NDV p,int mul);  void ndv_mul_c(NDV p,int mul);
 ND ndv_add(ND p1,NDV p2);  ND ndv_add(ND p1,NDV p2);
 NDV ndtondv(ND p);  ND ndv_add_q(ND p1,NDV p2);
 void ndv_mul_nm(NDV pv,NM m,NDV r);  NDV ndtondv(int mod,ND p);
 ND ndv_mul_nm_create(NDV p,NM m0);  void ndv_mul_nm(int mod,NDV pv,NM m,NDV r);
   ND ndv_mul_nm_create(int mod,NDV p,NM m0);
 void ndv_realloc(NDV p,int obpe,int oadv);  void ndv_realloc(NDV p,int obpe,int oadv);
 NDV dptondv(DP);  NDV dptondv(int,DP);
 DP ndvtodp(NDV);  DP ndvtodp(int,NDV);
 #else  ND dptond(int,DP);
 static ND *nd_ps;  DP ndtodp(int,ND);
 ND dptond(DP);  
 DP ndtodp(ND);  
 #endif  
   
 void nd_free_private_storage()  void nd_free_private_storage()
 {  {
Line 538  int ndl_disjoint(unsigned int *d1,unsigned int *d2)
Line 544  int ndl_disjoint(unsigned int *d1,unsigned int *d2)
         }          }
 }  }
   
 ND nd_reduce(ND p1,ND p2)  
 {  
         int c,c1,c2,t,td,td2,mul;  
         NM m2,prev,head,cur,new;  
         unsigned int *d;  
   
         if ( !p1 )  
                 return 0;  
         else {  
                 c2 = invm(HCM(p2),nd_mod);  
                 c1 = nd_mod-HCM(p1);  
                 DMAR(c1,c2,0,nd_mod,mul);  
                 td = HTD(p1)-HTD(p2);  
                 d = (unsigned int *)ALLOCA(nd_wpd*sizeof(unsigned int));  
                 ndl_sub(HDL(p1),HDL(p2),d);  
                 prev = 0; head = cur = BDY(p1);  
                 NEWNM(new);  
                 for ( m2 = BDY(p2); m2; ) {  
                         td2 = TD(new) = TD(m2)+td;  
                         ndl_add(DL(m2),d,DL(new));  
                         if ( !cur ) {  
                                 c1 = CM(m2);  
                                 DMAR(c1,mul,0,nd_mod,c2);  
                                 CM(new) = c2;  
                                 if ( !prev ) {  
                                         prev = new;  
                                         NEXT(prev) = 0;  
                                         head = prev;  
                                 } else {  
                                         NEXT(prev) = new;  
                                         NEXT(new) = 0;  
                                         prev = new;  
                                 }  
                                 m2 = NEXT(m2);  
                                 NEWNM(new);  
                                 continue;  
                         }  
                         if ( TD(cur) > td2 )  
                                 c = 1;  
                         else if ( TD(cur) < td2 )  
                                 c = -1;  
                         else  
                                 c = ndl_compare(DL(cur),DL(new));  
                         switch ( c ) {  
                                 case 0:  
                                         c2 = CM(m2);  
                                         c1 = CM(cur);  
                                         DMAR(c2,mul,c1,nd_mod,t);  
                                         if ( t )  
                                                 CM(cur) = t;  
                                         else if ( !prev ) {  
                                                 head = NEXT(cur);  
                                                 FREENM(cur);  
                                                 cur = head;  
                                         } else {  
                                                 NEXT(prev) = NEXT(cur);  
                                                 FREENM(cur);  
                                                 cur = NEXT(prev);  
                                         }  
                                         m2 = NEXT(m2);  
                                         break;  
                                 case 1:  
                                         prev = cur;  
                                         cur = NEXT(cur);  
                                         break;  
                                 case -1:  
                                         if ( !prev ) {  
                                                 /* cur = head */  
                                                 prev = new;  
                                                 c2 = CM(m2);  
                                                 DMAR(c2,mul,0,nd_mod,c1);  
                                                 CM(prev) = c1;  
                                                 NEXT(prev) = head;  
                                                 head = prev;  
                                         } else {  
                                                 c2 = CM(m2);  
                                                 DMAR(c2,mul,0,nd_mod,c1);  
                                                 CM(new) = c1;  
                                                 NEXT(prev) = new;  
                                                 NEXT(new) = cur;  
                                                 prev = new;  
                                         }  
                                         NEWNM(new);  
                                         m2 = NEXT(m2);  
                                         break;  
                         }  
                 }  
                 FREENM(new);  
                 if ( head ) {  
                         BDY(p1) = head;  
                         SG(p1) = MAX(SG(p1),SG(p2)+td);  
                         return p1;  
                 } else {  
                         FREEND(p1);  
                         return 0;  
                 }  
   
         }  
 }  
   
 /* HDL(p1) = HDL(p2) */  
   
 ND nd_reduce_special(ND p1,ND p2)  
 {  
         int c,c1,c2,t,td,td2,mul;  
         NM m2,prev,head,cur,new;  
   
         if ( !p1 )  
                 return 0;  
         else {  
                 c2 = invm(HCM(p2),nd_mod);  
                 c1 = nd_mod-HCM(p1);  
                 DMAR(c1,c2,0,nd_mod,mul);  
                 prev = 0; head = cur = BDY(p1);  
                 NEWNM(new);  
                 for ( m2 = BDY(p2); m2; ) {  
                         td2 = TD(new) = TD(m2);  
                         if ( !cur ) {  
                                 c1 = CM(m2);  
                                 DMAR(c1,mul,0,nd_mod,c2);  
                                 CM(new) = c2;  
                                 bcopy(DL(m2),DL(new),nd_wpd*sizeof(unsigned int));  
                                 if ( !prev ) {  
                                         prev = new;  
                                         NEXT(prev) = 0;  
                                         head = prev;  
                                 } else {  
                                         NEXT(prev) = new;  
                                         NEXT(new) = 0;  
                                         prev = new;  
                                 }  
                                 m2 = NEXT(m2);  
                                 NEWNM(new);  
                                 continue;  
                         }  
                         if ( TD(cur) > td2 )  
                                 c = 1;  
                         else if ( TD(cur) < td2 )  
                                 c = -1;  
                         else  
                                 c = ndl_compare(DL(cur),DL(m2));  
                         switch ( c ) {  
                                 case 0:  
                                         c2 = CM(m2);  
                                         c1 = CM(cur);  
                                         DMAR(c2,mul,c1,nd_mod,t);  
                                         if ( t )  
                                                 CM(cur) = t;  
                                         else if ( !prev ) {  
                                                 head = NEXT(cur);  
                                                 FREENM(cur);  
                                                 cur = head;  
                                         } else {  
                                                 NEXT(prev) = NEXT(cur);  
                                                 FREENM(cur);  
                                                 cur = NEXT(prev);  
                                         }  
                                         m2 = NEXT(m2);  
                                         break;  
                                 case 1:  
                                         prev = cur;  
                                         cur = NEXT(cur);  
                                         break;  
                                 case -1:  
                                         bcopy(DL(m2),DL(new),nd_wpd*sizeof(unsigned int));  
                                         if ( !prev ) {  
                                                 /* cur = head */  
                                                 prev = new;  
                                                 c2 = CM(m2);  
                                                 DMAR(c2,mul,0,nd_mod,c1);  
                                                 CM(prev) = c1;  
                                                 NEXT(prev) = head;  
                                                 head = prev;  
                                         } else {  
                                                 c2 = CM(m2);  
                                                 DMAR(c2,mul,0,nd_mod,c1);  
                                                 CM(new) = c1;  
                                                 NEXT(prev) = new;  
                                                 NEXT(new) = cur;  
                                                 prev = new;  
                                         }  
                                         NEWNM(new);  
                                         m2 = NEXT(m2);  
                                         break;  
                         }  
                 }  
                 FREENM(new);  
                 if ( head ) {  
                         BDY(p1) = head;  
                         SG(p1)= MAX(SG(p1),SG(p2)+td);  
                         return p1;  
                 } else {  
                         FREEND(p1);  
                         return 0;  
                 }  
   
         }  
 }  
   
 int ndl_check_bound2(int index,unsigned int *d2)  int ndl_check_bound2(int index,unsigned int *d2)
 {  {
         unsigned int u2;          unsigned int u2;
Line 912  ND nd_add(ND p1,ND p2)
Line 719  ND nd_add(ND p1,ND p2)
         }          }
 }  }
   
   ND nd_add_q(ND p1,ND p2)
   {
           int n,c;
           ND r;
           NM m1,m2,mr0,mr,s;
           Q t;
   
           if ( !p1 )
                   return p2;
           else if ( !p2 )
                   return p1;
           else {
                   for ( n = NV(p1), m1 = BDY(p1), m2 = BDY(p2), mr0 = 0; m1 && m2; ) {
                           if ( TD(m1) > TD(m2) )
                                   c = 1;
                           else if ( TD(m1) < TD(m2) )
                                   c = -1;
                           else
                                   c = ndl_compare(DL(m1),DL(m2));
                           switch ( c ) {
                                   case 0:
                                           addq(CQ(m1),CQ(m2),&t);
                                           s = m1; m1 = NEXT(m1);
                                           if ( t ) {
                                                   NEXTNM2(mr0,mr,s); CQ(mr) = (t);
                                           } else {
                                                   FREENM(s);
                                           }
                                           s = m2; m2 = NEXT(m2); FREENM(s);
                                           break;
                                   case 1:
                                           s = m1; m1 = NEXT(m1); NEXTNM2(mr0,mr,s);
                                           break;
                                   case -1:
                                           s = m2; m2 = NEXT(m2); NEXTNM2(mr0,mr,s);
                                           break;
                           }
                   }
                   if ( !mr0 )
                           if ( m1 )
                                   mr0 = m1;
                           else if ( m2 )
                                   mr0 = m2;
                           else
                                   return 0;
                   else if ( m1 )
                           NEXT(mr) = m1;
                   else if ( m2 )
                           NEXT(mr) = m2;
                   else
                           NEXT(mr) = 0;
                   BDY(p1) = mr0;
                   SG(p1) = MAX(SG(p1),SG(p2));
                   FREEND(p2);
                   return p1;
           }
   }
   
 #if 1  #if 1
 /* ret=1 : success, ret=0 : overflow */  /* ret=1 : success, ret=0 : overflow */
 int nd_nf(ND g,int full,ND *rp)  int nd_nf(int mod,ND g,int full,ND *rp)
 {  {
         ND d;          ND d;
         NM m,mrd,tail;          NM m,mrd,tail;
         NM mul;          NM mul;
         int n,sugar,psugar,sugar0,stat,index;          int n,sugar,psugar,sugar0,stat,index;
         int c,c1,c2;          int c,c1,c2;
 #if USE_NDV          RHist h;
         NDV p,red;          NDV p,red;
 #else          Q cg,cred,gcd;
         ND p,red;  
 #endif  
   
         if ( !g ) {          if ( !g ) {
                 *rp = 0;                  *rp = 0;
Line 937  int nd_nf(ND g,int full,ND *rp)
Line 800  int nd_nf(ND g,int full,ND *rp)
         for ( d = 0; g; ) {          for ( d = 0; g; ) {
                 index = nd_find_reducer(g);                  index = nd_find_reducer(g);
                 if ( index >= 0 ) {                  if ( index >= 0 ) {
                         p = nd_ps[index];                          h = nd_psh[index];
                         ndl_sub(HDL(g),HDL(p),DL(mul));                          ndl_sub(HDL(g),DL(h),DL(mul));
                         TD(mul) = HTD(g)-HTD(p);                          TD(mul) = HTD(g)-TD(h);
 #if 0  #if 0
                         if ( d && (SG(p)+TD(mul)) > sugar ) {                          if ( d && (SG(p)+TD(mul)) > sugar ) {
                                 goto afo;                                  goto afo;
Line 949  int nd_nf(ND g,int full,ND *rp)
Line 812  int nd_nf(ND g,int full,ND *rp)
                                 nd_free(g); nd_free(d);                                  nd_free(g); nd_free(d);
                                 return 0;                                  return 0;
                         }                          }
                         c1 = invm(HCM(p),nd_mod); c2 = nd_mod-HCM(g);                          if ( mod ) {
                         DMAR(c1,c2,0,nd_mod,c); CM(mul) = c;                                  p = nd_ps[index];
 #if USE_NDV                                  c1 = invm(HCM(p),nd_mod); c2 = nd_mod-HCM(g);
                         ndv_mul_nm(nd_ps[index],mul,ndv_red);                                  DMAR(c1,c2,0,nd_mod,c); CM(mul) = c;
                         g = ndv_add(g,ndv_red);                                  ndv_mul_nm(mod,p,mul,ndv_red);
                                   g = ndv_add(g,ndv_red);
                           } else {
                                   p = nd_ps[index];
                                   igcd_cofactor(HCQ(g),HCQ(p),&gcd,&cg,&cred);
                                   chsgnq(cg,&CQ(mul));
                                   nd_mul_c_q(d,cred);
                                   nd_mul_c_q(g,cred);
                                   ndv_mul_nm(mod,p,mul,ndv_red);
                                   g = ndv_add_q(g,ndv_red);
                           }
                         sugar = MAX(sugar,SG(ndv_red));                          sugar = MAX(sugar,SG(ndv_red));
 #else  
                         red = nd_mul_ind_nm(index,mul);  
                         g = nd_add(g,red);  
                         sugar = MAX(sugar,SG(red));  
 #endif  
                 } else if ( !full ) {                  } else if ( !full ) {
                         *rp = g;                          *rp = g;
                         return 1;                          return 1;
Line 1145  ND nd_nf(ND g,int full)
Line 1013  ND nd_nf(ND g,int full)
 }  }
 #endif  #endif
   
 NODE nd_gb(NODE f)  NODE nd_gb(int m,NODE f)
 {  {
         int i,nh,sugar,stat;          int i,nh,sugar,stat;
         NODE r,g,gall;          NODE r,g,gall;
Line 1167  again:
Line 1035  again:
                         sugar = SG(l);                          sugar = SG(l);
                         fprintf(asir_out,"%d",sugar);                          fprintf(asir_out,"%d",sugar);
                 }                  }
                 stat = nd_sp(l,&h);                  stat = nd_sp(m,l,&h);
                 if ( !stat ) {                  if ( !stat ) {
                         NEXT(l) = d; d = l;                          NEXT(l) = d; d = l;
                         d = nd_reconstruct(d);                          d = nd_reconstruct(d);
                         goto again;                          goto again;
                 }                  }
                 stat = nd_nf(h,!Top,&nf);                  stat = nd_nf(m,h,!Top,&nf);
                 if ( !stat ) {                  if ( !stat ) {
                         NEXT(l) = d; d = l;                          NEXT(l) = d; d = l;
                         d = nd_reconstruct(d);                          d = nd_reconstruct(d);
                         goto again;                          goto again;
                 } else if ( nf ) {                  } else if ( nf ) {
                         printf("+"); fflush(stdout);                          printf("+"); fflush(stdout);
                         nh = nd_newps(nf);                          nh = nd_newps(m,nf);
                         d = update_pairs(d,g,nh);                          d = update_pairs(d,g,nh);
                         g = update_base(g,nh);                          g = update_base(g,nh);
                         gall = append_one(gall,nh);                          gall = append_one(gall,nh);
Line 1474  find:
Line 1342  find:
         return m;          return m;
 }  }
   
 int nd_newps(ND a)  int nd_newps(int mod,ND a)
 {  {
         int len;          int len;
         RHist r;          RHist r;
Line 1482  int nd_newps(ND a)
Line 1350  int nd_newps(ND a)
         if ( nd_psn == nd_pslen ) {          if ( nd_psn == nd_pslen ) {
                 nd_pslen *= 2;                  nd_pslen *= 2;
                 nd_psl = (int *)REALLOC((char *)nd_psl,nd_pslen*sizeof(int));                  nd_psl = (int *)REALLOC((char *)nd_psl,nd_pslen*sizeof(int));
 #if USE_NDV  
                 nd_ps = (NDV *)REALLOC((char *)nd_ps,nd_pslen*sizeof(NDV));                  nd_ps = (NDV *)REALLOC((char *)nd_ps,nd_pslen*sizeof(NDV));
 #else  
                 nd_ps = (ND *)REALLOC((char *)nd_ps,nd_pslen*sizeof(ND));  
 #endif  
                 nd_psh = (RHist *)REALLOC((char *)nd_psh,nd_pslen*sizeof(RHist));                  nd_psh = (RHist *)REALLOC((char *)nd_psh,nd_pslen*sizeof(RHist));
                 nd_bound = (unsigned int **)                  nd_bound = (unsigned int **)
                         REALLOC((char *)nd_bound,nd_pslen*sizeof(unsigned int *));                          REALLOC((char *)nd_bound,nd_pslen*sizeof(unsigned int *));
         }          }
         nd_monic(a);          if ( mod )
                   nd_monic(a);
           else
                   nd_removecont(a);
         nd_bound[nd_psn] = nd_compute_bound(a);          nd_bound[nd_psn] = nd_compute_bound(a);
         NEWRHist(r); TD(r) = HTD(a); ndl_copy(HDL(a),DL(r)); nd_psh[nd_psn] = r;          NEWRHist(r); TD(r) = HTD(a); ndl_copy(HDL(a),DL(r)); nd_psh[nd_psn] = r;
 #if USE_NDV          nd_ps[nd_psn]= ndtondv(mod,a);
         nd_ps[nd_psn]= ndtondv(a);  
         nd_free(a);          nd_free(a);
         nd_psl[nd_psn] = len = LEN(nd_ps[nd_psn]);          nd_psl[nd_psn] = len = LEN(nd_ps[nd_psn]);
         if ( len > nmv_len ) {          if ( len > nmv_len ) {
                 nmv_len = 2*len;                  nmv_len = 2*len;
                 BDY(ndv_red) = (NMV)REALLOC(BDY(ndv_red),nmv_len*nmv_adv);                  BDY(ndv_red) = (NMV)REALLOC(BDY(ndv_red),nmv_len*nmv_adv);
         }          }
 #else  
         nd_ps[nd_psn] = a;  
         nd_psl[nd_psn] = nd_length(a);  
 #endif  
         return nd_psn++;          return nd_psn++;
 }  }
   
 NODE nd_setup(NODE f)  NODE nd_setup(int mod,NODE f)
 {  {
         int i,j,td,len,max;          int i,j,td,len,max;
         NODE s,s0,f0;          NODE s,s0,f0;
Line 1520  NODE nd_setup(NODE f)
Line 1382  NODE nd_setup(NODE f)
   
         nd_psn = length(f); nd_pslen = 2*nd_psn;          nd_psn = length(f); nd_pslen = 2*nd_psn;
         nd_psl = (int *)MALLOC(nd_pslen*sizeof(int));          nd_psl = (int *)MALLOC(nd_pslen*sizeof(int));
 #if USE_NDV  
         nd_ps = (NDV *)MALLOC(nd_pslen*sizeof(NDV));          nd_ps = (NDV *)MALLOC(nd_pslen*sizeof(NDV));
 #else  
         nd_ps = (ND *)MALLOC(nd_pslen*sizeof(ND));  
 #endif  
         nd_psh = (RHist *)MALLOC(nd_pslen*sizeof(RHist));          nd_psh = (RHist *)MALLOC(nd_pslen*sizeof(RHist));
         nd_bound = (unsigned int **)MALLOC(nd_pslen*sizeof(unsigned int *));          nd_bound = (unsigned int **)MALLOC(nd_pslen*sizeof(unsigned int *));
         for ( max = 0, i = 0, s = f; i < nd_psn; i++, s = NEXT(s) ) {          for ( max = 0, i = 0, s = f; i < nd_psn; i++, s = NEXT(s) ) {
Line 1553  NODE nd_setup(NODE f)
Line 1411  NODE nd_setup(NODE f)
         nd_free_private_storage();          nd_free_private_storage();
         len = 0;          len = 0;
         for ( i = 0; i < nd_psn; i++, f = NEXT(f) ) {          for ( i = 0; i < nd_psn; i++, f = NEXT(f) ) {
 #if USE_NDV                  nd_ps[i] = dptondv(mod,(DP)BDY(f));
                 nd_ps[i] = dptondv((DP)BDY(f));                  if ( mod )
                 ndv_mul_c(nd_ps[i],invm(HCM(nd_ps[i]),nd_mod));                          ndv_mul_c(nd_ps[i],invm(HCM(nd_ps[i]),nd_mod));
                   else
                           ndv_removecont(nd_ps[i]);
                 len = MAX(len,LEN(nd_ps[i]));                  len = MAX(len,LEN(nd_ps[i]));
 #else  
                 nd_ps[i] = dptond((DP)BDY(f));  
                 nd_mul_c(nd_ps[i],1);  
                 nd_psl[i] = nd_length(nd_ps[i]);  
 #endif  
                 NEWRHist(r); TD(r) = HTD(nd_ps[i]); ndl_copy(HDL(nd_ps[i]),DL(r));                  NEWRHist(r); TD(r) = HTD(nd_ps[i]); ndl_copy(HDL(nd_ps[i]),DL(r));
                 nd_psh[i] = r;                  nd_psh[i] = r;
         }          }
 #if USE_NDV  
         nmv_len = 16*len;          nmv_len = 16*len;
         NEWNDV(ndv_red);          NEWNDV(ndv_red);
         BDY(ndv_red) = (NMV)MALLOC_ATOMIC(nmv_len*nmv_adv);          if ( mod )
 #endif                  BDY(ndv_red) = (NMV)MALLOC_ATOMIC(nmv_len*nmv_adv);
           else
                   BDY(ndv_red) = (NMV)MALLOC(nmv_len*nmv_adv);
         for ( s0 = 0, i = 0; i < nd_psn; i++ ) {          for ( s0 = 0, i = 0; i < nd_psn; i++ ) {
                 NEXTNODE(s0,s); BDY(s) = (pointer)i;                  NEXTNODE(s0,s); BDY(s) = (pointer)i;
         }          }
Line 1602  void nd_gr(LIST f,LIST v,int m,struct order_spec *ord,
Line 1458  void nd_gr(LIST f,LIST v,int m,struct order_spec *ord,
         nd_mod = m;          nd_mod = m;
         for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {          for ( fd0 = 0, t = BDY(f); t; t = NEXT(t) ) {
                 ptod(CO,vv,(P)BDY(t),&b);                  ptod(CO,vv,(P)BDY(t),&b);
                 _dp_mod(b,m,0,&c);                  if ( m )
                           _dp_mod(b,m,0,&c);
                   else
                           c = b;
                 if ( c ) {                  if ( c ) {
                         NEXTNODE(fd0,fd); BDY(fd) = (pointer)c;                          NEXTNODE(fd0,fd); BDY(fd) = (pointer)c;
                 }                  }
         }          }
         if ( fd0 ) NEXT(fd) = 0;          if ( fd0 ) NEXT(fd) = 0;
         s = nd_setup(fd0);          s = nd_setup(m,fd0);
         x = nd_gb(s);          x = nd_gb(m,s);
 #if 0  #if 0
         x = nd_reduceall(x,m);          x = nd_reduceall(x,m);
 #endif  #endif
         for ( r0 = 0; x; x = NEXT(x) ) {          for ( r0 = 0; x; x = NEXT(x) ) {
                 NEXTNODE(r0,r);                  NEXTNODE(r0,r);
 #if USE_NDV                  a = ndvtodp(m,nd_ps[(int)BDY(x)]);
                 a = ndvtodp(nd_ps[(int)BDY(x)]);                  if ( m )
 #else                          _dtop_mod(CO,vv,a,(P *)&BDY(r));
                 a = ndtodp(nd_ps[(int)BDY(x)]);                  else
 #endif                          dtop(CO,vv,a,(P *)&BDY(r));
                 _dtop_mod(CO,vv,a,(P *)&BDY(r));  
         }          }
         if ( r0 ) NEXT(r) = 0;          if ( r0 ) NEXT(r) = 0;
         MKLIST(*rp,r0);          MKLIST(*rp,r0);
Line 1663  DL ndltodl(int n,int td,unsigned int *ndl)
Line 1521  DL ndltodl(int n,int td,unsigned int *ndl)
         return dl;          return dl;
 }  }
   
 ND dptond(DP p)  ND dptond(int mod,DP p)
 {  {
         ND d;          ND d;
         NM m0,m;          NM m0,m;
Line 1676  ND dptond(DP p)
Line 1534  ND dptond(DP p)
         m0 = 0;          m0 = 0;
         for ( t = BDY(p); t; t = NEXT(t) ) {          for ( t = BDY(p); t; t = NEXT(t) ) {
                 NEXTNM(m0,m);                  NEXTNM(m0,m);
                 CM(m) = ITOS(C(t));                  if ( mod )
                           CM(m) = ITOS(C(t));
                   else
                           CQ(m) = (Q)C(t);
                 TD(m) = TD(DL(t));                  TD(m) = TD(DL(t));
                 dltondl(n,DL(t),DL(m));                  dltondl(n,DL(t),DL(m));
         }          }
Line 1687  ND dptond(DP p)
Line 1548  ND dptond(DP p)
         return d;          return d;
 }  }
   
 DP ndtodp(ND p)  DP ndtodp(int mod,ND p)
 {  {
         DP d;          DP d;
         MP m0,m;          MP m0,m;
Line 1700  DP ndtodp(ND p)
Line 1561  DP ndtodp(ND p)
         m0 = 0;          m0 = 0;
         for ( t = BDY(p); t; t = NEXT(t) ) {          for ( t = BDY(p); t; t = NEXT(t) ) {
                 NEXTMP(m0,m);                  NEXTMP(m0,m);
                 C(m) = STOI(CM(t));                  if ( mod )
                           C(m) = STOI(CM(t));
                   else
                           C(m) = (P)CQ(t);
                 DL(m) = ndltodl(n,TD(t),DL(t));                  DL(m) = ndltodl(n,TD(t),DL(t));
         }          }
         NEXT(m) = 0;          NEXT(m) = 0;
Line 1744  void nd_print(ND p)
Line 1608  void nd_print(ND p)
         }          }
 }  }
   
   void nd_print_q(ND p)
   {
           NM m;
   
           if ( !p )
                   printf("0\n");
           else {
                   for ( m = BDY(p); m; m = NEXT(m) ) {
                           printf("+");
                           printexpr(CO,CQ(m));
                           printf("*");
                           ndl_print(DL(m));
                   }
                   printf("\n");
           }
   }
   
 void ndp_print(ND_pairs d)  void ndp_print(ND_pairs d)
 {  {
         ND_pairs t;          ND_pairs t;
Line 1754  void ndp_print(ND_pairs d)
Line 1635  void ndp_print(ND_pairs d)
         printf("\n");          printf("\n");
 }  }
   
   void nd_removecont(ND p)
   {
           int i,n;
           Q *w;
           Q dvr,t;
           NM m;
   
           for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ );
           w = (Q *)ALLOCA(n*sizeof(Q));
           for ( m = BDY(p), i = 0; i < n; m = NEXT(m), i++ )
                   w[i] = CQ(m);
           sortbynm(w,n);
           qltozl(w,n,&dvr);
           for ( m = BDY(p); m; m = NEXT(m) ) {
                   divq(CQ(m),dvr,&t); CQ(m) = t;
           }
   }
   
   void ndv_removecont(NDV p)
   {
           int i,len;
           Q *w;
           Q dvr,t;
           NMV m;
   
           len = p->len;
           w = (Q *)ALLOCA(len*sizeof(Q));
           for ( m = BDY(p), i = 0; i < len; NMV_ADV(m), i++ )
                   w[i] = CQ(m);
           sortbynm(w,len);
           qltozl(w,len,&dvr);
           for ( m = BDY(p), i = 0; i < len; NMV_ADV(m), i++ ) {
                   divq(CQ(m),dvr,&t); CQ(m) = t;
           }
   }
   
 void nd_monic(ND p)  void nd_monic(ND p)
 {  {
         if ( !p )          if ( !p )
Line 1776  void nd_mul_c(ND p,int mul)
Line 1693  void nd_mul_c(ND p,int mul)
         }          }
 }  }
   
   void nd_mul_c_q(ND p,Q mul)
   {
           NM m;
           Q c;
   
           if ( !p )
                   return;
           for ( m = BDY(p); m; m = NEXT(m) ) {
                   mulq(CQ(m),mul,&c); CQ(m) = c;
           }
   }
   
 void nd_free(ND p)  void nd_free(ND p)
 {  {
         NM t,s;          NM t,s;
Line 1870  void nd_setup_parameters() {
Line 1799  void nd_setup_parameters() {
                 nd_mask1 |= (1<<(nd_bpe-1))<<(i*nd_bpe);                  nd_mask1 |= (1<<(nd_bpe-1))<<(i*nd_bpe);
         }          }
         nm_adv = sizeof(struct oNM)+(nd_wpd-1)*sizeof(unsigned int);          nm_adv = sizeof(struct oNM)+(nd_wpd-1)*sizeof(unsigned int);
 #if USE_NDV  
         nmv_adv = sizeof(struct oNMV)+(nd_wpd-1)*sizeof(unsigned int);          nmv_adv = sizeof(struct oNMV)+(nd_wpd-1)*sizeof(unsigned int);
 #endif  
 }  }
   
 ND_pairs nd_reconstruct(ND_pairs d)  ND_pairs nd_reconstruct(ND_pairs d)
Line 1882  ND_pairs nd_reconstruct(ND_pairs d)
Line 1809  ND_pairs nd_reconstruct(ND_pairs d)
         RHist mr0,mr;          RHist mr0,mr;
         RHist r;          RHist r;
         ND_pairs s0,s,t,prev_ndp_free_list;          ND_pairs s0,s,t,prev_ndp_free_list;
   
         obpe = nd_bpe;          obpe = nd_bpe;
 #if USE_NDV  
         oadv = nmv_adv;          oadv = nmv_adv;
 #endif  
         if ( obpe < 4 )          if ( obpe < 4 )
                 nd_bpe = 4;                  nd_bpe = 4;
         else if ( obpe < 6 )          else if ( obpe < 6 )
Line 1906  ND_pairs nd_reconstruct(ND_pairs d)
Line 1831  ND_pairs nd_reconstruct(ND_pairs d)
         _nm_free_list = 0;          _nm_free_list = 0;
         _ndp_free_list = 0;          _ndp_free_list = 0;
         for ( i = nd_psn-1; i >= 0; i-- ) {          for ( i = nd_psn-1; i >= 0; i-- ) {
 #if USE_NDV  
                 ndv_realloc(nd_ps[i],obpe,oadv);                  ndv_realloc(nd_ps[i],obpe,oadv);
 #else  
                 nd_realloc(nd_ps[i],obpe);  
 #endif  
         }          }
         s0 = 0;          s0 = 0;
         for ( t = d; t; t = NEXT(t) ) {          for ( t = d; t; t = NEXT(t) ) {
Line 1923  ND_pairs nd_reconstruct(ND_pairs d)
Line 1844  ND_pairs nd_reconstruct(ND_pairs d)
         }          }
         for ( i = 0; i < REDTAB_LEN; i++ ) {          for ( i = 0; i < REDTAB_LEN; i++ ) {
                 for ( mr0 = 0, r = nd_red[i]; r; r = NEXT(r) ) {                  for ( mr0 = 0, r = nd_red[i]; r; r = NEXT(r) ) {
                         NEXTRHist(mr0,r);                          NEXTRHist(mr0,mr);
                         mr->index = r->index;                          mr->index = r->index;
                         TD(mr) = TD(r);                          TD(mr) = TD(r);
                         ndl_dup(obpe,DL(r),DL(mr));                          ndl_dup(obpe,DL(r),DL(mr));
Line 1938  ND_pairs nd_reconstruct(ND_pairs d)
Line 1859  ND_pairs nd_reconstruct(ND_pairs d)
         if ( s0 ) NEXT(s) = 0;          if ( s0 ) NEXT(s) = 0;
         prev_nm_free_list = 0;          prev_nm_free_list = 0;
         prev_ndp_free_list = 0;          prev_ndp_free_list = 0;
 #if USE_NDV  
         BDY(ndv_red) = (NMV)REALLOC(BDY(ndv_red),nmv_len*nmv_adv);          BDY(ndv_red) = (NMV)REALLOC(BDY(ndv_red),nmv_len*nmv_adv);
 #endif  
         GC_gcollect();          GC_gcollect();
         return s0;          return s0;
 }  }
Line 1953  void ndl_dup(int obpe,unsigned int *d,unsigned int *r)
Line 1872  void ndl_dup(int obpe,unsigned int *d,unsigned int *r)
         oepw = (sizeof(unsigned int)*8)/obpe;          oepw = (sizeof(unsigned int)*8)/obpe;
         cepw = nd_epw;          cepw = nd_epw;
         cbpe = nd_bpe;          cbpe = nd_bpe;
           for ( i = 0; i < nd_wpd; i++ )
                   r[i] = 0;
         if ( is_rlex )          if ( is_rlex )
                 for ( i = 0; i < n; i++ ) {                  for ( i = 0; i < n; i++ ) {
                         ei = (d[(n-1-i)/oepw]>>((oepw-((n-1-i)%oepw)-1)*obpe))                          ei = (d[(n-1-i)/oepw]>>((oepw-((n-1-i)%oepw)-1)*obpe))
Line 2007  ND nd_copy(ND p)
Line 1928  ND nd_copy(ND p)
         }          }
 }  }
   
 #if USE_NDV  int nd_sp(int mod,ND_pairs p,ND *rp)
 int nd_sp(ND_pairs p,ND *rp)  
 {  {
         NM m;          NM m;
         NDV p1,p2;          NDV p1,p2;
Line 2021  int nd_sp(ND_pairs p,ND *rp)
Line 1941  int nd_sp(ND_pairs p,ND *rp)
         lcm = p->lcm;          lcm = p->lcm;
         td = TD(p);          td = TD(p);
         NEWNM(m);          NEWNM(m);
         CM(m) = HCM(p2); TD(m) = td-HTD(p1); ndl_sub(lcm,HDL(p1),DL(m));          if ( mod ) CM(m) = HCM(p2);
           else CQ(m) = HCQ(p2);
           TD(m) = td-HTD(p1); ndl_sub(lcm,HDL(p1),DL(m));
         if ( ndl_check_bound2(p->i1,DL(m)) )          if ( ndl_check_bound2(p->i1,DL(m)) )
                 return 0;                  return 0;
         t1 = ndv_mul_nm_create(p1,m);          t1 = ndv_mul_nm_create(mod,p1,m);
         CM(m) = nd_mod-HCM(p1); TD(m) = td-HTD(p2); ndl_sub(lcm,HDL(p2),DL(m));          if ( mod )
                   CM(m) = mod-HCM(p1);
           else
                   chsgnq(HCQ(p1),&CQ(m));
           TD(m) = td-HTD(p2); ndl_sub(lcm,HDL(p2),DL(m));
         if ( ndl_check_bound2(p->i2,DL(m)) ) {          if ( ndl_check_bound2(p->i2,DL(m)) ) {
                 nd_free(t1);                  nd_free(t1);
                 return 0;                  return 0;
         }          }
         ndv_mul_nm(p2,m,ndv_red);          ndv_mul_nm(mod,p2,m,ndv_red);
         FREENM(m);          FREENM(m);
         *rp = ndv_add(t1,ndv_red);          if ( mod )
                   *rp = ndv_add(t1,ndv_red);
           else
                   *rp = ndv_add_q(t1,ndv_red);
         return 1;          return 1;
 }  }
   
Line 2051  void ndv_mul_c(NDV p,int mul)
Line 1980  void ndv_mul_c(NDV p,int mul)
         }          }
 }  }
   
 void ndv_mul_nm(NDV p,NM m0,NDV r)  void ndv_mul_c_q(NDV p,Q mul)
 {  {
           NMV m;
           Q c;
           int len,i;
   
           if ( !p )
                   return;
           len = LEN(p);
           for ( m = BDY(p), i = 0; i < len; i++, NMV_ADV(m) ) {
                   mulq(CQ(m),mul,&c); CQ(m) = c;
           }
   }
   
   void ndv_mul_nm(int mod,NDV p,NM m0,NDV r)
   {
         NMV m,mr,mr0;          NMV m,mr,mr0;
         unsigned int *d,*dt,*dm;          unsigned int *d,*dt,*dm;
         int c,n,td,i,c1,c2,len;          int c,n,td,i,c1,c2,len;
           Q q;
   
         if ( !p )          if ( !p )
                 /* XXX */                  /* XXX */
                 LEN(r) = 0;                  LEN(r) = 0;
         else {          else {
                 n = NV(p); m = BDY(p); len = LEN(p);                  n = NV(p); m = BDY(p); len = LEN(p);
                 d = DL(m0); td = TD(m0); c = CM(m0);                  d = DL(m0); td = TD(m0);
                 mr = BDY(r);                  mr = BDY(r);
                 for ( ; len > 0; len--, NMV_ADV(m), NMV_ADV(mr) ) {                  if ( mod ) {
                         c1 = CM(m); DMAR(c1,c,0,nd_mod,c2); CM(mr) = c2;                          c = CM(m0);
                         TD(mr) = TD(m)+td; ndl_add(DL(m),d,DL(mr));                          for ( ; len > 0; len--, NMV_ADV(m), NMV_ADV(mr) ) {
                                   c1 = CM(m); DMAR(c1,c,0,nd_mod,c2); CM(mr) = c2;
                                   TD(mr) = TD(m)+td; ndl_add(DL(m),d,DL(mr));
                           }
                   } else {
                           q = CQ(m0);
                           for ( ; len > 0; len--, NMV_ADV(m), NMV_ADV(mr) ) {
                                   mulq(CQ(m),q,&CQ(mr));
                                   TD(mr) = TD(m)+td; ndl_add(DL(m),d,DL(mr));
                           }
                 }                  }
                 NV(r) = NV(p);                  NV(r) = NV(p);
                 LEN(r) = LEN(p);                  LEN(r) = LEN(p);
Line 2074  void ndv_mul_nm(NDV p,NM m0,NDV r)
Line 2027  void ndv_mul_nm(NDV p,NM m0,NDV r)
         }          }
 }  }
   
 ND ndv_mul_nm_create(NDV p,NM m0)  ND ndv_mul_nm_create(int mod,NDV p,NM m0)
 {  {
         NM mr,mr0;          NM mr,mr0;
         NMV m;          NMV m;
         unsigned int *d,*dt,*dm;          unsigned int *d,*dt,*dm;
         int c,n,td,i,c1,c2,len;          int c,n,td,i,c1,c2,len;
           Q q;
         ND r;          ND r;
   
         if ( !p )          if ( !p )
                 return 0;                  return 0;
         else {          else {
                 n = NV(p); m = BDY(p);                  n = NV(p); m = BDY(p);
                 d = DL(m0); td = TD(m0); c = CM(m0);                  d = DL(m0); td = TD(m0);
                 len = LEN(p);                  len = LEN(p);
                 mr0 = 0;                  mr0 = 0;
                 for ( i = 0; i < len; i++, NMV_ADV(m) ) {                  if ( mod ) {
                         NEXTNM(mr0,mr);                          c = CM(m0);
                         c1 = CM(m);                          for ( i = 0; i < len; i++, NMV_ADV(m) ) {
                         DMAR(c1,c,0,nd_mod,c2);                                  NEXTNM(mr0,mr);
                         CM(mr) = c2;                                  c1 = CM(m);
                         TD(mr) = TD(m)+td;                                  DMAR(c1,c,0,nd_mod,c2);
                         ndl_add(DL(m),d,DL(mr));                                  CM(mr) = c2;
                                   TD(mr) = TD(m)+td;
                                   ndl_add(DL(m),d,DL(mr));
                           }
                   } else {
                           q = CQ(m0);
                           for ( i = 0; i < len; i++, NMV_ADV(m) ) {
                                   NEXTNM(mr0,mr);
                                   mulq(CQ(m),q,&CQ(mr));
                                   TD(mr) = TD(m)+td;
                                   ndl_add(DL(m),d,DL(mr));
                           }
                 }                  }
                 NEXT(mr) = 0;                  NEXT(mr) = 0;
                 MKND(NV(p),mr0,r);                  MKND(NV(p),mr0,r);
Line 2111  ND ndv_add(ND p1,NDV p2)
Line 2076  ND ndv_add(ND p1,NDV p2)
         NM head;          NM head;
         unsigned int *d;          unsigned int *d;
         NMV m2;          NMV m2;
           Q q;
   
         if ( !p1 )          if ( !p1 )
                 return 0;                  return 0;
Line 2146  ND ndv_add(ND p1,NDV p2)
Line 2112  ND ndv_add(ND p1,NDV p2)
                                         break;                                          break;
                                 case -1:                                  case -1:
                                         ndl_copy(DL(m2),DL(new));                                          ndl_copy(DL(m2),DL(new));
                                         CM(new) = CM(m2);                                          CQ(new) = CQ(m2);
                                         if ( !prev ) {                                          if ( !prev ) {
                                                 /* cur = head */                                                  /* cur = head */
                                                 prev = new; NEXT(prev) = head; head = prev;                                                  prev = new; NEXT(prev) = head; head = prev;
Line 2158  ND ndv_add(ND p1,NDV p2)
Line 2124  ND ndv_add(ND p1,NDV p2)
                         }                          }
                 }                  }
                 for ( ; i < len; i++, NMV_ADV(m2) ) {                  for ( ; i < len; i++, NMV_ADV(m2) ) {
                         td2 = TD(new) = TD(m2); CM(new) = CM(m2); ndl_copy(DL(m2),DL(new));                          td2 = TD(new) = TD(m2); CQ(new) = CQ(m2); ndl_copy(DL(m2),DL(new));
                         if ( !prev ) {                          if ( !prev ) {
                                 prev = new; NEXT(prev) = 0; head = prev;                                  prev = new; NEXT(prev) = 0; head = prev;
                         } else {                          } else {
Line 2178  ND ndv_add(ND p1,NDV p2)
Line 2144  ND ndv_add(ND p1,NDV p2)
         }          }
 }  }
   
   ND ndv_add_q(ND p1,NDV p2)
   {
           register NM prev,cur,new;
           int c,c1,c2,t,td,td2,mul,len,i;
           NM head;
           unsigned int *d;
           NMV m2;
           Q q;
   
           if ( !p1 )
                   return 0;
           else {
                   prev = 0; head = cur = BDY(p1);
                   NEWNM(new); len = LEN(p2);
                   for ( m2 = BDY(p2), i = 0; cur && i < len; ) {
                           td2 = TD(new) = TD(m2);
                           if ( TD(cur) > td2 ) {
                                   prev = cur; cur = NEXT(cur);
                                   continue;
                           } else if ( TD(cur) < td2 ) c = -1;
                           else if ( nd_wpd == 1 ) {
                                   if ( DL(cur)[0] > DL(m2)[0] ) c = is_rlex ? -1 : 1;
                                   else if ( DL(cur)[0] < DL(m2)[0] ) c = is_rlex ? 1 : -1;
                                   else c = 0;
                           }
                           else c = ndl_compare(DL(cur),DL(m2));
                           switch ( c ) {
                                   case 0:
                                           addq(CQ(cur),CQ(m2),&q);
                                           if ( q )
                                                   CQ(cur) = q;
                                           else if ( !prev ) {
                                                   head = NEXT(cur); FREENM(cur); cur = head;
                                           } else {
                                                   NEXT(prev) = NEXT(cur); FREENM(cur); cur = NEXT(prev);
                                           }
                                           NMV_ADV(m2); i++;
                                           break;
                                   case 1:
                                           prev = cur; cur = NEXT(cur);
                                           break;
                                   case -1:
                                           ndl_copy(DL(m2),DL(new));
                                           CQ(new) = CQ(m2);
                                           if ( !prev ) {
                                                   /* cur = head */
                                                   prev = new; NEXT(prev) = head; head = prev;
                                           } else {
                                                   NEXT(prev) = new; NEXT(new) = cur; prev = new;
                                           }
                                           NEWNM(new); NMV_ADV(m2); i++;
                                           break;
                           }
                   }
                   for ( ; i < len; i++, NMV_ADV(m2) ) {
                           td2 = TD(new) = TD(m2); CQ(new) = CQ(m2); ndl_copy(DL(m2),DL(new));
                           if ( !prev ) {
                                   prev = new; NEXT(prev) = 0; head = prev;
                           } else {
                                   NEXT(prev) = new; NEXT(new) = 0; prev = new;
                           }
                           NEWNM(new);
                   }
                   FREENM(new);
                   if ( head ) {
                           BDY(p1) = head; SG(p1) = MAX(SG(p1),SG(p2));
                           return p1;
                   } else {
                           FREEND(p1);
                           return 0;
                   }
   
           }
   }
   
 void ndv_realloc(NDV p,int obpe,int oadv)  void ndv_realloc(NDV p,int obpe,int oadv)
 {  {
         NMV m,mr,mr0,t;          NMV m,mr,mr0,t;
Line 2188  void ndv_realloc(NDV p,int obpe,int oadv)
Line 2229  void ndv_realloc(NDV p,int obpe,int oadv)
   
         if ( p ) {          if ( p ) {
                 m = BDY(p); len = LEN(p);                  m = BDY(p); len = LEN(p);
                 mr0 = (NMV)REALLOC(BDY(p),len*nmv_adv);                  if ( nmv_adv > oadv )
                           mr0 = (NMV)REALLOC(BDY(p),len*nmv_adv);
                   else
                           mr0 = BDY(p);
                 m = (NMV)((char *)mr0+(len-1)*oadv);                  m = (NMV)((char *)mr0+(len-1)*oadv);
                 mr = (NMV)((char *)mr0+(len-1)*nmv_adv);                  mr = (NMV)((char *)mr0+(len-1)*nmv_adv);
                 t = (NMV)ALLOCA(nmv_adv);                  t = (NMV)ALLOCA(nmv_adv);
                 for ( i = 0; i < len; i++, NMV_OPREV(m), NMV_PREV(mr) ) {                  for ( i = 0; i < len; i++, NMV_OPREV(m), NMV_PREV(mr) ) {
                         CM(t) = CM(m);                          CQ(t) = CQ(m);
                         TD(t) = TD(m);                          TD(t) = TD(m);
                         for ( k = 0; k < nd_wpd; k++ ) DL(t)[k] = 0;                          for ( k = 0; k < nd_wpd; k++ ) DL(t)[k] = 0;
                         ndl_dup(obpe,DL(m),DL(t));                          ndl_dup(obpe,DL(m),DL(t));
                         CM(mr) = CM(t);                          CQ(mr) = CQ(t);
                         TD(mr) = TD(t);                          TD(mr) = TD(t);
                         ndl_copy(DL(t),DL(mr));                          ndl_copy(DL(t),DL(mr));
                 }                  }
Line 2205  void ndv_realloc(NDV p,int obpe,int oadv)
Line 2249  void ndv_realloc(NDV p,int obpe,int oadv)
         }          }
 }  }
   
 NDV ndtondv(ND p)  NDV ndtondv(int mod,ND p)
 {  {
         NDV d;          NDV d;
         NMV m,m0;          NMV m,m0;
Line 2215  NDV ndtondv(ND p)
Line 2259  NDV ndtondv(ND p)
         if ( !p )          if ( !p )
                 return 0;                  return 0;
         len = nd_length(p);          len = nd_length(p);
         m0 = m = (NMV)MALLOC_ATOMIC(len*nmv_adv);          if ( mod )
                   m0 = m = (NMV)MALLOC_ATOMIC(len*nmv_adv);
           else
                   m0 = m = (NMV)MALLOC(len*nmv_adv);
         for ( t = BDY(p), i = 0; t; t = NEXT(t), i++, NMV_ADV(m) ) {          for ( t = BDY(p), i = 0; t; t = NEXT(t), i++, NMV_ADV(m) ) {
                 TD(m) = TD(t);                  TD(m) = TD(t);
                 ndl_copy(DL(t),DL(m));                  ndl_copy(DL(t),DL(m));
                 CM(m) = CM(t);                  CQ(m) = CQ(t);
         }          }
         MKNDV(NV(p),m0,len,d);          MKNDV(NV(p),m0,len,d);
         SG(d) = SG(p);          SG(d) = SG(p);
         return d;          return d;
 }  }
   
 NDV dptondv(DP p)  NDV dptondv(int mod,DP p)
 {  {
         NDV d;          NDV d;
         NMV m0,m;          NMV m0,m;
Line 2236  NDV dptondv(DP p)
Line 2283  NDV dptondv(DP p)
         if ( !p )          if ( !p )
                 return 0;                  return 0;
         for ( t = BDY(p), l = 0; t; t = NEXT(t), l++ );          for ( t = BDY(p), l = 0; t; t = NEXT(t), l++ );
         m0 = m = (NMV)MALLOC_ATOMIC(l*nmv_adv);          if ( mod )
                   m0 = m = (NMV)MALLOC_ATOMIC(l*nmv_adv);
           else
                   m0 = m = (NMV)MALLOC(l*nmv_adv);
         n = NV(p);          n = NV(p);
         for ( t = BDY(p), i = 0; i < l; i++, t = NEXT(t), NMV_ADV(m) ) {          for ( t = BDY(p), i = 0; i < l; i++, t = NEXT(t), NMV_ADV(m) ) {
                 CM(m) = ITOS(C(t));                  if ( mod )
                           CM(m) = ITOS(C(t));
                   else
                           CQ(m) = (Q)C(t);
                 TD(m) = TD(DL(t));                  TD(m) = TD(DL(t));
                 dltondl(n,DL(t),DL(m));                  dltondl(n,DL(t),DL(m));
         }          }
Line 2248  NDV dptondv(DP p)
Line 2301  NDV dptondv(DP p)
         return d;          return d;
 }  }
   
 DP ndvtodp(NDV p)  DP ndvtodp(int mod,NDV p)
 {  {
         DP d;          DP d;
         MP m0,m;          MP m0,m;
Line 2262  DP ndvtodp(NDV p)
Line 2315  DP ndvtodp(NDV p)
         n = NV(p);          n = NV(p);
         for ( t = BDY(p), i = 0; i < len; i++, NMV_ADV(t) ) {          for ( t = BDY(p), i = 0; i < len; i++, NMV_ADV(t) ) {
                 NEXTMP(m0,m);                  NEXTMP(m0,m);
                 C(m) = STOI(CM(t));                  if ( mod )
                           C(m) = STOI(CM(t));
                   else
                           C(m) = (P)CQ(t);
                 DL(m) = ndltodl(n,TD(t),DL(t));                  DL(m) = ndltodl(n,TD(t),DL(t));
         }          }
         NEXT(m) = 0;          NEXT(m) = 0;
Line 2287  void ndv_print(NDV p)
Line 2343  void ndv_print(NDV p)
                 printf("\n");                  printf("\n");
         }          }
 }  }
 #else  
 int nd_sp(ND_pairs p,ND *rp)  
 {  
         NM m;  
         ND p1,p2;  
         ND t1,t2;  
         unsigned int *lcm;  
         int td;  
   
         p1 = nd_ps[p->i1];  void ndv_print_q(NDV p)
         p2 = nd_ps[p->i2];  
         lcm = p->lcm;  
         td = TD(p);  
         NEWNM(m);  
         CM(m) = HCM(p2); TD(m) = td-HTD(p1); ndl_sub(lcm,HDL(p1),DL(m));  
         if ( ndl_check_bound2(p->i1,DL(m)) )  
                 return 0;  
         t1 = nd_mul_ind_nm(p->i1,m);  
         CM(m) = nd_mod-HCM(p1); TD(m) = td-HTD(p2); ndl_sub(lcm,HDL(p2),DL(m));  
         if ( ndl_check_bound2(p->i2,DL(m)) ) {  
                 nd_free(t1);  
                 return 0;  
         }  
         t2 = nd_mul_ind_nm(p->i2,m);  
         FREENM(m);  
         *rp = nd_add(t1,t2);  
         return 1;  
 }  
   
 ND nd_mul_nm(ND p,NM m0)  
 {  {
         NM m,mr,mr0;          NMV m;
         unsigned int *d,*dt,*dm;          int i,len;
         int c,n,td,i,c1,c2;  
         int *pt,*p1,*p2;  
         ND r;  
   
         if ( !p )          if ( !p )
                 return 0;                  printf("0\n");
         else {          else {
                 n = NV(p); m = BDY(p);                  len = LEN(p);
                 d = DL(m0); td = TD(m0); c = CM(m0);                  for ( m = BDY(p), i = 0; i < len; i++, NMV_ADV(m) ) {
                 mr0 = 0;                          printf("+");
                 for ( ; m; m = NEXT(m) ) {                          printexpr(CO,CQ(m));
                         NEXTNM(mr0,mr);                          printf("*");
                         c1 = CM(m);                          ndl_print(DL(m));
                         DMAR(c1,c,0,nd_mod,c2);  
                         CM(mr) = c2;  
                         TD(mr) = TD(m)+td;  
                         ndl_add(DL(m),d,DL(mr));  
                 }                  }
                 NEXT(mr) = 0;                  printf("\n");
                 MKND(NV(p),mr0,r);  
                 SG(r) = SG(p) + td;  
                 return r;  
         }          }
 }  }
   
 ND nd_mul_ind_nm(int index,NM m0)  
 {  
         register int c1,c2,c;  
         register NM m,new,prev;  
         NM mr0;  
         unsigned int *d;  
         int n,td,i,len,d0,d1;  
         ND p,r;  
   
         p = nd_ps[index];  
         len = nd_psl[index];  
         n = NV(p); m = BDY(p);  
         d = DL(m0); td = TD(m0); c = CM(m0);  
   
         NEWNM(mr0);  
         c1 = CM(m); DMAR(c1,c,0,nd_mod,c2); CM(mr0) = c2;  
         TD(mr0) = TD(m)+td; ndl_add(DL(m),d,DL(mr0));  
         prev = mr0; m = NEXT(m);  
         len--;  
   
         switch ( nd_wpd ) {  
                 case 1:  
                         d0 = d[0];  
                         while ( len-- ) {  
                                 c1 = CM(m); DMAR(c1,c,0,nd_mod,c2);  
                                 NEWNM(new); CM(new) = c2;  
                                 TD(new) = TD(m)+td; DL(new)[0] = DL(m)[0]+d0;  
                                 m = NEXT(m); NEXT(prev) = new; prev = new;  
                         }  
                         break;  
                 case 2:  
                         d0 = d[0]; d1 = d[1];  
                         while ( len-- ) {  
                                 c1 = CM(m); DMAR(c1,c,0,nd_mod,c2);  
                                 NEWNM(new); CM(new) = c2;  
                                 TD(new) = TD(m)+td;  
                                 DL(new)[0] = DL(m)[0]+d0;  
                                 DL(new)[1] = DL(m)[1]+d1;  
                                 m = NEXT(m); NEXT(prev) = new; prev = new;  
                         }  
                         break;  
                 default:  
                         while ( len-- ) {  
                                 c1 = CM(m); DMAR(c1,c,0,nd_mod,c2);  
                                 NEWNM(new); CM(new) = c2;  
                                 TD(new) = TD(m)+td; ndl_add(DL(m),d,DL(new));  
                                 m = NEXT(m); NEXT(prev) = new; prev = new;  
                         }  
                         break;  
         }  
   
         NEXT(prev) = 0;  
         MKND(NV(p),mr0,r);  
         SG(r) = SG(p) + td;  
         return r;  
 }  
 #endif  
Legend:
Removed from v.1.14  
changed lines
  Added in v.1.18
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>