xref: /petsc/src/mat/impls/aij/seq/aijfact.c (revision 16a2bf60b70183e8805f81386d242775129f636f)
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;
147289bc588SBarry Smith 
1483a40ed3dSBarry Smith   PetscFunctionBegin;
149d0f46423SBarry Smith   if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square");
1504c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
151ac121b3dSBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
152ac121b3dSBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
153289bc588SBarry Smith 
154289bc588SBarry Smith   /* get new row pointers */
1551393bc97SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
1561393bc97SHong Zhang   bi[0] = 0;
1571393bc97SHong Zhang 
1581393bc97SHong Zhang   /* bdiag is location of diagonal in factor */
1591393bc97SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
1601393bc97SHong Zhang   bdiag[0] = 0;
1611393bc97SHong Zhang 
1621393bc97SHong Zhang   /* linked list for storing column indices of the active row */
1631393bc97SHong Zhang   nlnk = n + 1;
1641393bc97SHong Zhang   ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
1651393bc97SHong Zhang 
16635baf27eSSatish Balay   ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr);
1671393bc97SHong Zhang 
1681393bc97SHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
169d3d32019SBarry Smith   f = info->fill;
170a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
1711393bc97SHong Zhang   current_space = free_space;
172289bc588SBarry Smith 
173289bc588SBarry Smith   for (i=0; i<n; i++) {
1741393bc97SHong Zhang     /* copy previous fill into linked list */
175289bc588SBarry Smith     nzi = 0;
1761393bc97SHong Zhang     nnz = ai[r[i]+1] - ai[r[i]];
1773b4a8b6dSBarry 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);
1781393bc97SHong Zhang     ajtmp = aj + ai[r[i]];
179afcc9904SHong Zhang     ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
1801393bc97SHong Zhang     nzi += nlnk;
1811393bc97SHong Zhang 
1821393bc97SHong Zhang     /* add pivot rows into linked list */
1831393bc97SHong Zhang     row = lnk[n];
1841393bc97SHong Zhang     while (row < i) {
185d1170560SHong Zhang       nzbd    = bdiag[row] - bi[row] + 1; /* num of entries in the row with column index <= row */
186d1170560SHong Zhang       ajtmp   = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */
187d1170560SHong Zhang       ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr);
1881393bc97SHong Zhang       nzi += nlnk;
1891393bc97SHong Zhang       row  = lnk[row];
190289bc588SBarry Smith     }
1911393bc97SHong Zhang     bi[i+1] = bi[i] + nzi;
1921393bc97SHong Zhang     im[i]   = nzi;
1931393bc97SHong Zhang 
1941393bc97SHong Zhang     /* mark bdiag */
1951393bc97SHong Zhang     nzbd = 0;
1961393bc97SHong Zhang     nnz  = nzi;
1971393bc97SHong Zhang     k    = lnk[n];
1981393bc97SHong Zhang     while (nnz-- && k < i){
1991393bc97SHong Zhang       nzbd++;
2001393bc97SHong Zhang       k = lnk[k];
2011393bc97SHong Zhang     }
2021393bc97SHong Zhang     bdiag[i] = bi[i] + nzbd;
2031393bc97SHong Zhang 
2041393bc97SHong Zhang     /* if free space is not available, make more free space */
2051393bc97SHong Zhang     if (current_space->local_remaining<nzi) {
2061393bc97SHong Zhang       nnz = (n - i)*nzi; /* estimated and max additional space needed */
207a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
2081393bc97SHong Zhang       reallocs++;
2091393bc97SHong Zhang     }
2101393bc97SHong Zhang 
2111393bc97SHong Zhang     /* copy data into free space, then initialize lnk */
2121393bc97SHong Zhang     ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
2131393bc97SHong Zhang     bi_ptr[i] = current_space->array;
2141393bc97SHong Zhang     current_space->array           += nzi;
2151393bc97SHong Zhang     current_space->local_used      += nzi;
2161393bc97SHong Zhang     current_space->local_remaining -= nzi;
217289bc588SBarry Smith   }
2186cf91177SBarry Smith #if defined(PETSC_USE_INFO)
219464e8d44SSatish Balay   if (ai[n] != 0) {
2201393bc97SHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
221ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
222ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
223ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr);
224ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
22505bf559cSSatish Balay   } else {
226ae15b995SBarry Smith     ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr);
22705bf559cSSatish Balay   }
22863ba0a88SBarry Smith #endif
2292fb3ed76SBarry Smith 
230898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
231898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
2321987afe7SBarry Smith 
2331393bc97SHong Zhang   /* destroy list of free space and other temporary array(s) */
2341393bc97SHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
235a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr);
2361393bc97SHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
23735baf27eSSatish Balay   ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr);
238289bc588SBarry Smith 
239289bc588SBarry Smith   /* put together the new matrix */
240719d5645SBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
241719d5645SBarry Smith   ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr);
242719d5645SBarry Smith   b    = (Mat_SeqAIJ*)(B)->data;
243e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
244e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
2457c922b88SBarry Smith   b->singlemalloc = PETSC_FALSE;
2461393bc97SHong Zhang   ierr          = PetscMalloc((bi[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
2471393bc97SHong Zhang   b->j          = bj;
2481393bc97SHong Zhang   b->i          = bi;
2491393bc97SHong Zhang   b->diag       = bdiag;
250416022c9SBarry Smith   b->ilen       = 0;
251416022c9SBarry Smith   b->imax       = 0;
252416022c9SBarry Smith   b->row        = isrow;
253416022c9SBarry Smith   b->col        = iscol;
254c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
255c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
25682bf6240SBarry Smith   b->icol       = isicol;
25787828ca2SBarry Smith   ierr          = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
2581393bc97SHong Zhang 
2591393bc97SHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.  Allocate solve_work, new a, new j */
260719d5645SBarry Smith   ierr = PetscLogObjectMemory(B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
2611393bc97SHong Zhang   b->maxnz = b->nz = bi[n] ;
2627fd98bd6SLois Curfman McInnes 
263719d5645SBarry Smith   (B)->factor                = MAT_FACTOR_LU;
264719d5645SBarry Smith   (B)->info.factor_mallocs   = reallocs;
265719d5645SBarry Smith   (B)->info.fill_ratio_given = f;
266703deb49SSatish Balay 
2679f7d0b68SHong Zhang   if (ai[n]) {
268719d5645SBarry Smith     (B)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]);
269eea2913aSSatish Balay   } else {
270719d5645SBarry Smith     (B)->info.fill_ratio_needed = 0.0;
271eea2913aSSatish Balay   }
272719d5645SBarry Smith   (B)->ops->lufactornumeric  = MatLUFactorNumeric_SeqAIJ;
273719d5645SBarry Smith   (B)->ops->solve            = MatSolve_SeqAIJ;
274719d5645SBarry Smith   (B)->ops->solvetranspose   = MatSolveTranspose_SeqAIJ;
275db4efbfdSBarry Smith   /* switch to inodes if appropriate */
276719d5645SBarry Smith   ierr = MatLUFactorSymbolic_Inode(B,A,isrow,iscol,info);CHKERRQ(ierr);
2773a40ed3dSBarry Smith   PetscFunctionReturn(0);
278289bc588SBarry Smith }
2791393bc97SHong Zhang 
2805b5bc046SBarry Smith /*
2815b5bc046SBarry Smith     Trouble in factorization, should we dump the original matrix?
2825b5bc046SBarry Smith */
2835b5bc046SBarry Smith #undef __FUNCT__
2845b5bc046SBarry Smith #define __FUNCT__ "MatFactorDumpMatrix"
2855b5bc046SBarry Smith PetscErrorCode MatFactorDumpMatrix(Mat A)
2865b5bc046SBarry Smith {
2875b5bc046SBarry Smith   PetscErrorCode ierr;
28890d69ab7SBarry Smith   PetscTruth     flg = PETSC_FALSE;
2895b5bc046SBarry Smith 
2905b5bc046SBarry Smith   PetscFunctionBegin;
29190d69ab7SBarry Smith   ierr = PetscOptionsGetTruth(PETSC_NULL,"-mat_factor_dump_on_error",&flg,PETSC_NULL);CHKERRQ(ierr);
2925b5bc046SBarry Smith   if (flg) {
2935b5bc046SBarry Smith     PetscViewer viewer;
2945b5bc046SBarry Smith     char        filename[PETSC_MAX_PATH_LEN];
2955b5bc046SBarry Smith 
2965b5bc046SBarry Smith     ierr = PetscSNPrintf(filename,PETSC_MAX_PATH_LEN,"matrix_factor_error.%d",PetscGlobalRank);CHKERRQ(ierr);
2977adad957SLisandro Dalcin     ierr = PetscViewerBinaryOpen(((PetscObject)A)->comm,filename,FILE_MODE_WRITE,&viewer);CHKERRQ(ierr);
2985b5bc046SBarry Smith     ierr = MatView(A,viewer);CHKERRQ(ierr);
2995b5bc046SBarry Smith     ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr);
3005b5bc046SBarry Smith   }
3015b5bc046SBarry Smith   PetscFunctionReturn(0);
3025b5bc046SBarry Smith }
3035b5bc046SBarry Smith 
304db4efbfdSBarry Smith extern PetscErrorCode MatSolve_Inode(Mat,Vec,Vec);
305db4efbfdSBarry Smith 
3060a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
307c9c72f8fSHong Zhang extern PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_iludt(Mat,Vec,Vec);
308c9c72f8fSHong Zhang extern PetscErrorCode MatSolve_SeqAIJ_iludt(Mat,Vec,Vec);
309c9c72f8fSHong Zhang 
310c9c72f8fSHong Zhang #undef __FUNCT__
311c9c72f8fSHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_newdatastruct"
312c9c72f8fSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqAIJ_newdatastruct(Mat B,Mat A,const MatFactorInfo *info)
313c9c72f8fSHong Zhang {
314c9c72f8fSHong Zhang   Mat            C=B;
315c9c72f8fSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data;
316c9c72f8fSHong Zhang   IS             isrow = b->row,isicol = b->icol;
317c9c72f8fSHong Zhang   PetscErrorCode ierr;
318c9c72f8fSHong Zhang   const PetscInt *r,*ic,*ics;
319c9c72f8fSHong Zhang   PetscInt       i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
320c9c72f8fSHong Zhang   PetscInt       *ajtmp,*bjtmp,nz,nzL,row,*bdiag=b->diag,*pj;
321c9c72f8fSHong Zhang   MatScalar      *rtmp,*pc,multiplier,*v,*pv,*aa=a->a;
322c9c72f8fSHong Zhang   PetscReal      shift=info->shiftinblocks;
323c9c72f8fSHong Zhang   PetscTruth     row_identity, col_identity;
324c9c72f8fSHong Zhang 
325c9c72f8fSHong Zhang   PetscFunctionBegin;
326c9c72f8fSHong Zhang   /* printf("MatLUFactorNumeric_SeqAIJ_newdatastruct is called ...\n"); */
327c9c72f8fSHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
328c9c72f8fSHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
329c9c72f8fSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
330c9c72f8fSHong Zhang   ics  = ic;
331c9c72f8fSHong Zhang 
332c9c72f8fSHong Zhang   for (i=0; i<n; i++){
333c9c72f8fSHong Zhang     /* zero rtmp */
334c9c72f8fSHong Zhang     /* L part */
335c9c72f8fSHong Zhang     nz    = bi[i+1] - bi[i];
336c9c72f8fSHong Zhang     bjtmp = bj + bi[i];
337c9c72f8fSHong Zhang     for  (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0;
338c9c72f8fSHong Zhang 
339c9c72f8fSHong Zhang     /* U part */
3408fc3a347SHong Zhang     nz = bi[2*n-i+1] - bi[2*n-i];
3418fc3a347SHong Zhang     bjtmp = bj + bi[2*n-i];
342c9c72f8fSHong Zhang     for  (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0;
343c9c72f8fSHong Zhang 
344c9c72f8fSHong Zhang     /* load in initial (unfactored row) */
345c9c72f8fSHong Zhang     nz    = ai[r[i]+1] - ai[r[i]];
346c9c72f8fSHong Zhang     ajtmp = aj + ai[r[i]];
347c9c72f8fSHong Zhang     v     = aa + ai[r[i]];
348c9c72f8fSHong Zhang     for (j=0; j<nz; j++) {
349c9c72f8fSHong Zhang       rtmp[ics[ajtmp[j]]] = v[j];
350c9c72f8fSHong Zhang     }
351c9c72f8fSHong Zhang     if (rtmp[ics[r[i]]] == 0.0){
352c9c72f8fSHong Zhang       rtmp[ics[r[i]]] += shift; /* shift the diagonal of the matrix */
353c9c72f8fSHong Zhang       /* printf("row %d, shift %g\n",i,shift); */
354c9c72f8fSHong Zhang     }
355c9c72f8fSHong Zhang 
356c9c72f8fSHong Zhang     /* elimination */
357c9c72f8fSHong Zhang     bjtmp = bj + bi[i];
358c9c72f8fSHong Zhang     row   = *bjtmp++;
359c9c72f8fSHong Zhang     nzL   = bi[i+1] - bi[i];
360c9c72f8fSHong Zhang     k   = 0;
361c9c72f8fSHong Zhang     while  (k < nzL) {
362c9c72f8fSHong Zhang       pc = rtmp + row;
363c9c72f8fSHong Zhang       if (*pc != 0.0) {
364c9c72f8fSHong Zhang         pv         = b->a + bdiag[row];
365c9c72f8fSHong Zhang         multiplier = *pc * (*pv);
366c9c72f8fSHong Zhang         *pc        = multiplier;
3678fc3a347SHong Zhang         pj         = b->j + bi[2*n-row]; /* begining of U(row,:) */
3688fc3a347SHong Zhang         pv         = b->a + bi[2*n-row];
3698fc3a347SHong Zhang         nz         = bi[2*n-row+1] - bi[2*n-row] - 1; /* num of entries in U(row,:), excluding diag */
370c9c72f8fSHong Zhang         for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
371c9c72f8fSHong Zhang         ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
372c9c72f8fSHong Zhang       }
373c9c72f8fSHong Zhang       row = *bjtmp++; k++;
374c9c72f8fSHong Zhang     }
375c9c72f8fSHong Zhang 
376c9c72f8fSHong Zhang     /* finished row so stick it into b->a */
377c9c72f8fSHong Zhang     /* L part */
378c9c72f8fSHong Zhang     pv   = b->a + bi[i] ;
379c9c72f8fSHong Zhang     pj   = b->j + bi[i] ;
380c9c72f8fSHong Zhang     nz   = bi[i+1] - bi[i];
381c9c72f8fSHong Zhang     for (j=0; j<nz; j++) {
382c9c72f8fSHong Zhang       pv[j] = rtmp[pj[j]];
383c9c72f8fSHong Zhang     }
384c9c72f8fSHong Zhang 
385c9c72f8fSHong Zhang     /* Mark diagonal and invert diagonal for simplier triangular solves */
386c9c72f8fSHong Zhang     pv  = b->a + bdiag[i];
387c9c72f8fSHong Zhang     pj  = b->j + bdiag[i];
388c9c72f8fSHong Zhang     /* if (*pj != i)SETERRQ2(PETSC_ERR_SUP,"row %d != *pj %d",i,*pj) */
389c9c72f8fSHong Zhang     *pv = 1.0/rtmp[*pj];
390c9c72f8fSHong Zhang 
391c9c72f8fSHong Zhang     /* U part */
3928fc3a347SHong Zhang     pv = b->a + bi[2*n-i];
3938fc3a347SHong Zhang     pj = b->j + bi[2*n-i];
3948fc3a347SHong Zhang     nz = bi[2*n-i+1] - bi[2*n-i] - 1;
3958fc3a347SHong Zhang     for (j=0; j<nz; j++) pv[j] = rtmp[pj[j]];
396c9c72f8fSHong Zhang   }
397c9c72f8fSHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
398c9c72f8fSHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
399c9c72f8fSHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
400c9c72f8fSHong Zhang 
401c9c72f8fSHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
402c9c72f8fSHong Zhang   ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr);
403c9c72f8fSHong Zhang   if (row_identity && col_identity) {
404c9c72f8fSHong Zhang     C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_iludt;
405c9c72f8fSHong Zhang   } else {
406c9c72f8fSHong Zhang     C->ops->solve = MatSolve_SeqAIJ_iludt;
407c9c72f8fSHong Zhang   }
408c9c72f8fSHong Zhang 
409c9c72f8fSHong Zhang   C->ops->solveadd           = 0;
410c9c72f8fSHong Zhang   C->ops->solvetranspose     = 0;
411c9c72f8fSHong Zhang   C->ops->solvetransposeadd  = 0;
412c9c72f8fSHong Zhang   C->ops->matsolve           = 0;
413c9c72f8fSHong Zhang   C->assembled    = PETSC_TRUE;
414c9c72f8fSHong Zhang   C->preallocated = PETSC_TRUE;
415c9c72f8fSHong Zhang   ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
416c9c72f8fSHong Zhang   PetscFunctionReturn(0);
417c9c72f8fSHong Zhang }
418c9c72f8fSHong Zhang 
4194a2ae208SSatish Balay #undef __FUNCT__
4204a2ae208SSatish Balay #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ"
4210481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info)
422289bc588SBarry Smith {
423719d5645SBarry Smith   Mat             C=B;
424416022c9SBarry Smith   Mat_SeqAIJ      *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data;
42582bf6240SBarry Smith   IS              isrow = b->row,isicol = b->icol;
4266849ba73SBarry Smith   PetscErrorCode  ierr;
4275d0c19d7SBarry Smith   const PetscInt   *r,*ic,*ics;
428d278edc7SBarry Smith   PetscInt        nz,row,i,j,n=A->rmap->n,diag;
429d278edc7SBarry Smith   const PetscInt  *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
430d278edc7SBarry Smith   const PetscInt  *ajtmp,*bjtmp,*diag_offset = b->diag,*pj;
431d278edc7SBarry Smith   MatScalar       *pv,*rtmp,*pc,multiplier,d;
432d278edc7SBarry Smith   const MatScalar *v,*aa=a->a;
43333f9893dSHong Zhang   PetscReal       rs=0.0;
434b3bf805bSHong Zhang   LUShift_Ctx     sctx;
43542898933SHong Zhang   PetscInt        newshift,*ddiag;
436289bc588SBarry Smith 
4373a40ed3dSBarry Smith   PetscFunctionBegin;
43878b31e54SBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
43978b31e54SBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
440b78a477dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
4419f7d0b68SHong Zhang   ics  = ic;
442289bc588SBarry Smith 
443ada7143aSSatish Balay   sctx.shift_top      = 0;
444ada7143aSSatish Balay   sctx.nshift_max     = 0;
445ada7143aSSatish Balay   sctx.shift_lo       = 0;
446ada7143aSSatish Balay   sctx.shift_hi       = 0;
4470481f469SBarry Smith   sctx.shift_fraction = 0;
448ada7143aSSatish Balay 
449118f5789SBarry Smith   /* if both shift schemes are chosen by user, only use info->shiftpd */
4501a890ab1SHong Zhang   if (info->shiftpd) { /* set sctx.shift_top=max{rs} */
45142898933SHong Zhang     ddiag          = a->diag;
4529f7d0b68SHong Zhang     sctx.shift_top = info->zeropivot;
4536cc28720Svictorle     for (i=0; i<n; i++) {
4549f95998fSHong Zhang       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
4559f7d0b68SHong Zhang       d  = (aa)[ddiag[i]];
4561a890ab1SHong Zhang       rs = -PetscAbsScalar(d) - PetscRealPart(d);
4579f7d0b68SHong Zhang       v  = aa+ai[i];
4589f7d0b68SHong Zhang       nz = ai[i+1] - ai[i];
459e24cfe64SHong Zhang       for (j=0; j<nz; j++)
4601a890ab1SHong Zhang 	rs += PetscAbsScalar(v[j]);
4611a890ab1SHong Zhang       if (rs>sctx.shift_top) sctx.shift_top = rs;
4626cc28720Svictorle     }
463118f5789SBarry Smith     sctx.shift_top   *= 1.1;
464d2276718SHong Zhang     sctx.nshift_max   = 5;
465d2276718SHong Zhang     sctx.shift_lo     = 0.;
466d2276718SHong Zhang     sctx.shift_hi     = 1.;
467a0a356efSHong Zhang   }
468a0a356efSHong Zhang 
4699f7d0b68SHong Zhang   sctx.shift_amount = 0.0;
470a0a356efSHong Zhang   sctx.nshift       = 0;
471085256b3SBarry Smith   do {
472d2276718SHong Zhang     sctx.lushift = PETSC_FALSE;
473289bc588SBarry Smith     for (i=0; i<n; i++){
474b3bf805bSHong Zhang       nz    = bi[i+1] - bi[i];
475b3bf805bSHong Zhang       bjtmp = bj + bi[i];
4769f7d0b68SHong Zhang       for  (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0;
477289bc588SBarry Smith 
478289bc588SBarry Smith       /* load in initial (unfactored row) */
4799f7d0b68SHong Zhang       nz    = ai[r[i]+1] - ai[r[i]];
4809f7d0b68SHong Zhang       ajtmp = aj + ai[r[i]];
4819f7d0b68SHong Zhang       v     = aa + ai[r[i]];
482085256b3SBarry Smith       for (j=0; j<nz; j++) {
483b3bf805bSHong Zhang         rtmp[ics[ajtmp[j]]] = v[j];
484085256b3SBarry Smith       }
485d2276718SHong Zhang       rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */
486bd1bc851SBarry Smith       /* if (sctx.shift_amount > 0.0) printf("row %d, shift %g\n",i,sctx.shift_amount); */
487289bc588SBarry Smith 
488b3bf805bSHong Zhang       row = *bjtmp++;
489f2582111SSatish Balay       while  (row < i) {
4908c37ef55SBarry Smith         pc = rtmp + row;
4918c37ef55SBarry Smith         if (*pc != 0.0) {
492010a20caSHong Zhang           pv         = b->a + diag_offset[row];
493010a20caSHong Zhang           pj         = b->j + diag_offset[row] + 1;
49435aab85fSBarry Smith           multiplier = *pc / *pv++;
4958c37ef55SBarry Smith           *pc        = multiplier;
496b3bf805bSHong Zhang           nz         = bi[row+1] - diag_offset[row] - 1;
4979f7d0b68SHong Zhang           for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
498dc0b31edSSatish Balay           ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
499289bc588SBarry Smith         }
500b3bf805bSHong Zhang         row = *bjtmp++;
501289bc588SBarry Smith       }
502416022c9SBarry Smith       /* finished row so stick it into b->a */
503b3bf805bSHong Zhang       pv   = b->a + bi[i] ;
504b3bf805bSHong Zhang       pj   = b->j + bi[i] ;
505b3bf805bSHong Zhang       nz   = bi[i+1] - bi[i];
506b3bf805bSHong Zhang       diag = diag_offset[i] - bi[i];
507e57ff13aSBarry Smith       rs   = 0.0;
508d3d32019SBarry Smith       for (j=0; j<nz; j++) {
5099f7d0b68SHong Zhang         pv[j] = rtmp[pj[j]];
5109f7d0b68SHong Zhang         rs   += PetscAbsScalar(pv[j]);
511d3d32019SBarry Smith       }
512e57ff13aSBarry Smith       rs   -= PetscAbsScalar(pv[diag]);
513d2276718SHong Zhang 
514b3bf805bSHong Zhang       /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */
515d2276718SHong Zhang       sctx.rs  = rs;
516d2276718SHong Zhang       sctx.pv  = pv[diag];
517c6b1f410SHong Zhang       ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr);
5185b5bc046SBarry Smith       if (newshift == 1) break;
51935aab85fSBarry Smith     }
520d2276718SHong Zhang 
5210481f469SBarry Smith     if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
5226cc28720Svictorle       /*
5236c037d1bSvictorle        * if no shift in this attempt & shifting & started shifting & can refine,
5246cc28720Svictorle        * then try lower shift
5256cc28720Svictorle        */
5260481f469SBarry Smith       sctx.shift_hi       = sctx.shift_fraction;
5270481f469SBarry Smith       sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
5280481f469SBarry Smith       sctx.shift_amount   = sctx.shift_fraction * sctx.shift_top;
529d2276718SHong Zhang       sctx.lushift        = PETSC_TRUE;
530d2276718SHong Zhang       sctx.nshift++;
5316cc28720Svictorle     }
532d2276718SHong Zhang   } while (sctx.lushift);
5330f11f9aeSSatish Balay 
53435aab85fSBarry Smith   /* invert diagonal entries for simplier triangular solves */
53535aab85fSBarry Smith   for (i=0; i<n; i++) {
536010a20caSHong Zhang     b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]];
53735aab85fSBarry Smith   }
538606d414cSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
53978b31e54SBarry Smith   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
54078b31e54SBarry Smith   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
541db4efbfdSBarry Smith   if (b->inode.use) {
542db4efbfdSBarry Smith     C->ops->solve   = MatSolve_Inode;
543db4efbfdSBarry Smith   } else {
5448d8c7c43SBarry Smith     PetscTruth row_identity, col_identity;
5458d8c7c43SBarry Smith     ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
5468d8c7c43SBarry Smith     ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr);
5478d8c7c43SBarry Smith     if (row_identity && col_identity) {
5488d8c7c43SBarry Smith       C->ops->solve   = MatSolve_SeqAIJ_NaturalOrdering;
5498d8c7c43SBarry Smith     } else {
550db4efbfdSBarry Smith       C->ops->solve   = MatSolve_SeqAIJ;
551db4efbfdSBarry Smith     }
5528d8c7c43SBarry Smith   }
553db4efbfdSBarry Smith   C->ops->solveadd           = MatSolveAdd_SeqAIJ;
554db4efbfdSBarry Smith   C->ops->solvetranspose     = MatSolveTranspose_SeqAIJ;
555db4efbfdSBarry Smith   C->ops->solvetransposeadd  = MatSolveTransposeAdd_SeqAIJ;
556de26497bSBarry Smith   C->ops->matsolve           = MatMatSolve_SeqAIJ;
557c456f294SBarry Smith   C->assembled    = PETSC_TRUE;
5585c9eb25fSBarry Smith   C->preallocated = PETSC_TRUE;
559d0f46423SBarry Smith   ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
560d2276718SHong Zhang   if (sctx.nshift){
561e738e422SBarry Smith      if (info->shiftpd) {
5620481f469SBarry 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);
563e738e422SBarry Smith     } else if (info->shiftnz) {
564e738e422SBarry Smith       ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
5656cc28720Svictorle     }
5660697b6caSHong Zhang   }
5673a40ed3dSBarry Smith   PetscFunctionReturn(0);
568289bc588SBarry Smith }
5690889b5dcSvictorle 
570137fb511SHong Zhang /*
571137fb511SHong Zhang    This routine implements inplace ILU(0) with row or/and column permutations.
572137fb511SHong Zhang    Input:
573137fb511SHong Zhang      A - original matrix
574137fb511SHong Zhang    Output;
575137fb511SHong Zhang      A - a->i (rowptr) is same as original rowptr, but factored i-the row is stored in rowperm[i]
576137fb511SHong Zhang          a->j (col index) is permuted by the inverse of colperm, then sorted
577137fb511SHong Zhang          a->a reordered accordingly with a->j
578137fb511SHong Zhang          a->diag (ptr to diagonal elements) is updated.
579137fb511SHong Zhang */
580137fb511SHong Zhang #undef __FUNCT__
581137fb511SHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_InplaceWithPerm"
5820481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ_InplaceWithPerm(Mat B,Mat A,const MatFactorInfo *info)
583137fb511SHong Zhang {
584b051339dSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data;
585b051339dSHong Zhang   IS             isrow = a->row,isicol = a->icol;
586137fb511SHong Zhang   PetscErrorCode ierr;
5875d0c19d7SBarry Smith   const PetscInt *r,*ic,*ics;
5885d0c19d7SBarry Smith   PetscInt       i,j,n=A->rmap->n,*ai=a->i,*aj=a->j;
5895d0c19d7SBarry Smith   PetscInt       *ajtmp,nz,row;
590b051339dSHong Zhang   PetscInt       *diag = a->diag,nbdiag,*pj;
591a77337e4SBarry Smith   PetscScalar    *rtmp,*pc,multiplier,d;
592a77337e4SBarry Smith   MatScalar      *v,*pv;
593137fb511SHong Zhang   PetscReal      rs;
594137fb511SHong Zhang   LUShift_Ctx    sctx;
595b051339dSHong Zhang   PetscInt       newshift;
596137fb511SHong Zhang 
597137fb511SHong Zhang   PetscFunctionBegin;
598719d5645SBarry Smith   if (A != B) SETERRQ(PETSC_ERR_ARG_INCOMP,"input and output matrix must have same address");
599137fb511SHong Zhang   ierr  = ISGetIndices(isrow,&r);CHKERRQ(ierr);
600137fb511SHong Zhang   ierr  = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
601137fb511SHong Zhang   ierr  = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr);
602137fb511SHong Zhang   ierr  = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
603b051339dSHong Zhang   ics = ic;
604137fb511SHong Zhang 
605137fb511SHong Zhang   sctx.shift_top      = 0;
606137fb511SHong Zhang   sctx.nshift_max     = 0;
607137fb511SHong Zhang   sctx.shift_lo       = 0;
608137fb511SHong Zhang   sctx.shift_hi       = 0;
6090481f469SBarry Smith   sctx.shift_fraction = 0;
610137fb511SHong Zhang 
611137fb511SHong Zhang   /* if both shift schemes are chosen by user, only use info->shiftpd */
612137fb511SHong Zhang   if (info->shiftpd) { /* set sctx.shift_top=max{rs} */
613137fb511SHong Zhang     sctx.shift_top = 0;
614137fb511SHong Zhang     for (i=0; i<n; i++) {
615137fb511SHong Zhang       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
616b051339dSHong Zhang       d  = (a->a)[diag[i]];
617137fb511SHong Zhang       rs = -PetscAbsScalar(d) - PetscRealPart(d);
618b051339dSHong Zhang       v  = a->a+ai[i];
619b051339dSHong Zhang       nz = ai[i+1] - ai[i];
620137fb511SHong Zhang       for (j=0; j<nz; j++)
621137fb511SHong Zhang 	rs += PetscAbsScalar(v[j]);
622137fb511SHong Zhang       if (rs>sctx.shift_top) sctx.shift_top = rs;
623137fb511SHong Zhang     }
624137fb511SHong Zhang     if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot;
625137fb511SHong Zhang     sctx.shift_top    *= 1.1;
626137fb511SHong Zhang     sctx.nshift_max   = 5;
627137fb511SHong Zhang     sctx.shift_lo     = 0.;
628137fb511SHong Zhang     sctx.shift_hi     = 1.;
629137fb511SHong Zhang   }
630137fb511SHong Zhang 
631137fb511SHong Zhang   sctx.shift_amount = 0;
632137fb511SHong Zhang   sctx.nshift       = 0;
633137fb511SHong Zhang   do {
634137fb511SHong Zhang     sctx.lushift = PETSC_FALSE;
635137fb511SHong Zhang     for (i=0; i<n; i++){
636b051339dSHong Zhang       /* load in initial unfactored row */
637b051339dSHong Zhang       nz    = ai[r[i]+1] - ai[r[i]];
638b051339dSHong Zhang       ajtmp = aj + ai[r[i]];
639b051339dSHong Zhang       v     = a->a + ai[r[i]];
640137fb511SHong Zhang       /* sort permuted ajtmp and values v accordingly */
641b051339dSHong Zhang       for (j=0; j<nz; j++) ajtmp[j] = ics[ajtmp[j]];
642137fb511SHong Zhang       ierr = PetscSortIntWithScalarArray(nz,ajtmp,v);CHKERRQ(ierr);
643137fb511SHong Zhang 
644b051339dSHong Zhang       diag[r[i]] = ai[r[i]];
645137fb511SHong Zhang       for (j=0; j<nz; j++) {
646137fb511SHong Zhang         rtmp[ajtmp[j]] = v[j];
647b051339dSHong Zhang         if (ajtmp[j] < i) diag[r[i]]++; /* update a->diag */
648137fb511SHong Zhang       }
649137fb511SHong Zhang       rtmp[r[i]] += sctx.shift_amount; /* shift the diagonal of the matrix */
650137fb511SHong Zhang 
651b051339dSHong Zhang       row = *ajtmp++;
652137fb511SHong Zhang       while  (row < i) {
653137fb511SHong Zhang         pc = rtmp + row;
654137fb511SHong Zhang         if (*pc != 0.0) {
655b051339dSHong Zhang           pv         = a->a + diag[r[row]];
656b051339dSHong Zhang           pj         = aj + diag[r[row]] + 1;
657137fb511SHong Zhang 
658137fb511SHong Zhang           multiplier = *pc / *pv++;
659137fb511SHong Zhang           *pc        = multiplier;
660b051339dSHong Zhang           nz         = ai[r[row]+1] - diag[r[row]] - 1;
661b051339dSHong Zhang           for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
662dc0b31edSSatish Balay           ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
663137fb511SHong Zhang         }
664b051339dSHong Zhang         row = *ajtmp++;
665137fb511SHong Zhang       }
666b051339dSHong Zhang       /* finished row so overwrite it onto a->a */
667b051339dSHong Zhang       pv   = a->a + ai[r[i]] ;
668b051339dSHong Zhang       pj   = aj + ai[r[i]] ;
669b051339dSHong Zhang       nz   = ai[r[i]+1] - ai[r[i]];
670b051339dSHong Zhang       nbdiag = diag[r[i]] - ai[r[i]]; /* num of entries before the diagonal */
671137fb511SHong Zhang 
672137fb511SHong Zhang       rs   = 0.0;
673137fb511SHong Zhang       for (j=0; j<nz; j++) {
674b051339dSHong Zhang         pv[j] = rtmp[pj[j]];
675b051339dSHong Zhang         if (j != nbdiag) rs += PetscAbsScalar(pv[j]);
676137fb511SHong Zhang       }
677137fb511SHong Zhang 
678137fb511SHong Zhang       /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */
679137fb511SHong Zhang       sctx.rs  = rs;
680b051339dSHong Zhang       sctx.pv  = pv[nbdiag];
681c6b1f410SHong Zhang       ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr);
682137fb511SHong Zhang       if (newshift == 1) break;
683137fb511SHong Zhang     }
684137fb511SHong Zhang 
6850481f469SBarry Smith     if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
686137fb511SHong Zhang       /*
687137fb511SHong Zhang        * if no shift in this attempt & shifting & started shifting & can refine,
688137fb511SHong Zhang        * then try lower shift
689137fb511SHong Zhang        */
6900481f469SBarry Smith       sctx.shift_hi        = sctx.shift_fraction;
6910481f469SBarry Smith       sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
6920481f469SBarry Smith       sctx.shift_amount    = sctx.shift_fraction * sctx.shift_top;
693137fb511SHong Zhang       sctx.lushift         = PETSC_TRUE;
694137fb511SHong Zhang       sctx.nshift++;
695137fb511SHong Zhang     }
696137fb511SHong Zhang   } while (sctx.lushift);
697137fb511SHong Zhang 
698137fb511SHong Zhang   /* invert diagonal entries for simplier triangular solves */
699137fb511SHong Zhang   for (i=0; i<n; i++) {
700b051339dSHong Zhang     a->a[diag[r[i]]] = 1.0/a->a[diag[r[i]]];
701137fb511SHong Zhang   }
702137fb511SHong Zhang 
703137fb511SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
704137fb511SHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
705137fb511SHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
706b051339dSHong Zhang   A->ops->solve             = MatSolve_SeqAIJ_InplaceWithPerm;
707db4efbfdSBarry Smith   A->ops->solveadd          = MatSolveAdd_SeqAIJ;
708db4efbfdSBarry Smith   A->ops->solvetranspose    = MatSolveTranspose_SeqAIJ;
709db4efbfdSBarry Smith   A->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ;
710b051339dSHong Zhang   A->assembled = PETSC_TRUE;
7115c9eb25fSBarry Smith   A->preallocated = PETSC_TRUE;
712d0f46423SBarry Smith   ierr = PetscLogFlops(A->cmap->n);CHKERRQ(ierr);
713137fb511SHong Zhang   if (sctx.nshift){
714e738e422SBarry Smith     if (info->shiftpd) {
7150481f469SBarry 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);
716e738e422SBarry Smith     } else if (info->shiftnz) {
717e738e422SBarry Smith       ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
718137fb511SHong Zhang     }
719137fb511SHong Zhang   }
720137fb511SHong Zhang   PetscFunctionReturn(0);
721137fb511SHong Zhang }
722137fb511SHong Zhang 
7230a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
7244a2ae208SSatish Balay #undef __FUNCT__
7254a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ"
7260481f469SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,const MatFactorInfo *info)
727da3a660dSBarry Smith {
728dfbe8321SBarry Smith   PetscErrorCode ierr;
729416022c9SBarry Smith   Mat            C;
730416022c9SBarry Smith 
7313a40ed3dSBarry Smith   PetscFunctionBegin;
73243244d56SBarry Smith   ierr = MatGetFactor(A,MAT_SOLVER_PETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr);
733719d5645SBarry Smith   ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr);
734719d5645SBarry Smith   ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr);
735db4efbfdSBarry Smith   A->ops->solve            = C->ops->solve;
736db4efbfdSBarry Smith   A->ops->solvetranspose   = C->ops->solvetranspose;
737273d9f13SBarry Smith   ierr = MatHeaderCopy(A,C);CHKERRQ(ierr);
73852e6d16bSBarry Smith   ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr);
7393a40ed3dSBarry Smith   PetscFunctionReturn(0);
740da3a660dSBarry Smith }
7410a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
7421d098868SHong Zhang 
743889a8dedSBarry Smith 
7444a2ae208SSatish Balay #undef __FUNCT__
7454a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ"
746dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx)
7478c37ef55SBarry Smith {
748416022c9SBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
749416022c9SBarry Smith   IS                iscol = a->col,isrow = a->row;
7506849ba73SBarry Smith   PetscErrorCode    ierr;
7515d0c19d7SBarry Smith   PetscInt          i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
7525d0c19d7SBarry Smith   PetscInt          nz;
7535d0c19d7SBarry Smith   const PetscInt    *rout,*cout,*r,*c;
754dd6ea824SBarry Smith   PetscScalar       *x,*tmp,*tmps,sum;
755d9fead3dSBarry Smith   const PetscScalar *b;
756dd6ea824SBarry Smith   const MatScalar   *aa = a->a,*v;
7578c37ef55SBarry Smith 
7583a40ed3dSBarry Smith   PetscFunctionBegin;
7593a40ed3dSBarry Smith   if (!n) PetscFunctionReturn(0);
76091bf9adeSBarry Smith 
761d9fead3dSBarry Smith   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
7621ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
763416022c9SBarry Smith   tmp  = a->solve_work;
7648c37ef55SBarry Smith 
7653b2fbd54SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
7663b2fbd54SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
7678c37ef55SBarry Smith 
7688c37ef55SBarry Smith   /* forward solve the lower triangular */
7698c37ef55SBarry Smith   tmp[0] = b[*r++];
770010a20caSHong Zhang   tmps   = tmp;
7718c37ef55SBarry Smith   for (i=1; i<n; i++) {
772010a20caSHong Zhang     v   = aa + ai[i] ;
773010a20caSHong Zhang     vi  = aj + ai[i] ;
77453e7425aSBarry Smith     nz  = a->diag[i] - ai[i];
77553e7425aSBarry Smith     sum = b[*r++];
776003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
7778c37ef55SBarry Smith     tmp[i] = sum;
7788c37ef55SBarry Smith   }
7798c37ef55SBarry Smith 
7808c37ef55SBarry Smith   /* backward solve the upper triangular */
7818c37ef55SBarry Smith   for (i=n-1; i>=0; i--){
782010a20caSHong Zhang     v   = aa + a->diag[i] + 1;
783010a20caSHong Zhang     vi  = aj + a->diag[i] + 1;
784416022c9SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
7858c37ef55SBarry Smith     sum = tmp[i];
786003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
787010a20caSHong Zhang     x[*c--] = tmp[i] = sum*aa[a->diag[i]];
7888c37ef55SBarry Smith   }
7898c37ef55SBarry Smith 
7903b2fbd54SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
7913b2fbd54SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
792d9fead3dSBarry Smith   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
7931ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
794dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
7953a40ed3dSBarry Smith   PetscFunctionReturn(0);
7968c37ef55SBarry Smith }
797026e39d0SSatish Balay 
7982bebee5dSHong Zhang #undef __FUNCT__
7992bebee5dSHong Zhang #define __FUNCT__ "MatMatSolve_SeqAIJ"
8002bebee5dSHong Zhang PetscErrorCode MatMatSolve_SeqAIJ(Mat A,Mat B,Mat X)
8012bebee5dSHong Zhang {
8022bebee5dSHong Zhang   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
8032bebee5dSHong Zhang   IS              iscol = a->col,isrow = a->row;
8042bebee5dSHong Zhang   PetscErrorCode  ierr;
8055d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
8065d0c19d7SBarry Smith   PetscInt        nz,neq;
8075d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
808dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,*tmps,sum;
809dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
810db4efbfdSBarry Smith   PetscTruth      bisdense,xisdense;
8112bebee5dSHong Zhang 
8122bebee5dSHong Zhang   PetscFunctionBegin;
8132bebee5dSHong Zhang   if (!n) PetscFunctionReturn(0);
8142bebee5dSHong Zhang 
815db4efbfdSBarry Smith   ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr);
816db4efbfdSBarry Smith   if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix");
817db4efbfdSBarry Smith   ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr);
818db4efbfdSBarry Smith   if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix");
819db4efbfdSBarry Smith 
8202bebee5dSHong Zhang   ierr = MatGetArray(B,&b);CHKERRQ(ierr);
8212bebee5dSHong Zhang   ierr = MatGetArray(X,&x);CHKERRQ(ierr);
8222bebee5dSHong Zhang 
8232bebee5dSHong Zhang   tmp  = a->solve_work;
8242bebee5dSHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
8252bebee5dSHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
8262bebee5dSHong Zhang 
827a36b22ccSSatish Balay   for (neq=0; neq<B->cmap->n; neq++){
8282bebee5dSHong Zhang     /* forward solve the lower triangular */
8292bebee5dSHong Zhang     tmp[0] = b[r[0]];
8302bebee5dSHong Zhang     tmps   = tmp;
8312bebee5dSHong Zhang     for (i=1; i<n; i++) {
8322bebee5dSHong Zhang       v   = aa + ai[i] ;
8332bebee5dSHong Zhang       vi  = aj + ai[i] ;
8342bebee5dSHong Zhang       nz  = a->diag[i] - ai[i];
8352bebee5dSHong Zhang       sum = b[r[i]];
836003131ecSBarry Smith       PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
8372bebee5dSHong Zhang       tmp[i] = sum;
8382bebee5dSHong Zhang     }
8392bebee5dSHong Zhang     /* backward solve the upper triangular */
8402bebee5dSHong Zhang     for (i=n-1; i>=0; i--){
8412bebee5dSHong Zhang       v   = aa + a->diag[i] + 1;
8422bebee5dSHong Zhang       vi  = aj + a->diag[i] + 1;
8432bebee5dSHong Zhang       nz  = ai[i+1] - a->diag[i] - 1;
8442bebee5dSHong Zhang       sum = tmp[i];
845003131ecSBarry Smith       PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
8462bebee5dSHong Zhang       x[c[i]] = tmp[i] = sum*aa[a->diag[i]];
8472bebee5dSHong Zhang     }
8482bebee5dSHong Zhang 
8492bebee5dSHong Zhang     b += n;
8502bebee5dSHong Zhang     x += n;
8512bebee5dSHong Zhang   }
8522bebee5dSHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
8532bebee5dSHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
8542bebee5dSHong Zhang   ierr = MatRestoreArray(B,&b);CHKERRQ(ierr);
8552bebee5dSHong Zhang   ierr = MatRestoreArray(X,&x);CHKERRQ(ierr);
856dc0b31edSSatish Balay   ierr = PetscLogFlops(B->cmap->n*(2.0*a->nz - n));CHKERRQ(ierr);
8572bebee5dSHong Zhang   PetscFunctionReturn(0);
8582bebee5dSHong Zhang }
8592bebee5dSHong Zhang 
860137fb511SHong Zhang #undef __FUNCT__
861137fb511SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_InplaceWithPerm"
862137fb511SHong Zhang PetscErrorCode MatSolve_SeqAIJ_InplaceWithPerm(Mat A,Vec bb,Vec xx)
863137fb511SHong Zhang {
864137fb511SHong Zhang   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
865137fb511SHong Zhang   IS              iscol = a->col,isrow = a->row;
866137fb511SHong Zhang   PetscErrorCode  ierr;
8675d0c19d7SBarry Smith   const PetscInt  *r,*c,*rout,*cout;
8685d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
8695d0c19d7SBarry Smith   PetscInt        nz,row;
870dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,*tmps,sum;
871dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
872137fb511SHong Zhang 
873137fb511SHong Zhang   PetscFunctionBegin;
874137fb511SHong Zhang   if (!n) PetscFunctionReturn(0);
875137fb511SHong Zhang 
876137fb511SHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
877137fb511SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
878137fb511SHong Zhang   tmp  = a->solve_work;
879137fb511SHong Zhang 
880137fb511SHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
881137fb511SHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
882137fb511SHong Zhang 
883137fb511SHong Zhang   /* forward solve the lower triangular */
884137fb511SHong Zhang   tmp[0] = b[*r++];
885137fb511SHong Zhang   tmps   = tmp;
886137fb511SHong Zhang   for (row=1; row<n; row++) {
887137fb511SHong Zhang     i   = rout[row]; /* permuted row */
888137fb511SHong Zhang     v   = aa + ai[i] ;
889137fb511SHong Zhang     vi  = aj + ai[i] ;
890137fb511SHong Zhang     nz  = a->diag[i] - ai[i];
891137fb511SHong Zhang     sum = b[*r++];
892003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
893137fb511SHong Zhang     tmp[row] = sum;
894137fb511SHong Zhang   }
895137fb511SHong Zhang 
896137fb511SHong Zhang   /* backward solve the upper triangular */
897137fb511SHong Zhang   for (row=n-1; row>=0; row--){
898137fb511SHong Zhang     i   = rout[row]; /* permuted row */
899137fb511SHong Zhang     v   = aa + a->diag[i] + 1;
900137fb511SHong Zhang     vi  = aj + a->diag[i] + 1;
901137fb511SHong Zhang     nz  = ai[i+1] - a->diag[i] - 1;
902137fb511SHong Zhang     sum = tmp[row];
903003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,tmps,v,vi,nz);
904137fb511SHong Zhang     x[*c--] = tmp[row] = sum*aa[a->diag[i]];
905137fb511SHong Zhang   }
906137fb511SHong Zhang 
907137fb511SHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
908137fb511SHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
909137fb511SHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
910137fb511SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
911dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
912137fb511SHong Zhang   PetscFunctionReturn(0);
913137fb511SHong Zhang }
914137fb511SHong Zhang 
915930ae53cSBarry Smith /* ----------------------------------------------------------- */
916a4005a5dSBarry Smith #include "../src/mat/impls/aij/seq/ftn-kernels/fsolve.h"
9174a2ae208SSatish Balay #undef __FUNCT__
9184a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering"
919dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx)
920930ae53cSBarry Smith {
921930ae53cSBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
9226849ba73SBarry Smith   PetscErrorCode    ierr;
923d0f46423SBarry Smith   PetscInt          n = A->rmap->n;
924b377110cSBarry Smith   const PetscInt    *ai = a->i,*aj = a->j,*adiag = a->diag;
925356650c2SBarry Smith   PetscScalar       *x;
926356650c2SBarry Smith   const PetscScalar *b;
927dd6ea824SBarry Smith   const MatScalar   *aa = a->a;
928aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ)
929356650c2SBarry Smith   PetscInt          adiag_i,i,nz,ai_i;
930b377110cSBarry Smith   const PetscInt    *vi;
931dd6ea824SBarry Smith   const MatScalar   *v;
932dd6ea824SBarry Smith   PetscScalar       sum;
933d85afc42SSatish Balay #endif
934930ae53cSBarry Smith 
9353a40ed3dSBarry Smith   PetscFunctionBegin;
9363a40ed3dSBarry Smith   if (!n) PetscFunctionReturn(0);
937930ae53cSBarry Smith 
938356650c2SBarry Smith   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
9391ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
940930ae53cSBarry Smith 
941aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ)
9421c4feecaSSatish Balay   fortransolveaij_(&n,x,ai,aj,adiag,aa,b);
9431c4feecaSSatish Balay #else
944930ae53cSBarry Smith   /* forward solve the lower triangular */
945930ae53cSBarry Smith   x[0] = b[0];
946930ae53cSBarry Smith   for (i=1; i<n; i++) {
947930ae53cSBarry Smith     ai_i = ai[i];
948930ae53cSBarry Smith     v    = aa + ai_i;
949930ae53cSBarry Smith     vi   = aj + ai_i;
950930ae53cSBarry Smith     nz   = adiag[i] - ai_i;
951930ae53cSBarry Smith     sum  = b[i];
952003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,x,v,vi,nz);
953930ae53cSBarry Smith     x[i] = sum;
954930ae53cSBarry Smith   }
955930ae53cSBarry Smith 
956930ae53cSBarry Smith   /* backward solve the upper triangular */
957930ae53cSBarry Smith   for (i=n-1; i>=0; i--){
958930ae53cSBarry Smith     adiag_i = adiag[i];
959d708749eSBarry Smith     v       = aa + adiag_i + 1;
960d708749eSBarry Smith     vi      = aj + adiag_i + 1;
961930ae53cSBarry Smith     nz      = ai[i+1] - adiag_i - 1;
962930ae53cSBarry Smith     sum     = x[i];
963003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,x,v,vi,nz);
964930ae53cSBarry Smith     x[i]    = sum*aa[adiag_i];
965930ae53cSBarry Smith   }
9661c4feecaSSatish Balay #endif
967dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
968356650c2SBarry Smith   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
9691ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
9703a40ed3dSBarry Smith   PetscFunctionReturn(0);
971930ae53cSBarry Smith }
972930ae53cSBarry Smith 
9734a2ae208SSatish Balay #undef __FUNCT__
9744a2ae208SSatish Balay #define __FUNCT__ "MatSolveAdd_SeqAIJ"
975dfbe8321SBarry Smith PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx)
976da3a660dSBarry Smith {
977416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
978416022c9SBarry Smith   IS              iscol = a->col,isrow = a->row;
9796849ba73SBarry Smith   PetscErrorCode  ierr;
9805d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
9815d0c19d7SBarry Smith   PetscInt        nz;
9825d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
983dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,sum;
984dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
985da3a660dSBarry Smith 
9863a40ed3dSBarry Smith   PetscFunctionBegin;
98778b31e54SBarry Smith   if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);}
988da3a660dSBarry Smith 
9891ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
9901ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
991416022c9SBarry Smith   tmp  = a->solve_work;
992da3a660dSBarry Smith 
9933b2fbd54SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
9943b2fbd54SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
995da3a660dSBarry Smith 
996da3a660dSBarry Smith   /* forward solve the lower triangular */
997da3a660dSBarry Smith   tmp[0] = b[*r++];
998da3a660dSBarry Smith   for (i=1; i<n; i++) {
999010a20caSHong Zhang     v   = aa + ai[i] ;
1000010a20caSHong Zhang     vi  = aj + ai[i] ;
1001416022c9SBarry Smith     nz  = a->diag[i] - ai[i];
1002da3a660dSBarry Smith     sum = b[*r++];
1003010a20caSHong Zhang     while (nz--) sum -= *v++ * tmp[*vi++ ];
1004da3a660dSBarry Smith     tmp[i] = sum;
1005da3a660dSBarry Smith   }
1006da3a660dSBarry Smith 
1007da3a660dSBarry Smith   /* backward solve the upper triangular */
1008da3a660dSBarry Smith   for (i=n-1; i>=0; i--){
1009010a20caSHong Zhang     v   = aa + a->diag[i] + 1;
1010010a20caSHong Zhang     vi  = aj + a->diag[i] + 1;
1011416022c9SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
1012da3a660dSBarry Smith     sum = tmp[i];
1013010a20caSHong Zhang     while (nz--) sum -= *v++ * tmp[*vi++ ];
1014010a20caSHong Zhang     tmp[i] = sum*aa[a->diag[i]];
1015da3a660dSBarry Smith     x[*c--] += tmp[i];
1016da3a660dSBarry Smith   }
1017da3a660dSBarry Smith 
10183b2fbd54SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
10193b2fbd54SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
10201ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
10211ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1022dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr);
1023898183ecSLois Curfman McInnes 
10243a40ed3dSBarry Smith   PetscFunctionReturn(0);
1025da3a660dSBarry Smith }
1026da3a660dSBarry Smith /* -------------------------------------------------------------------*/
10274a2ae208SSatish Balay #undef __FUNCT__
10284a2ae208SSatish Balay #define __FUNCT__ "MatSolveTranspose_SeqAIJ"
1029dfbe8321SBarry Smith PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx)
1030da3a660dSBarry Smith {
1031416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
10322235e667SBarry Smith   IS              iscol = a->col,isrow = a->row;
10336849ba73SBarry Smith   PetscErrorCode  ierr;
10345d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
10355d0c19d7SBarry Smith   PetscInt        i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
10365d0c19d7SBarry Smith   PetscInt        nz,*diag = a->diag;
1037dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,s1;
1038dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
1039da3a660dSBarry Smith 
10403a40ed3dSBarry Smith   PetscFunctionBegin;
10411ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
10421ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1043416022c9SBarry Smith   tmp  = a->solve_work;
1044da3a660dSBarry Smith 
10452235e667SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
10462235e667SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
1047da3a660dSBarry Smith 
1048da3a660dSBarry Smith   /* copy the b into temp work space according to permutation */
10492235e667SBarry Smith   for (i=0; i<n; i++) tmp[i] = b[c[i]];
1050da3a660dSBarry Smith 
1051da3a660dSBarry Smith   /* forward solve the U^T */
1052da3a660dSBarry Smith   for (i=0; i<n; i++) {
1053010a20caSHong Zhang     v   = aa + diag[i] ;
1054010a20caSHong Zhang     vi  = aj + diag[i] + 1;
1055f1af5d2fSBarry Smith     nz  = ai[i+1] - diag[i] - 1;
1056c38d4ed2SBarry Smith     s1  = tmp[i];
1057ef66eb69SBarry Smith     s1 *= (*v++);  /* multiply by inverse of diagonal entry */
1058da3a660dSBarry Smith     while (nz--) {
1059010a20caSHong Zhang       tmp[*vi++ ] -= (*v++)*s1;
1060da3a660dSBarry Smith     }
1061c38d4ed2SBarry Smith     tmp[i] = s1;
1062da3a660dSBarry Smith   }
1063da3a660dSBarry Smith 
1064da3a660dSBarry Smith   /* backward solve the L^T */
1065da3a660dSBarry Smith   for (i=n-1; i>=0; i--){
1066010a20caSHong Zhang     v   = aa + diag[i] - 1 ;
1067010a20caSHong Zhang     vi  = aj + diag[i] - 1 ;
1068f1af5d2fSBarry Smith     nz  = diag[i] - ai[i];
1069f1af5d2fSBarry Smith     s1  = tmp[i];
1070da3a660dSBarry Smith     while (nz--) {
1071010a20caSHong Zhang       tmp[*vi-- ] -= (*v--)*s1;
1072da3a660dSBarry Smith     }
1073da3a660dSBarry Smith   }
1074da3a660dSBarry Smith 
1075da3a660dSBarry Smith   /* copy tmp into x according to permutation */
1076da3a660dSBarry Smith   for (i=0; i<n; i++) x[r[i]] = tmp[i];
1077da3a660dSBarry Smith 
10782235e667SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
10792235e667SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
10801ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
10811ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1082da3a660dSBarry Smith 
1083dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr);
10843a40ed3dSBarry Smith   PetscFunctionReturn(0);
1085da3a660dSBarry Smith }
1086da3a660dSBarry Smith 
10874a2ae208SSatish Balay #undef __FUNCT__
10884a2ae208SSatish Balay #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ"
1089dfbe8321SBarry Smith PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx)
1090da3a660dSBarry Smith {
1091416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
10922235e667SBarry Smith   IS              iscol = a->col,isrow = a->row;
10936849ba73SBarry Smith   PetscErrorCode  ierr;
10945d0c19d7SBarry Smith   const PetscInt  *r,*c,*rout,*cout;
10955d0c19d7SBarry Smith   PetscInt        i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
10965d0c19d7SBarry Smith   PetscInt        nz,*diag = a->diag;
1097dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp;
1098dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
10996abc6512SBarry Smith 
11003a40ed3dSBarry Smith   PetscFunctionBegin;
110123bc6035SMatthew Knepley   if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);}
11026abc6512SBarry Smith 
11031ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
11041ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1105416022c9SBarry Smith   tmp = a->solve_work;
11066abc6512SBarry Smith 
11072235e667SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
11082235e667SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
11096abc6512SBarry Smith 
11106abc6512SBarry Smith   /* copy the b into temp work space according to permutation */
11112235e667SBarry Smith   for (i=0; i<n; i++) tmp[i] = b[c[i]];
11126abc6512SBarry Smith 
11136abc6512SBarry Smith   /* forward solve the U^T */
11146abc6512SBarry Smith   for (i=0; i<n; i++) {
1115010a20caSHong Zhang     v   = aa + diag[i] ;
1116010a20caSHong Zhang     vi  = aj + diag[i] + 1;
1117f1af5d2fSBarry Smith     nz  = ai[i+1] - diag[i] - 1;
11186abc6512SBarry Smith     tmp[i] *= *v++;
11196abc6512SBarry Smith     while (nz--) {
1120010a20caSHong Zhang       tmp[*vi++ ] -= (*v++)*tmp[i];
11216abc6512SBarry Smith     }
11226abc6512SBarry Smith   }
11236abc6512SBarry Smith 
11246abc6512SBarry Smith   /* backward solve the L^T */
11256abc6512SBarry Smith   for (i=n-1; i>=0; i--){
1126010a20caSHong Zhang     v   = aa + diag[i] - 1 ;
1127010a20caSHong Zhang     vi  = aj + diag[i] - 1 ;
1128f1af5d2fSBarry Smith     nz  = diag[i] - ai[i];
11296abc6512SBarry Smith     while (nz--) {
1130010a20caSHong Zhang       tmp[*vi-- ] -= (*v--)*tmp[i];
11316abc6512SBarry Smith     }
11326abc6512SBarry Smith   }
11336abc6512SBarry Smith 
11346abc6512SBarry Smith   /* copy tmp into x according to permutation */
11356abc6512SBarry Smith   for (i=0; i<n; i++) x[r[i]] += tmp[i];
11366abc6512SBarry Smith 
11372235e667SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
11382235e667SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
11391ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
11401ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
11416abc6512SBarry Smith 
1142dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr);
11433a40ed3dSBarry Smith   PetscFunctionReturn(0);
1144da3a660dSBarry Smith }
11459e25ed09SBarry Smith /* ----------------------------------------------------------------*/
11463c5fc038SBarry Smith EXTERN PetscErrorCode Mat_CheckInode(Mat,PetscTruth);
1147f77e22a1SHong Zhang EXTERN PetscErrorCode MatDuplicateNoCreate_SeqAIJ(Mat,Mat,MatDuplicateOption,PetscTruth);
114808480c60SBarry Smith 
11498fc3a347SHong Zhang /*
11508fc3a347SHong Zhang    ilu(0) with natural ordering under new data structure.
11518fc3a347SHong Zhang    Factored arrays bj and ba are stored as
11528fc3a347SHong Zhang      L(0,:), L(1,:), ...,L(n-1,:),  U(n-1,:),...,U(i,:),U(i-1,:),...,U(0,:)
11538fc3a347SHong Zhang 
11548fc3a347SHong Zhang    bi=fact->i is an array of size 2n+2, in which
11558fc3a347SHong Zhang    bi+
11568fc3a347SHong Zhang      bi[i]      ->  1st entry of L(i,:),i=0,...,i-1
1157f77e22a1SHong Zhang      bi[n]      ->  points to L(n-1,:)+1
11588fc3a347SHong Zhang      bi[n+1]    ->  1st entry of U(n-1,:)
11598fc3a347SHong Zhang      bi[2n-i]   ->  1st entry of U(i,:)
11608fc3a347SHong Zhang      bi[2n-i+1] ->  end of U(i,:)+1, the 1st entry of U(i-1,:)
1161f77e22a1SHong Zhang      bi[2n]     ->  1st entry of U(0,:)
1162f77e22a1SHong Zhang      bi[2n+1]   ->  points to U(0,:)+1
11638fc3a347SHong Zhang 
11648fc3a347SHong Zhang    U(i,:) contains diag[i] as its last entry, i.e.,
11658fc3a347SHong Zhang     U(i,:) = (u[i,i+1],...,u[i,n-1],diag[i])
11668fc3a347SHong Zhang */
1167c9c72f8fSHong Zhang #undef __FUNCT__
11688fc3a347SHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct"
11698fc3a347SHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
1170c9c72f8fSHong Zhang {
1171c9c72f8fSHong Zhang 
1172c9c72f8fSHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
1173c9c72f8fSHong Zhang   PetscErrorCode     ierr;
1174c9c72f8fSHong Zhang   PetscInt           n=A->rmap->n,*ai=a->i,*aj,*adiag=a->diag;
11758fc3a347SHong Zhang   PetscInt           i,j,nz,*bi,*bj,*bdiag;
1176c9c72f8fSHong Zhang 
1177c9c72f8fSHong Zhang   PetscFunctionBegin;
1178f77e22a1SHong Zhang   ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_FALSE);CHKERRQ(ierr);
1179c9c72f8fSHong Zhang   b    = (Mat_SeqAIJ*)(fact)->data;
1180c9c72f8fSHong Zhang 
1181f77e22a1SHong Zhang   /* allocate matrix arrays for new data structure */
1182f77e22a1SHong Zhang   ierr = PetscMalloc3(ai[n]+1,PetscScalar,&b->a,ai[n]+1,PetscInt,&b->j,2*n+2,PetscInt,&b->i);CHKERRQ(ierr);
1183f77e22a1SHong Zhang   ierr = PetscLogObjectMemory(fact,ai[n]*(sizeof(PetscScalar)+sizeof(PetscInt))+(2*n+2)*sizeof(PetscInt));CHKERRQ(ierr);
1184f77e22a1SHong Zhang   b->singlemalloc = PETSC_TRUE;
1185f77e22a1SHong Zhang   if (!b->diag){
11868fc3a347SHong Zhang     ierr = PetscMalloc((n+1)*sizeof(PetscInt),&b->diag);CHKERRQ(ierr);
1187f77e22a1SHong Zhang   }
1188c9c72f8fSHong Zhang   bdiag = b->diag;
1189c9c72f8fSHong Zhang 
1190c9c72f8fSHong Zhang   if (n > 0) {
1191*16a2bf60SHong Zhang     ierr = PetscMemzero(b->a,(ai[n])*sizeof(MatScalar));CHKERRQ(ierr);
1192c9c72f8fSHong Zhang   }
1193c9c72f8fSHong Zhang 
1194c9c72f8fSHong Zhang   /* set bi and bj with new data structure */
1195c9c72f8fSHong Zhang   bi = b->i;
1196c9c72f8fSHong Zhang   bj = b->j;
1197c9c72f8fSHong Zhang 
1198c9c72f8fSHong Zhang   /* L part */
1199c9c72f8fSHong Zhang   bi[0] = 0;
1200c9c72f8fSHong Zhang   for (i=0; i<n; i++){
1201c9c72f8fSHong Zhang     nz = adiag[i] - ai[i];
1202c9c72f8fSHong Zhang     bi[i+1] = bi[i] + nz;
1203c9c72f8fSHong Zhang     aj = a->j + ai[i];
1204c9c72f8fSHong Zhang     for (j=0; j<nz; j++){
1205c9c72f8fSHong Zhang       *bj = aj[j]; bj++;
1206c9c72f8fSHong Zhang     }
1207c9c72f8fSHong Zhang   }
1208c9c72f8fSHong Zhang 
1209c9c72f8fSHong Zhang   /* U part */
12108fc3a347SHong Zhang   bi[n+1] = bi[n];
1211c9c72f8fSHong Zhang   for (i=n-1; i>=0; i--){
1212c9c72f8fSHong Zhang     nz = ai[i+1] - adiag[i] - 1;
12138fc3a347SHong Zhang     bi[2*n-i+1] = bi[2*n-i] + nz + 1;
1214c9c72f8fSHong Zhang     aj = a->j + adiag[i] + 1;
1215c9c72f8fSHong Zhang     for (j=0; j<nz; j++){
1216c9c72f8fSHong Zhang       *bj = aj[j]; bj++;
1217c9c72f8fSHong Zhang     }
1218c9c72f8fSHong Zhang     /* diag[i] */
1219c9c72f8fSHong Zhang     *bj = i; bj++;
12208fc3a347SHong Zhang     bdiag[i] = bi[2*n-i+1]-1;
1221c9c72f8fSHong Zhang   }
1222c9c72f8fSHong Zhang   PetscFunctionReturn(0);
1223c9c72f8fSHong Zhang }
1224c9c72f8fSHong Zhang 
12254a2ae208SSatish Balay #undef __FUNCT__
12266516239fSHong Zhang #define __FUNCT__ "PetscFreeSpaceContiguous_newdatastruct"
12276516239fSHong Zhang PetscErrorCode PetscFreeSpaceContiguous_newdatastruct(PetscFreeSpaceList *head,PetscInt *space,PetscInt n,PetscInt *bi,PetscInt *bdiag)
12286516239fSHong Zhang {
12296516239fSHong Zhang   PetscFreeSpaceList a;
12306516239fSHong Zhang   PetscErrorCode     ierr;
12316516239fSHong Zhang   PetscInt           row,nnz,*bj,*array,total;
12326516239fSHong Zhang   PetscInt           nnzL,nnzU;
12336516239fSHong Zhang 
12346516239fSHong Zhang   PetscFunctionBegin;
12356516239fSHong Zhang   bi[2*n+1] = bi[n];
12366516239fSHong Zhang   row   = 1;
12376516239fSHong Zhang   total = 0;
12386516239fSHong Zhang   nnzL  = bdiag[0];
12396516239fSHong Zhang   while ((*head)!=NULL) {
12406516239fSHong Zhang     total += (*head)->local_used;
12416516239fSHong Zhang     array  = (*head)->array_head;
12426516239fSHong Zhang 
12436516239fSHong Zhang     while (bi[row] <= total && row <=n){
12446516239fSHong Zhang       /* copy array entries into bj for row-1 */
12456516239fSHong Zhang       nnz  = bi[row] - bi[row-1];
12466516239fSHong Zhang       /* set bi[row-1] for new datastruct */
12476516239fSHong Zhang       if (row -1 <= 1 ){
12486516239fSHong Zhang         bi[row -1] = 0;
12496516239fSHong Zhang       } else {
12506516239fSHong Zhang         bi[row-1] = bi[row-2] + nnzL; /* nnzL of previous row */
12516516239fSHong Zhang       }
12526516239fSHong Zhang 
12536516239fSHong Zhang       /* L part */
12546516239fSHong Zhang       nnzL = bdiag[row-1];
12556516239fSHong Zhang       bj   = space+bi[row-1];
12566516239fSHong Zhang       ierr = PetscMemcpy(bj,array,nnzL*sizeof(PetscInt));CHKERRQ(ierr);
12576516239fSHong Zhang 
12586516239fSHong Zhang       /* diagonal entry */
12596516239fSHong Zhang       bdiag[row-1]        = bi[2*n-(row-1)+1]-1;
12606516239fSHong Zhang       space[bdiag[row-1]] = row-1;
12616516239fSHong Zhang 
12626516239fSHong Zhang       /* U part */
12636516239fSHong Zhang       nnzU = nnz - nnzL;
12646516239fSHong Zhang       bi[2*n-(row-1)] = bi[2*n-(row-1)+1] - nnzU;
12656516239fSHong Zhang       nnzU --; /* exclude diagonal */
12666516239fSHong Zhang       bj  = space + bi[2*n-(row-1)];
12676516239fSHong Zhang       ierr = PetscMemcpy(bj,array+nnzL+1,nnzU*sizeof(PetscInt));CHKERRQ(ierr);
12686516239fSHong Zhang 
12696516239fSHong Zhang       array += nnz;
12706516239fSHong Zhang       row++;
12716516239fSHong Zhang     }
12726516239fSHong Zhang 
12736516239fSHong Zhang     a     =  (*head)->more_space;
12746516239fSHong Zhang     ierr  =  PetscFree((*head)->array_head);CHKERRQ(ierr);
12756516239fSHong Zhang     ierr  =  PetscFree(*head);CHKERRQ(ierr);
12766516239fSHong Zhang     *head =  a;
12776516239fSHong Zhang   }
12786516239fSHong Zhang   bi[n] = bi[n-1] + nnzL;
12796516239fSHong Zhang   if (bi[n] != bi[n+1]) SETERRQ2(1,"bi[n] %d != bi[n+1] %d",bi[n],bi[n+1]);
12806516239fSHong Zhang   PetscFunctionReturn(0);
12816516239fSHong Zhang }
12826516239fSHong Zhang 
12836516239fSHong Zhang #undef __FUNCT__
12846516239fSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_newdatastruct"
12856516239fSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
12869e25ed09SBarry Smith {
1287416022c9SBarry Smith   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
12889e25ed09SBarry Smith   IS                 isicol;
12896849ba73SBarry Smith   PetscErrorCode     ierr;
12905d0c19d7SBarry Smith   const PetscInt     *r,*ic;
12915d0c19d7SBarry Smith   PetscInt           n=A->rmap->n,*ai=a->i,*aj=a->j,d;
12925a8e39fbSHong Zhang   PetscInt           *bi,*cols,nnz,*cols_lvl;
1293052f0c41SBarry Smith   PetscInt           *bdiag,prow,fm,nzbd,reallocs=0,dcount=0;
12945a8e39fbSHong Zhang   PetscInt           i,levels,diagonal_fill;
129577c4ece6SBarry Smith   PetscTruth         col_identity,row_identity;
1296329f5518SBarry Smith   PetscReal          f;
12975a8e39fbSHong Zhang   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL;
12985a8e39fbSHong Zhang   PetscBT            lnkbt;
12995a8e39fbSHong Zhang   PetscInt           nzi,*bj,**bj_ptr,**bjlvl_ptr;
1300a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1301a1a86e44SBarry Smith   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
130209f38230SBarry Smith   PetscTruth         missing;
13039e25ed09SBarry Smith 
13043a40ed3dSBarry Smith   PetscFunctionBegin;
13056516239fSHong Zhang   //printf("MatILUFactorSymbolic_SeqAIJ_newdatastruct ...\n");
1306d0f46423SBarry 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);
13076cf997b0SBarry Smith   f             = info->fill;
130838baddfdSBarry Smith   levels        = (PetscInt)info->levels;
130938baddfdSBarry Smith   diagonal_fill = (PetscInt)info->diagonal_fill;
13104c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
131182bf6240SBarry Smith 
1312be0abb6dSBarry Smith   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
1313be0abb6dSBarry Smith   ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr);
1314c9c72f8fSHong Zhang 
13156516239fSHong Zhang   if (!levels && row_identity && col_identity) {
13166516239fSHong Zhang     /* special case: ilu(0) with natural ordering */
13178fc3a347SHong Zhang     ierr = MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr);
1318c9c72f8fSHong Zhang     (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ_newdatastruct;
13196516239fSHong Zhang 
13206516239fSHong Zhang     fact->factor = MAT_FACTOR_ILU;
13216516239fSHong Zhang     (fact)->info.factor_mallocs    = 0;
13226516239fSHong Zhang     (fact)->info.fill_ratio_given  = info->fill;
13236516239fSHong Zhang     (fact)->info.fill_ratio_needed = 1.0;
13246516239fSHong Zhang     b               = (Mat_SeqAIJ*)(fact)->data;
13256516239fSHong Zhang     ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
13266516239fSHong Zhang     if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
13276516239fSHong Zhang     b->row              = isrow;
13286516239fSHong Zhang     b->col              = iscol;
13296516239fSHong Zhang     b->icol             = isicol;
13306516239fSHong Zhang     ierr                = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
13316516239fSHong Zhang     ierr                = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
13326516239fSHong Zhang     ierr                = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
13336516239fSHong Zhang     /* ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); */
13346516239fSHong Zhang     PetscFunctionReturn(0);
13356516239fSHong Zhang   }
13366516239fSHong Zhang 
13376516239fSHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
13386516239fSHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
13396516239fSHong Zhang 
13406516239fSHong Zhang   /* get new row pointers */
13416516239fSHong Zhang   ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
13426516239fSHong Zhang   bi[0] = 0;
13436516239fSHong Zhang   /* bdiag is location of diagonal in factor */
13446516239fSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
13456516239fSHong Zhang   bdiag[0]  = 0;
13466516239fSHong Zhang 
13476516239fSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr);
13486516239fSHong Zhang   bjlvl_ptr = (PetscInt**)(bj_ptr + n);
13496516239fSHong Zhang 
13506516239fSHong Zhang   /* create a linked list for storing column indices of the active row */
13516516239fSHong Zhang   nlnk = n + 1;
13526516239fSHong Zhang   ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
13536516239fSHong Zhang 
13546516239fSHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
13556516239fSHong Zhang   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
13566516239fSHong Zhang   current_space = free_space;
13576516239fSHong Zhang   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr);
13586516239fSHong Zhang   current_space_lvl = free_space_lvl;
13596516239fSHong Zhang 
13606516239fSHong Zhang   for (i=0; i<n; i++) {
13616516239fSHong Zhang     nzi = 0;
13626516239fSHong Zhang     /* copy current row into linked list */
13636516239fSHong Zhang     nnz  = ai[r[i]+1] - ai[r[i]];
13646516239fSHong 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);
13656516239fSHong Zhang     cols = aj + ai[r[i]];
13666516239fSHong Zhang     lnk[i] = -1; /* marker to indicate if diagonal exists */
13676516239fSHong Zhang     ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
13686516239fSHong Zhang     nzi += nlnk;
13696516239fSHong Zhang 
13706516239fSHong Zhang     /* make sure diagonal entry is included */
13716516239fSHong Zhang     if (diagonal_fill && lnk[i] == -1) {
13726516239fSHong Zhang       fm = n;
13736516239fSHong Zhang       while (lnk[fm] < i) fm = lnk[fm];
13746516239fSHong Zhang       lnk[i]     = lnk[fm]; /* insert diagonal into linked list */
13756516239fSHong Zhang       lnk[fm]    = i;
13766516239fSHong Zhang       lnk_lvl[i] = 0;
13776516239fSHong Zhang       nzi++; dcount++;
13786516239fSHong Zhang     }
13796516239fSHong Zhang 
13806516239fSHong Zhang     /* add pivot rows into the active row */
13816516239fSHong Zhang     nzbd = 0;
13826516239fSHong Zhang     prow = lnk[n];
13836516239fSHong Zhang     while (prow < i) {
13846516239fSHong Zhang       nnz      = bdiag[prow];
13856516239fSHong Zhang       cols     = bj_ptr[prow] + nnz + 1;
13866516239fSHong Zhang       cols_lvl = bjlvl_ptr[prow] + nnz + 1;
13876516239fSHong Zhang       nnz      = bi[prow+1] - bi[prow] - nnz - 1;
13886516239fSHong Zhang       ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr);
13896516239fSHong Zhang       nzi += nlnk;
13906516239fSHong Zhang       prow = lnk[prow];
13916516239fSHong Zhang       nzbd++;
13926516239fSHong Zhang     }
13936516239fSHong Zhang     bdiag[i] = nzbd;
13946516239fSHong Zhang     bi[i+1]  = bi[i] + nzi;
13956516239fSHong Zhang 
13966516239fSHong Zhang     /* if free space is not available, make more free space */
13976516239fSHong Zhang     if (current_space->local_remaining<nzi) {
13986516239fSHong Zhang       nnz = 2*nzi*(n - i); /* estimated and max additional space needed */
13996516239fSHong Zhang       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
14006516239fSHong Zhang       ierr = PetscFreeSpaceGet(nnz,&current_space_lvl);CHKERRQ(ierr);
14016516239fSHong Zhang       reallocs++;
14026516239fSHong Zhang     }
14036516239fSHong Zhang 
14046516239fSHong Zhang     /* copy data into free_space and free_space_lvl, then initialize lnk */
14056516239fSHong Zhang     ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
14066516239fSHong Zhang     bj_ptr[i]    = current_space->array;
14076516239fSHong Zhang     bjlvl_ptr[i] = current_space_lvl->array;
14086516239fSHong Zhang 
14096516239fSHong Zhang     /* make sure the active row i has diagonal entry */
14106516239fSHong Zhang     if (*(bj_ptr[i]+bdiag[i]) != i) {
14116516239fSHong Zhang       SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\
14126516239fSHong Zhang     try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i);
14136516239fSHong Zhang     }
14146516239fSHong Zhang 
14156516239fSHong Zhang     current_space->array           += nzi;
14166516239fSHong Zhang     current_space->local_used      += nzi;
14176516239fSHong Zhang     current_space->local_remaining -= nzi;
14186516239fSHong Zhang     current_space_lvl->array           += nzi;
14196516239fSHong Zhang     current_space_lvl->local_used      += nzi;
14206516239fSHong Zhang     current_space_lvl->local_remaining -= nzi;
14216516239fSHong Zhang   }
14226516239fSHong Zhang 
14236516239fSHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
14246516239fSHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
14256516239fSHong Zhang 
14266516239fSHong Zhang   /* destroy list of free space and other temporary arrays */
14276516239fSHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
14286516239fSHong Zhang 
14296516239fSHong Zhang   /* copy free_space into bj and free free_space; set bi, bj, bdiag in new datastructure; */
14306516239fSHong Zhang   ierr = PetscFreeSpaceContiguous_newdatastruct(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr);
14316516239fSHong Zhang 
14326516239fSHong Zhang   ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
14336516239fSHong Zhang   ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
14346516239fSHong Zhang   ierr = PetscFree(bj_ptr);CHKERRQ(ierr);
14356516239fSHong Zhang 
14366516239fSHong Zhang #if defined(PETSC_USE_INFO)
14376516239fSHong Zhang   {
14386516239fSHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
14396516239fSHong Zhang     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
14406516239fSHong Zhang     ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
14416516239fSHong Zhang     ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr);
14426516239fSHong Zhang     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
14436516239fSHong Zhang     if (diagonal_fill) {
14446516239fSHong Zhang       ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr);
14456516239fSHong Zhang     }
14466516239fSHong Zhang   }
14476516239fSHong Zhang #endif
14486516239fSHong Zhang 
14496516239fSHong Zhang   /* put together the new matrix */
14506516239fSHong Zhang   ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
14516516239fSHong Zhang   ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr);
14526516239fSHong Zhang   b = (Mat_SeqAIJ*)(fact)->data;
14536516239fSHong Zhang   b->free_a       = PETSC_TRUE;
14546516239fSHong Zhang   b->free_ij      = PETSC_TRUE;
14556516239fSHong Zhang   b->singlemalloc = PETSC_FALSE;
14566516239fSHong Zhang   ierr = PetscMalloc( (bi[2*n+1] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
14576516239fSHong Zhang   b->j          = bj;
14586516239fSHong Zhang   b->i          = bi;
14596516239fSHong Zhang   b->diag       = bdiag;
14606516239fSHong Zhang   b->ilen       = 0;
14616516239fSHong Zhang   b->imax       = 0;
14626516239fSHong Zhang   b->row        = isrow;
14636516239fSHong Zhang   b->col        = iscol;
14646516239fSHong Zhang   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
14656516239fSHong Zhang   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
14666516239fSHong Zhang   b->icol       = isicol;
14676516239fSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
14686516239fSHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.
14696516239fSHong Zhang      Allocate bdiag, solve_work, new a, new j */
14706516239fSHong Zhang   ierr = PetscLogObjectMemory(fact,bi[2*n+1] * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
14716516239fSHong Zhang   b->maxnz = b->nz = bi[2*n+1] ;
14726516239fSHong Zhang   (fact)->info.factor_mallocs    = reallocs;
14736516239fSHong Zhang   (fact)->info.fill_ratio_given  = f;
14746516239fSHong Zhang   (fact)->info.fill_ratio_needed = ((PetscReal)bi[2*n+1])/((PetscReal)ai[n]);
14756516239fSHong Zhang   (fact)->ops->lufactornumeric   = MatLUFactorNumeric_SeqAIJ_newdatastruct;
14766516239fSHong Zhang   /* ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); */
14776516239fSHong Zhang   PetscFunctionReturn(0);
14786516239fSHong Zhang }
14796516239fSHong Zhang 
14806516239fSHong Zhang #undef __FUNCT__
14816516239fSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ"
14826516239fSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
14836516239fSHong Zhang {
14846516239fSHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
14856516239fSHong Zhang   IS                 isicol;
14866516239fSHong Zhang   PetscErrorCode     ierr;
14876516239fSHong Zhang   const PetscInt     *r,*ic;
14886516239fSHong Zhang   PetscInt           n=A->rmap->n,*ai=a->i,*aj=a->j,d;
14896516239fSHong Zhang   PetscInt           *bi,*cols,nnz,*cols_lvl;
14906516239fSHong Zhang   PetscInt           *bdiag,prow,fm,nzbd,reallocs=0,dcount=0;
14916516239fSHong Zhang   PetscInt           i,levels,diagonal_fill;
14926516239fSHong Zhang   PetscTruth         col_identity,row_identity;
14936516239fSHong Zhang   PetscReal          f;
14946516239fSHong Zhang   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL;
14956516239fSHong Zhang   PetscBT            lnkbt;
14966516239fSHong Zhang   PetscInt           nzi,*bj,**bj_ptr,**bjlvl_ptr;
14976516239fSHong Zhang   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
14986516239fSHong Zhang   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
14996516239fSHong Zhang   PetscTruth         missing;
15006516239fSHong Zhang   PetscTruth         newdatastruct=PETSC_FALSE;
15016516239fSHong Zhang 
15026516239fSHong Zhang   PetscFunctionBegin;
15036516239fSHong Zhang   ierr = PetscOptionsGetTruth(PETSC_NULL,"-ilu_new",&newdatastruct,PETSC_NULL);CHKERRQ(ierr);
15046516239fSHong Zhang   if (newdatastruct){
15056516239fSHong Zhang     ierr = MatILUFactorSymbolic_SeqAIJ_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr);
15066516239fSHong Zhang     PetscFunctionReturn(0);
15076516239fSHong Zhang   }
15086516239fSHong Zhang 
15096516239fSHong 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);
15106516239fSHong Zhang   f             = info->fill;
15116516239fSHong Zhang   levels        = (PetscInt)info->levels;
15126516239fSHong Zhang   diagonal_fill = (PetscInt)info->diagonal_fill;
15136516239fSHong Zhang   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
15146516239fSHong Zhang 
15156516239fSHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
15166516239fSHong Zhang   ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr);
15176516239fSHong Zhang   if (!levels && row_identity && col_identity) { /* special case: ilu(0) with natural ordering */
1518f77e22a1SHong Zhang     ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_TRUE);CHKERRQ(ierr);
1519c9c72f8fSHong Zhang     (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ;
1520c9c72f8fSHong Zhang 
1521719d5645SBarry Smith     fact->factor = MAT_FACTOR_ILU;
1522719d5645SBarry Smith     (fact)->info.factor_mallocs    = 0;
1523719d5645SBarry Smith     (fact)->info.fill_ratio_given  = info->fill;
1524719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 1.0;
1525719d5645SBarry Smith     b               = (Mat_SeqAIJ*)(fact)->data;
15268ef3462fSBarry Smith     ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
152709f38230SBarry Smith     if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
152808480c60SBarry Smith     b->row              = isrow;
152908480c60SBarry Smith     b->col              = iscol;
153082bf6240SBarry Smith     b->icol             = isicol;
1531719d5645SBarry Smith     ierr                = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1532c38d4ed2SBarry Smith     ierr                = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1533c38d4ed2SBarry Smith     ierr                = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
1534719d5645SBarry Smith     ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr);
15353a40ed3dSBarry Smith     PetscFunctionReturn(0);
153608480c60SBarry Smith   }
153708480c60SBarry Smith 
1538898183ecSLois Curfman McInnes   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
1539898183ecSLois Curfman McInnes   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
15409e25ed09SBarry Smith 
15419e25ed09SBarry Smith   /* get new row pointers */
15425a8e39fbSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
15435a8e39fbSHong Zhang   bi[0] = 0;
15445a8e39fbSHong Zhang   /* bdiag is location of diagonal in factor */
15455a8e39fbSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
15465a8e39fbSHong Zhang   bdiag[0]  = 0;
15476cf997b0SBarry Smith 
15485a8e39fbSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr);
15495a8e39fbSHong Zhang   bjlvl_ptr = (PetscInt**)(bj_ptr + n);
15505a8e39fbSHong Zhang 
15515a8e39fbSHong Zhang   /* create a linked list for storing column indices of the active row */
15525a8e39fbSHong Zhang   nlnk = n + 1;
15535a8e39fbSHong Zhang   ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
15545a8e39fbSHong Zhang 
15555a8e39fbSHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
1556a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
15575a8e39fbSHong Zhang   current_space = free_space;
1558a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr);
15595a8e39fbSHong Zhang   current_space_lvl = free_space_lvl;
15605a8e39fbSHong Zhang 
15615a8e39fbSHong Zhang   for (i=0; i<n; i++) {
15625a8e39fbSHong Zhang     nzi = 0;
15636cf997b0SBarry Smith     /* copy current row into linked list */
15645a8e39fbSHong Zhang     nnz  = ai[r[i]+1] - ai[r[i]];
15653b4a8b6dSBarry 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);
15665a8e39fbSHong Zhang     cols = aj + ai[r[i]];
15675a8e39fbSHong Zhang     lnk[i] = -1; /* marker to indicate if diagonal exists */
15685a8e39fbSHong Zhang     ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
15695a8e39fbSHong Zhang     nzi += nlnk;
15706cf997b0SBarry Smith 
15716cf997b0SBarry Smith     /* make sure diagonal entry is included */
15725a8e39fbSHong Zhang     if (diagonal_fill && lnk[i] == -1) {
15736cf997b0SBarry Smith       fm = n;
15745a8e39fbSHong Zhang       while (lnk[fm] < i) fm = lnk[fm];
15755a8e39fbSHong Zhang       lnk[i]     = lnk[fm]; /* insert diagonal into linked list */
15765a8e39fbSHong Zhang       lnk[fm]    = i;
15775a8e39fbSHong Zhang       lnk_lvl[i] = 0;
15785a8e39fbSHong Zhang       nzi++; dcount++;
15796cf997b0SBarry Smith     }
15806cf997b0SBarry Smith 
15815a8e39fbSHong Zhang     /* add pivot rows into the active row */
15825a8e39fbSHong Zhang     nzbd = 0;
15835a8e39fbSHong Zhang     prow = lnk[n];
15845a8e39fbSHong Zhang     while (prow < i) {
15855a8e39fbSHong Zhang       nnz      = bdiag[prow];
15865a8e39fbSHong Zhang       cols     = bj_ptr[prow] + nnz + 1;
15875a8e39fbSHong Zhang       cols_lvl = bjlvl_ptr[prow] + nnz + 1;
15885a8e39fbSHong Zhang       nnz      = bi[prow+1] - bi[prow] - nnz - 1;
15895a8e39fbSHong Zhang       ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr);
15905a8e39fbSHong Zhang       nzi += nlnk;
15915a8e39fbSHong Zhang       prow = lnk[prow];
15925a8e39fbSHong Zhang       nzbd++;
159356beaf04SBarry Smith     }
15945a8e39fbSHong Zhang     bdiag[i] = nzbd;
15955a8e39fbSHong Zhang     bi[i+1]  = bi[i] + nzi;
1596ecf371e4SBarry Smith 
15975a8e39fbSHong Zhang     /* if free space is not available, make more free space */
15985a8e39fbSHong Zhang     if (current_space->local_remaining<nzi) {
15995a8e39fbSHong Zhang       nnz = nzi*(n - i); /* estimated and max additional space needed */
1600a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
1601a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space_lvl);CHKERRQ(ierr);
16025a8e39fbSHong Zhang       reallocs++;
16035a8e39fbSHong Zhang     }
1604ecf371e4SBarry Smith 
16055a8e39fbSHong Zhang     /* copy data into free_space and free_space_lvl, then initialize lnk */
16065a8e39fbSHong Zhang     ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
16075a8e39fbSHong Zhang     bj_ptr[i]    = current_space->array;
16085a8e39fbSHong Zhang     bjlvl_ptr[i] = current_space_lvl->array;
16095a8e39fbSHong Zhang 
16105a8e39fbSHong Zhang     /* make sure the active row i has diagonal entry */
16115a8e39fbSHong Zhang     if (*(bj_ptr[i]+bdiag[i]) != i) {
161277431f27SBarry Smith       SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\
1613d7ee0231SBarry Smith     try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i);
16146cf997b0SBarry Smith     }
16155a8e39fbSHong Zhang 
16165a8e39fbSHong Zhang     current_space->array           += nzi;
16175a8e39fbSHong Zhang     current_space->local_used      += nzi;
16185a8e39fbSHong Zhang     current_space->local_remaining -= nzi;
16195a8e39fbSHong Zhang     current_space_lvl->array           += nzi;
16205a8e39fbSHong Zhang     current_space_lvl->local_used      += nzi;
16215a8e39fbSHong Zhang     current_space_lvl->local_remaining -= nzi;
16229e25ed09SBarry Smith   }
16235a8e39fbSHong Zhang 
1624898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
1625898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
16265a8e39fbSHong Zhang 
16275a8e39fbSHong Zhang   /* destroy list of free space and other temporary arrays */
16285a8e39fbSHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
16296516239fSHong Zhang   ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); /* copy free_space -> bj */
16305a8e39fbSHong Zhang   ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
1631a1a86e44SBarry Smith   ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
16325a8e39fbSHong Zhang   ierr = PetscFree(bj_ptr);CHKERRQ(ierr);
16339e25ed09SBarry Smith 
16346cf91177SBarry Smith #if defined(PETSC_USE_INFO)
1635f64065bbSBarry Smith   {
16365a8e39fbSHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
1637ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
1638ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1639ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr);
1640ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
1641335d9088SBarry Smith     if (diagonal_fill) {
1642ae15b995SBarry Smith       ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr);
1643335d9088SBarry Smith     }
1644f64065bbSBarry Smith   }
164563ba0a88SBarry Smith #endif
1646bbb6d6a8SBarry Smith 
16479e25ed09SBarry Smith   /* put together the new matrix */
164807dbf95fSBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
1649719d5645SBarry Smith   ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr);
1650719d5645SBarry Smith   b = (Mat_SeqAIJ*)(fact)->data;
1651e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
1652e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
16537c922b88SBarry Smith   b->singlemalloc = PETSC_FALSE;
1654052f0c41SBarry Smith   ierr = PetscMalloc( (bi[n] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
16555a8e39fbSHong Zhang   b->j          = bj;
16565a8e39fbSHong Zhang   b->i          = bi;
16575a8e39fbSHong Zhang   for (i=0; i<n; i++) bdiag[i] += bi[i];
16585a8e39fbSHong Zhang   b->diag       = bdiag;
1659416022c9SBarry Smith   b->ilen       = 0;
1660416022c9SBarry Smith   b->imax       = 0;
1661416022c9SBarry Smith   b->row        = isrow;
1662416022c9SBarry Smith   b->col        = iscol;
1663c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1664c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
166582bf6240SBarry Smith   b->icol       = isicol;
166687828ca2SBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1667416022c9SBarry Smith   /* In b structure:  Free imax, ilen, old a, old j.
16685a8e39fbSHong Zhang      Allocate bdiag, solve_work, new a, new j */
1669719d5645SBarry Smith   ierr = PetscLogObjectMemory(fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
16705a8e39fbSHong Zhang   b->maxnz             = b->nz = bi[n] ;
1671719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1672719d5645SBarry Smith   (fact)->info.fill_ratio_given  = f;
1673719d5645SBarry Smith   (fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]);
1674719d5645SBarry Smith   (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ;
1675719d5645SBarry Smith   ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr);
16763a40ed3dSBarry Smith   PetscFunctionReturn(0);
16779e25ed09SBarry Smith }
1678d5d45c9bSBarry Smith 
16797c4f633dSBarry Smith #include "../src/mat/impls/sbaij/seq/sbaij.h"
1680a6175056SHong Zhang #undef __FUNCT__
1681a6175056SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ"
16820481f469SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info)
1683a6175056SHong Zhang {
1684719d5645SBarry Smith   Mat            C = B;
16850968510aSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data;
16862ed133dbSHong Zhang   Mat_SeqSBAIJ   *b=(Mat_SeqSBAIJ*)C->data;
16879bfd6278SHong Zhang   IS             ip=b->row,iip = b->icol;
16882ed133dbSHong Zhang   PetscErrorCode ierr;
16895d0c19d7SBarry Smith   const PetscInt *rip,*riip;
16905d0c19d7SBarry Smith   PetscInt       i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bcol;
16912ed133dbSHong Zhang   PetscInt       *ai=a->i,*aj=a->j;
16922ed133dbSHong Zhang   PetscInt       k,jmin,jmax,*jl,*il,col,nexti,ili,nz;
1693622e2028SHong Zhang   MatScalar      *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi;
1694540703acSHong Zhang   PetscReal      zeropivot,rs,shiftnz;
1695fbf22428SSatish Balay   PetscReal      shiftpd;
1696540703acSHong Zhang   ChShift_Ctx    sctx;
1697540703acSHong Zhang   PetscInt       newshift;
1698db4efbfdSBarry Smith   PetscTruth     perm_identity;
1699d5d45c9bSBarry Smith 
1700a6175056SHong Zhang   PetscFunctionBegin;
1701117f1891Stmunson 
1702540703acSHong Zhang   shiftnz   = info->shiftnz;
1703540703acSHong Zhang   shiftpd   = info->shiftpd;
1704ee45ca4aSHong Zhang   zeropivot = info->zeropivot;
1705ee45ca4aSHong Zhang 
17062ed133dbSHong Zhang   ierr  = ISGetIndices(ip,&rip);CHKERRQ(ierr);
17079bfd6278SHong Zhang   ierr  = ISGetIndices(iip,&riip);CHKERRQ(ierr);
17082ed133dbSHong Zhang 
17092ed133dbSHong Zhang   /* initialization */
17102ed133dbSHong Zhang   nz   = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar);
17112ed133dbSHong Zhang   ierr = PetscMalloc(nz,&il);CHKERRQ(ierr);
17122ed133dbSHong Zhang   jl   = il + mbs;
17132ed133dbSHong Zhang   rtmp = (MatScalar*)(jl + mbs);
17142ed133dbSHong Zhang 
1715540703acSHong Zhang   sctx.shift_amount = 0;
1716540703acSHong Zhang   sctx.nshift       = 0;
17172ed133dbSHong Zhang   do {
1718540703acSHong Zhang     sctx.chshift = PETSC_FALSE;
17192ed133dbSHong Zhang     for (i=0; i<mbs; i++) {
17202ed133dbSHong Zhang       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
1721a6175056SHong Zhang     }
17222ed133dbSHong Zhang 
17232ed133dbSHong Zhang     for (k = 0; k<mbs; k++){
1724c05c3958SHong Zhang       bval = ba + bi[k];
17252ed133dbSHong Zhang       /* initialize k-th row by the perm[k]-th row of A */
17262ed133dbSHong Zhang       jmin = ai[rip[k]]; jmax = ai[rip[k]+1];
17272ed133dbSHong Zhang       for (j = jmin; j < jmax; j++){
17289bfd6278SHong Zhang         col = riip[aj[j]];
17292ed133dbSHong Zhang         if (col >= k){ /* only take upper triangular entry */
17302ed133dbSHong Zhang           rtmp[col] = aa[j];
1731c05c3958SHong Zhang           *bval++  = 0.0; /* for in-place factorization */
17322ed133dbSHong Zhang         }
17332ed133dbSHong Zhang       }
173439e3d630SHong Zhang       /* shift the diagonal of the matrix */
1735540703acSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
17362ed133dbSHong Zhang 
17372ed133dbSHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
17382ed133dbSHong Zhang       dk = rtmp[k];
17392ed133dbSHong Zhang       i = jl[k]; /* first row to be added to k_th row  */
17402ed133dbSHong Zhang 
17412ed133dbSHong Zhang       while (i < k){
17422ed133dbSHong Zhang         nexti = jl[i]; /* next row to be added to k_th row */
17432ed133dbSHong Zhang 
17442ed133dbSHong Zhang         /* compute multiplier, update diag(k) and U(i,k) */
17452ed133dbSHong Zhang         ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
17462ed133dbSHong Zhang         uikdi = - ba[ili]*ba[bi[i]];  /* diagonal(k) */
17472ed133dbSHong Zhang         dk += uikdi*ba[ili];
17482ed133dbSHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
17492ed133dbSHong Zhang 
17502ed133dbSHong Zhang         /* add multiple of row i to k-th row */
17512ed133dbSHong Zhang         jmin = ili + 1; jmax = bi[i+1];
17522ed133dbSHong Zhang         if (jmin < jmax){
17532ed133dbSHong Zhang           for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j];
17542ed133dbSHong Zhang           /* update il and jl for row i */
17552ed133dbSHong Zhang           il[i] = jmin;
17562ed133dbSHong Zhang           j = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
17572ed133dbSHong Zhang         }
17582ed133dbSHong Zhang         i = nexti;
17592ed133dbSHong Zhang       }
17602ed133dbSHong Zhang 
17610697b6caSHong Zhang       /* shift the diagonals when zero pivot is detected */
17620697b6caSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
17630697b6caSHong Zhang       rs   = 0.0;
17643c9e8598SHong Zhang       jmin = bi[k]+1;
17653c9e8598SHong Zhang       nz   = bi[k+1] - jmin;
17663c9e8598SHong Zhang       bcol = bj + jmin;
17673c9e8598SHong Zhang       while (nz--){
176889f845c8SHong Zhang         rs += PetscAbsScalar(rtmp[*bcol]);
176989f845c8SHong Zhang         bcol++;
17703c9e8598SHong Zhang       }
1771540703acSHong Zhang 
1772540703acSHong Zhang       sctx.rs = rs;
1773540703acSHong Zhang       sctx.pv = dk;
17745b5bc046SBarry Smith       ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr);
1775117f1891Stmunson 
1776117f1891Stmunson       if (newshift == 1) {
1777117f1891Stmunson         if (!sctx.shift_amount) {
1778117f1891Stmunson           sctx.shift_amount = 1e-5;
1779117f1891Stmunson         }
1780117f1891Stmunson         break;
1781117f1891Stmunson       }
17823c9e8598SHong Zhang 
17833c9e8598SHong Zhang       /* copy data into U(k,:) */
178439e3d630SHong Zhang       ba[bi[k]] = 1.0/dk; /* U(k,k) */
178539e3d630SHong Zhang       jmin = bi[k]+1; jmax = bi[k+1];
178639e3d630SHong Zhang       if (jmin < jmax) {
178739e3d630SHong Zhang         for (j=jmin; j<jmax; j++){
178839e3d630SHong Zhang           col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0;
17893c9e8598SHong Zhang         }
179039e3d630SHong Zhang         /* add the k-th row into il and jl */
17913c9e8598SHong Zhang         il[k] = jmin;
17923c9e8598SHong Zhang         i = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
17933c9e8598SHong Zhang       }
17943c9e8598SHong Zhang     }
1795540703acSHong Zhang   } while (sctx.chshift);
17963c9e8598SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
17973c9e8598SHong Zhang 
179839e3d630SHong Zhang   ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr);
17999bfd6278SHong Zhang   ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr);
1800db4efbfdSBarry Smith 
1801db4efbfdSBarry Smith   ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr);
1802db4efbfdSBarry Smith   if (perm_identity){
1803719d5645SBarry Smith     (B)->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
1804719d5645SBarry Smith     (B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1_NaturalOrdering;
1805719d5645SBarry Smith     (B)->ops->forwardsolve    = MatForwardSolve_SeqSBAIJ_1_NaturalOrdering;
1806719d5645SBarry Smith     (B)->ops->backwardsolve   = MatBackwardSolve_SeqSBAIJ_1_NaturalOrdering;
1807db4efbfdSBarry Smith   } else {
1808719d5645SBarry Smith     (B)->ops->solve           = MatSolve_SeqSBAIJ_1;
1809719d5645SBarry Smith     (B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1;
1810719d5645SBarry Smith     (B)->ops->forwardsolve    = MatForwardSolve_SeqSBAIJ_1;
1811719d5645SBarry Smith     (B)->ops->backwardsolve   = MatBackwardSolve_SeqSBAIJ_1;
1812db4efbfdSBarry Smith   }
1813db4efbfdSBarry Smith 
18143c9e8598SHong Zhang   C->assembled    = PETSC_TRUE;
18153c9e8598SHong Zhang   C->preallocated = PETSC_TRUE;
1816d0f46423SBarry Smith   ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr);
1817540703acSHong Zhang   if (sctx.nshift){
1818540703acSHong Zhang     if (shiftnz) {
18191e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
1820540703acSHong Zhang     } else if (shiftpd) {
18211e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
18220697b6caSHong Zhang     }
18233c9e8598SHong Zhang   }
18243c9e8598SHong Zhang   PetscFunctionReturn(0);
18253c9e8598SHong Zhang }
1826a6175056SHong Zhang 
1827a6175056SHong Zhang #undef __FUNCT__
1828a6175056SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ"
18290481f469SBarry Smith PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info)
1830a6175056SHong Zhang {
18310968510aSHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data;
1832ed59401aSHong Zhang   Mat_SeqSBAIJ       *b;
1833dfbe8321SBarry Smith   PetscErrorCode     ierr;
183458ebbce7SBarry Smith   PetscTruth         perm_identity,missing;
18355d0c19d7SBarry Smith   PetscInt           reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui;
18365d0c19d7SBarry Smith   const PetscInt     *rip,*riip;
1837ed59401aSHong Zhang   PetscInt           jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow;
183858ebbce7SBarry Smith   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL,d;
18395a8e39fbSHong Zhang   PetscInt           ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr;
1840ed59401aSHong Zhang   PetscReal          fill=info->fill,levels=info->levels;
1841a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1842a1a86e44SBarry Smith   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
18437a48dd6fSHong Zhang   PetscBT            lnkbt;
1844b635d36bSHong Zhang   IS                 iperm;
1845a6175056SHong Zhang 
1846a6175056SHong Zhang   PetscFunctionBegin;
1847d0f46423SBarry 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);
184858ebbce7SBarry Smith   ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
184958ebbce7SBarry Smith   if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
1850653a6975SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
1851b635d36bSHong Zhang   ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr);
18527a48dd6fSHong Zhang 
185339e3d630SHong Zhang   ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
185439e3d630SHong Zhang   ui[0] = 0;
185539e3d630SHong Zhang 
1856b635d36bSHong Zhang   /* ICC(0) without matrix ordering: simply copies fill pattern */
1857622e2028SHong Zhang   if (!levels && perm_identity) {
185858ebbce7SBarry Smith 
1859ed59401aSHong Zhang     for (i=0; i<am; i++) {
186039e3d630SHong Zhang       ui[i+1] = ui[i] + ai[i+1] - a->diag[i];
1861ed59401aSHong Zhang     }
186239e3d630SHong Zhang     ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
186339e3d630SHong Zhang     cols = uj;
1864ed59401aSHong Zhang     for (i=0; i<am; i++) {
1865ed59401aSHong Zhang       aj    = a->j + a->diag[i];
186639e3d630SHong Zhang       ncols = ui[i+1] - ui[i];
186739e3d630SHong Zhang       for (j=0; j<ncols; j++) *cols++ = *aj++;
1868ed59401aSHong Zhang     }
186939e3d630SHong Zhang   } else { /* case: levels>0 || (levels=0 && !perm_identity) */
1870b635d36bSHong Zhang     ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr);
1871b635d36bSHong Zhang     ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
1872b635d36bSHong Zhang 
18737a48dd6fSHong Zhang     /* initialization */
18745a8e39fbSHong Zhang     ierr  = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr);
18757a48dd6fSHong Zhang 
18767a48dd6fSHong Zhang     /* jl: linked list for storing indices of the pivot rows
18777a48dd6fSHong Zhang        il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
18781393bc97SHong Zhang     ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr);
18797a48dd6fSHong Zhang     il         = jl + am;
18807a48dd6fSHong Zhang     uj_ptr     = (PetscInt**)(il + am);
18817a48dd6fSHong Zhang     uj_lvl_ptr = (PetscInt**)(uj_ptr + am);
18827a48dd6fSHong Zhang     for (i=0; i<am; i++){
18837a48dd6fSHong Zhang       jl[i] = am; il[i] = 0;
18847a48dd6fSHong Zhang     }
18857a48dd6fSHong Zhang 
18867a48dd6fSHong Zhang     /* create and initialize a linked list for storing column indices of the active row k */
18877a48dd6fSHong Zhang     nlnk = am + 1;
18882ed133dbSHong Zhang     ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
18897a48dd6fSHong Zhang 
18907a48dd6fSHong Zhang     /* initial FreeSpace size is fill*(ai[am]+1) */
1891a1a86e44SBarry Smith     ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr);
18927a48dd6fSHong Zhang     current_space = free_space;
1893a1a86e44SBarry Smith     ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr);
18947a48dd6fSHong Zhang     current_space_lvl = free_space_lvl;
18957a48dd6fSHong Zhang 
18967a48dd6fSHong Zhang     for (k=0; k<am; k++){  /* for each active row k */
18977a48dd6fSHong Zhang       /* initialize lnk by the column indices of row rip[k] of A */
18987a48dd6fSHong Zhang       nzk   = 0;
1899622e2028SHong Zhang       ncols = ai[rip[k]+1] - ai[rip[k]];
19003b4a8b6dSBarry 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);
1901622e2028SHong Zhang       ncols_upper = 0;
1902622e2028SHong Zhang       for (j=0; j<ncols; j++){
1903b635d36bSHong Zhang         i = *(aj + ai[rip[k]] + j); /* unpermuted column index */
1904b635d36bSHong Zhang         if (riip[i] >= k){ /* only take upper triangular entry */
19055a8e39fbSHong Zhang           ajtmp[ncols_upper] = i;
1906622e2028SHong Zhang           ncols_upper++;
1907622e2028SHong Zhang         }
1908622e2028SHong Zhang       }
1909b635d36bSHong Zhang       ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
19107a48dd6fSHong Zhang       nzk += nlnk;
19117a48dd6fSHong Zhang 
19127a48dd6fSHong Zhang       /* update lnk by computing fill-in for each pivot row to be merged in */
19137a48dd6fSHong Zhang       prow = jl[k]; /* 1st pivot row */
19147a48dd6fSHong Zhang 
19157a48dd6fSHong Zhang       while (prow < k){
19167a48dd6fSHong Zhang         nextprow = jl[prow];
19177a48dd6fSHong Zhang 
19187a48dd6fSHong Zhang         /* merge prow into k-th row */
19197a48dd6fSHong Zhang         jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:am-1) */
19207a48dd6fSHong Zhang         jmax = ui[prow+1];
19217a48dd6fSHong Zhang         ncols = jmax-jmin;
1922ed59401aSHong Zhang         i     = jmin - ui[prow];
1923ed59401aSHong Zhang         cols  = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */
19245a8e39fbSHong Zhang         uj    = uj_lvl_ptr[prow] + i; /* levels of cols */
19255a8e39fbSHong Zhang         j     = *(uj - 1);
19265a8e39fbSHong Zhang         ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr);
19277a48dd6fSHong Zhang         nzk += nlnk;
19287a48dd6fSHong Zhang 
19297a48dd6fSHong Zhang         /* update il and jl for prow */
19307a48dd6fSHong Zhang         if (jmin < jmax){
19317a48dd6fSHong Zhang           il[prow] = jmin;
19327a48dd6fSHong Zhang           j = *cols; jl[prow] = jl[j]; jl[j] = prow;
19337a48dd6fSHong Zhang         }
19347a48dd6fSHong Zhang         prow = nextprow;
19357a48dd6fSHong Zhang       }
19367a48dd6fSHong Zhang 
19377a48dd6fSHong Zhang       /* if free space is not available, make more free space */
19387a48dd6fSHong Zhang       if (current_space->local_remaining<nzk) {
19397a48dd6fSHong Zhang         i = am - k + 1; /* num of unfactored rows */
19407a48dd6fSHong Zhang         i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
1941a1a86e44SBarry Smith         ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
1942a1a86e44SBarry Smith         ierr = PetscFreeSpaceGet(i,&current_space_lvl);CHKERRQ(ierr);
19437a48dd6fSHong Zhang         reallocs++;
19447a48dd6fSHong Zhang       }
19457a48dd6fSHong Zhang 
19467a48dd6fSHong Zhang       /* copy data into free_space and free_space_lvl, then initialize lnk */
1947b635d36bSHong Zhang       if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k);
19482ed133dbSHong Zhang       ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
19497a48dd6fSHong Zhang 
19507a48dd6fSHong Zhang       /* add the k-th row into il and jl */
195139e3d630SHong Zhang       if (nzk > 1){
19527a48dd6fSHong Zhang         i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
19537a48dd6fSHong Zhang         jl[k] = jl[i]; jl[i] = k;
19547a48dd6fSHong Zhang         il[k] = ui[k] + 1;
19557a48dd6fSHong Zhang       }
19567a48dd6fSHong Zhang       uj_ptr[k]     = current_space->array;
19577a48dd6fSHong Zhang       uj_lvl_ptr[k] = current_space_lvl->array;
19587a48dd6fSHong Zhang 
19597a48dd6fSHong Zhang       current_space->array           += nzk;
19607a48dd6fSHong Zhang       current_space->local_used      += nzk;
19617a48dd6fSHong Zhang       current_space->local_remaining -= nzk;
19627a48dd6fSHong Zhang 
19637a48dd6fSHong Zhang       current_space_lvl->array           += nzk;
19647a48dd6fSHong Zhang       current_space_lvl->local_used      += nzk;
19657a48dd6fSHong Zhang       current_space_lvl->local_remaining -= nzk;
19667a48dd6fSHong Zhang 
19677a48dd6fSHong Zhang       ui[k+1] = ui[k] + nzk;
19687a48dd6fSHong Zhang     }
19697a48dd6fSHong Zhang 
19706cf91177SBarry Smith #if defined(PETSC_USE_INFO)
19717a48dd6fSHong Zhang     if (ai[am] != 0) {
197239e3d630SHong Zhang       PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]);
1973ae15b995SBarry Smith       ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
1974ae15b995SBarry Smith       ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1975ae15b995SBarry Smith       ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
19767a48dd6fSHong Zhang     } else {
1977ae15b995SBarry Smith       ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
19787a48dd6fSHong Zhang     }
197963ba0a88SBarry Smith #endif
19807a48dd6fSHong Zhang 
19817a48dd6fSHong Zhang     ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
1982b635d36bSHong Zhang     ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr);
19837a48dd6fSHong Zhang     ierr = PetscFree(jl);CHKERRQ(ierr);
19845a8e39fbSHong Zhang     ierr = PetscFree(ajtmp);CHKERRQ(ierr);
19857a48dd6fSHong Zhang 
19867a48dd6fSHong Zhang     /* destroy list of free space and other temporary array(s) */
19877a48dd6fSHong Zhang     ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
1988a1a86e44SBarry Smith     ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
19892ed133dbSHong Zhang     ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
1990a1a86e44SBarry Smith     ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
19917a48dd6fSHong Zhang 
199239e3d630SHong Zhang   } /* end of case: levels>0 || (levels=0 && !perm_identity) */
199339e3d630SHong Zhang 
19947a48dd6fSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
19957a48dd6fSHong Zhang 
1996719d5645SBarry Smith   b    = (Mat_SeqSBAIJ*)(fact)->data;
19977a48dd6fSHong Zhang   b->singlemalloc = PETSC_FALSE;
19987a48dd6fSHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
19997a48dd6fSHong Zhang   b->j    = uj;
20007a48dd6fSHong Zhang   b->i    = ui;
20017a48dd6fSHong Zhang   b->diag = 0;
20027a48dd6fSHong Zhang   b->ilen = 0;
20037a48dd6fSHong Zhang   b->imax = 0;
20047a48dd6fSHong Zhang   b->row  = perm;
2005b635d36bSHong Zhang   b->col  = perm;
2006b635d36bSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
2007b635d36bSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
2008b635d36bSHong Zhang   b->icol = iperm;
20097a48dd6fSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
20107a48dd6fSHong Zhang   ierr    = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
2011719d5645SBarry Smith   ierr = PetscLogObjectMemory((fact),(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
20127a48dd6fSHong Zhang   b->maxnz   = b->nz = ui[am];
2013e6b907acSBarry Smith   b->free_a  = PETSC_TRUE;
2014e6b907acSBarry Smith   b->free_ij = PETSC_TRUE;
20157a48dd6fSHong Zhang 
2016719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
2017719d5645SBarry Smith   (fact)->info.fill_ratio_given  = fill;
20187a48dd6fSHong Zhang   if (ai[am] != 0) {
2019719d5645SBarry Smith     (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]);
20207a48dd6fSHong Zhang   } else {
2021719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 0.0;
20227a48dd6fSHong Zhang   }
2023719d5645SBarry Smith   (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ;
2024a6175056SHong Zhang   PetscFunctionReturn(0);
2025a6175056SHong Zhang }
2026d5d45c9bSBarry Smith 
2027f76d2b81SHong Zhang #undef __FUNCT__
2028f76d2b81SHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ"
20290481f469SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info)
2030f76d2b81SHong Zhang {
2031f76d2b81SHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data;
203210c27e3dSHong Zhang   Mat_SeqSBAIJ       *b;
2033dfbe8321SBarry Smith   PetscErrorCode     ierr;
2034f76d2b81SHong Zhang   PetscTruth         perm_identity;
203510c27e3dSHong Zhang   PetscReal          fill = info->fill;
20365d0c19d7SBarry Smith   const PetscInt     *rip,*riip;
20375d0c19d7SBarry Smith   PetscInt           i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow;
203810c27e3dSHong Zhang   PetscInt           *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow;
20392ed133dbSHong Zhang   PetscInt           nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr;
2040a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
204110c27e3dSHong Zhang   PetscBT            lnkbt;
20422ed133dbSHong Zhang   IS                 iperm;
2043f76d2b81SHong Zhang 
2044f76d2b81SHong Zhang   PetscFunctionBegin;
2045d0f46423SBarry 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);
20462ed133dbSHong Zhang   /* check whether perm is the identity mapping */
2047f76d2b81SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
20482ed133dbSHong Zhang   ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr);
20492ed133dbSHong Zhang   ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr);
20509bfd6278SHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
205110c27e3dSHong Zhang 
205210c27e3dSHong Zhang   /* initialization */
20531393bc97SHong Zhang   ierr  = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
205410c27e3dSHong Zhang   ui[0] = 0;
205510c27e3dSHong Zhang 
205610c27e3dSHong Zhang   /* jl: linked list for storing indices of the pivot rows
20571393bc97SHong Zhang      il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
20581393bc97SHong Zhang   ierr = PetscMalloc((3*am+1)*sizeof(PetscInt)+am*sizeof(PetscInt**),&jl);CHKERRQ(ierr);
20591393bc97SHong Zhang   il     = jl + am;
20601393bc97SHong Zhang   cols   = il + am;
20611393bc97SHong Zhang   ui_ptr = (PetscInt**)(cols + am);
20621393bc97SHong Zhang   for (i=0; i<am; i++){
20631393bc97SHong Zhang     jl[i] = am; il[i] = 0;
2064f76d2b81SHong Zhang   }
206510c27e3dSHong Zhang 
206610c27e3dSHong Zhang   /* create and initialize a linked list for storing column indices of the active row k */
20671393bc97SHong Zhang   nlnk = am + 1;
20681393bc97SHong Zhang   ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
206910c27e3dSHong Zhang 
20701393bc97SHong Zhang   /* initial FreeSpace size is fill*(ai[am]+1) */
2071a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr);
207210c27e3dSHong Zhang   current_space = free_space;
207310c27e3dSHong Zhang 
20741393bc97SHong Zhang   for (k=0; k<am; k++){  /* for each active row k */
207510c27e3dSHong Zhang     /* initialize lnk by the column indices of row rip[k] of A */
207610c27e3dSHong Zhang     nzk   = 0;
20772ed133dbSHong Zhang     ncols = ai[rip[k]+1] - ai[rip[k]];
20783b4a8b6dSBarry 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);
20792ed133dbSHong Zhang     ncols_upper = 0;
20802ed133dbSHong Zhang     for (j=0; j<ncols; j++){
20819bfd6278SHong Zhang       i = riip[*(aj + ai[rip[k]] + j)];
20822ed133dbSHong Zhang       if (i >= k){ /* only take upper triangular entry */
20832ed133dbSHong Zhang         cols[ncols_upper] = i;
20842ed133dbSHong Zhang         ncols_upper++;
20852ed133dbSHong Zhang       }
20862ed133dbSHong Zhang     }
20871393bc97SHong Zhang     ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
208810c27e3dSHong Zhang     nzk += nlnk;
208910c27e3dSHong Zhang 
209010c27e3dSHong Zhang     /* update lnk by computing fill-in for each pivot row to be merged in */
209110c27e3dSHong Zhang     prow = jl[k]; /* 1st pivot row */
209210c27e3dSHong Zhang 
209310c27e3dSHong Zhang     while (prow < k){
209410c27e3dSHong Zhang       nextprow = jl[prow];
209510c27e3dSHong Zhang       /* merge prow into k-th row */
20961393bc97SHong Zhang       jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:am-1) */
209710c27e3dSHong Zhang       jmax = ui[prow+1];
209810c27e3dSHong Zhang       ncols = jmax-jmin;
20991393bc97SHong Zhang       uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */
21005a8e39fbSHong Zhang       ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
210110c27e3dSHong Zhang       nzk += nlnk;
210210c27e3dSHong Zhang 
210310c27e3dSHong Zhang       /* update il and jl for prow */
210410c27e3dSHong Zhang       if (jmin < jmax){
210510c27e3dSHong Zhang         il[prow] = jmin;
21062ed133dbSHong Zhang         j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow;
210710c27e3dSHong Zhang       }
210810c27e3dSHong Zhang       prow = nextprow;
210910c27e3dSHong Zhang     }
211010c27e3dSHong Zhang 
211110c27e3dSHong Zhang     /* if free space is not available, make more free space */
211210c27e3dSHong Zhang     if (current_space->local_remaining<nzk) {
21131393bc97SHong Zhang       i = am - k + 1; /* num of unfactored rows */
211410c27e3dSHong Zhang       i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
2115a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
211610c27e3dSHong Zhang       reallocs++;
211710c27e3dSHong Zhang     }
211810c27e3dSHong Zhang 
211910c27e3dSHong Zhang     /* copy data into free space, then initialize lnk */
21201393bc97SHong Zhang     ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
212110c27e3dSHong Zhang 
212210c27e3dSHong Zhang     /* add the k-th row into il and jl */
212310c27e3dSHong Zhang     if (nzk-1 > 0){
21241393bc97SHong Zhang       i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
212510c27e3dSHong Zhang       jl[k] = jl[i]; jl[i] = k;
212610c27e3dSHong Zhang       il[k] = ui[k] + 1;
212710c27e3dSHong Zhang     }
21282ed133dbSHong Zhang     ui_ptr[k] = current_space->array;
212910c27e3dSHong Zhang     current_space->array           += nzk;
213010c27e3dSHong Zhang     current_space->local_used      += nzk;
213110c27e3dSHong Zhang     current_space->local_remaining -= nzk;
213210c27e3dSHong Zhang 
213310c27e3dSHong Zhang     ui[k+1] = ui[k] + nzk;
213410c27e3dSHong Zhang   }
213510c27e3dSHong Zhang 
21366cf91177SBarry Smith #if defined(PETSC_USE_INFO)
21371393bc97SHong Zhang   if (ai[am] != 0) {
21381393bc97SHong Zhang     PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]);
2139ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
2140ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
2141ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
214210c27e3dSHong Zhang   } else {
2143ae15b995SBarry Smith      ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
214410c27e3dSHong Zhang   }
214563ba0a88SBarry Smith #endif
214610c27e3dSHong Zhang 
214710c27e3dSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
21489bfd6278SHong Zhang   ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr);
214910c27e3dSHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
215010c27e3dSHong Zhang 
215110c27e3dSHong Zhang   /* destroy list of free space and other temporary array(s) */
21521393bc97SHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
2153a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
215410c27e3dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
215510c27e3dSHong Zhang 
215610c27e3dSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
215710c27e3dSHong Zhang 
2158719d5645SBarry Smith   b = (Mat_SeqSBAIJ*)(fact)->data;
215910c27e3dSHong Zhang   b->singlemalloc = PETSC_FALSE;
2160e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
2161e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
21621393bc97SHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
216310c27e3dSHong Zhang   b->j    = uj;
216410c27e3dSHong Zhang   b->i    = ui;
216510c27e3dSHong Zhang   b->diag = 0;
216610c27e3dSHong Zhang   b->ilen = 0;
216710c27e3dSHong Zhang   b->imax = 0;
216810c27e3dSHong Zhang   b->row  = perm;
21699bfd6278SHong Zhang   b->col  = perm;
21709bfd6278SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
21719bfd6278SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
21729bfd6278SHong Zhang   b->icol = iperm;
217310c27e3dSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
21741393bc97SHong Zhang   ierr    = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
2175719d5645SBarry Smith   ierr    = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
21761393bc97SHong Zhang   b->maxnz = b->nz = ui[am];
217710c27e3dSHong Zhang 
2178719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
2179719d5645SBarry Smith   (fact)->info.fill_ratio_given  = fill;
21801393bc97SHong Zhang   if (ai[am] != 0) {
2181719d5645SBarry Smith     (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]);
218210c27e3dSHong Zhang   } else {
2183719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 0.0;
218410c27e3dSHong Zhang   }
2185719d5645SBarry Smith   (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ;
2186f76d2b81SHong Zhang   PetscFunctionReturn(0);
2187f76d2b81SHong Zhang }
2188599ef60dSHong Zhang 
2189599ef60dSHong Zhang #undef __FUNCT__
21901d098868SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering_iludt"
21911d098868SHong Zhang PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_iludt(Mat A,Vec bb,Vec xx)
2192599ef60dSHong Zhang {
21931d098868SHong Zhang   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
21941d098868SHong Zhang   PetscErrorCode    ierr;
21951d098868SHong Zhang   PetscInt          n = A->rmap->n;
21968fc3a347SHong Zhang   const PetscInt    *ai = a->i,*aj = a->j,*vi;
21971d098868SHong Zhang   PetscScalar       *x,sum;
21981d098868SHong Zhang   const PetscScalar *b;
21991d098868SHong Zhang   const MatScalar   *aa = a->a,*v;
22008fc3a347SHong Zhang   PetscInt          i,nz;
22011d098868SHong Zhang 
22021d098868SHong Zhang   PetscFunctionBegin;
22031d098868SHong Zhang   if (!n) PetscFunctionReturn(0);
22041d098868SHong Zhang 
22051d098868SHong Zhang   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
22061d098868SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
22071d098868SHong Zhang 
22081d098868SHong Zhang   /* forward solve the lower triangular */
22091d098868SHong Zhang   x[0] = b[0];
22101d098868SHong Zhang   v    = aa;
22111d098868SHong Zhang   vi   = aj;
22121d098868SHong Zhang   for (i=1; i<n; i++) {
22131d098868SHong Zhang     nz  = ai[i+1] - ai[i];
22141d098868SHong Zhang     sum = b[i];
2215003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,x,v,vi,nz);
2216e09e08ccSBarry Smith     /*    while (nz--) sum -= *v++ * x[*vi++];*/
2217e0e43300SBarry Smith     v  += nz;
2218e0e43300SBarry Smith     vi += nz;
22191d098868SHong Zhang     x[i] = sum;
22201d098868SHong Zhang   }
22211d098868SHong Zhang 
22221d098868SHong Zhang   /* backward solve the upper triangular */
22238fc3a347SHong Zhang   v   = aa + ai[n+1];
22248fc3a347SHong Zhang   vi  = aj + ai[n+1];
22251d098868SHong Zhang   for (i=n-1; i>=0; i--){
22268fc3a347SHong Zhang     nz = ai[2*n-i +1] - ai[2*n-i]-1;
22271d098868SHong Zhang     sum = x[i];
2228003131ecSBarry Smith     PetscSparseDenseMinusDot(sum,x,v,vi,nz);
2229e09e08ccSBarry Smith     /* while (nz--) sum -= *v++ * x[*vi++]; */
2230e0e43300SBarry Smith     v   += nz;
22318fc3a347SHong Zhang     vi  += nz; vi++;
2232fe31b70dSHong Zhang     x[i] = *v++ *sum; /* x[i]=aa[adiag[i]]*sum; v++; */
22331d098868SHong Zhang   }
22341d098868SHong Zhang 
22351d098868SHong Zhang   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
22361d098868SHong Zhang   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
22371d098868SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
22381d098868SHong Zhang   PetscFunctionReturn(0);
22391d098868SHong Zhang }
22401d098868SHong Zhang 
22411d098868SHong Zhang #undef __FUNCT__
22421d098868SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_iludt"
22431d098868SHong Zhang PetscErrorCode MatSolve_SeqAIJ_iludt(Mat A,Vec bb,Vec xx)
22441d098868SHong Zhang {
22451d098868SHong Zhang   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
22461d098868SHong Zhang   IS                iscol = a->col,isrow = a->row;
22471d098868SHong Zhang   PetscErrorCode    ierr;
22481d098868SHong Zhang   PetscInt          i,n=A->rmap->n,*vi,*ai = a->i,*aj = a->j,*adiag=a->diag;
22491d098868SHong Zhang   PetscInt          nz;
22501d098868SHong Zhang   const PetscInt    *rout,*cout,*r,*c;
22511d098868SHong Zhang   PetscScalar       *x,*tmp,*tmps;
22521d098868SHong Zhang   const PetscScalar *b;
22531d098868SHong Zhang   const MatScalar   *aa = a->a,*v;
22541d098868SHong Zhang 
22551d098868SHong Zhang   PetscFunctionBegin;
22561d098868SHong Zhang   if (!n) PetscFunctionReturn(0);
22571d098868SHong Zhang 
22581d098868SHong Zhang   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
22591d098868SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
22601d098868SHong Zhang   tmp  = a->solve_work;
22611d098868SHong Zhang 
22621d098868SHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
22631d098868SHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
22641d098868SHong Zhang 
22651d098868SHong Zhang   /* forward solve the lower triangular */
22661d098868SHong Zhang   tmp[0] = b[*r++];
22671d098868SHong Zhang   tmps   = tmp;
22681d098868SHong Zhang   v      = aa;
22691d098868SHong Zhang   vi     = aj;
22701d098868SHong Zhang   for (i=1; i<n; i++) {
22711d098868SHong Zhang     nz  = ai[i+1] - ai[i];
22721d098868SHong Zhang     tmp[i] = b[*r++];
2273003131ecSBarry Smith     PetscSparseDenseMinusDot(tmp[i],tmps,v,vi,nz);
22741d098868SHong Zhang     v += nz; vi += nz;
22751d098868SHong Zhang   }
22761d098868SHong Zhang 
22771d098868SHong Zhang   /* backward solve the upper triangular */
22781d098868SHong Zhang   v   = aa + adiag[n] + 1;
22791d098868SHong Zhang   vi  = aj + adiag[n] + 1;
22801d098868SHong Zhang   for (i=n-1; i>=0; i--){
22811d098868SHong Zhang     nz  = adiag[i] - adiag[i+1] - 1;
2282003131ecSBarry Smith     PetscSparseDenseMinusDot(tmp[i],tmps,v,vi,nz);
22831d098868SHong Zhang     x[*c--] = tmp[i] = tmp[i]*aa[adiag[i]];
22841d098868SHong Zhang     v += nz+1; vi += nz+1;
22851d098868SHong Zhang   }
22861d098868SHong Zhang 
22871d098868SHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
22881d098868SHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
22891d098868SHong Zhang   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
22901d098868SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
22911d098868SHong Zhang   ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr);
22921d098868SHong Zhang   PetscFunctionReturn(0);
22931d098868SHong Zhang }
22941d098868SHong Zhang 
22951d098868SHong Zhang #undef __FUNCT__
22961d098868SHong Zhang #define __FUNCT__ "MatILUDTFactor_SeqAIJ"
22971d098868SHong Zhang PetscErrorCode MatILUDTFactor_SeqAIJ(Mat A,IS isrow,IS iscol,const MatFactorInfo *info,Mat *fact)
22981d098868SHong Zhang {
22991d098868SHong Zhang   Mat                B = *fact;
2300599ef60dSHong Zhang   Mat_SeqAIJ         *a=(Mat_SeqAIJ*)A->data,*b;
2301599ef60dSHong Zhang   IS                 isicol;
2302599ef60dSHong Zhang   PetscErrorCode     ierr;
23031d098868SHong Zhang   const PetscInt     *r,*ic;
23041d098868SHong Zhang   PetscInt           i,n=A->rmap->n,*ai=a->i,*aj=a->j,*ajtmp,*adiag;
2305dc3a2fd3SHong Zhang   PetscInt           *bi,*bj,*bdiag,*bdiag_rev;
23061d098868SHong Zhang   PetscInt           row,nzi,nzi_bl,nzi_bu,*im,dtcount,nzi_al,nzi_au;
23071d098868SHong Zhang   PetscInt           nlnk,*lnk;
23081d098868SHong Zhang   PetscBT            lnkbt;
23091d098868SHong Zhang   PetscTruth         row_identity,icol_identity,both_identity;
23108aee2decSHong Zhang   MatScalar          *aatmp,*pv,*batmp,*ba,*rtmp,*pc,multiplier,*vtmp,diag_tmp;
23111d098868SHong Zhang   const PetscInt     *ics;
23121d098868SHong Zhang   PetscInt           j,nz,*pj,*bjtmp,k,ncut,*jtmp;
23131d098868SHong Zhang   PetscReal          dt=info->dt,shift=info->shiftinblocks;
23141d098868SHong Zhang   PetscInt           nnz_max;
2315599ef60dSHong Zhang   PetscTruth         missing;
2316599ef60dSHong Zhang 
2317599ef60dSHong Zhang   PetscFunctionBegin;
23181d098868SHong Zhang   /* ------- symbolic factorization, can be reused ---------*/
23191d098868SHong Zhang   ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr);
23201d098868SHong Zhang   if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",i);
23211d098868SHong Zhang   adiag=a->diag;
2322599ef60dSHong Zhang 
2323599ef60dSHong Zhang   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
2324599ef60dSHong Zhang 
2325599ef60dSHong Zhang   /* bdiag is location of diagonal in factor */
2326a6226a1aSHong Zhang   ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
2327a6226a1aSHong Zhang   bdiag_rev = bdiag + n+1;
2328599ef60dSHong Zhang 
23291d098868SHong Zhang   /* allocate row pointers bi */
23308fc3a347SHong Zhang   ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
23311d098868SHong Zhang 
23321d098868SHong Zhang   /* allocate bj and ba; max num of nonzero entries is (ai[n]+2*n*dtcount+2) */
2333599ef60dSHong Zhang   dtcount = (PetscInt)info->dtcount;
2334393d3a68SHong Zhang   if (dtcount > n-1) dtcount = n-1; /* diagonal is excluded */
23351d098868SHong Zhang   nnz_max  = ai[n]+2*n*dtcount+2;
23368fc3a347SHong Zhang 
23378fc3a347SHong Zhang   ierr = PetscMalloc((nnz_max+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
23388fc3a347SHong Zhang   ierr = PetscMalloc((nnz_max+1)*sizeof(MatScalar),&ba);CHKERRQ(ierr);
2339599ef60dSHong Zhang 
2340599ef60dSHong Zhang   /* put together the new matrix */
2341599ef60dSHong Zhang   ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
2342599ef60dSHong Zhang   ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr);
2343599ef60dSHong Zhang   b    = (Mat_SeqAIJ*)(B)->data;
2344599ef60dSHong Zhang   b->free_a       = PETSC_TRUE;
2345599ef60dSHong Zhang   b->free_ij      = PETSC_TRUE;
2346599ef60dSHong Zhang   b->singlemalloc = PETSC_FALSE;
2347599ef60dSHong Zhang   b->a          = ba;
2348599ef60dSHong Zhang   b->j          = bj;
2349599ef60dSHong Zhang   b->i          = bi;
2350599ef60dSHong Zhang   b->diag       = bdiag;
2351599ef60dSHong Zhang   b->ilen       = 0;
2352599ef60dSHong Zhang   b->imax       = 0;
2353599ef60dSHong Zhang   b->row        = isrow;
2354599ef60dSHong Zhang   b->col        = iscol;
2355599ef60dSHong Zhang   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
2356599ef60dSHong Zhang   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
2357599ef60dSHong Zhang   b->icol       = isicol;
2358599ef60dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
2359599ef60dSHong Zhang 
23601d098868SHong Zhang   ierr = PetscLogObjectMemory(B,nnz_max*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
23611d098868SHong Zhang   b->maxnz = nnz_max;
2362599ef60dSHong Zhang 
2363599ef60dSHong Zhang   (B)->factor                = MAT_FACTOR_ILUDT;
2364599ef60dSHong Zhang   (B)->info.factor_mallocs   = 0;
23651d098868SHong Zhang   (B)->info.fill_ratio_given = ((PetscReal)nnz_max)/((PetscReal)ai[n]);
23661d098868SHong Zhang   CHKMEMQ;
23671d098868SHong Zhang   /* ------- end of symbolic factorization ---------*/
2368599ef60dSHong Zhang 
2369599ef60dSHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
2370599ef60dSHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
2371599ef60dSHong Zhang   ics  = ic;
2372599ef60dSHong Zhang 
2373599ef60dSHong Zhang   /* linked list for storing column indices of the active row */
2374599ef60dSHong Zhang   nlnk = n + 1;
2375599ef60dSHong Zhang   ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
23761d098868SHong Zhang 
23771d098868SHong Zhang   /* im: used by PetscLLAddSortedLU(); jtmp: working array for column indices of active row */
23781d098868SHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(PetscInt),&im);CHKERRQ(ierr);
23791d098868SHong Zhang   jtmp = im + n;
23801d098868SHong Zhang   /* rtmp, vtmp: working arrays for sparse and contiguous row entries of active row */
23818369b28dSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
23828aee2decSHong Zhang   ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
23838369b28dSHong Zhang   vtmp = rtmp + n;
2384599ef60dSHong Zhang 
2385599ef60dSHong Zhang   bi[0]    = 0;
23868fc3a347SHong Zhang   bdiag[0] = nnz_max-1; /* location of diag[0] in factor B */
2387dc3a2fd3SHong Zhang   bdiag_rev[n] = bdiag[0];
23888fc3a347SHong Zhang   bi[2*n+1] = bdiag[0]+1; /* endof bj and ba array */
2389599ef60dSHong Zhang   for (i=0; i<n; i++) {
2390599ef60dSHong Zhang     /* copy initial fill into linked list */
2391599ef60dSHong Zhang     nzi = 0; /* nonzeros for active row i */
23928369b28dSHong Zhang     nzi = ai[r[i]+1] - ai[r[i]];
23938369b28dSHong 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);
23948369b28dSHong Zhang     nzi_al = adiag[r[i]] - ai[r[i]];
23958369b28dSHong Zhang     nzi_au = ai[r[i]+1] - adiag[r[i]] -1;
2396599ef60dSHong Zhang     ajtmp = aj + ai[r[i]];
23978369b28dSHong Zhang     ierr = PetscLLAddPerm(nzi,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
2398599ef60dSHong Zhang 
2399599ef60dSHong Zhang     /* load in initial (unfactored row) */
24001d098868SHong Zhang     aatmp = a->a + ai[r[i]];
24018369b28dSHong Zhang     for (j=0; j<nzi; j++) {
24021d098868SHong Zhang       rtmp[ics[*ajtmp++]] = *aatmp++;
2403599ef60dSHong Zhang     }
2404599ef60dSHong Zhang 
2405599ef60dSHong Zhang     /* add pivot rows into linked list */
2406599ef60dSHong Zhang     row = lnk[n];
2407599ef60dSHong Zhang     while (row < i ) {
24081d098868SHong Zhang       nzi_bl = bi[row+1] - bi[row] + 1;
24091d098868SHong Zhang       bjtmp = bj + bdiag[row+1]+1; /* points to 1st column next to the diagonal in U */
24101d098868SHong Zhang       ierr  = PetscLLAddSortedLU(bjtmp,row,nlnk,lnk,lnkbt,i,nzi_bl,im);CHKERRQ(ierr);
2411599ef60dSHong Zhang       nzi  += nlnk;
2412599ef60dSHong Zhang       row   = lnk[row];
2413599ef60dSHong Zhang     }
2414599ef60dSHong Zhang 
24158369b28dSHong Zhang     /* copy data from lnk into jtmp, then initialize lnk */
24168369b28dSHong Zhang     ierr = PetscLLClean(n,n,nzi,lnk,jtmp,lnkbt);CHKERRQ(ierr);
2417599ef60dSHong Zhang 
2418599ef60dSHong Zhang     /* numerical factorization */
24198369b28dSHong Zhang     bjtmp = jtmp;
2420599ef60dSHong Zhang     row   = *bjtmp++; /* 1st pivot row */
2421599ef60dSHong Zhang     while  ( row < i ) {
2422599ef60dSHong Zhang       pc         = rtmp + row;
24233c2a7987SHong Zhang       pv         = ba + bdiag[row]; /* 1./(diag of the pivot row) */
24243c2a7987SHong Zhang       multiplier = (*pc) * (*pv);
2425599ef60dSHong Zhang       *pc        = multiplier;
24263c2a7987SHong Zhang       if (PetscAbsScalar(*pc) > dt){ /* apply tolerance dropping rule */
24271d098868SHong Zhang         pj         = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */
24281d098868SHong Zhang         pv         = ba + bdiag[row+1] + 1;
24291d098868SHong Zhang         /* if (multiplier < -1.0 or multiplier >1.0) printf("row/prow %d, %d, multiplier %g\n",i,row,multiplier); */
24301d098868SHong Zhang         nz         = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */
24311d098868SHong Zhang         for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++);
2432dc0b31edSSatish Balay         ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
2433599ef60dSHong Zhang       }
2434599ef60dSHong Zhang       row = *bjtmp++;
2435599ef60dSHong Zhang     }
2436599ef60dSHong Zhang 
24378369b28dSHong Zhang     /* copy sparse rtmp into contiguous vtmp; separate L and U part */
24388aee2decSHong Zhang     diag_tmp = rtmp[i];  /* save diagonal value - may not needed?? */
24398369b28dSHong Zhang     nzi_bl = 0; j = 0;
24408369b28dSHong Zhang     while (jtmp[j] < i){ /* Note: jtmp is sorted */
24418aee2decSHong Zhang       vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0;
24428369b28dSHong Zhang       nzi_bl++; j++;
24438369b28dSHong Zhang     }
24448369b28dSHong Zhang     nzi_bu = nzi - nzi_bl -1;
24458369b28dSHong Zhang     while (j < nzi){
24468aee2decSHong Zhang       vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0;
24478369b28dSHong Zhang       j++;
24488369b28dSHong Zhang     }
24498369b28dSHong Zhang 
2450599ef60dSHong Zhang     bjtmp = bj + bi[i];
2451599ef60dSHong Zhang     batmp = ba + bi[i];
24528369b28dSHong Zhang     /* apply level dropping rule to L part */
24538369b28dSHong Zhang     ncut = nzi_al + dtcount;
24548369b28dSHong Zhang     if (ncut < nzi_bl){
24558369b28dSHong Zhang       ierr = PetscSortSplit(ncut,nzi_bl,vtmp,jtmp);CHKERRQ(ierr);
24568369b28dSHong Zhang       ierr = PetscSortIntWithScalarArray(ncut,jtmp,vtmp);CHKERRQ(ierr);
2457599ef60dSHong Zhang     } else {
24588369b28dSHong Zhang       ncut = nzi_bl;
24598369b28dSHong Zhang     }
24608369b28dSHong Zhang     for (j=0; j<ncut; j++){
24618369b28dSHong Zhang       bjtmp[j] = jtmp[j];
24628369b28dSHong Zhang       batmp[j] = vtmp[j];
24636da515a1SHong Zhang       /* printf(" (%d,%g),",bjtmp[j],batmp[j]); */
24648369b28dSHong Zhang     }
24651d098868SHong Zhang     bi[i+1] = bi[i] + ncut;
24668369b28dSHong Zhang     nzi = ncut + 1;
24678369b28dSHong Zhang 
24688369b28dSHong Zhang     /* apply level dropping rule to U part */
24698369b28dSHong Zhang     ncut = nzi_au + dtcount;
24708369b28dSHong Zhang     if (ncut < nzi_bu){
24718369b28dSHong Zhang       ierr = PetscSortSplit(ncut,nzi_bu,vtmp+nzi_bl+1,jtmp+nzi_bl+1);CHKERRQ(ierr);
24728369b28dSHong Zhang       ierr = PetscSortIntWithScalarArray(ncut,jtmp+nzi_bl+1,vtmp+nzi_bl+1);CHKERRQ(ierr);
24738369b28dSHong Zhang     } else {
24748369b28dSHong Zhang       ncut = nzi_bu;
24758369b28dSHong Zhang     }
24768369b28dSHong Zhang     nzi += ncut;
24771d098868SHong Zhang 
24781d098868SHong Zhang     /* mark bdiagonal */
24791d098868SHong Zhang     bdiag[i+1]       = bdiag[i] - (ncut + 1);
2480dc3a2fd3SHong Zhang     bdiag_rev[n-i-1] = bdiag[i+1];
24818fc3a347SHong Zhang     bi[2*n - i]      = bi[2*n - i +1] - (ncut + 1);
24821d098868SHong Zhang     bjtmp = bj + bdiag[i];
24831d098868SHong Zhang     batmp = ba + bdiag[i];
24841d098868SHong Zhang     *bjtmp = i;
24858aee2decSHong Zhang     *batmp = diag_tmp; /* rtmp[i]; */
2486c9c72f8fSHong Zhang     if (*batmp == 0.0) {
2487c9c72f8fSHong Zhang       *batmp = dt+shift;
2488bd1bc851SBarry Smith       /* printf(" row %d add shift %g\n",i,shift); */
2489c9c72f8fSHong Zhang     }
2490b78a477dSHong Zhang     *batmp = 1.0/(*batmp); /* invert diagonal entries for simplier triangular solves */
24916da515a1SHong Zhang     /* printf(" (%d,%g),",*bjtmp,*batmp); */
24921d098868SHong Zhang 
24931d098868SHong Zhang     bjtmp = bj + bdiag[i+1]+1;
24941d098868SHong Zhang     batmp = ba + bdiag[i+1]+1;
24958369b28dSHong Zhang     for (k=0; k<ncut; k++){
24961d098868SHong Zhang       bjtmp[k] = jtmp[nzi_bl+1+k];
24971d098868SHong Zhang       batmp[k] = vtmp[nzi_bl+1+k];
24986da515a1SHong Zhang       /* printf(" (%d,%g),",bjtmp[k],batmp[k]); */
2499599ef60dSHong Zhang     }
25006da515a1SHong Zhang     /* printf("\n"); */
2501599ef60dSHong Zhang 
2502599ef60dSHong Zhang     im[i]   = nzi; /* used by PetscLLAddSortedLU() */
2503599ef60dSHong Zhang     /*
25041d098868SHong Zhang     printf("row %d: bi %d, bdiag %d\n",i,bi[i],bdiag[i]);
25058369b28dSHong Zhang     printf(" ----------------------------\n");
2506599ef60dSHong Zhang     */
25078369b28dSHong Zhang   } /* for (i=0; i<n; i++) */
25081d098868SHong Zhang   /* printf("end of L %d, beginning of U %d\n",bi[n],bdiag[n]); */
25091d098868SHong 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]);
2510599ef60dSHong Zhang 
2511599ef60dSHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
2512599ef60dSHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
2513599ef60dSHong Zhang 
2514599ef60dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
2515599ef60dSHong Zhang   ierr = PetscFree(im);CHKERRQ(ierr);
2516599ef60dSHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
2517599ef60dSHong Zhang 
2518599ef60dSHong Zhang   ierr = PetscLogFlops(B->cmap->n);CHKERRQ(ierr);
25191d098868SHong Zhang   b->maxnz = b->nz = bi[n] + bdiag[0] - bdiag[n];
2520599ef60dSHong Zhang 
2521599ef60dSHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
2522599ef60dSHong Zhang   ierr = ISIdentity(isicol,&icol_identity);CHKERRQ(ierr);
2523599ef60dSHong Zhang   both_identity = (PetscTruth) (row_identity && icol_identity);
2524599ef60dSHong Zhang   if (row_identity && icol_identity) {
25251d098868SHong Zhang     B->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_iludt;
2526599ef60dSHong Zhang   } else {
25271d098868SHong Zhang     B->ops->solve = MatSolve_SeqAIJ_iludt;
2528599ef60dSHong Zhang   }
2529599ef60dSHong Zhang 
2530b78a477dSHong Zhang   B->ops->lufactorsymbolic  = MatILUDTFactorSymbolic_SeqAIJ;
2531b78a477dSHong Zhang   B->ops->lufactornumeric   = MatILUDTFactorNumeric_SeqAIJ;
25321d098868SHong Zhang   B->ops->solveadd          = 0;
25331d098868SHong Zhang   B->ops->solvetranspose    = 0;
25341d098868SHong Zhang   B->ops->solvetransposeadd = 0;
25351d098868SHong Zhang   B->ops->matsolve          = 0;
2536599ef60dSHong Zhang   B->assembled              = PETSC_TRUE;
2537599ef60dSHong Zhang   B->preallocated           = PETSC_TRUE;
2538599ef60dSHong Zhang   PetscFunctionReturn(0);
2539599ef60dSHong Zhang }
2540599ef60dSHong Zhang 
25413c2a7987SHong Zhang /* a wraper of MatILUDTFactor_SeqAIJ() */
25423c2a7987SHong Zhang #undef __FUNCT__
25433c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorSymbolic_SeqAIJ"
25443c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS row,IS col,const MatFactorInfo *info)
25453c2a7987SHong Zhang {
25463c2a7987SHong Zhang   PetscErrorCode     ierr;
25473c2a7987SHong Zhang 
25483c2a7987SHong Zhang   PetscFunctionBegin;
25493c2a7987SHong Zhang   ierr = MatILUDTFactor_SeqAIJ(A,row,col,info,&fact);CHKERRQ(ierr);
25503c2a7987SHong Zhang 
25513c2a7987SHong Zhang   fact->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ;
25523c2a7987SHong Zhang   PetscFunctionReturn(0);
25533c2a7987SHong Zhang }
25543c2a7987SHong Zhang 
25553c2a7987SHong Zhang /*
25563c2a7987SHong Zhang    same as MatLUFactorNumeric_SeqAIJ(), except using contiguous array matrix factors
25573c2a7987SHong Zhang    - intend to replace existing MatLUFactorNumeric_SeqAIJ()
25583c2a7987SHong Zhang */
25593c2a7987SHong Zhang #undef __FUNCT__
25603c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorNumeric_SeqAIJ"
25613c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorNumeric_SeqAIJ(Mat fact,Mat A,const MatFactorInfo *info)
25623c2a7987SHong Zhang {
25633c2a7987SHong Zhang   Mat            C=fact;
25643c2a7987SHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data;
25653c2a7987SHong Zhang   IS             isrow = b->row,isicol = b->icol;
25663c2a7987SHong Zhang   PetscErrorCode ierr;
25673c2a7987SHong Zhang   const PetscInt *r,*ic,*ics;
2568b78a477dSHong Zhang   PetscInt       i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
2569b78a477dSHong Zhang   PetscInt       *ajtmp,*bjtmp,nz,nzl,nzu,row,*bdiag = b->diag,*pj;
25703c2a7987SHong Zhang   MatScalar      *rtmp,*pc,multiplier,*v,*pv,*aa=a->a;
2571b78a477dSHong Zhang   PetscReal      dt=info->dt,shift=info->shiftinblocks;
2572b78a477dSHong Zhang   PetscTruth     row_identity, col_identity;
25733c2a7987SHong Zhang 
25743c2a7987SHong Zhang   PetscFunctionBegin;
25753c2a7987SHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
25763c2a7987SHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
2577b78a477dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
25783c2a7987SHong Zhang   ics  = ic;
25793c2a7987SHong Zhang 
25803c2a7987SHong Zhang   for (i=0; i<n; i++){
2581b78a477dSHong Zhang     /* initialize rtmp array */
2582b78a477dSHong Zhang     nzl   = bi[i+1] - bi[i];       /* num of nozeros in L(i,:) */
25833c2a7987SHong Zhang     bjtmp = bj + bi[i];
2584b78a477dSHong Zhang     for  (j=0; j<nzl; j++) rtmp[*bjtmp++] = 0.0;
2585b78a477dSHong Zhang     rtmp[i] = 0.0;
2586b78a477dSHong Zhang     nzu   = bdiag[i] - bdiag[i+1]; /* num of nozeros in U(i,:) */
2587b78a477dSHong Zhang     bjtmp = bj + bdiag[i+1] + 1;
2588b78a477dSHong Zhang     for  (j=0; j<nzu; j++) rtmp[*bjtmp++] = 0.0;
25893c2a7987SHong Zhang 
2590b78a477dSHong Zhang     /* load in initial unfactored row of A */
25916da515a1SHong Zhang     /* printf("row %d\n",i); */
25923c2a7987SHong Zhang     nz    = ai[r[i]+1] - ai[r[i]];
25933c2a7987SHong Zhang     ajtmp = aj + ai[r[i]];
25943c2a7987SHong Zhang     v     = aa + ai[r[i]];
25953c2a7987SHong Zhang     for (j=0; j<nz; j++) {
2596b78a477dSHong Zhang       rtmp[ics[*ajtmp++]] = v[j];
25976da515a1SHong Zhang       /* printf(" (%d,%g),",ics[ajtmp[j]],rtmp[ics[ajtmp[j]]]); */
25983c2a7987SHong Zhang     }
25996da515a1SHong Zhang     /* printf("\n"); */
26003c2a7987SHong Zhang 
2601b78a477dSHong Zhang     /* numerical factorization */
2602b78a477dSHong Zhang     bjtmp = bj + bi[i]; /* point to 1st entry of L(i,:) */
2603b78a477dSHong Zhang     nzl   = bi[i+1] - bi[i]; /* num of entries in L(i,:) */
2604b78a477dSHong Zhang     k = 0;
2605b78a477dSHong Zhang     while (k < nzl){
26063c2a7987SHong Zhang       row   = *bjtmp++;
26076da515a1SHong Zhang       /* printf("  prow %d\n",row); */
26083c2a7987SHong Zhang       pc         = rtmp + row;
2609b78a477dSHong Zhang       pv         = b->a + bdiag[row]; /* 1./(diag of the pivot row) */
2610b78a477dSHong Zhang       multiplier = (*pc) * (*pv);
26113c2a7987SHong Zhang       *pc        = multiplier;
2612b78a477dSHong Zhang       if (PetscAbsScalar(multiplier) > dt){
2613b78a477dSHong Zhang         pj         = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */
2614b78a477dSHong Zhang         pv         = b->a + bdiag[row+1] + 1;
2615b78a477dSHong Zhang         nz         = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */
2616b78a477dSHong Zhang         for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++);
26176da515a1SHong Zhang         /* ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); */
26183c2a7987SHong Zhang       }
2619b78a477dSHong Zhang       k++;
26203c2a7987SHong Zhang     }
26213c2a7987SHong Zhang 
2622b78a477dSHong Zhang     /* finished row so stick it into b->a */
2623b78a477dSHong Zhang     /* L-part */
2624b78a477dSHong Zhang     pv = b->a + bi[i] ;
2625b78a477dSHong Zhang     pj = bj + bi[i] ;
2626b78a477dSHong Zhang     nzl = bi[i+1] - bi[i];
2627b78a477dSHong Zhang     for (j=0; j<nzl; j++) {
2628b78a477dSHong Zhang       pv[j] = rtmp[pj[j]];
26296da515a1SHong Zhang       /* printf(" (%d,%g),",pj[j],pv[j]); */
26303c2a7987SHong Zhang     }
2631b78a477dSHong Zhang 
2632b78a477dSHong Zhang     /* diagonal: invert diagonal entries for simplier triangular solves */
2633b78a477dSHong Zhang     if (rtmp[i] == 0.0) rtmp[i] = dt+shift;
2634b78a477dSHong Zhang     b->a[bdiag[i]] = 1.0/rtmp[i];
26356da515a1SHong Zhang     /* printf(" (%d,%g),",i,b->a[bdiag[i]]); */
2636b78a477dSHong Zhang 
2637b78a477dSHong Zhang     /* U-part */
2638b78a477dSHong Zhang     pv = b->a + bdiag[i+1] + 1;
2639b78a477dSHong Zhang     pj = bj + bdiag[i+1] + 1;
2640b78a477dSHong Zhang     nzu = bdiag[i] - bdiag[i+1] - 1;
2641b78a477dSHong Zhang     for (j=0; j<nzu; j++) {
2642b78a477dSHong Zhang       pv[j] = rtmp[pj[j]];
26436da515a1SHong Zhang       /* printf(" (%d,%g),",pj[j],pv[j]); */
2644b78a477dSHong Zhang     }
26456da515a1SHong Zhang     /* printf("\n"); */
2646b78a477dSHong Zhang   }
2647b78a477dSHong Zhang 
26483c2a7987SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
26493c2a7987SHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
26503c2a7987SHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
2651b78a477dSHong Zhang 
26523c2a7987SHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
26533c2a7987SHong Zhang   ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr);
26543c2a7987SHong Zhang   if (row_identity && col_identity) {
2655b78a477dSHong Zhang     C->ops->solve   = MatSolve_SeqAIJ_NaturalOrdering_iludt;
26563c2a7987SHong Zhang   } else {
2657b78a477dSHong Zhang     C->ops->solve   = MatSolve_SeqAIJ_iludt;
26583c2a7987SHong Zhang   }
2659b78a477dSHong Zhang   C->ops->solveadd           = 0;
2660b78a477dSHong Zhang   C->ops->solvetranspose     = 0;
2661b78a477dSHong Zhang   C->ops->solvetransposeadd  = 0;
2662b78a477dSHong Zhang   C->ops->matsolve           = 0;
26633c2a7987SHong Zhang   C->assembled    = PETSC_TRUE;
26643c2a7987SHong Zhang   C->preallocated = PETSC_TRUE;
26653c2a7987SHong Zhang   ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
26663c2a7987SHong Zhang   PetscFunctionReturn(0);
26673c2a7987SHong Zhang }
2668