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

Diff for /OpenXM_contrib2/asir2000/engine/mat.c between version 1.5 and 1.13

version 1.5, 2002/03/01 06:27:23 version 1.13, 2004/12/18 16:50:10
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/mat.c,v 1.4 2002/01/04 17:08:23 saito Exp $   * $OpenXM: OpenXM_contrib2/asir2000/engine/mat.c,v 1.12 2004/08/18 06:30:07 saito Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "../parse/parse.h"  #include "../parse/parse.h"
   
 extern int StrassenSize;  extern int StrassenSize;
   void mulmatmat_miser();
   
 void addmat(vl,a,b,c)  void addmat(vl,a,b,c)
 VL vl;  VL vl;
Line 72  MAT a,b,*c;
Line 73  MAT a,b,*c;
     for ( i = 0; i < row; i++ )      for ( i = 0; i < row; i++ )
       for ( j = 0, ab = BDY(a)[i], bb = BDY(b)[i], tb = BDY(t)[i];        for ( j = 0, ab = BDY(a)[i], bb = BDY(b)[i], tb = BDY(t)[i];
         j < col; j++ )          j < col; j++ )
         addr(vl,(Obj)ab[j],(Obj)bb[j],(Obj *)&tb[j]);          arf_add(vl,(Obj)ab[j],(Obj)bb[j],(Obj *)&tb[j]);
     *c = t;      *c = t;
   }    }
 }  }
Line 97  MAT a,b,*c;
Line 98  MAT a,b,*c;
     for ( i = 0; i < row; i++ )      for ( i = 0; i < row; i++ )
       for ( j = 0, ab = BDY(a)[i], bb = BDY(b)[i], tb = BDY(t)[i];        for ( j = 0, ab = BDY(a)[i], bb = BDY(b)[i], tb = BDY(t)[i];
         j < col; j++ )          j < col; j++ )
         subr(vl,(Obj)ab[j],(Obj)bb[j],(Obj *)&tb[j]);          arf_sub(vl,(Obj)ab[j],(Obj)bb[j],(Obj *)&tb[j]);
     *c = t;      *c = t;
   }    }
 }  }
   
   void addmat_miser(vl,a,b,c,ar0,ac0,ar1,ac1,br0,bc0,br1,bc1)
   VL vl;
   MAT a,b,*c;
   int ar0,ac0,ar1,ac1,br0,bc0,br1,bc1;
   {
           int row,col,i,j;
     MAT t;
     pointer *ab,*bb,*tb;
     row = ar1 - ar0 + 1; col = ac1 - ac0 + 1;
   
     if ( !a )
       *c = b;
     else if ( !b )
       *c = a;
     else if ( (row != br1 - br0 + 1) || (col != bc1 - bc0 + 1) ) {
       *c = 0; error("addmat : size mismatch add");
     } else {
       MKMAT(t,row,col);
       for ( i = 0; i < row; i++ ) {
                           if (i+ar0 > a->row-1) {
                                   ab = NULL;
                           } else {
           ab = BDY(a)[i+ar0];
                           }
                           if (i+br0 > b->row-1) {
                                   bb = NULL;
                           } else {
                                   bb = BDY(b)[i+br0];
                           }
                           tb = BDY(t)[i];
                           for ( j =0; j < col; j++ ) {
                                   if ((ab == NULL || j+ac0 > a->col-1) && (bb == NULL || j+bc0 > b->col-1)) {
                                           arf_add(vl,NULL,NULL,(Obj *)&tb[j]);
                                   } else if ((ab != NULL && j+ac0 <= a->col-1) && (bb == NULL || j+bc0 > b->col-1)){
                                           arf_add(vl,(Obj)ab[j+ac0],NULL,(Obj *)&tb[j]);
                                   } else if ((ab == NULL || j+ac0 > a->col-1) && (bb != NULL && j+bc0 <= b->col-1)) {
                                           arf_add(vl,NULL, (Obj)bb[j+bc0],(Obj *)&tb[j]);
                                   } else {
                   arf_add(vl,(Obj)ab[j+ac0],(Obj)bb[j+bc0],(Obj *)&tb[j]);
                                   }
   
                           }
                   }
       *c = t;
     }
   }
   
   void submat_miser(vl,a,b,c,ar0,ac0,ar1,ac1,br0,bc0,br1,bc1)
   VL vl;
   MAT a,b,*c;
   int ar0,ac0,ar1,ac1,br0,bc0,br1,bc1;
   {
           int row,col,i,j;
     MAT t;
     pointer *ab,*bb,*tb;
   
     row = ar1 - ar0 + 1; col = ac1 - ac0 + 1;
   
     if ( !a )
       chsgnmat(b,c);
     else if ( !b )
       *c = a;
     else if ( (row != br1 - br0 + 1) || (col != bc1 - bc0 + 1) ) {
       *c = 0; error("submat : size mismatch sub");
     } else {
       MKMAT(t,row,col);
       for ( i = 0; i < row; i++ ) {
                           if (i+ar0 > a->row-1) {
                                   ab = NULL;
                           } else {
           ab = BDY(a)[i+ar0];
                           }
                           if (i+br0 > b->row-1) {
                                   bb = NULL;
                           } else {
                                   bb = BDY(b)[i+br0];
                           }
                           tb = BDY(t)[i];
                           for ( j =0; j < col; j++ ) {
                                   if ((ab == NULL || j+ac0 > a->col-1) && (bb == NULL || j+bc0 > b->col-1)) {
                                           arf_sub(vl,NULL,NULL,(Obj *)&tb[j]);
                                   } else if ((ab != NULL && j+ac0 <= a->col-1) && (bb == NULL || j+bc0 > b->col-1)){
                                           arf_sub(vl,(Obj)ab[j+ac0],NULL,(Obj *)&tb[j]);
                                   } else if ((ab == NULL || j+ac0 > a->col-1) && (bb != NULL && j+bc0 <= b->col-1)) {
                                           arf_sub(vl,NULL, (Obj)bb[j+bc0],(Obj *)&tb[j]);
                                   } else {
                   arf_sub(vl,(Obj)ab[j+ac0],(Obj)bb[j+bc0],(Obj *)&tb[j]);
                                   }
   
                           }
                   }
       *c = t;
     }
   }
   
 void mulmat(vl,a,b,c)  void mulmat(vl,a,b,c)
 VL vl;  VL vl;
 Obj a,b,*c;  Obj a,b,*c;
 {  {
         if ( !a || !b )          VECT vect;
           MAT mat;
   
           if ( !a && !b )
                 *c = 0;                  *c = 0;
         else if ( OID(a) <= O_R )          else if ( !a || !b ) {
                   if ( !a )
                           a = b;
                   switch ( OID(a) ) {
                           case O_VECT:
                                   MKVECT(vect,((VECT)a)->len);
                                   *c = (Obj)vect;
                                   break;
                           case O_MAT:
                                   MKMAT(mat,((MAT)a)->row,((MAT)a)->col);
                                   *c = (Obj)mat;
                                   break;
                           default:
                                   *c = 0;
                                   break;
                   }
           } else if ( OID(a) <= O_R || OID(a) == O_DP )
                 mulrmat(vl,(Obj)a,(MAT)b,(MAT *)c);                  mulrmat(vl,(Obj)a,(MAT)b,(MAT *)c);
         else if ( OID(b) <= O_R )          else if ( OID(b) <= O_R || OID(b) == O_DP )
                 mulrmat(vl,(Obj)b,(MAT)a,(MAT *)c);                  mulrmat(vl,(Obj)b,(MAT)a,(MAT *)c);
         else          else
                 switch ( OID(a) ) {                  switch ( OID(a) ) {
Line 127  Obj a,b,*c;
Line 242  Obj a,b,*c;
                                         case O_VECT:                                          case O_VECT:
                                                 mulmatvect(vl,(MAT)a,(VECT)b,(VECT *)c); break;                                                  mulmatvect(vl,(MAT)a,(VECT)b,(VECT *)c); break;
                                         case O_MAT:                                          case O_MAT:
                                                 mulmatmat(vl,(MAT)a,(MAT)b,(MAT *)c); break;                                                  mulmatmat_miser(vl,(MAT)a,(MAT)b,(MAT *)c, 0,0, ((MAT)a)->row-1, ((MAT)a)->col-1, 0,0,((MAT)b)->row-1, ((MAT)b)->col-1); break;
                                         default:                                          default:
                                                 notdef(vl,a,b,c); break;                                                  notdef(vl,a,b,c); break;
                                 }                                  }
Line 150  Obj a,b,*c;
Line 265  Obj a,b,*c;
         else if ( OID(b) > O_R )          else if ( OID(b) > O_R )
                 notdef(vl,a,b,c);                  notdef(vl,a,b,c);
         else {          else {
                 divr(vl,(Obj)ONE,b,&t); mulrmat(vl,t,(MAT)a,(MAT *)c);                  arf_div(vl,(Obj)ONE,b,&t); mulrmat(vl,t,(MAT)a,(MAT *)c);
         }          }
 }  }
   
Line 169  MAT a,*b;
Line 284  MAT a,*b;
                 for ( i = 0; i < row; i++ )                  for ( i = 0; i < row; i++ )
                         for ( j = 0, ab = BDY(a)[i], tb = BDY(t)[i];                          for ( j = 0, ab = BDY(a)[i], tb = BDY(t)[i];
                                 j < col; j++ )                                  j < col; j++ )
                                 chsgnr((Obj)ab[j],(Obj *)&tb[j]);                                  arf_chsgn((Obj)ab[j],(Obj *)&tb[j]);
                 *b = t;                  *b = t;
         }          }
 }  }
Line 180  MAT a;
Line 295  MAT a;
 Obj r;  Obj r;
 MAT *c;  MAT *c;
 {  {
           int n,i;
           MAT t;
   
         if ( !a )          if ( !a )
                 *c = 0;                  *c = 0;
         else if ( !r || !NUM(r) || !RATN(r) ||          else if ( !r ) {
                   if ( a->row != a->col ) {
                           *c = 0; error("pwrmat : non square matrix");
                   } else {
                           n = a->row;
                   MKMAT(t,n,n);
                           for ( i = 0; i < n; i++ )
                                   t->body[i][i] = ONE;
                           *c = t;
                   }
           } else if ( !NUM(r) || !RATN(r) ||
                 !INT(r) || (SGN((Q)r)<0) || (PL(NM((Q)r))>1) ) {                  !INT(r) || (SGN((Q)r)<0) || (PL(NM((Q)r))>1) ) {
                 *c = 0; error("pwrmat : invalid exponent");                  *c = 0; error("pwrmat : invalid exponent");
         } else if ( a->row != a->col ) {          } else if ( a->row != a->col ) {
Line 229  MAT b,*c;
Line 357  MAT b,*c;
                 for ( i = 0; i < row; i++ )                  for ( i = 0; i < row; i++ )
                         for ( j = 0, bb = BDY(b)[i], tb = BDY(t)[i];                          for ( j = 0, bb = BDY(b)[i], tb = BDY(t)[i];
                                 j < col; j++ )                                  j < col; j++ )
                                 mulr(vl,(Obj)a,(Obj)bb[j],(Obj *)&tb[j]);                                  arf_mul(vl,(Obj)a,(Obj)bb[j],(Obj *)&tb[j]);
                 *c = t;                  *c = t;
         }          }
 }  }
Line 238  void mulmatmat(vl,a,b,c)
Line 366  void mulmatmat(vl,a,b,c)
 VL vl;  VL vl;
 MAT a,b,*c;  MAT a,b,*c;
 {  {
 #if 0  
         int arow,bcol,i,j,k,m;  
         MAT t;  
         pointer s,u,v;  
         pointer *ab,*tb;  
   
         /* Mismach col and row */  
         if ( a->col != b->row ) {  
                 *c = 0; error("mulmat : size mismatch");  
         } else {  
                 arow = a->row; m = a->col; bcol = b->col;  
                 MKMAt(t,arow,bcol);  
                 for ( i = 0; i < arow; i++ )  
                         for ( j = 0, ab = BDY(a)[i], tb = BDY(t)[i]; j < bcol; j++ ) {  
                                 for ( k = 0, s = 0; k < m; k++ ) {  
                                         mulr(vl,(Obj)ab[k],(Obj)BDY(b)[k][j],(Obj *)&u);  
                                         addr(vl,(Obj)s,(Obj)u,(Obj *)&v);  
                                         s = v;  
                                 }  
                                 tb[j] = s;  
                         }  
                 *c = t;  
         }  
 }  
   
 void Strassen(arg, c)  
 NODE arg;  
 Obj *c;  
 {  
   MAT a,b;  
         VL vl;  
   
         /* tomo */  
         a = (MAT)ARG0(arg);  
         b = (MAT)ARG1(arg);  
         vl = CO;  
         strassen(CO, a, b, c);  
 }  
   
 void strassen(vl,a,b,c)  
 VL vl;  
 MAT a,b,*c;  
 {  
 #endif  
         int arow,bcol,i,j,k,m, h, arowh, bcolh;          int arow,bcol,i,j,k,m, h, arowh, bcolh;
         MAT t, a11, a12, a21, a22;          MAT t, a11, a12, a21, a22;
         MAT p, b11, b12, b21, b22;          MAT p, b11, b12, b21, b22;
Line 299  MAT a,b,*c;
Line 383  MAT a,b,*c;
         else {          else {
                 pflag1 = 0; pflag2 = 0;                  pflag1 = 0; pflag2 = 0;
                 arow = a->row; m = a->col; bcol = b->col;                  arow = a->row; m = a->col; bcol = b->col;
                 arowh = arow/2; bcolh = bcol/2;  
                 MKMAT(t,arow,bcol);                  MKMAT(t,arow,bcol);
                 /* StrassenSize == 0 or matrix size less then StrassenSize,                  /* StrassenSize == 0 or matrix size less then StrassenSize,
                 then calc cannonical algorithm. */                  then calc cannonical algorithm. */
Line 307  MAT a,b,*c;
Line 390  MAT a,b,*c;
                         for ( i = 0; i < arow; i++ )                          for ( i = 0; i < arow; i++ )
                                 for ( j = 0, ab = BDY(a)[i], tb = BDY(t)[i]; j < bcol; j++ ) {                                  for ( j = 0, ab = BDY(a)[i], tb = BDY(t)[i]; j < bcol; j++ ) {
                                         for ( k = 0, s = 0; k < m; k++ ) {                                          for ( k = 0, s = 0; k < m; k++ ) {
                                                 mulr(vl,(Obj)ab[k],(Obj)BDY(b)[k][j],(Obj *)&u);                                                  arf_mul(vl,(Obj)ab[k],(Obj)BDY(b)[k][j],(Obj *)&u);
                                                 addr(vl,(Obj)s,(Obj)u,(Obj *)&v);                                                  arf_add(vl,(Obj)s,(Obj)u,(Obj *)&v);
                                                 s = v;                                                  s = v;
                                         }                                          }
                                         tb[j] = s;                                          tb[j] = s;
Line 329  MAT a,b,*c;
Line 412  MAT a,b,*c;
                         m++;                          m++;
                         pflag2 = 1;                          pflag2 = 1;
                 }                  }
                 MKMAT(aa, arow, m);  
                 for (i = 0; i < a->row; i++) {  
                         for (j = 0; j < a->col; j++) {  
                                 aa->body[i][j] = a->body[i][j];  
                         }  
                 }  
                 i = bcol/2;  
                 j = bcol - i;  
                 if (i != j) {  
                         bcol++;  
                 }  
                 MKMAT(bb, m, bcol);  
                 for (i = 0; i < b->row; i++) {  
                         for ( j = 0; j < b->col; j++) {  
                                 bb->body[i][j] = b->body[i][j];  
                         }  
                 }  
   
                 /* split matrix A and B */                  /* split matrix A and B */
                 a1row = aa->row/2; a1col = aa->col/2;                  a1row = arow/2; a1col = m/2;
                 MKMAT(a11,a1row,a1col);                  MKMAT(a11,a1row,a1col);
     MKMAT(a21,a1row,a1col);                  MKMAT(a21,a1row,a1col);
     MKMAT(a12,a1row,a1col);                  MKMAT(a12,a1row,a1col);
     MKMAT(a22,a1row,a1col);                  MKMAT(a22,a1row,a1col);
   
                 b1row = bb->row/2; b1col = bb->col/2;                  b1row = m/2; b1col = bcol/2;
                 MKMAT(b11,b1row,b1col);                  MKMAT(b11,b1row,b1col);
     MKMAT(b21,b1row,b1col);                  MKMAT(b21,b1row,b1col);
     MKMAT(b12,b1row,b1col);                  MKMAT(b12,b1row,b1col);
     MKMAT(b22,b1row,b1col);                  MKMAT(b22,b1row,b1col);
   
                 /* make a11 matrix */                  /* make a11 matrix */
                 for (i = 0; i < a1row; i++) {                  for (i = 0; i < a1row; i++) {
                         for (j = 0; j < a1col; j++) {                          for (j = 0; j < a1col; j++) {
                                 a11->body[i][j] = aa->body[i][j];                                  a11->body[i][j] = a->body[i][j];
                         }                          }
                 }                  }
   
                 /* make a21 matrix */                  /* make a21 matrix */
                 for (i = a1row; i < aa->row; i++) {                  for (i = a1row; i < a->row; i++) {
                         for (j = 0; j < a1col; j++) {                          for (j = 0; j < a1col; j++) {
                                 a21->body[i-a1row][j] = aa->body[i][j];                                  a21->body[i-a1row][j] = a->body[i][j];
                         }                          }
                 }                  }
   
                 /* create a12 matrix */                  /* create a12 matrix */
                 for (i = 0; i < a1row; i++) {                  for (i = 0; i < a1row; i++) {
                         for (j = a1col; j < aa->col; j++) {                          for (j = a1col; j < a->col; j++) {
                                 a12->body[i][j-a1col] = aa->body[i][j];                                  a12->body[i][j-a1col] = a->body[i][j];
                         }                          }
                 }                  }
   
                 /* create a22 matrix */                  /* create a22 matrix */
     for (i = a1row; i < aa->row; i++) {      for (i = a1row; i < a->row; i++) {
       for (j = a1col; j < aa->col; j++) {        for (j = a1col; j < a->col; j++) {
         a22->body[i-a1row][j-a1col] = aa->body[i][j];          a22->body[i-a1row][j-a1col] = a->body[i][j];
       }        }
    }     }
   
Line 392  MAT a,b,*c;
Line 458  MAT a,b,*c;
                 /* create b11 submatrix */                  /* create b11 submatrix */
                 for (i = 0; i < b1row; i++) {                  for (i = 0; i < b1row; i++) {
                         for (j = 0; j < b1col; j++) {                          for (j = 0; j < b1col; j++) {
                                 b11->body[i][j] = bb->body[i][j];                                  b11->body[i][j] = b->body[i][j];
                         }                          }
                 }                  }
   
                 /* create b21 submatrix */                  /* create b21 submatrix */
                 for (i = b1row; i < bb->row; i++) {                  for (i = b1row; i < b->row; i++) {
                         for (j = 0; j < b1col; j++) {                          for (j = 0; j < b1col; j++) {
                                 b21->body[i-b1row][j] = bb->body[i][j];                                  b21->body[i-b1row][j] = b->body[i][j];
                         }                          }
                 }                  }
   
                 /* create b12 submatrix */                  /* create b12 submatrix */
                 for (i = 0; i < b1row; i++) {                  for (i = 0; i < b1row; i++) {
                         for (j = b1col; j < bb->col; j++) {                          for (j = b1col; j < b->col; j++) {
                                 b12->body[i][j-b1col] = bb->body[i][j];                                  b12->body[i][j-b1col] = b->body[i][j];
                         }                          }
                 }                  }
   
                 /* create b22 submatrix */                  /* create b22 submatrix */
                 for (i = b1row; i < bb->row; i++) {                  for (i = b1row; i < b->row; i++) {
                         for (j = b1col; j < bb->col; j++) {                          for (j = b1col; j < b->col; j++) {
                                 b22->body[i-b1row][j-b1col] = bb->body[i][j];                                  b22->body[i-b1row][j-b1col] = b->body[i][j];
                         }                          }
                 }                  }
                 /* expand matrix by Strassen-Winograd algorithm */                  /* expand matrix by Strassen-Winograd algorithm */
Line 455  MAT a,b,*c;
Line 521  MAT a,b,*c;
                 /* C21 = w1+u1+A22*(B21-t2) */                  /* C21 = w1+u1+A22*(B21-t2) */
                 submat(vl, b21, t2, &ans1);                  submat(vl, b21, t2, &ans1);
                 mulmatmat(vl, a22, ans1, &ans2);                  mulmatmat(vl, a22, ans1, &ans2);
                   addmat(vl, w1, u1, &ans1);
                   addmat(vl, ans1, ans2, &c21);
   
                   /* C22 = w1 + u1 + v1 */
                   addmat(vl, ans1, v1, &c22);
           }
   
           for(i =0; i<c11->row; i++) {
                   for ( j=0; j < c11->col; j++) {
                           t->body[i][j] = c11->body[i][j];
                   }
           }
           if (pflag1 == 0) {
                           k = c21->row;
           } else {
                           k = c21->row - 1;
           }
           for(i =0; i<k; i++) {
                   for ( j=0; j < c21->col; j++) {
                           t->body[i+c11->row][j] = c21->body[i][j];
                   }
           }
           if (pflag2 == 0) {
                   h = c12->col;
           } else {
                   h = c12->col -1;
           }
           for(i =0; i<c12->row; i++) {
                 for ( j=0; j < k; j++) {                  for ( j=0; j < k; j++) {
                         t->body[i][j+c11->col] = c12->body[i][j];                          t->body[i][j+c11->col] = c12->body[i][j];
                 }                  }
Line 477  MAT a,b,*c;
Line 571  MAT a,b,*c;
         *c = t;          *c = t;
 }  }
   
   void mulmatmat_miser(vl,a,b,c,ar0,ac0,ar1,ac1,br0,bc0,br1,bc1)
   VL vl;
   MAT a,b,*c;
   int ar0, ac0, ar1, ac1, br0, bc0, br1, bc1;
   {
           int arow,bcol,i,j,k,m, h;
           MAT t, a11, a12, a21, a22;
           MAT p, b11, b12, b21, b22;
           MAT ans1, ans2, c11, c12, c21, c22;
           MAT s1, s2, t1, t2, u1, v1, w1;
           pointer s,u,v;
           pointer *ab,*tb, *bb;
           int a1row, a1col;
           int b1row, b1col;
           int pflag1, pflag2;
   
           arow = ar1-ar0 + 1; m = ac1-ac0 + 1; bcol = bc1 - bc0 + 1;
           /* mismach col and row */
           if ( m != br1-br0 + 1 ) {
                   *c = 0; error("mulmat : size mismatch");
           }
           else {
                   pflag1 = 0; pflag2 = 0;
                   MKMAT(t,arow,bcol);
                   /* StrassenSize == 0 or matrix size less then StrassenSize,
                   then calc cannonical algorithm. */
                   if((StrassenSize == 0)||(arow<=StrassenSize || m <= StrassenSize) || (m<=StrassenSize || bcol <= StrassenSize)) {
                           for ( i = 0; i < arow; i++ ) {
                                   if (i+ar0 > a->row-1) {
                                           ab = NULL;
                                   } else {
                   ab = BDY(a)[i+ar0];
                                   }
                                   tb = BDY(t)[i];
                                   for ( j = 0; j < bcol; j++ ) {
                                           for ( k = 0, s = 0; k < m; k++ ) {
                                                   if (k+br0 > b->row-1) {
                                                           bb = NULL;
                                                   } else {
                                                           bb = BDY(b)[k+br0];
                                                   }
                                                   if ((ab == NULL || k+ac0 > a->col-1) && (bb == NULL || j+bc0 > b->col-1)) {
                                                           arf_mul(vl,NULL,NULL,(Obj *)&u);
                                                   } else if ((ab != NULL && k+ac0 <= a->col-1) && (bb == NULL || j+bc0 > b->col-1)){
                                                           arf_mul(vl,(Obj)ab[k+ac0],NULL,(Obj *)&u);
                                                   } else if ((ab == NULL || k+ac0 > a->col-1) && (bb != NULL && j+bc0 <= b->col-1)) {
                                                           arf_mul(vl,NULL,(Obj)bb[j+bc0],(Obj *)&u);
                                                   } else {
                                                           arf_mul(vl,(Obj)ab[k+ac0],(Obj)bb[j+bc0],(Obj *)&u);
                                                   }
                                                   arf_add(vl,(Obj)s,(Obj)u,(Obj *)&v);
                                                   s = v;
                                           }
                                           tb[j] = s;
                                   }
                           }
                   *c = t;
                   return;
   
                   }
                   /* padding odd col and row to even number for zero */
                   i = arow/2;
                   j = arow - i;
                   if (i != j) {
                           arow++;
                           pflag1 = 1;
                   }
                   i = m/2;
                   j = m - i;
                   if (i != j) {
                           m++;
                           pflag2 = 1;
                   }
   
                   i = bcol/2;
                   j = bcol - i;
                   if (i != j) {
                           bcol++;
                   }
   
                   /* split matrix A and B */
                   a1row = arow/2; a1col = m/2;
                   b1row = m/2; b1col = bcol/2;
   
                   /* expand matrix by Strassen-Winograd algorithm */
                   /* s1=A21+A22 */
                   addmat_miser(vl,a,a,&s1, ar0 + a1row, ac0, ar0 + arow -1, ac0 + a1col-1, ar0 + a1row, ac0 + a1col, ar0 + arow -1, ac0 + m-1);
   
                   /* s2=s1-A11 */
                   submat_miser(vl,s1,a,&s2, 0,0, s1->row-1, s1->col-1, ar0, ac0, ar0 + a1row-1, ac0 + a1col-1);
   
                   /* t1=B12-B11 */
                   submat_miser(vl, b, b, &t1, br0, bc0 + b1col, br0 + b1row-1, bc0 + bcol - 1, br0,bc0,br0 + b1row-1, bc0 + b1col-1);
   
                   /* t2=B22-t1 */
                   submat_miser(vl, b, t1, &t2, br0 + b1row, bc0 + b1col, br0 + m-1, bc0 + bcol-1, 0,0,t1->row-1, t1->col-1);
   
                   /* u=(A11-A21)*(B22-B12) */
                   submat_miser(vl, a, a, &ans1, ar0, ac0, ar0 + a1row-1,ac0 + a1col-1, ar0 + a1row, ac0, ar0 + arow-1, ac0 + a1col-1);
                   submat_miser(vl, b, b, &ans2, br0 + b1row, bc0 + b1col, br0 + m-1, bc0 + bcol-1, br0, bc0 + b1col, br0 + b1row-1, bc0 + bcol-1);
                   mulmatmat_miser(vl, ans1, ans2, &u1, 0, 0, ans1->row -1, ans1->col-1, 0, 0, ans2->row -1, ans2->col-1);
   
                   /* v=s1*t1 */
                   mulmatmat_miser(vl, s1, t1, &v1, 0, 0, s1->row -1, s1->col-1, 0, 0, t1->row -1, t1->col-1);
   
                   /* w=A11*B11+s2*t2 */
                   mulmatmat_miser(vl, a, b, &ans1, ar0, ac0, ar0 + a1row-1,ac0 + a1col-1, br0, bc0, br0 + b1row-1,bc0 + b1col-1);
                   mulmatmat_miser(vl, s2, t2, &ans2, 0, 0, s2->row -1, s2->col-1, 0, 0, t2->row -1, t2->col-1);
                   addmat_miser(vl, ans1, ans2, &w1, 0, 0, ans1->row -1, ans1->col-1, 0, 0, ans2->row -1, ans2->col-1);
   
                   /* C11 = A11*B11+A12*B21 */
                   mulmatmat_miser(vl, a, b, &ans2, ar0, ac0 + a1col, ar0 + a1row-1, ac0 + m-1, br0 + b1row, bc0 + 0, br0 + m-1, bc0 + b1col-1);
                   addmat_miser(vl, ans1, ans2, &c11, 0, 0, ans1->row -1, ans1->col -1, 0, 0, ans2->row -1, ans2->col-1);
   
                   /* C12 = w1+v1+(A12-s2)*B22 */
                   submat_miser(vl, a, s2, &ans1, ar0, ac0 + a1col, ar0 + a1row-1, ac0 + m-1, 0, 0, s2->row -1, s2->col -1);
                   mulmatmat_miser(vl, ans1, b, &ans2, 0, 0, ans1->row -1, ans1->col -1, br0 + b1row, bc0 + b1col, br0 + m-1, bc0 + bcol-1);
                   addmat_miser(vl, w1, v1, &ans1, 0, 0, w1->row -1, w1->col -1, 0,0, v1->row-1, v1->col -1);
                   addmat_miser(vl, ans1, ans2, &c12, 0, 0, ans1->row -1, ans1->col -1, 0, 0, ans2->row -1, ans2->col-1);
   
                   /* C21 = w1+u1+A22*(B21-t2) */
                   submat_miser(vl, b, t2, &ans1, br0 + b1row, bc0 + 0, br0 + m-1, bc0 + b1col-1, 0,0, t2->row-1, t2->col-1);
                   mulmatmat_miser(vl, a, ans1, &ans2, ar0 + a1row, ac0 + a1col, ar0 + arow-1, ac0 + m-1, 0, 0, ans1->row -1, ans1->col -1);
                   addmat_miser(vl, w1, u1, &ans1, 0,0,w1->row -1, w1->col-1, 0,0,u1->row -1, u1->col-1);
                   addmat_miser(vl, ans1, ans2, &c21, 0, 0, ans1->row -1, ans1->col -1, 0, 0, ans2->row -1, ans2->col-1);
   
                   /* C22 = w1 + u1 + v1 */
                   addmat_miser(vl, ans1, v1, &c22, 0, 0, ans1->row -1, ans1->col -1, 0, 0, v1->row-1, v1->col-1);
           }
   
           for(i =0; i<c11->row; i++) {
                   for ( j=0; j < c11->col; j++) {
                           t->body[i][j] = c11->body[i][j];
                   }
           }
           if (pflag1 == 0) {
                           k = c21->row;
           } else {
                           k = c21->row - 1;
           }
           for(i =0; i<k; i++) {
                   for ( j=0; j < c21->col; j++) {
                           t->body[i+c11->row][j] = c21->body[i][j];
                   }
           }
           if (pflag2 == 0) {
                   h = c12->col;
           } else {
                   h = c12->col -1;
           }
           for(i =0; i<c12->row; i++) {
                   for ( j=0; j < k; j++) {
                           t->body[i][j+c11->col] = c12->body[i][j];
                   }
           }
           if (pflag1 == 0) {
                   k = c22->row;
           } else {
                   k = c22->row -1;
           }
           if (pflag2 == 0) {
                   h = c22->col;
           } else {
                   h = c22->col - 1;
           }
           for(i =0; i<k; i++) {
                   for ( j=0; j < h; j++) {
                           t->body[i+c11->row][j+c11->col] = c22->body[i][j];
                   }
           }
           *c = t;
   }
   
 void mulmatvect(vl,a,b,c)  void mulmatvect(vl,a,b,c)
 VL vl;  VL vl;
 MAT a;  MAT a;
Line 495  VECT *c;
Line 760  VECT *c;
         else if ( a->col != b->len ) {          else if ( a->col != b->len ) {
                 *c = 0; error("mulmatvect : size mismatch");                  *c = 0; error("mulmatvect : size mismatch");
         } else {          } else {
                   for ( i = 0; i < b->len; i++ )
                           if ( BDY(b)[i] && OID((Obj)BDY(b)[i]) > O_R )
                                   error("mulmatvect : invalid argument");
                 arow = a->row; m = a->col;                  arow = a->row; m = a->col;
                 MKVECT(t,arow);                  MKVECT(t,arow);
                 for ( i = 0; i < arow; i++ ) {                  for ( i = 0; i < arow; i++ ) {
                         for ( j = 0, s = 0, ab = BDY(a)[i]; j < m; j++ ) {                          for ( j = 0, s = 0, ab = BDY(a)[i]; j < m; j++ ) {
                                 mulr(vl,(Obj)ab[j],(Obj)BDY(b)[j],(Obj *)&u); addr(vl,(Obj)s,(Obj)u,(Obj *)&v); s = v;                                  arf_mul(vl,(Obj)ab[j],(Obj)BDY(b)[j],(Obj *)&u); arf_add(vl,(Obj)s,(Obj)u,(Obj *)&v); s = v;
                         }                          }
                         BDY(t)[i] = s;                          BDY(t)[i] = s;
                 }                  }
Line 522  VECT *c;
Line 790  VECT *c;
         else if ( a->len != b->row ) {          else if ( a->len != b->row ) {
                 *c = 0; error("mulvectmat : size mismatch");                  *c = 0; error("mulvectmat : size mismatch");
         } else {          } else {
                   for ( i = 0; i < a->len; i++ )
                           if ( BDY(a)[i] && OID((Obj)BDY(a)[i]) > O_R )
                                   error("mulvectmat : invalid argument");
                 bcol = b->col; m = a->len;                  bcol = b->col; m = a->len;
                 MKVECT(t,bcol);                  MKVECT(t,bcol);
                 for ( j = 0; j < bcol; j++ ) {                  for ( j = 0; j < bcol; j++ ) {
                         for ( i = 0, s = 0; i < m; i++ ) {                          for ( i = 0, s = 0; i < m; i++ ) {
                                 mulr(vl,(Obj)BDY(a)[i],(Obj)BDY(b)[i][j],(Obj *)&u); addr(vl,(Obj)s,(Obj)u,(Obj *)&v); s = v;                                  arf_mul(vl,(Obj)BDY(a)[i],(Obj)BDY(b)[i][j],(Obj *)&u); arf_add(vl,(Obj)s,(Obj)u,(Obj *)&v); s = v;
                         }                          }
                         BDY(t)[j] = s;                          BDY(t)[j] = s;
                 }                  }
Line 552  MAT a,b;
Line 823  MAT a,b;
                 row = a->row; col = a->col;                  row = a->row; col = a->col;
                 for ( i = 0; i < row; i++ )                  for ( i = 0; i < row; i++ )
                         for ( j = 0; j < col; j++ )                          for ( j = 0; j < col; j++ )
                                 if ( t = compr(vl,(Obj)BDY(a)[i][j],(Obj)BDY(b)[i][j]) )                                  if ( t = arf_comp(vl,(Obj)BDY(a)[i][j],(Obj)BDY(b)[i][j]) )
                                         return t;                                          return t;
                 return 0;                  return 0;
         }          }
Legend:
Removed from v.1.5  
changed lines
  Added in v.1.13
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>