[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.43 and 1.44

version 1.43, 2004/12/18 16:50:10 version 1.44, 2005/01/12 10:38:07
Line 45 
Line 45 
  * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,   * DEVELOPER SHALL HAVE NO LIABILITY IN CONNECTION WITH THE USE,
  * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.   * PERFORMANCE OR NON-PERFORMANCE OF THE SOFTWARE.
  *   *
  * $OpenXM: OpenXM_contrib2/asir2000/builtin/array.c,v 1.42 2004/12/13 23:04:16 noro Exp $   * $OpenXM: OpenXM_contrib2/asir2000/builtin/array.c,v 1.43 2004/12/18 16:50:10 saito Exp $
 */  */
 #include "ca.h"  #include "ca.h"
 #include "base.h"  #include "base.h"
Line 1178  int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn
Line 1178  int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn
         int ret;          int ret;
         struct oEGT eg_mul,eg_inv,eg_intrat,eg_check,tmp0,tmp1;          struct oEGT eg_mul,eg_inv,eg_intrat,eg_check,tmp0,tmp1;
         int period;          int period;
           int *wx,*ptr;
           int wxsize,nsize;
           N wn;
           Q wq;
   
         a0 = (Q **)mat->body;          a0 = (Q **)mat->body;
         row = mat->row; col = mat->col;          row = mat->row; col = mat->col;
Line 1227  int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn
Line 1231  int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn
                         init_eg(&eg_mul); init_eg(&eg_inv);                          init_eg(&eg_mul); init_eg(&eg_inv);
                         init_eg(&eg_check); init_eg(&eg_intrat);                          init_eg(&eg_check); init_eg(&eg_intrat);
                         period = F4_INTRAT_PERIOD;                          period = F4_INTRAT_PERIOD;
                         for ( q = ONE, count = 0; ; count++ ) {                          nsize = period;
                           wxsize = rank*ri*nsize;
                           wx = (int *)MALLOC_ATOMIC(wxsize*sizeof(int));
                           for ( i = 0; i < wxsize; i++ ) wx[i] = 0;
                           for ( q = ONE, count = 0; ; ) {
                                 if ( DP_Print > 3 )                                  if ( DP_Print > 3 )
                                         fprintf(stderr,"o");                                          fprintf(stderr,"o");
                                 /* wc = -b mod md */                                  /* wc = -b mod md */
                                   get_eg(&tmp0);
                                 for ( i = 0; i < rank; i++ )                                  for ( i = 0; i < rank; i++ )
                                         for ( j = 0, bi = b[i], wi = wc[i]; j < ri; j++ )                                          for ( j = 0, bi = b[i], wi = wc[i]; j < ri; j++ )
                                                 if ( u = (Q)bi[j] ) {                                                  if ( u = (Q)bi[j] ) {
Line 1240  int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn
Line 1249  int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn
                                                         wi[j] = t;                                                          wi[j] = t;
                                                 } else                                                  } else
                                                         wi[j] = 0;                                                          wi[j] = 0;
                                 /* wc = A^(-1)wc; wc is normalized */                                  /* wc = A^(-1)wc; wc is not normalized */
                                 get_eg(&tmp0);                                  solve_by_lu_mod(w,rank,md,wc,ri,0);
                                 solve_by_lu_mod(w,rank,md,wc,ri);                                  /* wx += q*wc */
                                 get_eg(&tmp1);                                  ptr = wx;
                                 add_eg(&eg_inv,&tmp0,&tmp1);  
                                 /* x = x-q*wc */  
                                 for ( i = 0; i < rank; i++ )                                  for ( i = 0; i < rank; i++ )
                                         for ( j = 0, xi = x[i], wi = wc[i]; j < ri; j++ ) {                                          for ( j = 0, wi = wc[i]; j < ri; j++ ) {
                                                 STOQ(wi[j],u); mulq(q,u,&s);                                                  if ( wi[j] )
                                                 subq(xi[j],s,&u); xi[j] = u;                                                          muln_1(BD(NM(q)),PL(NM(q)),wi[j],ptr);
                                                   ptr += nsize;
                                         }                                          }
                                   count++;
                                   get_eg(&tmp1);
                                   add_eg(&eg_inv,&tmp0,&tmp1);
                                 get_eg(&tmp0);                                  get_eg(&tmp0);
                                 for ( i = 0; i < rank; i++ )                                  for ( i = 0; i < rank; i++ )
                                         for ( j = 0; j < ri; j++ ) {                                          for ( j = 0; j < ri; j++ ) {
Line 1268  int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn
Line 1279  int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn
                                 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 % period) ) {                                  if ( count == period ) {
                                         get_eg(&tmp0);                                          get_eg(&tmp0);
                                           ptr = wx;
                                           for ( i = 0; i < rank; i++ )
                                                   for ( j = 0, xi = x[i]; j < ri;
                                                           j++, ptr += nsize ) {
                                                           for ( k = nsize-1; k >= 0 && !ptr[k]; k-- );
                                                           if ( k >= 0 ) {
                                                                   wn = NALLOC(k+1);
                                                                   PL(wn) = k+1;
                                                                   for ( l = 0; l <= k; l++ ) BD(wn)[l] = (unsigned int)ptr[l];
                                                                   NTOQ(wn,1,wq);
                                                                   subq(xi[j],wq,&u); xi[j] = u;
                                                           }
                                                   }
                                         ret = intmtoratm_q(xmat,NM(q),*nmmat,dn);                                          ret = intmtoratm_q(xmat,NM(q),*nmmat,dn);
                                         get_eg(&tmp1); add_eg(&eg_intrat,&tmp0,&tmp1);                                          get_eg(&tmp1); add_eg(&eg_intrat,&tmp0,&tmp1);
                                         if ( ret ) {                                          if ( ret ) {
Line 1292  int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn
Line 1316  int generic_gauss_elim_hensel(MAT mat,MAT *nmmat,Q *dn
                                                         }                                                          }
                                                         return rank;                                                          return rank;
                                                 }                                                  }
                                         } else                                          } else {
                                                 period *=2;                                                  period = period*3/2;
                                                   count = 0;
                                                   nsize += period;
                                                   wxsize += rank*ri*nsize;
                                                   wx = (int *)REALLOC(wx,wxsize*sizeof(int));
                                                   for ( i = 0; i < wxsize; i++ ) wx[i] = 0;
                                           }
                                 }                                  }
                         }                          }
         }          }
Line 1894  int find_lhs_and_lu_mod(unsigned int **a,int row,int c
Line 1924  int find_lhs_and_lu_mod(unsigned int **a,int row,int c
         b = a^(-1)b          b = a^(-1)b
  */   */
   
 void solve_by_lu_mod(int **a,int n,int md,int **b,int l)  void solve_by_lu_mod(int **a,int n,int md,int **b,int l,int normalize)
 {  {
         unsigned int *y,*c;          unsigned int *y,*c;
         int i,j,k;          int i,j,k;
Line 1927  void solve_by_lu_mod(int **a,int n,int md,int **b,int 
Line 1957  void solve_by_lu_mod(int **a,int n,int md,int **b,int 
                         DMAR(t,a[i][i],0,md,c[i])                          DMAR(t,a[i][i],0,md,c[i])
                 }                  }
                 /* copy c to b[.][k] with normalization */                  /* copy c to b[.][k] with normalization */
                 for ( i = 0; i < n; i++ )                  if ( normalize )
                         b[i][k] = (int)(c[i]>m2 ? c[i]-md : c[i]);                          for ( i = 0; i < n; i++ )
                                   b[i][k] = (int)(c[i]>m2 ? c[i]-md : c[i]);
                   else
                           for ( i = 0; i < n; i++ )
                                   b[i][k] = c[i];
         }          }
 }  }
   
Legend:
Removed from v.1.43  
changed lines
  Added in v.1.44
FreeBSD-CVSweb <freebsd-cvsweb@FreeBSD.org>