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

Diff for /OpenXM_contrib2/asir2000/engine/_distm.c between version 1.12 and 1.17

version 1.12, 2002/01/28 00:54:42 version 1.17, 2018/03/29 01:32:51
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/_distm.c,v 1.11 2001/10/09 01:36:11 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/engine/_distm.c,v 1.16 2017/08/31 02:36:21 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "inline.h"  #include "inline.h"
Line 62  void GC_gcollect();
Line 62  void GC_gcollect();
   
 void _free_private_storage()  void _free_private_storage()
 {  {
         _mp_free_list = 0;    _mp_free_list = 0;
         _dp_free_list = 0;    _dp_free_list = 0;
         _dl_free_list = 0;    _dl_free_list = 0;
         GC_gcollect();    GC_gcollect();
 }  }
   
 void _DL_alloc()  void _DL_alloc()
 {  {
         int *p;    int *p;
         int i,dl_len;    int i,dl_len;
         static int DL_alloc_count;    static int DL_alloc_count;
   
 /*      fprintf(stderr,"DL_alloc : %d \n",++DL_alloc_count); */  /*  fprintf(stderr,"DL_alloc : %d \n",++DL_alloc_count); */
         dl_len = (current_dl_length+1);    dl_len = (current_dl_length+1);
 #if defined(LONG_IS_64BIT)  #if SIZEOF_LONG == 8
         if ( dl_len & 1 )    if ( dl_len & 1 )
                 dl_len += 1;      dl_len += 1;
 #endif  #endif
         p = (int *)GC_malloc(128*dl_len*sizeof(int));    for ( i = 0; i < 128; i++, p += dl_len ) {
         for ( i = 0; i < 128; i++, p += dl_len ) {      p = (int *)MALLOC(dl_len*sizeof(int));
                 *(DL *)p = _dl_free_list;      *(DL *)p = _dl_free_list;
                 _dl_free_list = (DL)p;      _dl_free_list = (DL)p;
         }    }
 }  }
   
 void _MP_alloc()  void _MP_alloc()
 {  {
         MP p;    MP p;
         int i;    int i;
         static int MP_alloc_count;    static int MP_alloc_count;
   
 /*      fprintf(stderr,"MP_alloc : %d \n",++MP_alloc_count); */  /*  fprintf(stderr,"MP_alloc : %d \n",++MP_alloc_count); */
         p = (MP)GC_malloc(1024*sizeof(struct oMP));    for ( i = 0; i < 1024; i++ ) {
         for ( i = 0; i < 1024; i++ ) {      p = (MP)MALLOC(sizeof(struct oMP));
                 p[i].next = _mp_free_list; _mp_free_list = &p[i];      p->next = _mp_free_list; _mp_free_list = p;
         }    }
 }  }
   
 void _DP_alloc()  void _DP_alloc()
 {  {
         DP p;    DP p;
         int i;    int i;
         static int DP_alloc_count;    static int DP_alloc_count;
   
 /*      fprintf(stderr,"DP_alloc : %d \n",++DP_alloc_count); */  /*  fprintf(stderr,"DP_alloc : %d \n",++DP_alloc_count); */
         p = (DP)GC_malloc(1024*sizeof(struct oDP));    for ( i = 0; i < 1024; i++ ) {
         for ( i = 0; i < 1024; i++ ) {      p = (DP)MALLOC(sizeof(struct oDP));
                 p[i].body = (MP)_dp_free_list; _dp_free_list = &p[i];      p->body = (MP)_dp_free_list; _dp_free_list = p;
         }    }
 }  }
   
 /* merge p1 and p2 into pr */  /* merge p1 and p2 into pr */
   
 void _addmd_destructive(int mod,DP p1,DP p2,DP *pr)  void _addmd_destructive(int mod,DP p1,DP p2,DP *pr)
 {  {
         int n;    int n;
         MP m1,m2,mr,mr0,s;    MP m1,m2,mr,mr0,s;
         int t;    int t;
   
         if ( !p1 )    if ( !p1 )
                 *pr = p2;      *pr = p2;
         else if ( !p2 )    else if ( !p2 )
                 *pr = p1;      *pr = p1;
         else {    else {
                 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; )
                         switch ( (*cmpdl)(n,m1->dl,m2->dl) ) {        switch ( (*cmpdl)(n,m1->dl,m2->dl) ) {
                                 case 0:          case 0:
                                         t = (ITOS(C(m1))+ITOS(C(m2))) - mod;            t = (ITOS(C(m1))+ITOS(C(m2))) - mod;
                                         if ( t < 0 )            if ( t < 0 )
                                                 t += mod;              t += mod;
                                         s = m1; m1 = NEXT(m1);            s = m1; m1 = NEXT(m1);
                                         if ( t ) {            if ( t ) {
                                                 _NEXTMP2(mr0,mr,s); C(mr) = STOI(t);              _NEXTMP2(mr0,mr,s); C(mr) = (Obj)STOI(t);
                                         } else {            } else {
                                                 _FREEDL(s->dl); _FREEMP(s);              _FREEDL(s->dl); _FREEMP(s);
                                         }            }
                                         s = m2; m2 = NEXT(m2); _FREEDL(s->dl); _FREEMP(s);            s = m2; m2 = NEXT(m2); _FREEDL(s->dl); _FREEMP(s);
                                         break;            break;
                                 case 1:          case 1:
                                         s = m1; m1 = NEXT(m1); _NEXTMP2(mr0,mr,s);            s = m1; m1 = NEXT(m1); _NEXTMP2(mr0,mr,s);
                                         break;            break;
                                 case -1:          case -1:
                                         s = m2; m2 = NEXT(m2); _NEXTMP2(mr0,mr,s);            s = m2; m2 = NEXT(m2); _NEXTMP2(mr0,mr,s);
                                         break;            break;
                         }        }
                 if ( !mr0 )      if ( !mr0 )
                         if ( m1 )        if ( m1 )
                                 mr0 = m1;          mr0 = m1;
                         else if ( m2 )        else if ( m2 )
                                 mr0 = m2;          mr0 = m2;
                         else {        else {
                                 *pr = 0;          *pr = 0;
                                 return;          return;
                         }        }
                 else if ( m1 )      else if ( m1 )
                         NEXT(mr) = m1;        NEXT(mr) = m1;
                 else if ( m2 )      else if ( m2 )
                         NEXT(mr) = m2;        NEXT(mr) = m2;
                 else      else
                         NEXT(mr) = 0;        NEXT(mr) = 0;
                 _MKDP(NV(p1),mr0,*pr);      _MKDP(NV(p1),mr0,*pr);
                 if ( *pr )      if ( *pr )
                         (*pr)->sugar = MAX(p1->sugar,p2->sugar);        (*pr)->sugar = MAX(p1->sugar,p2->sugar);
                 _FREEDP(p1); _FREEDP(p2);      _FREEDP(p1); _FREEDP(p2);
         }    }
 }  }
   
 void _mulmd_dup(int mod,DP p1,DP p2,DP *pr)  void _mulmd_dup(int mod,DP p1,DP p2,DP *pr)
 {  {
         if ( !do_weyl )    if ( !do_weyl )
                 _comm_mulmd_dup(mod,p1,p2,pr);      _comm_mulmd_dup(mod,p1,p2,pr);
         else    else
                 _weyl_mulmd_dup(mod,p1,p2,pr);      _weyl_mulmd_dup(mod,p1,p2,pr);
 }  }
   
 void _comm_mulmd_dup(int mod,DP p1,DP p2,DP *pr)  void _comm_mulmd_dup(int mod,DP p1,DP p2,DP *pr)
 {  {
         MP m;    MP m;
         DP s,t,u;    DP s,t,u;
         int i,l,l1;    int i,l,l1;
         static MP *w;    static MP *w;
         static int wlen;    static int wlen;
   
         if ( !p1 || !p2 )    if ( !p1 || !p2 )
                 *pr = 0;      *pr = 0;
         else {    else {
                 for ( m = BDY(p1), l1 = 0; m; m = NEXT(m), l1++ );      for ( m = BDY(p1), l1 = 0; m; m = NEXT(m), l1++ );
                 for ( m = BDY(p2), l = 0; m; m = NEXT(m), l++ );      for ( m = BDY(p2), l = 0; m; m = NEXT(m), l++ );
                 if ( l1 < l ) {      if ( l1 < l ) {
                         t = p1; p1 = p2; p2 = t;        t = p1; p1 = p2; p2 = t;
                         l = l1;        l = l1;
                 }      }
                 if ( l > wlen ) {      if ( l > wlen ) {
                         if ( w ) GC_free(w);        if ( w ) GCFREE(w);
                         w = (MP *)MALLOC(l*sizeof(MP));        w = (MP *)MALLOC(l*sizeof(MP));
                         wlen = l;        wlen = l;
                 }      }
                 for ( m = BDY(p2), i = 0; i < l; m = NEXT(m), i++ )      for ( m = BDY(p2), i = 0; i < l; m = NEXT(m), i++ )
                         w[i] = m;        w[i] = m;
                 for ( s = 0, i = l-1; i >= 0; i-- ) {      for ( s = 0, i = l-1; i >= 0; i-- ) {
                         _mulmdm_dup(mod,p1,w[i],&t); _addmd_destructive(mod,s,t,&u); s = u;        _mulmdm_dup(mod,p1,w[i],&t); _addmd_destructive(mod,s,t,&u); s = u;
                 }      }
                 bzero(w,l*sizeof(MP));      bzero(w,l*sizeof(MP));
                 *pr = s;      *pr = s;
         }    }
 }  }
   
 void _weyl_mulmd_dup(int mod,DP p1,DP p2,DP *pr)  void _weyl_mulmd_dup(int mod,DP p1,DP p2,DP *pr)
 {  {
         MP m;    MP m;
         DP s,t,u;    DP s,t,u;
         int i,l;    int i,l;
         static MP *w;    static MP *w;
         static int wlen;    static int wlen;
   
         if ( !p1 || !p2 )    if ( !p1 || !p2 )
                 *pr = 0;      *pr = 0;
         else {    else {
                 for ( m = BDY(p1), l = 0; m; m = NEXT(m), l++ );      for ( m = BDY(p1), l = 0; m; m = NEXT(m), l++ );
                 if ( l > wlen ) {      if ( l > wlen ) {
                         if ( w ) GC_free(w);        if ( w ) GCFREE(w);
                         w = (MP *)MALLOC(l*sizeof(MP));        w = (MP *)MALLOC(l*sizeof(MP));
                         wlen = l;        wlen = l;
                 }      }
                 for ( m = BDY(p1), i = 0; i < l; m = NEXT(m), i++ )      for ( m = BDY(p1), i = 0; i < l; m = NEXT(m), i++ )
                         w[i] = m;        w[i] = m;
                 for ( s = 0, i = l-1; i >= 0; i-- ) {      for ( s = 0, i = l-1; i >= 0; i-- ) {
                         _weyl_mulmdm_dup(mod,w[i],p2,&t); _addmd_destructive(mod,s,t,&u); s = u;        _weyl_mulmdm_dup(mod,w[i],p2,&t); _addmd_destructive(mod,s,t,&u); s = u;
                 }      }
                 bzero(w,l*sizeof(MP));      bzero(w,l*sizeof(MP));
                 *pr = s;      *pr = s;
         }    }
 }  }
   
 void _mulmdm_dup(int mod,DP p,MP m0,DP *pr)  void _mulmdm_dup(int mod,DP p,MP m0,DP *pr)
 {  {
         MP m,mr,mr0;    MP m,mr,mr0;
         DL d,dt,dm;    DL d,dt,dm;
         int c,n,i,c1,c2;    int c,n,i,c1,c2;
         int *pt,*p1,*p2;    int *pt,*p1,*p2;
   
         if ( !p )    if ( !p )
                 *pr = 0;      *pr = 0;
         else {    else {
                 for ( mr0 = 0, m = BDY(p), c = ITOS(C(m0)), d = m0->dl, n = NV(p);      for ( mr0 = 0, m = BDY(p), c = ITOS(C(m0)), d = m0->dl, n = NV(p);
                         m; m = NEXT(m) ) {        m; m = NEXT(m) ) {
                         _NEXTMP(mr0,mr);        _NEXTMP(mr0,mr);
                         c1 = ITOS(C(m));        c1 = ITOS(C(m));
                         DMAR(c1,c,0,mod,c2);        DMAR(c1,c,0,mod,c2);
                         C(mr) = (P)STOI(c2);        C(mr) = (Obj)STOI(c2);
                         _NEWDL_NOINIT(dt,n); mr->dl = dt;        _NEWDL_NOINIT(dt,n); mr->dl = dt;
                         dm = m->dl;        dm = m->dl;
                         dt->td = d->td + dm->td;        dt->td = d->td + dm->td;
                         for ( i = 0, pt = dt->d, p1=d->d, p2 = dm->d; i < n; i++ )        for ( i = 0, pt = dt->d, p1=d->d, p2 = dm->d; i < n; i++ )
                                 *pt++ = *p1++ + *p2++;          *pt++ = *p1++ + *p2++;
                 }      }
                 NEXT(mr) = 0; _MKDP(NV(p),mr0,*pr);      NEXT(mr) = 0; _MKDP(NV(p),mr0,*pr);
                 if ( *pr )      if ( *pr )
                         (*pr)->sugar = p->sugar + m0->dl->td;        (*pr)->sugar = p->sugar + m0->dl->td;
         }    }
 }  }
   
 void _weyl_mulmdm_dup(int mod,MP m0,DP p,DP *pr)  void _weyl_mulmdm_dup(int mod,MP m0,DP p,DP *pr)
 {  {
         DP r,t,t1;    DP r,t,t1;
         MP m;    MP m;
         DL d0;    DL d0;
         int n,n2,l,i,j,tlen;    int n,n2,l,i,j,tlen;
         static MP *w,*psum;    static MP *w,*psum;
         static struct cdlm *tab;    static struct cdlm *tab;
         static int wlen;    static int wlen;
         static int rtlen;    static int rtlen;
   
         if ( !p )    if ( !p )
                 *pr = 0;      *pr = 0;
         else {    else {
                 for ( m = BDY(p), l = 0; m; m = NEXT(m), l++ );      for ( m = BDY(p), l = 0; m; m = NEXT(m), l++ );
                 if ( l > wlen ) {      if ( l > wlen ) {
                         if ( w ) GC_free(w);        if ( w ) GCFREE(w);
                         w = (MP *)MALLOC(l*sizeof(MP));        w = (MP *)MALLOC(l*sizeof(MP));
                         wlen = l;        wlen = l;
                 }      }
                 for ( m = BDY(p), i = 0; i < l; m = NEXT(m), i++ )      for ( m = BDY(p), i = 0; i < l; m = NEXT(m), i++ )
                         w[i] = m;        w[i] = m;
                 n = NV(p); n2 = n>>1;      n = NV(p); n2 = n>>1;
                 d0 = m0->dl;      d0 = m0->dl;
   
                 for ( i = 0, tlen = 1; i < n2; i++ )      for ( i = 0, tlen = 1; i < n2; i++ )
                         tlen *= d0->d[n2+i]+1;        tlen *= d0->d[n2+i]+1;
                 if ( tlen > rtlen ) {      if ( tlen > rtlen ) {
                         if ( tab ) GC_free(tab);        if ( tab ) GCFREE(tab);
                         if ( psum ) GC_free(psum);        if ( psum ) GCFREE(psum);
                         rtlen = tlen;        rtlen = tlen;
                         tab = (struct cdlm *)MALLOC(rtlen*sizeof(struct cdlm));        tab = (struct cdlm *)MALLOC(rtlen*sizeof(struct cdlm));
                         psum = (MP *)MALLOC(rtlen*sizeof(MP));        psum = (MP *)MALLOC(rtlen*sizeof(MP));
                 }      }
                 bzero(psum,tlen*sizeof(MP));      bzero(psum,tlen*sizeof(MP));
                 for ( i = l-1; i >= 0; i-- ) {      for ( i = l-1; i >= 0; i-- ) {
                         bzero(tab,tlen*sizeof(struct cdlm));        bzero(tab,tlen*sizeof(struct cdlm));
                         _weyl_mulmmm_dup(mod,m0,w[i],n,tab,tlen);        _weyl_mulmmm_dup(mod,m0,w[i],n,tab,tlen);
                         for ( j = 0; j < tlen; j++ ) {        for ( j = 0; j < tlen; j++ ) {
                                 if ( tab[j].c ) {          if ( tab[j].c ) {
                                         _NEWMP(m); m->dl = tab[j].d;            _NEWMP(m); m->dl = tab[j].d;
                                         C(m) = STOI(tab[j].c); NEXT(m) = psum[j];            C(m) = (Obj)STOI(tab[j].c); NEXT(m) = psum[j];
                                         psum[j] = m;            psum[j] = m;
                                 }          }
                         }        }
                 }      }
                 for ( j = tlen-1, r = 0; j >= 0; j-- )      for ( j = tlen-1, r = 0; j >= 0; j-- )
                         if ( psum[j] ) {        if ( psum[j] ) {
                                 _MKDP(n,psum[j],t); _addmd_destructive(mod,r,t,&t1); r = t1;          _MKDP(n,psum[j],t); _addmd_destructive(mod,r,t,&t1); r = t1;
                         }        }
                 if ( r )      if ( r )
                         r->sugar = p->sugar + m0->dl->td;        r->sugar = p->sugar + m0->dl->td;
                 *pr = r;      *pr = r;
         }    }
 }  }
   
 /* m0 = x0^d0*x1^d1*... * dx0^d(n/2)*dx1^d(n/2+1)*... */  /* m0 = x0^d0*x1^d1*... * dx0^d(n/2)*dx1^d(n/2+1)*... */
   
 void _weyl_mulmmm_dup(int mod,MP m0,MP m1,int n,struct cdlm *rtab,int rtablen)  void _weyl_mulmmm_dup(int mod,MP m0,MP m1,int n,struct cdlm *rtab,int rtablen)
 {  {
         int c,c0,c1;    int c,c0,c1;
         DL d,d0,d1,dt;    DL d,d0,d1,dt;
         int i,j,a,b,k,l,n2,s,min,curlen;    int i,j,a,b,k,l,n2,s,min,curlen;
         struct cdlm *p;    struct cdlm *p;
         static int *ctab;    static int *ctab;
         static struct cdlm *tab;    static struct cdlm *tab;
         static int tablen;    static int tablen;
         static struct cdlm *tmptab;    static struct cdlm *tmptab;
         static int tmptablen;    static int tmptablen;
   
         if ( !m0 || !m1 ) {    if ( !m0 || !m1 ) {
                 rtab[0].c = 0;      rtab[0].c = 0;
                 rtab[0].d = 0;      rtab[0].d = 0;
                 return;      return;
         }    }
         c0 = ITOS(C(m0)); c1 = ITOS(C(m1));    c0 = ITOS(C(m0)); c1 = ITOS(C(m1));
         c = dmar(c0,c1,0,mod);    c = dmar(c0,c1,0,mod);
         d0 = m0->dl; d1 = m1->dl;    d0 = m0->dl; d1 = m1->dl;
         n2 = n>>1;    n2 = n>>1;
         curlen = 1;    curlen = 1;
   
         _NEWDL(d,n);    _NEWDL(d,n);
         if ( n & 1 )    if ( n & 1 )
                 /* offset of h-degree */      /* offset of h-degree */
                 d->td = d->d[n-1] = d0->d[n-1]+d1->d[n-1];      d->td = d->d[n-1] = d0->d[n-1]+d1->d[n-1];
         else    else
                 d->td = 0;      d->td = 0;
         rtab[0].c = c;    rtab[0].c = c;
         rtab[0].d = d;    rtab[0].d = d;
   
         if ( rtablen > tmptablen ) {    if ( rtablen > tmptablen ) {
                 if ( tmptab ) GC_free(tmptab);      if ( tmptab ) GCFREE(tmptab);
                 tmptab = (struct cdlm *)MALLOC(rtablen*sizeof(struct cdlm));      tmptab = (struct cdlm *)MALLOC(rtablen*sizeof(struct cdlm));
                 tmptablen = rtablen;      tmptablen = rtablen;
         }    }
   
         for ( i = 0; i < n2; i++ ) {    for ( i = 0; i < n2; i++ ) {
                 a = d0->d[i]; b = d1->d[n2+i];      a = d0->d[i]; b = d1->d[n2+i];
                 k = d0->d[n2+i]; l = d1->d[i];      k = d0->d[n2+i]; l = d1->d[i];
   
                 /* degree of xi^a*(Di^k*xi^l)*Di^b */      /* degree of xi^a*(Di^k*xi^l)*Di^b */
                 a += l;      a += l;
                 b += k;      b += k;
                 s = MUL_WEIGHT(a,i)+MUL_WEIGHT(b,n2+i);      s = MUL_WEIGHT(a,i)+MUL_WEIGHT(b,n2+i);
   
                 if ( !k || !l ) {      if ( !k || !l ) {
                         for ( j = 0, p = rtab; j < curlen; j++, p++ ) {        for ( j = 0, p = rtab; j < curlen; j++, p++ ) {
                                 if ( p->c ) {          if ( p->c ) {
                                         dt = p->d;            dt = p->d;
                                         dt->d[i] = a;            dt->d[i] = a;
                                         dt->d[n2+i] = b;            dt->d[n2+i] = b;
                                         dt->td += s;            dt->td += s;
                                 }          }
                         }        }
                         curlen *= k+1;        curlen *= k+1;
                         continue;        continue;
                 }      }
                 if ( k+1 > tablen ) {      if ( k+1 > tablen ) {
                         if ( tab ) GC_free(tab);        if ( tab ) GCFREE(tab);
                         if ( ctab ) GC_free(ctab);        if ( ctab ) GCFREE(ctab);
                         tablen = k+1;        tablen = k+1;
                         tab = (struct cdlm *)MALLOC(tablen*sizeof(struct cdlm));        tab = (struct cdlm *)MALLOC(tablen*sizeof(struct cdlm));
                         ctab = (int *)MALLOC(tablen*sizeof(int));        ctab = (int *)MALLOC(tablen*sizeof(int));
                 }      }
                 /* compute xi^a*(Di^k*xi^l)*Di^b */      /* compute xi^a*(Di^k*xi^l)*Di^b */
                 min = MIN(k,l);      min = MIN(k,l);
                 mkwcm(k,l,mod,ctab);      mkwcm(k,l,mod,ctab);
                 bzero(tab,(k+1)*sizeof(struct cdlm));      bzero(tab,(k+1)*sizeof(struct cdlm));
                 /* n&1 != 0 => homogenized computation; dx-xd=h^2 */      /* n&1 != 0 => homogenized computation; dx-xd=h^2 */
                 if ( n & 1 )      if ( n & 1 )
                         for ( j = 0; j <= min; j++ ) {        for ( j = 0; j <= min; j++ ) {
                                 _NEWDL(d,n);          _NEWDL(d,n);
                                 d->d[i] = a-j; d->d[n2+i] = b-j;          d->d[i] = a-j; d->d[n2+i] = b-j;
                                 d->td = s;          d->td = s;
                                 d->d[n-1] = s-(MUL_WEIGHT(a-j,i)+MUL_WEIGHT(b-j,n2+i));          d->d[n-1] = s-(MUL_WEIGHT(a-j,i)+MUL_WEIGHT(b-j,n2+i));
                                 tab[j].d = d;          tab[j].d = d;
                                 tab[j].c = ctab[j];          tab[j].c = ctab[j];
                         }        }
                 else      else
                         for ( j = 0; j <= min; j++ ) {        for ( j = 0; j <= min; j++ ) {
                                 _NEWDL(d,n);          _NEWDL(d,n);
                                 d->d[i] = a-j; d->d[n2+i] = b-j;          d->d[i] = a-j; d->d[n2+i] = b-j;
                                 d->td = MUL_WEIGHT(a-j,i)+MUL_WEIGHT(b-j,n2+i);  /* XXX */          d->td = MUL_WEIGHT(a-j,i)+MUL_WEIGHT(b-j,n2+i);  /* XXX */
                                 tab[j].d = d;          tab[j].d = d;
                                 tab[j].c = ctab[j];          tab[j].c = ctab[j];
                         }        }
 #if 0  #if 0
                 _comm_mulmd_tab(mod,n,rtab,curlen,tab,k+1,tmptab);      _comm_mulmd_tab(mod,n,rtab,curlen,tab,k+1,tmptab);
                 for ( j = 0; j < curlen; j++ )      for ( j = 0; j < curlen; j++ )
                         if ( rtab[j].d ) { _FREEDL(rtab[j].d); }        if ( rtab[j].d ) { _FREEDL(rtab[j].d); }
                 for ( j = 0; j <= min; j++ )      for ( j = 0; j <= min; j++ )
                         if ( tab[j].d ) { _FREEDL(tab[j].d); }        if ( tab[j].d ) { _FREEDL(tab[j].d); }
                 curlen *= k+1;      curlen *= k+1;
                 bcopy(tmptab,rtab,curlen*sizeof(struct cdlm));      bcopy(tmptab,rtab,curlen*sizeof(struct cdlm));
 #else  #else
                 _comm_mulmd_tab_destructive(mod,n,rtab,curlen,tab,k+1);      _comm_mulmd_tab_destructive(mod,n,rtab,curlen,tab,k+1);
                 for ( j = 0; j <= min; j++ )      for ( j = 0; j <= min; j++ )
                         if ( tab[j].d ) { _FREEDL(tab[j].d); }        if ( tab[j].d ) { _FREEDL(tab[j].d); }
                 curlen *= k+1;      curlen *= k+1;
 #endif  #endif
         }    }
 }  }
   
 /* direct product of two cdlm tables  /* direct product of two cdlm tables
Line 438  void _weyl_mulmmm_dup(int mod,MP m0,MP m1,int n,struct
Line 438  void _weyl_mulmmm_dup(int mod,MP m0,MP m1,int n,struct
   
 void _comm_mulmd_tab(int mod,int nv,struct cdlm *t,int n,struct cdlm *t1,int n1,struct cdlm *rt)  void _comm_mulmd_tab(int mod,int nv,struct cdlm *t,int n,struct cdlm *t1,int n1,struct cdlm *rt)
 {  {
         int i,j;    int i,j;
         struct cdlm *p;    struct cdlm *p;
         int c;    int c;
         DL d;    DL d;
   
         bzero(rt,n*n1*sizeof(struct cdlm));    bzero(rt,n*n1*sizeof(struct cdlm));
         for ( j = 0, p = rt; j < n1; j++ ) {    for ( j = 0, p = rt; j < n1; j++ ) {
                 c = t1[j].c;      c = t1[j].c;
                 d = t1[j].d;      d = t1[j].d;
                 if ( !c )      if ( !c )
                         break;        break;
                 for ( i = 0; i < n; i++, p++ ) {      for ( i = 0; i < n; i++, p++ ) {
                         if ( t[i].c ) {        if ( t[i].c ) {
                                 p->c = dmar(t[i].c,c,0,mod);          p->c = dmar(t[i].c,c,0,mod);
                                 _adddl_dup(nv,t[i].d,d,&p->d);          _adddl_dup(nv,t[i].d,d,&p->d);
                         }        }
                 }      }
         }    }
 }  }
   
 void _comm_mulmd_tab_destructive(int mod,int nv,struct cdlm *t,int n,struct cdlm *t1,int n1)  void _comm_mulmd_tab_destructive(int mod,int nv,struct cdlm *t,int n,struct cdlm *t1,int n1)
 {  {
         int i,j;    int i,j;
         struct cdlm *p;    struct cdlm *p;
         int c;    int c;
         DL d;    DL d;
   
         for ( j = 1, p = t+n; j < n1; j++ ) {    for ( j = 1, p = t+n; j < n1; j++ ) {
                 c = t1[j].c;      c = t1[j].c;
                 d = t1[j].d;      d = t1[j].d;
                 if ( !c )      if ( !c )
                         break;        break;
                 for ( i = 0; i < n; i++, p++ ) {      for ( i = 0; i < n; i++, p++ ) {
                         if ( t[i].c ) {        if ( t[i].c ) {
                                 p->c = dmar(t[i].c,c,0,mod);          p->c = dmar(t[i].c,c,0,mod);
                                 _adddl_dup(nv,t[i].d,d,&p->d);          _adddl_dup(nv,t[i].d,d,&p->d);
                         }        }
                 }      }
         }    }
         c = t1[0].c;    c = t1[0].c;
         d = t1[0].d;    d = t1[0].d;
         for ( i = 0, p = t; i < n; i++, p++ )    for ( i = 0, p = t; i < n; i++, p++ )
                 if ( t[i].c ) {      if ( t[i].c ) {
                         p->c = dmar(t[i].c,c,0,mod);        p->c = dmar(t[i].c,c,0,mod);
                         /* t[i].d += d */        /* t[i].d += d */
                         adddl_destructive(nv,t[i].d,d);        adddl_destructive(nv,t[i].d,d);
                 }      }
 }  }
   
 void dlto_dl(DL d,DL *dr)  void dlto_dl(DL d,DL *dr)
 {  {
         int i,n;    int i,n;
         DL t;    DL t;
   
         n = current_dl_length;    n = current_dl_length;
         _NEWDL(t,n); *dr = t;    _NEWDL(t,n); *dr = t;
         t->td = d->td;    t->td = d->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 t->d[i] = d->d[i];      t->d[i] = d->d[i];
 }  }
   
 void _dltodl(DL d,DL *dr)  void _dltodl(DL d,DL *dr)
 {  {
         int i,n;    int i,n;
         DL t;    DL t;
   
         n = current_dl_length;    n = current_dl_length;
         NEWDL(t,n); *dr = t;    NEWDL(t,n); *dr = t;
         t->td = d->td;    t->td = d->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 t->d[i] = d->d[i];      t->d[i] = d->d[i];
 }  }
   
 void _adddl_dup(int n,DL d1,DL d2,DL *dr)  void _adddl_dup(int n,DL d1,DL d2,DL *dr)
 {  {
         DL dt;    DL dt;
         int i;    int i;
   
         _NEWDL(dt,n);    _NEWDL(dt,n);
         *dr = dt;    *dr = dt;
         dt->td = d1->td + d2->td;    dt->td = d1->td + d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 dt->d[i] = d1->d[i]+d2->d[i];      dt->d[i] = d1->d[i]+d2->d[i];
 }  }
   
 void _free_dlarray(DL *a,int n)  void _free_dlarray(DL *a,int n)
 {  {
         int i;    int i;
   
         for ( i = 0; i < n; i++ ) { _FREEDL(a[i]); }    for ( i = 0; i < n; i++ ) { _FREEDL(a[i]); }
 }  }
   
 void _free_dp(DP f)  void _free_dp(DP f)
 {  {
         MP m,s;    MP m,s;
   
         if ( !f )    if ( !f )
                 return;      return;
         m = f->body;    m = f->body;
         while ( m ) {    while ( m ) {
                 s = m; m = NEXT(m); _FREEDL(s->dl); _FREEMP(s);      s = m; m = NEXT(m); _FREEDL(s->dl); _FREEMP(s);
         }    }
         _FREEDP(f);    _FREEDP(f);
 }  }
   
 void dpto_dp(DP p,DP *r)  void dpto_dp(DP p,DP *r)
 {  {
         MP m,mr0,mr;    MP m,mr0,mr;
         DL t;    DL t;
   
         if ( !p )    if ( !p )
                 *r = 0;      *r = 0;
         else {    else {
                 /* XXX : dummy call to set current_dl_length */      /* XXX : dummy call to set current_dl_length */
                 _NEWDL_NOINIT(t,NV(p));      _NEWDL_NOINIT(t,NV(p));
   
                 for ( m = BDY(p), mr0 = 0; m; m = NEXT(m) ) {      for ( m = BDY(p), mr0 = 0; m; m = NEXT(m) ) {
                         _NEXTMP(mr0,mr);        _NEXTMP(mr0,mr);
                         dlto_dl(m->dl,&mr->dl);        dlto_dl(m->dl,&mr->dl);
                         mr->c = m->c;        mr->c = m->c;
                 }      }
                 NEXT(mr) = 0;      NEXT(mr) = 0;
                 _MKDP(p->nv,mr0,*r);      _MKDP(p->nv,mr0,*r);
                 (*r)->sugar = p->sugar;      (*r)->sugar = p->sugar;
         }    }
 }  }
   
 void _dptodp(DP p,DP *r)  void _dptodp(DP p,DP *r)
 {  {
         MP m,mr0,mr;    MP m,mr0,mr;
   
         if ( !p )    if ( !p )
                 *r = 0;      *r = 0;
         else {    else {
                 for ( m = BDY(p), mr0 = 0; m; m = NEXT(m) ) {      for ( m = BDY(p), mr0 = 0; m; m = NEXT(m) ) {
                         NEXTMP(mr0,mr);        NEXTMP(mr0,mr);
                         _dltodl(m->dl,&mr->dl);        _dltodl(m->dl,&mr->dl);
                         mr->c = m->c;        mr->c = m->c;
                 }      }
                 NEXT(mr) = 0;      NEXT(mr) = 0;
                 MKDP(p->nv,mr0,*r);      MKDP(p->nv,mr0,*r);
                 (*r)->sugar = p->sugar;      (*r)->sugar = p->sugar;
         }    }
 }  }
   
 /*  /*
Line 592  void _dptodp(DP p,DP *r)
Line 592  void _dptodp(DP p,DP *r)
   
 NODE _symb_merge(NODE m1,NODE m2,int n)  NODE _symb_merge(NODE m1,NODE m2,int n)
 {  {
         NODE top,prev,cur,m,t;    NODE top,prev,cur,m,t;
   
         if ( !m1 )    if ( !m1 )
                 return m2;      return m2;
         else if ( !m2 )    else if ( !m2 )
                 return m1;      return m1;
         else {    else {
                 switch ( (*cmpdl)(n,(DL)BDY(m1),(DL)BDY(m2)) ) {      switch ( (*cmpdl)(n,(DL)BDY(m1),(DL)BDY(m2)) ) {
                         case 0:        case 0:
                                 top = m1; _FREEDL((DL)BDY(m2)); m = NEXT(m2);          top = m1; _FREEDL((DL)BDY(m2)); m = NEXT(m2);
                                 break;          break;
                         case 1:        case 1:
                                 top = m1; m = m2;          top = m1; m = m2;
                                 break;          break;
                         case -1:        case -1:
                                 top = m2; m = m1;          top = m2; m = m1;
                                 break;          break;
                 }      }
                 prev = top; cur = NEXT(top);      prev = top; cur = NEXT(top);
                 /* BDY(prev) > BDY(m) always holds */      /* BDY(prev) > BDY(m) always holds */
                 while ( cur && m ) {      while ( cur && m ) {
                         switch ( (*cmpdl)(n,(DL)BDY(cur),(DL)BDY(m)) ) {        switch ( (*cmpdl)(n,(DL)BDY(cur),(DL)BDY(m)) ) {
                                 case 0:          case 0:
                                         _FREEDL(BDY(m)); m = NEXT(m);            _FREEDL(BDY(m)); m = NEXT(m);
                                         prev = cur; cur = NEXT(cur);            prev = cur; cur = NEXT(cur);
                                         break;            break;
                                 case 1:          case 1:
                                         t = NEXT(cur); NEXT(cur) = m; m = t;            t = NEXT(cur); NEXT(cur) = m; m = t;
                                         prev = cur; cur = NEXT(cur);            prev = cur; cur = NEXT(cur);
                                         break;            break;
                                 case -1:          case -1:
                                         NEXT(prev) = m; m = cur;            NEXT(prev) = m; m = cur;
                                         prev = NEXT(prev); cur = NEXT(prev);            prev = NEXT(prev); cur = NEXT(prev);
                                         break;            break;
                         }        }
                 }      }
                 if ( !cur )      if ( !cur )
                         NEXT(prev) = m;        NEXT(prev) = m;
                 return top;      return top;
         }    }
 }  }
   
 /* merge p1 and p2 into pr */  /* merge p1 and p2 into pr */
   
 void _addd_destructive(VL vl,DP p1,DP p2,DP *pr)  void _addd_destructive(VL vl,DP p1,DP p2,DP *pr)
 {  {
         int n;    int n;
         MP m1,m2,mr,mr0,s;    MP m1,m2,mr,mr0,s;
         P t;    P t;
   
         if ( !p1 )    if ( !p1 )
                 *pr = p2;      *pr = p2;
         else if ( !p2 )    else if ( !p2 )
                 *pr = p1;      *pr = p1;
         else {    else {
                 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; )
                         switch ( (*cmpdl)(n,m1->dl,m2->dl) ) {        switch ( (*cmpdl)(n,m1->dl,m2->dl) ) {
                                 case 0:          case 0:
                                         addp(vl,C(m1),C(m2),&t);            addp(vl,(P)C(m1),(P)C(m2),&t);
                                         s = m1; m1 = NEXT(m1);            s = m1; m1 = NEXT(m1);
                                         if ( t ) {            if ( t ) {
                                                 _NEXTMP2(mr0,mr,s); C(mr) = t;              _NEXTMP2(mr0,mr,s); C(mr) = (Obj)t;
                                         } else {            } else {
                                                 _FREEDL(s->dl); _FREEMP(s);              _FREEDL(s->dl); _FREEMP(s);
                                         }            }
                                         s = m2; m2 = NEXT(m2); _FREEDL(s->dl); _FREEMP(s);            s = m2; m2 = NEXT(m2); _FREEDL(s->dl); _FREEMP(s);
                                         break;            break;
                                 case 1:          case 1:
                                         s = m1; m1 = NEXT(m1); _NEXTMP2(mr0,mr,s);            s = m1; m1 = NEXT(m1); _NEXTMP2(mr0,mr,s);
                                         break;            break;
                                 case -1:          case -1:
                                         s = m2; m2 = NEXT(m2); _NEXTMP2(mr0,mr,s);            s = m2; m2 = NEXT(m2); _NEXTMP2(mr0,mr,s);
                                         break;            break;
                         }        }
                 if ( !mr0 )      if ( !mr0 )
                         if ( m1 )        if ( m1 )
                                 mr0 = m1;          mr0 = m1;
                         else if ( m2 )        else if ( m2 )
                                 mr0 = m2;          mr0 = m2;
                         else {        else {
                                 *pr = 0;          *pr = 0;
                                 return;          return;
                         }        }
                 else if ( m1 )      else if ( m1 )
                         NEXT(mr) = m1;        NEXT(mr) = m1;
                 else if ( m2 )      else if ( m2 )
                         NEXT(mr) = m2;        NEXT(mr) = m2;
                 else      else
                         NEXT(mr) = 0;        NEXT(mr) = 0;
                 _MKDP(NV(p1),mr0,*pr);      _MKDP(NV(p1),mr0,*pr);
                 if ( *pr )      if ( *pr )
                         (*pr)->sugar = MAX(p1->sugar,p2->sugar);        (*pr)->sugar = MAX(p1->sugar,p2->sugar);
                 _FREEDP(p1); _FREEDP(p2);      _FREEDP(p1); _FREEDP(p2);
         }    }
 }  }
   
 void _muld_dup(VL vl,DP p1,DP p2,DP *pr)  void _muld_dup(VL vl,DP p1,DP p2,DP *pr)
 {  {
         if ( !do_weyl )    if ( !do_weyl )
                 _comm_muld_dup(vl,p1,p2,pr);      _comm_muld_dup(vl,p1,p2,pr);
         else    else
                 _weyl_muld_dup(vl,p1,p2,pr);      _weyl_muld_dup(vl,p1,p2,pr);
 }  }
   
 void _comm_muld_dup(VL vl,DP p1,DP p2,DP *pr)  void _comm_muld_dup(VL vl,DP p1,DP p2,DP *pr)
 {  {
         MP m;    MP m;
         DP s,t,u;    DP s,t,u;
         int i,l,l1;    int i,l,l1;
         static MP *w;    static MP *w;
         static int wlen;    static int wlen;
   
         if ( !p1 || !p2 )    if ( !p1 || !p2 )
                 *pr = 0;      *pr = 0;
         else {    else {
                 for ( m = BDY(p1), l1 = 0; m; m = NEXT(m), l1++ );      for ( m = BDY(p1), l1 = 0; m; m = NEXT(m), l1++ );
                 for ( m = BDY(p2), l = 0; m; m = NEXT(m), l++ );      for ( m = BDY(p2), l = 0; m; m = NEXT(m), l++ );
                 if ( l1 < l ) {      if ( l1 < l ) {
                         t = p1; p1 = p2; p2 = t;        t = p1; p1 = p2; p2 = t;
                         l = l1;        l = l1;
                 }      }
                 if ( l > wlen ) {      if ( l > wlen ) {
                         if ( w ) GC_free(w);        if ( w ) GCFREE(w);
                         w = (MP *)MALLOC(l*sizeof(MP));        w = (MP *)MALLOC(l*sizeof(MP));
                         wlen = l;        wlen = l;
                 }      }
                 for ( m = BDY(p2), i = 0; i < l; m = NEXT(m), i++ )      for ( m = BDY(p2), i = 0; i < l; m = NEXT(m), i++ )
                         w[i] = m;        w[i] = m;
                 for ( s = 0, i = l-1; i >= 0; i-- ) {      for ( s = 0, i = l-1; i >= 0; i-- ) {
                         _muldm_dup(vl,p1,w[i],&t); _addd_destructive(vl,s,t,&u); s = u;        _muldm_dup(vl,p1,w[i],&t); _addd_destructive(vl,s,t,&u); s = u;
                 }      }
                 bzero(w,l*sizeof(MP));      bzero(w,l*sizeof(MP));
                 *pr = s;      *pr = s;
         }    }
 }  }
   
 void _weyl_muld_dup(VL vl,DP p1,DP p2,DP *pr)  void _weyl_muld_dup(VL vl,DP p1,DP p2,DP *pr)
 {  {
         MP m;    MP m;
         DP s,t,u;    DP s,t,u;
         int i,l;    int i,l;
         static MP *w;    static MP *w;
         static int wlen;    static int wlen;
   
         if ( !p1 || !p2 )    if ( !p1 || !p2 )
                 *pr = 0;      *pr = 0;
         else {    else {
                 for ( m = BDY(p1), l = 0; m; m = NEXT(m), l++ );      for ( m = BDY(p1), l = 0; m; m = NEXT(m), l++ );
                 if ( l > wlen ) {      if ( l > wlen ) {
                         if ( w ) GC_free(w);        if ( w ) GCFREE(w);
                         w = (MP *)MALLOC(l*sizeof(MP));        w = (MP *)MALLOC(l*sizeof(MP));
                         wlen = l;        wlen = l;
                 }      }
                 for ( m = BDY(p1), i = 0; i < l; m = NEXT(m), i++ )      for ( m = BDY(p1), i = 0; i < l; m = NEXT(m), i++ )
                         w[i] = m;        w[i] = m;
                 for ( s = 0, i = l-1; i >= 0; i-- ) {      for ( s = 0, i = l-1; i >= 0; i-- ) {
                         _weyl_muldm_dup(vl,w[i],p2,&t); _addd_destructive(vl,s,t,&u); s = u;        _weyl_muldm_dup(vl,w[i],p2,&t); _addd_destructive(vl,s,t,&u); s = u;
                 }      }
                 bzero(w,l*sizeof(MP));      bzero(w,l*sizeof(MP));
                 *pr = s;      *pr = s;
         }    }
 }  }
   
 void _muldm_dup(VL vl,DP p,MP m0,DP *pr)  void _muldm_dup(VL vl,DP p,MP m0,DP *pr)
 {  {
         MP m,mr,mr0;    MP m,mr,mr0;
         DL d,dt,dm;    DL d,dt,dm;
         P c;    P c;
         int n,i;    int n,i;
         int *pt,*p1,*p2;    int *pt,*p1,*p2;
   
         if ( !p )    if ( !p )
                 *pr = 0;      *pr = 0;
         else {    else {
                 for ( mr0 = 0, m = BDY(p), c = C(m0), d = m0->dl, n = NV(p);      for ( mr0 = 0, m = BDY(p), c = (P)C(m0), d = m0->dl, n = NV(p);
                         m; m = NEXT(m) ) {        m; m = NEXT(m) ) {
                         _NEXTMP(mr0,mr);        _NEXTMP(mr0,mr);
                         mulp(vl,C(m),c,&C(mr));        mulp(vl,(P)C(m),c,(P *)&C(mr));
                         _NEWDL_NOINIT(dt,n); mr->dl = dt;        _NEWDL_NOINIT(dt,n); mr->dl = dt;
                         dm = m->dl;        dm = m->dl;
                         dt->td = d->td + dm->td;        dt->td = d->td + dm->td;
                         for ( i = 0, pt = dt->d, p1=d->d, p2 = dm->d; i < n; i++ )        for ( i = 0, pt = dt->d, p1=d->d, p2 = dm->d; i < n; i++ )
                                 *pt++ = *p1++ + *p2++;          *pt++ = *p1++ + *p2++;
                 }      }
                 NEXT(mr) = 0; _MKDP(NV(p),mr0,*pr);      NEXT(mr) = 0; _MKDP(NV(p),mr0,*pr);
                 if ( *pr )      if ( *pr )
                         (*pr)->sugar = p->sugar + m0->dl->td;        (*pr)->sugar = p->sugar + m0->dl->td;
         }    }
 }  }
   
 void _weyl_muldm_dup(VL vl,MP m0,DP p,DP *pr)  void _weyl_muldm_dup(VL vl,MP m0,DP p,DP *pr)
 {  {
         DP r,t,t1;    DP r,t,t1;
         MP m;    MP m;
         DL d0;    DL d0;
         int n,n2,l,i,j,tlen;    int n,n2,l,i,j,tlen;
         static MP *w,*psum;    static MP *w,*psum;
         static struct cdl *tab;    static struct cdl *tab;
         static int wlen;    static int wlen;
         static int rtlen;    static int rtlen;
   
         if ( !p )    if ( !p )
                 *pr = 0;      *pr = 0;
         else {    else {
                 for ( m = BDY(p), l = 0; m; m = NEXT(m), l++ );      for ( m = BDY(p), l = 0; m; m = NEXT(m), l++ );
                 if ( l > wlen ) {      if ( l > wlen ) {
                         if ( w ) GC_free(w);        if ( w ) GCFREE(w);
                         w = (MP *)MALLOC(l*sizeof(MP));        w = (MP *)MALLOC(l*sizeof(MP));
                         wlen = l;        wlen = l;
                 }      }
                 for ( m = BDY(p), i = 0; i < l; m = NEXT(m), i++ )      for ( m = BDY(p), i = 0; i < l; m = NEXT(m), i++ )
                         w[i] = m;        w[i] = m;
                 n = NV(p); n2 = n>>1;      n = NV(p); n2 = n>>1;
                 d0 = m0->dl;      d0 = m0->dl;
   
                 for ( i = 0, tlen = 1; i < n2; i++ )      for ( i = 0, tlen = 1; i < n2; i++ )
                         tlen *= d0->d[n2+i]+1;        tlen *= d0->d[n2+i]+1;
                 if ( tlen > rtlen ) {      if ( tlen > rtlen ) {
                         if ( tab ) GC_free(tab);        if ( tab ) GCFREE(tab);
                         if ( psum ) GC_free(psum);        if ( psum ) GCFREE(psum);
                         rtlen = tlen;        rtlen = tlen;
                         tab = (struct cdl *)MALLOC(rtlen*sizeof(struct cdl));        tab = (struct cdl *)MALLOC(rtlen*sizeof(struct cdl));
                         psum = (MP *)MALLOC(rtlen*sizeof(MP));        psum = (MP *)MALLOC(rtlen*sizeof(MP));
                 }      }
                 bzero(psum,tlen*sizeof(MP));      bzero(psum,tlen*sizeof(MP));
                 for ( i = l-1; i >= 0; i-- ) {      for ( i = l-1; i >= 0; i-- ) {
                         bzero(tab,tlen*sizeof(struct cdl));        bzero(tab,tlen*sizeof(struct cdl));
                         _weyl_mulmm_dup(vl,m0,w[i],n,tab,tlen);        _weyl_mulmm_dup(vl,m0,w[i],n,tab,tlen);
                         for ( j = 0; j < tlen; j++ ) {        for ( j = 0; j < tlen; j++ ) {
                                 if ( tab[j].c ) {          if ( tab[j].c ) {
                                         _NEWMP(m); m->dl = tab[j].d;            _NEWMP(m); m->dl = tab[j].d;
                                         C(m) = tab[j].c; NEXT(m) = psum[j];            C(m) = tab[j].c; NEXT(m) = psum[j];
                                         psum[j] = m;            psum[j] = m;
                                 }          }
                         }        }
                 }      }
                 for ( j = tlen-1, r = 0; j >= 0; j-- )      for ( j = tlen-1, r = 0; j >= 0; j-- )
                         if ( psum[j] ) {        if ( psum[j] ) {
                                 _MKDP(n,psum[j],t); _addd_destructive(vl,r,t,&t1); r = t1;          _MKDP(n,psum[j],t); _addd_destructive(vl,r,t,&t1); r = t1;
                         }        }
                 if ( r )      if ( r )
                         r->sugar = p->sugar + m0->dl->td;        r->sugar = p->sugar + m0->dl->td;
                 *pr = r;      *pr = r;
         }    }
 }  }
   
 /* m0 = x0^d0*x1^d1*... * dx0^d(n/2)*dx1^d(n/2+1)*... */  /* m0 = x0^d0*x1^d1*... * dx0^d(n/2)*dx1^d(n/2+1)*... */
   
 void _weyl_mulmm_dup(VL vl,MP m0,MP m1,int n,struct cdl *rtab,int rtablen)  void _weyl_mulmm_dup(VL vl,MP m0,MP m1,int n,struct cdl *rtab,int rtablen)
 {  {
         P c;    P c;
         DL d,d0,d1,dt;    DL d,d0,d1,dt;
         int i,j,a,b,k,l,n2,s,min,curlen;    int i,j,a,b,k,l,n2,s,min,curlen;
         struct cdl *p;    struct cdl *p;
         static Q *ctab;    static Q *ctab;
         static struct cdl *tab;    static struct cdl *tab;
         static int tablen;    static int tablen;
         static struct cdl *tmptab;    static struct cdl *tmptab;
         static int tmptablen;    static int tmptablen;
   
         if ( !m0 || !m1 ) {    if ( !m0 || !m1 ) {
                 rtab[0].c = 0;      rtab[0].c = 0;
                 rtab[0].d = 0;      rtab[0].d = 0;
                 return;      return;
         }    }
         mulp(vl,C(m0),C(m1),&c);    mulp(vl,(P)C(m0),(P)C(m1),&c);
         d0 = m0->dl; d1 = m1->dl;    d0 = m0->dl; d1 = m1->dl;
         n2 = n>>1;    n2 = n>>1;
         curlen = 1;    curlen = 1;
   
         _NEWDL(d,n);    _NEWDL(d,n);
         if ( n & 1 )    if ( n & 1 )
                 /* offset of h-degree */      /* offset of h-degree */
                 d->td = d->d[n-1] = d0->d[n-1]+d1->d[n-1];      d->td = d->d[n-1] = d0->d[n-1]+d1->d[n-1];
         else    else
                 d->td = 0;      d->td = 0;
         rtab[0].c = c;    rtab[0].c = (Obj)c;
         rtab[0].d = d;    rtab[0].d = d;
   
         if ( rtablen > tmptablen ) {    if ( rtablen > tmptablen ) {
                 if ( tmptab ) GC_free(tmptab);      if ( tmptab ) GCFREE(tmptab);
                 tmptab = (struct cdl *)MALLOC(rtablen*sizeof(struct cdl));      tmptab = (struct cdl *)MALLOC(rtablen*sizeof(struct cdl));
                 tmptablen = rtablen;      tmptablen = rtablen;
         }    }
   
         for ( i = 0; i < n2; i++ ) {    for ( i = 0; i < n2; i++ ) {
                 a = d0->d[i]; b = d1->d[n2+i];      a = d0->d[i]; b = d1->d[n2+i];
                 k = d0->d[n2+i]; l = d1->d[i];      k = d0->d[n2+i]; l = d1->d[i];
   
                 /* degree of xi^a*(Di^k*xi^l)*Di^b */      /* degree of xi^a*(Di^k*xi^l)*Di^b */
                 a += l;      a += l;
                 b += k;      b += k;
                 s = MUL_WEIGHT(a,i)+MUL_WEIGHT(b,n2+i);      s = MUL_WEIGHT(a,i)+MUL_WEIGHT(b,n2+i);
   
                 if ( !k || !l ) {      if ( !k || !l ) {
                         for ( j = 0, p = rtab; j < curlen; j++, p++ ) {        for ( j = 0, p = rtab; j < curlen; j++, p++ ) {
                                 if ( p->c ) {          if ( p->c ) {
                                         dt = p->d;            dt = p->d;
                                         dt->d[i] = a;            dt->d[i] = a;
                                         dt->d[n2+i] = b;            dt->d[n2+i] = b;
                                         dt->td += s;            dt->td += s;
                                 }          }
                         }        }
                         curlen *= k+1;        curlen *= k+1;
                         continue;        continue;
                 }      }
                 if ( k+1 > tablen ) {      if ( k+1 > tablen ) {
                         if ( tab ) GC_free(tab);        if ( tab ) GCFREE(tab);
                         if ( ctab ) GC_free(ctab);        if ( ctab ) GCFREE(ctab);
                         tablen = k+1;        tablen = k+1;
                         tab = (struct cdl *)MALLOC(tablen*sizeof(struct cdl));        tab = (struct cdl *)MALLOC(tablen*sizeof(struct cdl));
                         ctab = (Q *)MALLOC(tablen*sizeof(P));        ctab = (Q *)MALLOC(tablen*sizeof(P));
                 }      }
                 /* compute xi^a*(Di^k*xi^l)*Di^b */      /* compute xi^a*(Di^k*xi^l)*Di^b */
                 min = MIN(k,l);      min = MIN(k,l);
                 mkwc(k,l,ctab);      mkwc(k,l,ctab);
                 bzero(tab,(k+1)*sizeof(struct cdl));      bzero(tab,(k+1)*sizeof(struct cdl));
                 /* n&1 != 0 => homogenized computation; dx-xd=h^2 */      /* n&1 != 0 => homogenized computation; dx-xd=h^2 */
                 if ( n & 1 )      if ( n & 1 )
                         for ( j = 0; j <= min; j++ ) {        for ( j = 0; j <= min; j++ ) {
                                 _NEWDL(d,n);          _NEWDL(d,n);
                                 d->d[i] = a-j; d->d[n2+i] = b-j;          d->d[i] = a-j; d->d[n2+i] = b-j;
                                 d->td = s;          d->td = s;
                                 d->d[n-1] = s-(MUL_WEIGHT(a-j,i)+MUL_WEIGHT(b-j,n2+i));          d->d[n-1] = s-(MUL_WEIGHT(a-j,i)+MUL_WEIGHT(b-j,n2+i));
                                 tab[j].d = d;          tab[j].d = d;
                                 tab[j].c = (P)ctab[j];          tab[j].c = (Obj)ctab[j];
                         }        }
                 else      else
                         for ( j = 0; j <= min; j++ ) {        for ( j = 0; j <= min; j++ ) {
                                 _NEWDL(d,n);          _NEWDL(d,n);
                                 d->d[i] = a-j; d->d[n2+i] = b-j;          d->d[i] = a-j; d->d[n2+i] = b-j;
                                 d->td = MUL_WEIGHT(a-j,i)+MUL_WEIGHT(b-j,n2+i); /* XXX */          d->td = MUL_WEIGHT(a-j,i)+MUL_WEIGHT(b-j,n2+i); /* XXX */
                                 tab[j].d = d;          tab[j].d = d;
                                 tab[j].c = (P)ctab[j];          tab[j].c = (Obj)ctab[j];
                         }        }
 #if 0  #if 0
                 _comm_muld_tab(vl,n,rtab,curlen,tab,k+1,tmptab);      _comm_muld_tab(vl,n,rtab,curlen,tab,k+1,tmptab);
                 for ( j = 0; j < curlen; j++ )      for ( j = 0; j < curlen; j++ )
                         if ( rtab[j].d ) { _FREEDL(rtab[j].d); }        if ( rtab[j].d ) { _FREEDL(rtab[j].d); }
                 for ( j = 0; j <= min; j++ )      for ( j = 0; j <= min; j++ )
                         if ( tab[j].d ) { _FREEDL(tab[j].d); }        if ( tab[j].d ) { _FREEDL(tab[j].d); }
                 curlen *= k+1;      curlen *= k+1;
                 bcopy(tmptab,rtab,curlen*sizeof(struct cdl));      bcopy(tmptab,rtab,curlen*sizeof(struct cdl));
 #else  #else
                 _comm_muld_tab_destructive(vl,n,rtab,curlen,tab,k+1);      _comm_muld_tab_destructive(vl,n,rtab,curlen,tab,k+1);
                 for ( j = 0; j <= min; j++ )      for ( j = 0; j <= min; j++ )
                         if ( tab[j].d ) { _FREEDL(tab[j].d); }        if ( tab[j].d ) { _FREEDL(tab[j].d); }
                 curlen *= k+1;      curlen *= k+1;
 #endif  #endif
         }    }
 }  }
   
 /* direct product of two cdl tables  /* direct product of two cdl tables
Line 955  void _weyl_mulmm_dup(VL vl,MP m0,MP m1,int n,struct cd
Line 955  void _weyl_mulmm_dup(VL vl,MP m0,MP m1,int n,struct cd
   
 void _comm_muld_tab(VL vl,int nv,struct cdl *t,int n,struct cdl *t1,int n1,struct cdl *rt)  void _comm_muld_tab(VL vl,int nv,struct cdl *t,int n,struct cdl *t1,int n1,struct cdl *rt)
 {  {
         int i,j;    int i,j;
         struct cdl *p;    struct cdl *p;
         P c;    P c;
         DL d;    DL d;
   
         bzero(rt,n*n1*sizeof(struct cdl));    bzero(rt,n*n1*sizeof(struct cdl));
         for ( j = 0, p = rt; j < n1; j++ ) {    for ( j = 0, p = rt; j < n1; j++ ) {
                 c = t1[j].c;      c = (P)t1[j].c;
                 d = t1[j].d;      d = t1[j].d;
                 if ( !c )      if ( !c )
                         break;        break;
                 for ( i = 0; i < n; i++, p++ ) {      for ( i = 0; i < n; i++, p++ ) {
                         if ( t[i].c ) {        if ( t[i].c ) {
                                 mulp(vl,t[i].c,c,&p->c);          mulp(vl,(P)t[i].c,c,(P *)&p->c);
                                 _adddl_dup(nv,t[i].d,d,&p->d);          _adddl_dup(nv,t[i].d,d,&p->d);
                         }        }
                 }      }
         }    }
 }  }
   
 void _comm_muld_tab_destructive(VL vl,int nv,struct cdl *t,int n,struct cdl *t1,int n1)  void _comm_muld_tab_destructive(VL vl,int nv,struct cdl *t,int n,struct cdl *t1,int n1)
 {  {
         int i,j;    int i,j;
         struct cdl *p;    struct cdl *p;
         P c;    P c;
         DL d;    DL d;
   
         for ( j = 1, p = t+n; j < n1; j++ ) {    for ( j = 1, p = t+n; j < n1; j++ ) {
                 c = t1[j].c;      c = (P)t1[j].c;
                 d = t1[j].d;      d = t1[j].d;
                 if ( !c )      if ( !c )
                         break;        break;
                 for ( i = 0; i < n; i++, p++ ) {      for ( i = 0; i < n; i++, p++ ) {
                         if ( t[i].c ) {        if ( t[i].c ) {
                                 mulp(vl,t[i].c,c,&p->c);          mulp(vl,(P)t[i].c,c,(P *)&p->c);
                                 _adddl_dup(nv,t[i].d,d,&p->d);          _adddl_dup(nv,t[i].d,d,&p->d);
                         }        }
                 }      }
         }    }
         c = t1[0].c;    c = (P)t1[0].c;
         d = t1[0].d;    d = t1[0].d;
         for ( i = 0, p = t; i < n; i++, p++ )    for ( i = 0, p = t; i < n; i++, p++ )
                 if ( t[i].c ) {      if ( t[i].c ) {
                         mulp(vl,t[i].c,c,&p->c);        mulp(vl,(P)t[i].c,c,(P *)&p->c);
                         /* t[i].d += d */        /* t[i].d += d */
                         adddl_destructive(nv,t[i].d,d);        adddl_destructive(nv,t[i].d,d);
                 }      }
 }  }
Legend:
Removed from v.1.12  
changed lines
  Added in v.1.17
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>