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

Diff for /OpenXM_contrib2/asir2000/engine/Hgfs.c between version 1.12 and 1.16

version 1.12, 2001/06/27 04:07:57 version 1.16, 2001/09/03 01:04:26
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/engine/Hgfs.c,v 1.11 2001/06/26 09:47:05 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2000/engine/Hgfs.c,v 1.15 2001/08/02 03:59:15 noro Exp $ */
   
 #include "ca.h"  #include "ca.h"
   
Line 13  void lnfsf(int,UM,UM,struct p_pair *,UM,UM);
Line 13  void lnfsf(int,UM,UM,struct p_pair *,UM,UM);
 void minipolysf(UM,UM,UM);  void minipolysf(UM,UM,UM);
 void czsfum(UM,UM *);  void czsfum(UM,UM *);
 void gensqfrsfum(UM,DUM);  void gensqfrsfum(UM,DUM);
 void sfbmtop(int,BM,V,V,P *);  void sfbmtop(BM,V,V,P *);
 void pp_sfp(VL,P,P *);  void cont_pp_sfp(VL,P,P *,P *);
 void sfcsump(VL,P,P *);  void sfcsump(VL,P,P *);
 void mulsfbmarray(int,BM,ML,int,int *,V,V,P *);  void mulsfbmarray(int,BM,ML,int,int *,V,V,P *);
 void const_term(P,UM);  void const_term(P,UM);
   
   void sfbsqfr(P,V,V,DCP *);
   void sfusqfr(P,DCP *);
   
 int comp_dum(a,b)  int comp_dum(a,b)
 DUM a,b;  DUM a,b;
 {  {
Line 552  int d;
Line 555  int d;
   
 int sfberle(VL,P,int,GFS *,DCP *);  int sfberle(VL,P,int,GFS *,DCP *);
 void sfgcdgen(P,ML,ML *);  void sfgcdgen(P,ML,ML *);
 void sfhenmain(LUM,ML,ML,ML *);  
 void ptosflum(int,P,LUM);  
 void sfhenmain2(BM,UM,UM,int,BM *);  void sfhenmain2(BM,UM,UM,int,BM *);
 void ptosfbm(int,P,BM);  void ptosfbm(int,P,BM);
   
Line 568  P *sfp;
Line 569  P *sfp;
 ML *listp;  ML *listp;
 {  {
         int i,j;          int i,j;
         int fn,n,bound;          int fn,n;
         ML rlist;          ML rlist;
         BM fl;          BM fl;
         VL vl,nvl;          VL vl,nvl;
Line 610  ML *listp;
Line 611  ML *listp;
                 ptosfum(dc->c,gm[i]);                  ptosfum(dc->c,gm[i]);
         }          }
   
         bound = dy+1;  
         /* f(x,y) -> f(x,y+ev) */          /* f(x,y) -> f(x,y+ev) */
         fl = BMALLOC(dx,bound);          fl = BMALLOC(dx,dy);
         ptosfbm(bound,f,fl);          ptosfbm(dy,f,fl);
         shiftsfbm(bound,fl,FTOIF(CONT(ev)));          if ( ev ) shiftsfbm(fl,FTOIF(CONT(ev)));
   
         /* sf = f(x+ev) */          /* sf = f(x+ev) */
         sfbmtop(bound,fl,x,y,&sf);          sfbmtop(fl,x,y,&sf);
   
         /* fm = fl mod y */          /* fm = fl mod y */
         fm = W_UMALLOC(dx);          fm = W_UMALLOC(dx);
Line 625  ML *listp;
Line 625  ML *listp;
         hm = W_UMALLOC(dx);          hm = W_UMALLOC(dx);
   
         q = W_UMALLOC(dx);          q = W_UMALLOC(dx);
         rlist = MLALLOC(fn); rlist->n = fn; rlist->bound = bound;          rlist = MLALLOC(fn); rlist->n = fn; rlist->bound = dy;
         fprintf(asir_out,"%d candidates\n",fn);          fprintf(asir_out,"%d candidates\n",fn);
         init_eg(&eg_hensel);          init_eg(&eg_hensel);
         for ( i = 0; i < fn-1; i++ ) {          for ( i = 0; i < fn-1; i++ ) {
Line 635  ML *listp;
Line 635  ML *listp;
                 get_eg(&tmp0);                  get_eg(&tmp0);
                 /* fl = gm[i]*hm mod y */                  /* fl = gm[i]*hm mod y */
                 divsfum(fm,gm[i],hm);                  divsfum(fm,gm[i],hm);
                 /* fl is replaced by the cofactor of gk mod y^bound */                  /* fl is replaced by the cofactor of gk mod y^dy */
                 /* rlist->c[i] = gk */                  /* rlist->c[i] = gk */
                 sfhenmain2(fl,gm[i],hm,bound,(BM *)&rlist->c[i]);                  sfhenmain2(fl,gm[i],hm,dy,(BM *)&rlist->c[i]);
                 cpyum(hm,fm);                  cpyum(hm,fm);
                 get_eg(&tmp1); add_eg(&eg_hensel_t,&tmp0,&tmp1);                  get_eg(&tmp1); add_eg(&eg_hensel_t,&tmp0,&tmp1);
                 add_eg(&eg_hensel,&tmp0,&tmp1);                  add_eg(&eg_hensel,&tmp0,&tmp1);
Line 653  ML *listp;
Line 653  ML *listp;
         /* y -> y-a */          /* y -> y-a */
         mev = _chsgnsf(FTOIF(CONT(ev)));          mev = _chsgnsf(FTOIF(CONT(ev)));
         for ( i = 0; i < fn; i++ )          for ( i = 0; i < fn; i++ )
                 shiftsfbm(bound,(BM)(rlist->c[i]),mev);                  shiftsfbm((BM)(rlist->c[i]),mev);
 #endif  #endif
         *evp = ev;          *evp = ev;
         *sfp = sf;          *sfp = sf;
Line 745  ML blist,*clistp;
Line 745  ML blist,*clistp;
         }          }
 }  }
   
 /*  /* f = g0*h0 mod y -> f = gk*hk mod y^(dy+1), f is replaced by hk */
         sfhenmain(fl,bqlist,cqlist,listp)  
 */  
   
 void sfhenmain(f,bqlist,cqlist,listp)  void sfhenmain2(f,g0,h0,dy,gp)
 LUM f;  
 ML bqlist,cqlist,*listp;  
 {  
         int i,j,k;  
         int *px,*py;  
         int **pp,**pp1;  
         int n,np,bound,dr,tmp;  
         UM wt,wq0,wq,wr,wm,wm0,wa,q;  
         LUM wb0,wb1,tlum;  
         UM *b,*c;  
         LUM *l;  
         ML list;  
   
         n = DEG(f); np = bqlist->n; bound = bqlist->bound;  
         *listp = list = MLALLOC(n);  
         list->n = np; list->bound = bound;  
         W_LUMALLOC(n,bound,wb0); W_LUMALLOC(n,bound,wb1);  
         wt = W_UMALLOC(n); wq0 = W_UMALLOC(n); wq = W_UMALLOC(n);  
         wr = W_UMALLOC(n); wm = W_UMALLOC(2*n); wm0 = W_UMALLOC(2*n);  
         wa = W_UMALLOC(2*n); q = W_UMALLOC(2*n);  
         b = (UM *)bqlist->c; c = (UM *)cqlist->c; l = (LUM *)list->c;  
         for ( i = 0; i < np; i++ ) {  
                 l[i] = LUMALLOC(DEG(b[i]),bound);  
                 for ( j = DEG(b[i]), pp = COEF(l[i]), px = COEF(b[i]); j >= 0; j-- )  
                         pp[j][0] = px[j];  
         }  
         for ( i = 1; i < bound; i++ ) {  
                 fprintf(stderr,".");  
                 /* at this point, f = l[0]*l[1]*...*l[np-1] mod y^i */  
                 mulsflum(i+1,l[0],l[1],wb0);  
                 for ( j = 2; j < np; j++ ) {  
                         mulsflum(i+1,l[j],wb0,wb1);  
                         tlum = wb0; wb0 = wb1; wb1 = tlum;  
                 }  
 #if 0  
                 /* check */  
                 for ( j = 0, pp = COEF(f), pp1 = COEF(wb0); j <= n; j++ )  
                         for ( k = 0; k < i; k++ )  
                                 if ( pp[j][k] != pp1[j][k] )  
                                         error("henmain : cannot happen");  
 #endif  
                 for ( j = n, px = COEF(wt); j >= 0; j-- )  
                         px[j] = 0;  
                 for ( j = n, pp = COEF(f), pp1 = COEF(wb0); j >= 0; j-- )  
                         COEF(wt)[j] = _subsf(pp[j][i],pp1[j][i]);  
                 degum(wt,n);  
                 for ( j = n, px = COEF(wq0); j >= 0; j-- )  
                         px[j] = 0;  
                 for ( j = 1; j < np; j++ ) {  
                         mulsfum(wt,c[j],wm); dr = divsfum(wm,b[j],q);  
                         for ( k = DEG(q), px = COEF(wq0), py = COEF(q); k >= 0; k-- )  
                                 px[k] = _addsf(px[k],py[k]);  
                         for ( k = dr, pp = COEF(l[j]), px = COEF(wm); k >= 0; k-- )  
                                 pp[k][i] = px[k];  
                 }  
                 degum(wq0,n); mulsfum(wq0,b[0],wm);  
                 mulsfum(wt,c[0],wm0); addsfum(wm,wm0,wa);  
                 for ( j = DEG(wa), pp = COEF(l[0]), px = COEF(wa); j >= 0; j-- )  
                         pp[j][i] = px[j];  
                 for ( j = n, px = COEF(wq0); j >= 0; j-- )  
                         px[j] = 0;  
         }  
         fprintf(stderr,"\n");  
 }  
   
 /* f = g0*h0 mod y -> f = gk*hk mod y^bound, f is replaced by hk */  
   
 void sfhenmain2(f,g0,h0,bound,gp)  
 BM f;  BM f;
 UM g0,h0;  UM g0,h0;
 int bound;  int dy;
 BM *gp;  BM *gp;
 {  {
         int i,j,k,l;          int i,j,k,l;
         int *px,*py;          int *px,*py;
         int **pp,**pp1;          int **pp,**pp1;
         int n,np,dr,tmp;          int dx,np,dr,tmp;
         UM wt,wa,wb,wq,wm,q,w1,w2,wh1,wg1,ws;          UM wt,wa,wb,wm,q,w1,w2,wh1,wg1,ws;
         UM wc,wd,we,wz;          UM wc,wd,we,wz;
         BM wb0,wb1;          BM wb0,wb1;
         int ng,nh;          int dg,dh;
         BM fk,gk,hk;          BM fk,gk,hk;
   
         n = degsfbm(bound,f);          if ( DEG(f) < dy )
         ng = g0->d;                  error("sfhenmain2 : invalid input");
         nh = h0->d;  
   
         W_BMALLOC(n,bound,wb0); W_BMALLOC(n,bound,wb1);          dx = degbm(f);
         wt = W_UMALLOC(n); ws = W_UMALLOC(n);          dg = DEG(g0);
         wq = W_UMALLOC(n); q = W_UMALLOC(2*n);          dh = DEG(h0);
         wg1 = W_UMALLOC(2*n); wh1 = W_UMALLOC(2*n);  
   
           W_BMALLOC(dx,dy,wb0); W_BMALLOC(dx,dy,wb1);
           wt = W_UMALLOC(dx); ws = W_UMALLOC(dx); q = W_UMALLOC(2*dx);
           wg1 = W_UMALLOC(2*dx); wh1 = W_UMALLOC(2*dx);
   
         /* fk = gk*hk mod y^k */          /* fk = gk*hk mod y^k */
         W_BMALLOC(n,bound,fk);          W_BMALLOC(dx,dy,fk);
         cpyum(COEF(f)[0],COEF(fk)[0]);          cpyum(COEF(f)[0],COEF(fk)[0]);
         gk = BMALLOC(ng,bound);          gk = BMALLOC(dg,dy);
         cpyum(g0,COEF(gk)[0]);          cpyum(g0,COEF(gk)[0]);
         W_BMALLOC(nh,bound,hk);          W_BMALLOC(dh,dy,hk);
         cpyum(h0,COEF(hk)[0]);          cpyum(h0,COEF(hk)[0]);
   
         wc = W_UMALLOC(2*n); wd = W_UMALLOC(2*n);          wc = W_UMALLOC(2*dx); wd = W_UMALLOC(2*dx);
         we = W_UMALLOC(2*n); wz = W_UMALLOC(2*n);          we = W_UMALLOC(2*dx); wz = W_UMALLOC(2*dx);
   
         /* compute wa,wb s.t. wa*g0+wb*h0 = 1 mod y */          /* compute wa,wb s.t. wa*g0+wb*h0 = 1 mod y */
         w1 = W_UMALLOC(ng); cpyum(g0,w1);          w1 = W_UMALLOC(dg); cpyum(g0,w1);
         w2 = W_UMALLOC(nh); cpyum(h0,w2);          w2 = W_UMALLOC(dh); cpyum(h0,w2);
         wa = W_UMALLOC(2*n); wb = W_UMALLOC(2*n);  /* XXX */          wa = W_UMALLOC(2*dx); wb = W_UMALLOC(2*dx);  /* XXX */
         eucsfum(w1,w2,wa,wb);          eucsfum(w1,w2,wa,wb);
   
 #if 0          fprintf(stderr,"dy=%d\n",dy);
         mulsfum(wa,g0,wc); mulsfum(wb,h0,wd); addsfum(wc,wd,we);          for ( k = 1; k <= dy; k++ ) {
         if ( DEG(we) != 0 || COEF(we)[0] != _onesf() )  
                         error("henmain2 : cannot happen(euc)");  
 #endif  
   
         fprintf(stderr,"bound=%d\n",bound);  
         for ( k = 1; k < bound; k++ ) {  
                 fprintf(stderr,".");                  fprintf(stderr,".");
   
                 /* at this point, f = gk*hk mod y^k */                  /* at this point, f = gk*hk mod y^k */
 #if 0  
                 for ( j = 0; j < k; j++ )  
                         if ( !isequalum(COEF(f)[j],COEF(fk)[j]) )  
                                         error("henmain2 : cannot happen(history)");  
 #endif  
   
                 /* clear wt */                  /* clear wt */
                 bzero(COEF(wt),(n+1)*sizeof(int));                  clearum(wt,dx);
   
                 /* wt = (f-gk*hk)/y^k */                  /* wt = (f-gk*hk)/y^k */
                 subsfum(COEF(f)[k],COEF(fk)[k],wt);                  subsfum(COEF(f)[k],COEF(fk)[k],wt);
   
                 /* clear wq */  
                 bzero(COEF(wq),(n+1)*sizeof(int));  
   
                 /* compute wf1,wg1 s.t. wh1*g0+wg1*h0 = wt */                  /* compute wf1,wg1 s.t. wh1*g0+wg1*h0 = wt */
                 mulsfum(wa,wt,wh1); DEG(wh1) = divsfum(wh1,h0,q);                  mulsfum(wa,wt,wh1); DEG(wh1) = divsfum(wh1,h0,q);
                 mulsfum(wh1,g0,wc); subsfum(wt,wc,wd); DEG(wd) = divsfum(wd,h0,wg1);                  mulsfum(wh1,g0,wc); subsfum(wt,wc,wd); DEG(wd) = divsfum(wd,h0,wg1);
Line 900  BM *gp;
Line 818  BM *gp;
                         error("henmain2 : cannot happen");                          error("henmain2 : cannot happen");
 #endif  #endif
   
                 /* fk += ((wg1*hk+wh1*gk)*y^k+wg1*wh1*y^(2*k) mod y^bound */                  /* fk += ((wg1*hk+wh1*gk)*y^k+wg1*wh1*y^(2*k) mod y^(dy+1) */
                 /* wb0 = wh1*y^k */                  /* wb0 = wh1*y^k */
                 clearsfbm(bound,n,wb0);                  clearbm(dx,wb0);
                 DEG(wb0) = bound;  
                 cpyum(wh1,COEF(wb0)[k]);                  cpyum(wh1,COEF(wb0)[k]);
   
                 /* wb1 = gk*wb0 mod y^bound */                  /* wb1 = gk*wb0 mod y^(dy+1) */
                 clearsfbm(bound,n,wb1);                  clearbm(dx,wb1);
                 mulsfbm(bound,gk,wb0,wb1);                  mulsfbm(gk,wb0,wb1);
                 /* fk += wb1 */                  /* fk += wb1 */
                 addtosfbm(bound,wb1,fk);                  addtosfbm(wb1,fk);
   
                 /* wb0 = wg1*y^k */                  /* wb0 = wg1*y^k */
                 clearsfbm(bound,n,wb0);                  clearbm(dx,wb0);
                 DEG(wb0) = bound;  
                 cpyum(wg1,COEF(wb0)[k]);                  cpyum(wg1,COEF(wb0)[k]);
   
                 /* wb1 = hk*wb0 mod y^bound */                  /* wb1 = hk*wb0 mod y^(dy+1) */
                 clearsfbm(bound,n,wb1);                  clearbm(dx,wb1);
                 mulsfbm(bound,hk,wb0,wb1);                  mulsfbm(hk,wb0,wb1);
                 /* fk += wb1 */                  /* fk += wb1 */
                 addtosfbm(bound,wb1,fk);                  addtosfbm(wb1,fk);
   
                 /* fk += wg1*wh1*y^(2*k) mod y^bound */                  /* fk += wg1*wh1*y^(2*k) mod y^(dy+1) */
                 if ( 2*k < bound ) {                  if ( 2*k <= dy ) {
                         mulsfum(wg1,wh1,wt); addsfum(COEF(fk)[2*k],wt,ws);                          mulsfum(wg1,wh1,wt); addsfum(COEF(fk)[2*k],wt,ws);
                         cpyum(ws,COEF(fk)[2*k]);                          cpyum(ws,COEF(fk)[2*k]);
                 }                  }
Line 935  BM *gp;
Line 851  BM *gp;
         }          }
         fprintf(stderr,"\n");          fprintf(stderr,"\n");
         *gp = gk;          *gp = gk;
         DEG(f) = bound;          DEG(f) = dy;
         for ( i = 0; i < bound; i++ )          for ( i = 0; i <= dy; i++ )
                 cpyum(COEF(hk)[i],COEF(f)[i]);                  cpyum(COEF(hk)[i],COEF(f)[i]);
 }  }
   
 void ptosflum(bound,f,fl)  
 int bound;  
 P f;  
 LUM fl;  
 {  
         DCP dc;  
         int **pp;  
         int d;  
         UM t;  
   
         t = UMALLOC(bound);  
         for ( dc = DC(f), pp = COEF(fl); dc; dc = NEXT(dc) ) {  
                 d = QTOS(DEG(dc));  
                 ptosfum(COEF(dc),t);  
                 bcopy(t->c,pp[d],(t->d+1)*sizeof(int));  
         }  
 }  
   
 /* fl->c[i] = coef_y(f,i) */  /* fl->c[i] = coef_y(f,i) */
   
 void ptosfbm(bound,f,fl)  void ptosfbm(dy,f,fl)
 int bound;  int dy;
 P f;  P f;
 BM fl;  BM fl;
 {  {
         DCP dc;          DCP dc;
         int d,i,n;          int d,i,dx;
         UM t;          UM t;
   
         n = QTOS(DEG(DC(f)));          dx = QTOS(DEG(DC(f)));
         clearsfbm(bound,n,fl);          if ( DEG(fl) < dy )
         DEG(fl) = bound;                  error("ptosfbm : invalid input");
         t = UMALLOC(bound);          DEG(fl) = dy;
           clearbm(dx,fl);
           t = UMALLOC(dy);
         for ( dc = DC(f); dc; dc = NEXT(dc) ) {          for ( dc = DC(f); dc; dc = NEXT(dc) ) {
                 d = QTOS(DEG(dc));                  d = QTOS(DEG(dc));
                 ptosfum(COEF(dc),t);                  ptosfum(COEF(dc),t);
                 for ( i = 0; i <= DEG(t); i++ )                  for ( i = 0; i <= DEG(t); i++ )
                         COEF(COEF(fl)[i])[d] = COEF(t)[i];                          COEF(COEF(fl)[i])[d] = COEF(t)[i];
         }          }
         for ( i = 0; i < bound; i++ )          for ( i = 0; i <= dy; i++ )
                 degum(COEF(fl)[i],n);                  degum(COEF(fl)[i],dx);
 }  }
   
 /* x : main variable */  /* x : main variable */
   
 void sflumtop(bound,fl,x,y,fp)  void sfbmtop(f,x,y,fp)
 int bound;  
 LUM fl;  
 V x,y;  
 P *fp;  
 {  
         int i,j,n;  
         int **c;  
         UM w;  
         int *coef;  
         DCP dc,dct;  
   
         n = fl->d;  
         c = fl->c;  
         w = W_UMALLOC(bound);  
         for ( i = 0, dc = 0; i <= n; i++ ) {  
                 coef = c[i];  
                 for ( j = bound-1; j >= 0 && coef[j] == 0; j-- );  
                 if ( j < 0 )  
                         continue;  
                 DEG(w) = j; bcopy(coef,COEF(w),(j+1)*sizeof(int));  
                 NEWDC(dct); STOQ(i,DEG(dct));  
                 sfumtop(y,w,&COEF(dct)); NEXT(dct) = dc; dc = dct;  
         }  
         MKP(x,dc,*fp);  
 }  
   
 /* x : main variable */  
   
 void sfbmtop(bound,f,x,y,fp)  
 int bound;  
 BM f;  BM f;
 V x,y;  V x,y;
 P *fp;  P *fp;
 {  {
         UM *c;          UM *c;
         int i,j,d,a;          int i,j,d,a,dy;
         GFS b;          GFS b;
         DCP dc0,dc,dct;          DCP dc0,dc,dct;
   
           dy = DEG(f);
         c = COEF(f);          c = COEF(f);
         d = DEG(c[0]);          d = degbm(f);
         for ( i = 1; i < bound; i++ )  
                 d = MAX(DEG(c[i]),d);  
   
         dc0 = 0;          dc0 = 0;
         for ( i = 0; i <= d; i++ ) {          for ( i = 0; i <= d; i++ ) {
                 dc = 0;                  dc = 0;
                 for ( j = 0; j < bound; j++ ) {                  for ( j = 0; j <= dy; j++ ) {
                         if ( DEG(c[j]) >= i && (a = COEF(c[j])[i]) ) {                          if ( DEG(c[j]) >= i && (a = COEF(c[j])[i]) ) {
                                 NEWDC(dct);                                  NEWDC(dct);
                                 STOQ(j,DEG(dct));                                  STOQ(j,DEG(dct));
Line 1057  P *fp;
Line 926  P *fp;
                 *fp = 0;                  *fp = 0;
 }  }
   
   void sfsqfr(f,dcp)
   P f;
   DCP *dcp;
   {
           P g;
           V x;
           DCP dc;
           VL vl;
   
           simp_ff(f,&g); f = g;
           clctv(CO,f,&vl);
           if ( !vl ) {
                   /* f is a const */
                   NEWDC(dc); DEG(dc) = ONE; COEF(dc) = f; NEXT(dc) = 0; *dcp = dc;
           } else if ( !NEXT(vl) )
                   sfusqfr(f,dcp);
           else if ( !NEXT(NEXT(vl)) )
                   sfbsqfr(f,x,NEXT(vl)->v,dcp);
           else
                   error("sfsqfr : not implemented yet");
   }
   
   void sfusqfr(f,dcp)
   P f;
   DCP *dcp;
   {
           DCP dc,dct;
           struct oDUM *udc;
           V x;
           P lc;
           int n,i;
           UM mf;
   
           x = VR(f);
           n = getdeg(x,f);
           mf = W_UMALLOC(n);
           ptosfum(f,mf);
           lc = COEF(DC(f));
           if ( !_isonesf(COEF(mf)[n]) ) {
                   monicsfum(mf);
           }
           W_CALLOC(n+1,struct oDUM,udc);
           gensqfrsfum(mf,udc);
           for ( i = 0, dc = 0; udc[i].f; i++ ) {
                   NEWDC(dct); STOQ(udc[i].n,DEG(dct));
                   sfumtop(x,udc[i].f,&COEF(dct));
                   NEXT(dct) = dc; dc = dct;
           }
           NEWDC(dct); DEG(dct) = ONE; COEF(dct) = (P)lc; NEXT(dct) = dc;
           *dcp = dct;
   }
   
   void sfbsqfr(f,x,y,dcp)
   P f;
   V x,y;
   DCP *dcp;
   {
           P t,rf,cx,cy;
           VL vl,rvl;
           DCP dcx,dcy;
           struct oVL vl0,vl1;
   
           /* vl = [x,y] */
           vl0.v = x; vl0.next = &vl1; vl1.v = y; vl1.next = 0; vl = &vl0;
           /* cy(y) = cont(f,x), f /= cx */
           cont_pp_sfp(vl,f,&cy,&t); f = t;
           /* rvl = [y,x] */
           reordvar(vl,y,&rvl); reorderp(rvl,vl,f,&rf);
           /* cx(x) = cont(rf,y), Rf /= cy */
           cont_pp_sfp(rvl,rf,&cx,&t); rf = t;
           reorderp(vl,rvl,rf,&f);
   
           /* f -> cx*cy*f */
           sfusqfr(cx,&dcx);
           sfusqfr(cy,&dcy);
   }
   
 void sfdtest(P,ML,V,V,DCP *);  void sfdtest(P,ML,V,V,DCP *);
   
 void sfbfctr(f,x,y,dcp)  void sfbfctr(f,x,y,dcp)
Line 1069  DCP *dcp;
Line 1015  DCP *dcp;
         GFS ev;          GFS ev;
         DCP dc,dct;          DCP dc,dct;
         BM fl;          BM fl;
         int n,bound;          int dx,dy;
   
         /* sf(x) = f(x+ev) = list->c[0]*list->c[1]*... */          /* sf(x) = f(x+ev) = list->c[0]*list->c[1]*... */
         sfhensel(5,f,x,&ev,&sf,&list);          sfhensel(5,f,x,&ev,&sf,&list);
           if ( list->n == 0 )
                   error("sfbfctr : short of evaluation points");
           else if ( list->n == 1 ) {
                   /* f is irreducible */
                   NEWDC(dc); DEG(dc) = ONE; COEF(dc) = f; NEXT(dc) = 0;
                   *dcp = dc;
                   return;
           }
         sfdtest(sf,list,x,y,&dc);          sfdtest(sf,list,x,y,&dc);
         n = getdeg(x,sf);          if ( ev ) {
         bound = list->bound;                  dx = getdeg(x,sf);
         W_BMALLOC(n,bound,fl);                  dy = getdeg(y,sf);
         for ( dct = dc; dct; dct = NEXT(dct) ) {                  W_BMALLOC(dx,dy,fl);
                 ptosfbm(bound,COEF(dct),fl);                  for ( dct = dc; dct; dct = NEXT(dct) ) {
                 shiftsfbm(bound,fl,_chsgnsf(FTOIF(CONT(ev))));                          ptosfbm(dy,COEF(dct),fl);
                 sfbmtop(bound,fl,x,y,&COEF(dct));                          shiftsfbm(fl,_chsgnsf(FTOIF(CONT(ev))));
                           sfbmtop(fl,x,y,&COEF(dct));
                   }
         }          }
         *dcp = dc;          *dcp = dc;
 }  }
   
 /* f = f(x,y) = list->c[0]*list->c[1]*... mod y^list->bound */  /* f = f(x,y) = list->c[0]*list->c[1]*... mod y^(list->bound+1) */
   
 void sfdtest(f,list,x,y,dcp)  void sfdtest(f,list,x,y,dcp)
 P f;  P f;
Line 1093  ML list;
Line 1049  ML list;
 V x,y;  V x,y;
 DCP *dcp;  DCP *dcp;
 {  {
         int n,np,bound;          int np,dx,dy;
         int i,j,k;          int i,j,k;
         int *win;          int *win;
         P g,lcg,factor,cofactor,lcyx;          P g,lcg,factor,cofactor,lcyx;
Line 1111  DCP *dcp;
Line 1067  DCP *dcp;
         vl0.v = x; vl0.next = &vl1; vl1.v = y; vl1.next = 0; vl = &vl0;          vl0.v = x; vl0.next = &vl1; vl1.v = y; vl1.next = 0; vl = &vl0;
   
         /* setup various structures and arrays */          /* setup various structures and arrays */
         n = UDEG(f); np = list->n; bound = list->bound; win = W_ALLOC(np+1);          dx = getdeg(x,f);
         wlist = W_MLALLOC(np); wlist->n = list->n;          dy = getdeg(y,f);
         wlist->bound = list->bound;          np = list->n;
           win = W_ALLOC(np+1);
           wlist = W_MLALLOC(np);
           wlist->n = list->n;
           wlist->bound = dy;
         c = (BM *)COEF(wlist);          c = (BM *)COEF(wlist);
         bcopy((char *)COEF(list),(char *)c,(int)(sizeof(BM)*np));          bcopy((char *)COEF(list),(char *)c,(int)(sizeof(BM)*np));
   
         lcg0 = W_UMALLOC(2*bound);          lcg0 = W_UMALLOC(2*dy);
   
         /* initialize g by f */          /* initialize g by f */
         g = f;          g = f;
Line 1132  DCP *dcp;
Line 1092  DCP *dcp;
         sfcsump(vl,lcg,&csum);          sfcsump(vl,lcg,&csum);
   
         /* initialize lcy by LC(f) */          /* initialize lcy by LC(f) */
         W_BMALLOC(0,bound,lcy);          W_BMALLOC(0,dy,lcy);
         NEWDC(dc); COEF(dc) = COEF(DC(g)); DEG(dc) = 0;          NEWDC(dc); COEF(dc) = COEF(DC(g)); DEG(dc) = 0;
         NEWP(lcyx); VR(lcyx) = x; DC(lcyx) = dc;          NEWP(lcyx); VR(lcyx) = x; DC(lcyx) = dc;
         ptosfbm(bound,lcyx,lcy);          ptosfbm(dy,lcyx,lcy);
   
         fprintf(stderr,"np = %d\n",np);          fprintf(stderr,"np = %d\n",np);
         for ( g = f, k = 1, dcf = dcf0 = 0, win[0] = 1, --np, z = 0; ; z++ ) {          for ( g = f, k = 1, dcf = dcf0 = 0, win[0] = 1, --np, z = 0; ; z++ ) {
Line 1154  DCP *dcp;
Line 1114  DCP *dcp;
                         sfcsump(vl,lcg,&csum);                          sfcsump(vl,lcg,&csum);
   
                         /* update lcy */                          /* update lcy */
                         clearsfbm(bound,0,lcy);                          clearbm(0,lcy);
                         COEF(dc) = COEF(DC(g)); ptosfbm(bound,lcyx,lcy);                          COEF(dc) = COEF(DC(g));
                           ptosfbm(dy,lcyx,lcy);
   
                         for ( i = 0; i < k - 1; i++ )                          for ( i = 0; i < k - 1; i++ )
                                 for ( j = win[i] + 1; j < win[i + 1]; j++ )                                  for ( j = win[i] + 1; j < win[i + 1]; j++ )
Line 1197  int k;
Line 1158  int k;
 int *in;  int *in;
 P *fp,*cofp;  P *fp,*cofp;
 {  {
         P fmul,csumg,q;          P fmul,csumg,q,cont;
         V x,y;          V x,y;
   
         x = vl->v;          x = vl->v;
Line 1213  P *fp,*cofp;
Line 1174  P *fp,*cofp;
                 }                  }
         }          }
         if ( divtp_by_sfbm(vl,lcg,fmul,&q) ) {          if ( divtp_by_sfbm(vl,lcg,fmul,&q) ) {
                 pp_sfp(vl,fmul,fp);                  cont_pp_sfp(vl,fmul,&cont,fp);
                 pp_sfp(vl,q,cofp);                  cont_pp_sfp(vl,q,&cont,cofp);
                 return 1;                  return 1;
         } else          } else
                 return 0;                  return 0;
Line 1233  UM c;
Line 1194  UM c;
                 DEG(c) = -1;                  DEG(c) = -1;
 }  }
   
 void const_term_sfbm(f,bound,c)  void const_term_sfbm(f,c)
 BM f;  BM f;
 int bound;  
 UM c;  UM c;
 {  {
         int i;          int i,dy;
   
         for ( i = 0; i < bound; i++ )          dy = DEG(f);
           for ( i = 0; i <= dy; i++ )
                 if ( DEG(COEF(f)[i]) >= 0 )                  if ( DEG(COEF(f)[i]) >= 0 )
                         COEF(c)[i] = COEF(COEF(f)[i])[0];                          COEF(c)[i] = COEF(COEF(f)[i])[0];
                 else                  else
                         COEF(c)[i] = 0;                          COEF(c)[i] = 0;
         degum(c,bound-1);          degum(c,dy);
 }  }
   
 /* lcy*(product of const part) | lcg0 ? */  /* lcy*(product of const part) | lcg0 ? */
Line 1258  int k;
Line 1219  int k;
 int *in;  int *in;
 {  {
         DCP dc;          DCP dc;
         int bound,i,dr;          int dy,i,dr;
         UM t,s,u,w;          UM t,s,u,w;
         BM *l;          BM *l;
   
         bound = list->bound;          dy = list->bound;
         t = W_UMALLOC(2*bound);          t = W_UMALLOC(2*dy);
         s = W_UMALLOC(2*bound);          s = W_UMALLOC(2*dy);
         u = W_UMALLOC(2*bound);          u = W_UMALLOC(2*dy);
         const_term_sfbm(lcy,bound,t);          const_term_sfbm(lcy,t);
         if ( DEG(t) < 0 )          if ( DEG(t) < 0 )
                 return 1;                  return 1;
   
         l = (BM *)list->c;          l = (BM *)list->c;
         for ( i = 0; i < k; i++ ) {          for ( i = 0; i < k; i++ ) {
                 const_term_sfbm(l[in[i]],bound,s);                  const_term_sfbm(l[in[i]],s);
                 mulsfum(t,s,u);                  mulsfum(t,s,u);
                 if ( DEG(u) >= bound )                  if ( DEG(u) > dy )
                         degum(u,bound-1);                          degum(u,dy);
                 w = t; t = u; u = w;                  w = t; t = u; u = w;
         }          }
         cpyum(lcg0,s);          cpyum(lcg0,s);
Line 1288  int *in;
Line 1249  int *in;
   
 /* main var of f is x */  /* main var of f is x */
   
 void mulsfbmarray(n,lcy,list,k,in,x,y,g)  void mulsfbmarray(dx,lcy,list,k,in,x,y,g)
 int n;  int dx;
 BM lcy;  BM lcy;
 ML list;  ML list;
 int k;  int k;
Line 1297  int *in;
Line 1258  int *in;
 V x,y;  V x,y;
 P *g;  P *g;
 {  {
         int bound,i;          int dy,i;
         BM wb0,wb1,t,lcbm;          BM wb0,wb1,t,lcbm;
         BM *l;          BM *l;
   
         bound = list->bound;          dy = list->bound;
         W_BMALLOC(n,bound,wb0); W_BMALLOC(n,bound,wb1);          W_BMALLOC(dx,dy,wb0); W_BMALLOC(dx,dy,wb1);
         l = (BM *)list->c;          l = (BM *)list->c;
         clearsfbm(bound,n,wb0);          clearbm(dx,wb0);
         mulsfbm(bound,lcy,l[in[0]],wb0);          mulsfbm(lcy,l[in[0]],wb0);
         for ( i = 1; i < k; i++ ) {          for ( i = 1; i < k; i++ ) {
                 clearsfbm(bound,n,wb1);                  clearbm(dx,wb1);
                 mulsfbm(bound,l[in[i]],wb0,wb1);                  mulsfbm(l[in[i]],wb0,wb1);
                 t = wb0; wb0 = wb1; wb1 = t;                  t = wb0; wb0 = wb1; wb1 = t;
         }          }
         sfbmtop(bound,wb0,x,y,g);          sfbmtop(wb0,x,y,g);
 }  }
   
 void sfcsump(vl,f,s)  void sfcsump(vl,f,s)
Line 1330  P *s;
Line 1291  P *s;
   
 /* *fp = primitive part of f w.r.t. x */  /* *fp = primitive part of f w.r.t. x */
   
 void pp_sfp(vl,f,fp)  void cont_pp_sfp(vl,f,cp,fp)
 VL vl;  VL vl;
 P f;  P f;
 P *fp;  P *cp,*fp;
 {  {
         V x,y;          V x,y;
         int d;          int d;
         UM t,s,gcd;          UM t,s,gcd;
         DCP dc;          DCP dc;
         P dvr;          GFS g;
   
         x = vl->v;          x = vl->v;
         y = vl->next->v;          y = vl->next->v;
         d = getdeg(y,f);          d = getdeg(y,f);
         if ( d == 0 )          if ( d == 0 ) {
                   MKGFS(0,g);
                   *cp = (P)g;
                 *fp = f;  /* XXX */                  *fp = f;  /* XXX */
         else {          } else {
                 t = W_UMALLOC(2*d);                  t = W_UMALLOC(2*d);
                 s = W_UMALLOC(2*d);                  s = W_UMALLOC(2*d);
                 gcd = W_UMALLOC(2*d);                  gcd = W_UMALLOC(2*d);
Line 1357  P *fp;
Line 1320  P *fp;
                         gcdsfum(gcd,t,s);                          gcdsfum(gcd,t,s);
                         cpyum(s,gcd);                          cpyum(s,gcd);
                 }                  }
                 sfumtop(y,gcd,&dvr);                  sfumtop(y,gcd,cp);
                 divsp(vl,f,dvr,fp);                  divsp(vl,f,*cp,fp);
         }          }
 }  }
   
Line 1380  P *qp;
Line 1343  P *qp;
   
         if ( fx < gx || fy < gy )          if ( fx < gx || fy < gy )
                 return 0;                  return 0;
         W_BMALLOC(fx,fy+1,fl); ptosfbm(fy+1,f,fl); cf = COEF(fl);          W_BMALLOC(fx,fy,fl); ptosfbm(fy,f,fl); cf = COEF(fl);
         W_BMALLOC(gx,gy+1,gl); ptosfbm(gy+1,g,gl); cg = COEF(gl);          W_BMALLOC(gx,gy,gl); ptosfbm(gy,g,gl); cg = COEF(gl);
         W_BMALLOC(fx-gx,fy-gy+1,ql); cq = COEF(ql);          W_BMALLOC(fx-gx,fy-gy,ql); cq = COEF(ql);
   
         hg = cg[gy];          hg = cg[gy];
         q = W_UMALLOC(fx); t = W_UMALLOC(fx); s = W_UMALLOC(fx);          q = W_UMALLOC(fx); t = W_UMALLOC(fx); s = W_UMALLOC(fx);
Line 1405  P *qp;
Line 1368  P *qp;
         for ( j = gy-1; j >= 0 && DEG(cf[j]) < 0; j-- );          for ( j = gy-1; j >= 0 && DEG(cf[j]) < 0; j-- );
         if ( j >= 0 )          if ( j >= 0 )
                 return 0;                  return 0;
         sfbmtop(DEG(ql),ql,x,y,qp);          sfbmtop(ql,x,y,qp);
   }
   
   /* XXX generate an irreducible poly of degree n */
   
   void generate_defpoly_sfum(n,dp)
   int n;
   UM *dp;
   {
 }  }

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

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