[BACK]Return to dp-supp.c CVS log [TXT][DIR] Up to [local] / OpenXM_contrib2 / asir2000 / builtin

Diff for /OpenXM_contrib2/asir2000/builtin/dp-supp.c between version 1.50 and 1.67

version 1.50, 2009/01/04 10:02:00 version 1.67, 2018/03/29 01:32:50
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/builtin/dp-supp.c,v 1.49 2009/01/04 05:44:51 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/builtin/dp-supp.c,v 1.66 2017/08/31 02:36:20 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "base.h"  #include "base.h"
Line 53 
Line 53 
 #include "parse.h"  #include "parse.h"
 #include "ox.h"  #include "ox.h"
   
 #define HMAG(p) (p_mag(BDY(p)->c))  #define HMAG(p) (p_mag((P)BDY(p)->c))
   
 extern int (*cmpdl)();  extern int (*cmpdl)();
 extern double pz_t_e,pz_t_d,pz_t_d1,pz_t_c;  extern double pz_t_e,pz_t_d,pz_t_d1,pz_t_c;
Line 65  extern NODE TraceList;
Line 65  extern NODE TraceList;
 int show_orderspec;  int show_orderspec;
   
 void print_composite_order_spec(struct order_spec *spec);  void print_composite_order_spec(struct order_spec *spec);
   void dpm_rest(DPM,DPM *);
   
 /*  /*
  * content reduction   * content reduction
Line 75  static NODE RatDenomList;
Line 76  static NODE RatDenomList;
   
 void init_denomlist()  void init_denomlist()
 {  {
         RatDenomList = 0;    RatDenomList = 0;
 }  }
   
 void add_denomlist(P f)  void add_denomlist(P f)
 {  {
         NODE n;    NODE n;
   
         if ( OID(f)==O_P ) {    if ( OID(f)==O_P ) {
                 MKNODE(n,f,RatDenomList); RatDenomList = n;      MKNODE(n,f,RatDenomList); RatDenomList = n;
         }    }
 }  }
   
 LIST get_denomlist()  LIST get_denomlist()
 {  {
         LIST l;    LIST l;
   
         MKLIST(l,RatDenomList); RatDenomList = 0;    MKLIST(l,RatDenomList); RatDenomList = 0;
         return l;    return l;
 }  }
   
 void dp_ptozp(DP p,DP *rp)  void dp_ptozp(DP p,DP *rp)
 {  {
         MP m,mr,mr0;    MP m,mr,mr0;
         int i,n;    int i,n;
         Q *w;    Q *w;
         Q dvr;    Q dvr;
         P t;    P t;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else {    else {
                 for ( m =BDY(p), n = 0; m; m = NEXT(m), n++ );      for ( m =BDY(p), n = 0; m; m = NEXT(m), n++ );
                 w = (Q *)ALLOCA(n*sizeof(Q));      w = (Q *)ALLOCA(n*sizeof(Q));
                 for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ )      for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ )
                         if ( NUM(m->c) )        if ( NUM(m->c) )
                                 w[i] = (Q)m->c;          w[i] = (Q)m->c;
                         else        else
                                 ptozp(m->c,1,&w[i],&t);          ptozp((P)m->c,1,&w[i],&t);
                 sortbynm(w,n);      sortbynm(w,n);
                 qltozl(w,n,&dvr);      qltozl(w,n,&dvr);
                 for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {      for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {
                         NEXTMP(mr0,mr); divsp(CO,m->c,(P)dvr,&mr->c); mr->dl = m->dl;        NEXTMP(mr0,mr); divsp(CO,(P)m->c,(P)dvr,(P *)&mr->c); mr->dl = m->dl;
                 }      }
                 NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;      NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;
         }    }
 }  }
   
 void dp_ptozp2(DP p0,DP p1,DP *hp,DP *rp)  void dp_ptozp2(DP p0,DP p1,DP *hp,DP *rp)
 {  {
         DP t,s,h,r;    DP t,s,h,r;
         MP m,mr,mr0,m0;    MP m,mr,mr0,m0;
   
         addd(CO,p0,p1,&t); dp_ptozp(t,&s);    addd(CO,p0,p1,&t); dp_ptozp(t,&s);
         if ( !p0 ) {    if ( !p0 ) {
                 h = 0; r = s;      h = 0; r = s;
         } else if ( !p1 ) {    } else if ( !p1 ) {
                 h = s; r = 0;      h = s; r = 0;
         } else {    } else {
                 for ( mr0 = 0, m = BDY(s), m0 = BDY(p0); m0;      for ( mr0 = 0, m = BDY(s), m0 = BDY(p0); m0;
                         m = NEXT(m), m0 = NEXT(m0) ) {        m = NEXT(m), m0 = NEXT(m0) ) {
                         NEXTMP(mr0,mr); mr->c = m->c; mr->dl = m->dl;        NEXTMP(mr0,mr); mr->c = m->c; mr->dl = m->dl;
                 }      }
                 NEXT(mr) = 0; MKDP(p0->nv,mr0,h); MKDP(p0->nv,m,r);      NEXT(mr) = 0; MKDP(p0->nv,mr0,h); MKDP(p0->nv,m,r);
         }    }
         if ( h )    if ( h )
                 h->sugar = p0->sugar;      h->sugar = p0->sugar;
         if ( r )    if ( r )
                 r->sugar = p1->sugar;      r->sugar = p1->sugar;
         *hp = h; *rp = r;    *hp = h; *rp = r;
 }  }
   
   void dpm_ptozp(DPM p,DPM *rp)
   {
     DMM m,mr,mr0;
     int i,n;
     Q *w;
     Q dvr;
     P t;
   
     if ( !p )
       *rp = 0;
     else {
       for ( m =BDY(p), n = 0; m; m = NEXT(m), n++ );
       w = (Q *)ALLOCA(n*sizeof(Q));
       for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ )
         if ( NUM(m->c) )
           w[i] = (Q)m->c;
         else
           ptozp((P)m->c,1,&w[i],&t);
       sortbynm(w,n);
       qltozl(w,n,&dvr);
       for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {
         NEXTDMM(mr0,mr); divsp(CO,(P)m->c,(P)dvr,(P *)&mr->c); mr->dl = m->dl; mr->pos = m->pos;
       }
       NEXT(mr) = 0; MKDPM(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;
     }
   }
   
   void dpm_ptozp2(DPM p0,DPM p1,DPM *hp,DPM *rp)
   {
     DPM t,s,h,r;
     DMM m,mr,mr0,m0;
   
     adddpm(CO,p0,p1,&t); dpm_ptozp(t,&s);
     if ( !p0 ) {
       h = 0; r = s;
     } else if ( !p1 ) {
       h = s; r = 0;
     } else {
       for ( mr0 = 0, m = BDY(s), m0 = BDY(p0); m0;
         m = NEXT(m), m0 = NEXT(m0) ) {
         NEXTDMM(mr0,mr); mr->c = m->c; mr->dl = m->dl; mr->pos = m->pos;
       }
       NEXT(mr) = 0; MKDPM(p0->nv,mr0,h); MKDPM(p0->nv,m,r);
     }
     if ( h )
       h->sugar = p0->sugar;
     if ( r )
       r->sugar = p1->sugar;
     *hp = h; *rp = r;
   }
   
   
 void dp_ptozp3(DP p,Q *dvr,DP *rp)  void dp_ptozp3(DP p,Q *dvr,DP *rp)
 {  {
         MP m,mr,mr0;    MP m,mr,mr0;
         int i,n;    int i,n;
         Q *w;    Q *w;
         P t;    P t;
   
         if ( !p ) {    if ( !p ) {
                 *rp = 0; *dvr = 0;      *rp = 0; *dvr = 0;
         }else {    }else {
                 for ( m =BDY(p), n = 0; m; m = NEXT(m), n++ );      for ( m =BDY(p), n = 0; m; m = NEXT(m), n++ );
                 w = (Q *)ALLOCA(n*sizeof(Q));      w = (Q *)ALLOCA(n*sizeof(Q));
                 for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ )      for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ )
                         if ( NUM(m->c) )        if ( NUM(m->c) )
                                 w[i] = (Q)m->c;          w[i] = (Q)m->c;
                         else        else
                                 ptozp(m->c,1,&w[i],&t);          ptozp((P)m->c,1,&w[i],&t);
                 sortbynm(w,n);      sortbynm(w,n);
                 qltozl(w,n,dvr);      qltozl(w,n,dvr);
                 for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {      for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {
                         NEXTMP(mr0,mr); divsp(CO,m->c,(P)(*dvr),&mr->c); mr->dl = m->dl;        NEXTMP(mr0,mr); divsp(CO,(P)m->c,(P)(*dvr),(P *)&mr->c); mr->dl = m->dl;
                 }      }
                 NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;      NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;
         }    }
 }  }
   
 void dp_idiv(DP p,Q c,DP *rp)  void dp_idiv(DP p,Q c,DP *rp)
 {  {
         Q t;    Q t;
         N nm,q;    N nm,q;
         int sgn,s;    int sgn,s;
         MP mr0,m,mr;    MP mr0,m,mr;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else if ( MUNIQ((Q)c) )    else if ( MUNIQ((Q)c) )
                 *rp = p;      *rp = p;
         else if ( MUNIQ((Q)c) )    else if ( MUNIQ((Q)c) )
                 chsgnd(p,rp);      chsgnd(p,rp);
         else {    else {
                 nm = NM(c); sgn = SGN(c);      nm = NM(c); sgn = SGN(c);
                 for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {      for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {
                         NEXTMP(mr0,mr);        NEXTMP(mr0,mr);
   
                         divsn(NM((Q)(m->c)),nm,&q);        divsn(NM((Q)(m->c)),nm,&q);
                         s = sgn*SGN((Q)(m->c));        s = sgn*SGN((Q)(m->c));
                         NTOQ(q,s,t);        NTOQ(q,s,t);
                         mr->c = (P)t;        mr->c = (Obj)t;
                         mr->dl = m->dl;        mr->dl = m->dl;
                 }      }
                 NEXT(mr) = 0; MKDP(p->nv,mr0,*rp);      NEXT(mr) = 0; MKDP(p->nv,mr0,*rp);
                 if ( *rp )      if ( *rp )
                         (*rp)->sugar = p->sugar;        (*rp)->sugar = p->sugar;
         }    }
 }  }
   
 void dp_mbase(NODE hlist,NODE *mbase)  void dp_mbase(NODE hlist,NODE *mbase)
 {  {
         DL *dl;    DL *dl;
         DL d;    DL d;
         int i,j,n,nvar,td;    int *t;
     int i,j,k,n,nvar,td;
   
         n = length(hlist); nvar = ((DP)BDY(hlist))->nv;    n = length(hlist); nvar = ((DP)BDY(hlist))->nv;
         dl = (DL *)MALLOC(n*sizeof(DL));    dl = (DL *)MALLOC(n*sizeof(DL));
         for ( i = 0; i < n; i++, hlist = NEXT(hlist) )    NEWDL(d,nvar); *mbase = 0;
                 dl[i] = BDY((DP)BDY(hlist))->dl;    for ( i = 0; i < n; i++, hlist = NEXT(hlist) ) {
         NEWDL(d,nvar); *mbase = 0;      dl[i] = BDY((DP)BDY(hlist))->dl;
         while ( 1 ) {      /* trivial ideal check */
                 insert_to_node(d,mbase,nvar);      if ( (*cmpdl)(nvar,d,dl[i]) == 0 ) {
                 for ( i = nvar-1; i >= 0; ) {        return;
                         d->d[i]++;      }
                         d->td += MUL_WEIGHT(1,i);    }
                         for ( j = 0; j < n; j++ ) {    /* zero-dim. ideal check */
                                 if ( _dl_redble(dl[j],d,nvar) )    for ( i = 0; i < nvar; i++ ) {
                                         break;      for ( j = 0; j < n; j++ ) {
                         }        for ( k = 0, t = dl[j]->d; k < nvar; k++ )
                         if ( j < n ) {          if ( k != i && t[k] != 0 ) break;
                                 for ( j = nvar-1; j >= i; j-- )        if ( k == nvar ) break;
                                         d->d[j] = 0;      }
                                 for ( j = 0, td = 0; j < i; j++ )      if ( j == n )
                                         td += MUL_WEIGHT(d->d[j],j);        error("dp_mbase : input ideal is not zero-dimensional");
                                 d->td = td;    }
                                 i--;    while ( 1 ) {
                         } else      insert_to_node(d,mbase,nvar);
                                 break;      for ( i = nvar-1; i >= 0; ) {
                 }        d->d[i]++;
                 if ( i < 0 )        d->td += MUL_WEIGHT(1,i);
                         break;        for ( j = 0; j < n; j++ ) {
         }          if ( _dl_redble(dl[j],d,nvar) )
             break;
         }
         if ( j < n ) {
           for ( j = nvar-1; j >= i; j-- )
             d->d[j] = 0;
           for ( j = 0, td = 0; j < i; j++ )
             td += MUL_WEIGHT(d->d[j],j);
           d->td = td;
           i--;
         } else
           break;
       }
       if ( i < 0 )
         break;
     }
 }  }
   
 int _dl_redble(DL d1,DL d2,int nvar)  int _dl_redble(DL d1,DL d2,int nvar)
 {  {
         int i;    int i;
   
         if ( d1->td > d2->td )    if ( d1->td > d2->td )
                 return 0;      return 0;
         for ( i = 0; i < nvar; i++ )    for ( i = 0; i < nvar; i++ )
                 if ( d1->d[i] > d2->d[i] )      if ( d1->d[i] > d2->d[i] )
                         break;        break;
         if ( i < nvar )    if ( i < nvar )
                 return 0;      return 0;
         else    else
                 return 1;      return 1;
 }  }
   
 void insert_to_node(DL d,NODE *n,int nvar)  void insert_to_node(DL d,NODE *n,int nvar)
 {  {
         DL d1;    DL d1;
         MP m;    MP m;
         DP dp;    DP dp;
         NODE n0,n1,n2;    NODE n0,n1,n2;
   
         NEWDL(d1,nvar); d1->td = d->td;    NEWDL(d1,nvar); d1->td = d->td;
         bcopy((char *)d->d,(char *)d1->d,nvar*sizeof(int));    bcopy((char *)d->d,(char *)d1->d,nvar*sizeof(int));
         NEWMP(m); m->dl = d1; m->c = (P)ONE; NEXT(m) = 0;    NEWMP(m); m->dl = d1; m->c = (Obj)ONE; NEXT(m) = 0;
         MKDP(nvar,m,dp); dp->sugar = d->td;    MKDP(nvar,m,dp); dp->sugar = d->td;
         if ( !(*n) ) {    if ( !(*n) ) {
                 MKNODE(n1,dp,0); *n = n1;      MKNODE(n1,dp,0); *n = n1;
         } else {    } else {
                 for ( n1 = *n, n0 = 0; n1; n0 = n1, n1 = NEXT(n1) )      for ( n1 = *n, n0 = 0; n1; n0 = n1, n1 = NEXT(n1) )
                         if ( (*cmpdl)(nvar,d,BDY((DP)BDY(n1))->dl) > 0 ) {        if ( (*cmpdl)(nvar,d,BDY((DP)BDY(n1))->dl) > 0 ) {
                                 MKNODE(n2,dp,n1);          MKNODE(n2,dp,n1);
                                 if ( !n0 )          if ( !n0 )
                                         *n = n2;            *n = n2;
                                 else          else
                                         NEXT(n0) = n2;            NEXT(n0) = n2;
                                 break;          break;
                         }        }
                 if ( !n1 ) {      if ( !n1 ) {
                         MKNODE(n2,dp,0); NEXT(n0) = n2;        MKNODE(n2,dp,0); NEXT(n0) = n2;
                 }      }
         }    }
 }  }
   
 void dp_vtod(Q *c,DP p,DP *rp)  void dp_vtod(Q *c,DP p,DP *rp)
 {  {
         MP mr0,m,mr;    MP mr0,m,mr;
         int i;    int i;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else {    else {
                 for ( mr0 = 0, m = BDY(p), i = 0; m; m = NEXT(m), i++ ) {      for ( mr0 = 0, m = BDY(p), i = 0; m; m = NEXT(m), i++ ) {
                         NEXTMP(mr0,mr); mr->c = (P)c[i]; mr->dl = m->dl;        NEXTMP(mr0,mr); mr->c = (Obj)c[i]; mr->dl = m->dl;
                 }      }
                 NEXT(mr) = 0; MKDP(p->nv,mr0,*rp);      NEXT(mr) = 0; MKDP(p->nv,mr0,*rp);
                 (*rp)->sugar = p->sugar;      (*rp)->sugar = p->sugar;
         }    }
 }  }
   
 extern int mpi_mag;  extern int mpi_mag;
Line 302  extern int PCoeffs;
Line 371  extern int PCoeffs;
   
 void dp_ptozp_d(DP p,DP *rp)  void dp_ptozp_d(DP p,DP *rp)
 {  {
         int i,j,k,l,n,nsep;    int i,j,k,l,n,nsep;
         MP m;    MP m;
         NODE tn,n0,n1,n2,n3;    NODE tn,n0,n1,n2,n3;
         struct oVECT v;    struct oVECT v;
         VECT c,cs;    VECT c,cs;
         VECT qi,ri;    VECT qi,ri;
         LIST *qr;    LIST *qr;
         Obj dmy;    Obj dmy;
         Q d0,d1,gcd,a,u,u1;    Q d0,d1,gcd,a,u,u1;
         Q *q,*r;    Q *q,*r;
         STRING iqr_v;    STRING iqr_v;
         pointer *b;    pointer *b;
         N qn,gn;    N qn,gn;
         double get_rtime();    double get_rtime();
         int blen;    int blen;
         NODE dist;    NODE dist;
         int ndist;    int ndist;
         double t0;    double t0;
         double t_e,t_d,t_d1,t_c;    double t_e,t_d,t_d1,t_c;
         extern int DP_NFStat;    extern int DP_NFStat;
         extern LIST Dist;    extern LIST Dist;
         void Pox_rpc();    void Pox_rpc();
         void Pox_pop_local();    void Pox_pop_local();
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else {    else {
                 if ( PCoeffs ) {      if ( PCoeffs ) {
                         dp_ptozp(p,rp); return;        dp_ptozp(p,rp); return;
                 }      }
                 if ( !Dist || p_mag(BDY(p)->c) <= mpi_mag ) {      if ( !Dist || p_mag((P)BDY(p)->c) <= mpi_mag ) {
                         dist = 0; ndist = 0;        dist = 0; ndist = 0;
                         if ( DP_NFStat ) fprintf(asir_out,"L");        if ( DP_NFStat ) fprintf(asir_out,"L");
                 } else {      } else {
                         dist = BDY(Dist); ndist = length(dist);        dist = BDY(Dist); ndist = length(dist);
                         if ( DP_NFStat ) fprintf(asir_out,"D");        if ( DP_NFStat ) fprintf(asir_out,"D");
                 }      }
                 for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ );      for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ );
                 nsep = ndist + 1;      nsep = ndist + 1;
                 if ( n <= nsep ) {      if ( n <= nsep ) {
                         dp_ptozp(p,rp); return;        dp_ptozp(p,rp); return;
                 }      }
                 t0 = get_rtime();      t0 = get_rtime();
                 dp_dtov(p,&c);      dp_dtov(p,&c);
                 igcdv_estimate(c,&d0);      igcdv_estimate(c,&d0);
                 t_e = get_rtime()-t0;      t_e = get_rtime()-t0;
                 t0 = get_rtime();      t0 = get_rtime();
                 dp_dtov(p,&c);      dp_dtov(p,&c);
                 sepvect(c,nsep,&cs);      sepvect(c,nsep,&cs);
                 MKSTR(iqr_v,"iqr");      MKSTR(iqr_v,"iqr");
                 qr = (LIST *)CALLOC(nsep,sizeof(LIST));      qr = (LIST *)CALLOC(nsep,sizeof(LIST));
                 q = (Q *)CALLOC(n,sizeof(Q));      q = (Q *)CALLOC(n,sizeof(Q));
                 r = (Q *)CALLOC(n,sizeof(Q));      r = (Q *)CALLOC(n,sizeof(Q));
                 for ( i = 0, tn = dist, b = BDY(cs); i < ndist; i++, tn = NEXT(tn) ) {      for ( i = 0, tn = dist, b = BDY(cs); i < ndist; i++, tn = NEXT(tn) ) {
                         MKNODE(n3,d0,0); MKNODE(n2,b[i],n3);        MKNODE(n3,d0,0); MKNODE(n2,b[i],n3);
                         MKNODE(n1,iqr_v,n2); MKNODE(n0,BDY(tn),n1);        MKNODE(n1,iqr_v,n2); MKNODE(n0,BDY(tn),n1);
                         Pox_rpc(n0,&dmy);        Pox_rpc(n0,&dmy);
                 }      }
                 iqrv(b[i],d0,&qr[i]);      iqrv(b[i],d0,&qr[i]);
                 dp_dtov(p,&c);      dp_dtov(p,&c);
                 for ( i = 0, tn = dist; i < ndist; i++, tn = NEXT(tn) ) {      for ( i = 0, tn = dist; i < ndist; i++, tn = NEXT(tn) ) {
                         Pox_pop_local(tn,&qr[i]);        Pox_pop_local(tn,&qr[i]);
                         if ( OID(qr[i]) == O_ERR ) {        if ( OID(qr[i]) == O_ERR ) {
                                 printexpr(CO,(Obj)qr[i]);          printexpr(CO,(Obj)qr[i]);
                                 error("dp_ptozp_d : aborted");          error("dp_ptozp_d : aborted");
                         }        }
                 }      }
                 t_d = get_rtime()-t0;      t_d = get_rtime()-t0;
                 t_d1 = t_d/n;      t_d1 = t_d/n;
                 t0 = get_rtime();      t0 = get_rtime();
                 for ( i = j = 0; i < nsep; i++ ) {      for ( i = j = 0; i < nsep; i++ ) {
                         tn = BDY(qr[i]); qi = (VECT)BDY(tn); ri = (VECT)BDY(NEXT(tn));        tn = BDY(qr[i]); qi = (VECT)BDY(tn); ri = (VECT)BDY(NEXT(tn));
                         for ( k = 0, l = qi->len; k < l; k++, j++ ) {        for ( k = 0, l = qi->len; k < l; k++, j++ ) {
                                 q[j] = (Q)BDY(qi)[k]; r[j] = (Q)BDY(ri)[k];          q[j] = (Q)BDY(qi)[k]; r[j] = (Q)BDY(ri)[k];
                         }        }
                 }      }
                 v.id = O_VECT; v.len = n; v.body = (pointer *)r; igcdv(&v,&d1);      v.id = O_VECT; v.len = n; v.body = (pointer *)r; igcdv(&v,&d1);
                 if ( d1 ) {      if ( d1 ) {
                         gcdn(NM(d0),NM(d1),&gn); NTOQ(gn,1,gcd);        gcdn(NM(d0),NM(d1),&gn); NTOQ(gn,1,gcd);
                         divsn(NM(d0),gn,&qn); NTOQ(qn,1,a);        divsn(NM(d0),gn,&qn); NTOQ(qn,1,a);
                         for ( i = 0; i < n; i++ ) {        for ( i = 0; i < n; i++ ) {
                                 mulq(a,q[i],&u);          mulq(a,q[i],&u);
                                 if ( r[i] ) {          if ( r[i] ) {
                                         divsn(NM(r[i]),gn,&qn); NTOQ(qn,SGN(r[i]),u1);            divsn(NM(r[i]),gn,&qn); NTOQ(qn,SGN(r[i]),u1);
                                         addq(u,u1,&q[i]);            addq(u,u1,&q[i]);
                                 } else          } else
                                         q[i] = u;            q[i] = u;
                         }        }
                 } else      } else
                         gcd = d0;        gcd = d0;
                 dp_vtod(q,p,rp);      dp_vtod(q,p,rp);
                 t_c = get_rtime()-t0;      t_c = get_rtime()-t0;
                 blen=p_mag((P)gcd);      blen=p_mag((P)gcd);
                 pz_t_e += t_e; pz_t_d += t_d; pz_t_d1 += t_d1; pz_t_c += t_c;      pz_t_e += t_e; pz_t_d += t_d; pz_t_d1 += t_d1; pz_t_c += t_c;
                 if ( 0 )      if ( 0 )
                         fprintf(stderr,"(%d,%d)",p_mag((P)d0)-blen,blen);        fprintf(stderr,"(%d,%d)",p_mag((P)d0)-blen,blen);
         }    }
 }  }
   
 void dp_ptozp2_d(DP p0,DP p1,DP *hp,DP *rp)  void dp_ptozp2_d(DP p0,DP p1,DP *hp,DP *rp)
 {  {
         DP t,s,h,r;    DP t,s,h,r;
         MP m,mr,mr0,m0;    MP m,mr,mr0,m0;
   
         addd(CO,p0,p1,&t); dp_ptozp_d(t,&s);    addd(CO,p0,p1,&t); dp_ptozp_d(t,&s);
         if ( !p0 ) {    if ( !p0 ) {
                 h = 0; r = s;      h = 0; r = s;
         } else if ( !p1 ) {    } else if ( !p1 ) {
                 h = s; r = 0;      h = s; r = 0;
         } else {    } else {
                 for ( mr0 = 0, m = BDY(s), m0 = BDY(p0); m0;      for ( mr0 = 0, m = BDY(s), m0 = BDY(p0); m0;
                         m = NEXT(m), m0 = NEXT(m0) ) {        m = NEXT(m), m0 = NEXT(m0) ) {
                         NEXTMP(mr0,mr); mr->c = m->c; mr->dl = m->dl;        NEXTMP(mr0,mr); mr->c = m->c; mr->dl = m->dl;
                 }      }
                 NEXT(mr) = 0; MKDP(p0->nv,mr0,h); MKDP(p0->nv,m,r);      NEXT(mr) = 0; MKDP(p0->nv,mr0,h); MKDP(p0->nv,m,r);
         }    }
         if ( h )    if ( h )
                 h->sugar = p0->sugar;      h->sugar = p0->sugar;
         if ( r )    if ( r )
                 r->sugar = p1->sugar;      r->sugar = p1->sugar;
         *hp = h; *rp = r;    *hp = h; *rp = r;
 }  }
   
 int have_sf_coef(P p)  int have_sf_coef(P p)
 {  {
         DCP dc;    DCP dc;
   
         if ( !p )    if ( !p )
                 return 0;      return 0;
         else if ( NUM(p) )    else if ( NUM(p) )
                 return NID((Num)p) == N_GFS ? 1 : 0;      return NID((Num)p) == N_GFS ? 1 : 0;
         else {    else {
                 for ( dc = DC(p); dc; dc = NEXT(dc) )      for ( dc = DC(p); dc; dc = NEXT(dc) )
                         if ( have_sf_coef(COEF(dc)) )        if ( have_sf_coef(COEF(dc)) )
                                 return 1;          return 1;
                 return 0;      return 0;
         }    }
 }  }
   
 void head_coef(P p,Num *c)  void head_coef(P p,Num *c)
 {  {
         if ( !p )    if ( !p )
                 *c = 0;      *c = 0;
         else if ( NUM(p) )    else if ( NUM(p) )
                 *c = (Num)p;      *c = (Num)p;
         else    else
                 head_coef(COEF(DC(p)),c);      head_coef(COEF(DC(p)),c);
 }  }
   
 void dp_monic_sf(DP p,DP *rp)  void dp_monic_sf(DP p,DP *rp)
 {  {
         Num c;    Num c;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else {    else {
                 head_coef(BDY(p)->c,&c);      head_coef((P)BDY(p)->c,&c);
                 divsdc(CO,p,(P)c,rp);      divsdc(CO,p,(P)c,rp);
         }    }
 }  }
   
 void dp_prim(DP p,DP *rp)  void dp_prim(DP p,DP *rp)
 {  {
         P t,g;    P t,g;
         DP p1;    DP p1;
         MP m,mr,mr0;    MP m,mr,mr0;
         int i,n;    int i,n;
         P *w;    P *w;
         Q *c;    Q *c;
         Q dvr;    Q dvr;
         NODE tn;    NODE tn;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else if ( dp_fcoeffs == N_GFS ) {    else if ( dp_fcoeffs == N_GFS ) {
                 for ( m = BDY(p); m; m = NEXT(m) )      for ( m = BDY(p); m; m = NEXT(m) )
                         if ( OID(m->c) == O_N ) {        if ( OID(m->c) == O_N ) {
                                 /* GCD of coeffs = 1 */          /* GCD of coeffs = 1 */
                                 dp_monic_sf(p,rp);          dp_monic_sf(p,rp);
                                 return;          return;
                         } else break;        } else break;
                 /* compute GCD over the finite fieid */      /* compute GCD over the finite fieid */
                 for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ );      for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ );
                 w = (P *)ALLOCA(n*sizeof(P));      w = (P *)ALLOCA(n*sizeof(P));
                 for ( m = BDY(p), i = 0; i < n; m = NEXT(m), i++ )      for ( m = BDY(p), i = 0; i < n; m = NEXT(m), i++ )
                         w[i] = m->c;        w[i] = (P)m->c;
                 gcdsf(CO,w,n,&g);      gcdsf(CO,w,n,&g);
                 if ( NUM(g) )      if ( NUM(g) )
                         dp_monic_sf(p,rp);        dp_monic_sf(p,rp);
                 else {      else {
                         for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {        for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {
                                 NEXTMP(mr0,mr); divsp(CO,m->c,g,&mr->c); mr->dl = m->dl;          NEXTMP(mr0,mr); divsp(CO,(P)m->c,g,(P *)&mr->c); mr->dl = m->dl;
                         }        }
                         NEXT(mr) = 0; MKDP(p->nv,mr0,p1); p1->sugar = p->sugar;        NEXT(mr) = 0; MKDP(p->nv,mr0,p1); p1->sugar = p->sugar;
                         dp_monic_sf(p1,rp);        dp_monic_sf(p1,rp);
                 }      }
                 return;      return;
         } else if ( dp_fcoeffs )    } else if ( dp_fcoeffs )
                 *rp = p;      *rp = p;
         else if ( NoGCD )    else if ( NoGCD )
                 dp_ptozp(p,rp);      dp_ptozp(p,rp);
         else {    else {
                 dp_ptozp(p,&p1); p = p1;      dp_ptozp(p,&p1); p = p1;
                 for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ );      for ( m = BDY(p), n = 0; m; m = NEXT(m), n++ );
                 if ( n == 1 ) {      if ( n == 1 ) {
                         m = BDY(p);        m = BDY(p);
                         NEWMP(mr); mr->dl = m->dl; mr->c = (P)ONE; NEXT(mr) = 0;        NEWMP(mr); mr->dl = m->dl; mr->c = (Obj)ONE; NEXT(mr) = 0;
                         MKDP(p->nv,mr,*rp); (*rp)->sugar = p->sugar;        MKDP(p->nv,mr,*rp); (*rp)->sugar = p->sugar;
                         return;        return;
                 }      }
                 w = (P *)ALLOCA(n*sizeof(P));      w = (P *)ALLOCA(n*sizeof(P));
                 c = (Q *)ALLOCA(n*sizeof(Q));      c = (Q *)ALLOCA(n*sizeof(Q));
                 for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ )      for ( m =BDY(p), i = 0; i < n; m = NEXT(m), i++ )
                         if ( NUM(m->c) ) {        if ( NUM(m->c) ) {
                                 c[i] = (Q)m->c; w[i] = (P)ONE;          c[i] = (Q)m->c; w[i] = (P)ONE;
                         } else        } else
                                 ptozp(m->c,1,&c[i],&w[i]);          ptozp((P)m->c,1,&c[i],&w[i]);
                 qltozl(c,n,&dvr); heu_nezgcdnpz(CO,w,n,&t); mulp(CO,t,(P)dvr,&g);      qltozl(c,n,&dvr); heu_nezgcdnpz(CO,w,n,&t); mulp(CO,t,(P)dvr,&g);
                 if ( NUM(g) )      if ( NUM(g) )
                         *rp = p;        *rp = p;
                 else {      else {
                         for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {        for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {
                                 NEXTMP(mr0,mr); divsp(CO,m->c,g,&mr->c); mr->dl = m->dl;          NEXTMP(mr0,mr); divsp(CO,(P)m->c,g,(P *)&mr->c); mr->dl = m->dl;
                         }        }
                         NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;        NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;
                         add_denomlist(g);        add_denomlist(g);
                 }      }
         }    }
 }  }
   
 void heu_nezgcdnpz(VL vl,P *pl,int m,P *pr)  void heu_nezgcdnpz(VL vl,P *pl,int m,P *pr)
 {  {
         int i,r;    int i,r;
         P gcd,t,s1,s2,u;    P gcd,t,s1,s2,u;
         Q rq;    Q rq;
         DCP dc;    DCP dc;
         extern int DP_Print;    extern int DP_Print;
   
         while ( 1 ) {    while ( 1 ) {
                 for ( i = 0, s1 = 0; i < m; i++ ) {      for ( i = 0, s1 = 0; i < m; i++ ) {
                         r = random(); UTOQ(r,rq);        r = random(); UTOQ(r,rq);
                         mulp(vl,pl[i],(P)rq,&t); addp(vl,s1,t,&u); s1 = u;        mulp(vl,pl[i],(P)rq,&t); addp(vl,s1,t,&u); s1 = u;
                 }      }
                 for ( i = 0, s2 = 0; i < m; i++ ) {      for ( i = 0, s2 = 0; i < m; i++ ) {
                         r = random(); UTOQ(r,rq);        r = random(); UTOQ(r,rq);
                         mulp(vl,pl[i],(P)rq,&t); addp(vl,s2,t,&u); s2 = u;        mulp(vl,pl[i],(P)rq,&t); addp(vl,s2,t,&u); s2 = u;
                 }      }
                 ezgcdp(vl,s1,s2,&gcd);      ezgcdp(vl,s1,s2,&gcd);
                 if ( DP_Print > 2 )      if ( DP_Print > 2 )
                         { fprintf(asir_out,"(%d)",nmonop(gcd)); fflush(asir_out); }        { fprintf(asir_out,"(%d)",nmonop(gcd)); fflush(asir_out); }
                 for ( i = 0; i < m; i++ ) {      for ( i = 0; i < m; i++ ) {
                         if ( !divtpz(vl,pl[i],gcd,&t) )        if ( !divtpz(vl,pl[i],gcd,&t) )
                                 break;          break;
                 }      }
                 if ( i == m )      if ( i == m )
                         break;        break;
         }    }
         *pr = gcd;    *pr = gcd;
 }  }
   
 void dp_prim_mod(DP p,int mod,DP *rp)  void dp_prim_mod(DP p,int mod,DP *rp)
 {  {
         P t,g;    P t,g;
         MP m,mr,mr0;    MP m,mr,mr0;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else if ( NoGCD )    else if ( NoGCD )
                 *rp = p;      *rp = p;
         else {    else {
                 for ( m = BDY(p), g = m->c, m = NEXT(m); m; m = NEXT(m) ) {      for ( m = BDY(p), g = (P)m->c, m = NEXT(m); m; m = NEXT(m) ) {
                         gcdprsmp(CO,mod,g,m->c,&t); g = t;        gcdprsmp(CO,mod,g,(P)m->c,&t); g = t;
                 }      }
                 for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {      for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {
                         NEXTMP(mr0,mr); divsmp(CO,mod,m->c,g,&mr->c); mr->dl = m->dl;        NEXTMP(mr0,mr); divsmp(CO,mod,(P)m->c,g,(P *)&mr->c); mr->dl = m->dl;
                 }      }
                 NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;      NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;
         }    }
 }  }
   
 void dp_cont(DP p,Q *rp)  void dp_cont(DP p,Q *rp)
 {  {
         VECT v;    VECT v;
   
         dp_dtov(p,&v); igcdv(v,rp);    dp_dtov(p,&v); igcdv(v,rp);
 }  }
   
 void dp_dtov(DP dp,VECT *rp)  void dp_dtov(DP dp,VECT *rp)
 {  {
         MP m,t;    MP m,t;
         int i,n;    int i,n;
         VECT v;    VECT v;
         pointer *p;    pointer *p;
   
         m = BDY(dp);    m = BDY(dp);
         for ( t = m, n = 0; t; t = NEXT(t), n++ );    for ( t = m, n = 0; t; t = NEXT(t), n++ );
         MKVECT(v,n);    MKVECT(v,n);
         for ( i = 0, p = BDY(v), t = m; i < n; t = NEXT(t), i++ )    for ( i = 0, p = BDY(v), t = m; i < n; t = NEXT(t), i++ )
                 p[i] = (pointer)(t->c);      p[i] = (pointer)(t->c);
         *rp = v;    *rp = v;
 }  }
   
 /*  /*
Line 611  void dp_dtov(DP dp,VECT *rp)
Line 680  void dp_dtov(DP dp,VECT *rp)
   
 void dp_sp(DP p1,DP p2,DP *rp)  void dp_sp(DP p1,DP p2,DP *rp)
 {  {
         int i,n,td;    int i,n,td;
         int *w;    int *w;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s1,s2,u;    DP t,s1,s2,u;
         Q c,c1,c2;    Q c,c1,c2;
         N gn,tn;    N gn,tn;
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
         w = (int *)ALLOCA(n*sizeof(int));    w = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, td = 0; i < n; i++ ) {    for ( i = 0, td = 0; i < n; i++ ) {
                 w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);      w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);
         }    }
   
         NEWDL(d,n); d->td = td - d1->td;    NEWDL(d,n); d->td = td - d1->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = w[i] - d1->d[i];      d->d[i] = w[i] - d1->d[i];
         c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c;    c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c;
         if ( INT(c1) && INT(c2) ) {    if ( INT(c1) && INT(c2) ) {
                 gcdn(NM(c1),NM(c2),&gn);      gcdn(NM(c1),NM(c2),&gn);
                 if ( !UNIN(gn) ) {      if ( !UNIN(gn) ) {
                         divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c;        divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c;
                         divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c;        divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c;
                 }      }
         }    }
   
         NEWMP(m); m->dl = d; m->c = (P)c2; NEXT(m) = 0;    NEWMP(m); m->dl = d; m->c = (Obj)c2; NEXT(m) = 0;
         MKDP(n,m,s1); s1->sugar = d->td; muld(CO,s1,p1,&t);    MKDP(n,m,s1); s1->sugar = d->td; muld(CO,s1,p1,&t);
   
         NEWDL(d,n); d->td = td - d2->td;    NEWDL(d,n); d->td = td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = w[i] - d2->d[i];      d->d[i] = w[i] - d2->d[i];
         NEWMP(m); m->dl = d; m->c = (P)c1; NEXT(m) = 0;    NEWMP(m); m->dl = d; m->c = (Obj)c1; NEXT(m) = 0;
         MKDP(n,m,s2); s2->sugar = d->td; muld(CO,s2,p2,&u);    MKDP(n,m,s2); s2->sugar = d->td; muld(CO,s2,p2,&u);
   
         subd(CO,t,u,rp);    subd(CO,t,u,rp);
         if ( GenTrace ) {    if ( GenTrace ) {
                 LIST hist;      LIST hist;
                 NODE node;      NODE node;
   
                 node = mknode(4,ONE,0,s1,ONE);      node = mknode(4,ONE,NULLP,s1,ONE);
                 MKLIST(hist,node);      MKLIST(hist,node);
                 MKNODE(TraceList,hist,0);      MKNODE(TraceList,hist,0);
   
                 node = mknode(4,ONE,0,0,ONE);      node = mknode(4,ONE,NULLP,NULLP,ONE);
                 chsgnd(s2,(DP *)&ARG2(node));      chsgnd(s2,(DP *)&ARG2(node));
                 MKLIST(hist,node);      MKLIST(hist,node);
                 MKNODE(node,hist,TraceList); TraceList = node;      MKNODE(node,hist,TraceList); TraceList = node;
         }    }
 }  }
   
   void dpm_sp(DPM p1,DPM p2,DPM *rp)
   {
     int i,n,td;
     int *w;
     DL d1,d2,d;
     MP m;
     DP s1,s2;
     DPM t,u;
     Q c,c1,c2;
     N gn,tn;
   
     n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
     if ( BDY(p1)->pos != BDY(p2)->pos ) {
       *rp = 0;
       return;
     }
     w = (int *)ALLOCA(n*sizeof(int));
     for ( i = 0, td = 0; i < n; i++ ) {
       w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);
     }
   
     NEWDL(d,n); d->td = td - d1->td;
     for ( i = 0; i < n; i++ )
       d->d[i] = w[i] - d1->d[i];
     c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c;
     if ( INT(c1) && INT(c2) ) {
       gcdn(NM(c1),NM(c2),&gn);
       if ( !UNIN(gn) ) {
         divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c;
         divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c;
       }
     }
   
     NEWMP(m); m->dl = d; m->c = (Obj)c2; NEXT(m) = 0;
     MKDP(n,m,s1); s1->sugar = d->td; mulobjdpm(CO,(Obj)s1,p1,&t);
   
     NEWDL(d,n); d->td = td - d2->td;
     for ( i = 0; i < n; i++ )
       d->d[i] = w[i] - d2->d[i];
     NEWMP(m); m->dl = d; m->c = (Obj)c1; NEXT(m) = 0;
     MKDP(n,m,s2); s2->sugar = d->td; mulobjdpm(CO,(Obj)s2,p2,&u);
   
     subdpm(CO,t,u,rp);
     if ( GenTrace ) {
       LIST hist;
       NODE node;
   
       node = mknode(4,ONE,NULLP,s1,ONE);
       MKLIST(hist,node);
       MKNODE(TraceList,hist,0);
   
       node = mknode(4,ONE,NULLP,NULLP,ONE);
       chsgnd(s2,(DP *)&ARG2(node));
       MKLIST(hist,node);
       MKNODE(node,hist,TraceList); TraceList = node;
     }
   }
   
 void _dp_sp_dup(DP p1,DP p2,DP *rp)  void _dp_sp_dup(DP p1,DP p2,DP *rp)
 {  {
         int i,n,td;    int i,n,td;
         int *w;    int *w;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s1,s2,u;    DP t,s1,s2,u;
         Q c,c1,c2;    Q c,c1,c2;
         N gn,tn;    N gn,tn;
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
         w = (int *)ALLOCA(n*sizeof(int));    w = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, td = 0; i < n; i++ ) {    for ( i = 0, td = 0; i < n; i++ ) {
                 w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);      w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);
         }    }
   
         _NEWDL(d,n); d->td = td - d1->td;    _NEWDL(d,n); d->td = td - d1->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = w[i] - d1->d[i];      d->d[i] = w[i] - d1->d[i];
         c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c;    c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c;
         if ( INT(c1) && INT(c2) ) {    if ( INT(c1) && INT(c2) ) {
                 gcdn(NM(c1),NM(c2),&gn);      gcdn(NM(c1),NM(c2),&gn);
                 if ( !UNIN(gn) ) {      if ( !UNIN(gn) ) {
                         divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c;        divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c;
                         divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c;        divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c;
                 }      }
         }    }
   
         _NEWMP(m); m->dl = d; m->c = (P)c2; NEXT(m) = 0;    _NEWMP(m); m->dl = d; m->c = (Obj)c2; NEXT(m) = 0;
         _MKDP(n,m,s1); s1->sugar = d->td; _muld_dup(CO,s1,p1,&t); _free_dp(s1);    _MKDP(n,m,s1); s1->sugar = d->td; _muld_dup(CO,s1,p1,&t); _free_dp(s1);
   
         _NEWDL(d,n); d->td = td - d2->td;    _NEWDL(d,n); d->td = td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = w[i] - d2->d[i];      d->d[i] = w[i] - d2->d[i];
         _NEWMP(m); m->dl = d; chsgnp((P)c1,&m->c); NEXT(m) = 0;    _NEWMP(m); m->dl = d; chsgnp((P)c1,(P *)&m->c); NEXT(m) = 0;
         _MKDP(n,m,s2); s2->sugar = d->td; _muld_dup(CO,s2,p2,&u); _free_dp(s2);    _MKDP(n,m,s2); s2->sugar = d->td; _muld_dup(CO,s2,p2,&u); _free_dp(s2);
   
         _addd_destructive(CO,t,u,rp);    _addd_destructive(CO,t,u,rp);
         if ( GenTrace ) {    if ( GenTrace ) {
                 LIST hist;      LIST hist;
                 NODE node;      NODE node;
   
                 node = mknode(4,ONE,0,s1,ONE);      node = mknode(4,ONE,NULLP,s1,ONE);
                 MKLIST(hist,node);      MKLIST(hist,node);
                 MKNODE(TraceList,hist,0);      MKNODE(TraceList,hist,0);
   
                 node = mknode(4,ONE,0,0,ONE);      node = mknode(4,ONE,NULLP,NULLP,ONE);
                 chsgnd(s2,(DP *)&ARG2(node));      chsgnd(s2,(DP *)&ARG2(node));
                 MKLIST(hist,node);      MKLIST(hist,node);
                 MKNODE(node,hist,TraceList); TraceList = node;      MKNODE(node,hist,TraceList); TraceList = node;
         }    }
 }  }
   
 void dp_sp_mod(DP p1,DP p2,int mod,DP *rp)  void dp_sp_mod(DP p1,DP p2,int mod,DP *rp)
 {  {
         int i,n,td;    int i,n,td;
         int *w;    int *w;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s,u;    DP t,s,u;
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
         w = (int *)ALLOCA(n*sizeof(int));    w = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, td = 0; i < n; i++ ) {    for ( i = 0, td = 0; i < n; i++ ) {
                 w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);      w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);
         }    }
         NEWDL_NOINIT(d,n); d->td = td - d1->td;    NEWDL_NOINIT(d,n); d->td = td - d1->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = w[i] - d1->d[i];      d->d[i] = w[i] - d1->d[i];
         NEWMP(m); m->dl = d; m->c = (P)BDY(p2)->c; NEXT(m) = 0;    NEWMP(m); m->dl = d; m->c = (Obj)BDY(p2)->c; NEXT(m) = 0;
         MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,p1,s,&t);    MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,p1,s,&t);
         NEWDL_NOINIT(d,n); d->td = td - d2->td;    NEWDL_NOINIT(d,n); d->td = td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = w[i] - d2->d[i];      d->d[i] = w[i] - d2->d[i];
         NEWMP(m); m->dl = d; m->c = (P)BDY(p1)->c; NEXT(m) = 0;    NEWMP(m); m->dl = d; m->c = (Obj)BDY(p1)->c; NEXT(m) = 0;
         MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,p2,s,&u);    MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,p2,s,&u);
         submd(CO,mod,t,u,rp);    submd(CO,mod,t,u,rp);
 }  }
   
 void _dp_sp_mod_dup(DP p1,DP p2,int mod,DP *rp)  void _dp_sp_mod_dup(DP p1,DP p2,int mod,DP *rp)
 {  {
         int i,n,td;    int i,n,td;
         int *w;    int *w;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s,u;    DP t,s,u;
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
         w = (int *)ALLOCA(n*sizeof(int));    w = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, td = 0; i < n; i++ ) {    for ( i = 0, td = 0; i < n; i++ ) {
                 w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);      w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);
         }    }
         _NEWDL(d,n); d->td = td - d1->td;    _NEWDL(d,n); d->td = td - d1->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = w[i] - d1->d[i];      d->d[i] = w[i] - d1->d[i];
         _NEWMP(m); m->dl = d; m->c = BDY(p2)->c; NEXT(m) = 0;    _NEWMP(m); m->dl = d; m->c = BDY(p2)->c; NEXT(m) = 0;
         _MKDP(n,m,s); s->sugar = d->td; _mulmd_dup(mod,s,p1,&t); _free_dp(s);    _MKDP(n,m,s); s->sugar = d->td; _mulmd_dup(mod,s,p1,&t); _free_dp(s);
         _NEWDL(d,n); d->td = td - d2->td;    _NEWDL(d,n); d->td = td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = w[i] - d2->d[i];      d->d[i] = w[i] - d2->d[i];
         _NEWMP(m); m->dl = d; m->c = STOI(mod - ITOS(BDY(p1)->c)); NEXT(m) = 0;    _NEWMP(m); m->dl = d; m->c = (Obj)STOI(mod - ITOS(BDY(p1)->c)); NEXT(m) = 0;
         _MKDP(n,m,s); s->sugar = d->td; _mulmd_dup(mod,s,p2,&u); _free_dp(s);    _MKDP(n,m,s); s->sugar = d->td; _mulmd_dup(mod,s,p2,&u); _free_dp(s);
         _addmd_destructive(mod,t,u,rp);    _addmd_destructive(mod,t,u,rp);
 }  }
   
 void _dp_sp_mod(DP p1,DP p2,int mod,DP *rp)  void _dp_sp_mod(DP p1,DP p2,int mod,DP *rp)
 {  {
         int i,n,td;    int i,n,td;
         int *w;    int *w;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s,u;    DP t,s,u;
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
         w = (int *)ALLOCA(n*sizeof(int));    w = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, td = 0; i < n; i++ ) {    for ( i = 0, td = 0; i < n; i++ ) {
                 w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);      w[i] = MAX(d1->d[i],d2->d[i]); td += MUL_WEIGHT(w[i],i);
         }    }
         NEWDL(d,n); d->td = td - d1->td;    NEWDL(d,n); d->td = td - d1->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = w[i] - d1->d[i];      d->d[i] = w[i] - d1->d[i];
         NEWMP(m); m->dl = d; m->c = BDY(p2)->c; NEXT(m) = 0;    NEWMP(m); m->dl = d; m->c = BDY(p2)->c; NEXT(m) = 0;
         MKDP(n,m,s); s->sugar = d->td; mulmd_dup(mod,s,p1,&t);    MKDP(n,m,s); s->sugar = d->td; mulmd_dup(mod,s,p1,&t);
         NEWDL(d,n); d->td = td - d2->td;    NEWDL(d,n); d->td = td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = w[i] - d2->d[i];      d->d[i] = w[i] - d2->d[i];
         NEWMP(m); m->dl = d; m->c = STOI(mod - ITOS(BDY(p1)->c)); NEXT(m) = 0;    NEWMP(m); m->dl = d; m->c = (Obj)STOI(mod - ITOS(BDY(p1)->c)); NEXT(m) = 0;
         MKDP(n,m,s); s->sugar = d->td; mulmd_dup(mod,s,p2,&u);    MKDP(n,m,s); s->sugar = d->td; mulmd_dup(mod,s,p2,&u);
         addmd_destructive(mod,t,u,rp);    addmd_destructive(mod,t,u,rp);
 }  }
   
 /*  /*
Line 802  void _dp_sp_mod(DP p1,DP p2,int mod,DP *rp)
Line 929  void _dp_sp_mod(DP p1,DP p2,int mod,DP *rp)
   
 void dp_red(DP p0,DP p1,DP p2,DP *head,DP *rest,P *dnp,DP *multp)  void dp_red(DP p0,DP p1,DP p2,DP *head,DP *rest,P *dnp,DP *multp)
 {  {
         int i,n;    int i,n;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s,r,h;    DP t,s,r,h;
         Q c,c1,c2;    Q c,c1,c2;
         N gn,tn;    N gn,tn;
         P g,a;    P g,a;
         P p[2];    P p[2];
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
         NEWDL(d,n); d->td = d1->td - d2->td;    NEWDL(d,n); d->td = d1->td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = d1->d[i]-d2->d[i];      d->d[i] = d1->d[i]-d2->d[i];
         c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c;    c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c;
         if ( dp_fcoeffs == N_GFS ) {    if ( dp_fcoeffs == N_GFS ) {
                 p[0] = (P)c1; p[1] = (P)c2;      p[0] = (P)c1; p[1] = (P)c2;
                 gcdsf(CO,p,2,&g);      gcdsf(CO,p,2,&g);
                 divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a;      divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a;
         } else if ( dp_fcoeffs ) {    } else if ( dp_fcoeffs ) {
                 /* do nothing */      /* do nothing */
         } else if ( INT(c1) && INT(c2) ) {    } else if ( INT(c1) && INT(c2) ) {
                 gcdn(NM(c1),NM(c2),&gn);      gcdn(NM(c1),NM(c2),&gn);
                 if ( !UNIN(gn) ) {      if ( !UNIN(gn) ) {
                         divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c;        divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c;
                         divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c;        divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c;
                 }      }
         } else {    } else {
                 ezgcdpz(CO,(P)c1,(P)c2,&g);      ezgcdpz(CO,(P)c1,(P)c2,&g);
                 divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a;      divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a;
                 add_denomlist(g);      add_denomlist(g);
         }    }
         NEWMP(m); m->dl = d; chsgnp((P)c1,&m->c); NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td;    NEWMP(m); m->dl = d; chsgnp((P)c1,(P *)&m->c); NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td;
         *multp = s;    *multp = s;
         muld(CO,s,p2,&t); muldc(CO,p1,(P)c2,&s); addd(CO,s,t,&r);    muld(CO,s,p2,&t); muldc(CO,p1,(Obj)c2,&s); addd(CO,s,t,&r);
         muldc(CO,p0,(P)c2,&h);    muldc(CO,p0,(Obj)c2,&h);
         *head = h; *rest = r; *dnp = (P)c2;    *head = h; *rest = r; *dnp = (P)c2;
 }  }
   
   void dpm_red(DPM p0,DPM p1,DPM p2,DPM *head,DPM *rest,P *dnp,DP *multp)
   {
     int i,n,pos;
     DL d1,d2,d;
     MP m;
     DP s;
     DPM t,r,h,u,w;
     Q c,c1,c2;
     N gn,tn;
     P g,a;
     P p[2];
   
     n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl; pos = BDY(p1)->pos;
     if ( pos != BDY(p2)->pos )
       error("dpm_red : cannot happen");
     NEWDL(d,n); d->td = d1->td - d2->td;
     for ( i = 0; i < n; i++ )
       d->d[i] = d1->d[i]-d2->d[i];
     c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(p2)->c;
     if ( dp_fcoeffs == N_GFS ) {
       p[0] = (P)c1; p[1] = (P)c2;
       gcdsf(CO,p,2,&g);
       divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a;
     } else if ( dp_fcoeffs ) {
       /* do nothing */
     } else if ( INT(c1) && INT(c2) ) {
       gcdn(NM(c1),NM(c2),&gn);
       if ( !UNIN(gn) ) {
         divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c;
         divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c;
       }
     } else {
       ezgcdpz(CO,(P)c1,(P)c2,&g);
       divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a;
       add_denomlist(g);
     }
     NEWMP(m); m->dl = d; chsgnp((P)c1,(P *)&m->c); NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td;
     *multp = s;
     mulobjdpm(CO,(Obj)s,p2,&u); mulobjdpm(CO,(Obj)c2,p1,&w); adddpm(CO,u,w,&r);
     mulobjdpm(CO,(Obj)c2,p0,&h);
     *head = h; *rest = r; *dnp = (P)c2;
   }
   
   
 /*  /*
  * m-reduction by a marked poly   * m-reduction by a marked poly
  * do content reduction over Z or Q(x,...)   * do content reduction over Z or Q(x,...)
Line 850  void dp_red(DP p0,DP p1,DP p2,DP *head,DP *rest,P *dnp
Line 1021  void dp_red(DP p0,DP p1,DP p2,DP *head,DP *rest,P *dnp
   
 void dp_red_marked(DP p0,DP p1,DP p2,DP hp2,DP *head,DP *rest,P *dnp,DP *multp)  void dp_red_marked(DP p0,DP p1,DP p2,DP hp2,DP *head,DP *rest,P *dnp,DP *multp)
 {  {
         int i,n;    int i,n;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s,r,h;    DP t,s,r,h;
         Q c,c1,c2;    Q c,c1,c2;
         N gn,tn;    N gn,tn;
         P g,a;    P g,a;
         P p[2];    P p[2];
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(hp2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(hp2)->dl;
         NEWDL(d,n); d->td = d1->td - d2->td;    NEWDL(d,n); d->td = d1->td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = d1->d[i]-d2->d[i];      d->d[i] = d1->d[i]-d2->d[i];
         c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(hp2)->c;    c1 = (Q)BDY(p1)->c; c2 = (Q)BDY(hp2)->c;
         if ( dp_fcoeffs == N_GFS ) {    if ( dp_fcoeffs == N_GFS ) {
                 p[0] = (P)c1; p[1] = (P)c2;      p[0] = (P)c1; p[1] = (P)c2;
                 gcdsf(CO,p,2,&g);      gcdsf(CO,p,2,&g);
                 divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a;      divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a;
         } else if ( dp_fcoeffs ) {    } else if ( dp_fcoeffs ) {
                 /* do nothing */      /* do nothing */
         } else if ( INT(c1) && INT(c2) ) {    } else if ( INT(c1) && INT(c2) ) {
                 gcdn(NM(c1),NM(c2),&gn);      gcdn(NM(c1),NM(c2),&gn);
                 if ( !UNIN(gn) ) {      if ( !UNIN(gn) ) {
                         divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c;        divsn(NM(c1),gn,&tn); NTOQ(tn,SGN(c1),c); c1 = c;
                         divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c;        divsn(NM(c2),gn,&tn); NTOQ(tn,SGN(c2),c); c2 = c;
                 }      }
         } else {    } else {
                 ezgcdpz(CO,(P)c1,(P)c2,&g);      ezgcdpz(CO,(P)c1,(P)c2,&g);
                 divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a;      divsp(CO,(P)c1,g,&a); c1 = (Q)a; divsp(CO,(P)c2,g,&a); c2 = (Q)a;
         }    }
         NEWMP(m); m->dl = d; m->c = (P)c1; NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td;    NEWMP(m); m->dl = d; m->c = (Obj)c1; NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td;
         *multp = s;    *multp = s;
         muld(CO,s,p2,&t); muldc(CO,p1,(P)c2,&s); subd(CO,s,t,&r);    muld(CO,s,p2,&t); muldc(CO,p1,(Obj)c2,&s); subd(CO,s,t,&r);
         muldc(CO,p0,(P)c2,&h);    muldc(CO,p0,(Obj)c2,&h);
         *head = h; *rest = r; *dnp = (P)c2;    *head = h; *rest = r; *dnp = (P)c2;
 }  }
   
 void dp_red_marked_mod(DP p0,DP p1,DP p2,DP hp2,int mod,DP *head,DP *rest,P *dnp)  void dp_red_marked_mod(DP p0,DP p1,DP p2,DP hp2,int mod,DP *head,DP *rest,P *dnp,DP *multp)
 {  {
         int i,n;    int i,n;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s,r,h;    DP t,s,r,h;
         P c1,c2,g,u;    P c1,c2,g,u;
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(hp2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(hp2)->dl;
         NEWDL(d,n); d->td = d1->td - d2->td;    NEWDL(d,n); d->td = d1->td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = d1->d[i]-d2->d[i];      d->d[i] = d1->d[i]-d2->d[i];
         c1 = (P)BDY(p1)->c; c2 = (P)BDY(hp2)->c;    c1 = (P)BDY(p1)->c; c2 = (P)BDY(hp2)->c;
         gcdprsmp(CO,mod,c1,c2,&g);    gcdprsmp(CO,mod,c1,c2,&g);
         divsmp(CO,mod,c1,g,&u); c1 = u; divsmp(CO,mod,c2,g,&u); c2 = u;    divsmp(CO,mod,c1,g,&u); c1 = u; divsmp(CO,mod,c2,g,&u); c2 = u;
         if ( NUM(c2) ) {    if ( NUM(c2) ) {
                 divsmp(CO,mod,c1,c2,&u); c1 = u; c2 = (P)ONEM;      divsmp(CO,mod,c1,c2,&u); c1 = u; c2 = (P)ONEM;
         }    }
         NEWMP(m); m->dl = d; chsgnmp(mod,(P)c1,&m->c); NEXT(m) = 0;    NEWMP(m); m->dl = d; m->c = (Obj)c1; NEXT(m) = 0;
         MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,s,p2,&t);    MKDP(n,m,s); s->sugar = d->td;
         if ( NUM(c2) ) {    *multp = s;
                 addmd(CO,mod,p1,t,&r); h = p0;    mulmd(CO,mod,s,p2,&t);
         } else {    if ( NUM(c2) ) {
                 mulmdc(CO,mod,p1,c2,&s); addmd(CO,mod,s,t,&r); mulmdc(CO,mod,p0,c2,&h);      submd(CO,mod,p1,t,&r); h = p0;
         }    } else {
         *head = h; *rest = r; *dnp = c2;      mulmdc(CO,mod,p1,c2,&s); submd(CO,mod,s,t,&r); mulmdc(CO,mod,p0,c2,&h);
     }
     *head = h; *rest = r; *dnp = c2;
 }  }
   
 /* m-reduction over a field */  /* m-reduction over a field */
   
 void dp_red_f(DP p1,DP p2,DP *rest)  void dp_red_f(DP p1,DP p2,DP *rest)
 {  {
         int i,n;    int i,n;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s;    DP t,s;
         Obj a,b;    Obj a,b;
   
         n = p1->nv;    n = p1->nv;
         d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
   
         NEWDL(d,n); d->td = d1->td - d2->td;    NEWDL(d,n); d->td = d1->td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = d1->d[i]-d2->d[i];      d->d[i] = d1->d[i]-d2->d[i];
   
         NEWMP(m); m->dl = d;    NEWMP(m); m->dl = d;
         divr(CO,(Obj)BDY(p1)->c,(Obj)BDY(p2)->c,&a); chsgnr(a,&b);    divr(CO,(Obj)BDY(p1)->c,(Obj)BDY(p2)->c,&a); chsgnr(a,&b);
         C(m) = (P)b;    C(m) = (Obj)b;
         NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td;    NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td;
   
         muld(CO,s,p2,&t); addd(CO,p1,t,rest);    muld(CO,s,p2,&t); addd(CO,p1,t,rest);
 }  }
   
   void dpm_red_f(DPM p1,DPM p2,DPM *rest)
   {
     int i,n;
     DL d1,d2,d;
     MP m;
     DPM t;
     DP s;
     Obj a,b;
   
     n = p1->nv;
     d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
   
     NEWDL(d,n); d->td = d1->td - d2->td;
     for ( i = 0; i < n; i++ )
       d->d[i] = d1->d[i]-d2->d[i];
   
     NEWMP(m); m->dl = d;
     arf_div(CO,(Obj)BDY(p1)->c,(Obj)BDY(p2)->c,&a); arf_chsgn(a,&b);
     C(m) = b;
     NEXT(m) = 0; MKDP(n,m,s); s->sugar = d->td;
   
     mulobjdpm(CO,(Obj)s,p2,&t); adddpm(CO,p1,t,rest);
   }
   
   
 void dp_red_mod(DP p0,DP p1,DP p2,int mod,DP *head,DP *rest,P *dnp)  void dp_red_mod(DP p0,DP p1,DP p2,int mod,DP *head,DP *rest,P *dnp)
 {  {
         int i,n;    int i,n;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s,r,h;    DP t,s,r,h;
         P c1,c2,g,u;    P c1,c2,g,u;
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
         NEWDL(d,n); d->td = d1->td - d2->td;    NEWDL(d,n); d->td = d1->td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = d1->d[i]-d2->d[i];      d->d[i] = d1->d[i]-d2->d[i];
         c1 = (P)BDY(p1)->c; c2 = (P)BDY(p2)->c;    c1 = (P)BDY(p1)->c; c2 = (P)BDY(p2)->c;
         gcdprsmp(CO,mod,c1,c2,&g);    gcdprsmp(CO,mod,c1,c2,&g);
         divsmp(CO,mod,c1,g,&u); c1 = u; divsmp(CO,mod,c2,g,&u); c2 = u;    divsmp(CO,mod,c1,g,&u); c1 = u; divsmp(CO,mod,c2,g,&u); c2 = u;
         if ( NUM(c2) ) {    if ( NUM(c2) ) {
                 divsmp(CO,mod,c1,c2,&u); c1 = u; c2 = (P)ONEM;      divsmp(CO,mod,c1,c2,&u); c1 = u; c2 = (P)ONEM;
         }    }
         NEWMP(m); m->dl = d; chsgnmp(mod,(P)c1,&m->c); NEXT(m) = 0;    NEWMP(m); m->dl = d; chsgnmp(mod,(P)c1,(P *)&m->c); NEXT(m) = 0;
         MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,s,p2,&t);    MKDP(n,m,s); s->sugar = d->td; mulmd(CO,mod,s,p2,&t);
         if ( NUM(c2) ) {    if ( NUM(c2) ) {
                 addmd(CO,mod,p1,t,&r); h = p0;      addmd(CO,mod,p1,t,&r); h = p0;
         } else {    } else {
                 mulmdc(CO,mod,p1,c2,&s); addmd(CO,mod,s,t,&r); mulmdc(CO,mod,p0,c2,&h);      mulmdc(CO,mod,p1,c2,&s); addmd(CO,mod,s,t,&r); mulmdc(CO,mod,p0,c2,&h);
         }    }
         *head = h; *rest = r; *dnp = c2;    *head = h; *rest = r; *dnp = c2;
 }  }
   
 struct oEGT eg_red_mod;  struct oEGT eg_red_mod;
   
 void _dp_red_mod_destructive(DP p1,DP p2,int mod,DP *rp)  void _dp_red_mod_destructive(DP p1,DP p2,int mod,DP *rp)
 {  {
         int i,n;    int i,n;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP t,s;    DP t,s;
         int c,c1,c2;    int c,c1,c2;
         extern int do_weyl;    extern int do_weyl;
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
         _NEWDL(d,n); d->td = d1->td - d2->td;    _NEWDL(d,n); d->td = d1->td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = d1->d[i]-d2->d[i];      d->d[i] = d1->d[i]-d2->d[i];
         c = invm(ITOS(BDY(p2)->c),mod);    c = invm(ITOS(BDY(p2)->c),mod);
         c2 = ITOS(BDY(p1)->c);    c2 = ITOS(BDY(p1)->c);
         DMAR(c,c2,0,mod,c1);    DMAR(c,c2,0,mod,c1);
         _NEWMP(m); m->dl = d; m->c = STOI(mod-c1); NEXT(m) = 0;    _NEWMP(m); m->dl = d; m->c = (Obj)STOI(mod-c1); NEXT(m) = 0;
 #if 0  #if 0
         _MKDP(n,m,s); s->sugar = d->td;    _MKDP(n,m,s); s->sugar = d->td;
         _mulmd_dup(mod,s,p2,&t); _free_dp(s);    _mulmd_dup(mod,s,p2,&t); _free_dp(s);
 #else  #else
         if ( do_weyl ) {    if ( do_weyl ) {
                 _MKDP(n,m,s); s->sugar = d->td;      _MKDP(n,m,s); s->sugar = d->td;
                 _mulmd_dup(mod,s,p2,&t); _free_dp(s);      _mulmd_dup(mod,s,p2,&t); _free_dp(s);
         } else {    } else {
                 _mulmdm_dup(mod,p2,m,&t); _FREEMP(m);      _mulmdm_dup(mod,p2,m,&t); _FREEMP(m);
         }    }
 #endif  #endif
 /* get_eg(&t0); */  /* get_eg(&t0); */
         _addmd_destructive(mod,p1,t,rp);    _addmd_destructive(mod,p1,t,rp);
 /* get_eg(&t1); add_eg(&eg_red_mod,&t0,&t1); */  /* get_eg(&t1); add_eg(&eg_red_mod,&t0,&t1); */
 }  }
   
Line 1010  void _dp_red_mod_destructive(DP p1,DP p2,int mod,DP *r
Line 1208  void _dp_red_mod_destructive(DP p1,DP p2,int mod,DP *r
   
 void dp_true_nf(NODE b,DP g,DP *ps,int full,DP *rp,P *dnp)  void dp_true_nf(NODE b,DP g,DP *ps,int full,DP *rp,P *dnp)
 {  {
         DP u,p,d,s,t,dmy;    DP u,p,d,s,t,dmy;
         NODE l;    NODE l;
         MP m,mr;    MP m,mr;
         int i,n;    int i,n;
         int *wb;    int *wb;
         int sugar,psugar;    int sugar,psugar;
         P dn,tdn,tdn1;    P dn,tdn,tdn1;
   
         dn = (P)ONE;    dn = (P)ONE;
         if ( !g ) {    if ( !g ) {
                 *rp = 0; *dnp = dn; return;      *rp = 0; *dnp = dn; return;
         }    }
         for ( n = 0, l = b; l; l = NEXT(l), n++ );    for ( n = 0, l = b; l; l = NEXT(l), n++ );
         wb = (int *)ALLOCA(n*sizeof(int));    wb = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, l = b; i < n; l = NEXT(l), i++ )    for ( i = 0, l = b; i < n; l = NEXT(l), i++ )
                 wb[i] = QTOS((Q)BDY(l));      wb[i] = QTOS((Q)BDY(l));
         sugar = g->sugar;    sugar = g->sugar;
         for ( d = 0; g; ) {    for ( d = 0; g; ) {
                 for ( u = 0, i = 0; i < n; i++ ) {      for ( u = 0, i = 0; i < n; i++ ) {
                         if ( dp_redble(g,p = ps[wb[i]]) ) {        if ( dp_redble(g,p = ps[wb[i]]) ) {
                                 dp_red(d,g,p,&t,&u,&tdn,&dmy);          dp_red(d,g,p,&t,&u,&tdn,&dmy);
                                 psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;          psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
                                 sugar = MAX(sugar,psugar);          sugar = MAX(sugar,psugar);
                                 if ( !u ) {          if ( !u ) {
                                         if ( d )            if ( d )
                                                 d->sugar = sugar;              d->sugar = sugar;
                                         *rp = d; *dnp = dn; return;            *rp = d; *dnp = dn; return;
                                 } else {          } else {
                                         d = t;            d = t;
                                         mulp(CO,dn,tdn,&tdn1); dn = tdn1;            mulp(CO,dn,tdn,&tdn1); dn = tdn1;
                                 }          }
                                 break;          break;
                         }        }
                 }      }
                 if ( u )      if ( u )
                         g = u;        g = u;
                 else if ( !full ) {      else if ( !full ) {
                         if ( g ) {        if ( g ) {
                                 MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t;          MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t;
                         }        }
                         *rp = g; *dnp = dn; return;        *rp = g; *dnp = dn; return;
                 } else {      } else {
                         m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;        m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;
                         NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;        NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;
                         addd(CO,d,t,&s); d = s;        addd(CO,d,t,&s); d = s;
                         dp_rest(g,&t); g = t;        dp_rest(g,&t); g = t;
                 }      }
         }    }
         if ( d )    if ( d )
                 d->sugar = sugar;      d->sugar = sugar;
         *rp = d; *dnp = dn;    *rp = d; *dnp = dn;
 }  }
   
 void dp_removecont2(DP p1,DP p2,DP *r1p,DP *r2p,Q *contp)  void dp_removecont2(DP p1,DP p2,DP *r1p,DP *r2p,Q *contp)
 {  {
         struct oVECT v;    struct oVECT v;
         int i,n1,n2,n;    int i,n1,n2,n;
         MP m,m0,t;    MP m,m0,t;
         Q *w;    Q *w;
         Q h;    Q h;
   
         if ( p1 ) {    if ( p1 ) {
                 for ( i = 0, m = BDY(p1); m; m = NEXT(m), i++ );      for ( i = 0, m = BDY(p1); m; m = NEXT(m), i++ );
                 n1 = i;      n1 = i;
         } else    } else
                 n1 = 0;      n1 = 0;
         if ( p2 ) {    if ( p2 ) {
                 for ( i = 0, m = BDY(p2); m; m = NEXT(m), i++ );      for ( i = 0, m = BDY(p2); m; m = NEXT(m), i++ );
                 n2 = i;      n2 = i;
         } else    } else
                 n2 = 0;      n2 = 0;
         n = n1+n2;    n = n1+n2;
         if ( !n ) {    if ( !n ) {
                 *r1p = 0; *r2p = 0; *contp = ONE; return;      *r1p = 0; *r2p = 0; *contp = ONE; return;
         }    }
         w = (Q *)ALLOCA(n*sizeof(Q));    w = (Q *)ALLOCA(n*sizeof(Q));
         v.len = n;    v.len = n;
         v.body = (pointer *)w;    v.body = (pointer *)w;
         i = 0;    i = 0;
         if ( p1 )    if ( p1 )
                 for ( m = BDY(p1); i < n1; m = NEXT(m), i++ ) w[i] = (Q)m->c;      for ( m = BDY(p1); i < n1; m = NEXT(m), i++ ) w[i] = (Q)m->c;
         if ( p2 )    if ( p2 )
                 for ( m = BDY(p2); i < n; m = NEXT(m), i++ ) w[i] = (Q)m->c;      for ( m = BDY(p2); i < n; m = NEXT(m), i++ ) w[i] = (Q)m->c;
         h = w[0]; removecont_array((P *)w,n,1); divq(h,w[0],contp);    h = w[0]; removecont_array((P *)w,n,1); divq(h,w[0],contp);
         i = 0;    i = 0;
         if ( p1 ) {    if ( p1 ) {
                 for ( m0 = 0, t = BDY(p1); i < n1; i++, t = NEXT(t) ) {      for ( m0 = 0, t = BDY(p1); i < n1; i++, t = NEXT(t) ) {
                         NEXTMP(m0,m); m->c = (P)w[i]; m->dl = t->dl;        NEXTMP(m0,m); m->c = (Obj)w[i]; m->dl = t->dl;
                 }      }
                 NEXT(m) = 0;      NEXT(m) = 0;
                 MKDP(p1->nv,m0,*r1p); (*r1p)->sugar = p1->sugar;      MKDP(p1->nv,m0,*r1p); (*r1p)->sugar = p1->sugar;
         } else    } else
                 *r1p = 0;      *r1p = 0;
         if ( p2 ) {    if ( p2 ) {
                 for ( m0 = 0, t = BDY(p2); i < n; i++, t = NEXT(t) ) {      for ( m0 = 0, t = BDY(p2); i < n; i++, t = NEXT(t) ) {
                         NEXTMP(m0,m); m->c = (P)w[i]; m->dl = t->dl;        NEXTMP(m0,m); m->c = (Obj)w[i]; m->dl = t->dl;
                 }      }
                 NEXT(m) = 0;      NEXT(m) = 0;
                 MKDP(p2->nv,m0,*r2p); (*r2p)->sugar = p2->sugar;      MKDP(p2->nv,m0,*r2p); (*r2p)->sugar = p2->sugar;
         } else    } else
                 *r2p = 0;      *r2p = 0;
 }  }
   
 /* true nf by a marked GB */  /* true nf by a marked GB */
   
 void dp_true_nf_marked(NODE b,DP g,DP *ps,DP *hps,DP *rp,P *nmp,P *dnp)  void dp_true_nf_marked(NODE b,DP g,DP *ps,DP *hps,DP *rp,P *nmp,P *dnp)
 {  {
         DP u,p,d,s,t,dmy,hp;    DP u,p,d,s,t,dmy,hp;
         NODE l;    NODE l;
         MP m,mr;    MP m,mr;
         int i,n,hmag;    int i,n,hmag;
         int *wb;    int *wb;
         int sugar,psugar,multiple;    int sugar,psugar,multiple;
         P nm,tnm1,dn,tdn,tdn1;    P nm,tnm1,dn,tdn,tdn1;
         Q cont;    Q cont;
   
         multiple = 0;    multiple = 0;
         hmag = multiple*HMAG(g);    hmag = multiple*HMAG(g);
         nm = (P)ONE;    nm = (P)ONE;
         dn = (P)ONE;    dn = (P)ONE;
         if ( !g ) {    if ( !g ) {
                 *rp = 0; *dnp = dn; return;      *rp = 0; *dnp = dn; return;
         }    }
         for ( n = 0, l = b; l; l = NEXT(l), n++ );    for ( n = 0, l = b; l; l = NEXT(l), n++ );
         wb = (int *)ALLOCA(n*sizeof(int));    wb = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, l = b; i < n; l = NEXT(l), i++ )    for ( i = 0, l = b; i < n; l = NEXT(l), i++ )
                 wb[i] = QTOS((Q)BDY(l));      wb[i] = QTOS((Q)BDY(l));
         sugar = g->sugar;    sugar = g->sugar;
         for ( d = 0; g; ) {    for ( d = 0; g; ) {
                 for ( u = 0, i = 0; i < n; i++ ) {      for ( u = 0, i = 0; i < n; i++ ) {
                         if ( dp_redble(g,hp = hps[wb[i]]) ) {        if ( dp_redble(g,hp = hps[wb[i]]) ) {
                                 p = ps[wb[i]];          p = ps[wb[i]];
                                 dp_red_marked(d,g,p,hp,&t,&u,&tdn,&dmy);          dp_red_marked(d,g,p,hp,&t,&u,&tdn,&dmy);
                                 psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;          psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
                                 sugar = MAX(sugar,psugar);          sugar = MAX(sugar,psugar);
                                 if ( !u ) {          if ( !u ) {
                                         goto last;            goto last;
                                 } else {          } else {
                                         d = t;            d = t;
                                         mulp(CO,dn,tdn,&tdn1); dn = tdn1;            mulp(CO,dn,tdn,&tdn1); dn = tdn1;
                                 }          }
                                 break;          break;
                         }        }
                 }      }
                 if ( u ) {      if ( u ) {
                         g = u;        g = u;
                         if ( multiple && ((d && HMAG(d)>hmag) || (HMAG(g)>hmag)) ) {        if ( multiple && ((d && HMAG(d)>hmag) || (HMAG(g)>hmag)) ) {
                                 dp_removecont2(d,g,&t,&u,&cont); d = t; g = u;          dp_removecont2(d,g,&t,&u,&cont); d = t; g = u;
                                 mulp(CO,nm,(P)cont,&tnm1); nm = tnm1;          mulp(CO,nm,(P)cont,&tnm1); nm = tnm1;
                                 if ( d )          if ( d )
                                         hmag = multiple*HMAG(d);            hmag = multiple*HMAG(d);
                                 else          else
                                         hmag = multiple*HMAG(g);            hmag = multiple*HMAG(g);
                         }        }
                 } else {      } else {
                         m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;        m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;
                         NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;        NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;
                         addd(CO,d,t,&s); d = s;        addd(CO,d,t,&s); d = s;
                         dp_rest(g,&t); g = t;        dp_rest(g,&t); g = t;
                 }      }
         }    }
 last:  last:
         if ( d ) {    if ( d ) {
                 dp_removecont2(d,0,&t,&u,&cont); d = t;      dp_removecont2(d,0,&t,&u,&cont); d = t;
                 mulp(CO,nm,(P)cont,&tnm1); nm = tnm1;      mulp(CO,nm,(P)cont,&tnm1); nm = tnm1;
                 d->sugar = sugar;      d->sugar = sugar;
         }    }
         *rp = d; *nmp = nm; *dnp = dn;    *rp = d; *nmp = nm; *dnp = dn;
 }  }
   
 void dp_true_nf_marked_mod(NODE b,DP g,DP *ps,DP *hps,int mod,DP *rp,P *dnp)  void dp_true_nf_marked_mod(NODE b,DP g,DP *ps,DP *hps,int mod,DP *rp,P *dnp)
 {  {
         DP hp,u,p,d,s,t;    DP hp,u,p,d,s,t,dmy;
         NODE l;    NODE l;
         MP m,mr;    MP m,mr;
         int i,n;    int i,n;
         int *wb;    int *wb;
         int sugar,psugar;    int sugar,psugar;
         P dn,tdn,tdn1;    P dn,tdn,tdn1;
   
         dn = (P)ONEM;    dn = (P)ONEM;
         if ( !g ) {    if ( !g ) {
                 *rp = 0; *dnp = dn; return;      *rp = 0; *dnp = dn; return;
         }    }
         for ( n = 0, l = b; l; l = NEXT(l), n++ );    for ( n = 0, l = b; l; l = NEXT(l), n++ );
                 wb = (int *)ALLOCA(n*sizeof(int));      wb = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, l = b; i < n; l = NEXT(l), i++ )    for ( i = 0, l = b; i < n; l = NEXT(l), i++ )
                 wb[i] = QTOS((Q)BDY(l));      wb[i] = QTOS((Q)BDY(l));
         sugar = g->sugar;    sugar = g->sugar;
         for ( d = 0; g; ) {    for ( d = 0; g; ) {
                 for ( u = 0, i = 0; i < n; i++ ) {      for ( u = 0, i = 0; i < n; i++ ) {
                         if ( dp_redble(g,hp = hps[wb[i]]) ) {        if ( dp_redble(g,hp = hps[wb[i]]) ) {
                                 p = ps[wb[i]];          p = ps[wb[i]];
                                 dp_red_marked_mod(d,g,p,hp,mod,&t,&u,&tdn);          dp_red_marked_mod(d,g,p,hp,mod,&t,&u,&tdn,&dmy);
                                 psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;          psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
                                 sugar = MAX(sugar,psugar);          sugar = MAX(sugar,psugar);
                                 if ( !u ) {          if ( !u ) {
                                         if ( d )            if ( d )
                                                 d->sugar = sugar;              d->sugar = sugar;
                                         *rp = d; *dnp = dn; return;            *rp = d; *dnp = dn; return;
                                 } else {          } else {
                                         d = t;            d = t;
                                         mulmp(CO,mod,dn,tdn,&tdn1); dn = tdn1;            mulmp(CO,mod,dn,tdn,&tdn1); dn = tdn1;
                                 }          }
                                 break;          break;
                         }        }
                 }      }
                 if ( u )      if ( u )
                         g = u;        g = u;
                 else {      else {
                         m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;        m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;
                         NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;        NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;
                         addmd(CO,mod,d,t,&s); d = s;        addmd(CO,mod,d,t,&s); d = s;
                         dp_rest(g,&t); g = t;        dp_rest(g,&t); g = t;
                 }      }
         }    }
         if ( d )    if ( d )
                 d->sugar = sugar;      d->sugar = sugar;
         *rp = d; *dnp = dn;    *rp = d; *dnp = dn;
 }  }
   
 /* true nf by a marked GB and collect quotients */  /* true nf by a marked GB and collect quotients */
   
 DP *dp_true_nf_and_quotient_marked (NODE b,DP g,DP *ps,DP *hps,DP *rp,P *dnp)  DP *dp_true_nf_and_quotient_marked (NODE b,DP g,DP *ps,DP *hps,DP *rp,P *dnp)
 {  {
         DP u,p,d,s,t,dmy,hp,mult;    DP u,p,d,s,t,dmy,hp,mult;
         DP *q;    DP *q;
         NODE l;    NODE l;
         MP m,mr;    MP m,mr;
         int i,n,j;    int i,n,j;
         int *wb;    int *wb;
         int sugar,psugar,multiple;    int sugar,psugar,multiple;
         P nm,tnm1,dn,tdn,tdn1;    P nm,tnm1,dn,tdn,tdn1;
         Q cont;    Q cont;
   
         dn = (P)ONE;    dn = (P)ONE;
         if ( !g ) {    if ( !g ) {
                 *rp = 0; *dnp = dn; return;      *rp = 0; *dnp = dn; return 0;
         }    }
         for ( n = 0, l = b; l; l = NEXT(l), n++ );    for ( n = 0, l = b; l; l = NEXT(l), n++ );
         wb = (int *)ALLOCA(n*sizeof(int));    wb = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, l = b; i < n; l = NEXT(l), i++ )    for ( i = 0, l = b; i < n; l = NEXT(l), i++ )
                 wb[i] = QTOS((Q)BDY(l));      wb[i] = QTOS((Q)BDY(l));
         q = (DP *)MALLOC(n*sizeof(DP));    q = (DP *)MALLOC(n*sizeof(DP));
         for ( i = 0; i < n; i++ ) q[i] = 0;    for ( i = 0; i < n; i++ ) q[i] = 0;
         sugar = g->sugar;    sugar = g->sugar;
         for ( d = 0; g; ) {    for ( d = 0; g; ) {
                 for ( u = 0, i = 0; i < n; i++ ) {      for ( u = 0, i = 0; i < n; i++ ) {
                         if ( dp_redble(g,hp = hps[wb[i]]) ) {        if ( dp_redble(g,hp = hps[wb[i]]) ) {
                                 p = ps[wb[i]];          p = ps[wb[i]];
                                 dp_red_marked(d,g,p,hp,&t,&u,&tdn,&mult);          dp_red_marked(d,g,p,hp,&t,&u,&tdn,&mult);
                                 psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;          psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
                                 sugar = MAX(sugar,psugar);          sugar = MAX(sugar,psugar);
                                 for ( j = 0; j < n; j++ ) {          for ( j = 0; j < n; j++ ) {
                                         muldc(CO,q[j],(P)tdn,&dmy); q[j] = dmy;            muldc(CO,q[j],(Obj)tdn,&dmy); q[j] = dmy;
                                 }          }
                                 addd(CO,q[wb[i]],mult,&dmy); q[wb[i]] = dmy;          addd(CO,q[wb[i]],mult,&dmy); q[wb[i]] = dmy;
                                 mulp(CO,dn,tdn,&tdn1); dn = tdn1;          mulp(CO,dn,tdn,&tdn1); dn = tdn1;
                                 d = t;          d = t;
                                 if ( !u ) goto last;          if ( !u ) goto last;
                                 break;          break;
                         }        }
                 }      }
                 if ( u ) {      if ( u ) {
                         g = u;        g = u;
                 } else {      } else {
                         m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;        m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;
                         NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;        NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;
                         addd(CO,d,t,&s); d = s;        addd(CO,d,t,&s); d = s;
                         dp_rest(g,&t); g = t;        dp_rest(g,&t); g = t;
                 }      }
         }    }
 last:  last:
         if ( d ) d->sugar = sugar;    if ( d ) d->sugar = sugar;
         *rp = d; *dnp = dn;    *rp = d; *dnp = dn;
         return q;    return q;
 }  }
   
   DP *dp_true_nf_and_quotient_marked_mod(NODE b,DP g,DP *ps,DP *hps,int mod,DP *rp,P *dnp)
   {
     DP u,p,d,s,t,dmy,hp,mult;
     DP *q;
     NODE l;
     MP m,mr;
     int i,n,j;
     int *wb;
     int sugar,psugar;
     P dn,tdn,tdn1;
   
     for ( n = 0, l = b; l; l = NEXT(l), n++ );
     q = (DP *)MALLOC(n*sizeof(DP));
     for ( i = 0; i < n; i++ ) q[i] = 0;
     dn = (P)ONEM;
     if ( !g ) {
       *rp = 0; *dnp = dn; return 0;
     }
     wb = (int *)ALLOCA(n*sizeof(int));
     for ( i = 0, l = b; i < n; l = NEXT(l), i++ )
       wb[i] = QTOS((Q)BDY(l));
     sugar = g->sugar;
     for ( d = 0; g; ) {
       for ( u = 0, i = 0; i < n; i++ ) {
         if ( dp_redble(g,hp = hps[wb[i]]) ) {
           p = ps[wb[i]];
           dp_red_marked_mod(d,g,p,hp,mod,&t,&u,&tdn,&mult);
           psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
           sugar = MAX(sugar,psugar);
           for ( j = 0; j < n; j++ ) {
             mulmdc(CO,mod,q[j],(P)tdn,&dmy); q[j] = dmy;
           }
           addmd(CO,mod,q[wb[i]],mult,&dmy); q[wb[i]] = dmy;
           mulmp(CO,mod,dn,tdn,&tdn1); dn = tdn1;
           d = t;
           if ( !u ) goto last;
           break;
         }
       }
       if ( u )
         g = u;
       else {
         m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;
         NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;
         addmd(CO,mod,d,t,&s); d = s;
         dp_rest(g,&t); g = t;
       }
     }
   last:
     if ( d )
       d->sugar = sugar;
     *rp = d; *dnp = dn;
     return q;
   }
   
 /* nf computation over Z */  /* nf computation over Z */
   
 void dp_nf_z(NODE b,DP g,DP *ps,int full,int multiple,DP *rp)  void dp_nf_z(NODE b,DP g,DP *ps,int full,int multiple,DP *rp)
 {  {
         DP u,p,d,s,t,dmy1;    DP u,p,d,s,t,dmy1;
         P dmy;    P dmy;
         NODE l;    NODE l;
         MP m,mr;    MP m,mr;
         int i,n;    int i,n;
         int *wb;    int *wb;
         int hmag;    int hmag;
         int sugar,psugar;    int sugar,psugar;
   
         if ( !g ) {    if ( !g ) {
                 *rp = 0; return;      *rp = 0; return;
         }    }
         for ( n = 0, l = b; l; l = NEXT(l), n++ );    for ( n = 0, l = b; l; l = NEXT(l), n++ );
         wb = (int *)ALLOCA(n*sizeof(int));    wb = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, l = b; i < n; l = NEXT(l), i++ )    for ( i = 0, l = b; i < n; l = NEXT(l), i++ )
                 wb[i] = QTOS((Q)BDY(l));      wb[i] = QTOS((Q)BDY(l));
   
         hmag = multiple*HMAG(g);    hmag = multiple*HMAG(g);
         sugar = g->sugar;    sugar = g->sugar;
   
         for ( d = 0; g; ) {    for ( d = 0; g; ) {
                 for ( u = 0, i = 0; i < n; i++ ) {      for ( u = 0, i = 0; i < n; i++ ) {
                         if ( dp_redble(g,p = ps[wb[i]]) ) {        if ( dp_redble(g,p = ps[wb[i]]) ) {
                                 dp_red(d,g,p,&t,&u,&dmy,&dmy1);          dp_red(d,g,p,&t,&u,&dmy,&dmy1);
                                 psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;          psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
                                 sugar = MAX(sugar,psugar);          sugar = MAX(sugar,psugar);
                                 if ( !u ) {          if ( !u ) {
                                         if ( d )            if ( d )
                                                 d->sugar = sugar;              d->sugar = sugar;
                                         *rp = d; return;            *rp = d; return;
                                 }          }
                                 d = t;          d = t;
                                 break;          break;
                         }        }
                 }      }
                 if ( u ) {      if ( u ) {
                         g = u;        g = u;
                         if ( d ) {        if ( d ) {
                                 if ( multiple && HMAG(d) > hmag ) {          if ( multiple && HMAG(d) > hmag ) {
                                         dp_ptozp2(d,g,&t,&u); d = t; g = u;            dp_ptozp2(d,g,&t,&u); d = t; g = u;
                                         hmag = multiple*HMAG(d);            hmag = multiple*HMAG(d);
                                 }          }
                         } else {        } else {
                                 if ( multiple && HMAG(g) > hmag ) {          if ( multiple && HMAG(g) > hmag ) {
                                         dp_ptozp(g,&t); g = t;            dp_ptozp(g,&t); g = t;
                                         hmag = multiple*HMAG(g);            hmag = multiple*HMAG(g);
                                 }          }
                         }        }
                 }      }
                 else if ( !full ) {      else if ( !full ) {
                         if ( g ) {        if ( g ) {
                                 MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t;          MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t;
                         }        }
                         *rp = g; return;        *rp = g; return;
                 } else {      } else {
                         m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;        m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;
                         NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;        NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;
                         addd(CO,d,t,&s); d = s;        addd(CO,d,t,&s); d = s;
                         dp_rest(g,&t); g = t;        dp_rest(g,&t); g = t;
   
                 }      }
         }    }
         if ( d )    if ( d )
                 d->sugar = sugar;      d->sugar = sugar;
         *rp = d;    *rp = d;
 }  }
   
   void dpm_nf_z(NODE b,DPM g,DPM *ps,int full,int multiple,DPM *rp)
   {
     DPM u,p,d,s,t;
     DP dmy1;
     P dmy;
     NODE l;
     DMM m,mr;
     int i,n;
     int *wb;
     int hmag;
     int sugar,psugar;
   
     if ( !g ) {
       *rp = 0; return;
     }
     for ( n = 0, l = b; l; l = NEXT(l), n++ );
     wb = (int *)ALLOCA(n*sizeof(int));
     for ( i = 0, l = b; i < n; l = NEXT(l), i++ )
       wb[i] = QTOS((Q)BDY(l));
   
     hmag = multiple*HMAG(g);
     sugar = g->sugar;
   
     for ( d = 0; g; ) {
       for ( u = 0, i = 0; i < n; i++ ) {
         if ( dpm_redble(g,p = ps[wb[i]]) ) {
           dpm_red(d,g,p,&t,&u,&dmy,&dmy1);
           psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
           sugar = MAX(sugar,psugar);
           if ( !u ) {
             if ( d )
               d->sugar = sugar;
             *rp = d; return;
           }
           d = t;
           break;
         }
       }
       if ( u ) {
         g = u;
         if ( d ) {
           if ( multiple && HMAG(d) > hmag ) {
             dpm_ptozp2(d,g,&t,&u); d = t; g = u;
             hmag = multiple*HMAG(d);
           }
         } else {
           if ( multiple && HMAG(g) > hmag ) {
             dpm_ptozp(g,&t); g = t;
             hmag = multiple*HMAG(g);
           }
         }
       }
       else if ( !full ) {
         if ( g ) {
           MKDPM(g->nv,BDY(g),t); t->sugar = sugar; g = t;
         }
         *rp = g; return;
       } else {
         m = BDY(g); NEWDMM(mr); mr->dl = m->dl; mr->c = m->c; mr->pos = m->pos;
         NEXT(mr) = 0; MKDPM(g->nv,mr,t); t->sugar = mr->dl->td;
         adddpm(CO,d,t,&s); d = s;
         dpm_rest(g,&t); g = t;
       }
     }
     if ( d )
       d->sugar = sugar;
     *rp = d;
   }
   
 /* nf computation over a field */  /* nf computation over a field */
   
 void dp_nf_f(NODE b,DP g,DP *ps,int full,DP *rp)  void dp_nf_f(NODE b,DP g,DP *ps,int full,DP *rp)
 {  {
         DP u,p,d,s,t;    DP u,p,d,s,t;
         NODE l;    NODE l;
         MP m,mr;    MP m,mr;
         int i,n;    int i,n;
         int *wb;    int *wb;
         int sugar,psugar;    int sugar,psugar;
   
         if ( !g ) {    if ( !g ) {
                 *rp = 0; return;      *rp = 0; return;
         }    }
         for ( n = 0, l = b; l; l = NEXT(l), n++ );    for ( n = 0, l = b; l; l = NEXT(l), n++ );
         wb = (int *)ALLOCA(n*sizeof(int));    wb = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, l = b; i < n; l = NEXT(l), i++ )    for ( i = 0, l = b; i < n; l = NEXT(l), i++ )
                 wb[i] = QTOS((Q)BDY(l));      wb[i] = QTOS((Q)BDY(l));
   
         sugar = g->sugar;    sugar = g->sugar;
         for ( d = 0; g; ) {    for ( d = 0; g; ) {
                 for ( u = 0, i = 0; i < n; i++ ) {      for ( u = 0, i = 0; i < n; i++ ) {
                         if ( dp_redble(g,p = ps[wb[i]]) ) {        if ( dp_redble(g,p = ps[wb[i]]) ) {
                                 dp_red_f(g,p,&u);          dp_red_f(g,p,&u);
                                 psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;          psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
                                 sugar = MAX(sugar,psugar);          sugar = MAX(sugar,psugar);
                                 if ( !u ) {          if ( !u ) {
                                         if ( d )            if ( d )
                                                 d->sugar = sugar;              d->sugar = sugar;
                                         *rp = d; return;            *rp = d; return;
                                 }          }
                                 break;          break;
                         }        }
                 }      }
                 if ( u )      if ( u )
                         g = u;        g = u;
                 else if ( !full ) {      else if ( !full ) {
                         if ( g ) {        if ( g ) {
                                 MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t;          MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t;
                         }        }
                         *rp = g; return;        *rp = g; return;
                 } else {      } else {
                         m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;        m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;
                         NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;        NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;
                         addd(CO,d,t,&s); d = s;        addd(CO,d,t,&s); d = s;
                         dp_rest(g,&t); g = t;        dp_rest(g,&t); g = t;
                 }      }
         }    }
         if ( d )    if ( d )
                 d->sugar = sugar;      d->sugar = sugar;
         *rp = d;    *rp = d;
 }  }
   
   void dpm_nf_f(NODE b,DPM g,DPM *ps,int full,DPM *rp)
   {
     DPM u,p,d,s,t;
     NODE l;
     DMM m,mr;
     int i,n;
     int *wb;
     int sugar,psugar;
   
     if ( !g ) {
       *rp = 0; return;
     }
     for ( n = 0, l = b; l; l = NEXT(l), n++ );
     wb = (int *)ALLOCA(n*sizeof(int));
     for ( i = 0, l = b; i < n; l = NEXT(l), i++ )
       wb[i] = QTOS((Q)BDY(l));
   
     sugar = g->sugar;
     for ( d = 0; g; ) {
       for ( u = 0, i = 0; i < n; i++ ) {
         if ( dpm_redble(g,p = ps[wb[i]]) ) {
           dpm_red_f(g,p,&u);
           psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
           sugar = MAX(sugar,psugar);
           if ( !u ) {
             if ( d )
               d->sugar = sugar;
             *rp = d; return;
           }
           break;
         }
       }
       if ( u )
         g = u;
       else if ( !full ) {
         if ( g ) {
           MKDPM(g->nv,BDY(g),t); t->sugar = sugar; g = t;
         }
         *rp = g; return;
       } else {
         m = BDY(g); NEWDMM(mr); mr->dl = m->dl; mr->c = m->c; mr->pos = m->pos;
         NEXT(mr) = 0; MKDPM(g->nv,mr,t); t->sugar = mr->dl->td;
         adddpm(CO,d,t,&s); d = s;
         dpm_rest(g,&t); g = t;
       }
     }
     if ( d )
       d->sugar = sugar;
     *rp = d;
   }
   
 /* nf computation over GF(mod) (only for internal use) */  /* nf computation over GF(mod) (only for internal use) */
   
 void dp_nf_mod(NODE b,DP g,DP *ps,int mod,int full,DP *rp)  void dp_nf_mod(NODE b,DP g,DP *ps,int mod,int full,DP *rp)
 {  {
         DP u,p,d,s,t;    DP u,p,d,s,t;
         P dmy;    P dmy;
         NODE l;    NODE l;
         MP m,mr;    MP m,mr;
         int sugar,psugar;    int sugar,psugar;
   
         if ( !g ) {    if ( !g ) {
                 *rp = 0; return;      *rp = 0; return;
         }    }
         sugar = g->sugar;    sugar = g->sugar;
         for ( d = 0; g; ) {    for ( d = 0; g; ) {
                 for ( u = 0, l = b; l; l = NEXT(l) ) {      for ( u = 0, l = b; l; l = NEXT(l) ) {
                         if ( dp_redble(g,p = ps[(int)BDY(l)]) ) {        if ( dp_redble(g,p = ps[(int)BDY(l)]) ) {
                                 dp_red_mod(d,g,p,mod,&t,&u,&dmy);          dp_red_mod(d,g,p,mod,&t,&u,&dmy);
                                 psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;          psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
                                 sugar = MAX(sugar,psugar);          sugar = MAX(sugar,psugar);
                                 if ( !u ) {          if ( !u ) {
                                         if ( d )            if ( d )
                                                 d->sugar = sugar;              d->sugar = sugar;
                                         *rp = d; return;            *rp = d; return;
                                 }          }
                                 d = t;          d = t;
                                 break;          break;
                         }        }
                 }      }
                 if ( u )      if ( u )
                         g = u;        g = u;
                 else if ( !full ) {      else if ( !full ) {
                         if ( g ) {        if ( g ) {
                                 MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t;          MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t;
                         }        }
                         *rp = g; return;        *rp = g; return;
                 } else {      } else {
                         m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;        m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;
                         NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;        NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;
                         addmd(CO,mod,d,t,&s); d = s;        addmd(CO,mod,d,t,&s); d = s;
                         dp_rest(g,&t); g = t;        dp_rest(g,&t); g = t;
                 }      }
         }    }
         if ( d )    if ( d )
                 d->sugar = sugar;      d->sugar = sugar;
         *rp = d;    *rp = d;
 }  }
   
 void dp_true_nf_mod(NODE b,DP g,DP *ps,int mod,int full,DP *rp,P *dnp)  void dp_true_nf_mod(NODE b,DP g,DP *ps,int mod,int full,DP *rp,P *dnp)
 {  {
         DP u,p,d,s,t;    DP u,p,d,s,t;
         NODE l;    NODE l;
         MP m,mr;    MP m,mr;
         int i,n;    int i,n;
         int *wb;    int *wb;
         int sugar,psugar;    int sugar,psugar;
         P dn,tdn,tdn1;    P dn,tdn,tdn1;
   
         dn = (P)ONEM;    dn = (P)ONEM;
         if ( !g ) {    if ( !g ) {
                 *rp = 0; *dnp = dn; return;      *rp = 0; *dnp = dn; return;
         }    }
         for ( n = 0, l = b; l; l = NEXT(l), n++ );    for ( n = 0, l = b; l; l = NEXT(l), n++ );
                 wb = (int *)ALLOCA(n*sizeof(int));      wb = (int *)ALLOCA(n*sizeof(int));
         for ( i = 0, l = b; i < n; l = NEXT(l), i++ )    for ( i = 0, l = b; i < n; l = NEXT(l), i++ )
                 wb[i] = QTOS((Q)BDY(l));      wb[i] = QTOS((Q)BDY(l));
         sugar = g->sugar;    sugar = g->sugar;
         for ( d = 0; g; ) {    for ( d = 0; g; ) {
                 for ( u = 0, i = 0; i < n; i++ ) {      for ( u = 0, i = 0; i < n; i++ ) {
                         if ( dp_redble(g,p = ps[wb[i]]) ) {        if ( dp_redble(g,p = ps[wb[i]]) ) {
                                 dp_red_mod(d,g,p,mod,&t,&u,&tdn);          dp_red_mod(d,g,p,mod,&t,&u,&tdn);
                                 psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;          psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
                                 sugar = MAX(sugar,psugar);          sugar = MAX(sugar,psugar);
                                 if ( !u ) {          if ( !u ) {
                                         if ( d )            if ( d )
                                                 d->sugar = sugar;              d->sugar = sugar;
                                         *rp = d; *dnp = dn; return;            *rp = d; *dnp = dn; return;
                                 } else {          } else {
                                         d = t;            d = t;
                                         mulmp(CO,mod,dn,tdn,&tdn1); dn = tdn1;            mulmp(CO,mod,dn,tdn,&tdn1); dn = tdn1;
                                 }          }
                                 break;          break;
                         }        }
                 }      }
                 if ( u )      if ( u )
                         g = u;        g = u;
                 else if ( !full ) {      else if ( !full ) {
                         if ( g ) {        if ( g ) {
                                 MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t;          MKDP(g->nv,BDY(g),t); t->sugar = sugar; g = t;
                         }        }
                         *rp = g; *dnp = dn; return;        *rp = g; *dnp = dn; return;
                 } else {      } else {
                         m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;        m = BDY(g); NEWMP(mr); mr->dl = m->dl; mr->c = m->c;
                         NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;        NEXT(mr) = 0; MKDP(g->nv,mr,t); t->sugar = mr->dl->td;
                         addmd(CO,mod,d,t,&s); d = s;        addmd(CO,mod,d,t,&s); d = s;
                         dp_rest(g,&t); g = t;        dp_rest(g,&t); g = t;
                 }      }
         }    }
         if ( d )    if ( d )
                 d->sugar = sugar;      d->sugar = sugar;
         *rp = d; *dnp = dn;    *rp = d; *dnp = dn;
 }  }
   
 void _dp_nf_mod_destructive(NODE b,DP g,DP *ps,int mod,int full,DP *rp)  void _dp_nf_mod_destructive(NODE b,DP g,DP *ps,int mod,int full,DP *rp)
 {  {
         DP u,p,d;    DP u,p,d;
         NODE l;    NODE l;
         MP m,mrd;    MP m,mrd;
         int sugar,psugar,n,h_reducible;    int sugar,psugar,n,h_reducible;
   
         if ( !g ) {    if ( !g ) {
                 *rp = 0; return;      *rp = 0; return;
         }    }
         sugar = g->sugar;    sugar = g->sugar;
         n = g->nv;    n = g->nv;
         for ( d = 0; g; ) {    for ( d = 0; g; ) {
                 for ( h_reducible = 0, l = b; l; l = NEXT(l) ) {      for ( h_reducible = 0, l = b; l; l = NEXT(l) ) {
                         if ( dp_redble(g,p = ps[(int)BDY(l)]) ) {        if ( dp_redble(g,p = ps[(int)BDY(l)]) ) {
                                 h_reducible = 1;          h_reducible = 1;
                                 psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;          psugar = (BDY(g)->dl->td - BDY(p)->dl->td) + p->sugar;
                                 _dp_red_mod_destructive(g,p,mod,&u); g = u;          _dp_red_mod_destructive(g,p,mod,&u); g = u;
                                 sugar = MAX(sugar,psugar);          sugar = MAX(sugar,psugar);
                                 if ( !g ) {          if ( !g ) {
                                         if ( d )            if ( d )
                                                 d->sugar = sugar;              d->sugar = sugar;
                                         _dptodp(d,rp); _free_dp(d); return;            _dptodp(d,rp); _free_dp(d); return;
                                 }          }
                                 break;          break;
                         }        }
                 }      }
                 if ( !h_reducible ) {      if ( !h_reducible ) {
                         /* head term is not reducible */        /* head term is not reducible */
                         if ( !full ) {        if ( !full ) {
                                 if ( g )          if ( g )
                                         g->sugar = sugar;            g->sugar = sugar;
                                 _dptodp(g,rp); _free_dp(g); return;          _dptodp(g,rp); _free_dp(g); return;
                         } else {        } else {
                                 m = BDY(g);          m = BDY(g);
                                 if ( NEXT(m) ) {          if ( NEXT(m) ) {
                                         BDY(g) = NEXT(m); NEXT(m) = 0;            BDY(g) = NEXT(m); NEXT(m) = 0;
                                 } else {          } else {
                                         _FREEDP(g); g = 0;            _FREEDP(g); g = 0;
                                 }          }
                                 if ( d ) {          if ( d ) {
                                         for ( mrd = BDY(d); NEXT(mrd); mrd = NEXT(mrd) );            for ( mrd = BDY(d); NEXT(mrd); mrd = NEXT(mrd) );
                                         NEXT(mrd) = m;            NEXT(mrd) = m;
                                 } else {          } else {
                                         _MKDP(n,m,d);            _MKDP(n,m,d);
                                 }          }
                         }        }
                 }      }
         }    }
         if ( d )    if ( d )
                 d->sugar = sugar;      d->sugar = sugar;
         _dptodp(d,rp); _free_dp(d);    _dptodp(d,rp); _free_dp(d);
 }  }
   
 /* reduction by linear base over a field */  /* reduction by linear base over a field */
   
 void dp_lnf_f(DP p1,DP p2,NODE g,DP *r1p,DP *r2p)  void dp_lnf_f(DP p1,DP p2,NODE g,DP *r1p,DP *r2p)
 {  {
         DP r1,r2,b1,b2,t,s;    DP r1,r2,b1,b2,t,s;
         Obj c,c1,c2;    Obj c,c1,c2;
         NODE l,b;    NODE l,b;
         int n;    int n;
   
         if ( !p1 ) {    if ( !p1 ) {
                 *r1p = p1; *r2p = p2; return;      *r1p = p1; *r2p = p2; return;
         }    }
         n = p1->nv;    n = p1->nv;
         for ( l = g, r1 = p1, r2 = p2; l; l = NEXT(l) ) {    for ( l = g, r1 = p1, r2 = p2; l; l = NEXT(l) ) {
                         if ( !r1 ) {        if ( !r1 ) {
                                 *r1p = r1; *r2p = r2; return;          *r1p = r1; *r2p = r2; return;
                         }        }
                         b = BDY((LIST)BDY(l)); b1 = (DP)BDY(b);        b = BDY((LIST)BDY(l)); b1 = (DP)BDY(b);
                         if ( dl_equal(n,BDY(r1)->dl,BDY(b1)->dl) ) {        if ( dl_equal(n,BDY(r1)->dl,BDY(b1)->dl) ) {
                                 b2 = (DP)BDY(NEXT(b));          b2 = (DP)BDY(NEXT(b));
                                 divr(CO,(Obj)ONE,(Obj)BDY(b1)->c,&c1);          divr(CO,(Obj)ONE,(Obj)BDY(b1)->c,&c1);
                                 mulr(CO,c1,(Obj)BDY(r1)->c,&c2); chsgnr(c2,&c);          mulr(CO,c1,(Obj)BDY(r1)->c,&c2); chsgnr(c2,&c);
                                 muldc(CO,b1,(P)c,&t); addd(CO,r1,t,&s); r1 = s;          muldc(CO,b1,(Obj)c,&t); addd(CO,r1,t,&s); r1 = s;
                                 muldc(CO,b2,(P)c,&t); addd(CO,r2,t,&s); r2 = s;          muldc(CO,b2,(Obj)c,&t); addd(CO,r2,t,&s); r2 = s;
                         }        }
         }    }
         *r1p = r1; *r2p = r2;    *r1p = r1; *r2p = r2;
 }  }
   
 /* reduction by linear base over GF(mod) */  /* reduction by linear base over GF(mod) */
   
 void dp_lnf_mod(DP p1,DP p2,NODE g,int mod,DP *r1p,DP *r2p)  void dp_lnf_mod(DP p1,DP p2,NODE g,int mod,DP *r1p,DP *r2p)
 {  {
         DP r1,r2,b1,b2,t,s;    DP r1,r2,b1,b2,t,s;
         P c;    P c;
         MQ c1,c2;    MQ c1,c2;
         NODE l,b;    NODE l,b;
         int n;    int n;
   
         if ( !p1 ) {    if ( !p1 ) {
                 *r1p = p1; *r2p = p2; return;      *r1p = p1; *r2p = p2; return;
         }    }
         n = p1->nv;    n = p1->nv;
         for ( l = g, r1 = p1, r2 = p2; l; l = NEXT(l) ) {    for ( l = g, r1 = p1, r2 = p2; l; l = NEXT(l) ) {
                         if ( !r1 ) {        if ( !r1 ) {
                                 *r1p = r1; *r2p = r2; return;          *r1p = r1; *r2p = r2; return;
                         }        }
                         b = BDY((LIST)BDY(l)); b1 = (DP)BDY(b);        b = BDY((LIST)BDY(l)); b1 = (DP)BDY(b);
                         if ( dl_equal(n,BDY(r1)->dl,BDY(b1)->dl) ) {        if ( dl_equal(n,BDY(r1)->dl,BDY(b1)->dl) ) {
                                 b2 = (DP)BDY(NEXT(b));          b2 = (DP)BDY(NEXT(b));
                                 invmq(mod,(MQ)BDY(b1)->c,&c1);          invmq(mod,(MQ)BDY(b1)->c,&c1);
                                 mulmq(mod,c1,(MQ)BDY(r1)->c,&c2); chsgnmp(mod,(P)c2,&c);          mulmq(mod,c1,(MQ)BDY(r1)->c,&c2); chsgnmp(mod,(P)c2,&c);
                                 mulmdc(CO,mod,b1,c,&t); addmd(CO,mod,r1,t,&s); r1 = s;          mulmdc(CO,mod,b1,c,&t); addmd(CO,mod,r1,t,&s); r1 = s;
                                 mulmdc(CO,mod,b2,c,&t); addmd(CO,mod,r2,t,&s); r2 = s;          mulmdc(CO,mod,b2,c,&t); addmd(CO,mod,r2,t,&s); r2 = s;
                         }        }
         }    }
         *r1p = r1; *r2p = r2;    *r1p = r1; *r2p = r2;
 }  }
   
 void dp_nf_tab_mod(DP p,LIST *tab,int mod,DP *rp)  void dp_nf_tab_mod(DP p,LIST *tab,int mod,DP *rp)
 {  {
         DP s,t,u;    DP s,t,u;
         MP m;    MP m;
         DL h;    DL h;
         int i,n;    int i,n;
   
         if ( !p ) {    if ( !p ) {
                 *rp = p; return;      *rp = p; return;
         }    }
         n = p->nv;    n = p->nv;
         for ( s = 0, i = 0, m = BDY(p); m; m = NEXT(m) ) {    for ( s = 0, i = 0, m = BDY(p); m; m = NEXT(m) ) {
                 h = m->dl;      h = m->dl;
                 while ( !dl_equal(n,h,BDY((DP)BDY(BDY(tab[i])))->dl ) )      while ( !dl_equal(n,h,BDY((DP)BDY(BDY(tab[i])))->dl ) )
                         i++;        i++;
                 mulmdc(CO,mod,(DP)BDY(NEXT(BDY(tab[i]))),m->c,&t);      mulmdc(CO,mod,(DP)BDY(NEXT(BDY(tab[i]))),(P)m->c,&t);
                 addmd(CO,mod,s,t,&u); s = u;      addmd(CO,mod,s,t,&u); s = u;
         }    }
         *rp = s;    *rp = s;
 }  }
   
 void dp_nf_tab_f(DP p,LIST *tab,DP *rp)  void dp_nf_tab_f(DP p,LIST *tab,DP *rp)
 {  {
         DP s,t,u;    DP s,t,u;
         MP m;    MP m;
         DL h;    DL h;
         int i,n;    int i,n;
   
         if ( !p ) {    if ( !p ) {
                 *rp = p; return;      *rp = p; return;
         }    }
         n = p->nv;    n = p->nv;
         for ( s = 0, i = 0, m = BDY(p); m; m = NEXT(m) ) {    for ( s = 0, i = 0, m = BDY(p); m; m = NEXT(m) ) {
                 h = m->dl;      h = m->dl;
                 while ( !dl_equal(n,h,BDY((DP)BDY(BDY(tab[i])))->dl ) )      while ( !dl_equal(n,h,BDY((DP)BDY(BDY(tab[i])))->dl ) )
                         i++;        i++;
                 muldc(CO,(DP)BDY(NEXT(BDY(tab[i]))),m->c,&t);      muldc(CO,(DP)BDY(NEXT(BDY(tab[i]))),m->c,&t);
                 addd(CO,s,t,&u); s = u;      addd(CO,s,t,&u); s = u;
         }    }
         *rp = s;    *rp = s;
 }  }
   
 /*  /*
Line 1678  void dp_nf_tab_f(DP p,LIST *tab,DP *rp)
Line 2051  void dp_nf_tab_f(DP p,LIST *tab,DP *rp)
   
 int create_order_spec(VL vl,Obj obj,struct order_spec **specp)  int create_order_spec(VL vl,Obj obj,struct order_spec **specp)
 {  {
         int i,j,n,s,row,col,ret;    int i,j,n,s,row,col,ret,wlen;
         struct order_spec *spec;    struct order_spec *spec;
         struct order_pair *l;    struct order_pair *l;
         NODE node,t,tn;    Obj wp,wm;
         MAT m;    NODE node,t,tn,wpair;
         VECT v;    MAT m;
         pointer **b,*bv;    VECT v;
         int **w;    pointer **b,*bv;
     int **w;
   
         if ( vl && obj && OID(obj) == O_LIST ) {    if ( vl && obj && OID(obj) == O_LIST ) {
                 ret = create_composite_order_spec(vl,(LIST)obj,specp);      ret = create_composite_order_spec(vl,(LIST)obj,specp);
                 if ( show_orderspec )      if ( show_orderspec )
                         print_composite_order_spec(*specp);        print_composite_order_spec(*specp);
                 return ret;      return ret;
         }    }
   
         *specp = spec = (struct order_spec *)MALLOC(sizeof(struct order_spec));    *specp = spec = (struct order_spec *)MALLOC(sizeof(struct order_spec));
         if ( !obj || NUM(obj) ) {    if ( !obj || NUM(obj) ) {
                 spec->id = 0; spec->obj = obj;      spec->id = 0; spec->obj = obj;
                 spec->ord.simple = QTOS((Q)obj);      spec->ord.simple = QTOS((Q)obj);
                 return 1;      return 1;
         } else if ( OID(obj) == O_LIST ) {    } else if ( OID(obj) == O_LIST ) {
                 node = BDY((LIST)obj);      /* module order; obj = [0|1,w,ord] or [0|1,ord] */
                 for ( n = 0, t = node; t; t = NEXT(t), n++ );      node = BDY((LIST)obj);
                 l = (struct order_pair *)MALLOC_ATOMIC(n*sizeof(struct order_pair));      if ( !BDY(node) || NUM(BDY(node)) ) {
                 for ( i = 0, t = node, s = 0; i < n; t = NEXT(t), i++ ) {        switch ( length(node) ) {
                         tn = BDY((LIST)BDY(t)); l[i].order = QTOS((Q)BDY(tn));        case 2:
                         tn = NEXT(tn); l[i].length = QTOS((Q)BDY(tn));          create_order_spec(0,(Obj)BDY(NEXT(node)),&spec);
                         s += l[i].length;          spec->id += 256; spec->obj = obj;
                 }          spec->top_weight = 0;
                 spec->id = 1; spec->obj = obj;          spec->module_rank = 0;
                 spec->ord.block.order_pair = l;          spec->module_top_weight = 0;
                 spec->ord.block.length = n; spec->nv = s;          spec->ispot = (BDY(node)!=0);
                 return 1;          if ( spec->ispot ) {
         } else if ( OID(obj) == O_MAT ) {            n = QTOS((Q)BDY(node));
                 m = (MAT)obj; row = m->row; col = m->col; b = BDY(m);            if ( n < 0 )
                 w = almat(row,col);              spec->pot_nelim = -n;
                 for ( i = 0; i < row; i++ )            else
                         for ( j = 0; j < col; j++ )              spec->pot_nelim = 0;
                                 w[i][j] = QTOS((Q)b[i][j]);          }
                 spec->id = 2; spec->obj = obj;          break;
                 spec->nv = col; spec->ord.matrix.row = row;  
                 spec->ord.matrix.matrix = w;        case 3:
                 return 1;          create_order_spec(0,(Obj)BDY(NEXT(NEXT(node))),&spec);
         } else if ( OID(obj) == O_VECT ) {          spec->id += 256; spec->obj = obj;
                 v = (VECT)obj; bv = BDY(v);          spec->ispot = (BDY(node)!=0);
                 if ( v->len < 2 ) error("create_order_spec : invalid argument");          node = NEXT(node);
                 create_order_spec(0,(Obj)bv[1],&spec);          if ( !BDY(node) || OID(BDY(node)) != O_LIST )
                 spec->id += 256; spec->obj = obj;            error("create_order_spec : [weight_for_poly,weight_for_modlue] must be specified as a module topweight");
                 spec->istop = bv[0]==0;          wpair = BDY((LIST)BDY(node));
                 *specp = spec;          if ( length(wpair) != 2 )
                 return 1;            error("create_order_spec : [weight_for_poly,weight_for_modlue] must be specified as a module topweight");
         } else  
                 return 0;          wp = BDY(wpair);
           wm = BDY(NEXT(wpair));
           if ( !wp || OID(wp) != O_LIST || !wm || OID(wm) != O_LIST )
             error("create_order_spec : [weight_for_poly,weight_for_modlue] must be specified as a module topweight");
           spec->nv = length(BDY((LIST)wp));
           spec->top_weight = (int *)MALLOC_ATOMIC(spec->nv*sizeof(int));
           for ( i = 0, t = BDY((LIST)wp); i < spec->nv; t = NEXT(t), i++ )
             spec->top_weight[i] = QTOS((Q)BDY(t));
   
           spec->module_rank = length(BDY((LIST)wm));
           spec->module_top_weight = (int *)MALLOC_ATOMIC(spec->module_rank*sizeof(int));
           for ( i = 0, t = BDY((LIST)wm); i < spec->module_rank; t = NEXT(t), i++ )
             spec->module_top_weight[i] = QTOS((Q)BDY(t));
           break;
         default:
           error("create_order_spec : invalid arguments for module order");
         }
   
         *specp = spec;
         return 1;
       } else {
         /* block order in polynomial ring */
         for ( n = 0, t = node; t; t = NEXT(t), n++ );
         l = (struct order_pair *)MALLOC_ATOMIC(n*sizeof(struct order_pair));
         for ( i = 0, t = node, s = 0; i < n; t = NEXT(t), i++ ) {
           tn = BDY((LIST)BDY(t)); l[i].order = QTOS((Q)BDY(tn));
           tn = NEXT(tn); l[i].length = QTOS((Q)BDY(tn));
           s += l[i].length;
         }
         spec->id = 1; spec->obj = obj;
         spec->ord.block.order_pair = l;
         spec->ord.block.length = n; spec->nv = s;
         return 1;
       }
     } else if ( OID(obj) == O_MAT ) {
       m = (MAT)obj; row = m->row; col = m->col; b = BDY(m);
       w = almat(row,col);
       for ( i = 0; i < row; i++ )
         for ( j = 0; j < col; j++ )
           w[i][j] = QTOS((Q)b[i][j]);
       spec->id = 2; spec->obj = obj;
       spec->nv = col; spec->ord.matrix.row = row;
       spec->ord.matrix.matrix = w;
       return 1;
     } else
       return 0;
 }  }
   
 void print_composite_order_spec(struct order_spec *spec)  void print_composite_order_spec(struct order_spec *spec)
 {  {
         int nv,n,len,i,j,k,start;    int nv,n,len,i,j,k,start;
         struct weight_or_block *worb;    struct weight_or_block *worb;
   
         nv = spec->nv;    nv = spec->nv;
         n = spec->ord.composite.length;    n = spec->ord.composite.length;
         worb = spec->ord.composite.w_or_b;    worb = spec->ord.composite.w_or_b;
         for ( i = 0; i < n; i++, worb++ ) {    for ( i = 0; i < n; i++, worb++ ) {
                 len = worb->length;      len = worb->length;
                 printf("[ ");      printf("[ ");
                 switch ( worb->type ) {      switch ( worb->type ) {
                         case IS_DENSE_WEIGHT:        case IS_DENSE_WEIGHT:
                                 for ( j = 0; j < len; j++ )          for ( j = 0; j < len; j++ )
                                         printf("%d ",worb->body.dense_weight[j]);            printf("%d ",worb->body.dense_weight[j]);
                                 for ( ; j < nv; j++ )          for ( ; j < nv; j++ )
                                         printf("0 ");            printf("0 ");
                                 break;          break;
                         case IS_SPARSE_WEIGHT:        case IS_SPARSE_WEIGHT:
                                 for ( j = 0, k = 0; j < nv; j++ )          for ( j = 0, k = 0; j < nv; j++ )
                                         if ( j == worb->body.sparse_weight[k].pos )            if ( j == worb->body.sparse_weight[k].pos )
                                                 printf("%d ",worb->body.sparse_weight[k++].value);              printf("%d ",worb->body.sparse_weight[k++].value);
                                         else            else
                                                 printf("0 ");              printf("0 ");
                                 break;          break;
                         case IS_BLOCK:        case IS_BLOCK:
                                 start = worb->body.block.start;          start = worb->body.block.start;
                                 for ( j = 0; j < start; j++ ) printf("0 ");          for ( j = 0; j < start; j++ ) printf("0 ");
                                 switch ( worb->body.block.order ) {          switch ( worb->body.block.order ) {
                                         case 0:            case 0:
                                                 for ( k = 0; k < len; k++, j++ ) printf("R ");              for ( k = 0; k < len; k++, j++ ) printf("R ");
                                                 break;              break;
                                         case 1:            case 1:
                                                 for ( k = 0; k < len; k++, j++ ) printf("G ");              for ( k = 0; k < len; k++, j++ ) printf("G ");
                                                 break;              break;
                                         case 2:            case 2:
                                                 for ( k = 0; k < len; k++, j++ ) printf("L ");              for ( k = 0; k < len; k++, j++ ) printf("L ");
                                                 break;              break;
                                 }          }
                                 for ( ; j < nv; j++ ) printf("0 ");          for ( ; j < nv; j++ ) printf("0 ");
                                 break;          break;
                 }      }
                 printf("]\n");      printf("]\n");
         }    }
 }  }
   
 struct order_spec *append_block(struct order_spec *spec,  struct order_spec *append_block(struct order_spec *spec,
         int nv,int nalg,int ord)    int nv,int nalg,int ord)
 {  {
         MAT m,mat;    MAT m,mat;
         int i,j,row,col,n;    int i,j,row,col,n;
         Q **b,**wp;    Q **b,**wp;
         int **w;    int **w;
         NODE t,s,s0;    NODE t,s,s0;
         struct order_pair *l,*l0;    struct order_pair *l,*l0;
         int n0,nv0;    int n0,nv0;
         LIST list0,list1,list;    LIST list0,list1,list;
         Q oq,nq;    Q oq,nq;
         struct order_spec *r;    struct order_spec *r;
   
         r = (struct order_spec *)MALLOC(sizeof(struct order_spec));    r = (struct order_spec *)MALLOC(sizeof(struct order_spec));
         switch ( spec->id ) {    switch ( spec->id ) {
                 case 0:      case 0:
                         STOQ(spec->ord.simple,oq); STOQ(nv,nq);        STOQ(spec->ord.simple,oq); STOQ(nv,nq);
                         t = mknode(2,oq,nq); MKLIST(list0,t);        t = mknode(2,oq,nq); MKLIST(list0,t);
                         STOQ(ord,oq); STOQ(nalg,nq);        STOQ(ord,oq); STOQ(nalg,nq);
                         t = mknode(2,oq,nq); MKLIST(list1,t);        t = mknode(2,oq,nq); MKLIST(list1,t);
                         t = mknode(2,list0,list1); MKLIST(list,t);        t = mknode(2,list0,list1); MKLIST(list,t);
                         l = (struct order_pair *)MALLOC_ATOMIC(2*sizeof(struct order_pair));        l = (struct order_pair *)MALLOC_ATOMIC(2*sizeof(struct order_pair));
                         l[0].order = spec->ord.simple; l[0].length = nv;        l[0].order = spec->ord.simple; l[0].length = nv;
                         l[1].order = ord; l[1].length = nalg;        l[1].order = ord; l[1].length = nalg;
                         r->id = 1;  r->obj = (Obj)list;        r->id = 1;  r->obj = (Obj)list;
                         r->ord.block.order_pair = l;        r->ord.block.order_pair = l;
                         r->ord.block.length = 2;        r->ord.block.length = 2;
                         r->nv = nv+nalg;        r->nv = nv+nalg;
                         break;        break;
                 case 1:      case 1:
                         if ( spec->nv != nv )        if ( spec->nv != nv )
                                 error("append_block : number of variables mismatch");          error("append_block : number of variables mismatch");
                         l0 = spec->ord.block.order_pair;        l0 = spec->ord.block.order_pair;
                         n0 = spec->ord.block.length;        n0 = spec->ord.block.length;
                         nv0 = spec->nv;        nv0 = spec->nv;
                         list0 = (LIST)spec->obj;        list0 = (LIST)spec->obj;
                         n = n0+1;        n = n0+1;
                         l = (struct order_pair *)MALLOC_ATOMIC(n*sizeof(struct order_pair));        l = (struct order_pair *)MALLOC_ATOMIC(n*sizeof(struct order_pair));
                         for ( i = 0; i < n0; i++ )        for ( i = 0; i < n0; i++ )
                                 l[i] = l0[i];          l[i] = l0[i];
                         l[i].order = ord; l[i].length = nalg;        l[i].order = ord; l[i].length = nalg;
                          for ( t = BDY(list0), s0 = 0; t; t = NEXT(t) ) {         for ( t = BDY(list0), s0 = 0; t; t = NEXT(t) ) {
                                 NEXTNODE(s0,s); BDY(s) = BDY(t);          NEXTNODE(s0,s); BDY(s) = BDY(t);
                         }        }
                         STOQ(ord,oq); STOQ(nalg,nq);        STOQ(ord,oq); STOQ(nalg,nq);
                         t = mknode(2,oq,nq); MKLIST(list,t);        t = mknode(2,oq,nq); MKLIST(list,t);
                         NEXTNODE(s0,s); BDY(s) = (pointer)list; NEXT(s) = 0;        NEXTNODE(s0,s); BDY(s) = (pointer)list; NEXT(s) = 0;
                         MKLIST(list,s0);        MKLIST(list,s0);
                         r->id = 1;  r->obj = (Obj)list;        r->id = 1;  r->obj = (Obj)list;
                         r->ord.block.order_pair = l;        r->ord.block.order_pair = l;
                         r->ord.block.length = n;        r->ord.block.length = n;
                         r->nv = nv+nalg;        r->nv = nv+nalg;
                         break;        break;
                 case 2:      case 2:
                         if ( spec->nv != nv )        if ( spec->nv != nv )
                                 error("append_block : number of variables mismatch");          error("append_block : number of variables mismatch");
                         m = (MAT)spec->obj;        m = (MAT)spec->obj;
                         row = m->row; col = m->col; b = (Q **)BDY(m);        row = m->row; col = m->col; b = (Q **)BDY(m);
                         w = almat(row+nalg,col+nalg);        w = almat(row+nalg,col+nalg);
                         MKMAT(mat,row+nalg,col+nalg); wp = (Q **)BDY(mat);        MKMAT(mat,row+nalg,col+nalg); wp = (Q **)BDY(mat);
                         for ( i = 0; i < row; i++ )        for ( i = 0; i < row; i++ )
                                 for ( j = 0; j < col; j++ ) {          for ( j = 0; j < col; j++ ) {
                                         w[i][j] = QTOS(b[i][j]);            w[i][j] = QTOS(b[i][j]);
                                         wp[i][j] = b[i][j];            wp[i][j] = b[i][j];
                                 }          }
                         for ( i = 0; i < nalg; i++ ) {        for ( i = 0; i < nalg; i++ ) {
                                 w[i+row][i+col] = 1;          w[i+row][i+col] = 1;
                                 wp[i+row][i+col] = ONE;          wp[i+row][i+col] = ONE;
                         }        }
                         r->id = 2; r->obj = (Obj)mat;        r->id = 2; r->obj = (Obj)mat;
                         r->nv = col+nalg; r->ord.matrix.row = row+nalg;        r->nv = col+nalg; r->ord.matrix.row = row+nalg;
                         r->ord.matrix.matrix = w;        r->ord.matrix.matrix = w;
                         break;        break;
                 case 3:      case 3:
                 default:      default:
                         /* XXX */        /* XXX */
                         error("append_block : not implemented yet");        error("append_block : not implemented yet");
         }    }
         return r;    return r;
 }  }
   
 int comp_sw(struct sparse_weight *a, struct sparse_weight *b)  int comp_sw(struct sparse_weight *a, struct sparse_weight *b)
 {  {
         if ( a->pos > b->pos ) return 1;    if ( a->pos > b->pos ) return 1;
         else if ( a->pos < b->pos ) return -1;    else if ( a->pos < b->pos ) return -1;
         else return 0;    else return 0;
 }  }
   
 /* order = [w_or_b, w_or_b, ... ] */  /* order = [w_or_b, w_or_b, ... ] */
Line 1876  int comp_sw(struct sparse_weight *a, struct sparse_wei
Line 2295  int comp_sw(struct sparse_weight *a, struct sparse_wei
   
 int create_composite_order_spec(VL vl,LIST order,struct order_spec **specp)  int create_composite_order_spec(VL vl,LIST order,struct order_spec **specp)
 {  {
         NODE wb,t,p;    NODE wb,t,p;
         struct order_spec *spec;    struct order_spec *spec;
         VL tvl;    VL tvl;
         int n,i,j,k,l,start,end,len,w;    int n,i,j,k,l,start,end,len,w;
         int *dw;    int *dw;
         struct sparse_weight *sw;    struct sparse_weight *sw;
         struct weight_or_block *w_or_b;    struct weight_or_block *w_or_b;
         Obj a0;    Obj a0;
         NODE a;    NODE a;
         V v,sv,ev;    V v,sv,ev;
         SYMBOL sym;    SYMBOL sym;
         int *top;    int *top;
   
         /* l = number of vars in vl */    /* l = number of vars in vl */
         for ( l = 0, tvl = vl; tvl; tvl = NEXT(tvl), l++ );    for ( l = 0, tvl = vl; tvl; tvl = NEXT(tvl), l++ );
         /* n = number of primitives in order */    /* n = number of primitives in order */
         wb = BDY(order);    wb = BDY(order);
         n = length(wb);    n = length(wb);
         *specp = spec = (struct order_spec *)MALLOC(sizeof(struct order_spec));    *specp = spec = (struct order_spec *)MALLOC(sizeof(struct order_spec));
         spec->id = 3;    spec->id = 3;
         spec->obj = (Obj)order;    spec->obj = (Obj)order;
         spec->nv = l;    spec->nv = l;
         spec->ord.composite.length = n;    spec->ord.composite.length = n;
         w_or_b = spec->ord.composite.w_or_b = (struct weight_or_block *)    w_or_b = spec->ord.composite.w_or_b = (struct weight_or_block *)
                 MALLOC(sizeof(struct weight_or_block)*(n+1));      MALLOC(sizeof(struct weight_or_block)*(n+1));
   
         /* top : register the top variable in each w_or_b specification */    /* top : register the top variable in each w_or_b specification */
         top = (int *)ALLOCA(l*sizeof(int));    top = (int *)ALLOCA(l*sizeof(int));
         for ( i = 0; i < l; i++ ) top[i] = 0;    for ( i = 0; i < l; i++ ) top[i] = 0;
   
         for ( t = wb, i = 0; t; t = NEXT(t), i++ ) {    for ( t = wb, i = 0; t; t = NEXT(t), i++ ) {
                 if ( !BDY(t) || OID((Obj)BDY(t)) != O_LIST )      if ( !BDY(t) || OID((Obj)BDY(t)) != O_LIST )
                         error("a list of lists must be specified for the key \"order\"");        error("a list of lists must be specified for the key \"order\"");
                 a = BDY((LIST)BDY(t));      a = BDY((LIST)BDY(t));
                 len = length(a);      len = length(a);
                 a0 = (Obj)BDY(a);      a0 = (Obj)BDY(a);
                 if ( !a0 || OID(a0) == O_N ) {      if ( !a0 || OID(a0) == O_N ) {
                         /* a is a dense weight vector */        /* a is a dense weight vector */
                         dw = (int *)MALLOC(sizeof(int)*len);        dw = (int *)MALLOC(sizeof(int)*len);
                         for ( j = 0, p = a; j < len; p = NEXT(p), j++ ) {        for ( j = 0, p = a; j < len; p = NEXT(p), j++ ) {
                                 if ( !INT((Q)BDY(p)) )          if ( !INT((Q)BDY(p)) )
                                         error("a dense weight vector must be specified as a list of integers");            error("a dense weight vector must be specified as a list of integers");
                                 dw[j] = QTOS((Q)BDY(p));          dw[j] = QTOS((Q)BDY(p));
                         }        }
                         w_or_b[i].type = IS_DENSE_WEIGHT;        w_or_b[i].type = IS_DENSE_WEIGHT;
                         w_or_b[i].length = len;        w_or_b[i].length = len;
                         w_or_b[i].body.dense_weight = dw;        w_or_b[i].body.dense_weight = dw;
   
                         /* find the top */        /* find the top */
                         for ( k = 0; k < len && !dw[k]; k++ );        for ( k = 0; k < len && !dw[k]; k++ );
                         if ( k < len ) top[k] = 1;        if ( k < len ) top[k] = 1;
   
                 } else if ( OID(a0) == O_P ) {      } else if ( OID(a0) == O_P ) {
                         /* a is a sparse weight vector */        /* a is a sparse weight vector */
                         len >>= 1;        len >>= 1;
                         sw = (struct sparse_weight *)        sw = (struct sparse_weight *)
                                 MALLOC(sizeof(struct sparse_weight)*len);          MALLOC(sizeof(struct sparse_weight)*len);
                         for ( j = 0, p = a; j < len; j++ ) {        for ( j = 0, p = a; j < len; j++ ) {
                                 if ( !BDY(p) || OID((P)BDY(p)) != O_P )          if ( !BDY(p) || OID((P)BDY(p)) != O_P )
                                         error("a sparse weight vector must be specified as [var1,weight1,...]");            error("a sparse weight vector must be specified as [var1,weight1,...]");
                                 v = VR((P)BDY(p)); p = NEXT(p);          v = VR((P)BDY(p)); p = NEXT(p);
                                 for ( tvl = vl, k = 0; tvl && tvl->v != v;          for ( tvl = vl, k = 0; tvl && tvl->v != v;
                                         k++, tvl = NEXT(tvl) );            k++, tvl = NEXT(tvl) );
                                 if ( !tvl )          if ( !tvl )
                                         error("invalid variable name in a sparse weight vector");            error("invalid variable name in a sparse weight vector");
                                 sw[j].pos = k;          sw[j].pos = k;
                                 if ( !INT((Q)BDY(p)) )          if ( !INT((Q)BDY(p)) )
                                         error("a sparse weight vector must be specified as [var1,weight1,...]");            error("a sparse weight vector must be specified as [var1,weight1,...]");
                                 sw[j].value = QTOS((Q)BDY(p)); p = NEXT(p);          sw[j].value = QTOS((Q)BDY(p)); p = NEXT(p);
                         }        }
                         qsort(sw,len,sizeof(struct sparse_weight),        qsort(sw,len,sizeof(struct sparse_weight),
                                 (int (*)(const void *,const void *))comp_sw);          (int (*)(const void *,const void *))comp_sw);
                         w_or_b[i].type = IS_SPARSE_WEIGHT;        w_or_b[i].type = IS_SPARSE_WEIGHT;
                         w_or_b[i].length = len;        w_or_b[i].length = len;
                         w_or_b[i].body.sparse_weight = sw;        w_or_b[i].body.sparse_weight = sw;
   
                         /* find the top */        /* find the top */
                         for ( k = 0; k < len && !sw[k].value; k++ );        for ( k = 0; k < len && !sw[k].value; k++ );
                         if ( k < len ) top[sw[k].pos] = 1;        if ( k < len ) top[sw[k].pos] = 1;
                 } else if ( OID(a0) == O_RANGE ) {      } else if ( OID(a0) == O_RANGE ) {
                         /* [range(v1,v2),w] */        /* [range(v1,v2),w] */
                         sv = VR((P)(((RANGE)a0)->start));        sv = VR((P)(((RANGE)a0)->start));
                         ev = VR((P)(((RANGE)a0)->end));        ev = VR((P)(((RANGE)a0)->end));
                         for ( tvl = vl, start = 0; tvl && tvl->v != sv; start++, tvl = NEXT(tvl) );        for ( tvl = vl, start = 0; tvl && tvl->v != sv; start++, tvl = NEXT(tvl) );
                         if ( !tvl )        if ( !tvl )
                                 error("invalid range");          error("invalid range");
                         for ( end = start; tvl && tvl->v != ev; end++, tvl = NEXT(tvl) );        for ( end = start; tvl && tvl->v != ev; end++, tvl = NEXT(tvl) );
                         if ( !tvl )        if ( !tvl )
                                 error("invalid range");          error("invalid range");
                         len = end-start+1;        len = end-start+1;
                         sw = (struct sparse_weight *)        sw = (struct sparse_weight *)
                                 MALLOC(sizeof(struct sparse_weight)*len);          MALLOC(sizeof(struct sparse_weight)*len);
                         w = QTOS((Q)BDY(NEXT(a)));        w = QTOS((Q)BDY(NEXT(a)));
                         for ( tvl = vl, k = 0; k < start; k++, tvl = NEXT(tvl) );        for ( tvl = vl, k = 0; k < start; k++, tvl = NEXT(tvl) );
                         for ( j = 0 ; k <= end; k++, tvl = NEXT(tvl), j++ ) {        for ( j = 0 ; k <= end; k++, tvl = NEXT(tvl), j++ ) {
                                 sw[j].pos = k;          sw[j].pos = k;
                                 sw[j].value = w;          sw[j].value = w;
                         }        }
                         w_or_b[i].type = IS_SPARSE_WEIGHT;        w_or_b[i].type = IS_SPARSE_WEIGHT;
                         w_or_b[i].length = len;        w_or_b[i].length = len;
                         w_or_b[i].body.sparse_weight = sw;        w_or_b[i].body.sparse_weight = sw;
   
                         /* register the top */        /* register the top */
                         if ( w ) top[start] = 1;        if ( w ) top[start] = 1;
                 } else if ( OID(a0) == O_SYMBOL ) {      } else if ( OID(a0) == O_SYMBOL ) {
                         /* a is a block */        /* a is a block */
                         sym = (SYMBOL)a0; a = NEXT(a); len--;        sym = (SYMBOL)a0; a = NEXT(a); len--;
                         if ( OID((Obj)BDY(a)) == O_RANGE ) {        if ( OID((Obj)BDY(a)) == O_RANGE ) {
                                 sv = VR((P)(((RANGE)BDY(a))->start));          sv = VR((P)(((RANGE)BDY(a))->start));
                                 ev = VR((P)(((RANGE)BDY(a))->end));          ev = VR((P)(((RANGE)BDY(a))->end));
                                 for ( tvl = vl, start = 0; tvl && tvl->v != sv; start++, tvl = NEXT(tvl) );          for ( tvl = vl, start = 0; tvl && tvl->v != sv; start++, tvl = NEXT(tvl) );
                                 if ( !tvl )          if ( !tvl )
                                         error("invalid range");            error("invalid range");
                                 for ( end = start; tvl && tvl->v != ev; end++, tvl = NEXT(tvl) );          for ( end = start; tvl && tvl->v != ev; end++, tvl = NEXT(tvl) );
                                 if ( !tvl )          if ( !tvl )
                                         error("invalid range");            error("invalid range");
                                 len = end-start+1;          len = end-start+1;
                         } else {        } else {
                                 for ( start = 0, tvl = vl; tvl->v != VR((P)BDY(a));          for ( start = 0, tvl = vl; tvl->v != VR((P)BDY(a));
                                 tvl = NEXT(tvl), start++ );          tvl = NEXT(tvl), start++ );
                                 for ( p = NEXT(a), tvl = NEXT(tvl); p;          for ( p = NEXT(a), tvl = NEXT(tvl); p;
                                         p = NEXT(p), tvl = NEXT(tvl) ) {            p = NEXT(p), tvl = NEXT(tvl) ) {
                                         if ( !BDY(p) || OID((P)BDY(p)) != O_P )            if ( !BDY(p) || OID((P)BDY(p)) != O_P )
                                                 error("a block must be specified as [ordsymbol,var1,var2,...]");              error("a block must be specified as [ordsymbol,var1,var2,...]");
                                         if ( tvl->v != VR((P)BDY(p)) ) break;            if ( tvl->v != VR((P)BDY(p)) ) break;
                                 }          }
                                 if ( p )          if ( p )
                                         error("a block must be contiguous in the variable list");            error("a block must be contiguous in the variable list");
                         }        }
                         w_or_b[i].type = IS_BLOCK;        w_or_b[i].type = IS_BLOCK;
                         w_or_b[i].length = len;        w_or_b[i].length = len;
                         w_or_b[i].body.block.start = start;        w_or_b[i].body.block.start = start;
                         if ( !strcmp(sym->name,"@grlex") )        if ( !strcmp(sym->name,"@grlex") )
                                 w_or_b[i].body.block.order = 0;          w_or_b[i].body.block.order = 0;
                         else if ( !strcmp(sym->name,"@glex") )        else if ( !strcmp(sym->name,"@glex") )
                                 w_or_b[i].body.block.order = 1;          w_or_b[i].body.block.order = 1;
                         else if ( !strcmp(sym->name,"@lex") )        else if ( !strcmp(sym->name,"@lex") )
                                 w_or_b[i].body.block.order = 2;          w_or_b[i].body.block.order = 2;
                         else        else
                                 error("invalid ordername");          error("invalid ordername");
                         /* register the tops */        /* register the tops */
                         for ( j = 0, k = start; j < len; j++, k++ )        for ( j = 0, k = start; j < len; j++, k++ )
                                 top[k] = 1;          top[k] = 1;
                 }      }
         }    }
         for ( k = 0; k < l && top[k]; k++ );    for ( k = 0; k < l && top[k]; k++ );
         if ( k < l ) {    if ( k < l ) {
                 /* incomplete order specification; add @grlex */      /* incomplete order specification; add @grlex */
                 w_or_b[n].type = IS_BLOCK;      w_or_b[n].type = IS_BLOCK;
                 w_or_b[n].length = l;      w_or_b[n].length = l;
                 w_or_b[n].body.block.start = 0;      w_or_b[n].body.block.start = 0;
                 w_or_b[n].body.block.order = 0;      w_or_b[n].body.block.order = 0;
                 spec->ord.composite.length = n+1;      spec->ord.composite.length = n+1;
         }    }
 }  }
   
 /* module order spec */  /* module order spec */
   
 void create_modorder_spec(int id,LIST shift,struct modorder_spec **s)  void create_modorder_spec(int id,LIST shift,struct modorder_spec **s)
 {  {
         struct modorder_spec *spec;    struct modorder_spec *spec;
         NODE n,t;    NODE n,t;
         LIST list;    LIST list;
         int *ds;    int *ds;
         int i,l;    int i,l;
         Q q;    Q q;
   
         *s = spec = (struct modorder_spec *)MALLOC(sizeof(struct modorder_spec));    *s = spec = (struct modorder_spec *)MALLOC(sizeof(struct modorder_spec));
         spec->id = id;    spec->id = id;
         if ( shift ) {    if ( shift ) {
                 n = BDY(shift);      n = BDY(shift);
                 spec->len = l = length(n);      spec->len = l = length(n);
                 spec->degree_shift = ds = (int *)MALLOC_ATOMIC(l*sizeof(int));      spec->degree_shift = ds = (int *)MALLOC_ATOMIC(l*sizeof(int));
                 for ( t = n, i = 0; t; t = NEXT(t), i++ )      for ( t = n, i = 0; t; t = NEXT(t), i++ )
                         ds[i] = QTOS((Q)BDY(t));        ds[i] = QTOS((Q)BDY(t));
         } else {    } else {
                 spec->len = 0;      spec->len = 0;
                 spec->degree_shift = 0;      spec->degree_shift = 0;
         }    }
         STOQ(id,q);    STOQ(id,q);
         n = mknode(2,q,shift);    n = mknode(2,q,shift);
         MKLIST(list,n);    MKLIST(list,n);
         spec->obj = (Obj)list;    spec->obj = (Obj)list;
 }  }
   
 /*  /*
Line 2068  void create_modorder_spec(int id,LIST shift,struct mod
Line 2487  void create_modorder_spec(int id,LIST shift,struct mod
   
 void dp_homo(DP p,DP *rp)  void dp_homo(DP p,DP *rp)
 {  {
         MP m,mr,mr0;    MP m,mr,mr0;
         int i,n,nv,td;    int i,n,nv,td;
         DL dl,dlh;    DL dl,dlh;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else {    else {
                 n = p->nv; nv = n + 1;      n = p->nv; nv = n + 1;
                 m = BDY(p); td = sugard(m);      m = BDY(p); td = sugard(m);
                 for ( mr0 = 0; m; m = NEXT(m) ) {      for ( mr0 = 0; m; m = NEXT(m) ) {
                         NEXTMP(mr0,mr); mr->c = m->c;        NEXTMP(mr0,mr); mr->c = m->c;
                         dl = m->dl;        dl = m->dl;
                         mr->dl = dlh = (DL)MALLOC_ATOMIC((nv+1)*sizeof(int));        mr->dl = dlh = (DL)MALLOC_ATOMIC((nv+1)*sizeof(int));
                         dlh->td = td;        dlh->td = td;
                         for ( i = 0; i < n; i++ )        for ( i = 0; i < n; i++ )
                                 dlh->d[i] = dl->d[i];          dlh->d[i] = dl->d[i];
                         dlh->d[n] = td - dl->td;        dlh->d[n] = td - dl->td;
                 }      }
                 NEXT(mr) = 0; MKDP(nv,mr0,*rp); (*rp)->sugar = p->sugar;      NEXT(mr) = 0; MKDP(nv,mr0,*rp); (*rp)->sugar = p->sugar;
         }    }
 }  }
   
 void dp_dehomo(DP p,DP *rp)  void dp_dehomo(DP p,DP *rp)
 {  {
         MP m,mr,mr0;    MP m,mr,mr0;
         int i,n,nv;    int i,n,nv;
         DL dl,dlh;    DL dl,dlh;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else {    else {
                 n = p->nv; nv = n - 1;      n = p->nv; nv = n - 1;
                 m = BDY(p);      m = BDY(p);
                 for ( mr0 = 0; m; m = NEXT(m) ) {      for ( mr0 = 0; m; m = NEXT(m) ) {
                         NEXTMP(mr0,mr); mr->c = m->c;        NEXTMP(mr0,mr); mr->c = m->c;
                         dlh = m->dl;        dlh = m->dl;
                         mr->dl = dl = (DL)MALLOC_ATOMIC((nv+1)*sizeof(int));        mr->dl = dl = (DL)MALLOC_ATOMIC((nv+1)*sizeof(int));
                         dl->td = dlh->td - dlh->d[nv];        dl->td = dlh->td - dlh->d[nv];
                         for ( i = 0; i < nv; i++ )        for ( i = 0; i < nv; i++ )
                                 dl->d[i] = dlh->d[i];          dl->d[i] = dlh->d[i];
                 }      }
                 NEXT(mr) = 0; MKDP(nv,mr0,*rp); (*rp)->sugar = p->sugar;      NEXT(mr) = 0; MKDP(nv,mr0,*rp); (*rp)->sugar = p->sugar;
         }    }
 }  }
   
 void dp_mod(DP p,int mod,NODE subst,DP *rp)  void dp_mod(DP p,int mod,NODE subst,DP *rp)
 {  {
         MP m,mr,mr0;    MP m,mr,mr0;
         P t,s,s1;    P t,s,s1;
         V v;    V v;
         NODE tn;    NODE tn;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else {    else {
                 for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {      for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {
                         for ( tn = subst, s = m->c; tn; tn = NEXT(tn) ) {        for ( tn = subst, s = (P)m->c; tn; tn = NEXT(tn) ) {
                                 v = VR((P)BDY(tn)); tn = NEXT(tn);          v = VR((P)BDY(tn)); tn = NEXT(tn);
                                 substp(CO,s,v,(P)BDY(tn),&s1); s = s1;          substp(CO,s,v,(P)BDY(tn),&s1); s = s1;
                         }        }
                         ptomp(mod,s,&t);        ptomp(mod,s,&t);
                         if ( t ) {        if ( t ) {
                                 NEXTMP(mr0,mr); mr->c = t; mr->dl = m->dl;          NEXTMP(mr0,mr); mr->c = (Obj)t; mr->dl = m->dl;
                         }        }
                 }      }
                 if ( mr0 ) {      if ( mr0 ) {
                         NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;        NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;
                 } else      } else
                         *rp = 0;        *rp = 0;
         }    }
 }  }
   
 void dp_rat(DP p,DP *rp)  void dp_rat(DP p,DP *rp)
 {  {
         MP m,mr,mr0;    MP m,mr,mr0;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else {    else {
                 for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {      for ( mr0 = 0, m = BDY(p); m; m = NEXT(m) ) {
                         NEXTMP(mr0,mr); mptop(m->c,&mr->c); mr->dl = m->dl;        NEXTMP(mr0,mr); mptop((P)m->c,(P *)&mr->c); mr->dl = m->dl;
                 }      }
                 if ( mr0 ) {      if ( mr0 ) {
                         NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;        NEXT(mr) = 0; MKDP(p->nv,mr0,*rp); (*rp)->sugar = p->sugar;
                 } else      } else
                         *rp = 0;        *rp = 0;
         }    }
 }  }
   
   
 void homogenize_order(struct order_spec *old,int n,struct order_spec **newp)  void homogenize_order(struct order_spec *old,int n,struct order_spec **newp)
 {  {
         struct order_pair *l;    struct order_pair *l;
         int length,nv,row,i,j;    int length,nv,row,i,j;
         int **newm,**oldm;    int **newm,**oldm;
         struct order_spec *new;    struct order_spec *new;
         int onv,nnv,nlen,olen,owlen;    int onv,nnv,nlen,olen,owlen;
         struct weight_or_block *owb,*nwb;    struct weight_or_block *owb,*nwb;
   
         *newp = new = (struct order_spec *)MALLOC(sizeof(struct order_spec));    *newp = new = (struct order_spec *)MALLOC(sizeof(struct order_spec));
         switch ( old->id ) {    switch ( old->id ) {
                 case 0:      case 0:
                         switch ( old->ord.simple ) {        switch ( old->ord.simple ) {
                                 case 0:          case 0:
                                         new->id = 0; new->ord.simple = 0; break;            new->id = 0; new->ord.simple = 0; break;
                                 case 1:          case 1:
                                         l = (struct order_pair *)            l = (struct order_pair *)
                                                 MALLOC_ATOMIC(2*sizeof(struct order_pair));              MALLOC_ATOMIC(2*sizeof(struct order_pair));
                                         l[0].length = n; l[0].order = 1;            l[0].length = n; l[0].order = 1;
                                         l[1].length = 1; l[1].order = 2;            l[1].length = 1; l[1].order = 2;
                                         new->id = 1;            new->id = 1;
                                         new->ord.block.order_pair = l;            new->ord.block.order_pair = l;
                                         new->ord.block.length = 2; new->nv = n+1;            new->ord.block.length = 2; new->nv = n+1;
                                         break;            break;
                                 case 2:          case 2:
                                         new->id = 0; new->ord.simple = 1; break;            new->id = 0; new->ord.simple = 1; break;
                                 case 3: case 4: case 5:          case 3: case 4: case 5:
                                         new->id = 0; new->ord.simple = old->ord.simple+3;            new->id = 0; new->ord.simple = old->ord.simple+3;
                                         dp_nelim = n-1; break;            dp_nelim = n-1; break;
                                 case 6: case 7: case 8: case 9:          case 6: case 7: case 8: case 9:
                                         new->id = 0; new->ord.simple = old->ord.simple; break;            new->id = 0; new->ord.simple = old->ord.simple; break;
                                 default:          default:
                                         error("homogenize_order : invalid input");            error("homogenize_order : invalid input");
                         }        }
                         break;        break;
                 case 1: case 257:      case 1: case 257:
                         length = old->ord.block.length;        length = old->ord.block.length;
                         l = (struct order_pair *)        l = (struct order_pair *)
                                 MALLOC_ATOMIC((length+1)*sizeof(struct order_pair));          MALLOC_ATOMIC((length+1)*sizeof(struct order_pair));
                         bcopy((char *)old->ord.block.order_pair,(char *)l,length*sizeof(struct order_pair));        bcopy((char *)old->ord.block.order_pair,(char *)l,length*sizeof(struct order_pair));
                         l[length].order = 2; l[length].length = 1;        l[length].order = 2; l[length].length = 1;
                         new->id = old->id; new->nv = n+1;        new->id = old->id; new->nv = n+1;
                         new->ord.block.order_pair = l;        new->ord.block.order_pair = l;
                         new->ord.block.length = length+1;        new->ord.block.length = length+1;
                         new->istop = old->istop;        new->ispot = old->ispot;
                         break;        break;
                 case 2: case 258:      case 2: case 258:
                         nv = old->nv; row = old->ord.matrix.row;        nv = old->nv; row = old->ord.matrix.row;
                         oldm = old->ord.matrix.matrix; newm = almat(row+1,nv+1);        oldm = old->ord.matrix.matrix; newm = almat(row+1,nv+1);
                         for ( i = 0; i <= nv; i++ )        for ( i = 0; i <= nv; i++ )
                                 newm[0][i] = 1;          newm[0][i] = 1;
                         for ( i = 0; i < row; i++ ) {        for ( i = 0; i < row; i++ ) {
                                 for ( j = 0; j < nv; j++ )          for ( j = 0; j < nv; j++ )
                                         newm[i+1][j] = oldm[i][j];            newm[i+1][j] = oldm[i][j];
                                 newm[i+1][j] = 0;          newm[i+1][j] = 0;
                         }        }
                         new->id = old->id; new->nv = nv+1;        new->id = old->id; new->nv = nv+1;
                         new->ord.matrix.row = row+1; new->ord.matrix.matrix = newm;        new->ord.matrix.row = row+1; new->ord.matrix.matrix = newm;
                         new->istop = old->istop;        new->ispot = old->ispot;
                         break;        break;
                 case 3: case 259:      case 3: case 259:
                         onv = old->nv;        onv = old->nv;
                         nnv = onv+1;        nnv = onv+1;
                         olen = old->ord.composite.length;        olen = old->ord.composite.length;
                         nlen = olen+1;        nlen = olen+1;
                         owb = old->ord.composite.w_or_b;        owb = old->ord.composite.w_or_b;
                         nwb = (struct weight_or_block *)        nwb = (struct weight_or_block *)
                                 MALLOC(nlen*sizeof(struct weight_or_block));          MALLOC(nlen*sizeof(struct weight_or_block));
                         for ( i = 0; i < olen; i++ ) {        for ( i = 0; i < olen; i++ ) {
                                 nwb[i].type = owb[i].type;          nwb[i].type = owb[i].type;
                                 switch ( owb[i].type ) {          switch ( owb[i].type ) {
                                         case IS_DENSE_WEIGHT:            case IS_DENSE_WEIGHT:
                                                 owlen = owb[i].length;              owlen = owb[i].length;
                                                 nwb[i].length = owlen+1;              nwb[i].length = owlen+1;
                                                 nwb[i].body.dense_weight = (int *)MALLOC((owlen+1)*sizeof(int));              nwb[i].body.dense_weight = (int *)MALLOC((owlen+1)*sizeof(int));
                                                 for ( j = 0; j < owlen; j++ )              for ( j = 0; j < owlen; j++ )
                                                         nwb[i].body.dense_weight[j] = owb[i].body.dense_weight[j];                nwb[i].body.dense_weight[j] = owb[i].body.dense_weight[j];
                                                 nwb[i].body.dense_weight[owlen] = 0;              nwb[i].body.dense_weight[owlen] = 0;
                                                 break;              break;
                                         case IS_SPARSE_WEIGHT:            case IS_SPARSE_WEIGHT:
                                                 nwb[i].length = owb[i].length;              nwb[i].length = owb[i].length;
                                                 nwb[i].body.sparse_weight = owb[i].body.sparse_weight;              nwb[i].body.sparse_weight = owb[i].body.sparse_weight;
                                                 break;              break;
                                         case IS_BLOCK:            case IS_BLOCK:
                                                 nwb[i].length = owb[i].length;              nwb[i].length = owb[i].length;
                                                 nwb[i].body.block = owb[i].body.block;              nwb[i].body.block = owb[i].body.block;
                                                 break;              break;
                                 }          }
                         }        }
                         nwb[i].type = IS_SPARSE_WEIGHT;        nwb[i].type = IS_SPARSE_WEIGHT;
                         nwb[i].body.sparse_weight =        nwb[i].body.sparse_weight =
                                 (struct sparse_weight *)MALLOC(sizeof(struct sparse_weight));          (struct sparse_weight *)MALLOC(sizeof(struct sparse_weight));
                         nwb[i].body.sparse_weight[0].pos = onv;        nwb[i].body.sparse_weight[0].pos = onv;
                         nwb[i].body.sparse_weight[0].value = 1;        nwb[i].body.sparse_weight[0].value = 1;
                         new->id = old->id;        new->id = old->id;
                         new->nv = nnv;        new->nv = nnv;
                         new->ord.composite.length = nlen;        new->ord.composite.length = nlen;
                         new->ord.composite.w_or_b = nwb;        new->ord.composite.w_or_b = nwb;
                         new->istop = old->istop;        new->ispot = old->ispot;
                         print_composite_order_spec(new);        print_composite_order_spec(new);
                         break;        break;
                 case 256: /* simple module order */      case 256: /* simple module order */
                         switch ( old->ord.simple ) {        switch ( old->ord.simple ) {
                                 case 0:          case 0:
                                         new->id = 256; new->ord.simple = 0; break;            new->id = 256; new->ord.simple = 0; break;
                                 case 1:          case 1:
                                         l = (struct order_pair *)            l = (struct order_pair *)
                                                 MALLOC_ATOMIC(2*sizeof(struct order_pair));              MALLOC_ATOMIC(2*sizeof(struct order_pair));
                                         l[0].length = n; l[0].order = old->ord.simple;            l[0].length = n; l[0].order = old->ord.simple;
                                         l[1].length = 1; l[1].order = 2;            l[1].length = 1; l[1].order = 2;
                                         new->id = 257;            new->id = 257;
                                         new->ord.block.order_pair = l;            new->ord.block.order_pair = l;
                                         new->ord.block.length = 2; new->nv = n+1;            new->ord.block.length = 2; new->nv = n+1;
                                         break;            break;
                                 case 2:          case 2:
                                         new->id = 256; new->ord.simple = 1; break;            new->id = 256; new->ord.simple = 1; break;
                                 default:          default:
                                         error("homogenize_order : invalid input");            error("homogenize_order : invalid input");
                         }        }
                         new->istop = old->istop;        new->ispot = old->ispot;
                         break;        break;
                 default:      default:
                         error("homogenize_order : invalid input");        error("homogenize_order : invalid input");
         }    }
 }  }
   
 void qltozl(Q *w,int n,Q *dvr)  void qltozl(Q *w,int n,Q *dvr)
 {  {
         N nm,dn;    N nm,dn;
         N g,l1,l2,l3;    N g,l1,l2,l3;
         Q c,d;    Q c,d;
         int i;    int i;
         struct oVECT v;    struct oVECT v;
   
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 if ( w[i] && !INT(w[i]) )      if ( w[i] && !INT(w[i]) )
                         break;        break;
         if ( i == n ) {    if ( i == n ) {
                 v.id = O_VECT; v.len = n; v.body = (pointer *)w;      v.id = O_VECT; v.len = n; v.body = (pointer *)w;
                 igcdv(&v,dvr); return;      igcdv(&v,dvr); return;
         }    }
         c = w[0]; nm = NM(c); dn = INT(c) ? ONEN : DN(c);    for ( i = 0; !w[i]; i++ );
         for ( i = 1; i < n; i++ ) {    c = w[i]; nm = NM(c); dn = INT(c) ? ONEN : DN(c);
                 c = w[i]; l1 = INT(c) ? ONEN : DN(c);    for ( i++; i < n; i++ ) {
                 gcdn(nm,NM(c),&g); nm = g;      c = w[i];
                 gcdn(dn,l1,&l2); muln(dn,l1,&l3); divsn(l3,l2,&dn);      if ( !c ) continue;
         }      l1 = INT(c) ? ONEN : DN(c);
         if ( UNIN(dn) )      gcdn(nm,NM(c),&g); nm = g;
                 NTOQ(nm,1,d);      gcdn(dn,l1,&l2); muln(dn,l1,&l3); divsn(l3,l2,&dn);
         else    }
                 NDTOQ(nm,dn,1,d);    if ( UNIN(dn) )
         *dvr = d;      NTOQ(nm,1,d);
     else
       NDTOQ(nm,dn,1,d);
     *dvr = d;
 }  }
   
 int comp_nm(Q *a,Q *b)  int comp_nm(Q *a,Q *b)
 {  {
         return cmpn((*a)?NM(*a):0,(*b)?NM(*b):0);    return cmpn((*a)?NM(*a):0,(*b)?NM(*b):0);
 }  }
   
 void sortbynm(Q *w,int n)  void sortbynm(Q *w,int n)
 {  {
         qsort(w,n,sizeof(Q),(int (*)(const void *,const void *))comp_nm);    qsort(w,n,sizeof(Q),(int (*)(const void *,const void *))comp_nm);
 }  }
   
   
Line 2330  void sortbynm(Q *w,int n)
Line 2752  void sortbynm(Q *w,int n)
   
 int dp_redble(DP p1,DP p2)  int dp_redble(DP p1,DP p2)
 {  {
         int i,n;    int i,n;
         DL d1,d2;    DL d1,d2;
   
         d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
         if ( d1->td < d2->td )    if ( d1->td < d2->td )
                 return 0;      return 0;
         else {    else {
                 for ( i = 0, n = p1->nv; i < n; i++ )      for ( i = 0, n = p1->nv; i < n; i++ )
                         if ( d1->d[i] < d2->d[i] )        if ( d1->d[i] < d2->d[i] )
                                 return 0;          return 0;
                 return 1;      return 1;
         }    }
 }  }
   
   int dpm_redble(DPM p1,DPM p2)
   {
     int i,n;
     DL d1,d2;
   
     if ( BDY(p1)->pos != BDY(p2)->pos ) return 0;
     d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
     if ( d1->td < d2->td )
       return 0;
     else {
       for ( i = 0, n = p1->nv; i < n; i++ )
         if ( d1->d[i] < d2->d[i] )
           return 0;
       return 1;
     }
   }
   
   
 void dp_subd(DP p1,DP p2,DP *rp)  void dp_subd(DP p1,DP p2,DP *rp)
 {  {
         int i,n;    int i,n;
         DL d1,d2,d;    DL d1,d2,d;
         MP m;    MP m;
         DP s;    DP s;
   
         n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;    n = p1->nv; d1 = BDY(p1)->dl; d2 = BDY(p2)->dl;
         NEWDL(d,n); d->td = d1->td - d2->td;    NEWDL(d,n); d->td = d1->td - d2->td;
         for ( i = 0; i < n; i++ )    for ( i = 0; i < n; i++ )
                 d->d[i] = d1->d[i]-d2->d[i];      d->d[i] = d1->d[i]-d2->d[i];
         NEWMP(m); m->dl = d; m->c = (P)ONE; NEXT(m) = 0;    NEWMP(m); m->dl = d; m->c = (Obj)ONE; NEXT(m) = 0;
         MKDP(n,m,s); s->sugar = d->td;    MKDP(n,m,s); s->sugar = d->td;
         *rp = s;    *rp = s;
 }  }
   
 void dltod(DL d,int n,DP *rp)  void dltod(DL d,int n,DP *rp)
 {  {
         MP m;    MP m;
         DP s;    DP s;
   
         NEWMP(m); m->dl = d; m->c = (P)ONE; NEXT(m) = 0;    NEWMP(m); m->dl = d; m->c = (Obj)ONE; NEXT(m) = 0;
         MKDP(n,m,s); s->sugar = d->td;    MKDP(n,m,s); s->sugar = d->td;
         *rp = s;    *rp = s;
 }  }
   
 void dp_hm(DP p,DP *rp)  void dp_hm(DP p,DP *rp)
 {  {
         MP m,mr;    MP m,mr;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else {    else {
                 m = BDY(p);      m = BDY(p);
                 NEWMP(mr); mr->dl = m->dl; mr->c = m->c; NEXT(mr) = 0;      NEWMP(mr); mr->dl = m->dl; mr->c = m->c; NEXT(mr) = 0;
                 MKDP(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td;  /* XXX */      MKDP(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td;   /* XXX */
         }    }
 }  }
   
 void dp_ht(DP p,DP *rp)  void dp_ht(DP p,DP *rp)
 {  {
         MP m,mr;    MP m,mr;
   
         if ( !p )    if ( !p )
                 *rp = 0;      *rp = 0;
         else {    else {
                 m = BDY(p);      m = BDY(p);
                 NEWMP(mr); mr->dl = m->dl; mr->c = (P)ONE; NEXT(mr) = 0;      NEWMP(mr); mr->dl = m->dl; mr->c = (Obj)ONE; NEXT(mr) = 0;
                 MKDP(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td;  /* XXX */      MKDP(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td;   /* XXX */
         }    }
 }  }
   
   void dpm_hm(DPM p,DPM *rp)
   {
     DMM m,mr;
   
     if ( !p )
       *rp = 0;
     else {
       m = BDY(p);
       NEWDMM(mr); mr->dl = m->dl; mr->c = m->c; mr->pos = m->pos; NEXT(mr) = 0;
       MKDPM(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td;   /* XXX */
     }
   }
   
   void dpm_ht(DPM p,DPM *rp)
   {
     DMM m,mr;
   
     if ( !p )
       *rp = 0;
     else {
       m = BDY(p);
       NEWDMM(mr); mr->dl = m->dl; mr->pos = m->pos; mr->c = (Obj)ONE; NEXT(mr) = 0;
       MKDPM(p->nv,mr,*rp); (*rp)->sugar = mr->dl->td;   /* XXX */
     }
   }
   
   
 void dp_rest(DP p,DP *rp)  void dp_rest(DP p,DP *rp)
 {  {
         MP m;    MP m;
   
         m = BDY(p);    m = BDY(p);
         if ( !NEXT(m) )    if ( !NEXT(m) )
                 *rp = 0;      *rp = 0;
         else {    else {
                 MKDP(p->nv,NEXT(m),*rp);      MKDP(p->nv,NEXT(m),*rp);
                 if ( *rp )      if ( *rp )
                         (*rp)->sugar = p->sugar;        (*rp)->sugar = p->sugar;
         }    }
 }  }
   
   void dpm_rest(DPM p,DPM *rp)
   {
     DMM m;
   
     m = BDY(p);
     if ( !NEXT(m) )
       *rp = 0;
     else {
       MKDPM(p->nv,NEXT(m),*rp);
       if ( *rp )
         (*rp)->sugar = p->sugar;
     }
   }
   
 DL lcm_of_DL(int nv,DL dl1,DL dl2,DL dl)  DL lcm_of_DL(int nv,DL dl1,DL dl2,DL dl)
 {  {
         register int i, *d1, *d2, *d, td;    register int i, *d1, *d2, *d, td;
   
         if ( !dl ) NEWDL(dl,nv);    if ( !dl ) NEWDL(dl,nv);
         d = dl->d,  d1 = dl1->d,  d2 = dl2->d;    d = dl->d,  d1 = dl1->d,  d2 = dl2->d;
         for ( td = 0, i = 0; i < nv; d1++, d2++, d++, i++ ) {    for ( td = 0, i = 0; i < nv; d1++, d2++, d++, i++ ) {
                 *d = *d1 > *d2 ? *d1 : *d2;      *d = *d1 > *d2 ? *d1 : *d2;
                 td += MUL_WEIGHT(*d,i);      td += MUL_WEIGHT(*d,i);
         }    }
         dl->td = td;    dl->td = td;
         return dl;    return dl;
 }  }
   
 int dl_equal(int nv,DL dl1,DL dl2)  int dl_equal(int nv,DL dl1,DL dl2)
Line 2436  int dl_equal(int nv,DL dl1,DL dl2)
Line 2917  int dl_equal(int nv,DL dl1,DL dl2)
   
 int dp_nt(DP p)  int dp_nt(DP p)
 {  {
         int i;    int i;
         MP m;    MP m;
   
         if ( !p )    if ( !p )
                 return 0;      return 0;
         else {    else {
                 for ( i = 0, m = BDY(p); m; m = NEXT(m), i++ );      for ( i = 0, m = BDY(p); m; m = NEXT(m), i++ );
                 return i;      return i;
         }    }
 }  }
   
 int dp_homogeneous(DP p)  int dp_homogeneous(DP p)
 {  {
         MP m;    MP m;
         int d;    int d;
   
         if ( !p )    if ( !p )
                 return 1;      return 1;
         else {    else {
                 m = BDY(p);      m = BDY(p);
                 d = m->dl->td;      d = m->dl->td;
                 m = NEXT(m);      m = NEXT(m);
                 for ( ; m; m = NEXT(m) ) {      for ( ; m; m = NEXT(m) ) {
                         if ( m->dl->td != d )        if ( m->dl->td != d )
                                 return 0;          return 0;
                 }      }
                 return 1;      return 1;
         }    }
 }  }
   
 void _print_mp(int nv,MP m)  void _print_mp(int nv,MP m)
 {  {
         int i;    int i;
   
         if ( !m )    if ( !m )
                 return;      return;
         for ( ; m; m = NEXT(m) ) {    for ( ; m; m = NEXT(m) ) {
                 fprintf(stderr,"%d<",ITOS(C(m)));      fprintf(stderr,"%d<",ITOS(C(m)));
                 for ( i = 0; i < nv; i++ ) {      for ( i = 0; i < nv; i++ ) {
                         fprintf(stderr,"%d",m->dl->d[i]);        fprintf(stderr,"%d",m->dl->d[i]);
                         if ( i != nv-1 )        if ( i != nv-1 )
                                 fprintf(stderr," ");          fprintf(stderr," ");
                 }      }
                 fprintf(stderr,">",C(m));      fprintf(stderr,">",C(m));
         }    }
         fprintf(stderr,"\n");    fprintf(stderr,"\n");
 }  }
   
 static int cmp_mp_nvar;  static int cmp_mp_nvar;
   
 int comp_mp(MP *a,MP *b)  int comp_mp(MP *a,MP *b)
 {  {
         return -(*cmpdl)(cmp_mp_nvar,(*a)->dl,(*b)->dl);    return -(*cmpdl)(cmp_mp_nvar,(*a)->dl,(*b)->dl);
 }  }
   
 void dp_sort(DP p,DP *rp)  void dp_sort(DP p,DP *rp)
 {  {
         MP t,mp,mp0;    MP t,mp,mp0;
         int i,n;    int i,n;
         DP r;    DP r;
         MP *w;    MP *w;
   
         if ( !p ) {    if ( !p ) {
                 *rp = 0;      *rp = 0;
                 return;      return;
         }    }
         for ( t = BDY(p), n = 0; t; t = NEXT(t), n++ );    for ( t = BDY(p), n = 0; t; t = NEXT(t), n++ );
         w = (MP *)ALLOCA(n*sizeof(MP));    w = (MP *)ALLOCA(n*sizeof(MP));
         for ( t = BDY(p), i = 0; i < n; t = NEXT(t), i++ )    for ( t = BDY(p), i = 0; i < n; t = NEXT(t), i++ )
                 w[i] = t;      w[i] = t;
         cmp_mp_nvar = NV(p);    cmp_mp_nvar = NV(p);
         qsort(w,n,sizeof(MP),(int (*)(const void *,const void *))comp_mp);    qsort(w,n,sizeof(MP),(int (*)(const void *,const void *))comp_mp);
         mp0 = 0;    mp0 = 0;
         for ( i = n-1; i >= 0; i-- ) {    for ( i = n-1; i >= 0; i-- ) {
                 NEWMP(mp); mp->dl = w[i]->dl; C(mp) = C(w[i]);      NEWMP(mp); mp->dl = w[i]->dl; C(mp) = C(w[i]);
                 NEXT(mp) = mp0; mp0 = mp;      NEXT(mp) = mp0; mp0 = mp;
         }    }
         MKDP(p->nv,mp0,r);    MKDP(p->nv,mp0,r);
         r->sugar = p->sugar;    r->sugar = p->sugar;
         *rp = r;    *rp = r;
 }  }
   
 DP extract_initial_term_from_dp(DP p,int *weight,int n);  DP extract_initial_term_from_dp(DP p,int *weight,int n);
Line 2523  LIST extract_initial_term(LIST f,int *weight,int n);
Line 3004  LIST extract_initial_term(LIST f,int *weight,int n);
   
 DP extract_initial_term_from_dp(DP p,int *weight,int n)  DP extract_initial_term_from_dp(DP p,int *weight,int n)
 {  {
         int w,t,i,top;    int w,t,i,top;
         MP m,r0,r;    MP m,r0,r;
         DP dp;    DP dp;
   
         if ( !p ) return 0;    if ( !p ) return 0;
         top = 1;    top = 1;
         for ( m = BDY(p); m; m = NEXT(m) ) {    for ( m = BDY(p); m; m = NEXT(m) ) {
                 for ( i = 0, t = 0; i < n; i++ )      for ( i = 0, t = 0; i < n; i++ )
                         t += weight[i]*m->dl->d[i];        t += weight[i]*m->dl->d[i];
                 if ( top || t > w ) {      if ( top || t > w ) {
                         r0 = 0;        r0 = 0;
                         w = t;        w = t;
                         top = 0;        top = 0;
                 }      }
                 if ( t == w ) {      if ( t == w ) {
                         NEXTMP(r0,r);        NEXTMP(r0,r);
                         r->dl = m->dl;        r->dl = m->dl;
                         r->c = m->c;        r->c = m->c;
                 }      }
         }    }
         NEXT(r) = 0;    NEXT(r) = 0;
         MKDP(p->nv,r0,dp);    MKDP(p->nv,r0,dp);
         return dp;    return dp;
 }  }
   
 LIST extract_initial_term(LIST f,int *weight,int n)  LIST extract_initial_term(LIST f,int *weight,int n)
 {  {
         NODE nd,r0,r;    NODE nd,r0,r;
         Obj p;    Obj p;
         LIST l;    LIST l;
   
         nd = BDY(f);    nd = BDY(f);
         for ( r0 = 0; nd; nd = NEXT(nd) ) {    for ( r0 = 0; nd; nd = NEXT(nd) ) {
                 NEXTNODE(r0,r);      NEXTNODE(r0,r);
                 p = (Obj)BDY(nd);      p = (Obj)BDY(nd);
                 BDY(r) = (pointer)extract_initial_term_from_dp((DP)p,weight,n);      BDY(r) = (pointer)extract_initial_term_from_dp((DP)p,weight,n);
         }    }
         if ( r0 ) NEXT(r) = 0;    if ( r0 ) NEXT(r) = 0;
         MKLIST(l,r0);    MKLIST(l,r0);
         return l;    return l;
 }  }
   
 LIST dp_initial_term(LIST f,struct order_spec *ord)  LIST dp_initial_term(LIST f,struct order_spec *ord)
 {  {
         int n,l,i;    int n,l,i;
         struct weight_or_block *worb;    struct weight_or_block *worb;
         int *weight;    int *weight;
   
         switch ( ord->id ) {    switch ( ord->id ) {
                 case 2: /* matrix order */      case 2: /* matrix order */
                         /* extract the first row */        /* extract the first row */
                         n = ord->nv;        n = ord->nv;
                         weight = ord->ord.matrix.matrix[0];        weight = ord->ord.matrix.matrix[0];
                         return extract_initial_term(f,weight,n);        return extract_initial_term(f,weight,n);
                 case 3: /* composite order */      case 3: /* composite order */
                         /* the first w_or_b */        /* the first w_or_b */
                         worb = ord->ord.composite.w_or_b;        worb = ord->ord.composite.w_or_b;
                         switch ( worb->type ) {        switch ( worb->type ) {
                                 case IS_DENSE_WEIGHT:          case IS_DENSE_WEIGHT:
                                         n = worb->length;            n = worb->length;
                                         weight = worb->body.dense_weight;            weight = worb->body.dense_weight;
                                         return extract_initial_term(f,weight,n);            return extract_initial_term(f,weight,n);
                                 case IS_SPARSE_WEIGHT:          case IS_SPARSE_WEIGHT:
                                         n = ord->nv;            n = ord->nv;
                                         weight = (int *)ALLOCA(n*sizeof(int));            weight = (int *)ALLOCA(n*sizeof(int));
                                         for ( i = 0; i < n; i++ ) weight[i] = 0;            for ( i = 0; i < n; i++ ) weight[i] = 0;
                                         l = worb->length;            l = worb->length;
                                         for ( i = 0; i < l; i++ )            for ( i = 0; i < l; i++ )
                                                 weight[worb->body.sparse_weight[i].pos]              weight[worb->body.sparse_weight[i].pos]
                                                         =  worb->body.sparse_weight[i].value;                =  worb->body.sparse_weight[i].value;
                                         return extract_initial_term(f,weight,n);            return extract_initial_term(f,weight,n);
                                 default:          default:
                                         error("dp_initial_term : unsupported order");            error("dp_initial_term : unsupported order");
                         }        }
                 default:      default:
                         error("dp_initial_term : unsupported order");        error("dp_initial_term : unsupported order");
         }    }
 }  }
   
 int highest_order_dp(DP p,int *weight,int n);  int highest_order_dp(DP p,int *weight,int n);
Line 2607  LIST highest_order(LIST f,int *weight,int n);
Line 3088  LIST highest_order(LIST f,int *weight,int n);
   
 int highest_order_dp(DP p,int *weight,int n)  int highest_order_dp(DP p,int *weight,int n)
 {  {
         int w,t,i,top;    int w,t,i,top;
         MP m;    MP m;
   
         if ( !p ) return -1;    if ( !p ) return -1;
         top = 1;    top = 1;
         for ( m = BDY(p); m; m = NEXT(m) ) {    for ( m = BDY(p); m; m = NEXT(m) ) {
                 for ( i = 0, t = 0; i < n; i++ )      for ( i = 0, t = 0; i < n; i++ )
                         t += weight[i]*m->dl->d[i];        t += weight[i]*m->dl->d[i];
                 if ( top || t > w ) {      if ( top || t > w ) {
                         w = t;        w = t;
                         top = 0;        top = 0;
                 }      }
         }    }
         return w;    return w;
 }  }
   
 LIST highest_order(LIST f,int *weight,int n)  LIST highest_order(LIST f,int *weight,int n)
 {  {
         int h;    int h;
         NODE nd,r0,r;    NODE nd,r0,r;
         Obj p;    Obj p;
         LIST l;    LIST l;
         Q q;    Q q;
   
         nd = BDY(f);    nd = BDY(f);
         for ( r0 = 0; nd; nd = NEXT(nd) ) {    for ( r0 = 0; nd; nd = NEXT(nd) ) {
                 NEXTNODE(r0,r);      NEXTNODE(r0,r);
                 p = (Obj)BDY(nd);      p = (Obj)BDY(nd);
                 h = highest_order_dp((DP)p,weight,n);      h = highest_order_dp((DP)p,weight,n);
                 STOQ(h,q);      STOQ(h,q);
                 BDY(r) = (pointer)q;      BDY(r) = (pointer)q;
         }    }
         if ( r0 ) NEXT(r) = 0;    if ( r0 ) NEXT(r) = 0;
         MKLIST(l,r0);    MKLIST(l,r0);
         return l;    return l;
 }  }
   
 LIST dp_order(LIST f,struct order_spec *ord)  LIST dp_order(LIST f,struct order_spec *ord)
 {  {
         int n,l,i;    int n,l,i;
         struct weight_or_block *worb;    struct weight_or_block *worb;
         int *weight;    int *weight;
   
         switch ( ord->id ) {    switch ( ord->id ) {
                 case 2: /* matrix order */      case 2: /* matrix order */
                         /* extract the first row */        /* extract the first row */
                         n = ord->nv;        n = ord->nv;
                         weight = ord->ord.matrix.matrix[0];        weight = ord->ord.matrix.matrix[0];
                         return highest_order(f,weight,n);        return highest_order(f,weight,n);
                 case 3: /* composite order */      case 3: /* composite order */
                         /* the first w_or_b */        /* the first w_or_b */
                         worb = ord->ord.composite.w_or_b;        worb = ord->ord.composite.w_or_b;
                         switch ( worb->type ) {        switch ( worb->type ) {
                                 case IS_DENSE_WEIGHT:          case IS_DENSE_WEIGHT:
                                         n = worb->length;            n = worb->length;
                                         weight = worb->body.dense_weight;            weight = worb->body.dense_weight;
                                         return highest_order(f,weight,n);            return highest_order(f,weight,n);
                                 case IS_SPARSE_WEIGHT:          case IS_SPARSE_WEIGHT:
                                         n = ord->nv;            n = ord->nv;
                                         weight = (int *)ALLOCA(n*sizeof(int));            weight = (int *)ALLOCA(n*sizeof(int));
                                         for ( i = 0; i < n; i++ ) weight[i] = 0;            for ( i = 0; i < n; i++ ) weight[i] = 0;
                                         l = worb->length;            l = worb->length;
                                         for ( i = 0; i < l; i++ )            for ( i = 0; i < l; i++ )
                                                 weight[worb->body.sparse_weight[i].pos]              weight[worb->body.sparse_weight[i].pos]
                                                         =  worb->body.sparse_weight[i].value;                =  worb->body.sparse_weight[i].value;
                                         return highest_order(f,weight,n);            return highest_order(f,weight,n);
                                 default:          default:
                                         error("dp_initial_term : unsupported order");            error("dp_initial_term : unsupported order");
                         }        }
                 default:      default:
                         error("dp_initial_term : unsupported order");        error("dp_initial_term : unsupported order");
         }    }
 }  }
   
 int dpv_ht(DPV p,DP *h)  int dpv_ht(DPV p,DP *h)
 {  {
         int len,max,maxi,i,t;    int len,max,maxi,i,t;
         DP *e;    DP *e;
         MP m,mr;    MP m,mr;
   
         len = p->len;    len = p->len;
         e = p->body;    e = p->body;
         max = -1;    max = -1;
         maxi = -1;    maxi = -1;
         for ( i = 0; i < len; i++ )    for ( i = 0; i < len; i++ )
                 if ( e[i] && (t = BDY(e[i])->dl->td) > max ) {      if ( e[i] && (t = BDY(e[i])->dl->td) > max ) {
                         max = t;        max = t;
                         maxi = i;        maxi = i;
                 }      }
         if ( max < 0 ) {    if ( max < 0 ) {
                 *h = 0;      *h = 0;
                 return -1;      return -1;
         } else {    } else {
                 m = BDY(e[maxi]);      m = BDY(e[maxi]);
                 NEWMP(mr); mr->dl = m->dl; mr->c = (P)ONE; NEXT(mr) = 0;      NEWMP(mr); mr->dl = m->dl; mr->c = (Obj)ONE; NEXT(mr) = 0;
                 MKDP(e[maxi]->nv,mr,*h); (*h)->sugar = mr->dl->td;  /* XXX */      MKDP(e[maxi]->nv,mr,*h); (*h)->sugar = mr->dl->td;  /* XXX */
                 return maxi;      return maxi;
         }    }
 }  }
   
 /* return 1 if 0 <_w1 v && v <_w2 0 */  /* return 1 if 0 <_w1 v && v <_w2 0 */
   
 int in_c12(int n,int *v,int row1,int **w1,int row2, int **w2)  int in_c12(int n,int *v,int row1,int **w1,int row2, int **w2)
 {  {
         int t1,t2;    int t1,t2;
   
         t1 = compare_zero(n,v,row1,w1);    t1 = compare_zero(n,v,row1,w1);
         t2 = compare_zero(n,v,row2,w2);    t2 = compare_zero(n,v,row2,w2);
         if ( t1 > 0 && t2 < 0 ) return 1;    if ( t1 > 0 && t2 < 0 ) return 1;
         else return 0;    else return 0;
 }  }
   
 /* 0 < u => 1, 0 > u => -1 */  /* 0 < u => 1, 0 > u => -1 */
   
 int compare_zero(int n,int *u,int row,int **w)  int compare_zero(int n,int *u,int row,int **w)
 {  {
         int i,j,t;    int i,j,t;
         int *wi;    int *wi;
   
         for ( i = 0; i < row; i++ ) {    for ( i = 0; i < row; i++ ) {
                 wi = w[i];      wi = w[i];
                 for ( j = 0, t = 0; j < n; j++ ) t += u[j]*wi[j];      for ( j = 0, t = 0; j < n; j++ ) t += u[j]*wi[j];
                 if ( t > 0 ) return 1;      if ( t > 0 ) return 1;
                 else if ( t < 0 ) return -1;      else if ( t < 0 ) return -1;
         }    }
         return 0;    return 0;
 }  }
   
 /* functions for generic groebner walk */  /* functions for generic groebner walk */
 /* u=0 means u=-infty */  /* u=0 means u=-infty */
   
 int compare_facet_preorder(int n,int *u,int *v,  int compare_facet_preorder(int n,int *u,int *v,
         int row1,int **w1,int row2,int **w2)    int row1,int **w1,int row2,int **w2)
 {  {
         int i,j,s,t,tu,tv;    int i,j,s,t,tu,tv;
         int *w2i,*uv;    int *w2i,*uv;
   
         if ( !u ) return 1;    if ( !u ) return 1;
         uv = W_ALLOC(n);    uv = W_ALLOC(n);
         for ( i = 0; i < row2; i++ ) {    for ( i = 0; i < row2; i++ ) {
                 w2i = w2[i];      w2i = w2[i];
                 for ( j = 0, tu = tv = 0; j < n; j++ )      for ( j = 0, tu = tv = 0; j < n; j++ )
                         if ( s = w2i[j] ) {        if ( s = w2i[j] ) {
                                 tu += s*u[j]; tv += s*v[j];          tu += s*u[j]; tv += s*v[j];
                         }        }
                 for ( j = 0; j < n; j++ ) uv[j] = u[j]*tv-v[j]*tu;      for ( j = 0; j < n; j++ ) uv[j] = u[j]*tv-v[j]*tu;
                 t = compare_zero(n,uv,row1,w1);      t = compare_zero(n,uv,row1,w1);
                 if ( t > 0 ) return 1;      if ( t > 0 ) return 1;
                 else if ( t < 0 ) return 0;      else if ( t < 0 ) return 0;
         }    }
         return 1;    return 1;
 }  }
   
 Q inner_product_with_small_vector(VECT w,int *v)  Q inner_product_with_small_vector(VECT w,int *v)
 {  {
         int n,i;    int n,i;
         Q q,s,t,u;    Q q,s,t,u;
   
         n = w->len;    n = w->len;
         s = 0;    s = 0;
         for ( i = 0; i < n; i++ ) {    for ( i = 0; i < n; i++ ) {
                 STOQ(v[i],q); mulq((Q)w->body[i],q,&t); addq(t,s,&u); s = u;      STOQ(v[i],q); mulq((Q)w->body[i],q,&t); addq(t,s,&u); s = u;
         }    }
         return s;    return s;
 }  }
   
 Q compute_last_t(NODE g,NODE gh,Q t,VECT w1,VECT w2,NODE *homo,VECT *wp)  Q compute_last_t(NODE g,NODE gh,Q t,VECT w1,VECT w2,NODE *homo,VECT *wp)
 {  {
         int n,i;    int n,i;
         int *wt;    int *wt;
         Q last,d1,d2,dn,nm,s,t1;    Q last,d1,d2,dn,nm,s,t1;
         VECT wd,wt1,wt2,w;    VECT wd,wt1,wt2,w;
         NODE tg,tgh;    NODE tg,tgh;
         MP f;    MP f;
         int *h;    int *h;
         NODE r0,r;    NODE r0,r;
         MP m0,m;    MP m0,m;
         DP d;    DP d;
   
         n = w1->len;    n = w1->len;
         wt = W_ALLOC(n);    wt = W_ALLOC(n);
         last = ONE;    last = ONE;
         /* t1 = 1-t */    /* t1 = 1-t */
         for ( tg = g, tgh = gh; tg; tg = NEXT(tg), tgh = NEXT(tgh ) ) {    for ( tg = g, tgh = gh; tg; tg = NEXT(tg), tgh = NEXT(tgh ) ) {
                 f = BDY((DP)BDY(tg));      f = BDY((DP)BDY(tg));
                 h = BDY((DP)BDY(tgh))->dl->d;      h = BDY((DP)BDY(tgh))->dl->d;
                 for ( ; f; f = NEXT(f) ) {      for ( ; f; f = NEXT(f) ) {
                         for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i];        for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i];
                         for ( i = 0; i < n && !wt[i]; i++ );        for ( i = 0; i < n && !wt[i]; i++ );
                         if ( i == n ) continue;        if ( i == n ) continue;
                         d1 = inner_product_with_small_vector(w1,wt);        d1 = inner_product_with_small_vector(w1,wt);
                         d2 = inner_product_with_small_vector(w2,wt);        d2 = inner_product_with_small_vector(w2,wt);
                         nm = d1; subq(d1,d2,&dn);        nm = d1; subq(d1,d2,&dn);
                         /* if d1=d2 then nothing happens */        /* if d1=d2 then nothing happens */
                         if ( !dn ) continue;        if ( !dn ) continue;
                         /* s satisfies ds = 0*/        /* s satisfies ds = 0*/
                         divq(nm,dn,&s);        divq(nm,dn,&s);
   
                         if ( cmpq(s,t) > 0 && cmpq(s,last) < 0 )        if ( cmpq(s,t) > 0 && cmpq(s,last) < 0 )
                                 last = s;          last = s;
                         else if ( !cmpq(s,t) ) {        else if ( !cmpq(s,t) ) {
                                 if ( cmpq(d2,0) < 0 ) {          if ( cmpq(d2,0) < 0 ) {
                                         last = t;            last = t;
                                         break;            break;
                                 }          }
                         }        }
                 }      }
         }    }
         if ( !last ) {    if ( !last ) {
                 dn = ONE; nm = 0;      dn = ONE; nm = 0;
         } else {    } else {
                 NTOQ(NM(last),1,nm);      NTOQ(NM(last),1,nm);
                 if ( INT(last) ) dn = ONE;      if ( INT(last) ) dn = ONE;
                 else {      else {
                         NTOQ(DN(last),1,dn);        NTOQ(DN(last),1,dn);
                 }      }
         }    }
         /* (1-n/d)*w1+n/d*w2 -> w=(d-n)*w1+n*w2 */    /* (1-n/d)*w1+n/d*w2 -> w=(d-n)*w1+n*w2 */
         subq(dn,nm,&t1); mulvect(CO,(Obj)w1,(Obj)t1,(Obj *)&wt1);    subq(dn,nm,&t1); mulvect(CO,(Obj)w1,(Obj)t1,(Obj *)&wt1);
         mulvect(CO,(Obj)w2,(Obj)nm,(Obj *)&wt2); addvect(CO,wt1,wt2,&w);    mulvect(CO,(Obj)w2,(Obj)nm,(Obj *)&wt2); addvect(CO,wt1,wt2,&w);
   
         r0 = 0;    r0 = 0;
         for ( tg = g, tgh = gh; tg; tg = NEXT(tg), tgh = NEXT(tgh ) ) {    for ( tg = g, tgh = gh; tg; tg = NEXT(tg), tgh = NEXT(tgh ) ) {
                 f = BDY((DP)BDY(tg));      f = BDY((DP)BDY(tg));
                 h = BDY((DP)BDY(tgh))->dl->d;      h = BDY((DP)BDY(tgh))->dl->d;
                 for ( m0 = 0; f; f = NEXT(f) ) {      for ( m0 = 0; f; f = NEXT(f) ) {
                         for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i];        for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i];
                         for ( i = 0; i < n && !wt[i]; i++ );        for ( i = 0; i < n && !wt[i]; i++ );
                         if ( !inner_product_with_small_vector(w,wt) ) {        if ( !inner_product_with_small_vector(w,wt) ) {
                                 NEXTMP(m0,m); m->c = f->c; m->dl = f->dl;          NEXTMP(m0,m); m->c = f->c; m->dl = f->dl;
                         }        }
                 }      }
                 NEXT(m) = 0;      NEXT(m) = 0;
                 MKDP(((DP)BDY(tg))->nv,m0,d);  d->sugar = ((DP)BDY(tg))->sugar;      MKDP(((DP)BDY(tg))->nv,m0,d);  d->sugar = ((DP)BDY(tg))->sugar;
                 NEXTNODE(r0,r); BDY(r) = (pointer)d;      NEXTNODE(r0,r); BDY(r) = (pointer)d;
         }    }
         NEXT(r) = 0;    NEXT(r) = 0;
         *homo = r0;    *homo = r0;
         *wp = w;    *wp = w;
         return last;    return last;
 }  }
   
 /* return 0 if last_w = infty */  /* return 0 if last_w = infty */
   
 NODE compute_last_w(NODE g,NODE gh,int n,int **w,  NODE compute_last_w(NODE g,NODE gh,int n,int **w,
         int row1,int **w1,int row2,int **w2)    int row1,int **w1,int row2,int **w2)
 {  {
         DP d;    DP d;
         MP f,m0,m;    MP f,m0,m;
         int *wt,*v,*h;    int *wt,*v,*h;
         NODE t,s,n0,tn,n1,r0,r;    NODE t,s,n0,tn,n1,r0,r;
         int i;    int i;
   
         wt = W_ALLOC(n);    wt = W_ALLOC(n);
         n0 = 0;    n0 = 0;
         for ( t = g, s = gh; t; t = NEXT(t), s = NEXT(s) ) {    for ( t = g, s = gh; t; t = NEXT(t), s = NEXT(s) ) {
                 f = BDY((DP)BDY(t));      f = BDY((DP)BDY(t));
                 h = BDY((DP)BDY(s))->dl->d;      h = BDY((DP)BDY(s))->dl->d;
                 for ( ; f; f = NEXT(f) ) {      for ( ; f; f = NEXT(f) ) {
                         for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i];        for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i];
                         for ( i = 0; i < n && !wt[i]; i++ );        for ( i = 0; i < n && !wt[i]; i++ );
                         if ( i == n ) continue;        if ( i == n ) continue;
   
                         if ( in_c12(n,wt,row1,w1,row2,w2) &&        if ( in_c12(n,wt,row1,w1,row2,w2) &&
                                 compare_facet_preorder(n,*w,wt,row1,w1,row2,w2) ) {          compare_facet_preorder(n,*w,wt,row1,w1,row2,w2) ) {
                                 v = (int *)MALLOC_ATOMIC(n*sizeof(int));          v = (int *)MALLOC_ATOMIC(n*sizeof(int));
                                 for ( i = 0; i < n; i++ ) v[i] = wt[i];          for ( i = 0; i < n; i++ ) v[i] = wt[i];
                                 MKNODE(n1,v,n0); n0 = n1;          MKNODE(n1,v,n0); n0 = n1;
                         }        }
                 }      }
         }    }
         if ( !n0 ) return 0;    if ( !n0 ) return 0;
         for ( t = n0; t; t = NEXT(t) ) {    for ( t = n0; t; t = NEXT(t) ) {
                 v = (int *)BDY(t);      v = (int *)BDY(t);
                 for ( s = n0; s; s = NEXT(s) )      for ( s = n0; s; s = NEXT(s) )
                         if ( !compare_facet_preorder(n,v,(int *)BDY(s),row1,w1,row2,w2) )        if ( !compare_facet_preorder(n,v,(int *)BDY(s),row1,w1,row2,w2) )
                                 break;          break;
                 if ( !s ) {      if ( !s ) {
                         *w = v;        *w = v;
                         break;        break;
                 }      }
         }    }
         if ( !t )    if ( !t )
                 error("compute_last_w : cannot happen");      error("compute_last_w : cannot happen");
         r0 = 0;    r0 = 0;
         for ( t = g, s = gh; t; t = NEXT(t), s = NEXT(s) ) {    for ( t = g, s = gh; t; t = NEXT(t), s = NEXT(s) ) {
                 f = BDY((DP)BDY(t));      f = BDY((DP)BDY(t));
                 h = BDY((DP)BDY(s))->dl->d;      h = BDY((DP)BDY(s))->dl->d;
                 for ( m0 = 0; f; f = NEXT(f) ) {      for ( m0 = 0; f; f = NEXT(f) ) {
                         for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i];        for ( i = 0; i < n; i++ ) wt[i] = h[i]-f->dl->d[i];
                         for ( i = 0; i < n && !wt[i]; i++ );        for ( i = 0; i < n && !wt[i]; i++ );
                         if ( i == n  ||        if ( i == n  ||
                                 (compare_facet_preorder(n,wt,*w,row1,w1,row2,w2)          (compare_facet_preorder(n,wt,*w,row1,w1,row2,w2)
                                 && compare_facet_preorder(n,*w,wt,row1,w1,row2,w2)) ) {          && compare_facet_preorder(n,*w,wt,row1,w1,row2,w2)) ) {
                                 NEXTMP(m0,m); m->c = f->c; m->dl = f->dl;          NEXTMP(m0,m); m->c = f->c; m->dl = f->dl;
                         }        }
                 }      }
                 NEXT(m) = 0;      NEXT(m) = 0;
                 MKDP(((DP)BDY(t))->nv,m0,d);  d->sugar = ((DP)BDY(t))->sugar;      MKDP(((DP)BDY(t))->nv,m0,d);  d->sugar = ((DP)BDY(t))->sugar;
                 NEXTNODE(r0,r); BDY(r) = (pointer)d;      NEXTNODE(r0,r); BDY(r) = (pointer)d;
         }    }
         NEXT(r) = 0;    NEXT(r) = 0;
         return r0;    return r0;
 }  }
   
 /* compute a sufficient set of d(f)=u-v */  /* compute a sufficient set of d(f)=u-v */
   
 NODE compute_essential_df(DP *g,DP *gh,int ng)  NODE compute_essential_df(DP *g,DP *gh,int ng)
 {  {
         int nv,i,j,k,t,lj;    int nv,i,j,k,t,lj;
         NODE r,r1,ri,rt,r0;    NODE r,r1,ri,rt,r0;
         MP m;    MP m;
         MP *mj;    MP *mj;
         DL di,hj,dl,dlt;    DL di,hj,dl,dlt;
         int *d,*dt;    int *d,*dt;
         LIST l;    LIST l;
         Q q;    Q q;
   
         nv = g[0]->nv;    nv = g[0]->nv;
         r = 0;    r = 0;
         for ( j = 0; j < ng; j++ ) {    for ( j = 0; j < ng; j++ ) {
                 for ( m = BDY(g[j]), lj = 0; m; m = NEXT(m), lj++ );      for ( m = BDY(g[j]), lj = 0; m; m = NEXT(m), lj++ );
                 mj = (MP *)ALLOCA(lj*sizeof(MP));      mj = (MP *)ALLOCA(lj*sizeof(MP));
                 for ( m = BDY(g[j]), k = 0; m; m = NEXT(m), k++ )      for ( m = BDY(g[j]), k = 0; m; m = NEXT(m), k++ )
                         mj[k] = m;        mj[k] = m;
                 for ( i = 0; i < lj; i++ ) {      for ( i = 0; i < lj; i++ ) {
                         for ( di = mj[i]->dl, k = i+1; k < lj; k++ )        for ( di = mj[i]->dl, k = i+1; k < lj; k++ )
                                 if ( _dl_redble(di,mj[k]->dl,nv) ) break;          if ( _dl_redble(di,mj[k]->dl,nv) ) break;
                         if ( k < lj ) mj[i] = 0;        if ( k < lj ) mj[i] = 0;
                 }      }
                 hj = BDY(gh[j])->dl;      hj = BDY(gh[j])->dl;
                 _NEWDL(dl,nv); d = dl->d;      _NEWDL(dl,nv); d = dl->d;
                 r0 = r;      r0 = r;
                 for ( i = 0; i < lj; i++ ) {      for ( i = 0; i < lj; i++ ) {
                         if ( mj[i] && !dl_equal(nv,di=mj[i]->dl,hj) ) {        if ( mj[i] && !dl_equal(nv,di=mj[i]->dl,hj) ) {
                                 for ( k = 0, t = 0; k < nv; k++ ) {          for ( k = 0, t = 0; k < nv; k++ ) {
                                         d[k] = hj->d[k]-di->d[k];            d[k] = hj->d[k]-di->d[k];
                                         t += d[k];            t += d[k];
                                 }          }
                                 dl->td = t;          dl->td = t;
 #if 1  #if 1
                                 for ( rt = r0; rt; rt = NEXT(rt) ) {          for ( rt = r0; rt; rt = NEXT(rt) ) {
                                         dlt = (DL)BDY(rt);            dlt = (DL)BDY(rt);
                                         if ( dlt->td != dl->td ) continue;            if ( dlt->td != dl->td ) continue;
                                         for ( dt = dlt->d, k = 0; k < nv; k++ )            for ( dt = dlt->d, k = 0; k < nv; k++ )
                                                 if ( d[k] != dt[k] ) break;              if ( d[k] != dt[k] ) break;
                                         if ( k == nv ) break;            if ( k == nv ) break;
                                 }          }
 #else  #else
                                 rt = 0;          rt = 0;
 #endif  #endif
                                 if ( !rt ) {          if ( !rt ) {
                                         MKNODE(r1,dl,r); r = r1;            MKNODE(r1,dl,r); r = r1;
                                         _NEWDL(dl,nv); d = dl->d;            _NEWDL(dl,nv); d = dl->d;
                                 }          }
                         }        }
                 }      }
         }    }
         for ( rt = r; rt; rt = NEXT(rt) ) {    for ( rt = r; rt; rt = NEXT(rt) ) {
                 dl = (DL)BDY(rt); d = dl->d;      dl = (DL)BDY(rt); d = dl->d;
                 ri = 0;      ri = 0;
                 for ( k = nv-1; k >= 0; k-- ) {      for ( k = nv-1; k >= 0; k-- ) {
                         STOQ(d[k],q);        STOQ(d[k],q);
                         MKNODE(r1,q,ri); ri = r1;        MKNODE(r1,q,ri); ri = r1;
                 }      }
                 MKNODE(r1,0,ri); MKLIST(l,r1);      MKNODE(r1,0,ri); MKLIST(l,r1);
                 BDY(rt) = (pointer)l;      BDY(rt) = (pointer)l;
         }    }
         return r;    return r;
   }
   
   int comp_bits_divisible(int *a,int *b,int n)
   {
     int bpi,i,wi,bi;
   
     bpi = (sizeof(int)/sizeof(char))*8;
     for ( i = 0; i < n; i++ ) {
       wi = i/bpi; bi = i%bpi;
       if ( !(a[wi]&(1<<bi)) && (b[wi]&(1<<bi)) ) return 0;
     }
     return 1;
   }
   
   int comp_bits_lex(int *a,int *b,int n)
   {
     int bpi,i,wi,ba,bb,bi;
   
     bpi = (sizeof(int)/sizeof(char))*8;
     for ( i = 0; i < n; i++ ) {
       wi = i/bpi; bi = i%bpi;
       ba = (a[wi]&(1<<bi))?1:0;
       bb = (b[wi]&(1<<bi))?1:0;
       if ( ba > bb ) return 1;
       else if ( ba < bb ) return -1;
     }
     return 0;
   }
   
   NODE mono_raddec(NODE ideal)
   {
     DP p;
     int nv,w,i,bpi,di,c,len;
     int *d,*s,*u,*new;
     NODE t,t1,v,r,rem,prev;
   
     if( !ideal ) return 0;
     p = (DP)BDY(ideal);
     nv = NV(p);
     bpi = (sizeof(int)/sizeof(char))*8;
     w = (nv+(bpi-1))/bpi;
     d = p->body->dl->d;
     if ( !NEXT(ideal) )  {
       for ( t = 0, i = nv-1; i >= 0; i-- ) {
         if ( d[i] ) {
           s = (int *)CALLOC(w,sizeof(int));
           s[i/bpi] |= 1<<(i%bpi);
           MKNODE(t1,s,t);
           t = t1;
         }
       }
       return t;
     }
     rem = mono_raddec(NEXT(ideal));
     r = 0;
     len = w*sizeof(int);
     u = (int *)CALLOC(w,sizeof(int));
     for ( i = nv-1; i >= 0; i-- ) {
       if ( d[i] ) {
         for ( t = rem; t; t = NEXT(t) ) {
           bcopy((char *)BDY(t),(char *)u,len);
           u[i/bpi] |= 1<<(i%bpi);
           for ( v = r; v; v = NEXT(v) ) {
             if ( comp_bits_divisible(u,(int *)BDY(v),nv) ) break;
           }
           if ( v ) continue;
           for ( v = r, prev = 0; v; v = NEXT(v) ) {
             if ( comp_bits_divisible((int *)BDY(v),u,nv) ) {
               if ( prev ) NEXT(prev) = NEXT(v);
               else r = NEXT(r);
             } else prev =v;
           }
           for ( v = r, prev = 0; v; prev = v, v = NEXT(v) ) {
             if ( comp_bits_lex(u,(int *)BDY(v),nv) < 0 ) break;
           }
           new = (int *)CALLOC(w,sizeof(int));
           bcopy((char *)u,(char *)new,len);
           MKNODE(t1,new,v);
           if ( prev ) NEXT(prev) = t1;
           else r = t1;
         }
       }
     }
     return r;
 }  }

Legend:
Removed from v.1.50  
changed lines
  Added in v.1.67

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