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

Diff for /OpenXM_contrib2/asir2000/engine/M.c between version 1.5 and 1.8

version 1.5, 2001/06/07 04:54:40 version 1.8, 2001/07/03 01:41:26
Line 45 
Line 45 
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *   *
  * $OpenXM: OpenXM_contrib2/asir2000/engine/M.c,v 1.4 2000/12/05 01:24:52 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/engine/M.c,v 1.7 2001/06/25 04:11:42 noro Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "base.h"  #include "base.h"
Line 174  UM f1,f2,a,b;
Line 174  UM f1,f2,a,b;
 {  {
         UM g1,g2,a1,a2,a3,wm,q,tum;          UM g1,g2,a1,a2,a3,wm,q,tum;
         int d,dr;          int d,dr;
           UM t1,t2,t3;
   
         d = DEG(f1) + DEG(f2) + 10;          d = DEG(f1) + DEG(f2) + 10;
         g1 = W_UMALLOC(d); g2 = W_UMALLOC(d); a1 = W_UMALLOC(d);          g1 = W_UMALLOC(d); g2 = W_UMALLOC(d); a1 = W_UMALLOC(d);
Line 199  UM f1,f2,a,b;
Line 200  UM f1,f2,a,b;
                 DEG(wm) = 0; COEF(wm)[0] = mod - 1;                  DEG(wm) = 0; COEF(wm)[0] = mod - 1;
         }          }
         divum(mod,wm,f2,q); mulsum(mod,q,mod-1,b);          divum(mod,wm,f2,q); mulsum(mod,q,mod-1,b);
   #if 0
           t1 = W_UMALLOC(d);
           t2 = W_UMALLOC(d);
           t3 = W_UMALLOC(d);
           mulum(mod,a,f1,t1);
           mulum(mod,b,f2,t2);
           addum(mod,t1,t2,t3);
   #endif
 }  }
   
   void eucum2(mod,f1,f2,a,b)
   register int mod;
   UM f1,f2,a,b;
   {
           UM gk,gk1,gk2,ak,ak1,ak2,bk,bk1,bk2,q,t,wm1,wm2,wz;
           int d,inv;
           UM t1,t2;
   
           d = 2*(DEG(f1) + DEG(f2));
           gk = W_UMALLOC(d); gk1 = W_UMALLOC(d); gk2 = W_UMALLOC(d);
           ak = W_UMALLOC(d); ak1 = W_UMALLOC(d); ak2 = W_UMALLOC(d);
           bk = W_UMALLOC(d); bk1 = W_UMALLOC(d); bk2 = W_UMALLOC(d);
           q = W_UMALLOC(d); wm1 = W_UMALLOC(d); wm2 = W_UMALLOC(d);
           wz = W_UMALLOC(d);
   
           t1 = UMALLOC(1000);
           t2 = UMALLOC(1000);
           cpyum(f1,t1);
           cpyum(f2,t2);
   
           DEG(ak) = 0; COEF(ak)[0] = 1;
           DEG(ak1) = -1;
           DEG(bk) = -1;
           DEG(bk1) = 0; COEF(bk1)[0] = 1;
   
           cpyum(f1,gk); cpyum(f2,gk1);
   
           while ( 1 ) {
                   /* ak*f1+bk*f2 = gk, ak1*f1+bk1*f2 = gk1 */
                   cpyum(gk,gk2);
                   DEG(gk2) = divum(mod,gk2,gk1,q);
                   /* gk2 = gk - q*gk1 */
                   if ( DEG(gk2) == -1 )
                           break;
                   /* ak2 = ak - q*ak1, bk2 = bk - q*bk1 */
                   mulum(mod,ak1,q,wm1); subum(mod,ak,wm1,ak2);
                   mulum(mod,bk1,q,wm1); subum(mod,bk,wm1,bk2);
   
                   /* shift */
                   t = ak; ak = ak1; ak1 = ak2; ak2 = t;
                   t = bk; bk = bk1; bk1 = bk2; bk2 = t;
                   t = gk; gk = gk1; gk1 = gk2; gk2 = t;
           }
           /* ak1*f1+bk1*f2 = gk1 = GCD(f1,f2) */
           mulum(mod,ak1,t1,wm1);
           mulum(mod,bk1,t2,wm2);
           addum(mod,wm1,wm2,wz);
           if ( DEG(wz) != 0 )
                   error("euc 1");
   
           DEG(ak1) = divum(mod,ak1,f2,q);
           DEG(bk1) = divum(mod,bk1,f1,q);
           mulum(mod,ak1,f1,wm1);
           mulum(mod,bk1,f2,wm2);
           addum(mod,wm1,wm2,wz);
           if ( DEG(wz) != 0 )
                   error("euc 2");
   
   
           if ( COEF(wz)[0] != 1 ) {
                   inv = invm(COEF(wz)[0],mod);
                   mulsum(mod,ak1,inv,a);
                   mulsum(mod,bk1,inv,b);
           } else {
                   cpyum(ak1,a);
                   cpyum(bk1,b);
           }
   }
   
 void sqfrum(index,count,f,nindex,dcr,pl)  void sqfrum(index,count,f,nindex,dcr,pl)
 int index,count,*nindex;  int index,count,*nindex;
 P f;  P f;
Line 349  UM p1,p2;
Line 427  UM p1,p2;
                 c2[i] = c1[i];                  c2[i] = c1[i];
 }  }
   
   void clearum(p,n)
   UM p;
   int n;
   {
           DEG(p) = -1;
           bzero(COEF(p),(n+1)*sizeof(int));
   }
   
 void degum(f,n)  void degum(f,n)
 UM f;  UM f;
 int n;  int n;
Line 392  int n,bound;
Line 478  int n,bound;
         return p;          return p;
 }  }
   
   /* dx = deg in x, dy = deg in y, c[i] <-> the coef of y^i (poly in x) */
   
   BM BMALLOC(dx,dy)
   int dx,dy;
   {
           BM p;
           UM *c;
           int i;
   
           p = (BM)MALLOC(TRUESIZE(oBM,dy,UM));
           DEG(p) = dy;
           for ( i = 0, c = (UM *)COEF(p); i <= dy; i++ ) {
                   c[i] = UMALLOC(dx);
                   clearum(c[i],dx);
           }
           return p;
   }
   
 void mullum(mod,n,f1,f2,fr)  void mullum(mod,n,f1,f2,fr)
 int mod,n;  int mod,n;
 LUM f1,f2,fr;  LUM f1,f2,fr;
Line 432  LUM p,r;
Line 536  LUM p,r;
                 i <= DEG(p); i++ )                  i <= DEG(p); i++ )
                 for ( j = 0; j < bound; j++ )                  for ( j = 0; j < bound; j++ )
                         ppr[i][j] = pp[i][j];                          ppr[i][j] = pp[i][j];
   }
   
   int isequalum(f1,f2)
   UM f1,f2;
   {
           int i;
   
           if ( DEG(f1) < 0 )
                   if ( DEG(f2) < 0 )
                           return 1;
                   else
                           return 0;
           else if ( DEG(f2) < 0 )
                   return 0;
           else {
                   if ( DEG(f1) != DEG(f2) )
                           return 0;
                   for ( i = 0; i <= DEG(f1); i++ )
                           if ( COEF(f1)[i] != COEF(f2)[i] )
                                   break;
                   if ( i < DEG(f1) )
                           return 0;
                   else
                           return 1;
           }
 }  }
   
 void pwrlum(mod,bound,p,n,r)  void pwrlum(mod,bound,p,n,r)
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.8
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>