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

Diff for /OpenXM_contrib2/asir2000/engine/PU.c between version 1.2 and 1.16

version 1.2, 1999/12/27 04:16:31 version 1.16, 2018/03/29 01:32:51
Line 1 
Line 1 
 /* $OpenXM: OpenXM/src/asir99/engine/PU.c,v 1.1.1.1 1999/11/10 08:12:26 noro Exp $ */  /*
    * Copyright (c) 1994-2000 FUJITSU LABORATORIES LIMITED
    * All rights reserved.
    *
    * FUJITSU LABORATORIES LIMITED ("FLL") hereby grants you a limited,
    * non-exclusive and royalty-free license to use, copy, modify and
    * redistribute, solely for non-commercial and non-profit purposes, the
    * computer program, "Risa/Asir" ("SOFTWARE"), subject to the terms and
    * conditions of this Agreement. For the avoidance of doubt, you acquire
    * only a limited right to use the SOFTWARE hereunder, and FLL or any
    * third party developer retains all rights, including but not limited to
    * copyrights, in and to the SOFTWARE.
    *
    * (1) FLL does not grant you a license in any way for commercial
    * purposes. You may use the SOFTWARE only for non-commercial and
    * non-profit purposes only, such as academic, research and internal
    * business use.
    * (2) The SOFTWARE is protected by the Copyright Law of Japan and
    * international copyright treaties. If you make copies of the SOFTWARE,
    * with or without modification, as permitted hereunder, you shall affix
    * to all such copies of the SOFTWARE the above copyright notice.
    * (3) An explicit reference to this SOFTWARE and its copyright owner
    * shall be made on your publication or presentation in any form of the
    * results obtained by use of the SOFTWARE.
    * (4) In the event that you modify the SOFTWARE, you shall notify FLL by
    * e-mail at risa-admin@sec.flab.fujitsu.co.jp of the detailed specification
    * for such modification or the source code of the modified part of the
    * SOFTWARE.
    *
    * THE SOFTWARE IS PROVIDED AS IS WITHOUT ANY WARRANTY OF ANY KIND. FLL
    * MAKES ABSOLUTELY NO WARRANTIES, EXPRESSED, IMPLIED OR STATUTORY, AND
    * EXPRESSLY DISCLAIMS ANY IMPLIED WARRANTY OF MERCHANTABILITY, FITNESS
    * FOR A PARTICULAR PURPOSE OR NONINFRINGEMENT OF THIRD PARTIES'
    * RIGHTS. NO FLL DEALER, AGENT, EMPLOYEES IS AUTHORIZED TO MAKE ANY
    * MODIFICATIONS, EXTENSIONS, OR ADDITIONS TO THIS WARRANTY.
    * UNDER NO CIRCUMSTANCES AND UNDER NO LEGAL THEORY, TORT, CONTRACT,
    * OR OTHERWISE, SHALL FLL BE LIABLE TO YOU OR ANY OTHER PERSON FOR ANY
    * DIRECT, INDIRECT, SPECIAL, INCIDENTAL, PUNITIVE OR CONSEQUENTIAL
    * DAMAGES OF ANY CHARACTER, INCLUDING, WITHOUT LIMITATION, DAMAGES
    * ARISING OUT OF OR RELATING TO THE SOFTWARE OR THIS AGREEMENT, DAMAGES
    * FOR LOSS OF GOODWILL, WORK STOPPAGE, OR LOSS OF DATA, OR FOR ANY
    * DAMAGES, EVEN IF FLL SHALL HAVE BEEN INFORMED OF THE POSSIBILITY OF
    * SUCH DAMAGES, OR FOR ANY CLAIM BY ANY OTHER PARTY. EVEN IF A PART
    * OF THE SOFTWARE HAS BEEN DEVELOPED BY A THIRD PARTY, THE THIRD PARTY
    * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
    * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
    *
    * $OpenXM: OpenXM_contrib2/asir2000/engine/PU.c,v 1.15 2018/02/28 03:55:38 noro Exp $
   */
 #include "ca.h"  #include "ca.h"
   
 void reorderp(nvl,ovl,p,pr)  void reorderp(VL nvl,VL ovl,P p,P *pr)
 VL nvl,ovl;  
 P p;  
 P *pr;  
 {  {
         DCP dc;    DCP dc;
         P x,m,s,t,c;    P x,m,s,t,c;
   
         if ( !p )    if ( !p )
                 *pr = 0;      *pr = 0;
         else if ( NUM(p) )    else if ( NUM(p) )
                 *pr = p;      *pr = p;
         else {    else {
                 MKV(VR(p),x);      MKV(VR(p),x);
                 for ( s = 0, dc = DC(p); dc; dc = NEXT(dc) ) {      for ( s = 0, dc = DC(p); dc; dc = NEXT(dc) ) {
                         reorderp(nvl,ovl,COEF(dc),&c);        reorderp(nvl,ovl,COEF(dc),&c);
                         if ( DEG(dc) ) {        if ( DEG(dc) ) {
                                 pwrp(nvl,x,DEG(dc),&t); mulp(nvl,c,t,&m);          pwrp(nvl,x,DEG(dc),&t); mulp(nvl,c,t,&m);
                                 addp(nvl,m,s,&t);          addp(nvl,m,s,&t);
                         } else        } else
                                 addp(nvl,s,c,&t);          addp(nvl,s,c,&t);
                         s = t;        s = t;
                 }      }
                 *pr = s;      *pr = s;
         }    }
 }  }
   
 void substp(vl,p,v0,p0,pr)  void substp(VL vl,P p,V v0,P p0,P *pr)
 VL vl;  
 V v0;  
 P p,p0;  
 P *pr;  
 {  {
         P x,t,m,c,s,a;    P x,t,m,c,s,a;
         DCP dc;    DCP dc;
         Q d;    Q d;
   
         if ( !p )    if ( !p )
                 *pr = 0;      *pr = 0;
         else if ( NUM(p) )    else if ( NUM(p) )
                 *pr = p;      *pr = p;
         else if ( VR(p) != v0 ) {    else if ( VR(p) != v0 ) {
                 MKV(VR(p),x);      MKV(VR(p),x);
                 for ( c = 0, dc = DC(p); dc; dc = NEXT(dc) ) {      for ( c = 0, dc = DC(p); dc; dc = NEXT(dc) ) {
                         substp(vl,COEF(dc),v0,p0,&t);        substp(vl,COEF(dc),v0,p0,&t);
                         if ( DEG(dc) ) {        if ( DEG(dc) ) {
                                 pwrp(vl,x,DEG(dc),&s); mulp(vl,s,t,&m);          pwrp(vl,x,DEG(dc),&s); mulp(vl,s,t,&m);
                                 addp(vl,m,c,&a);          addp(vl,m,c,&a);
                                 c = a;          c = a;
                         } else {        } else {
                                 addp(vl,t,c,&a);          addp(vl,t,c,&a);
                                 c = a;          c = a;
                         }        }
                 }      }
                 *pr = c;      *pr = c;
         } else {    } else {
                 dc = DC(p);      dc = DC(p);
                 c = COEF(dc);      c = COEF(dc);
                 for ( d = DEG(dc), dc = NEXT(dc);      for ( d = DEG(dc), dc = NEXT(dc);
                         dc; d = DEG(dc), dc = NEXT(dc) ) {        dc; d = DEG(dc), dc = NEXT(dc) ) {
                                 subq(d,DEG(dc),(Q *)&t); pwrp(vl,p0,(Q)t,&s);          subq(d,DEG(dc),(Q *)&t); pwrp(vl,p0,(Q)t,&s);
                                 mulp(vl,s,c,&m);          mulp(vl,s,c,&m);
                                 addp(vl,m,COEF(dc),&c);          addp(vl,m,COEF(dc),&c);
                 }      }
                 if ( d ) {      if ( d ) {
                         pwrp(vl,p0,d,&t); mulp(vl,t,c,&m);        pwrp(vl,p0,d,&t); mulp(vl,t,c,&m);
                         c = m;        c = m;
                 }      }
                 *pr = c;      *pr = c;
         }    }
 }  }
   
 void detp(vl,rmat,n,dp)  void substpp(VL vl,P p,V *vvect,P *svect,int nv,P *pr);
 VL vl;  
 P **rmat;  void substpp(VL vl,P p,V *vvect,P *svect,int nv,P *pr)
 int n;  
 P *dp;  
 {  {
         int i,j,k,sgn;    P x,t,m,c,s,a,p0,c1;
         P mjj,mij,t,s,u,d;    DCP dc;
         P **mat;    Q d;
         P *mi,*mj;    V v;
     int i;
   
         mat = (P **)almat_pointer(n,n);    if ( !p )
         for ( i = 0; i < n; i++ )      *pr = 0;
                 for ( j = 0; j < n; j++ )    else if ( NUM(p) )
                         mat[i][j] = rmat[i][j];      *pr = p;
         for ( j = 0, d = (P)ONE, sgn = 1; j < n; j++ ) {    else {
                 for ( i = j; (i < n) && !mat[i][j]; i++ );      v = VR(p);
                 if ( i == n ) {      for ( i = 0; i < nv; i++ ) if ( vvect[i] == v ) break;
                         *dp = 0; return;      if ( svect[i] && OID(svect[i]) < 0 ) {
                 }        MKV(VR(p),x);
                 for ( k = i; k < n; k++ )        for ( c = 0, dc = DC(p); dc; dc = NEXT(dc) ) {
                         if ( mat[k][j] && (nmonop(mat[k][j]) < nmonop(mat[i][j]) ) )          substpp(vl,COEF(dc),vvect,svect,nv,&t);
                                 i = k;          if ( DEG(dc) ) {
                 if ( j != i ) {            pwrp(vl,x,DEG(dc),&s); mulp(vl,s,t,&m);
                         mj = mat[j]; mat[j] = mat[i]; mat[i] = mj; sgn = -sgn;            addp(vl,m,c,&a);
                 }            c = a;
                 for ( i = j + 1, mj = mat[j], mjj = mj[j]; i < n; i++ )          } else {
                         for ( k = j + 1, mi = mat[i], mij = mi[j]; k < n; k++ ) {            addp(vl,t,c,&a);
                                 mulp(vl,mi[k],mjj,&t); mulp(vl,mj[k],mij,&s);            c = a;
                                 subp(vl,t,s,&u); divsp(vl,u,d,&mi[k]);          }
                         }        }
                 d = mjj;        *pr = c;
         }      } else {
         if ( sgn < 0 )        p0 = svect[i];
                 chsgnp(d,dp);        dc = DC(p);
         else        substpp(vl,COEF(dc),vvect,svect,nv,&c);
                 *dp = d;        for ( d = DEG(dc), dc = NEXT(dc);
           dc; d = DEG(dc), dc = NEXT(dc) ) {
             subq(d,DEG(dc),(Q *)&t); pwrp(vl,p0,(Q)t,&s);
             mulp(vl,s,c,&m);
             substpp(vl,COEF(dc),vvect,svect,nv,&c1);
             addp(vl,m,c1,&c);
         }
         if ( d ) {
           pwrp(vl,p0,d,&t); mulp(vl,t,c,&m);
           c = m;
         }
         *pr = c;
       }
     }
 }  }
   
 void reordvar(vl,v,nvlp)  void detp(VL vl,P **rmat,int n,P *dp)
 VL vl;  
 V v;  
 VL *nvlp;  
 {  {
         VL nvl,nvl0;    int i,j,k,l,sgn,nmin,kmin,lmin,ntmp;
     P mjj,mij,t,s,u,d;
     P **mat;
     P *mi,*mj;
   
         for ( NEWVL(nvl0), nvl0->v = v, nvl = nvl0;    mat = (P **)almat_pointer(n,n);
                 vl; vl = NEXT(vl) )    for ( i = 0; i < n; i++ )
                 if ( vl->v == v )      for ( j = 0; j < n; j++ )
                         continue;        mat[i][j] = rmat[i][j];
                 else {    for ( j = 0, d = (P)ONE, sgn = 1; j < n; j++ ) {
                         NEWVL(NEXT(nvl));      for ( i = j; (i < n) && !mat[i][j]; i++ );
                         nvl = NEXT(nvl);      if ( i == n ) {
                         nvl->v = vl->v;        *dp = 0; return;
                 }      }
         NEXT(nvl) = 0;      nmin = nmonop(mat[i][j]);
         *nvlp = nvl0;      kmin=i; lmin=j;
       for ( k = j; k < n; k++ )
         for ( l = j; l < n; l++ )
           if ( mat[k][l] && ((ntmp=nmonop(mat[k][l])) < nmin) ) {
             kmin = k; lmin = l; nmin = ntmp;
           }
       if ( kmin != j ) {
         mj = mat[j]; mat[j] = mat[kmin]; mat[kmin] = mj; sgn = -sgn;
       }
       if ( lmin != j ) {
         for ( k = j; k < n; k++ ) {
           t = mat[k][j]; mat[k][j] = mat[k][lmin]; mat[k][lmin] = t;
         }
         sgn = -sgn;
       }
       for ( i = j + 1, mj = mat[j], mjj = mj[j]; i < n; i++ )
         for ( k = j + 1, mi = mat[i], mij = mi[j]; k < n; k++ ) {
           mulp(vl,mi[k],mjj,&t); mulp(vl,mj[k],mij,&s);
           subp(vl,t,s,&u); divsp(vl,u,d,&mi[k]);
         }
       d = mjj;
     }
     if ( sgn < 0 )
       chsgnp(d,dp);
     else
       *dp = d;
 }  }
   
 void gcdprsp(vl,p1,p2,pr)  void invmatp(VL vl,P **rmat,int n,P ***imatp,P *dnp)
 VL vl;  
 P p1,p2,*pr;  
 {  {
         P g1,g2,gc1,gc2,gp1,gp2,g,gc,gp,gcr;    int i,j,k,l,n2;
         V v1,v2;    P mjj,mij,t,s,u,d;
     P **mat,**imat;
     P *mi,*mj,*w;
   
     n2 = n<<1;
     mat = (P **)almat_pointer(n,n2);
     for ( i = 0; i < n; i++ ) {
       for ( j = 0; j < n; j++ )
         mat[i][j] = rmat[i][j];
       mat[i][i+n] = (P)ONE;
     }
     for ( j = 0, d = (P)ONE; j < n; j++ ) {
       for ( i = j; (i < n) && !mat[i][j]; i++ );
       if ( i == n ) {
         error("invmatp : input is singular");
       }
       for ( k = i; k < n; k++ )
         if ( mat[k][j] && (nmonop(mat[k][j]) < nmonop(mat[i][j]) ) )
           i = k;
       if ( j != i ) {
         mj = mat[j]; mat[j] = mat[i]; mat[i] = mj;
       }
       for ( i = j + 1, mj = mat[j], mjj = mj[j]; i < n; i++ )
         for ( k = j + 1, mi = mat[i], mij = mi[j]; k < n2; k++ ) {
           mulp(vl,mi[k],mjj,&t); mulp(vl,mj[k],mij,&s);
           subp(vl,t,s,&u); divsp(vl,u,d,&mi[k]);
         }
       d = mjj;
     }
     /* backward substitution */
     w = (P *)ALLOCA(n2*sizeof(P));
     for ( i = n-2; i >= 0; i-- ) {
       bzero(w,n2*sizeof(P));
       for ( k = i+1; k < n; k++ )
         for ( l = k, u = mat[i][l]; l < n2; l++ ) {
           mulp(vl,mat[k][l],u,&t); addp(vl,w[l],t,&s); w[l] = s;
         }
       for ( j = i, u = mat[i][j]; j < n2; j++ ) {
         mulp(vl,mat[i][j],d,&t); subp(vl,t,w[j],&s);
         divsp(vl,s,u,&mat[i][j]);
       }
     }
     imat = (P **)almat_pointer(n,n);
     for ( i = 0; i < n; i++ )
       for ( j = 0; j < n; j++ )
         imat[i][j] = mat[i][j+n];
     *imatp = imat;
     *dnp = d;
   }
   
         if ( !p1 )  void reordvar(VL vl,V v,VL *nvlp)
                 ptozp0(p2,pr);  {
         else if ( !p2 )    VL nvl,nvl0;
                 ptozp0(p1,pr);  
         else if ( NUM(p1) || NUM(p2) )  
                 *pr = (P)ONE;  
         else {  
                 ptozp0(p1,&g1); ptozp0(p2,&g2);  
                 if ( ( v1 = VR(g1) ) == ( v2 = VR(g2) ) ) {  
                         gcdcp(vl,g1,&gc1); divsp(vl,g1,gc1,&gp1);  
                         gcdcp(vl,g2,&gc2); divsp(vl,g2,gc2,&gp2);  
                         gcdprsp(vl,gc1,gc2,&gcr);  
                         sprs(vl,v1,gp1,gp2,&g);  
   
                         if ( VR(g) == v1 ) {    for ( NEWVL(nvl0), nvl0->v = v, nvl = nvl0;
                                 ptozp0(g,&gp);      vl; vl = NEXT(vl) )
                                 gcdcp(vl,gp,&gc); divsp(vl,gp,gc,&gp1);      if ( vl->v == v )
                                 mulp(vl,gp1,gcr,pr);        continue;
       else {
         NEWVL(NEXT(nvl));
         nvl = NEXT(nvl);
         nvl->v = vl->v;
       }
     NEXT(nvl) = 0;
     *nvlp = nvl0;
   }
   
                         } else  void gcdprsp(VL vl,P p1,P p2,P *pr)
                                 *pr = gcr;  {
                 } else {    P g1,g2,gc1,gc2,gp1,gp2,g,gc,gp,gcr;
                         while ( v1 != vl->v && v2 != vl->v )    V v1,v2;
                                 vl = NEXT(vl);  
                         if ( v1 == vl->v ) {    if ( !p1 )
                                 gcdcp(vl,g1,&gc1); gcdprsp(vl,gc1,g2,pr);      ptozp0(p2,pr);
                         } else {    else if ( !p2 )
                                 gcdcp(vl,g2,&gc2); gcdprsp(vl,gc2,g1,pr);      ptozp0(p1,pr);
                         }    else if ( NUM(p1) || NUM(p2) )
                 }      *pr = (P)ONE;
         }    else {
       ptozp0(p1,&g1); ptozp0(p2,&g2);
       if ( ( v1 = VR(g1) ) == ( v2 = VR(g2) ) ) {
         gcdcp(vl,g1,&gc1); divsp(vl,g1,gc1,&gp1);
         gcdcp(vl,g2,&gc2); divsp(vl,g2,gc2,&gp2);
         gcdprsp(vl,gc1,gc2,&gcr);
         sprs(vl,v1,gp1,gp2,&g);
   
         if ( VR(g) == v1 ) {
           ptozp0(g,&gp);
           gcdcp(vl,gp,&gc); divsp(vl,gp,gc,&gp1);
           mulp(vl,gp1,gcr,pr);
   
         } else
           *pr = gcr;
       } else {
         while ( v1 != vl->v && v2 != vl->v )
           vl = NEXT(vl);
         if ( v1 == vl->v ) {
           gcdcp(vl,g1,&gc1); gcdprsp(vl,gc1,g2,pr);
         } else {
           gcdcp(vl,g2,&gc2); gcdprsp(vl,gc2,g1,pr);
         }
       }
     }
 }  }
   
 void gcdcp(vl,p,pr)  void gcdcp(VL vl,P p,P *pr)
 VL vl;  
 P p,*pr;  
 {  {
         P g,g1;    P g,g1;
         DCP dc;    DCP dc;
   
         if ( NUM(p) )    if ( NUM(p) )
                 *pr = (P)ONE;      *pr = (P)ONE;
         else {    else {
                 dc = DC(p);      dc = DC(p);
                 g = COEF(dc);      g = COEF(dc);
                 for ( dc = NEXT(dc); dc; dc = NEXT(dc) ) {      for ( dc = NEXT(dc); dc; dc = NEXT(dc) ) {
                         gcdprsp(vl,g,COEF(dc),&g1);        gcdprsp(vl,g,COEF(dc),&g1);
                         g = g1;        g = g1;
                 }      }
                 *pr = g;      *pr = g;
         }    }
 }  }
   
 void sprs(vl,v,p1,p2,pr)  void sprs(VL vl,V v,P p1,P p2,P *pr)
 VL vl;  
 V v;  
 P p1,p2,*pr;  
 {  {
         P q1,q2,m,m1,m2,x,h,r,g1,g2;    P q1,q2,m,m1,m2,x,h,r,g1,g2;
         int d;    int d;
         Q dq;    Q dq;
         VL nvl;    VL nvl;
   
         reordvar(vl,v,&nvl);    reordvar(vl,v,&nvl);
         reorderp(nvl,vl,p1,&q1); reorderp(nvl,vl,p2,&q2);    reorderp(nvl,vl,p1,&q1); reorderp(nvl,vl,p2,&q2);
   
         if ( ( VR(q1) != v ) || ( VR(q2) != v ) ) {    if ( ( VR(q1) != v ) || ( VR(q2) != v ) ) {
                 *pr = 0;      *pr = 0;
                 return;      return;
         }    }
   
         if ( deg(v,q1) >= deg(v,q2) ) {    if ( deg(v,q1) >= deg(v,q2) ) {
                 g1 = q1; g2 = q2;      g1 = q1; g2 = q2;
         } else {    } else {
                 g2 = q1; g1 = q2;      g2 = q1; g1 = q2;
         }    }
   
         for ( h = (P)ONE, x = (P)ONE; ; ) {    for ( h = (P)ONE, x = (P)ONE; ; ) {
                 if ( !deg(v,g2) )      if ( !deg(v,g2) )
                         break;        break;
   
                 premp(nvl,g1,g2,&r);      premp(nvl,g1,g2,&r);
                 if ( !r )      if ( !r )
                         break;        break;
   
                 d = deg(v,g1) - deg(v,g2); STOQ(d,dq);      d = deg(v,g1) - deg(v,g2); STOQ(d,dq);
                 pwrp(nvl,h,dq,&m); mulp(nvl,m,x,&m1); g1 = g2;      pwrp(nvl,h,dq,&m); mulp(nvl,m,x,&m1); g1 = g2;
                 divsp(nvl,r,m1,&g2); x = LC(g1); /* g1 is not const w.r.t v */      divsp(nvl,r,m1,&g2); x = LC(g1); /* g1 is not const w.r.t v */
                 pwrp(nvl,x,dq,&m1); mulp(nvl,m1,h,&m2);      pwrp(nvl,x,dq,&m1); mulp(nvl,m1,h,&m2);
                 divsp(nvl,m2,m,&h);      divsp(nvl,m2,m,&h);
         }    }
         *pr = g2;    *pr = g2;
 }  }
   
 void resultp(vl,v,p1,p2,pr)  void resultp(VL vl,V v,P p1,P p2,P *pr)
 VL vl;  
 V v;  
 P p1,p2,*pr;  
 {  {
         P q1,q2,m,m1,m2,lc,q,r,t,g1,g2,adj;    P q1,q2,m,m1,m2,lc,q,r,t,g1,g2,adj;
         int d,d1,d2,j,k;    int d,d1,d2,j,k;
         VL nvl;    VL nvl;
         Q dq;    Q dq;
   
         if ( !p1 || !p2 ) {    if ( !p1 || !p2 ) {
                 *pr = 0; return;      *pr = 0; return;
         }    }
         reordvar(vl,v,&nvl);    reordvar(vl,v,&nvl);
         reorderp(nvl,vl,p1,&q1); reorderp(nvl,vl,p2,&q2);    reorderp(nvl,vl,p1,&q1); reorderp(nvl,vl,p2,&q2);
   
         if ( VR(q1) != v )    if ( VR(q1) != v )
                 if ( VR(q2) != v ) {      if ( VR(q2) != v ) {
                         *pr = 0;        *pr = 0;
                         return;        return;
                 } else {      } else {
                         d = deg(v,q2); STOQ(d,dq);        d = deg(v,q2); STOQ(d,dq);
                         pwrp(vl,q1,dq,pr);        pwrp(vl,q1,dq,pr);
                         return;        return;
                 }      }
         else if ( VR(q2) != v ) {    else if ( VR(q2) != v ) {
                 d = deg(v,q1); STOQ(d,dq);      d = deg(v,q1); STOQ(d,dq);
                 pwrp(vl,q2,dq,pr);      pwrp(vl,q2,dq,pr);
                 return;      return;
         }    }
   
         if ( ( VR(q1) != v ) || ( VR(q2) != v ) ) {    if ( ( VR(q1) != v ) || ( VR(q2) != v ) ) {
                 *pr = 0;      *pr = 0;
                 return;      return;
         }    }
   
         d1 = deg(v,q1); d2 = deg(v,q2);    d1 = deg(v,q1); d2 = deg(v,q2);
         if ( d1 > d2 ) {    if ( d1 > d2 ) {
                 g1 = q1; g2 = q2; adj = (P)ONE;      g1 = q1; g2 = q2; adj = (P)ONE;
         } else if ( d1 < d2 ) {    } else if ( d1 < d2 ) {
                 g2 = q1; g1 = q2;      g2 = q1; g1 = q2;
                 if ( (d1 % 2) && (d2 % 2) ) {      if ( (d1 % 2) && (d2 % 2) ) {
                         STOQ(-1,dq); adj = (P)dq;        STOQ(-1,dq); adj = (P)dq;
                 } else      } else
                         adj = (P)ONE;        adj = (P)ONE;
         } else {    } else {
                 premp(nvl,q1,q2,&t);      premp(nvl,q1,q2,&t);
                 d = deg(v,t); STOQ(d,dq); pwrp(nvl,LC(q2),dq,&adj);      d = deg(v,t); STOQ(d,dq); pwrp(nvl,LC(q2),dq,&adj);
                 g1 = q2; g2 = t;      g1 = q2; g2 = t;
                 if ( d1 % 2 ) {      if ( d1 % 2 ) {
                         chsgnp(adj,&t); adj = t;        chsgnp(adj,&t); adj = t;
                 }      }
         }    }
         d1 = deg(v,g1); j = d1 - 1;    d1 = deg(v,g1); j = d1 - 1;
   
         for ( lc = (P)ONE; ; ) {    for ( lc = (P)ONE; ; ) {
                 if ( ( k = deg(v,g2) ) < 0 ) {      if ( ( k = deg(v,g2) ) < 0 ) {
                         *pr = 0;        *pr = 0;
                         return;        return;
                 }      }
   
                 if ( k == j )      if ( k == j )
                         if ( !k ) {        if ( !k ) {
                                 divsp(nvl,g2,adj,pr);          divsp(nvl,g2,adj,pr);
                                 return;          return;
                         } else {        } else {
                                 premp(nvl,g1,g2,&r); mulp(nvl,lc,lc,&m);          premp(nvl,g1,g2,&r); mulp(nvl,lc,lc,&m);
                                 divsp(nvl,r,m,&q);          divsp(nvl,r,m,&q);
                                 g1 = g2; g2 = q;          g1 = g2; g2 = q;
                                 lc = LC(g1); /* g1 is not const */          lc = LC(g1); /* g1 is not const */
                                 j = k - 1;          j = k - 1;
                         }        }
                 else {      else {
                         d = j - k; STOQ(d,dq);        d = j - k; STOQ(d,dq);
                         pwrp(nvl,(VR(g2)==v?LC(g2):g2),dq,&m);        pwrp(nvl,(VR(g2)==v?LC(g2):g2),dq,&m);
                         mulp(nvl,g2,m,&m1);        mulp(nvl,g2,m,&m1);
                         pwrp(nvl,lc,dq,&m); divsp(nvl,m1,m,&t);        pwrp(nvl,lc,dq,&m); divsp(nvl,m1,m,&t);
                         if ( k == 0 ) {        if ( k == 0 ) {
                                 divsp(nvl,t,adj,pr);          divsp(nvl,t,adj,pr);
                                 return;          return;
                         } else {        } else {
                                 premp(nvl,g1,g2,&r);          premp(nvl,g1,g2,&r);
                                 mulp(nvl,lc,lc,&m1); mulp(nvl,m,m1,&m2);          mulp(nvl,lc,lc,&m1); mulp(nvl,m,m1,&m2);
                                 divsp(nvl,r,m2,&q);          divsp(nvl,r,m2,&q);
                                 g1 = t; g2 = q;          g1 = t; g2 = q;
                                 if ( d % 2 ) {          if ( d % 2 ) {
                                         chsgnp(g2,&t); g2 = t;            chsgnp(g2,&t); g2 = t;
                                 }          }
                                 lc = LC(g1); /* g1 is not const */          lc = LC(g1); /* g1 is not const */
                                 j = k - 1;          j = k - 1;
                         }        }
                 }      }
         }    }
 }  }
   
 void srch2(vl,v,p1,p2,pr)  void srch2(VL vl,V v,P p1,P p2,P *pr)
 VL vl;  
 V v;  
 P p1,p2,*pr;  
 {  {
         P q1,q2,m,m1,m2,lc,q,r,t,s,g1,g2,adj;    P q1,q2,m,m1,m2,lc,q,r,t,s,g1,g2,adj;
         int d,d1,d2,j,k;    int d,d1,d2,j,k;
         VL nvl;    VL nvl;
         Q dq;    Q dq;
   
         reordvar(vl,v,&nvl);    reordvar(vl,v,&nvl);
         reorderp(nvl,vl,p1,&q1); reorderp(nvl,vl,p2,&q2);    reorderp(nvl,vl,p1,&q1); reorderp(nvl,vl,p2,&q2);
   
         if ( VR(q1) != v )    if ( VR(q1) != v )
                 if ( VR(q2) != v ) {      if ( VR(q2) != v ) {
                         *pr = 0;        *pr = 0;
                         return;        return;
                 } else {      } else {
                         d = deg(v,q2); STOQ(d,dq);        d = deg(v,q2); STOQ(d,dq);
                         pwrp(vl,q1,dq,pr);        pwrp(vl,q1,dq,pr);
                         return;        return;
                 }      }
         else if ( VR(q2) != v ) {    else if ( VR(q2) != v ) {
                 d = deg(v,q1); STOQ(d,dq);      d = deg(v,q1); STOQ(d,dq);
                 pwrp(vl,q2,dq,pr);      pwrp(vl,q2,dq,pr);
                 return;      return;
         }    }
   
         if ( ( VR(q1) != v ) || ( VR(q2) != v ) ) {    if ( ( VR(q1) != v ) || ( VR(q2) != v ) ) {
                 *pr = 0;      *pr = 0;
                 return;      return;
         }    }
   
         if ( deg(v,q1) >= deg(v,q2) ) {    if ( deg(v,q1) >= deg(v,q2) ) {
                 g1 = q1; g2 = q2;      g1 = q1; g2 = q2;
         } else {    } else {
                 g2 = q1; g1 = q2;      g2 = q1; g1 = q2;
         }    }
   
   
         if ( ( d1 = deg(v,g1) ) > ( d2 = deg(v,g2) ) ) {    if ( ( d1 = deg(v,g1) ) > ( d2 = deg(v,g2) ) ) {
                 j = d1 - 1;      j = d1 - 1;
                 adj = (P)ONE;      adj = (P)ONE;
         } else {    } else {
                 premp(nvl,g1,g2,&t);      premp(nvl,g1,g2,&t);
                 d = deg(v,t); STOQ(d,dq);      d = deg(v,t); STOQ(d,dq);
                 pwrp(nvl,LC(g2),dq,&adj);      pwrp(nvl,LC(g2),dq,&adj);
                 g1 = g2; g2 = t;      g1 = g2; g2 = t;
                 j = deg(v,g1) - 1;      j = deg(v,g1) - 1;
         }    }
   
         for ( lc = (P)ONE; ; ) {    for ( lc = (P)ONE; ; ) {
                 if ( ( k = deg(v,g2) ) < 0 ) {      if ( ( k = deg(v,g2) ) < 0 ) {
                         *pr = 0;        *pr = 0;
                         return;        return;
                 }      }
   
                 ptozp(g1,1,(Q *)&t,&s); g1 = s; ptozp(g2,1,(Q *)&t,&s); g2 = s;      ptozp(g1,1,(Q *)&t,&s); g1 = s; ptozp(g2,1,(Q *)&t,&s); g2 = s;
                 if ( k == j )      if ( k == j )
                         if ( !k ) {        if ( !k ) {
                                 divsp(nvl,g2,adj,pr);          divsp(nvl,g2,adj,pr);
                                 return;          return;
                         } else {        } else {
                                 premp(nvl,g1,g2,&r); mulp(nvl,lc,lc,&m);          premp(nvl,g1,g2,&r); mulp(nvl,lc,lc,&m);
                                 divsp(nvl,r,m,&q);          divsp(nvl,r,m,&q);
                                 g1 = g2; g2 = q;          g1 = g2; g2 = q;
                                 lc = LC(g1); /* g1 is not const */          lc = LC(g1); /* g1 is not const */
                                 j = k - 1;          j = k - 1;
                         }        }
                 else {      else {
                         d = j - k; STOQ(d,dq);        d = j - k; STOQ(d,dq);
                         pwrp(nvl,(VR(g2)==v?LC(g2):g2),dq,&m);        pwrp(nvl,(VR(g2)==v?LC(g2):g2),dq,&m);
                         mulp(nvl,g2,m,&m1);        mulp(nvl,g2,m,&m1);
                         pwrp(nvl,lc,dq,&m); divsp(nvl,m1,m,&t);        pwrp(nvl,lc,dq,&m); divsp(nvl,m1,m,&t);
                         if ( k == 0 ) {        if ( k == 0 ) {
                                 divsp(nvl,t,adj,pr);          divsp(nvl,t,adj,pr);
                                 return;          return;
                         } else {        } else {
                                 premp(nvl,g1,g2,&r);          premp(nvl,g1,g2,&r);
                                 mulp(nvl,lc,lc,&m1); mulp(nvl,m,m1,&m2);          mulp(nvl,lc,lc,&m1); mulp(nvl,m,m1,&m2);
                                 divsp(nvl,r,m2,&q);          divsp(nvl,r,m2,&q);
                                 g1 = t; g2 = q;          g1 = t; g2 = q;
                                 if ( d % 2 ) {          if ( d % 2 ) {
                                         chsgnp(g2,&t); g2 = t;            chsgnp(g2,&t); g2 = t;
                                 }          }
                                 lc = LC(g1); /* g1 is not const */          lc = LC(g1); /* g1 is not const */
                                 j = k - 1;          j = k - 1;
                         }        }
                 }      }
         }    }
 }  }
   
 void srcr(vl,v,p1,p2,pr)  void srcr(VL vl,V v,P p1,P p2,P *pr)
 VL vl;  
 V v;  
 P p1,p2,*pr;  
 {  {
         P q1,q2,c,c1;    P q1,q2,c,c1;
         P tg,tg1,tg2,resg;    P tg,tg1,tg2,resg;
         int index,mod;    int index,mod;
         Q a,b,f,q,t,s,u,n,m;    Q a,b,f,q,t,s,u,n,m;
         VL nvl;    VL nvl;
   
         reordvar(vl,v,&nvl);    reordvar(vl,v,&nvl);
         reorderp(nvl,vl,p1,&q1); reorderp(nvl,vl,p2,&q2);    reorderp(nvl,vl,p1,&q1); reorderp(nvl,vl,p2,&q2);
   
         if ( ( VR(q1) != v ) && ( VR(q2) != v ) ) {    if ( ( VR(q1) != v ) && ( VR(q2) != v ) ) {
                 *pr = 0;      *pr = 0;
                 return;      return;
         }    }
         if ( VR(q1) != v ) {    if ( VR(q1) != v ) {
                 pwrp(vl,q1,DEG(DC(q2)),pr);      pwrp(vl,q1,DEG(DC(q2)),pr);
                 return;      return;
         }    }
         if ( VR(q2) != v ) {    if ( VR(q2) != v ) {
                 pwrp(vl,q2,DEG(DC(q1)),pr);      pwrp(vl,q2,DEG(DC(q1)),pr);
                 return;      return;
         }    }
         norm1c(q1,&a); norm1c(q2,&b);    norm1c(q1,&a); norm1c(q2,&b);
         n = DEG(DC(q1)); m = DEG(DC(q2));    n = DEG(DC(q1)); m = DEG(DC(q2));
         pwrq(a,m,&t); pwrq(b,n,&s); mulq(t,s,&u);    pwrq(a,m,&t); pwrq(b,n,&s); mulq(t,s,&u);
         factorial(QTOS(n)+QTOS(m),&t);    factorial(QTOS(n)+QTOS(m),&t);
         mulq(u,t,&s); addq(s,s,&f);    mulq(u,t,&s); addq(s,s,&f);
         for ( index = 0, q = ONE, c = 0; cmpq(f,q) >= 0; ) {    for ( index = 0, q = ONE, c = 0; cmpq(f,q) >= 0; ) {
                 mod = lprime[index++];      mod = get_lprime(index++);
                 if ( !mod )      ptomp(mod,LC(q1),&tg);
                         error("sqfrum : lprime[] exhausted.");      if ( !tg )
                 ptomp(mod,LC(q1),&tg);        continue;
                 if ( !tg )      ptomp(mod,LC(q2),&tg);
                         continue;      if ( !tg )
                 ptomp(mod,LC(q2),&tg);        continue;
                 if ( !tg )      ptomp(mod,q1,&tg1); ptomp(mod,q2,&tg2);
                         continue;      srchmp(nvl,mod,v,tg1,tg2,&resg);
                 ptomp(mod,q1,&tg1); ptomp(mod,q2,&tg2);      chnremp(nvl,mod,c,q,resg,&c1); c = c1;
                 srchmp(nvl,mod,v,tg1,tg2,&resg);      STOQ(mod,t); mulq(q,t,&s); q = s;
                 chnremp(nvl,mod,c,q,resg,&c1); c = c1;    }
                 STOQ(mod,t); mulq(q,t,&s); q = s;    *pr = c;
         }  
         *pr = c;  
 }  }
   
 void res_ch_det(vl,v,p1,p2,pr)  void res_ch_det(VL vl,V v,P p1,P p2,P *pr)
 VL vl;  
 V v;  
 P p1,p2,*pr;  
 {  {
         P q1,q2,c,c1;    P q1,q2,c,c1;
         P tg,tg1,tg2,resg;    P tg,tg1,tg2,resg;
         int index,mod;    int index,mod;
         Q a,b,f,q,t,s,u,n,m;    Q a,b,f,q,t,s,u,n,m;
         VL nvl;    VL nvl;
   
         reordvar(vl,v,&nvl);    reordvar(vl,v,&nvl);
         reorderp(nvl,vl,p1,&q1); reorderp(nvl,vl,p2,&q2);    reorderp(nvl,vl,p1,&q1); reorderp(nvl,vl,p2,&q2);
   
         if ( ( VR(q1) != v ) && ( VR(q2) != v ) ) {    if ( ( VR(q1) != v ) && ( VR(q2) != v ) ) {
                 *pr = 0;      *pr = 0;
                 return;      return;
         }    }
         if ( VR(q1) != v ) {    if ( VR(q1) != v ) {
                 pwrp(vl,q1,DEG(DC(q2)),pr);      pwrp(vl,q1,DEG(DC(q2)),pr);
                 return;      return;
         }    }
         if ( VR(q2) != v ) {    if ( VR(q2) != v ) {
                 pwrp(vl,q2,DEG(DC(q1)),pr);      pwrp(vl,q2,DEG(DC(q1)),pr);
                 return;      return;
         }    }
         norm1c(q1,&a); norm1c(q2,&b);    norm1c(q1,&a); norm1c(q2,&b);
         n = DEG(DC(q1)); m = DEG(DC(q2));    n = DEG(DC(q1)); m = DEG(DC(q2));
         pwrq(a,m,&t); pwrq(b,n,&s); mulq(t,s,&u);    pwrq(a,m,&t); pwrq(b,n,&s); mulq(t,s,&u);
         factorial(QTOS(n)+QTOS(m),&t);    factorial(QTOS(n)+QTOS(m),&t);
         mulq(u,t,&s); addq(s,s,&f);    mulq(u,t,&s); addq(s,s,&f);
         for ( index = 0, q = ONE, c = 0; cmpq(f,q) >= 0; ) {    for ( index = 0, q = ONE, c = 0; cmpq(f,q) >= 0; ) {
                 mod = lprime[index++];      mod = get_lprime(index++);
                 if ( !mod )      ptomp(mod,LC(q1),&tg);
                         error("sqfrum : lprime[] exhausted.");      if ( !tg )
                 ptomp(mod,LC(q1),&tg);        continue;
                 if ( !tg )      ptomp(mod,LC(q2),&tg);
                         continue;      if ( !tg )
                 ptomp(mod,LC(q2),&tg);        continue;
                 if ( !tg )      ptomp(mod,q1,&tg1); ptomp(mod,q2,&tg2);
                         continue;      res_detmp(nvl,mod,v,tg1,tg2,&resg);
                 ptomp(mod,q1,&tg1); ptomp(mod,q2,&tg2);      chnremp(nvl,mod,c,q,resg,&c1); c = c1;
                 res_detmp(nvl,mod,v,tg1,tg2,&resg);      STOQ(mod,t); mulq(q,t,&s); q = s;
                 chnremp(nvl,mod,c,q,resg,&c1); c = c1;    }
                 STOQ(mod,t); mulq(q,t,&s); q = s;    *pr = c;
         }  
         *pr = c;  
 }  }
   
 void res_detmp(vl,mod,v,p1,p2,dp)  void res_detmp(VL vl,int mod,V v,P p1,P p2,P *dp)
 VL vl;  
 int mod;  
 V v;  
 P p1,p2;  
 P *dp;  
 {  {
         int n1,n2,n,sgn;    int n1,n2,n,sgn;
         int i,j,k;    int i,j,k;
         P mjj,mij,t,s,u,d;    P mjj,mij,t,s,u,d;
         P **mat;    P **mat;
         P *mi,*mj;    P *mi,*mj;
         DCP dc;    DCP dc;
   
         n1 = UDEG(p1); n2 = UDEG(p2); n = n1+n2;    n1 = UDEG(p1); n2 = UDEG(p2); n = n1+n2;
         mat = (P **)almat_pointer(n,n);    mat = (P **)almat_pointer(n,n);
         for ( dc = DC(p1); dc; dc = NEXT(dc) )    for ( dc = DC(p1); dc; dc = NEXT(dc) )
                 mat[0][n1-QTOS(DEG(dc))] = COEF(dc);      mat[0][n1-QTOS(DEG(dc))] = COEF(dc);
         for ( i = 1; i < n2; i++ )    for ( i = 1; i < n2; i++ )
                 for ( j = 0; j <= n1; j++ )      for ( j = 0; j <= n1; j++ )
                         mat[i][i+j] = mat[0][j];        mat[i][i+j] = mat[0][j];
         for ( dc = DC(p2); dc; dc = NEXT(dc) )    for ( dc = DC(p2); dc; dc = NEXT(dc) )
                 mat[n2][n2-QTOS(DEG(dc))] = COEF(dc);      mat[n2][n2-QTOS(DEG(dc))] = COEF(dc);
         for ( i = 1; i < n1; i++ )    for ( i = 1; i < n1; i++ )
                 for ( j = 0; j <= n2; j++ )      for ( j = 0; j <= n2; j++ )
                         mat[i+n2][i+j] = mat[n2][j];        mat[i+n2][i+j] = mat[n2][j];
         for ( j = 0, d = (P)ONEM, sgn = 1; j < n; j++ ) {    for ( j = 0, d = (P)ONEM, sgn = 1; j < n; j++ ) {
                 for ( i = j; (i < n) && !mat[i][j]; i++ );      for ( i = j; (i < n) && !mat[i][j]; i++ );
                 if ( i == n ) {      if ( i == n ) {
                         *dp = 0; return;        *dp = 0; return;
                 }      }
                 for ( k = i; k < n; k++ )      for ( k = i; k < n; k++ )
                         if ( mat[k][j] && (nmonop(mat[k][j]) < nmonop(mat[i][j]) ) )        if ( mat[k][j] && (nmonop(mat[k][j]) < nmonop(mat[i][j]) ) )
                                 i = k;          i = k;
                 if ( j != i ) {      if ( j != i ) {
                         mj = mat[j]; mat[j] = mat[i]; mat[i] = mj; sgn = -sgn;        mj = mat[j]; mat[j] = mat[i]; mat[i] = mj; sgn = -sgn;
                 }      }
                 for ( i = j + 1, mj = mat[j], mjj = mj[j]; i < n; i++ )      for ( i = j + 1, mj = mat[j], mjj = mj[j]; i < n; i++ )
                         for ( k = j + 1, mi = mat[i], mij = mi[j]; k < n; k++ ) {        for ( k = j + 1, mi = mat[i], mij = mi[j]; k < n; k++ ) {
                                 mulmp(vl,mod,mi[k],mjj,&t); mulmp(vl,mod,mj[k],mij,&s);          mulmp(vl,mod,mi[k],mjj,&t); mulmp(vl,mod,mj[k],mij,&s);
                                 submp(vl,mod,t,s,&u); divsmp(vl,mod,u,d,&mi[k]);          submp(vl,mod,t,s,&u); divsmp(vl,mod,u,d,&mi[k]);
                         }        }
                 d = mjj;      d = mjj;
         }    }
         if ( sgn > 0 )    if ( sgn > 0 )
                 *dp = d;      *dp = d;
         else    else
                 chsgnmp(mod,d,dp);      chsgnmp(mod,d,dp);
 }  }
   
 #if 0  #if 0
 showmat(vl,mat,n)  showmat(VL vl,P **mat,int n)
 VL vl;  
 P **mat;  
 int n;  
 {  {
         int i,j;    int i,j;
         P t;    P t;
   
         for ( i = 0; i < n; i++ ) {    for ( i = 0; i < n; i++ ) {
                 for ( j = 0; j < n; j++ ) {      for ( j = 0; j < n; j++ ) {
                         mptop(mat[i][j],&t); printp(vl,t); fprintf(out," ");        mptop(mat[i][j],&t); asir_printp(vl,t); fprintf(out," ");
                 }      }
                 fprintf(out,"\n");      fprintf(out,"\n");
         }    }
         fflush(out);    fflush(out);
 }  }
   
 showmp(vl,p)  showmp(VL vl,P p)
 VL vl;  
 P p;  
 {  {
         P t;    P t;
   
         mptop(p,&t); printp(vl,t); fprintf(out,"\n");    mptop(p,&t); asir_printp(vl,t); fprintf(out,"\n");
 }  }
 #endif  #endif
   
 void premp(vl,p1,p2,pr)  void premp(VL vl,P p1,P p2,P *pr)
 VL vl;  
 P p1,p2,*pr;  
 {  {
         P m,m1,m2;    P m,m1,m2;
         P *pw;    P *pw;
         DCP dc;    DCP dc;
         V v1,v2;    V v1,v2;
         register int i,j;    register int i,j;
         int n1,n2,d;    int n1,n2,d;
   
         if ( NUM(p1) )    if ( NUM(p1) )
                 if ( NUM(p2) )      if ( NUM(p2) )
                         *pr = 0;        *pr = 0;
                 else      else
                         *pr = p1;        *pr = p1;
         else if ( NUM(p2) )    else if ( NUM(p2) )
                 *pr = 0;      *pr = 0;
         else if ( ( v1 = VR(p1) ) == ( v2 = VR(p2) ) ) {    else if ( ( v1 = VR(p1) ) == ( v2 = VR(p2) ) ) {
                 n1 = deg(v1,p1); n2 = deg(v1,p2);      n1 = deg(v1,p1); n2 = deg(v1,p2);
                 pw = (P *)ALLOCA((n1+1)*sizeof(P));      if ( n1 < n2 ) {
                 bzero((char *)pw,(int)((n1+1)*sizeof(P)));        *pr = p1;
         return;
       }
       pw = (P *)ALLOCA((n1+1)*sizeof(P));
       bzero((char *)pw,(int)((n1+1)*sizeof(P)));
   
                 for ( dc = DC(p1); dc; dc = NEXT(dc) )      for ( dc = DC(p1); dc; dc = NEXT(dc) )
                         pw[QTOS(DEG(dc))] = COEF(dc);        pw[QTOS(DEG(dc))] = COEF(dc);
   
                 for ( i = n1; i >= n2; i-- ) {      for ( i = n1; i >= n2; i-- ) {
                         if ( pw[i] ) {        if ( pw[i] ) {
                                 m = pw[i];          m = pw[i];
                                 for ( j = i; j >= 0; j-- ) {          for ( j = i; j >= 0; j-- ) {
                                         mulp(vl,pw[j],LC(p2),&m1); pw[j] = m1;            mulp(vl,pw[j],LC(p2),&m1); pw[j] = m1;
                                 }          }
   
                                 for ( dc = DC(p2), d = i - n2; dc; dc = NEXT(dc) ) {          for ( dc = DC(p2), d = i - n2; dc; dc = NEXT(dc) ) {
                                         mulp(vl,COEF(dc),m,&m1);            mulp(vl,COEF(dc),m,&m1);
                                         subp(vl,pw[QTOS(DEG(dc))+d],m1,&m2);            subp(vl,pw[QTOS(DEG(dc))+d],m1,&m2);
                                         pw[QTOS(DEG(dc))+d] = m2;            pw[QTOS(DEG(dc))+d] = m2;
                                 }          }
                         } else        } else
                                 for ( j = i; j >= 0; j-- )          for ( j = i; j >= 0; j-- )
                                         if ( pw[j] ) {            if ( pw[j] ) {
                                                 mulp(vl,pw[j],LC(p2),&m1); pw[j] = m1;              mulp(vl,pw[j],LC(p2),&m1); pw[j] = m1;
                                         }            }
                 }      }
                 plisttop(pw,v1,n2-1,pr);      plisttop(pw,v1,n2-1,pr);
         } else {    } else {
                 while ( v1 != vl->v && v2 != vl->v )      while ( v1 != vl->v && v2 != vl->v )
                         vl = NEXT(vl);        vl = NEXT(vl);
                 if ( v1 == vl->v )      if ( v1 == vl->v )
                         *pr = 0;        *pr = 0;
                 else      else
                         *pr = p1;        *pr = p1;
         }    }
 }  }
   
 void ptozp0(p,pr)  void ptozp0(P p,P *pr)
 P p;  
 P *pr;  
 {  {
         Q c;    Q c;
   
         ptozp(p,1,&c,pr);    if ( qpcheck((Obj)p) )
       ptozp(p,1,&c,pr);
     else
       *pr = p;
 }  }
   
 void mindegp(vl,p,mvlp,pr)  void mindegp(VL vl,P p,VL *mvlp,P *pr)
 VL vl,*mvlp;  
 P p,*pr;  
 {  {
         P t;    P t;
         VL nvl,tvl,avl;    VL nvl,tvl,avl;
         V v;    V v;
         int n,d;    int n,d;
   
         clctv(vl,p,&nvl); v = nvl->v; d = getdeg(nvl->v,p);    clctv(vl,p,&nvl); v = nvl->v; d = getdeg(nvl->v,p);
         for ( avl = NEXT(nvl); avl; avl = NEXT(avl) ) {    for ( avl = NEXT(nvl); avl; avl = NEXT(avl) ) {
                 n = getdeg(avl->v,p);      n = getdeg(avl->v,p);
                 if ( n < d ) {      if ( n < d ) {
                         v = avl->v; d = n;        v = avl->v; d = n;
                 }      }
         }    }
         if ( v != nvl->v ) {    if ( v != nvl->v ) {
                 reordvar(nvl,v,&tvl); reorderp(tvl,nvl,p,&t);      reordvar(nvl,v,&tvl); reorderp(tvl,nvl,p,&t);
                 *pr = t; *mvlp = tvl;      *pr = t; *mvlp = tvl;
         } else {    } else {
                 *pr = p; *mvlp = nvl;      *pr = p; *mvlp = nvl;
         }    }
 }  }
   
 void maxdegp(vl,p,mvlp,pr)  void maxdegp(VL vl,P p,VL *mvlp,P *pr)
 VL vl,*mvlp;  
 P p,*pr;  
 {  {
         P t;    P t;
         VL nvl,tvl,avl;    VL nvl,tvl,avl;
         V v;    V v;
         int n,d;    int n,d;
   
         clctv(vl,p,&nvl); v = nvl->v; d = getdeg(nvl->v,p);    clctv(vl,p,&nvl); v = nvl->v; d = getdeg(nvl->v,p);
         for ( avl = NEXT(nvl); avl; avl = NEXT(avl) ) {    for ( avl = NEXT(nvl); avl; avl = NEXT(avl) ) {
                 n = getdeg(avl->v,p);      n = getdeg(avl->v,p);
                 if ( n > d ) {      if ( n > d ) {
                         v = avl->v; d = n;        v = avl->v; d = n;
                 }      }
         }    }
         if ( v != nvl->v ) {    if ( v != nvl->v ) {
                 reordvar(nvl,v,&tvl); reorderp(tvl,nvl,p,&t);      reordvar(nvl,v,&tvl); reorderp(tvl,nvl,p,&t);
                 *pr = t; *mvlp = tvl;      *pr = t; *mvlp = tvl;
         } else {    } else {
                 *pr = p; *mvlp = nvl;      *pr = p; *mvlp = nvl;
         }    }
 }  }
   
 void min_common_vars_in_coefp(vl,p,mvlp,pr)  void min_common_vars_in_coefp(VL vl,P p,VL *mvlp,P *pr)
 VL vl,*mvlp;  
 P p,*pr;  
 {  {
         P u,p0;    P u,p0;
         VL tvl,cvl,svl,uvl,avl,vl0;    VL tvl,cvl,svl,uvl,avl,vl0;
         int n,n0,d,d0;    int n,n0,d,d0;
         DCP dc;    DCP dc;
   
         clctv(vl,p,&tvl); vl = tvl;    clctv(vl,p,&tvl); vl = tvl;
         for ( tvl = vl, n0 = 0; tvl; tvl = NEXT(tvl), n0++ );    for ( tvl = vl, n0 = 0; tvl; tvl = NEXT(tvl), n0++ );
         for ( avl = vl; avl; avl = NEXT(avl) ) {    for ( avl = vl; avl; avl = NEXT(avl) ) {
                 if ( VR(p) != avl->v ) {      if ( VR(p) != avl->v ) {
                         reordvar(vl,avl->v,&uvl); reorderp(uvl,vl,p,&u);        reordvar(vl,avl->v,&uvl); reorderp(uvl,vl,p,&u);
                 } else {      } else {
                         uvl = vl; u = p;        uvl = vl; u = p;
                 }      }
                 for ( cvl = NEXT(uvl), dc = DC(u); dc && cvl; dc = NEXT(dc) ) {      for ( cvl = NEXT(uvl), dc = DC(u); dc && cvl; dc = NEXT(dc) ) {
                         clctv(uvl,COEF(dc),&tvl); intersectv(cvl,tvl,&svl); cvl = svl;        clctv(uvl,COEF(dc),&tvl); intersectv(cvl,tvl,&svl); cvl = svl;
                 }      }
                 if ( !cvl ) {      if ( !cvl ) {
                         *mvlp = uvl; *pr = u; return;        *mvlp = uvl; *pr = u; return;
                 } else {      } else {
                         for ( tvl = cvl, n = 0; tvl; tvl = NEXT(tvl), n++ );        for ( tvl = cvl, n = 0; tvl; tvl = NEXT(tvl), n++ );
                         if ( n < n0 ) {        if ( n < n0 ) {
                                 vl0 = uvl; p0 = u; n0 = n; d0 = getdeg(uvl->v,u);          vl0 = uvl; p0 = u; n0 = n; d0 = getdeg(uvl->v,u);
                         } else if ( (n == n0) && ((d = getdeg(uvl->v,u)) < d0) ) {        } else if ( (n == n0) && ((d = getdeg(uvl->v,u)) < d0) ) {
                                         vl0 = uvl; p0 = u; n0 = n; d0 = d;            vl0 = uvl; p0 = u; n0 = n; d0 = d;
                         }        }
                 }      }
         }    }
         *pr = p0; *mvlp = vl0;    *pr = p0; *mvlp = vl0;
 }  }
   
 void minlcdegp(vl,p,mvlp,pr)  void minlcdegp(VL vl,P p,VL *mvlp,P *pr)
 VL vl,*mvlp;  
 P p,*pr;  
 {  {
         P u,p0;    P u,p0;
         VL tvl,uvl,avl,vl0;    VL tvl,uvl,avl,vl0;
         int d,d0;    int d,d0;
   
         clctv(vl,p,&tvl); vl = tvl;    clctv(vl,p,&tvl); vl = tvl;
         vl0 = vl; p0 = p; d0 = homdeg(COEF(DC(p)));    vl0 = vl; p0 = p; d0 = homdeg(COEF(DC(p)));
         for ( avl = NEXT(vl); avl; avl = NEXT(avl) ) {    for ( avl = NEXT(vl); avl; avl = NEXT(avl) ) {
                 reordvar(vl,avl->v,&uvl); reorderp(uvl,vl,p,&u);      reordvar(vl,avl->v,&uvl); reorderp(uvl,vl,p,&u);
                 d = homdeg(COEF(DC(u)));      d = homdeg(COEF(DC(u)));
                 if ( d < d0 ) {      if ( d < d0 ) {
                         vl0 = uvl; p0 = u; d0 = d;        vl0 = uvl; p0 = u; d0 = d;
                 }      }
         }    }
         *pr = p0; *mvlp = vl0;    *pr = p0; *mvlp = vl0;
 }  }
   
 void sort_by_deg(n,p,pr)  void sort_by_deg(int n,P *p,P *pr)
 int n;  
 P *p,*pr;  
 {  {
         int j,k,d,k0;    int j,k,d,k0;
         V v;    V v;
   
         for ( j = 0; j < n; j++ ) {    for ( j = 0; j < n; j++ ) {
                 for ( k0 = k = j, d = deg(v = VR(p[0]),p[j]);      for ( k0 = k = j, d = deg(v = VR(p[0]),p[j]);
                         k < n; k++ )        k < n; k++ )
                         if ( deg(v,p[k]) < d ) {        if ( deg(v,p[k]) < d ) {
                                 k0 = k;          k0 = k;
                                 d = deg(v,p[k]);          d = deg(v,p[k]);
                         }        }
                 pr[j] = p[k0];      pr[j] = p[k0];
                 if ( j != k0 )      if ( j != k0 )
                         p[k0] = p[j];        p[k0] = p[j];
         }    }
 }  }
   
 void sort_by_deg_rev(n,p,pr)  void sort_by_deg_rev(int n,P *p,P *pr)
 int n;  
 P *p,*pr;  
 {  {
         int j,k,d,k0;    int j,k,d,k0;
         V v;    V v;
   
         for ( j = 0; j < n; j++ ) {    for ( j = 0; j < n; j++ ) {
                 for ( k0 = k = j, d = deg(v = VR(p[0]),p[j]);      for ( k0 = k = j, d = deg(v = VR(p[0]),p[j]);
                         k < n; k++ )        k < n; k++ )
                         if ( deg(v,p[k]) > d ) {        if ( deg(v,p[k]) > d ) {
                                 k0 = k;          k0 = k;
                                 d = deg(v,p[k]);          d = deg(v,p[k]);
                         }        }
                 pr[j] = p[k0];      pr[j] = p[k0];
                 if ( j != k0 )      if ( j != k0 )
                         p[k0] = p[j];        p[k0] = p[j];
         }    }
 }  }
   
   
 void getmindeg(v,p,dp)  void getmindeg(V v,P p,Q *dp)
 V v;  
 P p;  
 Q *dp;  
 {  {
         Q dt,d;    Q dt,d;
         DCP dc;    DCP dc;
   
         if ( !p || NUM(p) )    if ( !p || NUM(p) )
                 *dp = 0;      *dp = 0;
         else if ( v == VR(p) ) {    else if ( v == VR(p) ) {
                 for ( dc = DC(p); NEXT(dc); dc = NEXT(dc) );      for ( dc = DC(p); NEXT(dc); dc = NEXT(dc) );
                 *dp = DEG(dc);      *dp = DEG(dc);
         } else {    } else {
                 dc = DC(p);      dc = DC(p);
                 getmindeg(v,COEF(dc),&d);      getmindeg(v,COEF(dc),&d);
                 for ( dc = NEXT(dc); dc; dc = NEXT(dc) ) {      for ( dc = NEXT(dc); dc; dc = NEXT(dc) ) {
                         getmindeg(v,COEF(dc),&dt);        getmindeg(v,COEF(dc),&dt);
                         if ( cmpq(dt,d) < 0 )        if ( cmpq(dt,d) < 0 )
                                 d = dt;          d = dt;
                 }      }
                 *dp = d;      *dp = d;
         }    }
 }  }
   
 void minchdegp(vl,p,mvlp,pr)  void minchdegp(VL vl,P p,VL *mvlp,P *pr)
 VL vl,*mvlp;  
 P p,*pr;  
 {  {
         P t;    P t;
         VL tvl,nvl,avl;    VL tvl,nvl,avl;
         int n,d,z;    int n,d,z;
         V v;    V v;
   
         if ( NUM(p) ) {    if ( NUM(p) ) {
                 *mvlp = vl;      *mvlp = vl;
                 *pr = p;      *pr = p;
                 return;      return;
         }    }
         clctv(vl,p,&nvl);    clctv(vl,p,&nvl);
         v = nvl->v;    v = nvl->v;
         d = getchomdeg(v,p) + getlchomdeg(v,p,&z);    d = getchomdeg(v,p) + getlchomdeg(v,p,&z);
         for ( avl = NEXT(nvl); avl; avl = NEXT(avl) ) {    for ( avl = NEXT(nvl); avl; avl = NEXT(avl) ) {
                 n = getchomdeg(avl->v,p) + getlchomdeg(avl->v,p,&z);      n = getchomdeg(avl->v,p) + getlchomdeg(avl->v,p,&z);
                 if ( n < d ) {      if ( n < d ) {
                         v = avl->v; d = n;        v = avl->v; d = n;
                 }      }
         }    }
         if ( v != nvl->v ) {    if ( v != nvl->v ) {
                 reordvar(nvl,v,&tvl); reorderp(tvl,nvl,p,&t);      reordvar(nvl,v,&tvl); reorderp(tvl,nvl,p,&t);
                 *pr = t; *mvlp = tvl;      *pr = t; *mvlp = tvl;
         } else {    } else {
                 *pr = p; *mvlp = nvl;      *pr = p; *mvlp = nvl;
         }    }
 }  }
   
 int getchomdeg(v,p)  int getchomdeg(V v,P p)
 V v;  
 P p;  
 {  {
         int m,m1;    int m,m1;
         DCP dc;    DCP dc;
   
         if ( !p || NUM(p) )    if ( !p || NUM(p) )
                 return ( 0 );      return ( 0 );
         else if ( VR(p) == v )    else if ( VR(p) == v )
                 return ( dbound(v,p) );      return ( dbound(v,p) );
         else {    else {
                 for ( dc = DC(p), m = 0; dc; dc = NEXT(dc) ) {      for ( dc = DC(p), m = 0; dc; dc = NEXT(dc) ) {
                         m1 = getchomdeg(v,COEF(dc))+QTOS(DEG(dc));        m1 = getchomdeg(v,COEF(dc))+QTOS(DEG(dc));
                         m = MAX(m,m1);        m = MAX(m,m1);
                 }      }
                 return ( m );      return ( m );
         }    }
 }  }
   
 int getlchomdeg(v,p,d)  int getlchomdeg(V v,P p,int *d)
 V v;  
 P p;  
 int *d;  
 {  {
         int m0,m1,d0,d1;    int m0,m1,d0,d1;
         DCP dc;    DCP dc;
   
         if ( !p || NUM(p) ) {    if ( !p || NUM(p) ) {
                 *d = 0;      *d = 0;
                 return ( 0 );      return ( 0 );
         } else if ( VR(p) == v ) {    } else if ( VR(p) == v ) {
                 *d = QTOS(DEG(DC(p)));      *d = QTOS(DEG(DC(p)));
                 return ( homdeg(LC(p)) );      return ( homdeg(LC(p)) );
         } else {    } else {
                 for ( dc = DC(p), m0 = 0, d0 = 0; dc; dc = NEXT(dc) ) {      for ( dc = DC(p), m0 = 0, d0 = 0; dc; dc = NEXT(dc) ) {
                         m1 = getlchomdeg(v,COEF(dc),&d1)+QTOS(DEG(dc));        m1 = getlchomdeg(v,COEF(dc),&d1)+QTOS(DEG(dc));
                         if ( d1 > d0 ) {        if ( d1 > d0 ) {
                                 m0 = m1;          m0 = m1;
                                 d0 = d1;          d0 = d1;
                         } else if ( d1 == d0 )        } else if ( d1 == d0 )
                                 m0 = MAX(m0,m1);          m0 = MAX(m0,m1);
                 }      }
                 *d = d0;      *d = d0;
                 return ( m0 );      return ( m0 );
         }    }
 }  }
   
 int nmonop(p)  int nmonop(P p)
 P p;  
 {  {
         int s;    int s;
         DCP dc;    DCP dc;
   
         if ( !p )    if ( !p )
                 return 0;      return 0;
         else    else
                 switch ( OID(p) ) {      switch ( OID(p) ) {
                         case O_N:        case O_N:
                                 return 1; break;          return 1; break;
                         case O_P:        case O_P:
                                 for ( dc = DC((P)p), s = 0; dc; dc = NEXT(dc) )          for ( dc = DC((P)p), s = 0; dc; dc = NEXT(dc) )
                                         s += nmonop(COEF(dc));            s += nmonop(COEF(dc));
                                 return s; break;          return s; break;
                         default:        default:
                                 return 0;          return 0;
                 }      }
 }  }
   
 int qpcheck(p)  int qpcheck(Obj p)
 Obj p;  
 {  {
         DCP dc;    DCP dc;
   
         if ( !p )    if ( !p )
                 return 1;      return 1;
         else    else
                 switch ( OID(p) ) {      switch ( OID(p) ) {
                         case O_N:        case O_N:
                                 return RATN((Num)p)?1:0;          return RATN((Num)p)?1:0;
                         case O_P:        case O_P:
                                 for ( dc = DC((P)p); dc; dc = NEXT(dc) )          for ( dc = DC((P)p); dc; dc = NEXT(dc) )
                                         if ( !qpcheck((Obj)COEF(dc)) )            if ( !qpcheck((Obj)COEF(dc)) )
                                                 return 0;              return 0;
                                 return 1;          return 1;
                         default:        default:
                                 return 0;          return 0;
                 }      }
 }  }
   
 /* check if p is univariate and all coeffs are INT or LM */  /* check if p is univariate and all coeffs are INT or LM */
   
 int uzpcheck(p)  int uzpcheck(Obj p)
 Obj p;  
 {  {
         DCP dc;    DCP dc;
         P c;    P c;
   
         if ( !p )    if ( !p )
                 return 1;      return 1;
         else    else
                 switch ( OID(p) ) {      switch ( OID(p) ) {
                         case O_N:        case O_N:
                                 return (RATN((Num)p)&&INT(p))||(NID((Num)p)==N_LM);          return (RATN((Num)p)&&INT(p))||(NID((Num)p)==N_LM);
                         case O_P:        case O_P:
                                 for ( dc = DC((P)p); dc; dc = NEXT(dc) ) {          for ( dc = DC((P)p); dc; dc = NEXT(dc) ) {
                                         c = COEF(dc);            c = COEF(dc);
                                         if ( !NUM(c) || !uzpcheck(c) )            if ( !NUM(c) || !uzpcheck((Obj)c) )
                                                 return 0;              return 0;
                                 }          }
                                 return 1;          return 1;
                         default:        default:
                                 return 0;          return 0;
                 }      }
 }  }
   
 int p_mag(p)  int p_mag(P p)
 P p;  
 {  {
         int s;    int s;
         DCP dc;    DCP dc;
   
         if ( !p )    if ( !p )
                 return 0;      return 0;
         else if ( OID(p) == O_N )    else if ( OID(p) == O_N )
                 return n_bits(NM((Q)p))+(INT((Q)p)?0:n_bits(DN((Q)p)));      return n_bits(NM((Q)p))+(INT((Q)p)?0:n_bits(DN((Q)p)));
         else {    else {
                 for ( dc = DC(p), s = 0; dc; dc = NEXT(dc) )      for ( dc = DC(p), s = 0; dc; dc = NEXT(dc) )
                         s += p_mag(COEF(dc));        s += p_mag(COEF(dc));
                 return s;      return s;
         }    }
 }  }
   
 int maxblenp(p)  int maxblenp(P p)
 P p;  
 {  {
         int s,t;    int s,t;
         DCP dc;    DCP dc;
   
         if ( !p )    if ( !p )
                 return 0;      return 0;
         else if ( OID(p) == O_N )    else if ( OID(p) == O_N )
                 return n_bits(NM((Q)p))+(INT((Q)p)?0:n_bits(DN((Q)p)));      return n_bits(NM((Q)p))+(INT((Q)p)?0:n_bits(DN((Q)p)));
         else {    else {
                 for ( dc = DC(p), s = 0; dc; dc = NEXT(dc) ) {      for ( dc = DC(p), s = 0; dc; dc = NEXT(dc) ) {
                         t = p_mag(COEF(dc));        t = maxblenp(COEF(dc));
                         s = MAX(t,s);        s = MAX(t,s);
                 }      }
                 return s;      return s;
         }    }
 }  }

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

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