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

Diff for /OpenXM_contrib2/asir2000/engine/dist.c between version 1.30 and 1.35

version 1.30, 2004/04/14 07:27:41 version 1.35, 2005/11/25 02:43:39
Line 45 
Line 45 
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *   *
  * $OpenXM: OpenXM_contrib2/asir2000/engine/dist.c,v 1.29 2004/03/05 02:26:52 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/engine/dist.c,v 1.34 2005/11/24 08:16:03 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
   
Line 73  int do_weyl;
Line 73  int do_weyl;
   
 int dp_nelim,dp_fcoeffs;  int dp_nelim,dp_fcoeffs;
 struct order_spec *dp_current_spec;  struct order_spec *dp_current_spec;
   struct modorder_spec *dp_current_modspec;
 int *dp_dl_work;  int *dp_dl_work;
   
 void comm_muld_trunc(VL vl,DP p1,DP p2,DL dl,DP *pr);  void comm_muld_trunc(VL vl,DP p1,DP p2,DL dl,DP *pr);
Line 86  void order_init()
Line 87  void order_init()
   
         create_order_spec(0,0,&spec);          create_order_spec(0,0,&spec);
         initd(spec);          initd(spec);
           create_modorder_spec(0,0,&dp_current_modspec);
 }  }
   
 int has_sfcoef(DP f)  int has_sfcoef(DP f)
Line 307  void addd(VL vl,DP p1,DP p2,DP *pr)
Line 309  void addd(VL vl,DP p1,DP p2,DP *pr)
         else {          else {
                 if ( OID(p1) <= O_R ) {                  if ( OID(p1) <= O_R ) {
                         n = NV(p2);     NEWDL(d,n);                          n = NV(p2);     NEWDL(d,n);
                         NEWMP(m1); m1->dl = d; C(m1) = p1; NEXT(m1) = 0;                          NEWMP(m1); m1->dl = d; C(m1) = (P)p1; NEXT(m1) = 0;
                         MKDP(n,m1,p1); (p1)->sugar = 0;                          MKDP(n,m1,p1); (p1)->sugar = 0;
                 }                  }
                 if ( OID(p2) <= O_R ) {                  if ( OID(p2) <= O_R ) {
                         n = NV(p1);     NEWDL(d,n);                          n = NV(p1);     NEWDL(d,n);
                         NEWMP(m2); m2->dl = d; C(m2) = p2; NEXT(m2) = 0;                          NEWMP(m2); m2->dl = d; C(m2) = (P)p2; NEXT(m2) = 0;
                         MKDP(n,m2,p2); (p2)->sugar = 0;                          MKDP(n,m2,p2); (p2)->sugar = 0;
                 }                  }
                 for ( n = NV(p1), m1 = BDY(p1), m2 = BDY(p2), mr0 = 0; m1 && m2; )                  for ( n = NV(p1), m1 = BDY(p1), m2 = BDY(p2), mr0 = 0; m1 && m2; )
Line 594  void subd(VL vl,DP p1,DP p2,DP *pr)
Line 596  void subd(VL vl,DP p1,DP p2,DP *pr)
 void chsgnd(DP p,DP *pr)  void chsgnd(DP p,DP *pr)
 {  {
         MP m,mr,mr0;          MP m,mr,mr0;
           Obj r;
   
         if ( !p )          if ( !p )
                 *pr = 0;                  *pr = 0;
         else {          else if ( OID(p) <= O_R ) {
                   chsgnr((Obj)p,&r); *pr = (DP)r;
           } else {
                 for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {                  for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {
                         NEXTMP(mr0,mr); chsgnp(C(m),&C(mr)); mr->dl = m->dl;                          NEXTMP(mr0,mr); chsgnp(C(m),&C(mr)); mr->dl = m->dl;
                 }                  }
Line 1681  DL remove_head_bucket(GeoBucket g,int nv)
Line 1686  DL remove_head_bucket(GeoBucket g,int nv)
                 d = g->body[j]->body;                  d = g->body[j]->body;
                 g->body[j] = NEXT(g->body[j]);                  g->body[j] = NEXT(g->body[j]);
                 return d;                  return d;
           }
   }
   
   /*  DPV functions */
   
   void adddv(VL vl,DPV p1,DPV p2,DPV *pr)
   {
           int i,len;
           DP *e;
   
           if ( !p1 || !p2 )
                   error("adddv : invalid argument");
           else if ( p1->len != p2->len )
                   error("adddv : size mismatch");
           else {
                   len = p1->len;
                   e = (DP *)MALLOC(p1->len*sizeof(DP));
                   for ( i = 0; i < len; i++ )
                           addd(vl,p1->body[i],p2->body[i],&e[i]);
                   MKDPV(len,e,*pr);
                   (*pr)->sugar = MAX(p1->sugar,p2->sugar);
           }
   }
   
   void subdv(VL vl,DPV p1,DPV p2,DPV *pr)
   {
           int i,len;
           DP *e;
   
           if ( !p1 || !p2 )
                   error("subdv : invalid argument");
           else if ( p1->len != p2->len )
                   error("subdv : size mismatch");
           else {
                   len = p1->len;
                   e = (DP *)MALLOC(p1->len*sizeof(DP));
                   for ( i = 0; i < len; i++ )
                           subd(vl,p1->body[i],p2->body[i],&e[i]);
                   MKDPV(len,e,*pr);
                   (*pr)->sugar = MAX(p1->sugar,p2->sugar);
           }
   }
   
   void chsgndv(DPV p1,DPV *pr)
   {
           int i,len;
           DP *e;
   
           if ( !p1 )
                   error("subdv : invalid argument");
           else {
                   len = p1->len;
                   e = (DP *)MALLOC(p1->len*sizeof(DP));
                   for ( i = 0; i < len; i++ )
                           chsgnd(p1->body[i],&e[i]);
                   MKDPV(len,e,*pr);
                   (*pr)->sugar = p1->sugar;
           }
   }
   
   void muldv(VL vl,DP p1,DPV p2,DPV *pr)
   {
           int i,len;
           DP *e;
   
           len = p2->len;
           e = (DP *)MALLOC(p2->len*sizeof(DP));
           if ( !p1 ) {
                   MKDPV(len,e,*pr);
                   (*pr)->sugar = 0;
           } else {
                   for ( i = 0; i < len; i++ )
                           muld(vl,p1,p2->body[i],&e[i]);
                   MKDPV(len,e,*pr);
                   (*pr)->sugar = p1->sugar + p2->sugar;
           }
   }
   
   int compdv(VL vl,DPV p1,DPV p2)
   {
           int i,t,len;
   
           if ( p1->len != p2->len )
                   error("compdv : size mismatch");
           else {
                   len = p1->len;
                   for ( i = 0; i < len; i++ )
                           if ( t = compd(vl,p1->body[i],p2->body[i]) )
                                   return t;
                   return 0;
           }
   }
   
   int ni_next(int *a,int n)
   {
           int i,j,k,kj;
   
           /* find the first nonzero a[j] */
           for ( j = 0; j < n && a[j] == 0; j++ );
           /* find the first zero a[k] after a[j] */
           for ( k = j; k < n && a[k] == 1; k++ );
           if ( k == n ) return 0;
           /* a[0] = 0, ... , a[j-1] = 0, a[j] = 1, ..., a[k-1] = 1, a[k] = 0 */
           /* a[0] = 1,..., a[k-j-2] = 1, a[k-j-1] = 0, ..., a[k-1] = 0, a[k] = 1 */
           kj = k-j-1;
           for ( i = 0; i < kj; i++ ) a[i] = 1;
           for ( ; i < k; i++ ) a[i] = 0;
           a[k] = 1;
           return 1;
   }
   
   int comp_nbm(NBM a,NBM b)
   {
           int d,i,w;
           int *ab,*bb;
   
           if ( a->d > b->d ) return 1;
           else if ( a->d < b->d ) return -1;
           else {
                   d = a->d; ab = a->b; bb = b->b;
                   w = (d+31)/32;
                   for ( i = 0; i < w; i++ )
                           if ( ab[i] > bb[i] ) return 1;
                           else if ( ab[i] < bb[i] ) return -1;
                   return 0;
           }
   }
   
   NBM mul_nbm(NBM a,NBM b)
   {
           int ad,bd,d,i,j;
           int *ab,*bb,*mb;
           NBM m;
           Q c,c1;
           NODE r;
           NBP u;
   
           ad = a->d; bd = b->d; ab = a->b; bb = b->b;
           d = ad + bd;
           NEWNBM(m); NEWNBMBDY(m,d);
           m->d = d; mulq(a->c,b->c,&m->c); mb = m->b;
           j = 0;
           for ( i = 0; i < ad; i++, j++ )
                   if ( NBM_GET(ab,i) ) NBM_SET(mb,j);
                   else NBM_CLR(mb,j);
           for ( i = 0; i < bd; i++, j++ )
                   if ( NBM_GET(bb,i) ) NBM_SET(mb,j);
                   else NBM_CLR(mb,j);
           return m;
   }
   
   NBP shuffle_mul_nbm(NBM a,NBM b)
   {
           int ad,bd,d,i,ai,bi,bit,s;
           int *ab,*bb,*wmb,*w;
           NBM wm,tm;
           Q c,c1;
           NODE r,t,t1,p;
           NBP u;
   
           ad = a->d; bd = b->d; ab = a->b; bb = b->b;
           d = ad + bd;
           w = (int *)ALLOCA(d*sizeof(int));
           NEWNBM(wm); NEWNBMBDY(wm,d); wmb = wm->b;
           for ( i = 0; i < ad; i++ ) w[i] = 1;
           for ( ; i < d; i++ ) w[i] = 0;
           mulq(a->c,b->c,&c);
           r = 0;
           do {
                   wm->d = d; wm->c = c;
                   ai = 0; bi = 0;
                   for ( i = 0; i < d; i++ ) {
                           if ( w[i] ) { bit = NBM_GET(ab,ai); ai++; }
                           else { bit = NBM_GET(bb,bi); bi++; }
                           if ( bit ) NBM_SET(wmb,i);
                           else NBM_CLR(wmb,i);
                   }
                   for ( p = 0, t = r; t; p = t, t = NEXT(t) ) {
                           tm = (NBM)BDY(t);
                           s = comp_nbm(tm,wm);
                           if ( s < 0 ) {
                                   /* insert */
                                   MKNODE(t1,wm,t);
                                   if ( !p ) r = t1;
                                   else NEXT(p) = t1;
                                   NEWNBM(wm); NEWNBMBDY(wm,d); wmb = wm->b;
                                   break;
                           } else if ( s == 0 ) {
                                   /* add coefs */
                                   addq(tm->c,c,&c1);
                                   if ( c1 ) tm->c = c1;
                                   else NEXT(p) = NEXT(t);
                                   break;
                           }
                   }
                   if ( !t ) {
                           /* append */
                           MKNODE(t1,wm,t);
                           if ( !p ) r = t1;
                           else NEXT(p) = t1;
                           NEWNBM(wm); NEWNBMBDY(wm,d); wmb = wm->b;
                   }
           } while ( ni_next(w,d) );
           MKNBP(u,r);
           return u;
   }
   
   int nbmtoxky(NBM a,int *b)
   {
           int d,i,j,k;
           int *p;
   
           d = a->d; p = a->b;
           for ( i = j = 0, k = 1; i < d; i++ ) {
                   if ( !NBM_GET(p,i) ) {
                           b[j++] = k;
                           k = 1;
                   } else k++;
           }
           return j;
   }
   
   NBP harmonic_mul_nbm(NBM a,NBM b)
   {
           int da,db,d,la,lb,lmax,lmin,l,lab,la1,lb1,lab1;
           int i,j,k,ia,ib,s;
           int *wa,*wb,*w,*wab,*wa1,*wmb;
           Q c,c1;
           NBM wm,tm;
           NODE r,t1,t,p;
           NBP u;
   
           da = a->d; db = b->d; d = da+db;
           wa = (int *)ALLOCA(da*sizeof(int));
           wb = (int *)ALLOCA(db*sizeof(int));
           la = nbmtoxky(a,wa);
           lb = nbmtoxky(b,wb);
           mulq(a->c,b->c,&c);
           /* wa[0],..,wa[la-1] <-> x^wa[0]y x^wa[1]y .. */
           /* lmax : total length */
           lmax = la+lb;
           lmin = la>lb?la:lb;
           w = (int *)ALLOCA(lmax*sizeof(int));
           /* position of a+b */
           wab = (int *)ALLOCA(lmax*sizeof(int));
           /* position of a */
           wa1 = (int *)ALLOCA(lmax*sizeof(int));
           NEWNBM(wm); NEWNBMBDY(wm,d); wmb = wm->b;
           for ( l = lmin, r = 0; l <= lmax; l++ ) {
                   lab = lmax - l;
                   la1 = la - lab;
                   lb1 = lb - lab;
                   lab1 = l-lab;
                   /* partion l into three parts: a, b, a+b */
                   /* initialize wab */
                   for ( i = 0; i < lab; i++ ) wab[i] = 1;
                   for ( ; i < l; i++ ) wab[i] = 0;
                   do {
                           /* initialize wa1 */
                           for ( i = 0; i < la1; i++ ) wa1[i] = 1;
                           for ( ; i < lab1; i++ ) wa1[i] = 0;
                           do {
                                   ia = 0; ib = 0;
                                   for ( i = j = 0; i < l; i++ )
                                           if ( wab[i] ) w[i] = wa[ia++]+wb[ib++];
                                           else if ( wa1[j++] ) w[i] = wa[ia++];
                                           else w[i] = wb[ib++];
                                   for ( i = j = 0; i < l; i++ ) {
                                           for ( k = w[i]-1; k > 0; k--, j++ ) NBM_SET(wmb,j);
                                           NBM_CLR(wmb,j); j++;
                                   }
                                   wm->d = j; wm->c = c;
                                   for ( p = 0, t = r; t; p = t, t = NEXT(t) ) {
                                           tm = (NBM)BDY(t);
                                           s = comp_nbm(tm,wm);
                                           if ( s < 0 ) {
                                                   /* insert */
                                                   MKNODE(t1,wm,t);
                                                   if ( !p ) r = t1;
                                                   else NEXT(p) = t1;
                                                   NEWNBM(wm); NEWNBMBDY(wm,d); wmb = wm->b;
                                                   break;
                                           } else if ( s == 0 ) {
                                                   /* add coefs */
                                                   addq(tm->c,c,&c1);
                                                   if ( c1 ) tm->c = c1;
                                                   else NEXT(p) = NEXT(t);
                                                   break;
                                           }
                                   }
                                   if ( !t ) {
                                           /* append */
                                           MKNODE(t1,wm,t);
                                           if ( !p ) r = t1;
                                           else NEXT(p) = t1;
                                           NEWNBM(wm); NEWNBMBDY(wm,d); wmb = wm->b;
                                   }
                           } while ( ni_next(wa1,lab1) );
                   } while ( ni_next(wab,l) );
           }
           MKNBP(u,r);
           return u;
   }
   
   void addnbp(VL vl,NBP p1,NBP p2, NBP *rp)
   {
           NODE b1,b2,br,br0;
           NBM m1,m2,m;
           Q c;
   
           if ( !p1 )
                   *rp = p2;
           else if ( !p2 )
                   *rp = p1;
           else {
                   for ( b1 = BDY(p1), b2 = BDY(p2), br0 = 0; b1 && b2; ) {
                           m1 = (NBM)BDY(b1); m2 = (NBM)BDY(b2);
                           switch ( comp_nbm(m1,m2) ) {
                                   case 0:
                                           addq(m1->c,m2->c,&c);
                                           if ( c ) {
                                                   NEXTNODE(br0,br);
                                                   NEWNBM(m); m->d = m1->d; m->c = c; m->b = m1->b;
                                                   BDY(br) = (pointer)m;
                                           }
                                           b1 = NEXT(b1); b2 = NEXT(b2); break;
                                   case 1:
                                           NEXTNODE(br0,br); BDY(br) = BDY(b1);
                                           b1 = NEXT(b1); break;
                                   case -1:
                                           NEXTNODE(br0,br); BDY(br) = BDY(b2);
                                           b2 = NEXT(b2); break;
                           }
                   }
                   if ( !br0 )
                           if ( b1 )
                                   br0 = b1;
                           else if ( b2 )
                                   br0 = b2;
                           else {
                                   *rp = 0;
                                   return;
                           }
                   else if ( b1 )
                           NEXT(br) = b1;
                   else if ( b2 )
                                   NEXT(br) = b2;
                   else
                           NEXT(br) = 0;
                   MKNBP(*rp,br0);
           }
   }
   
   void subnbp(VL vl,NBP p1,NBP p2, NBP *rp)
   {
           NBP t;
   
           chsgnnbp(p2,&t);
           addnbp(vl,p1,t,rp);
   }
   
   void chsgnnbp(NBP p,NBP *rp)
   {
           NODE r0,r,b;
           NBM m,m1;
   
           for ( r0 = 0, b = BDY(p); b; b = NEXT(b) ) {
                   NEXTNODE(r0,r);
                   m = (NBM)BDY(b);
                   NEWNBM(m1); m1->d = m->d; m1->b = m->b; chsgnq(m->c,&m1->c);
                   BDY(r) = m1;
           }
           if ( r0 ) NEXT(r) = 0;
           MKNBP(*rp,r0);
   }
   
   void mulnbmnbp(VL vl,NBM m,NBP p, NBP *rp);
   void mulnbpnbm(VL vl,NBP p,NBM m, NBP *rp);
   
   void mulnbp(VL vl,NBP p1,NBP p2, NBP *rp)
   {
           NODE b;
           NBP r,t,s;
   
           if ( !p1 || !p2 ) *rp = 0;
           else if ( length(BDY(p1)) < length(BDY(p2)) ) {
                   for ( r = 0, b = BDY(p1); b; b = NEXT(b) ) {
                           mulnbmnbp(vl,(NBM)BDY(b),p2,&t);
                           addnbp(vl,r,t,&s); r = s;
                   }
                   *rp = r;
           } else {
                   for ( r = 0, b = BDY(p2); b; b = NEXT(b) ) {
                           mulnbpnbm(vl,p1,(NBM)BDY(b),&t);
                           addnbp(vl,r,t,&s); r = s;
                   }
                   *rp = r;
           }
   }
   
   void mulnbmnbp(VL vl,NBM m,NBP p, NBP *rp)
   {
           NODE b,r0,r;
   
           if ( !p ) *rp = 0;
           else {
                   for ( r0 = 0, b = BDY(p); b; b = NEXT(b) ) {
                           NEXTNODE(r0,r);
                           BDY(r) = mul_nbm(m,(NBM)BDY(b));
                   }
                   if ( r0 ) NEXT(r) = 0;
                   MKNBP(*rp,r0);
           }
   }
   
   void mulnbpnbm(VL vl,NBP p,NBM m, NBP *rp)
   {
           NODE b,r0,r;
   
           if ( !p ) *rp = 0;
           else {
                   for ( r0 = 0, b = BDY(p); b; b = NEXT(b) ) {
                           NEXTNODE(r0,r);
                           BDY(r) = mul_nbm((NBM)BDY(b),m);
                   }
                   if ( r0 ) NEXT(r) = 0;
                   MKNBP(*rp,r0);
           }
   }
   
   void pwrnbp(VL vl,NBP a,Q q,NBP *c)
   {
           int t;
           NBP a1,a2;
           N n1;
           Q q1;
           NBM m;
           NODE r;
   
           if ( !q ) {
                    NEWNBM(m); m->d = 0; m->c = ONE; m->b = 0;
                    MKNODE(r,m,0); MKNBP(*c,r);
           } else if ( !a )
                   *c = 0;
           else if ( UNIQ(q) )
                   *c = a;
           else {
                   t = divin(NM(q),2,&n1); NTOQ(n1,1,q1);
                   pwrnbp(vl,a,q1,&a1);
                   mulnbp(vl,a1,a1,&a2);
                   if ( t )
                           mulnbp(vl,a2,a,c);
                   else
                           *c = a2;
           }
   }
   
   void shuffle_mulnbp(VL vl,NBP p1,NBP p2, NBP *rp)
   {
           NODE b1,b2;
           NBP r,t,s;
           NBM m;
   
           if ( !p1 || !p2 ) *rp = 0;
           else {
                   for ( r = 0, b1 = BDY(p1); b1; b1 = NEXT(b1) )
                           for ( m = BDY(b1), b2 = BDY(p2); b2; b2 = NEXT(b2) ) {
                                   t = shuffle_mul_nbm(m,(NBM)BDY(b2));
                                   addnbp(vl,r,t,&s); r = s;
                           }
                   *rp = r;
           }
   }
   
   void harmonic_mulnbp(VL vl,NBP p1,NBP p2, NBP *rp)
   {
           NODE b1,b2;
           NBP r,t,s;
           NBM m;
   
           if ( !p1 || !p2 ) *rp = 0;
           else {
                   for ( r = 0, b1 = BDY(p1); b1; b1 = NEXT(b1) )
                           for ( m = BDY(b1), b2 = BDY(p2); b2; b2 = NEXT(b2) ) {
                                   t = harmonic_mul_nbm(m,(NBM)BDY(b2));
                                   addnbp(vl,r,t,&s); r = s;
                           }
                   *rp = r;
         }          }
 }  }
Legend:
Removed from v.1.30  
changed lines
  Added in v.1.35
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>