[BACK]Return to Mgfs.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / engine

Diff for /OpenXM_contrib2/asir2000/engine/Mgfs.c between version 1.3 and 1.12

version 1.3, 2001/06/25 01:35:21 version 1.12, 2002/01/13 07:11:46
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/engine/Mgfs.c,v 1.2 2001/06/22 08:51:12 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2000/engine/Mgfs.c,v 1.11 2001/10/09 01:36:10 noro Exp $ */
   
 #include "ca.h"  #include "ca.h"
   
 void mulssfum(UM,int,UM);  extern int up_kara_mag, current_gfs_q1;
   extern int *current_gfs_plus1;
   
 void addsfum(p1,p2,pr)  #if defined(__GNUC__)
 UM p1,p2,pr;  #define INLINE inline
   #elif defined(VISUAL)
   #define INLINE __inline
   #else
   #define INLINE
   #endif
   
   INLINE int _ADDSF(int a,int b)
 {  {
           if ( !a )
                   return b;
           else if ( !b )
                   return a;
   
           a = IFTOF(a); b = IFTOF(b);
           if ( a > b ) {
                   /* tab[a]+tab[b] = tab[b](tab[a-b]+1) */
                   a = current_gfs_plus1[a-b];
                   if ( a < 0 )
                           return 0;
                   else {
                           a += b;
                           if ( a >= current_gfs_q1 )
                                   a -= current_gfs_q1;
                           return FTOIF(a);
                   }
           } else {
                   /* tab[a]+tab[b] = tab[a](tab[b-a]+1) */
                   b = current_gfs_plus1[b-a];
                   if ( b < 0 )
                           return 0;
                   else {
                           b += a;
                           if ( b >= current_gfs_q1 )
                                   b -= current_gfs_q1;
                           return FTOIF(b);
                   }
           }
   }
   
   INLINE int _MULSF(int a,int b)
   {
           if ( !a || !b )
                   return 0;
           else {
                   a = IFTOF(a) + IFTOF(b);
                   if ( a >= current_gfs_q1 )
                           a -= current_gfs_q1;
                   return FTOIF(a);
           }
   }
   
   void addsfum(UM p1,UM p2,UM pr)
   {
         int *c1,*c2,*cr,i,dmax,dmin;          int *c1,*c2,*cr,i,dmax,dmin;
   
         if ( DEG(p1) == -1 ) {          if ( DEG(p1) == -1 ) {
Line 23  UM p1,p2,pr;
Line 76  UM p1,p2,pr;
                 c1 = COEF(p2); c2 = COEF(p1); dmax = DEG(p2); dmin = DEG(p1);                  c1 = COEF(p2); c2 = COEF(p1); dmax = DEG(p2); dmin = DEG(p1);
         }          }
         for ( i = 0, cr = COEF(pr); i <= dmin; i++ )          for ( i = 0, cr = COEF(pr); i <= dmin; i++ )
                 cr[i] = _addsf(c1[i],c2[i]);                  cr[i] = _ADDSF(c1[i],c2[i]);
         for ( ; i <= dmax; i++ )          for ( ; i <= dmax; i++ )
                 cr[i] = c1[i];                  cr[i] = c1[i];
         if ( dmax == dmin )          if ( dmax == dmin )
Line 32  UM p1,p2,pr;
Line 85  UM p1,p2,pr;
                 DEG(pr) = dmax;                  DEG(pr) = dmax;
 }  }
   
 void subsfum(p1,p2,pr)  void subsfum(UM p1,UM p2,UM pr)
 UM p1,p2,pr;  
 {  {
         int *c1,*c2,*cr,i;          int *c1,*c2,*cr,i;
         int dmax,dmin;          int dmax,dmin;
Line 68  UM p1,p2,pr;
Line 120  UM p1,p2,pr;
                 DEG(pr) = dmax;                  DEG(pr) = dmax;
 }  }
   
 void gcdsfum(p1,p2,pr)  void gcdsfum(UM p1,UM p2,UM pr)
 UM p1,p2,pr;  
 {  {
         int inv;          int inv;
         UM t1,t2,q,tum;          UM t1,t2,q,tum;
Line 93  UM p1,p2,pr;
Line 144  UM p1,p2,pr;
                 mulssfum(t2,inv,pr);                  mulssfum(t2,inv,pr);
         }          }
 }  }
 void mulsfum(p1,p2,pr)  
 UM p1,p2,pr;  void mulsfum(UM p1,UM p2,UM pr)
 {  {
         int *pc1,*pcr;          int *pc1,*pcr;
         int *c1,*c2,*cr;          int *c1,*c2,*cr;
Line 110  UM p1,p2,pr;
Line 161  UM p1,p2,pr;
         for ( i = 0; i <= d2; i++, cr++ )          for ( i = 0; i <= d2; i++, cr++ )
                 if ( mul = *c2++ )                  if ( mul = *c2++ )
                         for ( j = 0, pc1 = c1, pcr = cr; j <= d1; j++, pc1++, pcr++ )                          for ( j = 0, pc1 = c1, pcr = cr; j <= d1; j++, pc1++, pcr++ )
                                 *pcr = _addsf(_mulsf(*pc1,mul),*pcr);                                  if ( *pc1 )
                                           *pcr = _ADDSF(_MULSF(*pc1,mul),*pcr);
         DEG(pr) = d1 + d2;          DEG(pr) = d1 + d2;
 }  }
   
 void mulssfum(p,n,pr)  void mulssfum(UM p,int n,UM pr)
 int n;  
 UM p,pr;  
 {  {
         int *sp,*dp;          int *sp,*dp;
         int i;          int i;
   
         for ( i = DEG(pr) = DEG(p), sp = COEF(p)+i, dp = COEF(pr)+i;          for ( i = DEG(pr) = DEG(p), sp = COEF(p)+i, dp = COEF(pr)+i;
                   i >= 0; i--, dp--, sp-- )                    i >= 0; i--, dp--, sp-- )
                 *dp = _mulsf(*sp,n);                  *dp = _MULSF(*sp,n);
 }  }
   
 int divsfum(p1,p2,pq)  void kmulsfum(UM n1,UM n2,UM nr)
 UM p1,p2,pq;  
 {  {
           UM n,t,s,m,carry;
           int d,d1,d2,len,i,l;
           unsigned int *r,*r0;
   
           if ( !n1 || !n2 ) {
                   nr->d = -1; return;
           }
           d1 = DEG(n1)+1; d2 = DEG(n2)+1;
           if ( (d1 < up_kara_mag) || (d2 < up_kara_mag) ) {
                   mulsfum(n1,n2,nr); return;
           }
           if ( d1 < d2 ) {
                   n = n1; n1 = n2; n2 = n;
                   d = d1; d1 = d2; d2 = d;
           }
           if ( d2 > (d1+1)/2 ) {
                   kmulsfummain(n1,n2,nr); return;
           }
           d = (d1/d2)+((d1%d2)!=0);
           len = (d+1)*d2;
           r0 = (unsigned int *)ALLOCA(len*sizeof(int));
           bzero((char *)r0,len*sizeof(int));
           m = W_UMALLOC(d2+1);
           carry = W_UMALLOC(d2+1);
           t = W_UMALLOC(d1+d2+1);
           s = W_UMALLOC(d1+d2+1);
           for ( DEG(carry) = -1, i = 0, r = r0; i < d; i++, r += d2 ) {
                   extractum(n1,i*d2,d2,m);
                   if ( m ) {
                           kmulsfum(m,n2,t);
                           addsfum(t,carry,s);
                           c_copyum(s,d2,r);
                           extractum(s,d2,d2,carry);
                   } else {
                           c_copyum(carry,d2,r);
                           carry = 0;
                   }
           }
           c_copyum(carry,d2,r);
           for ( l = len - 1; !r0[l]; l-- );
           l++;
           DEG(nr) = l-1;
           bcopy((char *)r0,(char *)COEF(nr),l*sizeof(int));
   }
   
   void kmulsfummain(UM n1,UM n2,UM nr)
   {
           int d1,d2,h,len;
           UM n1lo,n1hi,n2lo,n2hi,hi,lo,mid1,mid2,mid,s1,s2,t1,t2;
   
           d1 = DEG(n1)+1; d2 = DEG(n2)+1; h = (d1+1)/2;
           n1lo = W_UMALLOC(d1+1); n1hi = W_UMALLOC(d1+1);
           n2lo = W_UMALLOC(d2+1); n2hi = W_UMALLOC(d2+1);
           lo = W_UMALLOC(d1+d2+1); hi = W_UMALLOC(d1+d2+1);
           mid1 = W_UMALLOC(d1+d2+1); mid2 = W_UMALLOC(d1+d2+1);
           mid = W_UMALLOC(d1+d2+1);
           s1 = W_UMALLOC(d1+d2+1); s2 = W_UMALLOC(d1+d2+1);
           extractum(n1,0,h,n1lo); extractum(n1,h,d1-h,n1hi);
           extractum(n2,0,h,n2lo); extractum(n2,h,d2-h,n2hi);
           kmulsfum(n1hi,n2hi,hi); kmulsfum(n1lo,n2lo,lo);
           len = DEG(hi)+1+2*h; t1 = W_UMALLOC(len-1); DEG(t1) = len-1;
           bzero((char *)COEF(t1),len*sizeof(int));
           if ( lo )
                   bcopy((char *)COEF(lo),(char *)COEF(t1),(DEG(lo)+1)*sizeof(int));
           if ( hi )
                   bcopy((char *)COEF(hi),(char *)(COEF(t1)+2*h),(DEG(hi)+1)*sizeof(int));
   
           addsfum(hi,lo,mid1);
           subsfum(n1hi,n1lo,s1); subsfum(n2lo,n2hi,s2);
           kmulsfum(s1,s2,mid2); addsfum(mid1,mid2,mid);
           if ( mid ) {
                   len = DEG(mid)+1+h; t2 = W_UMALLOC(len-1); DEG(t2) = len-1;
                   bzero((char *)COEF(t2),len*sizeof(int));
                   bcopy((char *)COEF(mid),(char *)(COEF(t2)+h),(DEG(mid)+1)*sizeof(int));
                   addsfum(t1,t2,nr);
           } else
                   copyum(t1,nr);
   }
   
   int divsfum(UM p1,UM p2,UM pq)
   {
         int *pc1,*pct;          int *pc1,*pct;
         int *c1,*c2,*ct;          int *c1,*c2,*ct;
         int inv,hd,tmp;          int inv,hd,tmp;
Line 142  UM p1,p2,pq;
Line 272  UM p1,p2,pq;
         if ( ( hd = c2[d2] ) != _onesf() ) {          if ( ( hd = c2[d2] ) != _onesf() ) {
                 inv = _invsf(hd);                  inv = _invsf(hd);
                 for ( pc1 = c2 + d2; pc1 >= c2; pc1-- )                  for ( pc1 = c2 + d2; pc1 >= c2; pc1-- )
                         *pc1 = _mulsf(*pc1,inv);                          *pc1 = _MULSF(*pc1,inv);
         } else          } else
                 inv = _onesf();                  inv = _onesf();
         for ( i = dd, ct = c1+d1; i >= 0; i-- )          for ( i = dd, ct = c1+d1; i >= 0; i-- )
                 if ( tmp = *ct-- ) {                  if ( tmp = *ct-- ) {
                         tmp = _chsgnsf(tmp);                          tmp = _chsgnsf(tmp);
                         for ( j = d2-1, pct = ct, pc1 = c2+j; j >= 0; j--, pct--, pc1-- )                          for ( j = d2-1, pct = ct, pc1 = c2+j; j >= 0; j--, pct--, pc1-- )
                                 *pct = _addsf(_mulsf(*pc1,tmp),*pct);                                  *pct = _ADDSF(_MULSF(*pc1,tmp),*pct);
                 }                  }
         if ( inv != _onesf() ) {          if ( inv != _onesf() ) {
                 for ( pc1 = c1+d2, pct = c1+d1; pc1 <= pct; pc1++ )                  for ( pc1 = c1+d2, pct = c1+d1; pc1 <= pct; pc1++ )
                         *pc1 = _mulsf(*pc1,inv);                          *pc1 = _MULSF(*pc1,inv);
                 for ( pc1 = c2, pct = c2+d2; pc1 <= pct; pc1++ )                  for ( pc1 = c2, pct = c2+d2; pc1 <= pct; pc1++ )
                         *pc1 = _mulsf(*pc1,hd);                          *pc1 = _MULSF(*pc1,hd);
         }          }
         for ( i = d2-1, pc1 = c1+i; i >= 0 && !(*pc1); pc1--, i-- );          for ( i = d2-1, pc1 = c1+i; i >= 0 && !(*pc1); pc1--, i-- );
         for ( DEG(pq) = j = dd, pc1 = c1+d1, pct = COEF(pq)+j; j >= 0; j-- )          for ( DEG(pq) = j = dd, pc1 = c1+d1, pct = COEF(pq)+j; j >= 0; j-- )
Line 163  UM p1,p2,pq;
Line 293  UM p1,p2,pq;
         return i;          return i;
 }  }
   
 void diffsfum(f,fd)  void diffsfum(UM f,UM fd)
 UM f,fd;  
 {  {
         int *dp,*sp;          int *dp,*sp;
         int i;          int i;
   
         for ( i = DEG(f), dp = COEF(fd)+i-1, sp = COEF(f)+i;          for ( i = DEG(f), dp = COEF(fd)+i-1, sp = COEF(f)+i;
                 i >= 1; i--, dp--, sp-- ) {                  i >= 1; i--, dp--, sp-- ) {
                 *dp = _mulsf(*sp,_itosf(i));                  *dp = _MULSF(*sp,_itosf(i));
         }          }
         degum(fd,DEG(f) - 1);          degum(fd,DEG(f) - 1);
 }  }
   
 void monicsfum(f)  void monicsfum(UM f)
 UM f;  
 {  {
         int *sp;          int *sp;
         int i,inv;          int i,inv;
Line 185  UM f;
Line 313  UM f;
         i = DEG(f); sp = COEF(f)+i;          i = DEG(f); sp = COEF(f)+i;
         inv = _invsf(*sp);          inv = _invsf(*sp);
         for ( ; i >= 0; i--, sp-- )          for ( ; i >= 0; i--, sp-- )
                 *sp = _mulsf(*sp,inv);                  *sp = _MULSF(*sp,inv);
 }  }
   
   int compsfum(UM a,UM b)
   {
           int i,da,db;
   
           if ( !a )
                   return !b?0:1;
           else if ( !b )
                   return 1;
           else if ( (da = DEG(a)) > (db = DEG(b)) )
                   return 1;
           else if ( da < db )
                   return -1;
           else {
                   for ( i = da; i >= 0 && COEF(a)[i] == COEF(b)[i]; i-- );
                   if ( i < 0 )
                           return 0;
                   else if ( (unsigned int)COEF(a)[i] > (unsigned int)COEF(b)[i] )
                           return 1;
                   else
                           return -1;
           }
   }
   
 void addsfarray(int,int *,int *);  void addsfarray(int,int *,int *);
 void mulsfarray_trunc(int,int *,int *,int *);  void mulsfarray_trunc(int,int *,int *,int *);
   
 void mulsflum(n,f1,f2,fr)  /* f1 = f1->c[0]+f1->c[1]*y+...,  f2 = f2->c[0]+f2->c[1]*y+... mod y^n */
 int n;  
 LUM f1,f2,fr;  void mulsfbm(BM f1,BM f2,BM fr)
 {  {
         int max;          UM mul,t,s;
         int i,j,**p1,**p2,*px;          int i,j,d1,d2,dy;
         int *w,*w1,*w2;  
   
         p1 = (int **)COEF(f1); p2 = (int **)COEF(f2);          dy = MIN(DEG(f1),DEG(f2));
         w = W_ALLOC(2*(n+1)); w1 = W_ALLOC(DEG(f1)); w2 = W_ALLOC(DEG(f2));  
         for ( i = DEG(f1); i >= 0; i-- ) {          d1 = degbm(f1);
                 for ( j = n - 1, px = p1[i]; ( j >= 0 ) && ( px[j] == 0 ); j-- );          d2 = degbm(f2);
                 w1[i] = ( j == -1 ? 0 : 1 );          t = W_UMALLOC(d1+d2);
         }          s = W_UMALLOC(d1+d2);
         for ( i = DEG(f2); i >= 0; i-- ) {  
                 for ( j = n - 1, px = p2[i]; ( j >= 0 ) && ( px[j] == 0 ); j-- );          for ( i = 0; i <= dy; i++ ) {
                 w2[i] = ( j == -1 ? 0 : 1 );                  mul = COEF(f2)[i];
         }                  if ( DEG(mul) >= 0 )
         for ( j = DEG(fr) = DEG(f1) + DEG(f2); j >= 0; j-- ) {                  for ( j = 0; i+j <= dy; j++ ) {
                 for ( i = n - 1, px = COEF(fr)[j]; i >= 0; i-- )                          if ( COEF(f1)[j] ) {
                         px[i] = 0;                                  kmulsfum(COEF(f1)[j],mul,t);
                 for ( max = MIN(DEG(f1),j), i = MAX(0,j-DEG(f2)); i <= max; i++ )                                  addsfum(t,COEF(fr)[i+j],s);
                         if ( w1[i] != 0 && w2[j - i] != 0 ) {                                  cpyum(s,COEF(fr)[i+j]);
                                 mulsfarray_trunc(n,p1[i],p2[j - i],w); addsfarray(n,w,px);  
                         }                          }
                   }
         }          }
           DEG(fr) = dy;
 }  }
   
 void addsfarray(n,a1,a2)  int degbm(BM f)
 int n;  
 int *a1,*a2;  
 {  {
         int i;          int d,i,dy;
   
         for ( i = 0; i < n; i++, a1++, a2++ )          dy = DEG(f);
                 if ( *a1 )          d = DEG(COEF(f)[0]);
                         *a2 = _addsf(*a1,*a2);          for ( i = 1; i <= dy; i++ )
                   d = MAX(DEG(COEF(f)[i]),d);
           return d;
 }  }
   
 void mulsfarray_trunc(n,a1,a2,r)  /* g += f */
 int n;  
 int *a1,*a2,*r;  void addtosfbm(BM f,BM g)
 {  {
         int mul,i,j;          int i,d1,d2,dy;
         int *c1,*c2,*cr;          UM t;
         int *pc1,*pc2,*pcr;  
   
         bzero(r,n*sizeof(int));          dy = DEG(g);
         c1 = a1; c2 = a2; cr = r;          if ( DEG(f) > dy )
         for ( i = 0; i < n; i++, cr++ ) {                  error("addtosfbm : invalid input");
                 if ( mul = *c2++ )          dy = MIN(DEG(f),dy);
                 for ( j = 0, pc1 = c1, pcr = cr; j+i < n; j++, pc1++, pcr++ )          d1 = degbm(f);
                         if ( *pc1 )          d2 = degbm(g);
                                 *pcr = _addsf(_mulsf(*pc1,mul),*pcr);          t = W_UMALLOC(MAX(d1,d2));
           for ( i = 0; i <= dy; i++ ) {
                   addsfum(COEF(f)[i],COEF(g)[i],t);
                   cpyum(t,COEF(g)[i]);
         }          }
 }  }
   
 void eucsfum(f1,f2,a,b)  void eucsfum(UM f1,UM f2,UM a,UM b)
 UM f1,f2,a,b;  
 {  {
         UM g1,g2,a1,a2,a3,wm,q,tum;          UM g1,g2,a1,a2,a3,wm,q,tum;
         int d,dr;          int d,dr;
Line 283  UM f1,f2,a,b;
Line 435  UM f1,f2,a,b;
   
 void shiftsfum(UM,int,UM);  void shiftsfum(UM,int,UM);
   
 void shiftsflum(n,f,ev)  void shiftsflum(int n,LUM f,int ev)
 int n;  
 LUM f;  
 int ev;  
 {  {
         int d,i,j;          int d,i,j;
         UM w,w1;          UM w,w1;
Line 310  int ev;
Line 459  int ev;
   
 /* f(x) -> g(x) = f(x+a) */  /* f(x) -> g(x) = f(x+a) */
   
 void shiftsfum(f,a,g)  void shiftsfum(UM f,int a,UM g)
 UM f;  
 int a;  
 UM g;  
 {  {
         int n,i;          int n,i;
         UM pwr,xa,w,t;          UM pwr,xa,w,t;
Line 348  UM g;
Line 494  UM g;
         }          }
 }  }
   
 /* clear the body of f */  /* f(y) -> f(y+a) */
   
 void clearsflum(bound,n,f)  void shiftsfbm(BM f,int a)
 int bound,n;  
 LUM f;  
 {  {
         int **c;          int i,j,d,dy;
         int i;          UM pwr,ya,w,t,s;
           UM *c;
   
         DEG(f) = 0;          dy = DEG(f);
         for ( c = COEF(f), i = 0; i <= n; i++ )          c = COEF(f);
                 bzero(c[i],(bound+1)*sizeof(int));          d = degbm(f);
   
           w = W_UMALLOC(d);
           t = W_UMALLOC(d);
           s = W_UMALLOC(dy);
   
           /* pwr = 1 */
           pwr = W_UMALLOC(dy); DEG(pwr) = 0; COEF(pwr)[0] = _onesf();
   
           /* ya = y+a */
           ya = W_UMALLOC(1); DEG(ya) = 1;
           COEF(ya)[0] = a; COEF(ya)[1] = _onesf();
   
           for ( i = 0; i <= dy; i++ ) {
                   /* c[i] does not change */
                   for ( j = 0; j < i; j++ ) {
                           mulssfum(c[i],COEF(pwr)[j],w);
                           addsfum(w,c[j],t); cpyum(t,c[j]);
                   }
                   if ( i < dy ) {
                           mulsfum(pwr,ya,s); cpyum(s,pwr);
                   }
           }
 }  }
   
 /* f += g */  void clearbm(int n,BM f)
   {
           int i,dy;
           UM *c;
   
 void addtosflum(bound,g,f)          dy = DEG(f);
 int bound;          for ( c = COEF(f), i = 0; i <= dy; i++ )
 LUM g,f;                  clearum(c[i],n);
   }
   
   static void create_bmono(P c,V x,int i,V y,int j,P *mono);
   
   struct lb {
           int pos,len;
           int *r;
           int *hist;
   };
   
   static NODE insert_lb(NODE g,struct lb *a)
 {  {
         int dg,i,j;          NODE prev,cur,n;
         int **cg,**cf;  
   
         dg = DEG(g);          prev = 0; cur = g;
         cg = COEF(g);          while ( cur ) {
         cf = COEF(f);                  if ( a->pos < ((struct lb *)BDY(cur))->pos ) {
         for ( i = 0; i <= dg; i++ )                          MKNODE(n,a,cur);
                 for ( j = 0; j <= bound; j++ )                          if ( !prev )
                         cf[i][j] = _addsf(cf[i][j],cg[i][j]);                                  return n;
                           else {
                                   NEXT(prev) = n;
                                   return g;
                           }
                   } else {
                           prev = cur;
                           cur = NEXT(cur);
                   }
           }
           MKNODE(n,a,0);
           NEXT(prev) = n;
           return g;
   }
   
   static void lnf(int *r,int *h,int n,int len,NODE g)
   {
           struct lb *t;
           int pos,i,j,len1,c;
           int *r1,*h1;
   
           for ( ; g; g = NEXT(g) ) {
                   t = (struct lb *)BDY(g);
                   pos = t->pos;
                   if ( c = r[pos] ) {
                           c = _chsgnsf(c);
                           r1 = t->r;
                           h1 = t->hist;
                           len1 = t->len;
                           for ( i = pos; i < n; i++ )
                                   if ( r1[i] )
                                           r[i] = _ADDSF(r[i],_MULSF(r1[i],c));
                           for ( i = 0; i < len1; i++ )
                                   if ( h1[i] )
                                           h[i] = _ADDSF(h[i],_MULSF(h1[i],c));
                   }
           }
           for ( i = 0; i < n && !r[i]; i++ );
           if ( i < n ) {
                   c = _invsf(r[i]);
                   for ( j = i; j < n; j++ )
                           if ( r[j] )
                                   r[j] = _MULSF(r[j],c);
                   for ( j = 0; j < len; j++ )
                           if ( h[j] )
                                   h[j] = _MULSF(h[j],c);
           }
   }
   
   void sfmintdeg(VL vl,P fx,int dy,int c,P *fr)
   {
           V x,y;
           int dx,dxdy,i,j,k,l,d,len,len0,u,dyk;
           UP *rx;
           DCP dc;
           P t,f,mono,f1;
           UP ut,h;
           int ***nf;
           int *r,*hist,*prev,*r1;
           struct lb *lb;
           GFS s;
           NODE g;
   
           x = vl->v;
           y = NEXT(vl)->v;
           dx = getdeg(x,fx);
           dxdy = dx*dy;
           /* rx = -(fx-x^dx) */
           rx = (UP *)CALLOC(dx,sizeof(UP));
           for ( dc = DC(fx); dc; dc = NEXT(dc)) {
                   chsgnp(COEF(dc),&t);
                   ptoup(t,&ut);
                   rx[QTOS(DEG(dc))] = ut;
           }
           /* nf[d] = normal form table of monomials with total degree d */
           nf = (int ***)CALLOC(dx+dy+1,sizeof(int **)); /* xxx */
           nf[0] = (int **)CALLOC(1,sizeof(int *));
   
           /* nf[0][0] = 1 */
           r = (int *)CALLOC(dxdy,sizeof(int));
           r[0] = _onesf();
           nf[0][0] = r;
   
           hist = (int *)CALLOC(1,sizeof(int));
           hist[0] = _onesf();
   
           lb = (struct lb *)CALLOC(1,sizeof(struct lb));
           lb->pos = 0;
           lb->r = r;
           lb->hist = hist;
           lb->len = 1;
   
           /* g : table of normal form as linear form */
           MKNODE(g,lb,0);
   
           len = 1;
           h = UPALLOC(dy);
           for ( d = 1; ; d++ ) {
                   if ( d > c ){
                           return;
                   }
                   nf[d] = (int **)CALLOC(d+1,sizeof(int *));
                   len0 = len;
                   len += d+1;
   
                   for ( i = d; i >= 0; i-- ) {
                           /* nf(x^(d-i)*y^i) = nf(y*nf(x^(d-i)*y^(i-1))) */
                           /* nf(x^d) = nf(nf(x^(d-1))*x) */
                           r = (int *)CALLOC(dxdy,sizeof(int));
                           if ( i == 0 ) {
                                   prev = nf[d-1][0];
                                   bcopy(prev,r+dy,(dxdy-dy)*sizeof(int));
   
                                   /* create the head coeff */
                                   for ( l = 0, k = dxdy-dy; l < dy; l++, k++ ) {
                                           if ( prev[k] ) {
                                                   u = IFTOF(prev[k]);
                                                   MKGFS(u,s);
                                           } else
                                                   s = 0;
                                           COEF(h)[l] = (Num)s;
                                   }
                                   for ( l = dy-1; l >= 0 && !COEF(h)[l]; l--);
                                   DEG(h) = l;
   
                                   for ( k = 0, dyk = 0; k < dx; k++, dyk += dy ) {
                                           tmulup(rx[k],h,dy,&ut);
                                           if ( ut )
                                                   for ( l = 0; l < dy; l++ ) {
                                                           s = (GFS)COEF(ut)[l];
                                                           if ( s ) {
                                                                   u = CONT(s);
                                                                   r[dyk+l] = _ADDSF(r[dyk+l],FTOIF(u));
                                                           }
                                                   }
                                   }
                           } else {
                                   prev = nf[d-1][i-1];
                                   for ( k = 0, dyk = 0; k < dx; k++, dyk += dy ) {
                                           for ( l = 1; l < dy; l++ )
                                                   r[dyk+l] = prev[dyk+l-1];
                                   }
                           }
                           nf[d][i] = r;
                           hist = (int *)CALLOC(len,sizeof(int));
                           hist[len0+i] = _onesf();
                           r1 = (int *)CALLOC(dxdy,sizeof(int));
                           bcopy(r,r1,dxdy*sizeof(int));
                           lnf(r1,hist,dxdy,len,g);
                           for ( k = 0; k < dxdy && !r1[k]; k++ );
                           if ( k == dxdy ) {
                                   f = 0;
                                   for ( k = j = 0; k <= d; k++ )
                                           for ( i = 0; i <= k; i++, j++ )
                                                   if ( hist[j] ) {
                                                           u = IFTOF(hist[j]);
                                                           MKGFS(u,s);
                                                           /* mono = s*x^(k-i)*y^i */
                                                           create_bmono((P)s,x,k-i,y,i,&mono);
                                                           addp(vl,f,mono,&f1);
                                                           f = f1;
                                                   }
                                   *fr = f;
                                   return;
                           }       else {
                                   lb = (struct lb *)CALLOC(1,sizeof(struct lb));
                                   lb->pos = k;
                                   lb->r = r1;
                                   lb->hist = hist;
                                   lb->len = len;
                                   g = insert_lb(g,lb);
                           }
                   }
           }
   }
   
   static void create_bmono(P c,V x,int i,V y,int j,P *mono)
   {
           P t,s;
   
           if ( !i )
                   if ( !j )
                           t = c;
                   else {
                           /* c*y^j */
                           MKV(y,t);
                           COEF(DC(t)) = c;
                           STOQ(j,DEG(DC(t)));
                   }
           else if ( !j ) {
                   /* c*x^i */
                   MKV(x,t);
                   COEF(DC(t)) = c;
                   STOQ(i,DEG(DC(t)));
           } else {
                   MKV(y,s);
                   COEF(DC(s)) = c;
                   STOQ(j,DEG(DC(s)));
                   MKV(x,t);
                   COEF(DC(t)) = s;
                   STOQ(i,DEG(DC(t)));
           }
           *mono = t;
 }  }

Legend:
Removed from v.1.3  
changed lines
  Added in v.1.12

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