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

Diff for /OpenXM_contrib2/asir2000/builtin/array.c between version 1.3 and 1.15

version 1.3, 2000/04/20 02:20:15 version 1.15, 2001/09/07 08:54:57
Line 1 
Line 1 
 /* $OpenXM: OpenXM_contrib2/asir2000/builtin/array.c,v 1.2 2000/03/14 05:25:43 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/builtin/array.c,v 1.14 2001/09/04 05:14:03 noro Exp $
   */
 #include "ca.h"  #include "ca.h"
 #include "base.h"  #include "base.h"
 #include "parse.h"  #include "parse.h"
 #include "inline.h"  #include "inline.h"
 /*  
   #if 0
 #undef DMAR  #undef DMAR
 #define DMAR(a1,a2,a3,d,r) (r)=dmar(a1,a2,a3,d);  #define DMAR(a1,a2,a3,d,r) (r)=dmar(a1,a2,a3,d);
 */  #endif
   
 extern int Print; /* XXX */  extern int DP_Print; /* XXX */
   
 void inner_product_mat_int_mod(Q **,int **,int,int,int,Q *);  void inner_product_mat_int_mod(Q **,int **,int,int,int,Q *);
 void solve_by_lu_mod(int **,int,int,int **,int);  void solve_by_lu_mod(int **,int,int,int **,int);
Line 24  int gauss_elim_mod1(int **,int,int,int);
Line 73  int gauss_elim_mod1(int **,int,int,int);
 int gauss_elim_geninv_mod(unsigned int **,int,int,int);  int gauss_elim_geninv_mod(unsigned int **,int,int,int);
 int gauss_elim_geninv_mod_swap(unsigned int **,int,int,unsigned int,unsigned int ***,int **);  int gauss_elim_geninv_mod_swap(unsigned int **,int,int,unsigned int,unsigned int ***,int **);
 void Pnewvect(), Pnewmat(), Psepvect(), Psize(), Pdet(), Pleqm(), Pleqm1(), Pgeninvm();  void Pnewvect(), Pnewmat(), Psepvect(), Psize(), Pdet(), Pleqm(), Pleqm1(), Pgeninvm();
   void Pnewbytearray();
   
 void Pgeneric_gauss_elim_mod();  void Pgeneric_gauss_elim_mod();
   
Line 40  void Px962_irredpoly_up2();
Line 90  void Px962_irredpoly_up2();
 void Pirredpoly_up2();  void Pirredpoly_up2();
 void Pnbpoly_up2();  void Pnbpoly_up2();
 void Pqsort();  void Pqsort();
   void Pexponent_vector();
   
 struct ftab array_tab[] = {  struct ftab array_tab[] = {
         {"solve_by_lu_gfmmat",Psolve_by_lu_gfmmat,4},          {"solve_by_lu_gfmmat",Psolve_by_lu_gfmmat,4},
Line 47  struct ftab array_tab[] = {
Line 98  struct ftab array_tab[] = {
         {"mat_to_gfmmat",Pmat_to_gfmmat,2},          {"mat_to_gfmmat",Pmat_to_gfmmat,2},
         {"generic_gauss_elim_mod",Pgeneric_gauss_elim_mod,2},          {"generic_gauss_elim_mod",Pgeneric_gauss_elim_mod,2},
         {"newvect",Pnewvect,-2},          {"newvect",Pnewvect,-2},
           {"vector",Pnewvect,-2},
           {"exponent_vector",Pexponent_vector,-99999999},
         {"newmat",Pnewmat,-3},          {"newmat",Pnewmat,-3},
           {"matrix",Pnewmat,-3},
           {"newbytearray",Pnewbytearray,-2},
         {"sepmat_destructive",Psepmat_destructive,2},          {"sepmat_destructive",Psepmat_destructive,2},
         {"sepvect",Psepvect,2},          {"sepvect",Psepvect,2},
         {"qsort",Pqsort,-2},          {"qsort",Pqsort,-2},
Line 308  VECT *rp;
Line 363  VECT *rp;
   
         asir_assert(ARG0(arg),O_N,"newvect");          asir_assert(ARG0(arg),O_N,"newvect");
         len = QTOS((Q)ARG0(arg));          len = QTOS((Q)ARG0(arg));
         if ( len <= 0 )          if ( len < 0 )
                 error("newvect : invalid size");                  error("newvect : invalid size");
         MKVECT(vect,len);          MKVECT(vect,len);
         if ( argc(arg) == 2 ) {          if ( argc(arg) == 2 ) {
Line 325  VECT *rp;
Line 380  VECT *rp;
         *rp = vect;          *rp = vect;
 }  }
   
   void Pexponent_vector(arg,rp)
   NODE arg;
   DP *rp;
   {
           nodetod(arg,rp);
   }
   
   void Pnewbytearray(arg,rp)
   NODE arg;
   BYTEARRAY *rp;
   {
           int len,i,r;
           BYTEARRAY array;
           unsigned char *vb;
           char *str;
           LIST list;
           NODE tn;
   
           asir_assert(ARG0(arg),O_N,"newbytearray");
           len = QTOS((Q)ARG0(arg));
           if ( len < 0 )
                   error("newbytearray : invalid size");
           MKBYTEARRAY(array,len);
           if ( argc(arg) == 2 ) {
                   if ( !ARG1(arg) )
                           error("newbytearray : invalid initialization");
                   switch ( OID((Obj)ARG1(arg)) ) {
                           case O_LIST:
                                   list = (LIST)ARG1(arg);
                                   asir_assert(list,O_LIST,"newbytearray");
                                   for ( r = 0, tn = BDY(list); tn; r++, tn = NEXT(tn) );
                                   if ( r <= len ) {
                                           for ( i = 0, tn = BDY(list), vb = BDY(array); tn;
                                                   i++, tn = NEXT(tn) )
                                                   vb[i] = (unsigned char)QTOS((Q)BDY(tn));
                                   }
                                   break;
                           case O_STR:
                                   str = BDY((STRING)ARG1(arg));
                                   r = strlen(str);
                                   if ( r <= len )
                                           bcopy(str,BDY(array),r);
                                   break;
                           default:
                                   if ( !ARG1(arg) )
                                           error("newbytearray : invalid initialization");
                   }
           }
           *rp = array;
   }
   
 void Pnewmat(arg,rp)  void Pnewmat(arg,rp)
 NODE arg;  NODE arg;
 MAT *rp;  MAT *rp;
Line 339  MAT *rp;
Line 445  MAT *rp;
         asir_assert(ARG0(arg),O_N,"newmat");          asir_assert(ARG0(arg),O_N,"newmat");
         asir_assert(ARG1(arg),O_N,"newmat");          asir_assert(ARG1(arg),O_N,"newmat");
         row = QTOS((Q)ARG0(arg)); col = QTOS((Q)ARG1(arg));          row = QTOS((Q)ARG0(arg)); col = QTOS((Q)ARG1(arg));
         if ( row <= 0 || col <= 0 )          if ( row < 0 || col < 0 )
                 error("newmat : invalid size");                  error("newmat : invalid size");
         MKMAT(m,row,col);          MKMAT(m,row,col);
         if ( argc(arg) == 3 ) {          if ( argc(arg) == 3 ) {
Line 663  int row,col,md;
Line 769  int row,col,md;
                         t = mat[i];                          t = mat[i];
                         if ( i != j && (a = t[j]) )                          if ( i != j && (a = t[j]) )
                                 for ( k = j, a = md - a; k <= n; k++ ) {                                  for ( k = j, a = md - a; k <= n; k++ ) {
                                           unsigned int tk;
 /*                                      t[k] = dmar(pivot[k],a,t[k],md); */  /*                                      t[k] = dmar(pivot[k],a,t[k],md); */
                                         DMAR(pivot[k],a,t[k],md,t[k])                                          DMAR(pivot[k],a,t[k],md,tk)
                                           t[k] = tk;
                                 }                                  }
                 }                  }
         }          }
Line 675  int row,col,md;
Line 783  int row,col,md;
                 return -1;                  return -1;
 }  }
   
 struct oEGT eg_mod,eg_elim,eg_chrem,eg_gschk,eg_intrat,eg_symb;  struct oEGT eg_mod,eg_elim,eg_elim1,eg_elim2,eg_chrem,eg_gschk,eg_intrat,eg_symb;
   
 int generic_gauss_elim(mat,nm,dn,rindp,cindp)  int generic_gauss_elim(mat,nm,dn,rindp,cindp)
 MAT mat;  MAT mat;
Line 708  int **rindp,**cindp;
Line 816  int **rindp,**cindp;
         colstat = (int *)MALLOC_ATOMIC(col*sizeof(int));          colstat = (int *)MALLOC_ATOMIC(col*sizeof(int));
         wcolstat = (int *)MALLOC_ATOMIC(col*sizeof(int));          wcolstat = (int *)MALLOC_ATOMIC(col*sizeof(int));
         for ( ind = 0; ; ind++ ) {          for ( ind = 0; ; ind++ ) {
                 if ( Print ) {                  if ( DP_Print ) {
                         fprintf(asir_out,"."); fflush(asir_out);                          fprintf(asir_out,"."); fflush(asir_out);
                 }                  }
                 md = lprime[ind];                  md = get_lprime(ind);
                 get_eg(&tmp0);                  get_eg(&tmp0);
                 for ( i = 0; i < row; i++ )                  for ( i = 0; i < row; i++ )
                         for ( j = 0, bmi = bmat[i], wmi = wmat[i]; j < col; j++ )                          for ( j = 0, bmi = bmat[i], wmi = wmat[i]; j < col; j++ )
Line 745  RESET:
Line 853  RESET:
                                         }                                          }
                 } else {                  } else {
                         if ( rank < rank0 ) {                          if ( rank < rank0 ) {
                                 if ( Print ) {                                  if ( DP_Print ) {
                                         fprintf(asir_out,"lower rank matrix; continuing...\n");                                          fprintf(asir_out,"lower rank matrix; continuing...\n");
                                         fflush(asir_out);                                          fflush(asir_out);
                                 }                                  }
                                 continue;                                  continue;
                         } else if ( rank > rank0 ) {                          } else if ( rank > rank0 ) {
                                 if ( Print ) {                                  if ( DP_Print ) {
                                         fprintf(asir_out,"higher rank matrix; resetting...\n");                                          fprintf(asir_out,"higher rank matrix; resetting...\n");
                                         fflush(asir_out);                                          fflush(asir_out);
                                 }                                  }
Line 759  RESET:
Line 867  RESET:
                         } else {                          } else {
                                 for ( j = 0; (j<col) && (colstat[j]==wcolstat[j]); j++ );                                  for ( j = 0; (j<col) && (colstat[j]==wcolstat[j]); j++ );
                                 if ( j < col ) {                                  if ( j < col ) {
                                         if ( Print ) {                                          if ( DP_Print ) {
                                                 fprintf(asir_out,"inconsitent colstat; resetting...\n");                                                  fprintf(asir_out,"inconsitent colstat; resetting...\n");
                                                 fflush(asir_out);                                                  fflush(asir_out);
                                         }                                          }
Line 798  RESET:
Line 906  RESET:
                         add_eg(&eg_chrem_split,&tmp0,&tmp1);                          add_eg(&eg_chrem_split,&tmp0,&tmp1);
   
                         get_eg(&tmp0);                          get_eg(&tmp0);
                         ret = intmtoratm(crmat,m1,*nm,dn);                          if ( ind % 16 )
                                   ret = 0;
                           else
                                   ret = intmtoratm(crmat,m1,*nm,dn);
                         get_eg(&tmp1);                          get_eg(&tmp1);
                         add_eg(&eg_intrat,&tmp0,&tmp1);                          add_eg(&eg_intrat,&tmp0,&tmp1);
                         add_eg(&eg_intrat_split,&tmp0,&tmp1);                          add_eg(&eg_intrat_split,&tmp0,&tmp1);
Line 815  RESET:
Line 926  RESET:
                                         get_eg(&tmp1);                                          get_eg(&tmp1);
                                         add_eg(&eg_gschk,&tmp0,&tmp1);                                          add_eg(&eg_gschk,&tmp0,&tmp1);
                                         add_eg(&eg_gschk_split,&tmp0,&tmp1);                                          add_eg(&eg_gschk_split,&tmp0,&tmp1);
                                         if ( Print ) {                                          if ( DP_Print ) {
                                                 print_eg("Mod",&eg_mod_split);                                                  print_eg("Mod",&eg_mod_split);
                                                 print_eg("Elim",&eg_elim_split);                                                  print_eg("Elim",&eg_elim_split);
                                                 print_eg("ChRem",&eg_chrem_split);                                                  print_eg("ChRem",&eg_chrem_split);
Line 856  int **rindp,**cindp;
Line 967  int **rindp,**cindp;
         row = mat->row; col = mat->col;          row = mat->row; col = mat->col;
         w = (int **)almat(row,col);          w = (int **)almat(row,col);
         for ( ind = 0; ; ind++ ) {          for ( ind = 0; ; ind++ ) {
                 md = lprime[ind];                  md = get_lprime(ind);
                 STOQ(md,mdq);                  STOQ(md,mdq);
                 for ( i = 0; i < row; i++ )                  for ( i = 0; i < row; i++ )
                         for ( j = 0, ai = a0[i], wi = w[i]; j < col; j++ )                          for ( j = 0, ai = a0[i], wi = w[i]; j < col; j++ )
Line 938  int **rindp,**cindp;
Line 1049  int **rindp,**cindp;
                                 add_eg(&eg_mul,&tmp0,&tmp1);                                  add_eg(&eg_mul,&tmp0,&tmp1);
                                 /* q = q*md */                                  /* q = q*md */
                                 mulq(q,mdq,&u); q = u;                                  mulq(q,mdq,&u); q = u;
                                 if ( !(count % 2) && intmtoratm_q(xmat,NM(q),*nmmat,dn) ) {                                  if ( !(count % 16) && intmtoratm_q(xmat,NM(q),*nmmat,dn) ) {
                                         for ( j = k = l = 0; j < col; j++ )                                          for ( j = k = l = 0; j < col; j++ )
                                                 if ( cinfo[j] )                                                  if ( cinfo[j] )
                                                         rind[k++] = j;                                                          rind[k++] = j;
Line 1148  Q *dn;
Line 1259  Q *dn;
         return 1;          return 1;
 }  }
   
   #define ONE_STEP1  if ( zzz = *s ) { DMAR(zzz,hc,*tj,md,*tj) } tj++; s++;
   
   void reduce_reducers_mod(mat,row,col,md)
   int **mat;
   int row,col;
   int md;
   {
           int i,j,k,l,hc,zzz;
           int *t,*s,*tj,*ind;
   
           /* reduce the reducers */
           ind = (int *)ALLOCA(row*sizeof(int));
           for ( i = 0; i < row; i++ ) {
                   t = mat[i];
                   for ( j = 0; j < col && !t[j]; j++ );
                   /* register the position of the head term */
                   ind[i] = j;
                   for ( l = i-1; l >= 0; l-- ) {
                           /* reduce mat[i] by mat[l] */
                           if ( hc = t[ind[l]] ) {
                                   /* mat[i] = mat[i]-hc*mat[l] */
                                   j = ind[l];
                                   s = mat[l]+j;
                                   tj = t+j;
                                   hc = md-hc;
                                   k = col-j;
                                   for ( ; k >= 64; k -= 64 ) {
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                           ONE_STEP1 ONE_STEP1 ONE_STEP1 ONE_STEP1
                                   }
                                   for ( ; k >= 0; k-- ) {
                                           if ( zzz = *s ) { DMAR(zzz,hc,*tj,md,*tj) } tj++; s++;
                                   }
                           }
                   }
           }
   }
   
   /*
           mat[i] : reducers (i=0,...,nred-1)
                    spolys (i=nred,...,row-1)
           mat[0] < mat[1] < ... < mat[nred-1] w.r.t the term order
           1. reduce the reducers
           2. reduce spolys by the reduced reducers
   */
   
   void pre_reduce_mod(mat,row,col,nred,md)
   int **mat;
   int row,col,nred;
   int md;
   {
           int i,j,k,l,hc,inv;
           int *t,*s,*tk,*ind;
   
   #if 1
           /* reduce the reducers */
           ind = (int *)ALLOCA(row*sizeof(int));
           for ( i = 0; i < nred; i++ ) {
                   /* make mat[i] monic and mat[i] by mat[0],...,mat[i-1] */
                   t = mat[i];
                   for ( j = 0; j < col && !t[j]; j++ );
                   /* register the position of the head term */
                   ind[i] = j;
                   inv = invm(t[j],md);
                   for ( k = j; k < col; k++ )
                           if ( t[k] )
                                   DMAR(t[k],inv,0,md,t[k])
                   for ( l = i-1; l >= 0; l-- ) {
                           /* reduce mat[i] by mat[l] */
                           if ( hc = t[ind[l]] ) {
                                   /* mat[i] = mat[i]-hc*mat[l] */
                                   for ( k = ind[l], hc = md-hc, s = mat[l]+k, tk = t+k;
                                           k < col; k++, tk++, s++ )
                                           if ( *s )
                                                   DMAR(*s,hc,*tk,md,*tk)
                           }
                   }
           }
           /* reduce the spolys */
           for ( i = nred; i < row; i++ ) {
                   t = mat[i];
                   for ( l = nred-1; l >= 0; l-- ) {
                           /* reduce mat[i] by mat[l] */
                           if ( hc = t[ind[l]] ) {
                                   /* mat[i] = mat[i]-hc*mat[l] */
                                   for ( k = ind[l], hc = md-hc, s = mat[l]+k, tk = t+k;
                                           k < col; k++, tk++, s++ )
                                           if ( *s )
                                                   DMAR(*s,hc,*tk,md,*tk)
                           }
                   }
           }
   #endif
   }
   /*
           mat[i] : reducers (i=0,...,nred-1)
           mat[0] < mat[1] < ... < mat[nred-1] w.r.t the term order
   */
   
   void reduce_sp_by_red_mod(sp,redmat,ind,nred,col,md)
   int *sp,**redmat;
   int *ind;
   int nred,col;
   int md;
   {
           int i,j,k,hc,zzz;
           int *t,*s,*tj;
   
           /* reduce the spolys by redmat */
           for ( i = nred-1; i >= 0; i-- ) {
                   /* reduce sp by redmat[i] */
                   if ( hc = sp[ind[i]] ) {
                           /* sp = sp-hc*redmat[i] */
                           j = ind[i];
                           hc = md-hc;
                           s = redmat[i]+j;
                           tj = sp+j;
                           for ( k = col-j; k >= 0; k-- ) {
                                   if ( zzz = *s ) { DMAR(zzz,hc,*tj,md,*tj) } tj++; s++;
                           }
                   }
           }
   }
   
   /*
           mat[i] : compressed reducers (i=0,...,nred-1)
           mat[0] < mat[1] < ... < mat[nred-1] w.r.t the term order
   */
   
   void reduce_sp_by_red_mod_compress (sp,redmat,ind,nred,col,md)
   int *sp;
   CDP *redmat;
   int *ind;
   int nred,col;
   int md;
   {
           int i,j,k,hc,c,len;
           int *tj;
           CDP ri;
   
           /* reduce the spolys by redmat */
           for ( i = nred-1; i >= 0; i-- ) {
                   /* reduce sp by redmat[i] */
                   if ( hc = sp[ind[i]] ) {
                           /* sp = sp-hc*redmat[i] */
                           hc = md-hc;
                           ri = redmat[i];
                           len = ri->len;
                           for ( k = 0; k < len; k++ ) {
                                   j = ri->body[k].index;
                                   c = ri->body[k].c;
                                   tj = sp+j;
   #if 1
                                   DMAR(c,hc,*tj,md,*tj);
   #else
                                   *tj = ((hc*c)+(*tj))%md;
   #endif
                           }
                   }
           }
   }
   
   #define ONE_STEP2  if ( zzz = *pk ) { DMAR(zzz,a,*tk,md,*tk) } pk++; tk++;
   
 int generic_gauss_elim_mod(mat,row,col,md,colstat)  int generic_gauss_elim_mod(mat,row,col,md,colstat)
 int **mat;  int **mat;
 int row,col,md;  int row,col,md;
 int *colstat;  int *colstat;
 {  {
         int i,j,k,l,inv,a,rank;          int i,j,k,l,inv,a,rank,zzz;
         int *t,*pivot;          int *t,*pivot,*pk,*tk;
   
         for ( rank = 0, j = 0; j < col; j++ ) {          for ( rank = 0, j = 0; j < col; j++ ) {
                 for ( i = rank; i < row && !mat[i][j]; i++ );                  for ( i = rank; i < row && !mat[i][j]; i++ );
Line 1168  int *colstat;
Line 1457  int *colstat;
                 }                  }
                 pivot = mat[rank];                  pivot = mat[rank];
                 inv = invm(pivot[j],md);                  inv = invm(pivot[j],md);
                 for ( k = j; k < col; k++ )                  for ( k = j, pk = pivot+k; k < col; k++, pk++ )
                         if ( pivot[k] ) {                          if ( *pk ) {
                                 DMAR(pivot[k],inv,0,md,pivot[k])                                  DMAR(*pk,inv,0,md,*pk)
                         }                          }
                 for ( i = rank+1; i < row; i++ ) {                  for ( i = rank+1; i < row; i++ ) {
                         t = mat[i];                          t = mat[i];
                         if ( a = t[j] )                          if ( a = t[j] ) {
                                 for ( k = j, a = md - a; k < col; k++ )                                  a = md - a; pk = pivot+j; tk = t+j;
                                         if ( pivot[k] ) {                                  k = col-j;
                                                 DMAR(pivot[k],a,t[k],md,t[k])                                  for ( ; k >= 64; k -= 64 ) {
                                         }                                          ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                   }
                                   for ( ; k >= 0; k -- ) {
                                           if ( zzz = *pk ) { DMAR(zzz,a,*tk,md,*tk) } pk++; tk++;
                                   }
                           }
                 }                  }
                 rank++;                  rank++;
         }          }
Line 1187  int *colstat;
Line 1496  int *colstat;
                         pivot = mat[l];                          pivot = mat[l];
                         for ( i = 0; i < l; i++ ) {                          for ( i = 0; i < l; i++ ) {
                                 t = mat[i];                                  t = mat[i];
                                 if ( a = t[j] )                                  if ( a = t[j] ) {
                                         for ( k = j, a = md-a; k < col; k++ )                                          a = md-a; pk = pivot+j; tk = t+j;
                                                 if ( pivot[k] ) {                                          k = col-j;
                                                         DMAR(pivot[k],a,t[k],md,t[k])                                          for ( ; k >= 64; k -= 64 ) {
                                                 }                                          ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           ONE_STEP2 ONE_STEP2 ONE_STEP2 ONE_STEP2
                                           }
                                           for ( ; k >= 0; k -- ) {
                                                   if ( zzz = *pk ) { DMAR(zzz,a,*tk,md,*tk) } pk++; tk++;
                                           }
                                   }
                         }                          }
                         l--;                          l--;
                 }                  }
Line 1233  int *perm;
Line 1562  int *perm;
                                 DMAR(inv,m,0,md,t[k])                                  DMAR(inv,m,0,md,t[k])
                                 for ( j = k+1, m = md - t[k]; j < col; j++ )                                  for ( j = k+1, m = md - t[k]; j < col; j++ )
                                         if ( pivot[j] ) {                                          if ( pivot[j] ) {
                                                 DMAR(m,pivot[j],t[j],md,t[j])                                                  unsigned int tj;
   
                                                   DMAR(m,pivot[j],t[j],md,tj)
                                                   t[j] = tj;
                                         }                                          }
                         }                          }
                 }                  }
Line 1288  int **rinfo,**cinfo;
Line 1620  int **rinfo,**cinfo;
                                 DMAR(inv,m,0,md,t[k])                                  DMAR(inv,m,0,md,t[k])
                                 for ( j = k+1, m = md - t[k]; j < col; j++ )                                  for ( j = k+1, m = md - t[k]; j < col; j++ )
                                         if ( pivot[j] ) {                                          if ( pivot[j] ) {
                                                 DMAR(m,pivot[j],t[j],md,t[j])                                                  unsigned int tj;
                                                   DMAR(m,pivot[j],t[j],md,tj)
                                                   t[j] = tj;
                                         }                                          }
                         }                          }
                 }                  }
Line 2237  int row,col;
Line 2571  int row,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++ ) {
                         printnum(mat[i][j]); printf(" ");                          printnum((Num)mat[i][j]); printf(" ");
                 }                  }
                 printf("\n");                  printf("\n");
         }          }
Legend:
Removed from v.1.3  
changed lines
  Added in v.1.15
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>