xref: /petsc/src/mat/impls/aij/seq/aijfact.c (revision 894a2336809cf3b0c4dbd07a3b854bbb22971d02)
1be1d678aSKris Buschelman #define PETSCMAT_DLL
2289bc588SBarry Smith 
3b377110cSBarry Smith 
47c4f633dSBarry Smith #include "../src/mat/impls/aij/seq/aij.h"
51393bc97SHong Zhang #include "petscbt.h"
67c4f633dSBarry Smith #include "../src/mat/utils/freespace.h"
73b2fbd54SBarry Smith 
8f6a26d55SMatthew Knepley EXTERN_C_BEGIN
94a2ae208SSatish Balay #undef __FUNCT__
104a2ae208SSatish Balay #define __FUNCT__ "MatOrdering_Flow_SeqAIJ"
118fa24674SBarry Smith /*
128fa24674SBarry Smith       Computes an ordering to get most of the large numerical values in the lower triangular part of the matrix
138fa24674SBarry Smith */
14dfbe8321SBarry Smith PetscErrorCode MatOrdering_Flow_SeqAIJ(Mat mat,const MatOrderingType type,IS *irow,IS *icol)
153b2fbd54SBarry Smith {
168fa24674SBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)mat->data;
178fa24674SBarry Smith   PetscErrorCode    ierr;
18889a8dedSBarry Smith   PetscInt          i,j,jj,k, kk,n = mat->rmap->n, current = 0, newcurrent = 0,*order;
198fa24674SBarry Smith   const PetscInt    *ai = a->i, *aj = a->j;
208fa24674SBarry Smith   const PetscScalar *aa = a->a;
218fa24674SBarry Smith   PetscTruth        *done;
22889a8dedSBarry Smith   PetscReal         best,past = 0,future;
233a40ed3dSBarry Smith 
248fa24674SBarry Smith   PetscFunctionBegin;
258fa24674SBarry Smith   /* pick initial row */
268fa24674SBarry Smith   best = -1;
278fa24674SBarry Smith   for (i=0; i<n; i++) {
288fa24674SBarry Smith     future = 0;
298fa24674SBarry Smith     for (j=ai[i]; j<ai[i+1]; j++) {
308fa24674SBarry Smith       if (aj[j] != i) future  += PetscAbsScalar(aa[j]); else past = PetscAbsScalar(aa[j]);
318fa24674SBarry Smith     }
328fa24674SBarry Smith     if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */
338fa24674SBarry Smith     if (past/future > best) {
348fa24674SBarry Smith       best = past/future;
358fa24674SBarry Smith       current = i;
368fa24674SBarry Smith     }
378fa24674SBarry Smith   }
388fa24674SBarry Smith 
398fa24674SBarry Smith   ierr = PetscMalloc(n*sizeof(PetscTruth),&done);CHKERRQ(ierr);
408fa24674SBarry Smith   ierr = PetscMalloc(n*sizeof(PetscInt),&order);CHKERRQ(ierr);
418fa24674SBarry Smith   ierr = PetscMemzero(done,n*sizeof(PetscTruth));CHKERRQ(ierr);
428fa24674SBarry Smith   order[0] = current;
438fa24674SBarry Smith   for (i=0; i<n-1; i++) {
448fa24674SBarry Smith     done[current] = PETSC_TRUE;
458fa24674SBarry Smith     best          = -1;
468fa24674SBarry Smith     /* loop over all neighbors of current pivot */
478fa24674SBarry Smith     for (j=ai[current]; j<ai[current+1]; j++) {
488fa24674SBarry Smith       jj = aj[j];
498fa24674SBarry Smith       if (done[jj]) continue;
508fa24674SBarry Smith       /* loop over columns of potential next row computing weights for below and above diagonal */
518fa24674SBarry Smith       past = future = 0.0;
528fa24674SBarry Smith       for (k=ai[jj]; k<ai[jj+1]; k++) {
538fa24674SBarry Smith         kk = aj[k];
548fa24674SBarry Smith         if (done[kk]) past += PetscAbsScalar(aa[k]);
558fa24674SBarry Smith         else if (kk != jj) future  += PetscAbsScalar(aa[k]);
568fa24674SBarry Smith       }
578fa24674SBarry Smith       if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */
588fa24674SBarry Smith       if (past/future > best) {
598fa24674SBarry Smith         best = past/future;
608fa24674SBarry Smith         newcurrent = jj;
618fa24674SBarry Smith       }
628fa24674SBarry Smith     }
638fa24674SBarry Smith     if (best == -1) { /* no neighbors to select from so select best of all that remain */
648fa24674SBarry Smith       best = -1;
658fa24674SBarry Smith       for (k=0; k<n; k++) {
668fa24674SBarry Smith         if (done[k]) continue;
678fa24674SBarry Smith         future = 0;
688fa24674SBarry Smith         past   = 0;
698fa24674SBarry Smith         for (j=ai[k]; j<ai[k+1]; j++) {
708fa24674SBarry Smith           kk = aj[j];
718fa24674SBarry Smith           if (done[kk]) past += PetscAbsScalar(aa[j]);
728fa24674SBarry Smith           else if (kk != k) future  += PetscAbsScalar(aa[j]);
738fa24674SBarry Smith         }
748fa24674SBarry Smith         if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */
758fa24674SBarry Smith         if (past/future > best) {
768fa24674SBarry Smith           best = past/future;
778fa24674SBarry Smith           newcurrent = k;
788fa24674SBarry Smith         }
798fa24674SBarry Smith       }
808fa24674SBarry Smith     }
818fa24674SBarry Smith     if (current == newcurrent) SETERRQ(PETSC_ERR_PLIB,"newcurrent cannot be current");
828fa24674SBarry Smith     current = newcurrent;
838fa24674SBarry Smith     order[i+1] = current;
848fa24674SBarry Smith   }
858fa24674SBarry Smith   ierr = ISCreateGeneral(PETSC_COMM_SELF,n,order,irow);CHKERRQ(ierr);
868fa24674SBarry Smith   *icol = *irow;
878fa24674SBarry Smith   ierr = PetscObjectReference((PetscObject)*irow);CHKERRQ(ierr);
888fa24674SBarry Smith   ierr = PetscFree(done);CHKERRQ(ierr);
898fa24674SBarry Smith   ierr = PetscFree(order);CHKERRQ(ierr);
90d64ed03dSBarry Smith   PetscFunctionReturn(0);
913b2fbd54SBarry Smith }
92f6a26d55SMatthew Knepley EXTERN_C_END
933b2fbd54SBarry Smith 
94e631078cSBarry Smith EXTERN_C_BEGIN
954a2ae208SSatish Balay #undef __FUNCT__
96db4efbfdSBarry Smith #define __FUNCT__ "MatGetFactorAvailable_seqaij_petsc"
97db4efbfdSBarry Smith PetscErrorCode MatGetFactorAvailable_seqaij_petsc(Mat A,MatFactorType ftype,PetscTruth *flg)
98db4efbfdSBarry Smith {
99db4efbfdSBarry Smith   PetscFunctionBegin;
100db4efbfdSBarry Smith   *flg = PETSC_TRUE;
101db4efbfdSBarry Smith   PetscFunctionReturn(0);
102db4efbfdSBarry Smith }
103db4efbfdSBarry Smith EXTERN_C_END
104db4efbfdSBarry Smith 
105db4efbfdSBarry Smith EXTERN_C_BEGIN
106db4efbfdSBarry Smith #undef __FUNCT__
107b24902e0SBarry Smith #define __FUNCT__ "MatGetFactor_seqaij_petsc"
108b24902e0SBarry Smith PetscErrorCode MatGetFactor_seqaij_petsc(Mat A,MatFactorType ftype,Mat *B)
109b24902e0SBarry Smith {
110d0f46423SBarry Smith   PetscInt           n = A->rmap->n;
111b24902e0SBarry Smith   PetscErrorCode     ierr;
112b24902e0SBarry Smith 
113b24902e0SBarry Smith   PetscFunctionBegin;
114b24902e0SBarry Smith   ierr = MatCreate(((PetscObject)A)->comm,B);CHKERRQ(ierr);
115b24902e0SBarry Smith   ierr = MatSetSizes(*B,n,n,n,n);CHKERRQ(ierr);
116599ef60dSHong Zhang   if (ftype == MAT_FACTOR_LU || ftype == MAT_FACTOR_ILU || ftype == MAT_FACTOR_ILUDT){
117b24902e0SBarry Smith     ierr = MatSetType(*B,MATSEQAIJ);CHKERRQ(ierr);
118db4efbfdSBarry Smith     (*B)->ops->ilufactorsymbolic = MatILUFactorSymbolic_SeqAIJ;
11935bd34faSBarry Smith     (*B)->ops->lufactorsymbolic  = MatLUFactorSymbolic_SeqAIJ;
1201da05e5aSHong Zhang     (*B)->ops->iludtfactor       = MatILUDTFactor_SeqAIJ;
121b24902e0SBarry Smith   } else if (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) {
122b24902e0SBarry Smith     ierr = MatSetType(*B,MATSEQSBAIJ);CHKERRQ(ierr);
123b24902e0SBarry Smith     ierr = MatSeqSBAIJSetPreallocation(*B,1,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
1245c9eb25fSBarry Smith     (*B)->ops->iccfactorsymbolic      = MatICCFactorSymbolic_SeqAIJ;
1255c9eb25fSBarry Smith     (*B)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqAIJ;
126b24902e0SBarry Smith   } else SETERRQ(PETSC_ERR_SUP,"Factor type not supported");
127db4efbfdSBarry Smith   (*B)->factor = ftype;
128b24902e0SBarry Smith   PetscFunctionReturn(0);
129b24902e0SBarry Smith }
130e631078cSBarry Smith EXTERN_C_END
131b24902e0SBarry Smith 
132b24902e0SBarry Smith #undef __FUNCT__
133b9617806SBarry Smith #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ"
1340481f469SBarry Smith PetscErrorCode MatLUFactorSymbolic_SeqAIJ(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
135289bc588SBarry Smith {
136416022c9SBarry Smith   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
137289bc588SBarry Smith   IS                 isicol;
1386849ba73SBarry Smith   PetscErrorCode     ierr;
1395d0c19d7SBarry Smith   const PetscInt     *r,*ic;
1405d0c19d7SBarry Smith   PetscInt           i,n=A->rmap->n,*ai=a->i,*aj=a->j;
1411393bc97SHong Zhang   PetscInt           *bi,*bj,*ajtmp;
1421393bc97SHong Zhang   PetscInt           *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im;
1439e046878SBarry Smith   PetscReal          f;
1444875ba38SHong Zhang   PetscInt           nlnk,*lnk,k,**bi_ptr;
145a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1461393bc97SHong Zhang   PetscBT            lnkbt;
147ce3d78c0SShri Abhyankar   PetscTruth         newdatastruct=PETSC_FALSE;
148289bc588SBarry Smith 
1493a40ed3dSBarry Smith   PetscFunctionBegin;
150ce3d78c0SShri Abhyankar   ierr = PetscOptionsGetTruth(PETSC_NULL,"-lu_new",&newdatastruct,PETSC_NULL);CHKERRQ(ierr);
151ce3d78c0SShri Abhyankar   if(newdatastruct){
152ce3d78c0SShri Abhyankar     ierr = MatLUFactorSymbolic_SeqAIJ_newdatastruct(B,A,isrow,iscol,info);CHKERRQ(ierr);
153ce3d78c0SShri Abhyankar     PetscFunctionReturn(0);
154ce3d78c0SShri Abhyankar   }
155ce3d78c0SShri Abhyankar 
156d0f46423SBarry Smith   if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square");
1574c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
158ac121b3dSBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
159ac121b3dSBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
160289bc588SBarry Smith 
161289bc588SBarry Smith   /* get new row pointers */
1621393bc97SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
1631393bc97SHong Zhang   bi[0] = 0;
1641393bc97SHong Zhang 
1651393bc97SHong Zhang   /* bdiag is location of diagonal in factor */
1661393bc97SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
1671393bc97SHong Zhang   bdiag[0] = 0;
1681393bc97SHong Zhang 
1691393bc97SHong Zhang   /* linked list for storing column indices of the active row */
1701393bc97SHong Zhang   nlnk = n + 1;
1711393bc97SHong Zhang   ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
1721393bc97SHong Zhang 
17335baf27eSSatish Balay   ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr);
1741393bc97SHong Zhang 
1751393bc97SHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
176d3d32019SBarry Smith   f = info->fill;
177a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
1781393bc97SHong Zhang   current_space = free_space;
179289bc588SBarry Smith 
180289bc588SBarry Smith   for (i=0; i<n; i++) {
1811393bc97SHong Zhang     /* copy previous fill into linked list */
182289bc588SBarry Smith     nzi = 0;
1831393bc97SHong Zhang     nnz = ai[r[i]+1] - ai[r[i]];
1843b4a8b6dSBarry Smith     if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i);
1851393bc97SHong Zhang     ajtmp = aj + ai[r[i]];
186afcc9904SHong Zhang     ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
1871393bc97SHong Zhang     nzi += nlnk;
1881393bc97SHong Zhang 
1891393bc97SHong Zhang     /* add pivot rows into linked list */
1901393bc97SHong Zhang     row = lnk[n];
1911393bc97SHong Zhang     while (row < i) {
192d1170560SHong Zhang       nzbd    = bdiag[row] - bi[row] + 1; /* num of entries in the row with column index <= row */
193d1170560SHong Zhang       ajtmp   = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */
194d1170560SHong Zhang       ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr);
1951393bc97SHong Zhang       nzi += nlnk;
1961393bc97SHong Zhang       row  = lnk[row];
197289bc588SBarry Smith     }
1981393bc97SHong Zhang     bi[i+1] = bi[i] + nzi;
1991393bc97SHong Zhang     im[i]   = nzi;
2001393bc97SHong Zhang 
2011393bc97SHong Zhang     /* mark bdiag */
2021393bc97SHong Zhang     nzbd = 0;
2031393bc97SHong Zhang     nnz  = nzi;
2041393bc97SHong Zhang     k    = lnk[n];
2051393bc97SHong Zhang     while (nnz-- && k < i){
2061393bc97SHong Zhang       nzbd++;
2071393bc97SHong Zhang       k = lnk[k];
2081393bc97SHong Zhang     }
2091393bc97SHong Zhang     bdiag[i] = bi[i] + nzbd;
2101393bc97SHong Zhang 
2111393bc97SHong Zhang     /* if free space is not available, make more free space */
2121393bc97SHong Zhang     if (current_space->local_remaining<nzi) {
2131393bc97SHong Zhang       nnz = (n - i)*nzi; /* estimated and max additional space needed */
214a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
2151393bc97SHong Zhang       reallocs++;
2161393bc97SHong Zhang     }
2171393bc97SHong Zhang 
2181393bc97SHong Zhang     /* copy data into free space, then initialize lnk */
2191393bc97SHong Zhang     ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
2201393bc97SHong Zhang     bi_ptr[i] = current_space->array;
2211393bc97SHong Zhang     current_space->array           += nzi;
2221393bc97SHong Zhang     current_space->local_used      += nzi;
2231393bc97SHong Zhang     current_space->local_remaining -= nzi;
224289bc588SBarry Smith   }
2256cf91177SBarry Smith #if defined(PETSC_USE_INFO)
226464e8d44SSatish Balay   if (ai[n] != 0) {
2271393bc97SHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
228ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
229ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
230ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr);
231ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
23205bf559cSSatish Balay   } else {
233ae15b995SBarry Smith     ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr);
23405bf559cSSatish Balay   }
23563ba0a88SBarry Smith #endif
2362fb3ed76SBarry Smith 
237898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
238898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
2391987afe7SBarry Smith 
2401393bc97SHong Zhang   /* destroy list of free space and other temporary array(s) */
2411393bc97SHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
242a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr);
2431393bc97SHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
24435baf27eSSatish Balay   ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr);
245289bc588SBarry Smith 
246289bc588SBarry Smith   /* put together the new matrix */
247719d5645SBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
248719d5645SBarry Smith   ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr);
249719d5645SBarry Smith   b    = (Mat_SeqAIJ*)(B)->data;
250e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
251e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
2527c922b88SBarry Smith   b->singlemalloc = PETSC_FALSE;
2531393bc97SHong Zhang   ierr          = PetscMalloc((bi[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
2541393bc97SHong Zhang   b->j          = bj;
2551393bc97SHong Zhang   b->i          = bi;
2561393bc97SHong Zhang   b->diag       = bdiag;
257416022c9SBarry Smith   b->ilen       = 0;
258416022c9SBarry Smith   b->imax       = 0;
259416022c9SBarry Smith   b->row        = isrow;
260416022c9SBarry Smith   b->col        = iscol;
261c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
262c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
26382bf6240SBarry Smith   b->icol       = isicol;
26487828ca2SBarry Smith   ierr          = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
2651393bc97SHong Zhang 
2661393bc97SHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.  Allocate solve_work, new a, new j */
267719d5645SBarry Smith   ierr = PetscLogObjectMemory(B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
2681393bc97SHong Zhang   b->maxnz = b->nz = bi[n] ;
2697fd98bd6SLois Curfman McInnes 
270719d5645SBarry Smith   (B)->factor                = MAT_FACTOR_LU;
271719d5645SBarry Smith   (B)->info.factor_mallocs   = reallocs;
272719d5645SBarry Smith   (B)->info.fill_ratio_given = f;
273703deb49SSatish Balay 
2749f7d0b68SHong Zhang   if (ai[n]) {
275719d5645SBarry Smith     (B)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]);
276eea2913aSSatish Balay   } else {
277719d5645SBarry Smith     (B)->info.fill_ratio_needed = 0.0;
278eea2913aSSatish Balay   }
279719d5645SBarry Smith   (B)->ops->lufactornumeric  = MatLUFactorNumeric_SeqAIJ;
280719d5645SBarry Smith   (B)->ops->solve            = MatSolve_SeqAIJ;
281719d5645SBarry Smith   (B)->ops->solvetranspose   = MatSolveTranspose_SeqAIJ;
282db4efbfdSBarry Smith   /* switch to inodes if appropriate */
283719d5645SBarry Smith   ierr = MatLUFactorSymbolic_Inode(B,A,isrow,iscol,info);CHKERRQ(ierr);
2843a40ed3dSBarry Smith   PetscFunctionReturn(0);
285289bc588SBarry Smith }
2861393bc97SHong Zhang 
287ce3d78c0SShri Abhyankar #undef __FUNCT__
288ce3d78c0SShri Abhyankar #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ_newdatastruct"
289ce3d78c0SShri Abhyankar PetscErrorCode MatLUFactorSymbolic_SeqAIJ_newdatastruct(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
290ce3d78c0SShri Abhyankar {
291ce3d78c0SShri Abhyankar   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
292ce3d78c0SShri Abhyankar   IS                 isicol;
293ce3d78c0SShri Abhyankar   PetscErrorCode     ierr;
294ce3d78c0SShri Abhyankar   const PetscInt     *r,*ic;
295ce3d78c0SShri Abhyankar   PetscInt           i,n=A->rmap->n,*ai=a->i,*aj=a->j;
296ce3d78c0SShri Abhyankar   PetscInt           *bi,*bj,*ajtmp;
297ce3d78c0SShri Abhyankar   PetscInt           *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im;
298ce3d78c0SShri Abhyankar   PetscReal          f;
299ce3d78c0SShri Abhyankar   PetscInt           nlnk,*lnk,k,**bi_ptr;
300ce3d78c0SShri Abhyankar   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
301ce3d78c0SShri Abhyankar   PetscBT            lnkbt;
302ce3d78c0SShri Abhyankar 
303ce3d78c0SShri Abhyankar   PetscFunctionBegin;
304ce3d78c0SShri Abhyankar   if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square");
305ce3d78c0SShri Abhyankar   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
306ce3d78c0SShri Abhyankar   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
307ce3d78c0SShri Abhyankar   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
308ce3d78c0SShri Abhyankar 
309ce3d78c0SShri Abhyankar   /* get new row pointers */
310ce3d78c0SShri Abhyankar   ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
311ce3d78c0SShri Abhyankar   bi[0] = 0;
312ce3d78c0SShri Abhyankar 
313ce3d78c0SShri Abhyankar   /* bdiag is location of diagonal in factor */
314ce3d78c0SShri Abhyankar   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
315ce3d78c0SShri Abhyankar   bdiag[0] = 0;
316ce3d78c0SShri Abhyankar 
317ce3d78c0SShri Abhyankar   /* linked list for storing column indices of the active row */
318ce3d78c0SShri Abhyankar   nlnk = n + 1;
319ce3d78c0SShri Abhyankar   ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
320ce3d78c0SShri Abhyankar 
321ce3d78c0SShri Abhyankar   ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr);
322ce3d78c0SShri Abhyankar 
323ce3d78c0SShri Abhyankar   /* initial FreeSpace size is f*(ai[n]+1) */
324ce3d78c0SShri Abhyankar   f = info->fill;
325ce3d78c0SShri Abhyankar   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
326ce3d78c0SShri Abhyankar   current_space = free_space;
327ce3d78c0SShri Abhyankar 
328ce3d78c0SShri Abhyankar   for (i=0; i<n; i++) {
329ce3d78c0SShri Abhyankar     /* copy previous fill into linked list */
330ce3d78c0SShri Abhyankar     nzi = 0;
331ce3d78c0SShri Abhyankar     nnz = ai[r[i]+1] - ai[r[i]];
332ce3d78c0SShri Abhyankar     if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i);
333ce3d78c0SShri Abhyankar     ajtmp = aj + ai[r[i]];
334ce3d78c0SShri Abhyankar     ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
335ce3d78c0SShri Abhyankar     nzi += nlnk;
336ce3d78c0SShri Abhyankar 
337ce3d78c0SShri Abhyankar     /* add pivot rows into linked list */
338ce3d78c0SShri Abhyankar     row = lnk[n];
339ce3d78c0SShri Abhyankar     while (row < i){
34070319c84SHong Zhang       nzbd  = bdiag[row] + 1; /* num of entries in the row with column index <= row */
341ce3d78c0SShri Abhyankar       ajtmp = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */
342ce3d78c0SShri Abhyankar       ierr  = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr);
343ce3d78c0SShri Abhyankar       nzi  += nlnk;
344ce3d78c0SShri Abhyankar       row   = lnk[row];
345ce3d78c0SShri Abhyankar     }
346ce3d78c0SShri Abhyankar     bi[i+1] = bi[i] + nzi;
347ce3d78c0SShri Abhyankar     im[i]   = nzi;
348ce3d78c0SShri Abhyankar 
349ce3d78c0SShri Abhyankar     /* mark bdiag */
350ce3d78c0SShri Abhyankar     nzbd = 0;
351ce3d78c0SShri Abhyankar     nnz  = nzi;
352ce3d78c0SShri Abhyankar     k    = lnk[n];
353ce3d78c0SShri Abhyankar     while (nnz-- && k < i){
354ce3d78c0SShri Abhyankar       nzbd++;
355ce3d78c0SShri Abhyankar       k = lnk[k];
356ce3d78c0SShri Abhyankar     }
35770319c84SHong Zhang     bdiag[i] = nzbd; /* note: bdiag[i] = nnzL as input for PetscFreeSpaceContiguous_newdatastruct() */
358ce3d78c0SShri Abhyankar 
359ce3d78c0SShri Abhyankar     /* if free space is not available, make more free space */
360ce3d78c0SShri Abhyankar     if (current_space->local_remaining<nzi) {
361ce3d78c0SShri Abhyankar       nnz = 2*(n - i)*nzi; /* estimated and max additional space needed */
362ce3d78c0SShri Abhyankar       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
363ce3d78c0SShri Abhyankar       reallocs++;
364ce3d78c0SShri Abhyankar     }
365ce3d78c0SShri Abhyankar 
366ce3d78c0SShri Abhyankar     /* copy data into free space, then initialize lnk */
367ce3d78c0SShri Abhyankar     ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
368ce3d78c0SShri Abhyankar     bi_ptr[i] = current_space->array;
369ce3d78c0SShri Abhyankar     current_space->array           += nzi;
370ce3d78c0SShri Abhyankar     current_space->local_used      += nzi;
371ce3d78c0SShri Abhyankar     current_space->local_remaining -= nzi;
372ce3d78c0SShri Abhyankar   }
373ce3d78c0SShri Abhyankar #if defined(PETSC_USE_INFO)
374ce3d78c0SShri Abhyankar   if (ai[n] != 0) {
375ce3d78c0SShri Abhyankar     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
376ce3d78c0SShri Abhyankar     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
377ce3d78c0SShri Abhyankar     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
378ce3d78c0SShri Abhyankar     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr);
379ce3d78c0SShri Abhyankar     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
380ce3d78c0SShri Abhyankar   } else {
381ce3d78c0SShri Abhyankar     ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr);
382ce3d78c0SShri Abhyankar   }
383ce3d78c0SShri Abhyankar #endif
384ce3d78c0SShri Abhyankar 
385ce3d78c0SShri Abhyankar   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
386ce3d78c0SShri Abhyankar   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
387ce3d78c0SShri Abhyankar 
388ce3d78c0SShri Abhyankar   /* destroy list of free space and other temporary array(s) */
389ce3d78c0SShri Abhyankar   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
390ce3d78c0SShri Abhyankar   ierr = PetscFreeSpaceContiguous_newdatastruct(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr);
391ce3d78c0SShri Abhyankar   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
392ce3d78c0SShri Abhyankar   ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr);
393ce3d78c0SShri Abhyankar 
394ce3d78c0SShri Abhyankar   /* put together the new matrix */
395ce3d78c0SShri Abhyankar   ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
396ce3d78c0SShri Abhyankar   ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr);
397ce3d78c0SShri Abhyankar   b    = (Mat_SeqAIJ*)(B)->data;
398ce3d78c0SShri Abhyankar   b->free_a       = PETSC_TRUE;
399ce3d78c0SShri Abhyankar   b->free_ij      = PETSC_TRUE;
400ce3d78c0SShri Abhyankar   b->singlemalloc = PETSC_FALSE;
401ce3d78c0SShri Abhyankar   ierr          = PetscMalloc((bi[2*n+1])*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
402ce3d78c0SShri Abhyankar   b->j          = bj;
403ce3d78c0SShri Abhyankar   b->i          = bi;
404ce3d78c0SShri Abhyankar   b->diag       = bdiag;
405ce3d78c0SShri Abhyankar   b->ilen       = 0;
406ce3d78c0SShri Abhyankar   b->imax       = 0;
407ce3d78c0SShri Abhyankar   b->row        = isrow;
408ce3d78c0SShri Abhyankar   b->col        = iscol;
409ce3d78c0SShri Abhyankar   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
410ce3d78c0SShri Abhyankar   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
411ce3d78c0SShri Abhyankar   b->icol       = isicol;
412ce3d78c0SShri Abhyankar   ierr          = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
413ce3d78c0SShri Abhyankar 
414ce3d78c0SShri Abhyankar   /* In b structure:  Free imax, ilen, old a, old j.  Allocate solve_work, new a, new j */
415ce3d78c0SShri Abhyankar   ierr = PetscLogObjectMemory(B,bi[2*n+1]*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
416ce3d78c0SShri Abhyankar   b->maxnz = b->nz = bi[2*n+1] ;
417ce3d78c0SShri Abhyankar 
418ce3d78c0SShri Abhyankar   (B)->factor                = MAT_FACTOR_LU;
419ce3d78c0SShri Abhyankar   (B)->info.factor_mallocs   = reallocs;
420ce3d78c0SShri Abhyankar   (B)->info.fill_ratio_given = f;
421ce3d78c0SShri Abhyankar 
422ce3d78c0SShri Abhyankar   if (ai[n]) {
423*894a2336SHong Zhang     (B)->info.fill_ratio_needed = ((PetscReal)bi[2*n+1])/((PetscReal)ai[n]);
424ce3d78c0SShri Abhyankar   } else {
425ce3d78c0SShri Abhyankar     (B)->info.fill_ratio_needed = 0.0;
426ce3d78c0SShri Abhyankar   }
427ce3d78c0SShri Abhyankar   (B)->ops->lufactornumeric  = MatLUFactorNumeric_SeqAIJ_newdatastruct;
428ce3d78c0SShri Abhyankar   PetscFunctionReturn(0);
429ce3d78c0SShri Abhyankar }
430ce3d78c0SShri Abhyankar 
4315b5bc046SBarry Smith /*
4325b5bc046SBarry Smith     Trouble in factorization, should we dump the original matrix?
4335b5bc046SBarry Smith */
4345b5bc046SBarry Smith #undef __FUNCT__
4355b5bc046SBarry Smith #define __FUNCT__ "MatFactorDumpMatrix"
4365b5bc046SBarry Smith PetscErrorCode MatFactorDumpMatrix(Mat A)
4375b5bc046SBarry Smith {
4385b5bc046SBarry Smith   PetscErrorCode ierr;
43990d69ab7SBarry Smith   PetscTruth     flg = PETSC_FALSE;
4405b5bc046SBarry Smith 
4415b5bc046SBarry Smith   PetscFunctionBegin;
44290d69ab7SBarry Smith   ierr = PetscOptionsGetTruth(PETSC_NULL,"-mat_factor_dump_on_error",&flg,PETSC_NULL);CHKERRQ(ierr);
4435b5bc046SBarry Smith   if (flg) {
4445b5bc046SBarry Smith     PetscViewer viewer;
4455b5bc046SBarry Smith     char        filename[PETSC_MAX_PATH_LEN];
4465b5bc046SBarry Smith 
4475b5bc046SBarry Smith     ierr = PetscSNPrintf(filename,PETSC_MAX_PATH_LEN,"matrix_factor_error.%d",PetscGlobalRank);CHKERRQ(ierr);
4487adad957SLisandro Dalcin     ierr = PetscViewerBinaryOpen(((PetscObject)A)->comm,filename,FILE_MODE_WRITE,&viewer);CHKERRQ(ierr);
4495b5bc046SBarry Smith     ierr = MatView(A,viewer);CHKERRQ(ierr);
4505b5bc046SBarry Smith     ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr);
4515b5bc046SBarry Smith   }
4525b5bc046SBarry Smith   PetscFunctionReturn(0);
4535b5bc046SBarry Smith }
4545b5bc046SBarry Smith 
455db4efbfdSBarry Smith extern PetscErrorCode MatSolve_Inode(Mat,Vec,Vec);
456db4efbfdSBarry Smith 
4570a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
458*894a2336SHong Zhang extern PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_newdatastruct(Mat,Vec,Vec);
459*894a2336SHong Zhang extern PetscErrorCode MatSolve_SeqAIJ_newdatastruct(Mat,Vec,Vec);
460c9c72f8fSHong Zhang 
461c9c72f8fSHong Zhang #undef __FUNCT__
462c9c72f8fSHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_newdatastruct"
463c9c72f8fSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqAIJ_newdatastruct(Mat B,Mat A,const MatFactorInfo *info)
464c9c72f8fSHong Zhang {
465c9c72f8fSHong Zhang   Mat            C=B;
466c9c72f8fSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data;
467c9c72f8fSHong Zhang   IS             isrow = b->row,isicol = b->icol;
468c9c72f8fSHong Zhang   PetscErrorCode ierr;
469c9c72f8fSHong Zhang   const PetscInt *r,*ic,*ics;
470c9c72f8fSHong Zhang   PetscInt       i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
471c9c72f8fSHong Zhang   PetscInt       *ajtmp,*bjtmp,nz,nzL,row,*bdiag=b->diag,*pj;
472c9c72f8fSHong Zhang   MatScalar      *rtmp,*pc,multiplier,*v,*pv,*aa=a->a;
473c9c72f8fSHong Zhang   PetscReal      shift=info->shiftinblocks;
474c9c72f8fSHong Zhang   PetscTruth     row_identity, col_identity;
475c9c72f8fSHong Zhang 
476c9c72f8fSHong Zhang   PetscFunctionBegin;
477c9c72f8fSHong Zhang   /* printf("MatLUFactorNumeric_SeqAIJ_newdatastruct is called ...\n"); */
478c9c72f8fSHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
479c9c72f8fSHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
480c9c72f8fSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
481c9c72f8fSHong Zhang   ics  = ic;
482c9c72f8fSHong Zhang 
483c9c72f8fSHong Zhang   for (i=0; i<n; i++){
484c9c72f8fSHong Zhang     /* zero rtmp */
485c9c72f8fSHong Zhang     /* L part */
486c9c72f8fSHong Zhang     nz    = bi[i+1] - bi[i];
487c9c72f8fSHong Zhang     bjtmp = bj + bi[i];
488c9c72f8fSHong Zhang     for  (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0;
489c9c72f8fSHong Zhang 
490c9c72f8fSHong Zhang     /* U part */
4918fc3a347SHong Zhang     nz = bi[2*n-i+1] - bi[2*n-i];
4928fc3a347SHong Zhang     bjtmp = bj + bi[2*n-i];
493c9c72f8fSHong Zhang     for  (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0;
494c9c72f8fSHong Zhang 
495c9c72f8fSHong Zhang     /* load in initial (unfactored row) */
496c9c72f8fSHong Zhang     nz    = ai[r[i]+1] - ai[r[i]];
497c9c72f8fSHong Zhang     ajtmp = aj + ai[r[i]];
498c9c72f8fSHong Zhang     v     = aa + ai[r[i]];
499c9c72f8fSHong Zhang     for (j=0; j<nz; j++) {
500c9c72f8fSHong Zhang       rtmp[ics[ajtmp[j]]] = v[j];
501c9c72f8fSHong Zhang     }
502c9c72f8fSHong Zhang     if (rtmp[ics[r[i]]] == 0.0){
503c9c72f8fSHong Zhang       rtmp[ics[r[i]]] += shift; /* shift the diagonal of the matrix */
504c9c72f8fSHong Zhang       /* printf("row %d, shift %g\n",i,shift); */
505c9c72f8fSHong Zhang     }
506c9c72f8fSHong Zhang 
507c9c72f8fSHong Zhang     /* elimination */
508c9c72f8fSHong Zhang     bjtmp = bj + bi[i];
509c9c72f8fSHong Zhang     row   = *bjtmp++;
510c9c72f8fSHong Zhang     nzL   = bi[i+1] - bi[i];
511c9c72f8fSHong Zhang     k   = 0;
512c9c72f8fSHong Zhang     while  (k < nzL) {
513c9c72f8fSHong Zhang       pc = rtmp + row;
514c9c72f8fSHong Zhang       if (*pc != 0.0) {
515c9c72f8fSHong Zhang         pv         = b->a + bdiag[row];
516c9c72f8fSHong Zhang         multiplier = *pc * (*pv);
517c9c72f8fSHong Zhang         *pc        = multiplier;
5188fc3a347SHong Zhang         pj         = b->j + bi[2*n-row]; /* begining of U(row,:) */
5198fc3a347SHong Zhang         pv         = b->a + bi[2*n-row];
5208fc3a347SHong Zhang         nz         = bi[2*n-row+1] - bi[2*n-row] - 1; /* num of entries in U(row,:), excluding diag */
521c9c72f8fSHong Zhang         for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
522c9c72f8fSHong Zhang         ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
523c9c72f8fSHong Zhang       }
524c9c72f8fSHong Zhang       row = *bjtmp++; k++;
525c9c72f8fSHong Zhang     }
526c9c72f8fSHong Zhang 
527c9c72f8fSHong Zhang     /* finished row so stick it into b->a */
528c9c72f8fSHong Zhang     /* L part */
529c9c72f8fSHong Zhang     pv   = b->a + bi[i] ;
530c9c72f8fSHong Zhang     pj   = b->j + bi[i] ;
531c9c72f8fSHong Zhang     nz   = bi[i+1] - bi[i];
532c9c72f8fSHong Zhang     for (j=0; j<nz; j++) {
533c9c72f8fSHong Zhang       pv[j] = rtmp[pj[j]];
534c9c72f8fSHong Zhang     }
535c9c72f8fSHong Zhang 
536c9c72f8fSHong Zhang     /* Mark diagonal and invert diagonal for simplier triangular solves */
537c9c72f8fSHong Zhang     pv  = b->a + bdiag[i];
538c9c72f8fSHong Zhang     pj  = b->j + bdiag[i];
539c9c72f8fSHong Zhang     /* if (*pj != i)SETERRQ2(PETSC_ERR_SUP,"row %d != *pj %d",i,*pj) */
540c9c72f8fSHong Zhang     *pv = 1.0/rtmp[*pj];
541c9c72f8fSHong Zhang 
542c9c72f8fSHong Zhang     /* U part */
5438fc3a347SHong Zhang     pv = b->a + bi[2*n-i];
5448fc3a347SHong Zhang     pj = b->j + bi[2*n-i];
5458fc3a347SHong Zhang     nz = bi[2*n-i+1] - bi[2*n-i] - 1;
5468fc3a347SHong Zhang     for (j=0; j<nz; j++) pv[j] = rtmp[pj[j]];
547c9c72f8fSHong Zhang   }
548c9c72f8fSHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
549c9c72f8fSHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
550c9c72f8fSHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
551c9c72f8fSHong Zhang 
552c9c72f8fSHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
553c9c72f8fSHong Zhang   ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr);
554c9c72f8fSHong Zhang   if (row_identity && col_identity) {
555*894a2336SHong Zhang     C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_newdatastruct;
556c9c72f8fSHong Zhang   } else {
557*894a2336SHong Zhang     C->ops->solve = MatSolve_SeqAIJ_newdatastruct;
558c9c72f8fSHong Zhang   }
559c9c72f8fSHong Zhang 
560c9c72f8fSHong Zhang   C->ops->solveadd           = 0;
561c9c72f8fSHong Zhang   C->ops->solvetranspose     = 0;
562c9c72f8fSHong Zhang   C->ops->solvetransposeadd  = 0;
563c9c72f8fSHong Zhang   C->ops->matsolve           = 0;
564c9c72f8fSHong Zhang   C->assembled    = PETSC_TRUE;
565c9c72f8fSHong Zhang   C->preallocated = PETSC_TRUE;
566c9c72f8fSHong Zhang   ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
567c9c72f8fSHong Zhang   PetscFunctionReturn(0);
568c9c72f8fSHong Zhang }
569c9c72f8fSHong Zhang 
5704a2ae208SSatish Balay #undef __FUNCT__
5714a2ae208SSatish Balay #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ"
5720481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info)
573289bc588SBarry Smith {
574719d5645SBarry Smith   Mat             C=B;
575416022c9SBarry Smith   Mat_SeqAIJ      *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data;
57682bf6240SBarry Smith   IS              isrow = b->row,isicol = b->icol;
5776849ba73SBarry Smith   PetscErrorCode  ierr;
5785d0c19d7SBarry Smith   const PetscInt   *r,*ic,*ics;
579d278edc7SBarry Smith   PetscInt        nz,row,i,j,n=A->rmap->n,diag;
580d278edc7SBarry Smith   const PetscInt  *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
581d278edc7SBarry Smith   const PetscInt  *ajtmp,*bjtmp,*diag_offset = b->diag,*pj;
582d278edc7SBarry Smith   MatScalar       *pv,*rtmp,*pc,multiplier,d;
583d278edc7SBarry Smith   const MatScalar *v,*aa=a->a;
58433f9893dSHong Zhang   PetscReal       rs=0.0;
585b3bf805bSHong Zhang   LUShift_Ctx     sctx;
58642898933SHong Zhang   PetscInt        newshift,*ddiag;
587289bc588SBarry Smith 
5883a40ed3dSBarry Smith   PetscFunctionBegin;
58978b31e54SBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
59078b31e54SBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
591b78a477dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
5929f7d0b68SHong Zhang   ics  = ic;
593289bc588SBarry Smith 
594ada7143aSSatish Balay   sctx.shift_top      = 0;
595ada7143aSSatish Balay   sctx.nshift_max     = 0;
596ada7143aSSatish Balay   sctx.shift_lo       = 0;
597ada7143aSSatish Balay   sctx.shift_hi       = 0;
5980481f469SBarry Smith   sctx.shift_fraction = 0;
599ada7143aSSatish Balay 
600118f5789SBarry Smith   /* if both shift schemes are chosen by user, only use info->shiftpd */
6011a890ab1SHong Zhang   if (info->shiftpd) { /* set sctx.shift_top=max{rs} */
60242898933SHong Zhang     ddiag          = a->diag;
6039f7d0b68SHong Zhang     sctx.shift_top = info->zeropivot;
6046cc28720Svictorle     for (i=0; i<n; i++) {
6059f95998fSHong Zhang       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
6069f7d0b68SHong Zhang       d  = (aa)[ddiag[i]];
6071a890ab1SHong Zhang       rs = -PetscAbsScalar(d) - PetscRealPart(d);
6089f7d0b68SHong Zhang       v  = aa+ai[i];
6099f7d0b68SHong Zhang       nz = ai[i+1] - ai[i];
610e24cfe64SHong Zhang       for (j=0; j<nz; j++)
6111a890ab1SHong Zhang 	rs += PetscAbsScalar(v[j]);
6121a890ab1SHong Zhang       if (rs>sctx.shift_top) sctx.shift_top = rs;
6136cc28720Svictorle     }
614118f5789SBarry Smith     sctx.shift_top   *= 1.1;
615d2276718SHong Zhang     sctx.nshift_max   = 5;
616d2276718SHong Zhang     sctx.shift_lo     = 0.;
617d2276718SHong Zhang     sctx.shift_hi     = 1.;
618a0a356efSHong Zhang   }
619a0a356efSHong Zhang 
6209f7d0b68SHong Zhang   sctx.shift_amount = 0.0;
621a0a356efSHong Zhang   sctx.nshift       = 0;
622085256b3SBarry Smith   do {
623d2276718SHong Zhang     sctx.lushift = PETSC_FALSE;
624289bc588SBarry Smith     for (i=0; i<n; i++){
625b3bf805bSHong Zhang       nz    = bi[i+1] - bi[i];
626b3bf805bSHong Zhang       bjtmp = bj + bi[i];
6279f7d0b68SHong Zhang       for  (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0;
628289bc588SBarry Smith 
629289bc588SBarry Smith       /* load in initial (unfactored row) */
6309f7d0b68SHong Zhang       nz    = ai[r[i]+1] - ai[r[i]];
6319f7d0b68SHong Zhang       ajtmp = aj + ai[r[i]];
6329f7d0b68SHong Zhang       v     = aa + ai[r[i]];
633085256b3SBarry Smith       for (j=0; j<nz; j++) {
634b3bf805bSHong Zhang         rtmp[ics[ajtmp[j]]] = v[j];
635085256b3SBarry Smith       }
636d2276718SHong Zhang       rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */
637bd1bc851SBarry Smith       /* if (sctx.shift_amount > 0.0) printf("row %d, shift %g\n",i,sctx.shift_amount); */
638289bc588SBarry Smith 
639b3bf805bSHong Zhang       row = *bjtmp++;
640f2582111SSatish Balay       while  (row < i) {
6418c37ef55SBarry Smith         pc = rtmp + row;
6428c37ef55SBarry Smith         if (*pc != 0.0) {
643010a20caSHong Zhang           pv         = b->a + diag_offset[row];
644010a20caSHong Zhang           pj         = b->j + diag_offset[row] + 1;
64535aab85fSBarry Smith           multiplier = *pc / *pv++;
6468c37ef55SBarry Smith           *pc        = multiplier;
647b3bf805bSHong Zhang           nz         = bi[row+1] - diag_offset[row] - 1;
6489f7d0b68SHong Zhang           for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
649dc0b31edSSatish Balay           ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
650289bc588SBarry Smith         }
651b3bf805bSHong Zhang         row = *bjtmp++;
652289bc588SBarry Smith       }
653416022c9SBarry Smith       /* finished row so stick it into b->a */
654b3bf805bSHong Zhang       pv   = b->a + bi[i] ;
655b3bf805bSHong Zhang       pj   = b->j + bi[i] ;
656b3bf805bSHong Zhang       nz   = bi[i+1] - bi[i];
657b3bf805bSHong Zhang       diag = diag_offset[i] - bi[i];
658e57ff13aSBarry Smith       rs   = 0.0;
659d3d32019SBarry Smith       for (j=0; j<nz; j++) {
6609f7d0b68SHong Zhang         pv[j] = rtmp[pj[j]];
6619f7d0b68SHong Zhang         rs   += PetscAbsScalar(pv[j]);
662d3d32019SBarry Smith       }
663e57ff13aSBarry Smith       rs   -= PetscAbsScalar(pv[diag]);
664d2276718SHong Zhang 
665b3bf805bSHong Zhang       /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */
666d2276718SHong Zhang       sctx.rs  = rs;
667d2276718SHong Zhang       sctx.pv  = pv[diag];
668c6b1f410SHong Zhang       ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr);
6695b5bc046SBarry Smith       if (newshift == 1) break;
67035aab85fSBarry Smith     }
671d2276718SHong Zhang 
6720481f469SBarry Smith     if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
6736cc28720Svictorle       /*
6746c037d1bSvictorle        * if no shift in this attempt & shifting & started shifting & can refine,
6756cc28720Svictorle        * then try lower shift
6766cc28720Svictorle        */
6770481f469SBarry Smith       sctx.shift_hi       = sctx.shift_fraction;
6780481f469SBarry Smith       sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
6790481f469SBarry Smith       sctx.shift_amount   = sctx.shift_fraction * sctx.shift_top;
680d2276718SHong Zhang       sctx.lushift        = PETSC_TRUE;
681d2276718SHong Zhang       sctx.nshift++;
6826cc28720Svictorle     }
683d2276718SHong Zhang   } while (sctx.lushift);
6840f11f9aeSSatish Balay 
68535aab85fSBarry Smith   /* invert diagonal entries for simplier triangular solves */
68635aab85fSBarry Smith   for (i=0; i<n; i++) {
687010a20caSHong Zhang     b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]];
68835aab85fSBarry Smith   }
689606d414cSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
69078b31e54SBarry Smith   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
69178b31e54SBarry Smith   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
692db4efbfdSBarry Smith   if (b->inode.use) {
693db4efbfdSBarry Smith     C->ops->solve   = MatSolve_Inode;
694db4efbfdSBarry Smith   } else {
6958d8c7c43SBarry Smith     PetscTruth row_identity, col_identity;
6968d8c7c43SBarry Smith     ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
6978d8c7c43SBarry Smith     ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr);
6988d8c7c43SBarry Smith     if (row_identity && col_identity) {
6998d8c7c43SBarry Smith       C->ops->solve   = MatSolve_SeqAIJ_NaturalOrdering;
7008d8c7c43SBarry Smith     } else {
701db4efbfdSBarry Smith       C->ops->solve   = MatSolve_SeqAIJ;
702db4efbfdSBarry Smith     }
7038d8c7c43SBarry Smith   }
704db4efbfdSBarry Smith   C->ops->solveadd           = MatSolveAdd_SeqAIJ;
705db4efbfdSBarry Smith   C->ops->solvetranspose     = MatSolveTranspose_SeqAIJ;
706db4efbfdSBarry Smith   C->ops->solvetransposeadd  = MatSolveTransposeAdd_SeqAIJ;
707de26497bSBarry Smith   C->ops->matsolve           = MatMatSolve_SeqAIJ;
708c456f294SBarry Smith   C->assembled    = PETSC_TRUE;
7095c9eb25fSBarry Smith   C->preallocated = PETSC_TRUE;
710d0f46423SBarry Smith   ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
711d2276718SHong Zhang   if (sctx.nshift){
712e738e422SBarry Smith      if (info->shiftpd) {
7130481f469SBarry Smith       ierr = PetscInfo4(A,"number of shift_pd tries %D, shift_amount %G, diagonal shifted up by %e fraction top_value %e\n",sctx.nshift,sctx.shift_amount,sctx.shift_fraction,sctx.shift_top);CHKERRQ(ierr);
714e738e422SBarry Smith     } else if (info->shiftnz) {
715e738e422SBarry Smith       ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
7166cc28720Svictorle     }
7170697b6caSHong Zhang   }
7183a40ed3dSBarry Smith   PetscFunctionReturn(0);
719289bc588SBarry Smith }
7200889b5dcSvictorle 
721137fb511SHong Zhang /*
722137fb511SHong Zhang    This routine implements inplace ILU(0) with row or/and column permutations.
723137fb511SHong Zhang    Input:
724137fb511SHong Zhang      A - original matrix
725137fb511SHong Zhang    Output;
726137fb511SHong Zhang      A - a->i (rowptr) is same as original rowptr, but factored i-the row is stored in rowperm[i]
727137fb511SHong Zhang          a->j (col index) is permuted by the inverse of colperm, then sorted
728137fb511SHong Zhang          a->a reordered accordingly with a->j
729137fb511SHong Zhang          a->diag (ptr to diagonal elements) is updated.
730137fb511SHong Zhang */
731137fb511SHong Zhang #undef __FUNCT__
732137fb511SHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_InplaceWithPerm"
7330481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ_InplaceWithPerm(Mat B,Mat A,const MatFactorInfo *info)
734137fb511SHong Zhang {
735b051339dSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data;
736b051339dSHong Zhang   IS             isrow = a->row,isicol = a->icol;
737137fb511SHong Zhang   PetscErrorCode ierr;
7385d0c19d7SBarry Smith   const PetscInt *r,*ic,*ics;
7395d0c19d7SBarry Smith   PetscInt       i,j,n=A->rmap->n,*ai=a->i,*aj=a->j;
7405d0c19d7SBarry Smith   PetscInt       *ajtmp,nz,row;
741b051339dSHong Zhang   PetscInt       *diag = a->diag,nbdiag,*pj;
742a77337e4SBarry Smith   PetscScalar    *rtmp,*pc,multiplier,d;
743a77337e4SBarry Smith   MatScalar      *v,*pv;
744137fb511SHong Zhang   PetscReal      rs;
745137fb511SHong Zhang   LUShift_Ctx    sctx;
746b051339dSHong Zhang   PetscInt       newshift;
747137fb511SHong Zhang 
748137fb511SHong Zhang   PetscFunctionBegin;
749719d5645SBarry Smith   if (A != B) SETERRQ(PETSC_ERR_ARG_INCOMP,"input and output matrix must have same address");
750137fb511SHong Zhang   ierr  = ISGetIndices(isrow,&r);CHKERRQ(ierr);
751137fb511SHong Zhang   ierr  = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
752137fb511SHong Zhang   ierr  = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr);
753137fb511SHong Zhang   ierr  = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
754b051339dSHong Zhang   ics = ic;
755137fb511SHong Zhang 
756137fb511SHong Zhang   sctx.shift_top      = 0;
757137fb511SHong Zhang   sctx.nshift_max     = 0;
758137fb511SHong Zhang   sctx.shift_lo       = 0;
759137fb511SHong Zhang   sctx.shift_hi       = 0;
7600481f469SBarry Smith   sctx.shift_fraction = 0;
761137fb511SHong Zhang 
762137fb511SHong Zhang   /* if both shift schemes are chosen by user, only use info->shiftpd */
763137fb511SHong Zhang   if (info->shiftpd) { /* set sctx.shift_top=max{rs} */
764137fb511SHong Zhang     sctx.shift_top = 0;
765137fb511SHong Zhang     for (i=0; i<n; i++) {
766137fb511SHong Zhang       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
767b051339dSHong Zhang       d  = (a->a)[diag[i]];
768137fb511SHong Zhang       rs = -PetscAbsScalar(d) - PetscRealPart(d);
769b051339dSHong Zhang       v  = a->a+ai[i];
770b051339dSHong Zhang       nz = ai[i+1] - ai[i];
771137fb511SHong Zhang       for (j=0; j<nz; j++)
772137fb511SHong Zhang 	rs += PetscAbsScalar(v[j]);
773137fb511SHong Zhang       if (rs>sctx.shift_top) sctx.shift_top = rs;
774137fb511SHong Zhang     }
775137fb511SHong Zhang     if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot;
776137fb511SHong Zhang     sctx.shift_top    *= 1.1;
777137fb511SHong Zhang     sctx.nshift_max   = 5;
778137fb511SHong Zhang     sctx.shift_lo     = 0.;
779137fb511SHong Zhang     sctx.shift_hi     = 1.;
780137fb511SHong Zhang   }
781137fb511SHong Zhang 
782137fb511SHong Zhang   sctx.shift_amount = 0;
783137fb511SHong Zhang   sctx.nshift       = 0;
784137fb511SHong Zhang   do {
785137fb511SHong Zhang     sctx.lushift = PETSC_FALSE;
786137fb511SHong Zhang     for (i=0; i<n; i++){
787b051339dSHong Zhang       /* load in initial unfactored row */
788b051339dSHong Zhang       nz    = ai[r[i]+1] - ai[r[i]];
789b051339dSHong Zhang       ajtmp = aj + ai[r[i]];
790b051339dSHong Zhang       v     = a->a + ai[r[i]];
791137fb511SHong Zhang       /* sort permuted ajtmp and values v accordingly */
792b051339dSHong Zhang       for (j=0; j<nz; j++) ajtmp[j] = ics[ajtmp[j]];
793137fb511SHong Zhang       ierr = PetscSortIntWithScalarArray(nz,ajtmp,v);CHKERRQ(ierr);
794137fb511SHong Zhang 
795b051339dSHong Zhang       diag[r[i]] = ai[r[i]];
796137fb511SHong Zhang       for (j=0; j<nz; j++) {
797137fb511SHong Zhang         rtmp[ajtmp[j]] = v[j];
798b051339dSHong Zhang         if (ajtmp[j] < i) diag[r[i]]++; /* update a->diag */
799137fb511SHong Zhang       }
800137fb511SHong Zhang       rtmp[r[i]] += sctx.shift_amount; /* shift the diagonal of the matrix */
801137fb511SHong Zhang 
802b051339dSHong Zhang       row = *ajtmp++;
803137fb511SHong Zhang       while  (row < i) {
804137fb511SHong Zhang         pc = rtmp + row;
805137fb511SHong Zhang         if (*pc != 0.0) {
806b051339dSHong Zhang           pv         = a->a + diag[r[row]];
807b051339dSHong Zhang           pj         = aj + diag[r[row]] + 1;
808137fb511SHong Zhang 
809137fb511SHong Zhang           multiplier = *pc / *pv++;
810137fb511SHong Zhang           *pc        = multiplier;
811b051339dSHong Zhang           nz         = ai[r[row]+1] - diag[r[row]] - 1;
812b051339dSHong Zhang           for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
813dc0b31edSSatish Balay           ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
814137fb511SHong Zhang         }
815b051339dSHong Zhang         row = *ajtmp++;
816137fb511SHong Zhang       }
817b051339dSHong Zhang       /* finished row so overwrite it onto a->a */
818b051339dSHong Zhang       pv   = a->a + ai[r[i]] ;
819b051339dSHong Zhang       pj   = aj + ai[r[i]] ;
820b051339dSHong Zhang       nz   = ai[r[i]+1] - ai[r[i]];
821b051339dSHong Zhang       nbdiag = diag[r[i]] - ai[r[i]]; /* num of entries before the diagonal */
822137fb511SHong Zhang 
823137fb511SHong Zhang       rs   = 0.0;
824137fb511SHong Zhang       for (j=0; j<nz; j++) {
825b051339dSHong Zhang         pv[j] = rtmp[pj[j]];
826b051339dSHong Zhang         if (j != nbdiag) rs += PetscAbsScalar(pv[j]);
827137fb511SHong Zhang       }
828137fb511SHong Zhang 
829137fb511SHong Zhang       /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */
830137fb511SHong Zhang       sctx.rs  = rs;
831b051339dSHong Zhang       sctx.pv  = pv[nbdiag];
832c6b1f410SHong Zhang       ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr);
833137fb511SHong Zhang       if (newshift == 1) break;
834137fb511SHong Zhang     }
835137fb511SHong Zhang 
8360481f469SBarry Smith     if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
837137fb511SHong Zhang       /*
838137fb511SHong Zhang        * if no shift in this attempt & shifting & started shifting & can refine,
839137fb511SHong Zhang        * then try lower shift
840137fb511SHong Zhang        */
8410481f469SBarry Smith       sctx.shift_hi        = sctx.shift_fraction;
8420481f469SBarry Smith       sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
8430481f469SBarry Smith       sctx.shift_amount    = sctx.shift_fraction * sctx.shift_top;
844137fb511SHong Zhang       sctx.lushift         = PETSC_TRUE;
845137fb511SHong Zhang       sctx.nshift++;
846137fb511SHong Zhang     }
847137fb511SHong Zhang   } while (sctx.lushift);
848137fb511SHong Zhang 
849137fb511SHong Zhang   /* invert diagonal entries for simplier triangular solves */
850137fb511SHong Zhang   for (i=0; i<n; i++) {
851b051339dSHong Zhang     a->a[diag[r[i]]] = 1.0/a->a[diag[r[i]]];
852137fb511SHong Zhang   }
853137fb511SHong Zhang 
854137fb511SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
855137fb511SHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
856137fb511SHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
857b051339dSHong Zhang   A->ops->solve             = MatSolve_SeqAIJ_InplaceWithPerm;
858db4efbfdSBarry Smith   A->ops->solveadd          = MatSolveAdd_SeqAIJ;
859db4efbfdSBarry Smith   A->ops->solvetranspose    = MatSolveTranspose_SeqAIJ;
860db4efbfdSBarry Smith   A->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ;
861b051339dSHong Zhang   A->assembled = PETSC_TRUE;
8625c9eb25fSBarry Smith   A->preallocated = PETSC_TRUE;
863d0f46423SBarry Smith   ierr = PetscLogFlops(A->cmap->n);CHKERRQ(ierr);
864137fb511SHong Zhang   if (sctx.nshift){
865e738e422SBarry Smith     if (info->shiftpd) {
8660481f469SBarry Smith       ierr = PetscInfo4(A,"number of shift_pd tries %D, shift_amount %G, diagonal shifted up by %e fraction top_value %e\n",sctx.nshift,sctx.shift_amount,sctx.shift_fraction,sctx.shift_top);CHKERRQ(ierr);
867e738e422SBarry Smith     } else if (info->shiftnz) {
868e738e422SBarry Smith       ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
869137fb511SHong Zhang     }
870137fb511SHong Zhang   }
871137fb511SHong Zhang   PetscFunctionReturn(0);
872137fb511SHong Zhang }
873137fb511SHong Zhang 
8740a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
8754a2ae208SSatish Balay #undef __FUNCT__
8764a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ"
8770481f469SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,const MatFactorInfo *info)
878da3a660dSBarry Smith {
879dfbe8321SBarry Smith   PetscErrorCode ierr;
880416022c9SBarry Smith   Mat            C;
881416022c9SBarry Smith 
8823a40ed3dSBarry Smith   PetscFunctionBegin;
88343244d56SBarry Smith   ierr = MatGetFactor(A,MAT_SOLVER_PETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr);
884719d5645SBarry Smith   ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr);
885719d5645SBarry Smith   ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr);
886db4efbfdSBarry Smith   A->ops->solve            = C->ops->solve;
887db4efbfdSBarry Smith   A->ops->solvetranspose   = C->ops->solvetranspose;
888273d9f13SBarry Smith   ierr = MatHeaderCopy(A,C);CHKERRQ(ierr);
88952e6d16bSBarry Smith   ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr);
8903a40ed3dSBarry Smith   PetscFunctionReturn(0);
891da3a660dSBarry Smith }
8920a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
8931d098868SHong Zhang 
894889a8dedSBarry Smith 
8954a2ae208SSatish Balay #undef __FUNCT__
8964a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ"
897dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx)
8988c37ef55SBarry Smith {
899416022c9SBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
900416022c9SBarry Smith   IS                iscol = a->col,isrow = a->row;
9016849ba73SBarry Smith   PetscErrorCode    ierr;
9025d0c19d7SBarry Smith   PetscInt          i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
9035d0c19d7SBarry Smith   PetscInt          nz;
9045d0c19d7SBarry Smith   const PetscInt    *rout,*cout,*r,*c;
905dd6ea824SBarry Smith   PetscScalar       *x,*tmp,*tmps,sum;
906d9fead3dSBarry Smith   const PetscScalar *b;
907dd6ea824SBarry Smith   const MatScalar   *aa = a->a,*v;
9088c37ef55SBarry Smith 
9093a40ed3dSBarry Smith   PetscFunctionBegin;
9103a40ed3dSBarry Smith   if (!n) PetscFunctionReturn(0);
91191bf9adeSBarry Smith 
912d9fead3dSBarry Smith   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
9131ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
914416022c9SBarry Smith   tmp  = a->solve_work;
9158c37ef55SBarry Smith 
9163b2fbd54SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
9173b2fbd54SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
9188c37ef55SBarry Smith 
9198c37ef55SBarry Smith   /* forward solve the lower triangular */
9208c37ef55SBarry Smith   tmp[0] = b[*r++];
921010a20caSHong Zhang   tmps   = tmp;
9228c37ef55SBarry Smith   for (i=1; i<n; i++) {
923010a20caSHong Zhang     v   = aa + ai[i] ;
924010a20caSHong Zhang     vi  = aj + ai[i] ;
92553e7425aSBarry Smith     nz  = a->diag[i] - ai[i];
92653e7425aSBarry Smith     sum = b[*r++];
927003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
9288c37ef55SBarry Smith     tmp[i] = sum;
9298c37ef55SBarry Smith   }
9308c37ef55SBarry Smith 
9318c37ef55SBarry Smith   /* backward solve the upper triangular */
9328c37ef55SBarry Smith   for (i=n-1; i>=0; i--){
933010a20caSHong Zhang     v   = aa + a->diag[i] + 1;
934010a20caSHong Zhang     vi  = aj + a->diag[i] + 1;
935416022c9SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
9368c37ef55SBarry Smith     sum = tmp[i];
937003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
938010a20caSHong Zhang     x[*c--] = tmp[i] = sum*aa[a->diag[i]];
9398c37ef55SBarry Smith   }
9408c37ef55SBarry Smith 
9413b2fbd54SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
9423b2fbd54SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
943d9fead3dSBarry Smith   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
9441ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
945dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
9463a40ed3dSBarry Smith   PetscFunctionReturn(0);
9478c37ef55SBarry Smith }
948026e39d0SSatish Balay 
9492bebee5dSHong Zhang #undef __FUNCT__
9502bebee5dSHong Zhang #define __FUNCT__ "MatMatSolve_SeqAIJ"
9512bebee5dSHong Zhang PetscErrorCode MatMatSolve_SeqAIJ(Mat A,Mat B,Mat X)
9522bebee5dSHong Zhang {
9532bebee5dSHong Zhang   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
9542bebee5dSHong Zhang   IS              iscol = a->col,isrow = a->row;
9552bebee5dSHong Zhang   PetscErrorCode  ierr;
9565d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
9575d0c19d7SBarry Smith   PetscInt        nz,neq;
9585d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
959dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,*tmps,sum;
960dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
961db4efbfdSBarry Smith   PetscTruth      bisdense,xisdense;
9622bebee5dSHong Zhang 
9632bebee5dSHong Zhang   PetscFunctionBegin;
9642bebee5dSHong Zhang   if (!n) PetscFunctionReturn(0);
9652bebee5dSHong Zhang 
966db4efbfdSBarry Smith   ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr);
967db4efbfdSBarry Smith   if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix");
968db4efbfdSBarry Smith   ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr);
969db4efbfdSBarry Smith   if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix");
970db4efbfdSBarry Smith 
9712bebee5dSHong Zhang   ierr = MatGetArray(B,&b);CHKERRQ(ierr);
9722bebee5dSHong Zhang   ierr = MatGetArray(X,&x);CHKERRQ(ierr);
9732bebee5dSHong Zhang 
9742bebee5dSHong Zhang   tmp  = a->solve_work;
9752bebee5dSHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
9762bebee5dSHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
9772bebee5dSHong Zhang 
978a36b22ccSSatish Balay   for (neq=0; neq<B->cmap->n; neq++){
9792bebee5dSHong Zhang     /* forward solve the lower triangular */
9802bebee5dSHong Zhang     tmp[0] = b[r[0]];
9812bebee5dSHong Zhang     tmps   = tmp;
9822bebee5dSHong Zhang     for (i=1; i<n; i++) {
9832bebee5dSHong Zhang       v   = aa + ai[i] ;
9842bebee5dSHong Zhang       vi  = aj + ai[i] ;
9852bebee5dSHong Zhang       nz  = a->diag[i] - ai[i];
9862bebee5dSHong Zhang       sum = b[r[i]];
987003131ecSBarry Smith       PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
9882bebee5dSHong Zhang       tmp[i] = sum;
9892bebee5dSHong Zhang     }
9902bebee5dSHong Zhang     /* backward solve the upper triangular */
9912bebee5dSHong Zhang     for (i=n-1; i>=0; i--){
9922bebee5dSHong Zhang       v   = aa + a->diag[i] + 1;
9932bebee5dSHong Zhang       vi  = aj + a->diag[i] + 1;
9942bebee5dSHong Zhang       nz  = ai[i+1] - a->diag[i] - 1;
9952bebee5dSHong Zhang       sum = tmp[i];
996003131ecSBarry Smith       PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
9972bebee5dSHong Zhang       x[c[i]] = tmp[i] = sum*aa[a->diag[i]];
9982bebee5dSHong Zhang     }
9992bebee5dSHong Zhang 
10002bebee5dSHong Zhang     b += n;
10012bebee5dSHong Zhang     x += n;
10022bebee5dSHong Zhang   }
10032bebee5dSHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
10042bebee5dSHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
10052bebee5dSHong Zhang   ierr = MatRestoreArray(B,&b);CHKERRQ(ierr);
10062bebee5dSHong Zhang   ierr = MatRestoreArray(X,&x);CHKERRQ(ierr);
1007dc0b31edSSatish Balay   ierr = PetscLogFlops(B->cmap->n*(2.0*a->nz - n));CHKERRQ(ierr);
10082bebee5dSHong Zhang   PetscFunctionReturn(0);
10092bebee5dSHong Zhang }
10102bebee5dSHong Zhang 
1011137fb511SHong Zhang #undef __FUNCT__
1012137fb511SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_InplaceWithPerm"
1013137fb511SHong Zhang PetscErrorCode MatSolve_SeqAIJ_InplaceWithPerm(Mat A,Vec bb,Vec xx)
1014137fb511SHong Zhang {
1015137fb511SHong Zhang   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
1016137fb511SHong Zhang   IS              iscol = a->col,isrow = a->row;
1017137fb511SHong Zhang   PetscErrorCode  ierr;
10185d0c19d7SBarry Smith   const PetscInt  *r,*c,*rout,*cout;
10195d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
10205d0c19d7SBarry Smith   PetscInt        nz,row;
1021dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,*tmps,sum;
1022dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
1023137fb511SHong Zhang 
1024137fb511SHong Zhang   PetscFunctionBegin;
1025137fb511SHong Zhang   if (!n) PetscFunctionReturn(0);
1026137fb511SHong Zhang 
1027137fb511SHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
1028137fb511SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1029137fb511SHong Zhang   tmp  = a->solve_work;
1030137fb511SHong Zhang 
1031137fb511SHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
1032137fb511SHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
1033137fb511SHong Zhang 
1034137fb511SHong Zhang   /* forward solve the lower triangular */
1035137fb511SHong Zhang   tmp[0] = b[*r++];
1036137fb511SHong Zhang   tmps   = tmp;
1037137fb511SHong Zhang   for (row=1; row<n; row++) {
1038137fb511SHong Zhang     i   = rout[row]; /* permuted row */
1039137fb511SHong Zhang     v   = aa + ai[i] ;
1040137fb511SHong Zhang     vi  = aj + ai[i] ;
1041137fb511SHong Zhang     nz  = a->diag[i] - ai[i];
1042137fb511SHong Zhang     sum = b[*r++];
1043003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
1044137fb511SHong Zhang     tmp[row] = sum;
1045137fb511SHong Zhang   }
1046137fb511SHong Zhang 
1047137fb511SHong Zhang   /* backward solve the upper triangular */
1048137fb511SHong Zhang   for (row=n-1; row>=0; row--){
1049137fb511SHong Zhang     i   = rout[row]; /* permuted row */
1050137fb511SHong Zhang     v   = aa + a->diag[i] + 1;
1051137fb511SHong Zhang     vi  = aj + a->diag[i] + 1;
1052137fb511SHong Zhang     nz  = ai[i+1] - a->diag[i] - 1;
1053137fb511SHong Zhang     sum = tmp[row];
1054003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
1055137fb511SHong Zhang     x[*c--] = tmp[row] = sum*aa[a->diag[i]];
1056137fb511SHong Zhang   }
1057137fb511SHong Zhang 
1058137fb511SHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
1059137fb511SHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
1060137fb511SHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
1061137fb511SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1062dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
1063137fb511SHong Zhang   PetscFunctionReturn(0);
1064137fb511SHong Zhang }
1065137fb511SHong Zhang 
1066930ae53cSBarry Smith /* ----------------------------------------------------------- */
1067a4005a5dSBarry Smith #include "../src/mat/impls/aij/seq/ftn-kernels/fsolve.h"
10684a2ae208SSatish Balay #undef __FUNCT__
10694a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering"
1070dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx)
1071930ae53cSBarry Smith {
1072930ae53cSBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
10736849ba73SBarry Smith   PetscErrorCode    ierr;
1074d0f46423SBarry Smith   PetscInt          n = A->rmap->n;
1075b377110cSBarry Smith   const PetscInt    *ai = a->i,*aj = a->j,*adiag = a->diag;
1076356650c2SBarry Smith   PetscScalar       *x;
1077356650c2SBarry Smith   const PetscScalar *b;
1078dd6ea824SBarry Smith   const MatScalar   *aa = a->a;
1079aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ)
1080356650c2SBarry Smith   PetscInt          adiag_i,i,nz,ai_i;
1081b377110cSBarry Smith   const PetscInt    *vi;
1082dd6ea824SBarry Smith   const MatScalar   *v;
1083dd6ea824SBarry Smith   PetscScalar       sum;
1084d85afc42SSatish Balay #endif
1085930ae53cSBarry Smith 
10863a40ed3dSBarry Smith   PetscFunctionBegin;
10873a40ed3dSBarry Smith   if (!n) PetscFunctionReturn(0);
1088930ae53cSBarry Smith 
1089356650c2SBarry Smith   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
10901ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1091930ae53cSBarry Smith 
1092aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ)
10931c4feecaSSatish Balay   fortransolveaij_(&n,x,ai,aj,adiag,aa,b);
10941c4feecaSSatish Balay #else
1095930ae53cSBarry Smith   /* forward solve the lower triangular */
1096930ae53cSBarry Smith   x[0] = b[0];
1097930ae53cSBarry Smith   for (i=1; i<n; i++) {
1098930ae53cSBarry Smith     ai_i = ai[i];
1099930ae53cSBarry Smith     v    = aa + ai_i;
1100930ae53cSBarry Smith     vi   = aj + ai_i;
1101930ae53cSBarry Smith     nz   = adiag[i] - ai_i;
1102930ae53cSBarry Smith     sum  = b[i];
1103003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,x,v,vi,nz);
1104930ae53cSBarry Smith     x[i] = sum;
1105930ae53cSBarry Smith   }
1106930ae53cSBarry Smith 
1107930ae53cSBarry Smith   /* backward solve the upper triangular */
1108930ae53cSBarry Smith   for (i=n-1; i>=0; i--){
1109930ae53cSBarry Smith     adiag_i = adiag[i];
1110d708749eSBarry Smith     v       = aa + adiag_i + 1;
1111d708749eSBarry Smith     vi      = aj + adiag_i + 1;
1112930ae53cSBarry Smith     nz      = ai[i+1] - adiag_i - 1;
1113930ae53cSBarry Smith     sum     = x[i];
1114003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,x,v,vi,nz);
1115930ae53cSBarry Smith     x[i]    = sum*aa[adiag_i];
1116930ae53cSBarry Smith   }
11171c4feecaSSatish Balay #endif
1118dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
1119356650c2SBarry Smith   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
11201ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
11213a40ed3dSBarry Smith   PetscFunctionReturn(0);
1122930ae53cSBarry Smith }
1123930ae53cSBarry Smith 
11244a2ae208SSatish Balay #undef __FUNCT__
11254a2ae208SSatish Balay #define __FUNCT__ "MatSolveAdd_SeqAIJ"
1126dfbe8321SBarry Smith PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx)
1127da3a660dSBarry Smith {
1128416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
1129416022c9SBarry Smith   IS              iscol = a->col,isrow = a->row;
11306849ba73SBarry Smith   PetscErrorCode  ierr;
11315d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
11325d0c19d7SBarry Smith   PetscInt        nz;
11335d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
1134dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,sum;
1135dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
1136da3a660dSBarry Smith 
11373a40ed3dSBarry Smith   PetscFunctionBegin;
113878b31e54SBarry Smith   if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);}
1139da3a660dSBarry Smith 
11401ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
11411ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1142416022c9SBarry Smith   tmp  = a->solve_work;
1143da3a660dSBarry Smith 
11443b2fbd54SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
11453b2fbd54SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
1146da3a660dSBarry Smith 
1147da3a660dSBarry Smith   /* forward solve the lower triangular */
1148da3a660dSBarry Smith   tmp[0] = b[*r++];
1149da3a660dSBarry Smith   for (i=1; i<n; i++) {
1150010a20caSHong Zhang     v   = aa + ai[i] ;
1151010a20caSHong Zhang     vi  = aj + ai[i] ;
1152416022c9SBarry Smith     nz  = a->diag[i] - ai[i];
1153da3a660dSBarry Smith     sum = b[*r++];
1154010a20caSHong Zhang     while (nz--) sum -= *v++ * tmp[*vi++ ];
1155da3a660dSBarry Smith     tmp[i] = sum;
1156da3a660dSBarry Smith   }
1157da3a660dSBarry Smith 
1158da3a660dSBarry Smith   /* backward solve the upper triangular */
1159da3a660dSBarry Smith   for (i=n-1; i>=0; i--){
1160010a20caSHong Zhang     v   = aa + a->diag[i] + 1;
1161010a20caSHong Zhang     vi  = aj + a->diag[i] + 1;
1162416022c9SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
1163da3a660dSBarry Smith     sum = tmp[i];
1164010a20caSHong Zhang     while (nz--) sum -= *v++ * tmp[*vi++ ];
1165010a20caSHong Zhang     tmp[i] = sum*aa[a->diag[i]];
1166da3a660dSBarry Smith     x[*c--] += tmp[i];
1167da3a660dSBarry Smith   }
1168da3a660dSBarry Smith 
11693b2fbd54SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
11703b2fbd54SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
11711ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
11721ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1173dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr);
1174898183ecSLois Curfman McInnes 
11753a40ed3dSBarry Smith   PetscFunctionReturn(0);
1176da3a660dSBarry Smith }
1177da3a660dSBarry Smith /* -------------------------------------------------------------------*/
11784a2ae208SSatish Balay #undef __FUNCT__
11794a2ae208SSatish Balay #define __FUNCT__ "MatSolveTranspose_SeqAIJ"
1180dfbe8321SBarry Smith PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx)
1181da3a660dSBarry Smith {
1182416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
11832235e667SBarry Smith   IS              iscol = a->col,isrow = a->row;
11846849ba73SBarry Smith   PetscErrorCode  ierr;
11855d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
11865d0c19d7SBarry Smith   PetscInt        i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
11875d0c19d7SBarry Smith   PetscInt        nz,*diag = a->diag;
1188dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,s1;
1189dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
1190da3a660dSBarry Smith 
11913a40ed3dSBarry Smith   PetscFunctionBegin;
11921ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
11931ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1194416022c9SBarry Smith   tmp  = a->solve_work;
1195da3a660dSBarry Smith 
11962235e667SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
11972235e667SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
1198da3a660dSBarry Smith 
1199da3a660dSBarry Smith   /* copy the b into temp work space according to permutation */
12002235e667SBarry Smith   for (i=0; i<n; i++) tmp[i] = b[c[i]];
1201da3a660dSBarry Smith 
1202da3a660dSBarry Smith   /* forward solve the U^T */
1203da3a660dSBarry Smith   for (i=0; i<n; i++) {
1204010a20caSHong Zhang     v   = aa + diag[i] ;
1205010a20caSHong Zhang     vi  = aj + diag[i] + 1;
1206f1af5d2fSBarry Smith     nz  = ai[i+1] - diag[i] - 1;
1207c38d4ed2SBarry Smith     s1  = tmp[i];
1208ef66eb69SBarry Smith     s1 *= (*v++);  /* multiply by inverse of diagonal entry */
1209da3a660dSBarry Smith     while (nz--) {
1210010a20caSHong Zhang       tmp[*vi++ ] -= (*v++)*s1;
1211da3a660dSBarry Smith     }
1212c38d4ed2SBarry Smith     tmp[i] = s1;
1213da3a660dSBarry Smith   }
1214da3a660dSBarry Smith 
1215da3a660dSBarry Smith   /* backward solve the L^T */
1216da3a660dSBarry Smith   for (i=n-1; i>=0; i--){
1217010a20caSHong Zhang     v   = aa + diag[i] - 1 ;
1218010a20caSHong Zhang     vi  = aj + diag[i] - 1 ;
1219f1af5d2fSBarry Smith     nz  = diag[i] - ai[i];
1220f1af5d2fSBarry Smith     s1  = tmp[i];
1221da3a660dSBarry Smith     while (nz--) {
1222010a20caSHong Zhang       tmp[*vi-- ] -= (*v--)*s1;
1223da3a660dSBarry Smith     }
1224da3a660dSBarry Smith   }
1225da3a660dSBarry Smith 
1226da3a660dSBarry Smith   /* copy tmp into x according to permutation */
1227da3a660dSBarry Smith   for (i=0; i<n; i++) x[r[i]] = tmp[i];
1228da3a660dSBarry Smith 
12292235e667SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
12302235e667SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
12311ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
12321ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1233da3a660dSBarry Smith 
1234dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr);
12353a40ed3dSBarry Smith   PetscFunctionReturn(0);
1236da3a660dSBarry Smith }
1237da3a660dSBarry Smith 
12384a2ae208SSatish Balay #undef __FUNCT__
12394a2ae208SSatish Balay #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ"
1240dfbe8321SBarry Smith PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx)
1241da3a660dSBarry Smith {
1242416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
12432235e667SBarry Smith   IS              iscol = a->col,isrow = a->row;
12446849ba73SBarry Smith   PetscErrorCode  ierr;
12455d0c19d7SBarry Smith   const PetscInt  *r,*c,*rout,*cout;
12465d0c19d7SBarry Smith   PetscInt        i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
12475d0c19d7SBarry Smith   PetscInt        nz,*diag = a->diag;
1248dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp;
1249dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
12506abc6512SBarry Smith 
12513a40ed3dSBarry Smith   PetscFunctionBegin;
125223bc6035SMatthew Knepley   if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);}
12536abc6512SBarry Smith 
12541ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
12551ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1256416022c9SBarry Smith   tmp = a->solve_work;
12576abc6512SBarry Smith 
12582235e667SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
12592235e667SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
12606abc6512SBarry Smith 
12616abc6512SBarry Smith   /* copy the b into temp work space according to permutation */
12622235e667SBarry Smith   for (i=0; i<n; i++) tmp[i] = b[c[i]];
12636abc6512SBarry Smith 
12646abc6512SBarry Smith   /* forward solve the U^T */
12656abc6512SBarry Smith   for (i=0; i<n; i++) {
1266010a20caSHong Zhang     v   = aa + diag[i] ;
1267010a20caSHong Zhang     vi  = aj + diag[i] + 1;
1268f1af5d2fSBarry Smith     nz  = ai[i+1] - diag[i] - 1;
12696abc6512SBarry Smith     tmp[i] *= *v++;
12706abc6512SBarry Smith     while (nz--) {
1271010a20caSHong Zhang       tmp[*vi++ ] -= (*v++)*tmp[i];
12726abc6512SBarry Smith     }
12736abc6512SBarry Smith   }
12746abc6512SBarry Smith 
12756abc6512SBarry Smith   /* backward solve the L^T */
12766abc6512SBarry Smith   for (i=n-1; i>=0; i--){
1277010a20caSHong Zhang     v   = aa + diag[i] - 1 ;
1278010a20caSHong Zhang     vi  = aj + diag[i] - 1 ;
1279f1af5d2fSBarry Smith     nz  = diag[i] - ai[i];
12806abc6512SBarry Smith     while (nz--) {
1281010a20caSHong Zhang       tmp[*vi-- ] -= (*v--)*tmp[i];
12826abc6512SBarry Smith     }
12836abc6512SBarry Smith   }
12846abc6512SBarry Smith 
12856abc6512SBarry Smith   /* copy tmp into x according to permutation */
12866abc6512SBarry Smith   for (i=0; i<n; i++) x[r[i]] += tmp[i];
12876abc6512SBarry Smith 
12882235e667SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
12892235e667SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
12901ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
12911ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
12926abc6512SBarry Smith 
1293dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr);
12943a40ed3dSBarry Smith   PetscFunctionReturn(0);
1295da3a660dSBarry Smith }
12969e25ed09SBarry Smith /* ----------------------------------------------------------------*/
12973c5fc038SBarry Smith EXTERN PetscErrorCode Mat_CheckInode(Mat,PetscTruth);
1298f77e22a1SHong Zhang EXTERN PetscErrorCode MatDuplicateNoCreate_SeqAIJ(Mat,Mat,MatDuplicateOption,PetscTruth);
129908480c60SBarry Smith 
13008fc3a347SHong Zhang /*
13018fc3a347SHong Zhang    ilu(0) with natural ordering under new data structure.
13028fc3a347SHong Zhang    Factored arrays bj and ba are stored as
13038fc3a347SHong Zhang      L(0,:), L(1,:), ...,L(n-1,:),  U(n-1,:),...,U(i,:),U(i-1,:),...,U(0,:)
13048fc3a347SHong Zhang 
13058fc3a347SHong Zhang    bi=fact->i is an array of size 2n+2, in which
13068fc3a347SHong Zhang    bi+
13078fc3a347SHong Zhang      bi[i]      ->  1st entry of L(i,:),i=0,...,i-1
1308f77e22a1SHong Zhang      bi[n]      ->  points to L(n-1,:)+1
13098fc3a347SHong Zhang      bi[n+1]    ->  1st entry of U(n-1,:)
13108fc3a347SHong Zhang      bi[2n-i]   ->  1st entry of U(i,:)
13118fc3a347SHong Zhang      bi[2n-i+1] ->  end of U(i,:)+1, the 1st entry of U(i-1,:)
1312f77e22a1SHong Zhang      bi[2n]     ->  1st entry of U(0,:)
1313f77e22a1SHong Zhang      bi[2n+1]   ->  points to U(0,:)+1
13148fc3a347SHong Zhang 
13158fc3a347SHong Zhang    U(i,:) contains diag[i] as its last entry, i.e.,
13168fc3a347SHong Zhang     U(i,:) = (u[i,i+1],...,u[i,n-1],diag[i])
13178fc3a347SHong Zhang */
1318c9c72f8fSHong Zhang #undef __FUNCT__
13198fc3a347SHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct"
13208fc3a347SHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
1321c9c72f8fSHong Zhang {
1322c9c72f8fSHong Zhang 
1323c9c72f8fSHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
1324c9c72f8fSHong Zhang   PetscErrorCode     ierr;
1325c9c72f8fSHong Zhang   PetscInt           n=A->rmap->n,*ai=a->i,*aj,*adiag=a->diag;
13268fc3a347SHong Zhang   PetscInt           i,j,nz,*bi,*bj,*bdiag;
1327c9c72f8fSHong Zhang 
1328c9c72f8fSHong Zhang   PetscFunctionBegin;
1329f77e22a1SHong Zhang   ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_FALSE);CHKERRQ(ierr);
1330c9c72f8fSHong Zhang   b    = (Mat_SeqAIJ*)(fact)->data;
1331c9c72f8fSHong Zhang 
1332f77e22a1SHong Zhang   /* allocate matrix arrays for new data structure */
1333f77e22a1SHong Zhang   ierr = PetscMalloc3(ai[n]+1,PetscScalar,&b->a,ai[n]+1,PetscInt,&b->j,2*n+2,PetscInt,&b->i);CHKERRQ(ierr);
1334f77e22a1SHong Zhang   ierr = PetscLogObjectMemory(fact,ai[n]*(sizeof(PetscScalar)+sizeof(PetscInt))+(2*n+2)*sizeof(PetscInt));CHKERRQ(ierr);
1335f77e22a1SHong Zhang   b->singlemalloc = PETSC_TRUE;
1336f77e22a1SHong Zhang   if (!b->diag){
13378fc3a347SHong Zhang     ierr = PetscMalloc((n+1)*sizeof(PetscInt),&b->diag);CHKERRQ(ierr);
1338f77e22a1SHong Zhang   }
1339c9c72f8fSHong Zhang   bdiag = b->diag;
1340c9c72f8fSHong Zhang 
1341c9c72f8fSHong Zhang   if (n > 0) {
134216a2bf60SHong Zhang     ierr = PetscMemzero(b->a,(ai[n])*sizeof(MatScalar));CHKERRQ(ierr);
1343c9c72f8fSHong Zhang   }
1344c9c72f8fSHong Zhang 
1345c9c72f8fSHong Zhang   /* set bi and bj with new data structure */
1346c9c72f8fSHong Zhang   bi = b->i;
1347c9c72f8fSHong Zhang   bj = b->j;
1348c9c72f8fSHong Zhang 
1349c9c72f8fSHong Zhang   /* L part */
1350c9c72f8fSHong Zhang   bi[0] = 0;
1351c9c72f8fSHong Zhang   for (i=0; i<n; i++){
1352c9c72f8fSHong Zhang     nz = adiag[i] - ai[i];
1353c9c72f8fSHong Zhang     bi[i+1] = bi[i] + nz;
1354c9c72f8fSHong Zhang     aj = a->j + ai[i];
1355c9c72f8fSHong Zhang     for (j=0; j<nz; j++){
1356c9c72f8fSHong Zhang       *bj = aj[j]; bj++;
1357c9c72f8fSHong Zhang     }
1358c9c72f8fSHong Zhang   }
1359c9c72f8fSHong Zhang 
1360c9c72f8fSHong Zhang   /* U part */
13618fc3a347SHong Zhang   bi[n+1] = bi[n];
1362c9c72f8fSHong Zhang   for (i=n-1; i>=0; i--){
1363c9c72f8fSHong Zhang     nz = ai[i+1] - adiag[i] - 1;
13648fc3a347SHong Zhang     bi[2*n-i+1] = bi[2*n-i] + nz + 1;
1365c9c72f8fSHong Zhang     aj = a->j + adiag[i] + 1;
1366c9c72f8fSHong Zhang     for (j=0; j<nz; j++){
1367c9c72f8fSHong Zhang       *bj = aj[j]; bj++;
1368c9c72f8fSHong Zhang     }
1369c9c72f8fSHong Zhang     /* diag[i] */
1370c9c72f8fSHong Zhang     *bj = i; bj++;
13718fc3a347SHong Zhang     bdiag[i] = bi[2*n-i+1]-1;
1372c9c72f8fSHong Zhang   }
1373c9c72f8fSHong Zhang   PetscFunctionReturn(0);
1374c9c72f8fSHong Zhang }
1375c9c72f8fSHong Zhang 
13764a2ae208SSatish Balay #undef __FUNCT__
13776516239fSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_newdatastruct"
13786516239fSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
13799e25ed09SBarry Smith {
1380416022c9SBarry Smith   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
13819e25ed09SBarry Smith   IS                 isicol;
13826849ba73SBarry Smith   PetscErrorCode     ierr;
13835d0c19d7SBarry Smith   const PetscInt     *r,*ic;
13845d0c19d7SBarry Smith   PetscInt           n=A->rmap->n,*ai=a->i,*aj=a->j,d;
13855a8e39fbSHong Zhang   PetscInt           *bi,*cols,nnz,*cols_lvl;
1386052f0c41SBarry Smith   PetscInt           *bdiag,prow,fm,nzbd,reallocs=0,dcount=0;
13875a8e39fbSHong Zhang   PetscInt           i,levels,diagonal_fill;
138877c4ece6SBarry Smith   PetscTruth         col_identity,row_identity;
1389329f5518SBarry Smith   PetscReal          f;
13905a8e39fbSHong Zhang   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL;
13915a8e39fbSHong Zhang   PetscBT            lnkbt;
13925a8e39fbSHong Zhang   PetscInt           nzi,*bj,**bj_ptr,**bjlvl_ptr;
1393a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1394a1a86e44SBarry Smith   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
139509f38230SBarry Smith   PetscTruth         missing;
13969e25ed09SBarry Smith 
13973a40ed3dSBarry Smith   PetscFunctionBegin;
13986516239fSHong Zhang   //printf("MatILUFactorSymbolic_SeqAIJ_newdatastruct ...\n");
1399d0f46423SBarry Smith   if (A->rmap->n != A->cmap->n) SETERRQ2(PETSC_ERR_ARG_WRONG,"Must be square matrix, rows %D columns %D",A->rmap->n,A->cmap->n);
14006cf997b0SBarry Smith   f             = info->fill;
140138baddfdSBarry Smith   levels        = (PetscInt)info->levels;
140238baddfdSBarry Smith   diagonal_fill = (PetscInt)info->diagonal_fill;
14034c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
140482bf6240SBarry Smith 
1405be0abb6dSBarry Smith   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
1406be0abb6dSBarry Smith   ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr);
1407c9c72f8fSHong Zhang 
14086516239fSHong Zhang   if (!levels && row_identity && col_identity) {
14096516239fSHong Zhang     /* special case: ilu(0) with natural ordering */
14108fc3a347SHong Zhang     ierr = MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr);
1411c9c72f8fSHong Zhang     (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ_newdatastruct;
14126516239fSHong Zhang 
14136516239fSHong Zhang     fact->factor = MAT_FACTOR_ILU;
14146516239fSHong Zhang     (fact)->info.factor_mallocs    = 0;
14156516239fSHong Zhang     (fact)->info.fill_ratio_given  = info->fill;
14166516239fSHong Zhang     (fact)->info.fill_ratio_needed = 1.0;
14176516239fSHong Zhang     b               = (Mat_SeqAIJ*)(fact)->data;
14186516239fSHong Zhang     ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
14196516239fSHong Zhang     if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
14206516239fSHong Zhang     b->row              = isrow;
14216516239fSHong Zhang     b->col              = iscol;
14226516239fSHong Zhang     b->icol             = isicol;
14236516239fSHong Zhang     ierr                = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
14246516239fSHong Zhang     ierr                = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
14256516239fSHong Zhang     ierr                = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
14266516239fSHong Zhang     /* ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); */
14276516239fSHong Zhang     PetscFunctionReturn(0);
14286516239fSHong Zhang   }
14296516239fSHong Zhang 
14306516239fSHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
14316516239fSHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
14326516239fSHong Zhang 
14336516239fSHong Zhang   /* get new row pointers */
14346516239fSHong Zhang   ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
14356516239fSHong Zhang   bi[0] = 0;
14366516239fSHong Zhang   /* bdiag is location of diagonal in factor */
14376516239fSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
14386516239fSHong Zhang   bdiag[0]  = 0;
14396516239fSHong Zhang 
14406516239fSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr);
14416516239fSHong Zhang   bjlvl_ptr = (PetscInt**)(bj_ptr + n);
14426516239fSHong Zhang 
14436516239fSHong Zhang   /* create a linked list for storing column indices of the active row */
14446516239fSHong Zhang   nlnk = n + 1;
14456516239fSHong Zhang   ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
14466516239fSHong Zhang 
14476516239fSHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
14486516239fSHong Zhang   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
14496516239fSHong Zhang   current_space = free_space;
14506516239fSHong Zhang   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr);
14516516239fSHong Zhang   current_space_lvl = free_space_lvl;
14526516239fSHong Zhang 
14536516239fSHong Zhang   for (i=0; i<n; i++) {
14546516239fSHong Zhang     nzi = 0;
14556516239fSHong Zhang     /* copy current row into linked list */
14566516239fSHong Zhang     nnz  = ai[r[i]+1] - ai[r[i]];
14576516239fSHong Zhang     if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i);
14586516239fSHong Zhang     cols = aj + ai[r[i]];
14596516239fSHong Zhang     lnk[i] = -1; /* marker to indicate if diagonal exists */
14606516239fSHong Zhang     ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
14616516239fSHong Zhang     nzi += nlnk;
14626516239fSHong Zhang 
14636516239fSHong Zhang     /* make sure diagonal entry is included */
14646516239fSHong Zhang     if (diagonal_fill && lnk[i] == -1) {
14656516239fSHong Zhang       fm = n;
14666516239fSHong Zhang       while (lnk[fm] < i) fm = lnk[fm];
14676516239fSHong Zhang       lnk[i]     = lnk[fm]; /* insert diagonal into linked list */
14686516239fSHong Zhang       lnk[fm]    = i;
14696516239fSHong Zhang       lnk_lvl[i] = 0;
14706516239fSHong Zhang       nzi++; dcount++;
14716516239fSHong Zhang     }
14726516239fSHong Zhang 
14736516239fSHong Zhang     /* add pivot rows into the active row */
14746516239fSHong Zhang     nzbd = 0;
14756516239fSHong Zhang     prow = lnk[n];
14766516239fSHong Zhang     while (prow < i) {
14776516239fSHong Zhang       nnz      = bdiag[prow];
14786516239fSHong Zhang       cols     = bj_ptr[prow] + nnz + 1;
14796516239fSHong Zhang       cols_lvl = bjlvl_ptr[prow] + nnz + 1;
14806516239fSHong Zhang       nnz      = bi[prow+1] - bi[prow] - nnz - 1;
14816516239fSHong Zhang       ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr);
14826516239fSHong Zhang       nzi += nlnk;
14836516239fSHong Zhang       prow = lnk[prow];
14846516239fSHong Zhang       nzbd++;
14856516239fSHong Zhang     }
14866516239fSHong Zhang     bdiag[i] = nzbd;
14876516239fSHong Zhang     bi[i+1]  = bi[i] + nzi;
14886516239fSHong Zhang 
14896516239fSHong Zhang     /* if free space is not available, make more free space */
14906516239fSHong Zhang     if (current_space->local_remaining<nzi) {
14916516239fSHong Zhang       nnz = 2*nzi*(n - i); /* estimated and max additional space needed */
14926516239fSHong Zhang       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
14936516239fSHong Zhang       ierr = PetscFreeSpaceGet(nnz,&current_space_lvl);CHKERRQ(ierr);
14946516239fSHong Zhang       reallocs++;
14956516239fSHong Zhang     }
14966516239fSHong Zhang 
14976516239fSHong Zhang     /* copy data into free_space and free_space_lvl, then initialize lnk */
14986516239fSHong Zhang     ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
14996516239fSHong Zhang     bj_ptr[i]    = current_space->array;
15006516239fSHong Zhang     bjlvl_ptr[i] = current_space_lvl->array;
15016516239fSHong Zhang 
15026516239fSHong Zhang     /* make sure the active row i has diagonal entry */
15036516239fSHong Zhang     if (*(bj_ptr[i]+bdiag[i]) != i) {
15046516239fSHong Zhang       SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\
15056516239fSHong Zhang     try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i);
15066516239fSHong Zhang     }
15076516239fSHong Zhang 
15086516239fSHong Zhang     current_space->array           += nzi;
15096516239fSHong Zhang     current_space->local_used      += nzi;
15106516239fSHong Zhang     current_space->local_remaining -= nzi;
15116516239fSHong Zhang     current_space_lvl->array           += nzi;
15126516239fSHong Zhang     current_space_lvl->local_used      += nzi;
15136516239fSHong Zhang     current_space_lvl->local_remaining -= nzi;
15146516239fSHong Zhang   }
15156516239fSHong Zhang 
15166516239fSHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
15176516239fSHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
15186516239fSHong Zhang 
15196516239fSHong Zhang   /* destroy list of free space and other temporary arrays */
15206516239fSHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
15216516239fSHong Zhang 
15226516239fSHong Zhang   /* copy free_space into bj and free free_space; set bi, bj, bdiag in new datastructure; */
15236516239fSHong Zhang   ierr = PetscFreeSpaceContiguous_newdatastruct(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr);
15246516239fSHong Zhang 
15256516239fSHong Zhang   ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
15266516239fSHong Zhang   ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
15276516239fSHong Zhang   ierr = PetscFree(bj_ptr);CHKERRQ(ierr);
15286516239fSHong Zhang 
15296516239fSHong Zhang #if defined(PETSC_USE_INFO)
15306516239fSHong Zhang   {
15316516239fSHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
15326516239fSHong Zhang     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
15336516239fSHong Zhang     ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
15346516239fSHong Zhang     ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr);
15356516239fSHong Zhang     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
15366516239fSHong Zhang     if (diagonal_fill) {
15376516239fSHong Zhang       ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr);
15386516239fSHong Zhang     }
15396516239fSHong Zhang   }
15406516239fSHong Zhang #endif
15416516239fSHong Zhang 
15426516239fSHong Zhang   /* put together the new matrix */
15436516239fSHong Zhang   ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
15446516239fSHong Zhang   ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr);
15456516239fSHong Zhang   b = (Mat_SeqAIJ*)(fact)->data;
15466516239fSHong Zhang   b->free_a       = PETSC_TRUE;
15476516239fSHong Zhang   b->free_ij      = PETSC_TRUE;
15486516239fSHong Zhang   b->singlemalloc = PETSC_FALSE;
15496516239fSHong Zhang   ierr = PetscMalloc( (bi[2*n+1] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
15506516239fSHong Zhang   b->j          = bj;
15516516239fSHong Zhang   b->i          = bi;
15526516239fSHong Zhang   b->diag       = bdiag;
15536516239fSHong Zhang   b->ilen       = 0;
15546516239fSHong Zhang   b->imax       = 0;
15556516239fSHong Zhang   b->row        = isrow;
15566516239fSHong Zhang   b->col        = iscol;
15576516239fSHong Zhang   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
15586516239fSHong Zhang   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
15596516239fSHong Zhang   b->icol       = isicol;
15606516239fSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
15616516239fSHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.
15626516239fSHong Zhang      Allocate bdiag, solve_work, new a, new j */
15636516239fSHong Zhang   ierr = PetscLogObjectMemory(fact,bi[2*n+1] * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
15646516239fSHong Zhang   b->maxnz = b->nz = bi[2*n+1] ;
15656516239fSHong Zhang   (fact)->info.factor_mallocs    = reallocs;
15666516239fSHong Zhang   (fact)->info.fill_ratio_given  = f;
15676516239fSHong Zhang   (fact)->info.fill_ratio_needed = ((PetscReal)bi[2*n+1])/((PetscReal)ai[n]);
15686516239fSHong Zhang   (fact)->ops->lufactornumeric   = MatLUFactorNumeric_SeqAIJ_newdatastruct;
15696516239fSHong Zhang   /* ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); */
15706516239fSHong Zhang   PetscFunctionReturn(0);
15716516239fSHong Zhang }
15726516239fSHong Zhang 
15736516239fSHong Zhang #undef __FUNCT__
15746516239fSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ"
15756516239fSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
15766516239fSHong Zhang {
15776516239fSHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
15786516239fSHong Zhang   IS                 isicol;
15796516239fSHong Zhang   PetscErrorCode     ierr;
15806516239fSHong Zhang   const PetscInt     *r,*ic;
15816516239fSHong Zhang   PetscInt           n=A->rmap->n,*ai=a->i,*aj=a->j,d;
15826516239fSHong Zhang   PetscInt           *bi,*cols,nnz,*cols_lvl;
15836516239fSHong Zhang   PetscInt           *bdiag,prow,fm,nzbd,reallocs=0,dcount=0;
15846516239fSHong Zhang   PetscInt           i,levels,diagonal_fill;
15856516239fSHong Zhang   PetscTruth         col_identity,row_identity;
15866516239fSHong Zhang   PetscReal          f;
15876516239fSHong Zhang   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL;
15886516239fSHong Zhang   PetscBT            lnkbt;
15896516239fSHong Zhang   PetscInt           nzi,*bj,**bj_ptr,**bjlvl_ptr;
15906516239fSHong Zhang   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
15916516239fSHong Zhang   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
15926516239fSHong Zhang   PetscTruth         missing;
15936516239fSHong Zhang   PetscTruth         newdatastruct=PETSC_FALSE;
15946516239fSHong Zhang 
15956516239fSHong Zhang   PetscFunctionBegin;
15966516239fSHong Zhang   ierr = PetscOptionsGetTruth(PETSC_NULL,"-ilu_new",&newdatastruct,PETSC_NULL);CHKERRQ(ierr);
15976516239fSHong Zhang   if (newdatastruct){
15986516239fSHong Zhang     ierr = MatILUFactorSymbolic_SeqAIJ_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr);
15996516239fSHong Zhang     PetscFunctionReturn(0);
16006516239fSHong Zhang   }
16016516239fSHong Zhang 
16026516239fSHong Zhang   if (A->rmap->n != A->cmap->n) SETERRQ2(PETSC_ERR_ARG_WRONG,"Must be square matrix, rows %D columns %D",A->rmap->n,A->cmap->n);
16036516239fSHong Zhang   f             = info->fill;
16046516239fSHong Zhang   levels        = (PetscInt)info->levels;
16056516239fSHong Zhang   diagonal_fill = (PetscInt)info->diagonal_fill;
16066516239fSHong Zhang   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
16076516239fSHong Zhang 
16086516239fSHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
16096516239fSHong Zhang   ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr);
16106516239fSHong Zhang   if (!levels && row_identity && col_identity) { /* special case: ilu(0) with natural ordering */
1611f77e22a1SHong Zhang     ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_TRUE);CHKERRQ(ierr);
1612c9c72f8fSHong Zhang     (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ;
1613c9c72f8fSHong Zhang 
1614719d5645SBarry Smith     fact->factor = MAT_FACTOR_ILU;
1615719d5645SBarry Smith     (fact)->info.factor_mallocs    = 0;
1616719d5645SBarry Smith     (fact)->info.fill_ratio_given  = info->fill;
1617719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 1.0;
1618719d5645SBarry Smith     b               = (Mat_SeqAIJ*)(fact)->data;
16198ef3462fSBarry Smith     ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
162009f38230SBarry Smith     if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
162108480c60SBarry Smith     b->row              = isrow;
162208480c60SBarry Smith     b->col              = iscol;
162382bf6240SBarry Smith     b->icol             = isicol;
1624719d5645SBarry Smith     ierr                = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1625c38d4ed2SBarry Smith     ierr                = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1626c38d4ed2SBarry Smith     ierr                = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
1627719d5645SBarry Smith     ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr);
16283a40ed3dSBarry Smith     PetscFunctionReturn(0);
162908480c60SBarry Smith   }
163008480c60SBarry Smith 
1631898183ecSLois Curfman McInnes   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
1632898183ecSLois Curfman McInnes   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
16339e25ed09SBarry Smith 
16349e25ed09SBarry Smith   /* get new row pointers */
16355a8e39fbSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
16365a8e39fbSHong Zhang   bi[0] = 0;
16375a8e39fbSHong Zhang   /* bdiag is location of diagonal in factor */
16385a8e39fbSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
16395a8e39fbSHong Zhang   bdiag[0]  = 0;
16406cf997b0SBarry Smith 
16415a8e39fbSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr);
16425a8e39fbSHong Zhang   bjlvl_ptr = (PetscInt**)(bj_ptr + n);
16435a8e39fbSHong Zhang 
16445a8e39fbSHong Zhang   /* create a linked list for storing column indices of the active row */
16455a8e39fbSHong Zhang   nlnk = n + 1;
16465a8e39fbSHong Zhang   ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
16475a8e39fbSHong Zhang 
16485a8e39fbSHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
1649a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
16505a8e39fbSHong Zhang   current_space = free_space;
1651a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr);
16525a8e39fbSHong Zhang   current_space_lvl = free_space_lvl;
16535a8e39fbSHong Zhang 
16545a8e39fbSHong Zhang   for (i=0; i<n; i++) {
16555a8e39fbSHong Zhang     nzi = 0;
16566cf997b0SBarry Smith     /* copy current row into linked list */
16575a8e39fbSHong Zhang     nnz  = ai[r[i]+1] - ai[r[i]];
16583b4a8b6dSBarry Smith     if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i);
16595a8e39fbSHong Zhang     cols = aj + ai[r[i]];
16605a8e39fbSHong Zhang     lnk[i] = -1; /* marker to indicate if diagonal exists */
16615a8e39fbSHong Zhang     ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
16625a8e39fbSHong Zhang     nzi += nlnk;
16636cf997b0SBarry Smith 
16646cf997b0SBarry Smith     /* make sure diagonal entry is included */
16655a8e39fbSHong Zhang     if (diagonal_fill && lnk[i] == -1) {
16666cf997b0SBarry Smith       fm = n;
16675a8e39fbSHong Zhang       while (lnk[fm] < i) fm = lnk[fm];
16685a8e39fbSHong Zhang       lnk[i]     = lnk[fm]; /* insert diagonal into linked list */
16695a8e39fbSHong Zhang       lnk[fm]    = i;
16705a8e39fbSHong Zhang       lnk_lvl[i] = 0;
16715a8e39fbSHong Zhang       nzi++; dcount++;
16726cf997b0SBarry Smith     }
16736cf997b0SBarry Smith 
16745a8e39fbSHong Zhang     /* add pivot rows into the active row */
16755a8e39fbSHong Zhang     nzbd = 0;
16765a8e39fbSHong Zhang     prow = lnk[n];
16775a8e39fbSHong Zhang     while (prow < i) {
16785a8e39fbSHong Zhang       nnz      = bdiag[prow];
16795a8e39fbSHong Zhang       cols     = bj_ptr[prow] + nnz + 1;
16805a8e39fbSHong Zhang       cols_lvl = bjlvl_ptr[prow] + nnz + 1;
16815a8e39fbSHong Zhang       nnz      = bi[prow+1] - bi[prow] - nnz - 1;
16825a8e39fbSHong Zhang       ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr);
16835a8e39fbSHong Zhang       nzi += nlnk;
16845a8e39fbSHong Zhang       prow = lnk[prow];
16855a8e39fbSHong Zhang       nzbd++;
168656beaf04SBarry Smith     }
16875a8e39fbSHong Zhang     bdiag[i] = nzbd;
16885a8e39fbSHong Zhang     bi[i+1]  = bi[i] + nzi;
1689ecf371e4SBarry Smith 
16905a8e39fbSHong Zhang     /* if free space is not available, make more free space */
16915a8e39fbSHong Zhang     if (current_space->local_remaining<nzi) {
16925a8e39fbSHong Zhang       nnz = nzi*(n - i); /* estimated and max additional space needed */
1693a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
1694a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space_lvl);CHKERRQ(ierr);
16955a8e39fbSHong Zhang       reallocs++;
16965a8e39fbSHong Zhang     }
1697ecf371e4SBarry Smith 
16985a8e39fbSHong Zhang     /* copy data into free_space and free_space_lvl, then initialize lnk */
16995a8e39fbSHong Zhang     ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
17005a8e39fbSHong Zhang     bj_ptr[i]    = current_space->array;
17015a8e39fbSHong Zhang     bjlvl_ptr[i] = current_space_lvl->array;
17025a8e39fbSHong Zhang 
17035a8e39fbSHong Zhang     /* make sure the active row i has diagonal entry */
17045a8e39fbSHong Zhang     if (*(bj_ptr[i]+bdiag[i]) != i) {
170577431f27SBarry Smith       SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\
1706d7ee0231SBarry Smith     try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i);
17076cf997b0SBarry Smith     }
17085a8e39fbSHong Zhang 
17095a8e39fbSHong Zhang     current_space->array           += nzi;
17105a8e39fbSHong Zhang     current_space->local_used      += nzi;
17115a8e39fbSHong Zhang     current_space->local_remaining -= nzi;
17125a8e39fbSHong Zhang     current_space_lvl->array           += nzi;
17135a8e39fbSHong Zhang     current_space_lvl->local_used      += nzi;
17145a8e39fbSHong Zhang     current_space_lvl->local_remaining -= nzi;
17159e25ed09SBarry Smith   }
17165a8e39fbSHong Zhang 
1717898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
1718898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
17195a8e39fbSHong Zhang 
17205a8e39fbSHong Zhang   /* destroy list of free space and other temporary arrays */
17215a8e39fbSHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
17226516239fSHong Zhang   ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); /* copy free_space -> bj */
17235a8e39fbSHong Zhang   ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
1724a1a86e44SBarry Smith   ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
17255a8e39fbSHong Zhang   ierr = PetscFree(bj_ptr);CHKERRQ(ierr);
17269e25ed09SBarry Smith 
17276cf91177SBarry Smith #if defined(PETSC_USE_INFO)
1728f64065bbSBarry Smith   {
17295a8e39fbSHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
1730ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
1731ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1732ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr);
1733ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
1734335d9088SBarry Smith     if (diagonal_fill) {
1735ae15b995SBarry Smith       ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr);
1736335d9088SBarry Smith     }
1737f64065bbSBarry Smith   }
173863ba0a88SBarry Smith #endif
1739bbb6d6a8SBarry Smith 
17409e25ed09SBarry Smith   /* put together the new matrix */
174107dbf95fSBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
1742719d5645SBarry Smith   ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr);
1743719d5645SBarry Smith   b = (Mat_SeqAIJ*)(fact)->data;
1744e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
1745e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
17467c922b88SBarry Smith   b->singlemalloc = PETSC_FALSE;
1747052f0c41SBarry Smith   ierr = PetscMalloc( (bi[n] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
17485a8e39fbSHong Zhang   b->j          = bj;
17495a8e39fbSHong Zhang   b->i          = bi;
17505a8e39fbSHong Zhang   for (i=0; i<n; i++) bdiag[i] += bi[i];
17515a8e39fbSHong Zhang   b->diag       = bdiag;
1752416022c9SBarry Smith   b->ilen       = 0;
1753416022c9SBarry Smith   b->imax       = 0;
1754416022c9SBarry Smith   b->row        = isrow;
1755416022c9SBarry Smith   b->col        = iscol;
1756c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1757c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
175882bf6240SBarry Smith   b->icol       = isicol;
175987828ca2SBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1760416022c9SBarry Smith   /* In b structure:  Free imax, ilen, old a, old j.
17615a8e39fbSHong Zhang      Allocate bdiag, solve_work, new a, new j */
1762719d5645SBarry Smith   ierr = PetscLogObjectMemory(fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
17635a8e39fbSHong Zhang   b->maxnz             = b->nz = bi[n] ;
1764719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1765719d5645SBarry Smith   (fact)->info.fill_ratio_given  = f;
1766719d5645SBarry Smith   (fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]);
1767719d5645SBarry Smith   (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ;
1768719d5645SBarry Smith   ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr);
17693a40ed3dSBarry Smith   PetscFunctionReturn(0);
17709e25ed09SBarry Smith }
1771d5d45c9bSBarry Smith 
17727c4f633dSBarry Smith #include "../src/mat/impls/sbaij/seq/sbaij.h"
1773a6175056SHong Zhang #undef __FUNCT__
1774a6175056SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ"
17750481f469SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info)
1776a6175056SHong Zhang {
1777719d5645SBarry Smith   Mat            C = B;
17780968510aSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data;
17792ed133dbSHong Zhang   Mat_SeqSBAIJ   *b=(Mat_SeqSBAIJ*)C->data;
17809bfd6278SHong Zhang   IS             ip=b->row,iip = b->icol;
17812ed133dbSHong Zhang   PetscErrorCode ierr;
17825d0c19d7SBarry Smith   const PetscInt *rip,*riip;
17835d0c19d7SBarry Smith   PetscInt       i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bcol;
17842ed133dbSHong Zhang   PetscInt       *ai=a->i,*aj=a->j;
17852ed133dbSHong Zhang   PetscInt       k,jmin,jmax,*jl,*il,col,nexti,ili,nz;
1786622e2028SHong Zhang   MatScalar      *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi;
1787540703acSHong Zhang   PetscReal      zeropivot,rs,shiftnz;
1788fbf22428SSatish Balay   PetscReal      shiftpd;
1789540703acSHong Zhang   ChShift_Ctx    sctx;
1790540703acSHong Zhang   PetscInt       newshift;
1791db4efbfdSBarry Smith   PetscTruth     perm_identity;
1792d5d45c9bSBarry Smith 
1793a6175056SHong Zhang   PetscFunctionBegin;
1794117f1891Stmunson 
1795540703acSHong Zhang   shiftnz   = info->shiftnz;
1796540703acSHong Zhang   shiftpd   = info->shiftpd;
1797ee45ca4aSHong Zhang   zeropivot = info->zeropivot;
1798ee45ca4aSHong Zhang 
17992ed133dbSHong Zhang   ierr  = ISGetIndices(ip,&rip);CHKERRQ(ierr);
18009bfd6278SHong Zhang   ierr  = ISGetIndices(iip,&riip);CHKERRQ(ierr);
18012ed133dbSHong Zhang 
18022ed133dbSHong Zhang   /* initialization */
18032ed133dbSHong Zhang   nz   = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar);
18042ed133dbSHong Zhang   ierr = PetscMalloc(nz,&il);CHKERRQ(ierr);
18052ed133dbSHong Zhang   jl   = il + mbs;
18062ed133dbSHong Zhang   rtmp = (MatScalar*)(jl + mbs);
18072ed133dbSHong Zhang 
1808540703acSHong Zhang   sctx.shift_amount = 0;
1809540703acSHong Zhang   sctx.nshift       = 0;
18102ed133dbSHong Zhang   do {
1811540703acSHong Zhang     sctx.chshift = PETSC_FALSE;
18122ed133dbSHong Zhang     for (i=0; i<mbs; i++) {
18132ed133dbSHong Zhang       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
1814a6175056SHong Zhang     }
18152ed133dbSHong Zhang 
18162ed133dbSHong Zhang     for (k = 0; k<mbs; k++){
1817c05c3958SHong Zhang       bval = ba + bi[k];
18182ed133dbSHong Zhang       /* initialize k-th row by the perm[k]-th row of A */
18192ed133dbSHong Zhang       jmin = ai[rip[k]]; jmax = ai[rip[k]+1];
18202ed133dbSHong Zhang       for (j = jmin; j < jmax; j++){
18219bfd6278SHong Zhang         col = riip[aj[j]];
18222ed133dbSHong Zhang         if (col >= k){ /* only take upper triangular entry */
18232ed133dbSHong Zhang           rtmp[col] = aa[j];
1824c05c3958SHong Zhang           *bval++  = 0.0; /* for in-place factorization */
18252ed133dbSHong Zhang         }
18262ed133dbSHong Zhang       }
182739e3d630SHong Zhang       /* shift the diagonal of the matrix */
1828540703acSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
18292ed133dbSHong Zhang 
18302ed133dbSHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
18312ed133dbSHong Zhang       dk = rtmp[k];
18322ed133dbSHong Zhang       i = jl[k]; /* first row to be added to k_th row  */
18332ed133dbSHong Zhang 
18342ed133dbSHong Zhang       while (i < k){
18352ed133dbSHong Zhang         nexti = jl[i]; /* next row to be added to k_th row */
18362ed133dbSHong Zhang 
18372ed133dbSHong Zhang         /* compute multiplier, update diag(k) and U(i,k) */
18382ed133dbSHong Zhang         ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
18392ed133dbSHong Zhang         uikdi = - ba[ili]*ba[bi[i]];  /* diagonal(k) */
18402ed133dbSHong Zhang         dk += uikdi*ba[ili];
18412ed133dbSHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
18422ed133dbSHong Zhang 
18432ed133dbSHong Zhang         /* add multiple of row i to k-th row */
18442ed133dbSHong Zhang         jmin = ili + 1; jmax = bi[i+1];
18452ed133dbSHong Zhang         if (jmin < jmax){
18462ed133dbSHong Zhang           for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j];
18472ed133dbSHong Zhang           /* update il and jl for row i */
18482ed133dbSHong Zhang           il[i] = jmin;
18492ed133dbSHong Zhang           j = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
18502ed133dbSHong Zhang         }
18512ed133dbSHong Zhang         i = nexti;
18522ed133dbSHong Zhang       }
18532ed133dbSHong Zhang 
18540697b6caSHong Zhang       /* shift the diagonals when zero pivot is detected */
18550697b6caSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
18560697b6caSHong Zhang       rs   = 0.0;
18573c9e8598SHong Zhang       jmin = bi[k]+1;
18583c9e8598SHong Zhang       nz   = bi[k+1] - jmin;
18593c9e8598SHong Zhang       bcol = bj + jmin;
18603c9e8598SHong Zhang       while (nz--){
186189f845c8SHong Zhang         rs += PetscAbsScalar(rtmp[*bcol]);
186289f845c8SHong Zhang         bcol++;
18633c9e8598SHong Zhang       }
1864540703acSHong Zhang 
1865540703acSHong Zhang       sctx.rs = rs;
1866540703acSHong Zhang       sctx.pv = dk;
18675b5bc046SBarry Smith       ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr);
1868117f1891Stmunson 
1869117f1891Stmunson       if (newshift == 1) {
1870117f1891Stmunson         if (!sctx.shift_amount) {
1871117f1891Stmunson           sctx.shift_amount = 1e-5;
1872117f1891Stmunson         }
1873117f1891Stmunson         break;
1874117f1891Stmunson       }
18753c9e8598SHong Zhang 
18763c9e8598SHong Zhang       /* copy data into U(k,:) */
187739e3d630SHong Zhang       ba[bi[k]] = 1.0/dk; /* U(k,k) */
187839e3d630SHong Zhang       jmin = bi[k]+1; jmax = bi[k+1];
187939e3d630SHong Zhang       if (jmin < jmax) {
188039e3d630SHong Zhang         for (j=jmin; j<jmax; j++){
188139e3d630SHong Zhang           col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0;
18823c9e8598SHong Zhang         }
188339e3d630SHong Zhang         /* add the k-th row into il and jl */
18843c9e8598SHong Zhang         il[k] = jmin;
18853c9e8598SHong Zhang         i = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
18863c9e8598SHong Zhang       }
18873c9e8598SHong Zhang     }
1888540703acSHong Zhang   } while (sctx.chshift);
18893c9e8598SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
18903c9e8598SHong Zhang 
189139e3d630SHong Zhang   ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr);
18929bfd6278SHong Zhang   ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr);
1893db4efbfdSBarry Smith 
1894db4efbfdSBarry Smith   ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr);
1895db4efbfdSBarry Smith   if (perm_identity){
1896719d5645SBarry Smith     (B)->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
1897719d5645SBarry Smith     (B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1_NaturalOrdering;
1898719d5645SBarry Smith     (B)->ops->forwardsolve    = MatForwardSolve_SeqSBAIJ_1_NaturalOrdering;
1899719d5645SBarry Smith     (B)->ops->backwardsolve   = MatBackwardSolve_SeqSBAIJ_1_NaturalOrdering;
1900db4efbfdSBarry Smith   } else {
1901719d5645SBarry Smith     (B)->ops->solve           = MatSolve_SeqSBAIJ_1;
1902719d5645SBarry Smith     (B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1;
1903719d5645SBarry Smith     (B)->ops->forwardsolve    = MatForwardSolve_SeqSBAIJ_1;
1904719d5645SBarry Smith     (B)->ops->backwardsolve   = MatBackwardSolve_SeqSBAIJ_1;
1905db4efbfdSBarry Smith   }
1906db4efbfdSBarry Smith 
19073c9e8598SHong Zhang   C->assembled    = PETSC_TRUE;
19083c9e8598SHong Zhang   C->preallocated = PETSC_TRUE;
1909d0f46423SBarry Smith   ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr);
1910540703acSHong Zhang   if (sctx.nshift){
1911540703acSHong Zhang     if (shiftnz) {
19121e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
1913540703acSHong Zhang     } else if (shiftpd) {
19141e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
19150697b6caSHong Zhang     }
19163c9e8598SHong Zhang   }
19173c9e8598SHong Zhang   PetscFunctionReturn(0);
19183c9e8598SHong Zhang }
1919a6175056SHong Zhang 
1920a6175056SHong Zhang #undef __FUNCT__
1921a6175056SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ"
19220481f469SBarry Smith PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info)
1923a6175056SHong Zhang {
19240968510aSHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data;
1925ed59401aSHong Zhang   Mat_SeqSBAIJ       *b;
1926dfbe8321SBarry Smith   PetscErrorCode     ierr;
192758ebbce7SBarry Smith   PetscTruth         perm_identity,missing;
19285d0c19d7SBarry Smith   PetscInt           reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui;
19295d0c19d7SBarry Smith   const PetscInt     *rip,*riip;
1930ed59401aSHong Zhang   PetscInt           jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow;
193158ebbce7SBarry Smith   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL,d;
19325a8e39fbSHong Zhang   PetscInt           ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr;
1933ed59401aSHong Zhang   PetscReal          fill=info->fill,levels=info->levels;
1934a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1935a1a86e44SBarry Smith   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
19367a48dd6fSHong Zhang   PetscBT            lnkbt;
1937b635d36bSHong Zhang   IS                 iperm;
1938a6175056SHong Zhang 
1939a6175056SHong Zhang   PetscFunctionBegin;
1940d0f46423SBarry Smith   if (A->rmap->n != A->cmap->n) SETERRQ2(PETSC_ERR_ARG_WRONG,"Must be square matrix, rows %D columns %D",A->rmap->n,A->cmap->n);
194158ebbce7SBarry Smith   ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
194258ebbce7SBarry Smith   if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
1943653a6975SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
1944b635d36bSHong Zhang   ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr);
19457a48dd6fSHong Zhang 
194639e3d630SHong Zhang   ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
194739e3d630SHong Zhang   ui[0] = 0;
194839e3d630SHong Zhang 
1949b635d36bSHong Zhang   /* ICC(0) without matrix ordering: simply copies fill pattern */
1950622e2028SHong Zhang   if (!levels && perm_identity) {
195158ebbce7SBarry Smith 
1952ed59401aSHong Zhang     for (i=0; i<am; i++) {
195339e3d630SHong Zhang       ui[i+1] = ui[i] + ai[i+1] - a->diag[i];
1954ed59401aSHong Zhang     }
195539e3d630SHong Zhang     ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
195639e3d630SHong Zhang     cols = uj;
1957ed59401aSHong Zhang     for (i=0; i<am; i++) {
1958ed59401aSHong Zhang       aj    = a->j + a->diag[i];
195939e3d630SHong Zhang       ncols = ui[i+1] - ui[i];
196039e3d630SHong Zhang       for (j=0; j<ncols; j++) *cols++ = *aj++;
1961ed59401aSHong Zhang     }
196239e3d630SHong Zhang   } else { /* case: levels>0 || (levels=0 && !perm_identity) */
1963b635d36bSHong Zhang     ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr);
1964b635d36bSHong Zhang     ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
1965b635d36bSHong Zhang 
19667a48dd6fSHong Zhang     /* initialization */
19675a8e39fbSHong Zhang     ierr  = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr);
19687a48dd6fSHong Zhang 
19697a48dd6fSHong Zhang     /* jl: linked list for storing indices of the pivot rows
19707a48dd6fSHong Zhang        il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
19711393bc97SHong Zhang     ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr);
19727a48dd6fSHong Zhang     il         = jl + am;
19737a48dd6fSHong Zhang     uj_ptr     = (PetscInt**)(il + am);
19747a48dd6fSHong Zhang     uj_lvl_ptr = (PetscInt**)(uj_ptr + am);
19757a48dd6fSHong Zhang     for (i=0; i<am; i++){
19767a48dd6fSHong Zhang       jl[i] = am; il[i] = 0;
19777a48dd6fSHong Zhang     }
19787a48dd6fSHong Zhang 
19797a48dd6fSHong Zhang     /* create and initialize a linked list for storing column indices of the active row k */
19807a48dd6fSHong Zhang     nlnk = am + 1;
19812ed133dbSHong Zhang     ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
19827a48dd6fSHong Zhang 
19837a48dd6fSHong Zhang     /* initial FreeSpace size is fill*(ai[am]+1) */
1984a1a86e44SBarry Smith     ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr);
19857a48dd6fSHong Zhang     current_space = free_space;
1986a1a86e44SBarry Smith     ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr);
19877a48dd6fSHong Zhang     current_space_lvl = free_space_lvl;
19887a48dd6fSHong Zhang 
19897a48dd6fSHong Zhang     for (k=0; k<am; k++){  /* for each active row k */
19907a48dd6fSHong Zhang       /* initialize lnk by the column indices of row rip[k] of A */
19917a48dd6fSHong Zhang       nzk   = 0;
1992622e2028SHong Zhang       ncols = ai[rip[k]+1] - ai[rip[k]];
19933b4a8b6dSBarry Smith       if (!ncols) SETERRQ2(PETSC_ERR_MAT_CH_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",rip[k],k);
1994622e2028SHong Zhang       ncols_upper = 0;
1995622e2028SHong Zhang       for (j=0; j<ncols; j++){
1996b635d36bSHong Zhang         i = *(aj + ai[rip[k]] + j); /* unpermuted column index */
1997b635d36bSHong Zhang         if (riip[i] >= k){ /* only take upper triangular entry */
19985a8e39fbSHong Zhang           ajtmp[ncols_upper] = i;
1999622e2028SHong Zhang           ncols_upper++;
2000622e2028SHong Zhang         }
2001622e2028SHong Zhang       }
2002b635d36bSHong Zhang       ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
20037a48dd6fSHong Zhang       nzk += nlnk;
20047a48dd6fSHong Zhang 
20057a48dd6fSHong Zhang       /* update lnk by computing fill-in for each pivot row to be merged in */
20067a48dd6fSHong Zhang       prow = jl[k]; /* 1st pivot row */
20077a48dd6fSHong Zhang 
20087a48dd6fSHong Zhang       while (prow < k){
20097a48dd6fSHong Zhang         nextprow = jl[prow];
20107a48dd6fSHong Zhang 
20117a48dd6fSHong Zhang         /* merge prow into k-th row */
20127a48dd6fSHong Zhang         jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:am-1) */
20137a48dd6fSHong Zhang         jmax = ui[prow+1];
20147a48dd6fSHong Zhang         ncols = jmax-jmin;
2015ed59401aSHong Zhang         i     = jmin - ui[prow];
2016ed59401aSHong Zhang         cols  = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */
20175a8e39fbSHong Zhang         uj    = uj_lvl_ptr[prow] + i; /* levels of cols */
20185a8e39fbSHong Zhang         j     = *(uj - 1);
20195a8e39fbSHong Zhang         ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr);
20207a48dd6fSHong Zhang         nzk += nlnk;
20217a48dd6fSHong Zhang 
20227a48dd6fSHong Zhang         /* update il and jl for prow */
20237a48dd6fSHong Zhang         if (jmin < jmax){
20247a48dd6fSHong Zhang           il[prow] = jmin;
20257a48dd6fSHong Zhang           j = *cols; jl[prow] = jl[j]; jl[j] = prow;
20267a48dd6fSHong Zhang         }
20277a48dd6fSHong Zhang         prow = nextprow;
20287a48dd6fSHong Zhang       }
20297a48dd6fSHong Zhang 
20307a48dd6fSHong Zhang       /* if free space is not available, make more free space */
20317a48dd6fSHong Zhang       if (current_space->local_remaining<nzk) {
20327a48dd6fSHong Zhang         i = am - k + 1; /* num of unfactored rows */
20337a48dd6fSHong Zhang         i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
2034a1a86e44SBarry Smith         ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
2035a1a86e44SBarry Smith         ierr = PetscFreeSpaceGet(i,&current_space_lvl);CHKERRQ(ierr);
20367a48dd6fSHong Zhang         reallocs++;
20377a48dd6fSHong Zhang       }
20387a48dd6fSHong Zhang 
20397a48dd6fSHong Zhang       /* copy data into free_space and free_space_lvl, then initialize lnk */
2040b635d36bSHong Zhang       if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k);
20412ed133dbSHong Zhang       ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
20427a48dd6fSHong Zhang 
20437a48dd6fSHong Zhang       /* add the k-th row into il and jl */
204439e3d630SHong Zhang       if (nzk > 1){
20457a48dd6fSHong Zhang         i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
20467a48dd6fSHong Zhang         jl[k] = jl[i]; jl[i] = k;
20477a48dd6fSHong Zhang         il[k] = ui[k] + 1;
20487a48dd6fSHong Zhang       }
20497a48dd6fSHong Zhang       uj_ptr[k]     = current_space->array;
20507a48dd6fSHong Zhang       uj_lvl_ptr[k] = current_space_lvl->array;
20517a48dd6fSHong Zhang 
20527a48dd6fSHong Zhang       current_space->array           += nzk;
20537a48dd6fSHong Zhang       current_space->local_used      += nzk;
20547a48dd6fSHong Zhang       current_space->local_remaining -= nzk;
20557a48dd6fSHong Zhang 
20567a48dd6fSHong Zhang       current_space_lvl->array           += nzk;
20577a48dd6fSHong Zhang       current_space_lvl->local_used      += nzk;
20587a48dd6fSHong Zhang       current_space_lvl->local_remaining -= nzk;
20597a48dd6fSHong Zhang 
20607a48dd6fSHong Zhang       ui[k+1] = ui[k] + nzk;
20617a48dd6fSHong Zhang     }
20627a48dd6fSHong Zhang 
20636cf91177SBarry Smith #if defined(PETSC_USE_INFO)
20647a48dd6fSHong Zhang     if (ai[am] != 0) {
206539e3d630SHong Zhang       PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]);
2066ae15b995SBarry Smith       ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
2067ae15b995SBarry Smith       ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
2068ae15b995SBarry Smith       ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
20697a48dd6fSHong Zhang     } else {
2070ae15b995SBarry Smith       ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
20717a48dd6fSHong Zhang     }
207263ba0a88SBarry Smith #endif
20737a48dd6fSHong Zhang 
20747a48dd6fSHong Zhang     ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
2075b635d36bSHong Zhang     ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr);
20767a48dd6fSHong Zhang     ierr = PetscFree(jl);CHKERRQ(ierr);
20775a8e39fbSHong Zhang     ierr = PetscFree(ajtmp);CHKERRQ(ierr);
20787a48dd6fSHong Zhang 
20797a48dd6fSHong Zhang     /* destroy list of free space and other temporary array(s) */
20807a48dd6fSHong Zhang     ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
2081a1a86e44SBarry Smith     ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
20822ed133dbSHong Zhang     ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
2083a1a86e44SBarry Smith     ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
20847a48dd6fSHong Zhang 
208539e3d630SHong Zhang   } /* end of case: levels>0 || (levels=0 && !perm_identity) */
208639e3d630SHong Zhang 
20877a48dd6fSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
20887a48dd6fSHong Zhang 
2089719d5645SBarry Smith   b    = (Mat_SeqSBAIJ*)(fact)->data;
20907a48dd6fSHong Zhang   b->singlemalloc = PETSC_FALSE;
20917a48dd6fSHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
20927a48dd6fSHong Zhang   b->j    = uj;
20937a48dd6fSHong Zhang   b->i    = ui;
20947a48dd6fSHong Zhang   b->diag = 0;
20957a48dd6fSHong Zhang   b->ilen = 0;
20967a48dd6fSHong Zhang   b->imax = 0;
20977a48dd6fSHong Zhang   b->row  = perm;
2098b635d36bSHong Zhang   b->col  = perm;
2099b635d36bSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
2100b635d36bSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
2101b635d36bSHong Zhang   b->icol = iperm;
21027a48dd6fSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
21037a48dd6fSHong Zhang   ierr    = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
2104719d5645SBarry Smith   ierr = PetscLogObjectMemory((fact),(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
21057a48dd6fSHong Zhang   b->maxnz   = b->nz = ui[am];
2106e6b907acSBarry Smith   b->free_a  = PETSC_TRUE;
2107e6b907acSBarry Smith   b->free_ij = PETSC_TRUE;
21087a48dd6fSHong Zhang 
2109719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
2110719d5645SBarry Smith   (fact)->info.fill_ratio_given  = fill;
21117a48dd6fSHong Zhang   if (ai[am] != 0) {
2112719d5645SBarry Smith     (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]);
21137a48dd6fSHong Zhang   } else {
2114719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 0.0;
21157a48dd6fSHong Zhang   }
2116719d5645SBarry Smith   (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ;
2117a6175056SHong Zhang   PetscFunctionReturn(0);
2118a6175056SHong Zhang }
2119d5d45c9bSBarry Smith 
2120f76d2b81SHong Zhang #undef __FUNCT__
2121f76d2b81SHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ"
21220481f469SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info)
2123f76d2b81SHong Zhang {
2124f76d2b81SHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data;
212510c27e3dSHong Zhang   Mat_SeqSBAIJ       *b;
2126dfbe8321SBarry Smith   PetscErrorCode     ierr;
2127f76d2b81SHong Zhang   PetscTruth         perm_identity;
212810c27e3dSHong Zhang   PetscReal          fill = info->fill;
21295d0c19d7SBarry Smith   const PetscInt     *rip,*riip;
21305d0c19d7SBarry Smith   PetscInt           i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow;
213110c27e3dSHong Zhang   PetscInt           *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow;
21322ed133dbSHong Zhang   PetscInt           nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr;
2133a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
213410c27e3dSHong Zhang   PetscBT            lnkbt;
21352ed133dbSHong Zhang   IS                 iperm;
2136f76d2b81SHong Zhang 
2137f76d2b81SHong Zhang   PetscFunctionBegin;
2138d0f46423SBarry Smith   if (A->rmap->n != A->cmap->n) SETERRQ2(PETSC_ERR_ARG_WRONG,"Must be square matrix, rows %D columns %D",A->rmap->n,A->cmap->n);
21392ed133dbSHong Zhang   /* check whether perm is the identity mapping */
2140f76d2b81SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
21412ed133dbSHong Zhang   ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr);
21422ed133dbSHong Zhang   ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr);
21439bfd6278SHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
214410c27e3dSHong Zhang 
214510c27e3dSHong Zhang   /* initialization */
21461393bc97SHong Zhang   ierr  = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
214710c27e3dSHong Zhang   ui[0] = 0;
214810c27e3dSHong Zhang 
214910c27e3dSHong Zhang   /* jl: linked list for storing indices of the pivot rows
21501393bc97SHong Zhang      il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
21511393bc97SHong Zhang   ierr = PetscMalloc((3*am+1)*sizeof(PetscInt)+am*sizeof(PetscInt**),&jl);CHKERRQ(ierr);
21521393bc97SHong Zhang   il     = jl + am;
21531393bc97SHong Zhang   cols   = il + am;
21541393bc97SHong Zhang   ui_ptr = (PetscInt**)(cols + am);
21551393bc97SHong Zhang   for (i=0; i<am; i++){
21561393bc97SHong Zhang     jl[i] = am; il[i] = 0;
2157f76d2b81SHong Zhang   }
215810c27e3dSHong Zhang 
215910c27e3dSHong Zhang   /* create and initialize a linked list for storing column indices of the active row k */
21601393bc97SHong Zhang   nlnk = am + 1;
21611393bc97SHong Zhang   ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
216210c27e3dSHong Zhang 
21631393bc97SHong Zhang   /* initial FreeSpace size is fill*(ai[am]+1) */
2164a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr);
216510c27e3dSHong Zhang   current_space = free_space;
216610c27e3dSHong Zhang 
21671393bc97SHong Zhang   for (k=0; k<am; k++){  /* for each active row k */
216810c27e3dSHong Zhang     /* initialize lnk by the column indices of row rip[k] of A */
216910c27e3dSHong Zhang     nzk   = 0;
21702ed133dbSHong Zhang     ncols = ai[rip[k]+1] - ai[rip[k]];
21713b4a8b6dSBarry Smith     if (!ncols) SETERRQ2(PETSC_ERR_MAT_CH_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",rip[k],k);
21722ed133dbSHong Zhang     ncols_upper = 0;
21732ed133dbSHong Zhang     for (j=0; j<ncols; j++){
21749bfd6278SHong Zhang       i = riip[*(aj + ai[rip[k]] + j)];
21752ed133dbSHong Zhang       if (i >= k){ /* only take upper triangular entry */
21762ed133dbSHong Zhang         cols[ncols_upper] = i;
21772ed133dbSHong Zhang         ncols_upper++;
21782ed133dbSHong Zhang       }
21792ed133dbSHong Zhang     }
21801393bc97SHong Zhang     ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
218110c27e3dSHong Zhang     nzk += nlnk;
218210c27e3dSHong Zhang 
218310c27e3dSHong Zhang     /* update lnk by computing fill-in for each pivot row to be merged in */
218410c27e3dSHong Zhang     prow = jl[k]; /* 1st pivot row */
218510c27e3dSHong Zhang 
218610c27e3dSHong Zhang     while (prow < k){
218710c27e3dSHong Zhang       nextprow = jl[prow];
218810c27e3dSHong Zhang       /* merge prow into k-th row */
21891393bc97SHong Zhang       jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:am-1) */
219010c27e3dSHong Zhang       jmax = ui[prow+1];
219110c27e3dSHong Zhang       ncols = jmax-jmin;
21921393bc97SHong Zhang       uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */
21935a8e39fbSHong Zhang       ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
219410c27e3dSHong Zhang       nzk += nlnk;
219510c27e3dSHong Zhang 
219610c27e3dSHong Zhang       /* update il and jl for prow */
219710c27e3dSHong Zhang       if (jmin < jmax){
219810c27e3dSHong Zhang         il[prow] = jmin;
21992ed133dbSHong Zhang         j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow;
220010c27e3dSHong Zhang       }
220110c27e3dSHong Zhang       prow = nextprow;
220210c27e3dSHong Zhang     }
220310c27e3dSHong Zhang 
220410c27e3dSHong Zhang     /* if free space is not available, make more free space */
220510c27e3dSHong Zhang     if (current_space->local_remaining<nzk) {
22061393bc97SHong Zhang       i = am - k + 1; /* num of unfactored rows */
220710c27e3dSHong Zhang       i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
2208a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
220910c27e3dSHong Zhang       reallocs++;
221010c27e3dSHong Zhang     }
221110c27e3dSHong Zhang 
221210c27e3dSHong Zhang     /* copy data into free space, then initialize lnk */
22131393bc97SHong Zhang     ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
221410c27e3dSHong Zhang 
221510c27e3dSHong Zhang     /* add the k-th row into il and jl */
221610c27e3dSHong Zhang     if (nzk-1 > 0){
22171393bc97SHong Zhang       i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
221810c27e3dSHong Zhang       jl[k] = jl[i]; jl[i] = k;
221910c27e3dSHong Zhang       il[k] = ui[k] + 1;
222010c27e3dSHong Zhang     }
22212ed133dbSHong Zhang     ui_ptr[k] = current_space->array;
222210c27e3dSHong Zhang     current_space->array           += nzk;
222310c27e3dSHong Zhang     current_space->local_used      += nzk;
222410c27e3dSHong Zhang     current_space->local_remaining -= nzk;
222510c27e3dSHong Zhang 
222610c27e3dSHong Zhang     ui[k+1] = ui[k] + nzk;
222710c27e3dSHong Zhang   }
222810c27e3dSHong Zhang 
22296cf91177SBarry Smith #if defined(PETSC_USE_INFO)
22301393bc97SHong Zhang   if (ai[am] != 0) {
22311393bc97SHong Zhang     PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]);
2232ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
2233ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
2234ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
223510c27e3dSHong Zhang   } else {
2236ae15b995SBarry Smith      ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
223710c27e3dSHong Zhang   }
223863ba0a88SBarry Smith #endif
223910c27e3dSHong Zhang 
224010c27e3dSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
22419bfd6278SHong Zhang   ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr);
224210c27e3dSHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
224310c27e3dSHong Zhang 
224410c27e3dSHong Zhang   /* destroy list of free space and other temporary array(s) */
22451393bc97SHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
2246a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
224710c27e3dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
224810c27e3dSHong Zhang 
224910c27e3dSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
225010c27e3dSHong Zhang 
2251719d5645SBarry Smith   b = (Mat_SeqSBAIJ*)(fact)->data;
225210c27e3dSHong Zhang   b->singlemalloc = PETSC_FALSE;
2253e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
2254e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
22551393bc97SHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
225610c27e3dSHong Zhang   b->j    = uj;
225710c27e3dSHong Zhang   b->i    = ui;
225810c27e3dSHong Zhang   b->diag = 0;
225910c27e3dSHong Zhang   b->ilen = 0;
226010c27e3dSHong Zhang   b->imax = 0;
226110c27e3dSHong Zhang   b->row  = perm;
22629bfd6278SHong Zhang   b->col  = perm;
22639bfd6278SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
22649bfd6278SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
22659bfd6278SHong Zhang   b->icol = iperm;
226610c27e3dSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
22671393bc97SHong Zhang   ierr    = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
2268719d5645SBarry Smith   ierr    = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
22691393bc97SHong Zhang   b->maxnz = b->nz = ui[am];
227010c27e3dSHong Zhang 
2271719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
2272719d5645SBarry Smith   (fact)->info.fill_ratio_given  = fill;
22731393bc97SHong Zhang   if (ai[am] != 0) {
2274719d5645SBarry Smith     (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]);
227510c27e3dSHong Zhang   } else {
2276719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 0.0;
227710c27e3dSHong Zhang   }
2278719d5645SBarry Smith   (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ;
2279f76d2b81SHong Zhang   PetscFunctionReturn(0);
2280f76d2b81SHong Zhang }
2281599ef60dSHong Zhang 
2282599ef60dSHong Zhang #undef __FUNCT__
2283*894a2336SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering_newdatastruct"
2284*894a2336SHong Zhang PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_newdatastruct(Mat A,Vec bb,Vec xx)
2285599ef60dSHong Zhang {
22861d098868SHong Zhang   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
22871d098868SHong Zhang   PetscErrorCode    ierr;
22881d098868SHong Zhang   PetscInt          n = A->rmap->n;
22898fc3a347SHong Zhang   const PetscInt    *ai = a->i,*aj = a->j,*vi;
22901d098868SHong Zhang   PetscScalar       *x,sum;
22911d098868SHong Zhang   const PetscScalar *b;
22921d098868SHong Zhang   const MatScalar   *aa = a->a,*v;
22938fc3a347SHong Zhang   PetscInt          i,nz;
22941d098868SHong Zhang 
22951d098868SHong Zhang   PetscFunctionBegin;
22961d098868SHong Zhang   if (!n) PetscFunctionReturn(0);
22971d098868SHong Zhang 
22981d098868SHong Zhang   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
22991d098868SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
23001d098868SHong Zhang 
23011d098868SHong Zhang   /* forward solve the lower triangular */
23021d098868SHong Zhang   x[0] = b[0];
23031d098868SHong Zhang   v    = aa;
23041d098868SHong Zhang   vi   = aj;
23051d098868SHong Zhang   for (i=1; i<n; i++) {
23061d098868SHong Zhang     nz  = ai[i+1] - ai[i];
23071d098868SHong Zhang     sum = b[i];
2308003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,x,v,vi,nz);
2309e09e08ccSBarry Smith     /*    while (nz--) sum -= *v++ * x[*vi++];*/
2310e0e43300SBarry Smith     v  += nz;
2311e0e43300SBarry Smith     vi += nz;
23121d098868SHong Zhang     x[i] = sum;
23131d098868SHong Zhang   }
23141d098868SHong Zhang 
23151d098868SHong Zhang   /* backward solve the upper triangular */
23168fc3a347SHong Zhang   v   = aa + ai[n+1];
23178fc3a347SHong Zhang   vi  = aj + ai[n+1];
23181d098868SHong Zhang   for (i=n-1; i>=0; i--){
23198fc3a347SHong Zhang     nz = ai[2*n-i +1] - ai[2*n-i]-1;
23201d098868SHong Zhang     sum = x[i];
2321003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,x,v,vi,nz);
2322e09e08ccSBarry Smith     /* while (nz--) sum -= *v++ * x[*vi++]; */
2323e0e43300SBarry Smith     v   += nz;
23248fc3a347SHong Zhang     vi  += nz; vi++;
2325fe31b70dSHong Zhang     x[i] = *v++ *sum; /* x[i]=aa[adiag[i]]*sum; v++; */
23261d098868SHong Zhang   }
23271d098868SHong Zhang 
23281d098868SHong Zhang   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
23291d098868SHong Zhang   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
23301d098868SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
23311d098868SHong Zhang   PetscFunctionReturn(0);
23321d098868SHong Zhang }
23331d098868SHong Zhang 
23341d098868SHong Zhang #undef __FUNCT__
2335*894a2336SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_newdatastruct"
2336*894a2336SHong Zhang PetscErrorCode MatSolve_SeqAIJ_newdatastruct(Mat A,Vec bb,Vec xx)
23371d098868SHong Zhang {
23381d098868SHong Zhang   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
23391d098868SHong Zhang   IS                iscol = a->col,isrow = a->row;
23401d098868SHong Zhang   PetscErrorCode    ierr;
2341*894a2336SHong Zhang   PetscInt          i,n=A->rmap->n,*vi,*ai=a->i,*aj=a->j,nz,k;
23421d098868SHong Zhang   const PetscInt    *rout,*cout,*r,*c;
2343*894a2336SHong Zhang   PetscScalar       *x,*tmp,*tmps,sum;
23441d098868SHong Zhang   const PetscScalar *b;
23451d098868SHong Zhang   const MatScalar   *aa = a->a,*v;
23461d098868SHong Zhang 
23471d098868SHong Zhang   PetscFunctionBegin;
23481d098868SHong Zhang   if (!n) PetscFunctionReturn(0);
23491d098868SHong Zhang 
23501d098868SHong Zhang   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
23511d098868SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
23521d098868SHong Zhang   tmp  = a->solve_work;
23531d098868SHong Zhang 
23541d098868SHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
2355*894a2336SHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
23561d098868SHong Zhang 
23571d098868SHong Zhang   /* forward solve the lower triangular */
23581d098868SHong Zhang   tmp[0] = b[*r++];
23591d098868SHong Zhang   tmps   = tmp;
23601d098868SHong Zhang   v      = aa;
23611d098868SHong Zhang   vi     = aj;
23621d098868SHong Zhang   for (i=1; i<n; i++) {
23631d098868SHong Zhang     nz  = ai[i+1] - ai[i];
2364*894a2336SHong Zhang     sum = b[*r++];
2365*894a2336SHong Zhang     PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
2366*894a2336SHong Zhang     tmp[i] = sum;
23671d098868SHong Zhang     v += nz; vi += nz;
23681d098868SHong Zhang   }
23691d098868SHong Zhang 
23701d098868SHong Zhang   /* backward solve the upper triangular */
2371*894a2336SHong Zhang   k  = n+1;
2372*894a2336SHong Zhang   v  = aa + ai[k]; /* 1st entry of U(n-1,:) */
2373*894a2336SHong Zhang   vi = aj + ai[k];
23741d098868SHong Zhang   for (i=n-1; i>=0; i--){
2375*894a2336SHong Zhang     k  = 2*n-i;
2376*894a2336SHong Zhang     nz = ai[k +1] - ai[k] - 1;
2377*894a2336SHong Zhang     sum = tmp[i];
2378*894a2336SHong Zhang     PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
2379*894a2336SHong Zhang     x[c[i]] = tmp[i] = sum*v[nz]; /* v[nz] = aa[adiag[i]] */
23801d098868SHong Zhang     v += nz+1; vi += nz+1;
23811d098868SHong Zhang   }
23821d098868SHong Zhang 
23831d098868SHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
23841d098868SHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
23851d098868SHong Zhang   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
23861d098868SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
23871d098868SHong Zhang   ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr);
23881d098868SHong Zhang   PetscFunctionReturn(0);
23891d098868SHong Zhang }
23901d098868SHong Zhang 
23911d098868SHong Zhang #undef __FUNCT__
23921d098868SHong Zhang #define __FUNCT__ "MatILUDTFactor_SeqAIJ"
23931d098868SHong Zhang PetscErrorCode MatILUDTFactor_SeqAIJ(Mat A,IS isrow,IS iscol,const MatFactorInfo *info,Mat *fact)
23941d098868SHong Zhang {
23951d098868SHong Zhang   Mat                B = *fact;
2396599ef60dSHong Zhang   Mat_SeqAIJ         *a=(Mat_SeqAIJ*)A->data,*b;
2397599ef60dSHong Zhang   IS                 isicol;
2398599ef60dSHong Zhang   PetscErrorCode     ierr;
23991d098868SHong Zhang   const PetscInt     *r,*ic;
24001d098868SHong Zhang   PetscInt           i,n=A->rmap->n,*ai=a->i,*aj=a->j,*ajtmp,*adiag;
2401dc3a2fd3SHong Zhang   PetscInt           *bi,*bj,*bdiag,*bdiag_rev;
2402f61a948aSLisandro Dalcin   PetscInt           row,nzi,nzi_bl,nzi_bu,*im,nzi_al,nzi_au;
24031d098868SHong Zhang   PetscInt           nlnk,*lnk;
24041d098868SHong Zhang   PetscBT            lnkbt;
24051d098868SHong Zhang   PetscTruth         row_identity,icol_identity,both_identity;
24068aee2decSHong Zhang   MatScalar          *aatmp,*pv,*batmp,*ba,*rtmp,*pc,multiplier,*vtmp,diag_tmp;
24071d098868SHong Zhang   const PetscInt     *ics;
24081d098868SHong Zhang   PetscInt           j,nz,*pj,*bjtmp,k,ncut,*jtmp;
2409f61a948aSLisandro Dalcin   PetscReal          dt=info->dt,dtcol=info->dtcol,shift=info->shiftinblocks;
2410f61a948aSLisandro Dalcin   PetscInt           dtcount=(PetscInt)info->dtcount,nnz_max;
2411599ef60dSHong Zhang   PetscTruth         missing;
2412599ef60dSHong Zhang 
2413599ef60dSHong Zhang   PetscFunctionBegin;
2414f61a948aSLisandro Dalcin 
2415f61a948aSLisandro Dalcin   if (dt      == PETSC_DEFAULT) dt      = 0.005;
2416f61a948aSLisandro Dalcin   if (dtcol   == PETSC_DEFAULT) dtcol   = 0.01; /* XXX unused! */
2417f61a948aSLisandro Dalcin   if (dtcount == PETSC_DEFAULT) dtcount = (PetscInt)(1.5*a->rmax);
2418f61a948aSLisandro Dalcin 
24191d098868SHong Zhang   /* ------- symbolic factorization, can be reused ---------*/
24201d098868SHong Zhang   ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr);
24211d098868SHong Zhang   if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",i);
24221d098868SHong Zhang   adiag=a->diag;
2423599ef60dSHong Zhang 
2424599ef60dSHong Zhang   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
2425599ef60dSHong Zhang 
2426599ef60dSHong Zhang   /* bdiag is location of diagonal in factor */
2427a6226a1aSHong Zhang   ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
2428a6226a1aSHong Zhang   bdiag_rev = bdiag + n+1;
2429599ef60dSHong Zhang 
24301d098868SHong Zhang   /* allocate row pointers bi */
24318fc3a347SHong Zhang   ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
24321d098868SHong Zhang 
24331d098868SHong Zhang   /* allocate bj and ba; max num of nonzero entries is (ai[n]+2*n*dtcount+2) */
2434393d3a68SHong Zhang   if (dtcount > n-1) dtcount = n-1; /* diagonal is excluded */
24351d098868SHong Zhang   nnz_max  = ai[n]+2*n*dtcount+2;
24368fc3a347SHong Zhang 
24378fc3a347SHong Zhang   ierr = PetscMalloc((nnz_max+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
24388fc3a347SHong Zhang   ierr = PetscMalloc((nnz_max+1)*sizeof(MatScalar),&ba);CHKERRQ(ierr);
2439599ef60dSHong Zhang 
2440599ef60dSHong Zhang   /* put together the new matrix */
2441599ef60dSHong Zhang   ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
2442599ef60dSHong Zhang   ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr);
2443599ef60dSHong Zhang   b    = (Mat_SeqAIJ*)(B)->data;
2444599ef60dSHong Zhang   b->free_a       = PETSC_TRUE;
2445599ef60dSHong Zhang   b->free_ij      = PETSC_TRUE;
2446599ef60dSHong Zhang   b->singlemalloc = PETSC_FALSE;
2447599ef60dSHong Zhang   b->a          = ba;
2448599ef60dSHong Zhang   b->j          = bj;
2449599ef60dSHong Zhang   b->i          = bi;
2450599ef60dSHong Zhang   b->diag       = bdiag;
2451599ef60dSHong Zhang   b->ilen       = 0;
2452599ef60dSHong Zhang   b->imax       = 0;
2453599ef60dSHong Zhang   b->row        = isrow;
2454599ef60dSHong Zhang   b->col        = iscol;
2455599ef60dSHong Zhang   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
2456599ef60dSHong Zhang   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
2457599ef60dSHong Zhang   b->icol       = isicol;
2458599ef60dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
2459599ef60dSHong Zhang 
24601d098868SHong Zhang   ierr = PetscLogObjectMemory(B,nnz_max*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
24611d098868SHong Zhang   b->maxnz = nnz_max;
2462599ef60dSHong Zhang 
2463599ef60dSHong Zhang   (B)->factor                = MAT_FACTOR_ILUDT;
2464599ef60dSHong Zhang   (B)->info.factor_mallocs   = 0;
24651d098868SHong Zhang   (B)->info.fill_ratio_given = ((PetscReal)nnz_max)/((PetscReal)ai[n]);
24661d098868SHong Zhang   CHKMEMQ;
24671d098868SHong Zhang   /* ------- end of symbolic factorization ---------*/
2468599ef60dSHong Zhang 
2469599ef60dSHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
2470599ef60dSHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
2471599ef60dSHong Zhang   ics  = ic;
2472599ef60dSHong Zhang 
2473599ef60dSHong Zhang   /* linked list for storing column indices of the active row */
2474599ef60dSHong Zhang   nlnk = n + 1;
2475599ef60dSHong Zhang   ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
24761d098868SHong Zhang 
24771d098868SHong Zhang   /* im: used by PetscLLAddSortedLU(); jtmp: working array for column indices of active row */
24781d098868SHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(PetscInt),&im);CHKERRQ(ierr);
24791d098868SHong Zhang   jtmp = im + n;
24801d098868SHong Zhang   /* rtmp, vtmp: working arrays for sparse and contiguous row entries of active row */
24818369b28dSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
24828aee2decSHong Zhang   ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
24838369b28dSHong Zhang   vtmp = rtmp + n;
2484599ef60dSHong Zhang 
2485599ef60dSHong Zhang   bi[0]    = 0;
24868fc3a347SHong Zhang   bdiag[0] = nnz_max-1; /* location of diag[0] in factor B */
2487dc3a2fd3SHong Zhang   bdiag_rev[n] = bdiag[0];
24888fc3a347SHong Zhang   bi[2*n+1] = bdiag[0]+1; /* endof bj and ba array */
2489599ef60dSHong Zhang   for (i=0; i<n; i++) {
2490599ef60dSHong Zhang     /* copy initial fill into linked list */
2491599ef60dSHong Zhang     nzi = 0; /* nonzeros for active row i */
24928369b28dSHong Zhang     nzi = ai[r[i]+1] - ai[r[i]];
24938369b28dSHong Zhang     if (!nzi) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i);
24948369b28dSHong Zhang     nzi_al = adiag[r[i]] - ai[r[i]];
24958369b28dSHong Zhang     nzi_au = ai[r[i]+1] - adiag[r[i]] -1;
2496599ef60dSHong Zhang     ajtmp = aj + ai[r[i]];
24978369b28dSHong Zhang     ierr = PetscLLAddPerm(nzi,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
2498599ef60dSHong Zhang 
2499599ef60dSHong Zhang     /* load in initial (unfactored row) */
25001d098868SHong Zhang     aatmp = a->a + ai[r[i]];
25018369b28dSHong Zhang     for (j=0; j<nzi; j++) {
25021d098868SHong Zhang       rtmp[ics[*ajtmp++]] = *aatmp++;
2503599ef60dSHong Zhang     }
2504599ef60dSHong Zhang 
2505599ef60dSHong Zhang     /* add pivot rows into linked list */
2506599ef60dSHong Zhang     row = lnk[n];
2507599ef60dSHong Zhang     while (row < i ) {
25081d098868SHong Zhang       nzi_bl = bi[row+1] - bi[row] + 1;
25091d098868SHong Zhang       bjtmp = bj + bdiag[row+1]+1; /* points to 1st column next to the diagonal in U */
25101d098868SHong Zhang       ierr  = PetscLLAddSortedLU(bjtmp,row,nlnk,lnk,lnkbt,i,nzi_bl,im);CHKERRQ(ierr);
2511599ef60dSHong Zhang       nzi  += nlnk;
2512599ef60dSHong Zhang       row   = lnk[row];
2513599ef60dSHong Zhang     }
2514599ef60dSHong Zhang 
25158369b28dSHong Zhang     /* copy data from lnk into jtmp, then initialize lnk */
25168369b28dSHong Zhang     ierr = PetscLLClean(n,n,nzi,lnk,jtmp,lnkbt);CHKERRQ(ierr);
2517599ef60dSHong Zhang 
2518599ef60dSHong Zhang     /* numerical factorization */
25198369b28dSHong Zhang     bjtmp = jtmp;
2520599ef60dSHong Zhang     row   = *bjtmp++; /* 1st pivot row */
2521599ef60dSHong Zhang     while  ( row < i ) {
2522599ef60dSHong Zhang       pc         = rtmp + row;
25233c2a7987SHong Zhang       pv         = ba + bdiag[row]; /* 1./(diag of the pivot row) */
25243c2a7987SHong Zhang       multiplier = (*pc) * (*pv);
2525599ef60dSHong Zhang       *pc        = multiplier;
25263c2a7987SHong Zhang       if (PetscAbsScalar(*pc) > dt){ /* apply tolerance dropping rule */
25271d098868SHong Zhang         pj         = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */
25281d098868SHong Zhang         pv         = ba + bdiag[row+1] + 1;
25291d098868SHong Zhang         /* if (multiplier < -1.0 or multiplier >1.0) printf("row/prow %d, %d, multiplier %g\n",i,row,multiplier); */
25301d098868SHong Zhang         nz         = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */
25311d098868SHong Zhang         for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++);
2532dc0b31edSSatish Balay         ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
2533599ef60dSHong Zhang       }
2534599ef60dSHong Zhang       row = *bjtmp++;
2535599ef60dSHong Zhang     }
2536599ef60dSHong Zhang 
25378369b28dSHong Zhang     /* copy sparse rtmp into contiguous vtmp; separate L and U part */
25388aee2decSHong Zhang     diag_tmp = rtmp[i];  /* save diagonal value - may not needed?? */
25398369b28dSHong Zhang     nzi_bl = 0; j = 0;
25408369b28dSHong Zhang     while (jtmp[j] < i){ /* Note: jtmp is sorted */
25418aee2decSHong Zhang       vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0;
25428369b28dSHong Zhang       nzi_bl++; j++;
25438369b28dSHong Zhang     }
25448369b28dSHong Zhang     nzi_bu = nzi - nzi_bl -1;
25458369b28dSHong Zhang     while (j < nzi){
25468aee2decSHong Zhang       vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0;
25478369b28dSHong Zhang       j++;
25488369b28dSHong Zhang     }
25498369b28dSHong Zhang 
2550599ef60dSHong Zhang     bjtmp = bj + bi[i];
2551599ef60dSHong Zhang     batmp = ba + bi[i];
25528369b28dSHong Zhang     /* apply level dropping rule to L part */
25538369b28dSHong Zhang     ncut = nzi_al + dtcount;
25548369b28dSHong Zhang     if (ncut < nzi_bl){
25558369b28dSHong Zhang       ierr = PetscSortSplit(ncut,nzi_bl,vtmp,jtmp);CHKERRQ(ierr);
25568369b28dSHong Zhang       ierr = PetscSortIntWithScalarArray(ncut,jtmp,vtmp);CHKERRQ(ierr);
2557599ef60dSHong Zhang     } else {
25588369b28dSHong Zhang       ncut = nzi_bl;
25598369b28dSHong Zhang     }
25608369b28dSHong Zhang     for (j=0; j<ncut; j++){
25618369b28dSHong Zhang       bjtmp[j] = jtmp[j];
25628369b28dSHong Zhang       batmp[j] = vtmp[j];
25636da515a1SHong Zhang       /* printf(" (%d,%g),",bjtmp[j],batmp[j]); */
25648369b28dSHong Zhang     }
25651d098868SHong Zhang     bi[i+1] = bi[i] + ncut;
25668369b28dSHong Zhang     nzi = ncut + 1;
25678369b28dSHong Zhang 
25688369b28dSHong Zhang     /* apply level dropping rule to U part */
25698369b28dSHong Zhang     ncut = nzi_au + dtcount;
25708369b28dSHong Zhang     if (ncut < nzi_bu){
25718369b28dSHong Zhang       ierr = PetscSortSplit(ncut,nzi_bu,vtmp+nzi_bl+1,jtmp+nzi_bl+1);CHKERRQ(ierr);
25728369b28dSHong Zhang       ierr = PetscSortIntWithScalarArray(ncut,jtmp+nzi_bl+1,vtmp+nzi_bl+1);CHKERRQ(ierr);
25738369b28dSHong Zhang     } else {
25748369b28dSHong Zhang       ncut = nzi_bu;
25758369b28dSHong Zhang     }
25768369b28dSHong Zhang     nzi += ncut;
25771d098868SHong Zhang 
25781d098868SHong Zhang     /* mark bdiagonal */
25791d098868SHong Zhang     bdiag[i+1]       = bdiag[i] - (ncut + 1);
2580dc3a2fd3SHong Zhang     bdiag_rev[n-i-1] = bdiag[i+1];
25818fc3a347SHong Zhang     bi[2*n - i]      = bi[2*n - i +1] - (ncut + 1);
25821d098868SHong Zhang     bjtmp = bj + bdiag[i];
25831d098868SHong Zhang     batmp = ba + bdiag[i];
25841d098868SHong Zhang     *bjtmp = i;
25858aee2decSHong Zhang     *batmp = diag_tmp; /* rtmp[i]; */
2586c9c72f8fSHong Zhang     if (*batmp == 0.0) {
2587c9c72f8fSHong Zhang       *batmp = dt+shift;
2588bd1bc851SBarry Smith       /* printf(" row %d add shift %g\n",i,shift); */
2589c9c72f8fSHong Zhang     }
2590b78a477dSHong Zhang     *batmp = 1.0/(*batmp); /* invert diagonal entries for simplier triangular solves */
25916da515a1SHong Zhang     /* printf(" (%d,%g),",*bjtmp,*batmp); */
25921d098868SHong Zhang 
25931d098868SHong Zhang     bjtmp = bj + bdiag[i+1]+1;
25941d098868SHong Zhang     batmp = ba + bdiag[i+1]+1;
25958369b28dSHong Zhang     for (k=0; k<ncut; k++){
25961d098868SHong Zhang       bjtmp[k] = jtmp[nzi_bl+1+k];
25971d098868SHong Zhang       batmp[k] = vtmp[nzi_bl+1+k];
25986da515a1SHong Zhang       /* printf(" (%d,%g),",bjtmp[k],batmp[k]); */
2599599ef60dSHong Zhang     }
26006da515a1SHong Zhang     /* printf("\n"); */
2601599ef60dSHong Zhang 
2602599ef60dSHong Zhang     im[i]   = nzi; /* used by PetscLLAddSortedLU() */
2603599ef60dSHong Zhang     /*
26041d098868SHong Zhang     printf("row %d: bi %d, bdiag %d\n",i,bi[i],bdiag[i]);
26058369b28dSHong Zhang     printf(" ----------------------------\n");
2606599ef60dSHong Zhang     */
26078369b28dSHong Zhang   } /* for (i=0; i<n; i++) */
26081d098868SHong Zhang   /* printf("end of L %d, beginning of U %d\n",bi[n],bdiag[n]); */
26091d098868SHong Zhang   if (bi[n] >= bdiag[n]) SETERRQ2(PETSC_ERR_ARG_SIZ,"end of L array %d cannot >= the beginning of U array %d",bi[n],bdiag[n]);
2610599ef60dSHong Zhang 
2611599ef60dSHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
2612599ef60dSHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
2613599ef60dSHong Zhang 
2614599ef60dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
2615599ef60dSHong Zhang   ierr = PetscFree(im);CHKERRQ(ierr);
2616599ef60dSHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
2617599ef60dSHong Zhang 
2618599ef60dSHong Zhang   ierr = PetscLogFlops(B->cmap->n);CHKERRQ(ierr);
26191d098868SHong Zhang   b->maxnz = b->nz = bi[n] + bdiag[0] - bdiag[n];
2620599ef60dSHong Zhang 
2621599ef60dSHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
2622599ef60dSHong Zhang   ierr = ISIdentity(isicol,&icol_identity);CHKERRQ(ierr);
2623599ef60dSHong Zhang   both_identity = (PetscTruth) (row_identity && icol_identity);
2624599ef60dSHong Zhang   if (row_identity && icol_identity) {
2625*894a2336SHong Zhang     B->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_newdatastruct;
2626599ef60dSHong Zhang   } else {
2627*894a2336SHong Zhang     B->ops->solve = MatSolve_SeqAIJ_newdatastruct;
2628599ef60dSHong Zhang   }
2629599ef60dSHong Zhang 
2630b78a477dSHong Zhang   B->ops->lufactorsymbolic  = MatILUDTFactorSymbolic_SeqAIJ;
2631b78a477dSHong Zhang   B->ops->lufactornumeric   = MatILUDTFactorNumeric_SeqAIJ;
26321d098868SHong Zhang   B->ops->solveadd          = 0;
26331d098868SHong Zhang   B->ops->solvetranspose    = 0;
26341d098868SHong Zhang   B->ops->solvetransposeadd = 0;
26351d098868SHong Zhang   B->ops->matsolve          = 0;
2636599ef60dSHong Zhang   B->assembled              = PETSC_TRUE;
2637599ef60dSHong Zhang   B->preallocated           = PETSC_TRUE;
2638599ef60dSHong Zhang   PetscFunctionReturn(0);
2639599ef60dSHong Zhang }
2640599ef60dSHong Zhang 
26413c2a7987SHong Zhang /* a wraper of MatILUDTFactor_SeqAIJ() */
26423c2a7987SHong Zhang #undef __FUNCT__
26433c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorSymbolic_SeqAIJ"
26443c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS row,IS col,const MatFactorInfo *info)
26453c2a7987SHong Zhang {
26463c2a7987SHong Zhang   PetscErrorCode     ierr;
26473c2a7987SHong Zhang 
26483c2a7987SHong Zhang   PetscFunctionBegin;
26493c2a7987SHong Zhang   ierr = MatILUDTFactor_SeqAIJ(A,row,col,info,&fact);CHKERRQ(ierr);
26503c2a7987SHong Zhang 
26513c2a7987SHong Zhang   fact->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ;
26523c2a7987SHong Zhang   PetscFunctionReturn(0);
26533c2a7987SHong Zhang }
26543c2a7987SHong Zhang 
26553c2a7987SHong Zhang /*
26563c2a7987SHong Zhang    same as MatLUFactorNumeric_SeqAIJ(), except using contiguous array matrix factors
26573c2a7987SHong Zhang    - intend to replace existing MatLUFactorNumeric_SeqAIJ()
26583c2a7987SHong Zhang */
26593c2a7987SHong Zhang #undef __FUNCT__
26603c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorNumeric_SeqAIJ"
26613c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorNumeric_SeqAIJ(Mat fact,Mat A,const MatFactorInfo *info)
26623c2a7987SHong Zhang {
26633c2a7987SHong Zhang   Mat            C=fact;
26643c2a7987SHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data;
26653c2a7987SHong Zhang   IS             isrow = b->row,isicol = b->icol;
26663c2a7987SHong Zhang   PetscErrorCode ierr;
26673c2a7987SHong Zhang   const PetscInt *r,*ic,*ics;
2668b78a477dSHong Zhang   PetscInt       i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
2669b78a477dSHong Zhang   PetscInt       *ajtmp,*bjtmp,nz,nzl,nzu,row,*bdiag = b->diag,*pj;
26703c2a7987SHong Zhang   MatScalar      *rtmp,*pc,multiplier,*v,*pv,*aa=a->a;
2671b78a477dSHong Zhang   PetscReal      dt=info->dt,shift=info->shiftinblocks;
2672b78a477dSHong Zhang   PetscTruth     row_identity, col_identity;
26733c2a7987SHong Zhang 
26743c2a7987SHong Zhang   PetscFunctionBegin;
26753c2a7987SHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
26763c2a7987SHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
2677b78a477dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
26783c2a7987SHong Zhang   ics  = ic;
26793c2a7987SHong Zhang 
26803c2a7987SHong Zhang   for (i=0; i<n; i++){
2681b78a477dSHong Zhang     /* initialize rtmp array */
2682b78a477dSHong Zhang     nzl   = bi[i+1] - bi[i];       /* num of nozeros in L(i,:) */
26833c2a7987SHong Zhang     bjtmp = bj + bi[i];
2684b78a477dSHong Zhang     for  (j=0; j<nzl; j++) rtmp[*bjtmp++] = 0.0;
2685b78a477dSHong Zhang     rtmp[i] = 0.0;
2686b78a477dSHong Zhang     nzu   = bdiag[i] - bdiag[i+1]; /* num of nozeros in U(i,:) */
2687b78a477dSHong Zhang     bjtmp = bj + bdiag[i+1] + 1;
2688b78a477dSHong Zhang     for  (j=0; j<nzu; j++) rtmp[*bjtmp++] = 0.0;
26893c2a7987SHong Zhang 
2690b78a477dSHong Zhang     /* load in initial unfactored row of A */
26916da515a1SHong Zhang     /* printf("row %d\n",i); */
26923c2a7987SHong Zhang     nz    = ai[r[i]+1] - ai[r[i]];
26933c2a7987SHong Zhang     ajtmp = aj + ai[r[i]];
26943c2a7987SHong Zhang     v     = aa + ai[r[i]];
26953c2a7987SHong Zhang     for (j=0; j<nz; j++) {
2696b78a477dSHong Zhang       rtmp[ics[*ajtmp++]] = v[j];
26976da515a1SHong Zhang       /* printf(" (%d,%g),",ics[ajtmp[j]],rtmp[ics[ajtmp[j]]]); */
26983c2a7987SHong Zhang     }
26996da515a1SHong Zhang     /* printf("\n"); */
27003c2a7987SHong Zhang 
2701b78a477dSHong Zhang     /* numerical factorization */
2702b78a477dSHong Zhang     bjtmp = bj + bi[i]; /* point to 1st entry of L(i,:) */
2703b78a477dSHong Zhang     nzl   = bi[i+1] - bi[i]; /* num of entries in L(i,:) */
2704b78a477dSHong Zhang     k = 0;
2705b78a477dSHong Zhang     while (k < nzl){
27063c2a7987SHong Zhang       row   = *bjtmp++;
27076da515a1SHong Zhang       /* printf("  prow %d\n",row); */
27083c2a7987SHong Zhang       pc         = rtmp + row;
2709b78a477dSHong Zhang       pv         = b->a + bdiag[row]; /* 1./(diag of the pivot row) */
2710b78a477dSHong Zhang       multiplier = (*pc) * (*pv);
27113c2a7987SHong Zhang       *pc        = multiplier;
2712b78a477dSHong Zhang       if (PetscAbsScalar(multiplier) > dt){
2713b78a477dSHong Zhang         pj         = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */
2714b78a477dSHong Zhang         pv         = b->a + bdiag[row+1] + 1;
2715b78a477dSHong Zhang         nz         = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */
2716b78a477dSHong Zhang         for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++);
27176da515a1SHong Zhang         /* ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); */
27183c2a7987SHong Zhang       }
2719b78a477dSHong Zhang       k++;
27203c2a7987SHong Zhang     }
27213c2a7987SHong Zhang 
2722b78a477dSHong Zhang     /* finished row so stick it into b->a */
2723b78a477dSHong Zhang     /* L-part */
2724b78a477dSHong Zhang     pv = b->a + bi[i] ;
2725b78a477dSHong Zhang     pj = bj + bi[i] ;
2726b78a477dSHong Zhang     nzl = bi[i+1] - bi[i];
2727b78a477dSHong Zhang     for (j=0; j<nzl; j++) {
2728b78a477dSHong Zhang       pv[j] = rtmp[pj[j]];
27296da515a1SHong Zhang       /* printf(" (%d,%g),",pj[j],pv[j]); */
27303c2a7987SHong Zhang     }
2731b78a477dSHong Zhang 
2732b78a477dSHong Zhang     /* diagonal: invert diagonal entries for simplier triangular solves */
2733b78a477dSHong Zhang     if (rtmp[i] == 0.0) rtmp[i] = dt+shift;
2734b78a477dSHong Zhang     b->a[bdiag[i]] = 1.0/rtmp[i];
27356da515a1SHong Zhang     /* printf(" (%d,%g),",i,b->a[bdiag[i]]); */
2736b78a477dSHong Zhang 
2737b78a477dSHong Zhang     /* U-part */
2738b78a477dSHong Zhang     pv = b->a + bdiag[i+1] + 1;
2739b78a477dSHong Zhang     pj = bj + bdiag[i+1] + 1;
2740b78a477dSHong Zhang     nzu = bdiag[i] - bdiag[i+1] - 1;
2741b78a477dSHong Zhang     for (j=0; j<nzu; j++) {
2742b78a477dSHong Zhang       pv[j] = rtmp[pj[j]];
27436da515a1SHong Zhang       /* printf(" (%d,%g),",pj[j],pv[j]); */
2744b78a477dSHong Zhang     }
27456da515a1SHong Zhang     /* printf("\n"); */
2746b78a477dSHong Zhang   }
2747b78a477dSHong Zhang 
27483c2a7987SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
27493c2a7987SHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
27503c2a7987SHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
2751b78a477dSHong Zhang 
27523c2a7987SHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
27533c2a7987SHong Zhang   ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr);
27543c2a7987SHong Zhang   if (row_identity && col_identity) {
2755*894a2336SHong Zhang     C->ops->solve   = MatSolve_SeqAIJ_NaturalOrdering_newdatastruct;
27563c2a7987SHong Zhang   } else {
2757*894a2336SHong Zhang     C->ops->solve   = MatSolve_SeqAIJ_newdatastruct;
27583c2a7987SHong Zhang   }
2759b78a477dSHong Zhang   C->ops->solveadd           = 0;
2760b78a477dSHong Zhang   C->ops->solvetranspose     = 0;
2761b78a477dSHong Zhang   C->ops->solvetransposeadd  = 0;
2762b78a477dSHong Zhang   C->ops->matsolve           = 0;
27633c2a7987SHong Zhang   C->assembled    = PETSC_TRUE;
27643c2a7987SHong Zhang   C->preallocated = PETSC_TRUE;
27653c2a7987SHong Zhang   ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
27663c2a7987SHong Zhang   PetscFunctionReturn(0);
27673c2a7987SHong Zhang }
2768