[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.4 and 1.5

version 1.4, 2001/06/25 01:35:21 version 1.5, 2001/06/25 04:11:42
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/engine/Hgfs.c,v 1.3 2001/06/22 08:51:12 noro Exp $ */  /* $OpenXM: OpenXM_contrib2/asir2000/engine/Hgfs.c,v 1.4 2001/06/25 01:35:21 noro Exp $ */
   
 #include "ca.h"  #include "ca.h"
   
Line 534  int sfberle(VL,P,int,GFS *,DCP *);
Line 534  int sfberle(VL,P,int,GFS *,DCP *);
 void sfgcdgen(P,ML,ML *);  void sfgcdgen(P,ML,ML *);
 void sfhenmain(LUM,ML,ML,ML *);  void sfhenmain(LUM,ML,ML,ML *);
 void ptosflum(int,P,LUM);  void ptosflum(int,P,LUM);
 void sfhenmain2(LUM,UM,UM,int,LUM *);  void sfhenmain2(BM,UM,UM,int,BM *);
   void ptosfbm(int,P,BM);
   
 /* f = f(x,y) */  /* f = f(x,y) */
   
Line 547  ML *listp;
Line 548  ML *listp;
         int i,j;          int i,j;
         int fn,n,bound;          int fn,n,bound;
         ML rlist;          ML rlist;
         LUM fl;          BM fl;
         VL vl,nvl;          VL vl,nvl;
         V y;          V y;
         int dx,dy,mev;          int dx,dy,mev;
         GFS ev;          GFS ev;
         P f1,t,yev,c;          P f1,t,yev,c;
         DCP dc;          DCP dc;
         LUM gl;  
         UM w,w1,q,fm,hm;          UM w,w1,q,fm,hm;
         UM *gm;          UM *gm;
   
Line 589  ML *listp;
Line 589  ML *listp;
   
         bound = dy+1;          bound = dy+1;
         /* f(x,y) -> f(x,y+ev) */          /* f(x,y) -> f(x,y+ev) */
         fl = LUMALLOC(dx,bound);          fl = BMALLOC(dx,bound);
         ptosflum(bound,f,fl);          ptosfbm(bound,f,fl);
         shiftsflum(bound,fl,FTOIF(CONT(ev)));          shiftsfbm(bound,fl,FTOIF(CONT(ev)));
   
         /* fm = fl mod y */          /* fm = fl mod y */
         fm = W_UMALLOC(dx);          fm = W_UMALLOC(dx);
         DEG(fm) = dx;          cpyum(COEF(fl)[0],fm);
         for ( i = 0; i <= dx; i++ )  
                 COEF(fm)[i] = COEF(fl)[i][0];  
         hm = W_UMALLOC(dx);          hm = W_UMALLOC(dx);
   
         q = W_UMALLOC(dx);          q = W_UMALLOC(dx);
Line 608  ML *listp;
Line 606  ML *listp;
                 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^bound */
                 /* rlist->c[i] = gk */                  /* rlist->c[i] = gk */
                 sfhenmain2(fl,gm[i],hm,bound,(LUM *)&rlist->c[i]);                  sfhenmain2(fl,gm[i],hm,bound,(BM *)&rlist->c[i]);
                 cpyum(hm,fm);                  cpyum(hm,fm);
         }          }
         /* finally, fl must be the lift of gm[fn-1] */          /* finally, fl must be the lift of gm[fn-1] */
Line 619  ML *listp;
Line 617  ML *listp;
         w1 = W_UMALLOC(bound);          w1 = W_UMALLOC(bound);
         mev = _chsgnsf(FTOIF(CONT(ev)));          mev = _chsgnsf(FTOIF(CONT(ev)));
         for ( i = 0; i < fn; i++ )          for ( i = 0; i < fn; i++ )
                 shiftsflum(bound,(LUM)(rlist->c[i]),mev);                  shiftsfbm(bound,(BM)(rlist->c[i]),mev);
         *listp = rlist;          *listp = rlist;
 }  }
   
Line 747  ML bqlist,cqlist,*listp;
Line 745  ML bqlist,cqlist,*listp;
                         mulsflum(i+1,l[j],wb0,wb1);                          mulsflum(i+1,l[j],wb0,wb1);
                         tlum = wb0; wb0 = wb1; wb1 = tlum;                          tlum = wb0; wb0 = wb1; wb1 = tlum;
                 }                  }
 #if 1  #if 0
                 /* check */                  /* check */
                 for ( j = 0, pp = COEF(f), pp1 = COEF(wb0); j <= n; j++ )                  for ( j = 0, pp = COEF(f), pp1 = COEF(wb0); j <= n; j++ )
                         for ( k = 0; k < i; k++ )                          for ( k = 0; k < i; k++ )
Line 781  ML bqlist,cqlist,*listp;
Line 779  ML bqlist,cqlist,*listp;
 /* f = g0*h0 mod y -> f = gk*hk mod y^bound, f is replaced by hk */  /* f = g0*h0 mod y -> f = gk*hk mod y^bound, f is replaced by hk */
   
 void sfhenmain2(f,g0,h0,bound,gp)  void sfhenmain2(f,g0,h0,bound,gp)
 LUM f;  BM f;
 UM g0,h0;  UM g0,h0;
 int bound;  int bound;
 LUM *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 n,np,dr,tmp;
         UM wt,wa,wb,wq,wm,q,w1,w2,wh1,wg1;          UM wt,wa,wb,wq,wm,q,w1,w2,wh1,wg1,ws;
         UM wc,wd,we,wz;          UM wc,wd,we,wz;
         LUM wb0,wb1;          BM wb0,wb1;
         int ng,nh;          int ng,nh;
         LUM fk,gk,hk;          BM fk,gk,hk;
   
         n = f->d;          n = f->d;
         ng = g0->d;          ng = g0->d;
         nh = h0->d;          nh = h0->d;
   
         W_LUMALLOC(n,bound,wb0); W_LUMALLOC(n,bound,wb1);          W_BMALLOC(n,bound,wb0); W_BMALLOC(n,bound,wb1);
         wt = W_UMALLOC(n); wq = W_UMALLOC(n); q = W_UMALLOC(2*n);          wt = W_UMALLOC(n); ws = W_UMALLOC(n);
           wq = W_UMALLOC(n); q = W_UMALLOC(2*n);
         wg1 = W_UMALLOC(2*n); wh1 = W_UMALLOC(2*n);          wg1 = W_UMALLOC(2*n); wh1 = W_UMALLOC(2*n);
   
         /* fk = gk*hk mod y^k */          /* fk = gk*hk mod y^k */
         W_LUMALLOC(n,bound,fk);          W_BMALLOC(n,bound,fk); cpyum(COEF(f)[0],COEF(fk)[0]);
         DEG(fk) = n;          gk = BMALLOC(ng,bound); cpyum(g0,COEF(gk)[0]);
         for ( j = 0; j <= n; j++ )          W_BMALLOC(nh,bound,hk);
                 COEF(fk)[j][0] = COEF(f)[j][0];          cpyum(h0,COEF(hk)[0]);
   
         gk = LUMALLOC(ng,bound);          wc = W_UMALLOC(2*n); wd = W_UMALLOC(2*n);
         DEG(gk) = ng;          we = W_UMALLOC(2*n); wz = W_UMALLOC(2*n);
         for ( j = 0; j <= ng; j++ )  
                 COEF(gk)[j][0] = COEF(g0)[j];  
   
         W_LUMALLOC(nh,bound,hk);  
         DEG(hk) = nh;  
         for ( j = 0; j <= nh; j++ )  
                 COEF(hk)[j][0] = COEF(h0)[j];  
   
         wc = W_UMALLOC(2*n); wd = W_UMALLOC(2*n); we = W_UMALLOC(2*n); wz = W_UMALLOC(2*n);  
   
         /* 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(ng); cpyum(g0,w1);
         w2 = W_UMALLOC(nh); cpyum(h0,w2);          w2 = W_UMALLOC(nh); cpyum(h0,w2);
Line 830  LUM *gp;
Line 821  LUM *gp;
 #if 0  #if 0
         mulsfum(wa,g0,wc); mulsfum(wb,h0,wd); addsfum(wc,wd,we);          mulsfum(wa,g0,wc); mulsfum(wb,h0,wd); addsfum(wc,wd,we);
         if ( DEG(we) != 0 || COEF(we)[0] != _onesf() )          if ( DEG(we) != 0 || COEF(we)[0] != _onesf() )
                         error("henmain2 : cannot happen");                          error("henmain2 : cannot happen(euc)");
 #endif  #endif
   
         fprintf(stderr,"bound=%d\n",bound);          fprintf(stderr,"bound=%d\n",bound);
Line 839  LUM *gp;
Line 830  LUM *gp;
   
                 /* at this point, f = gk*hk mod y^k */                  /* at this point, f = gk*hk mod y^k */
 #if 0  #if 0
                 for ( j = 0, pp = COEF(f), pp1 = COEF(fk); j <= n; j++ )                  for ( j = 0; j < k; j++ )
                         for ( l = 0; l < k; l++ )                          if ( !isequalum(COEF(f)[j],COEF(fk)[j]) )
                                 if ( pp[j][l] != pp1[j][l] )                                          error("henmain2 : cannot happen(history)");
                                         error("henmain2 : cannot happen");  
 #endif  #endif
   
                 /* clear wt */                  /* clear wt */
                 bzero(COEF(wt),(n+1)*sizeof(int));                  bzero(COEF(wt),(n+1)*sizeof(int));
   
                 /* wt = (f-gk*hk)/y^k */                  /* wt = (f-gk*hk)/y^k */
                 pp = COEF(f); pp1 = COEF(fk);                  subsfum(COEF(f)[k],COEF(fk)[k],wt);
                 for ( j = n; j >= 0; j-- )  
                         COEF(wt)[j] = _subsf(pp[j][k],pp1[j][k]);  
                 degum(wt,n);  
   
                 /* clear wq */                  /* clear wq */
                 bzero(COEF(wq),(n+1)*sizeof(int));                  bzero(COEF(wq),(n+1)*sizeof(int));
Line 864  LUM *gp;
Line 851  LUM *gp;
                 /* check */                  /* check */
 #if 0  #if 0
                 if ( DEG(wd) >= 0 || DEG(wg1) > ng )                  if ( DEG(wd) >= 0 || DEG(wg1) > ng )
                         error("henmain2 : cannot happen");                          error("henmain2 : cannot happen(adj)");
   
                 mulsfum(wg1,h0,wc); mulsfum(wh1,g0,wd); addsfum(wc,wd,we);                  mulsfum(wg1,h0,wc); mulsfum(wh1,g0,wd); addsfum(wc,wd,we);
                 subsfum(we,wt,wz);                  subsfum(we,wt,wz);
Line 874  LUM *gp;
Line 861  LUM *gp;
   
                 /* 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^bound */
                 /* wb0 = wh1*y^k */                  /* wb0 = wh1*y^k */
                 clearsflum(bound,n,wb0);                  clearsfbm(bound,n,wb0);
                 DEG(wb0) = DEG(wh1);                  DEG(wb0) = bound;
                 for ( i = 0; i <= DEG(wh1); i++ )                  cpyum(wh1,COEF(wb0)[k]);
                         COEF(wb0)[i][k] = COEF(wh1)[i];  
                 /* wb1 = gk*wb0 mod y^bound */                  /* wb1 = gk*wb0 mod y^bound */
                 clearsflum(bound,n,wb1);                  clearsfbm(bound,n,wb1);
                 mulsflum(bound,gk,wb0,wb1);                  mulsfbm(bound,gk,wb0,wb1);
                 /* fk += wb1 */                  /* fk += wb1 */
                 addtosflum(bound,wb1,fk);                  addtosfbm(bound,wb1,fk);
   
                 /* wb0 = wg1*y^k */                  /* wb0 = wg1*y^k */
                 clearsflum(bound,n,wb0);                  clearsfbm(bound,n,wb0);
                 DEG(wb0) = DEG(wg1);                  DEG(wb0) = bound;
                 for ( i = 0; i <= DEG(wg1); i++ )                  cpyum(wg1,COEF(wb0)[k]);
                         COEF(wb0)[i][k] = COEF(wg1)[i];  
                 /* wb1 = hk*wb0 mod y^bound */                  /* wb1 = hk*wb0 mod y^bound */
                 clearsflum(bound,n,wb1);                  clearsfbm(bound,n,wb1);
                 mulsflum(bound,hk,wb0,wb1);                  mulsfbm(bound,hk,wb0,wb1);
                 /* fk += wb1 */                  /* fk += wb1 */
                 addtosflum(bound,wb1,fk);                  addtosfbm(bound,wb1,fk);
   
                 /* fk += wg1*wh1*y^(2*k) mod y^bound */                  /* fk += wg1*wh1*y^(2*k) mod y^bound */
                 if ( 2*k < bound ) {                  if ( 2*k < bound ) {
                         mulsfum(wg1,wh1,wt);                          mulsfum(wg1,wh1,wt); addsfum(COEF(fk)[2*k],wt,ws);
                         for ( i = 0; i <= DEG(wt); i++ )                          cpyum(ws,COEF(fk)[2*k]);
                                 COEF(fk)[i][2*k] = _addsf(COEF(fk)[i][2*k],COEF(wt)[i]);  
                 }                  }
   
                 /* gk += wg1*y^k, hk += wh1*y^k */                  /* gk += wg1*y^k, hk += wh1*y^k */
                 for ( i = 0; i <= DEG(wg1); i++ )                  cpyum(wg1,COEF(gk)[k]);
                         COEF(gk)[i][k] = COEF(wg1)[i];                  cpyum(wh1,COEF(hk)[k]);
                 for ( i = 0; i <= DEG(wh1); i++ )  
                         COEF(hk)[i][k] = COEF(wh1)[i];  
         }          }
         fprintf(stderr,"\n");          fprintf(stderr,"\n");
         *gp = gk;          *gp = gk;
         for ( i = 0; i <= DEG(hk); i++ )          DEG(f) = bound;
                 for ( j = 0; j <= bound; j++ )          for ( i = 0; i < bound; i++ )
                         COEF(f)[i][j] = COEF(hk)[i][j];                  cpyum(COEF(hk)[i],COEF(f)[i]);
         DEG(f) = DEG(hk);  
 }  }
   
 void ptosflum(bound,f,fl)  void ptosflum(bound,f,fl)
Line 934  LUM fl;
Line 917  LUM fl;
         }          }
 }  }
   
   /* fl->c[i] = coef_y(f,i) */
   
   void ptosfbm(bound,f,fl)
   int bound;
   P f;
   BM fl;
   {
           DCP dc;
           int d,i,n;
           UM t;
   
           DEG(fl) = bound;
           t = UMALLOC(bound);
           for ( dc = DC(f); dc; dc = NEXT(dc) ) {
                   d = QTOS(DEG(dc));
                   ptosfum(COEF(dc),t);
                   for ( i = 0; i <= DEG(t); i++ )
                           COEF(COEF(fl)[i])[d] = COEF(t)[i];
           }
           n = UDEG(f);
           for ( i = 0; i <= n; i++ )
                   degum(COEF(fl)[i],n);
   }
   
 /* x : main variable */  /* x : main variable */
   
 void sflumtop(bound,fl,x,y,fp)  void sflumtop(bound,fl,x,y,fp)
Line 961  P *fp;
Line 968  P *fp;
                 sfumtop(y,w,&COEF(dct)); NEXT(dct) = dc; dc = dct;                  sfumtop(y,w,&COEF(dct)); NEXT(dct) = dc; dc = dct;
         }          }
         MKP(x,dc,*fp);          MKP(x,dc,*fp);
   }
   
   /* x : main variable */
   
   void sfbmtop(vl,bound,f,x,y,fp)
   VL vl;
   int bound;
   BM f;
   V x,y;
   P *fp;
   {
           UM *c;
           P yv,r,s,t,u,yvd;
           Q d;
           int i;
   
           c = f->c;
           MKV(y,yv);
           r = 0;
           for ( i = 0; i < bound; i++ ) {
                   STOQ(i,d); sfumtop(x,c[i],&t);
                   pwrp(vl,yv,d,&yvd);
                   mulp(vl,t,yvd,&s);
                   addp(vl,r,s,&u); r = u;
           }
           *fp = r;
 }  }
Legend:
Removed from v.1.4  
changed lines
  Added in v.1.5
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>