xref: /petsc/src/mat/impls/aij/seq/aijfact.c (revision 1d098868d584ebb02ecc9dede33e6e9ce022b7a5)
1be1d678aSKris Buschelman #define PETSCMAT_DLL
2289bc588SBarry Smith 
37c4f633dSBarry Smith #include "../src/mat/impls/aij/seq/aij.h"
47c4f633dSBarry Smith #include "../src/inline/dot.h"
57c4f633dSBarry Smith #include "../src/inline/spops.h"
61393bc97SHong Zhang #include "petscbt.h"
77c4f633dSBarry Smith #include "../src/mat/utils/freespace.h"
83b2fbd54SBarry Smith 
94a2ae208SSatish Balay #undef __FUNCT__
104a2ae208SSatish Balay #define __FUNCT__ "MatOrdering_Flow_SeqAIJ"
11dfbe8321SBarry Smith PetscErrorCode MatOrdering_Flow_SeqAIJ(Mat mat,const MatOrderingType type,IS *irow,IS *icol)
123b2fbd54SBarry Smith {
133a40ed3dSBarry Smith   PetscFunctionBegin;
143a40ed3dSBarry Smith 
1529bbc08cSBarry Smith   SETERRQ(PETSC_ERR_SUP,"Code not written");
16aa482453SBarry Smith #if !defined(PETSC_USE_DEBUG)
17d64ed03dSBarry Smith   PetscFunctionReturn(0);
18d64ed03dSBarry Smith #endif
193b2fbd54SBarry Smith }
203b2fbd54SBarry Smith 
2186bacbd2SBarry Smith 
22e34fafa9SBarry Smith #if !defined(PETSC_AVOID_GNUCOPYRIGHT_CODE)
23a77337e4SBarry Smith EXTERN PetscErrorCode SPARSEKIT2dperm(PetscInt*,MatScalar*,PetscInt*,PetscInt*,MatScalar*,PetscInt*,PetscInt*,PetscInt*,PetscInt*,PetscInt*);
24a77337e4SBarry Smith EXTERN PetscErrorCode SPARSEKIT2ilutp(PetscInt*,MatScalar*,PetscInt*,PetscInt*,PetscInt*,PetscReal,PetscReal*,PetscInt*,MatScalar*,PetscInt*,PetscInt*,PetscInt*,MatScalar*,PetscInt*,PetscInt*,PetscErrorCode*);
25a77337e4SBarry Smith EXTERN PetscErrorCode SPARSEKIT2msrcsr(PetscInt*,MatScalar*,PetscInt*,MatScalar*,PetscInt*,PetscInt*,MatScalar*,PetscInt*);
26e34fafa9SBarry Smith #endif
2786bacbd2SBarry Smith 
284a2ae208SSatish Balay #undef __FUNCT__
291da05e5aSHong Zhang #define __FUNCT__ "MatILUDTFactor_SeqAIJ_saad"
3086bacbd2SBarry Smith   /* ------------------------------------------------------------
3186bacbd2SBarry Smith 
3286bacbd2SBarry Smith           This interface was contribed by Tony Caola
3386bacbd2SBarry Smith 
3486bacbd2SBarry Smith      This routine is an interface to the pivoting drop-tolerance
355bd2ddc7SBarry Smith      ILU routine written by Yousef Saad (saad@cs.umn.edu) as part of
365bd2ddc7SBarry Smith      SPARSEKIT2.
375bd2ddc7SBarry Smith 
385bd2ddc7SBarry Smith      The SPARSEKIT2 routines used here are covered by the GNU
395bd2ddc7SBarry Smith      copyright; see the file gnu in this directory.
4086bacbd2SBarry Smith 
4186bacbd2SBarry Smith      Thanks to Prof. Saad, Dr. Hysom, and Dr. Smith for their
4286bacbd2SBarry Smith      help in getting this routine ironed out.
4386bacbd2SBarry Smith 
445bd2ddc7SBarry Smith      The major drawback to this routine is that if info->fill is
455bd2ddc7SBarry Smith      not large enough it fails rather than allocating more space;
465bd2ddc7SBarry Smith      this can be fixed by hacking/improving the f2c version of
475bd2ddc7SBarry Smith      Yousef Saad's code.
4886bacbd2SBarry Smith 
4986bacbd2SBarry Smith      ------------------------------------------------------------
5086bacbd2SBarry Smith */
511da05e5aSHong Zhang PetscErrorCode MatILUDTFactor_SeqAIJ_saad(Mat A,IS isrow,IS iscol,const MatFactorInfo *info,Mat *fact)
5286bacbd2SBarry Smith {
5360ec86bdSBarry Smith #if defined(PETSC_AVOID_GNUCOPYRIGHT_CODE)
5460ec86bdSBarry Smith   PetscFunctionBegin;
55e005ede5SBarry Smith   SETERRQ(PETSC_ERR_SUP_SYS,"This distribution does not include GNU Copyright code\n\
5660ec86bdSBarry Smith   You can obtain the drop tolerance routines by installing PETSc from\n\
5760ec86bdSBarry Smith   www.mcs.anl.gov/petsc\n");
5860ec86bdSBarry Smith #else
5986bacbd2SBarry Smith   Mat_SeqAIJ     *a = (Mat_SeqAIJ*)A->data,*b;
6007d2056aSBarry Smith   IS             iscolf,isicol,isirow;
6186bacbd2SBarry Smith   PetscTruth     reorder;
629cc1f4e3SBarry Smith   PetscErrorCode ierr,sierr;
635d0c19d7SBarry Smith   const PetscInt *c,*r,*ic;
645d0c19d7SBarry Smith   PetscInt       i,n = A->rmap->n,*cc,*cr;
6538baddfdSBarry Smith   PetscInt       *old_i = a->i,*old_j = a->j,*new_i,*old_i2 = 0,*old_j2 = 0,*new_j;
6638baddfdSBarry Smith   PetscInt       *ordcol,*iwk,*iperm,*jw;
6738baddfdSBarry Smith   PetscInt       jmax,lfill,job,*o_i,*o_j;
6854f21887SBarry Smith   MatScalar      *old_a = a->a,*w,*new_a,*old_a2 = 0,*wk,*o_a;
690481f469SBarry Smith   PetscReal      af,dt,dtcount,dtcol,fill;
7086bacbd2SBarry Smith 
7186bacbd2SBarry Smith   PetscFunctionBegin;
7286bacbd2SBarry Smith 
730481f469SBarry Smith   if (info->dt == PETSC_DEFAULT)      dt      = .005; else dt = info->dt;
740481f469SBarry Smith   if (info->dtcount == PETSC_DEFAULT) dtcount = (PetscInt)(1.5*a->rmax);  else dtcount = info->dtcount;
750481f469SBarry Smith   if (info->dtcol == PETSC_DEFAULT)   dtcol   = .01; else dtcol = info->dtcol;
7623395705SBarry Smith   if (info->fill == PETSC_DEFAULT)    fill    = ((double)(n*(dtcount+1)))/a->nz; else fill = info->fill;
770481f469SBarry Smith   lfill   = (PetscInt)(dtcount/2.0);
780481f469SBarry Smith   jmax    = (PetscInt)(fill*a->nz);
7986bacbd2SBarry Smith 
8086bacbd2SBarry Smith 
8186bacbd2SBarry Smith   /* ------------------------------------------------------------
8286bacbd2SBarry Smith      If reorder=.TRUE., then the original matrix has to be
8386bacbd2SBarry Smith      reordered to reflect the user selected ordering scheme, and
8486bacbd2SBarry Smith      then de-reordered so it is in it's original format.
8586bacbd2SBarry Smith      Because Saad's dperm() is NOT in place, we have to copy
8686bacbd2SBarry Smith      the original matrix and allocate more storage. . .
8786bacbd2SBarry Smith      ------------------------------------------------------------
8886bacbd2SBarry Smith   */
8986bacbd2SBarry Smith 
9086bacbd2SBarry Smith   /* set reorder to true if either isrow or iscol is not identity */
9186bacbd2SBarry Smith   ierr = ISIdentity(isrow,&reorder);CHKERRQ(ierr);
9286bacbd2SBarry Smith   if (reorder) {ierr = ISIdentity(iscol,&reorder);CHKERRQ(ierr);}
9386bacbd2SBarry Smith   reorder = PetscNot(reorder);
9486bacbd2SBarry Smith 
9586bacbd2SBarry Smith 
9686bacbd2SBarry Smith   /* storage for ilu factor */
9738baddfdSBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&new_i);CHKERRQ(ierr);
9838baddfdSBarry Smith   ierr = PetscMalloc(jmax*sizeof(PetscInt),&new_j);CHKERRQ(ierr);
99a77337e4SBarry Smith   ierr = PetscMalloc(jmax*sizeof(MatScalar),&new_a);CHKERRQ(ierr);
10038baddfdSBarry Smith   ierr = PetscMalloc(n*sizeof(PetscInt),&ordcol);CHKERRQ(ierr);
10186bacbd2SBarry Smith 
10286bacbd2SBarry Smith   /* ------------------------------------------------------------
10386bacbd2SBarry Smith      Make sure that everything is Fortran formatted (1-Based)
10486bacbd2SBarry Smith      ------------------------------------------------------------
10586bacbd2SBarry Smith   */
106b19713cbSBarry Smith   for (i=old_i[0];i<old_i[n];i++) {
107b19713cbSBarry Smith     old_j[i]++;
10886bacbd2SBarry Smith   }
109b19713cbSBarry Smith   for(i=0;i<n+1;i++) {
110b19713cbSBarry Smith     old_i[i]++;
111b19713cbSBarry Smith   };
112010a20caSHong Zhang 
11386bacbd2SBarry Smith 
11486bacbd2SBarry Smith   if (reorder) {
115c0c2c81eSBarry Smith     ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr);
116c0c2c81eSBarry Smith     ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
1175d0c19d7SBarry Smith     ierr = PetscMalloc2(n,PetscInt,&cc,n,PetscInt,&cr);CHKERRQ(ierr);
118c0c2c81eSBarry Smith     for(i=0;i<n;i++) {
1195d0c19d7SBarry Smith       cr[i]  = r[i]+1;
1205d0c19d7SBarry Smith       cc[i]  = c[i]+1;
121c0c2c81eSBarry Smith     }
122c0c2c81eSBarry Smith     ierr = ISRestoreIndices(iscol,&c);CHKERRQ(ierr);
123c0c2c81eSBarry Smith     ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
1245d0c19d7SBarry Smith     ierr = PetscMalloc((n+1)*sizeof(PetscInt),&old_i2);CHKERRQ(ierr);
1255d0c19d7SBarry Smith     ierr = PetscMalloc((old_i[n]-old_i[0]+1)*sizeof(PetscInt),&old_j2);CHKERRQ(ierr);
1265d0c19d7SBarry Smith     ierr = PetscMalloc((old_i[n]-old_i[0]+1)*sizeof(MatScalar),&old_a2);CHKERRQ(ierr);
1275d0c19d7SBarry Smith     job  = 3; SPARSEKIT2dperm(&n,old_a,old_j,old_i,old_a2,old_j2,old_i2,cr,cc,&job);
1285d0c19d7SBarry Smith     ierr = PetscFree2(cc,cr);CHKERRQ(ierr);
129b19713cbSBarry Smith     o_a = old_a2;
130b19713cbSBarry Smith     o_j = old_j2;
131b19713cbSBarry Smith     o_i = old_i2;
132b19713cbSBarry Smith   } else {
133b19713cbSBarry Smith     o_a = old_a;
134b19713cbSBarry Smith     o_j = old_j;
135b19713cbSBarry Smith     o_i = old_i;
13686bacbd2SBarry Smith   }
13786bacbd2SBarry Smith 
13886bacbd2SBarry Smith   /* ------------------------------------------------------------
13986bacbd2SBarry Smith      Call Saad's ilutp() routine to generate the factorization
14086bacbd2SBarry Smith      ------------------------------------------------------------
14186bacbd2SBarry Smith   */
14286bacbd2SBarry Smith 
14338baddfdSBarry Smith   ierr = PetscMalloc(2*n*sizeof(PetscInt),&iperm);CHKERRQ(ierr);
14438baddfdSBarry Smith   ierr = PetscMalloc(2*n*sizeof(PetscInt),&jw);CHKERRQ(ierr);
14587828ca2SBarry Smith   ierr = PetscMalloc(n*sizeof(PetscScalar),&w);CHKERRQ(ierr);
14686bacbd2SBarry Smith 
1470481f469SBarry Smith   SPARSEKIT2ilutp(&n,o_a,o_j,o_i,&lfill,(PetscReal)dt,&dtcol,&n,new_a,new_j,new_i,&jmax,w,jw,iperm,&sierr);
1486849ba73SBarry Smith   if (sierr) {
1496849ba73SBarry Smith     switch (sierr) {
1500481f469SBarry Smith       case -3: SETERRQ2(PETSC_ERR_LIB,"ilutp(), matrix U overflows, need larger fill current fill %G space allocated %D",fill,jmax);
1510481f469SBarry Smith       case -2: SETERRQ2(PETSC_ERR_LIB,"ilutp(), matrix L overflows, need larger fill current fill %G space allocated %D",fill,jmax);
152e005ede5SBarry Smith       case -5: SETERRQ(PETSC_ERR_LIB,"ilutp(), zero row encountered");
153e005ede5SBarry Smith       case -1: SETERRQ(PETSC_ERR_LIB,"ilutp(), input matrix may be wrong");
1540481f469SBarry Smith       case -4: SETERRQ1(PETSC_ERR_LIB,"ilutp(), illegal fill value %D",jmax);
15577431f27SBarry Smith       default: SETERRQ1(PETSC_ERR_LIB,"ilutp(), zero pivot detected on row %D",sierr);
15686bacbd2SBarry Smith     }
15786bacbd2SBarry Smith   }
15886bacbd2SBarry Smith 
15986bacbd2SBarry Smith   ierr = PetscFree(w);CHKERRQ(ierr);
16086bacbd2SBarry Smith   ierr = PetscFree(jw);CHKERRQ(ierr);
16186bacbd2SBarry Smith 
16286bacbd2SBarry Smith   /* ------------------------------------------------------------
16386bacbd2SBarry Smith      Saad's routine gives the result in Modified Sparse Row (msr)
16486bacbd2SBarry Smith      Convert to Compressed Sparse Row format (csr)
16586bacbd2SBarry Smith      ------------------------------------------------------------
16686bacbd2SBarry Smith   */
16786bacbd2SBarry Smith 
16887828ca2SBarry Smith   ierr = PetscMalloc(n*sizeof(PetscScalar),&wk);CHKERRQ(ierr);
16938baddfdSBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&iwk);CHKERRQ(ierr);
17086bacbd2SBarry Smith 
1715bd2ddc7SBarry Smith   SPARSEKIT2msrcsr(&n,new_a,new_j,new_a,new_j,new_i,wk,iwk);
17286bacbd2SBarry Smith 
17386bacbd2SBarry Smith   ierr = PetscFree(iwk);CHKERRQ(ierr);
17486bacbd2SBarry Smith   ierr = PetscFree(wk);CHKERRQ(ierr);
17586bacbd2SBarry Smith 
17686bacbd2SBarry Smith   if (reorder) {
17786bacbd2SBarry Smith     ierr = PetscFree(old_a2);CHKERRQ(ierr);
17886bacbd2SBarry Smith     ierr = PetscFree(old_j2);CHKERRQ(ierr);
17986bacbd2SBarry Smith     ierr = PetscFree(old_i2);CHKERRQ(ierr);
180313ae024SBarry Smith   } else {
181b19713cbSBarry Smith     /* fix permutation of old_j that the factorization introduced */
182f170005cSBarry Smith     for (i=old_i[0]; i<old_i[n]; i++) {
183b19713cbSBarry Smith       old_j[i-1] = iperm[old_j[i-1]-1];
184b19713cbSBarry Smith     }
185b19713cbSBarry Smith   }
186b19713cbSBarry Smith 
187b801d0f9SBarry Smith   /* get rid of the shift to indices starting at 1 */
18886bacbd2SBarry Smith   for (i=0; i<n+1; i++) {
189b19713cbSBarry Smith     old_i[i]--;
190b19713cbSBarry Smith   }
191b19713cbSBarry Smith   for (i=old_i[0];i<old_i[n];i++) {
192b19713cbSBarry Smith     old_j[i]--;
193b19713cbSBarry Smith   }
19486bacbd2SBarry Smith 
195b19713cbSBarry Smith   /* Make the factored matrix 0-based */
19686bacbd2SBarry Smith   for (i=0; i<n+1; i++) {
197b19713cbSBarry Smith     new_i[i]--;
198b19713cbSBarry Smith   }
199b19713cbSBarry Smith   for (i=new_i[0];i<new_i[n];i++) {
200b19713cbSBarry Smith     new_j[i]--;
201b19713cbSBarry Smith   }
20286bacbd2SBarry Smith 
20386bacbd2SBarry Smith   /*-- due to the pivoting, we need to reorder iscol to correctly --*/
20486bacbd2SBarry Smith   /*-- permute the right-hand-side and solution vectors           --*/
2054c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
2064c49b128SBarry Smith   ierr = ISInvertPermutation(isrow,PETSC_DECIDE,&isirow);CHKERRQ(ierr);
207c0c2c81eSBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
20886bacbd2SBarry Smith   for(i=0; i<n; i++) {
20986bacbd2SBarry Smith     ordcol[i] = ic[iperm[i]-1];
21086bacbd2SBarry Smith   };
21186bacbd2SBarry Smith   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
21207d2056aSBarry Smith   ierr = ISDestroy(isicol);CHKERRQ(ierr);
21386bacbd2SBarry Smith 
214c0c2c81eSBarry Smith   ierr = PetscFree(iperm);CHKERRQ(ierr);
215c0c2c81eSBarry Smith 
216329f5518SBarry Smith   ierr = ISCreateGeneral(PETSC_COMM_SELF,n,ordcol,&iscolf);CHKERRQ(ierr);
21707d2056aSBarry Smith   ierr = PetscFree(ordcol);CHKERRQ(ierr);
21886bacbd2SBarry Smith 
21986bacbd2SBarry Smith   /*----- put together the new matrix -----*/
22086bacbd2SBarry Smith 
2217adad957SLisandro Dalcin   ierr = MatCreate(((PetscObject)A)->comm,fact);CHKERRQ(ierr);
222f69a0ea3SMatthew Knepley   ierr = MatSetSizes(*fact,n,n,n,n);CHKERRQ(ierr);
2237adad957SLisandro Dalcin   ierr = MatSetType(*fact,((PetscObject)A)->type_name);CHKERRQ(ierr);
224ab93d7beSBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(*fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
2255c9eb25fSBarry Smith   (*fact)->factor    = MAT_FACTOR_LU;
22686bacbd2SBarry Smith   (*fact)->assembled = PETSC_TRUE;
22786bacbd2SBarry Smith 
22886bacbd2SBarry Smith   b = (Mat_SeqAIJ*)(*fact)->data;
229e6b907acSBarry Smith   b->free_a        = PETSC_TRUE;
230e6b907acSBarry Smith   b->free_ij       = PETSC_TRUE;
23107d2056aSBarry Smith   b->singlemalloc  = PETSC_FALSE;
23286bacbd2SBarry Smith   b->a             = new_a;
23386bacbd2SBarry Smith   b->j             = new_j;
23486bacbd2SBarry Smith   b->i             = new_i;
23586bacbd2SBarry Smith   b->ilen          = 0;
23686bacbd2SBarry Smith   b->imax          = 0;
2371f9e874aSBarry Smith   /*  I am not sure why these are the inverses of the row and column permutations; but the other way is NO GOOD */
238313ae024SBarry Smith   b->row           = isirow;
23986bacbd2SBarry Smith   b->col           = iscolf;
24087828ca2SBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
24186bacbd2SBarry Smith   b->maxnz = b->nz = new_i[n];
24286bacbd2SBarry Smith   ierr = MatMarkDiagonal_SeqAIJ(*fact);CHKERRQ(ierr);
24386bacbd2SBarry Smith   (*fact)->info.factor_mallocs = 0;
24486bacbd2SBarry Smith 
245431e710aSBarry Smith   af = ((double)b->nz)/((double)a->nz) + .001;
2460481f469SBarry Smith   ierr = PetscInfo2(A,"Fill ratio:given %G needed %G\n",fill,af);CHKERRQ(ierr);
247ae15b995SBarry Smith   ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
248ae15b995SBarry Smith   ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr);
249ae15b995SBarry Smith   ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
250431e710aSBarry Smith 
25123395705SBarry Smith   if (reorder) (*fact)->ops->solve = MatSolve_SeqAIJ;
25223395705SBarry Smith   else         (*fact)->ops->solve = MatSolve_SeqAIJ_NaturalOrdering;
25323395705SBarry Smith   (*fact)->ops->solveadd           = MatSolveAdd_SeqAIJ;
25423395705SBarry Smith   (*fact)->ops->solvetranspose     = MatSolveTranspose_SeqAIJ;
25523395705SBarry Smith   (*fact)->ops->solvetransposeadd  = MatSolveTransposeAdd_SeqAIJ;
25623395705SBarry Smith 
2577529efd4SKris Buschelman   ierr = MatILUDTFactor_Inode(A,isrow,iscol,info,fact);CHKERRQ(ierr);
25871c2f376SKris Buschelman 
25986bacbd2SBarry Smith   PetscFunctionReturn(0);
26060ec86bdSBarry Smith #endif
26186bacbd2SBarry Smith }
26286bacbd2SBarry Smith 
263e631078cSBarry Smith EXTERN_C_BEGIN
2644a2ae208SSatish Balay #undef __FUNCT__
265db4efbfdSBarry Smith #define __FUNCT__ "MatGetFactorAvailable_seqaij_petsc"
266db4efbfdSBarry Smith PetscErrorCode MatGetFactorAvailable_seqaij_petsc(Mat A,MatFactorType ftype,PetscTruth *flg)
267db4efbfdSBarry Smith {
268db4efbfdSBarry Smith   PetscFunctionBegin;
269db4efbfdSBarry Smith   *flg = PETSC_TRUE;
270db4efbfdSBarry Smith   PetscFunctionReturn(0);
271db4efbfdSBarry Smith }
272db4efbfdSBarry Smith EXTERN_C_END
273db4efbfdSBarry Smith 
274db4efbfdSBarry Smith EXTERN_C_BEGIN
275db4efbfdSBarry Smith #undef __FUNCT__
276b24902e0SBarry Smith #define __FUNCT__ "MatGetFactor_seqaij_petsc"
277b24902e0SBarry Smith PetscErrorCode MatGetFactor_seqaij_petsc(Mat A,MatFactorType ftype,Mat *B)
278b24902e0SBarry Smith {
279d0f46423SBarry Smith   PetscInt           n = A->rmap->n;
280b24902e0SBarry Smith   PetscErrorCode     ierr;
281b24902e0SBarry Smith 
282b24902e0SBarry Smith   PetscFunctionBegin;
283b24902e0SBarry Smith   ierr = MatCreate(((PetscObject)A)->comm,B);CHKERRQ(ierr);
284b24902e0SBarry Smith   ierr = MatSetSizes(*B,n,n,n,n);CHKERRQ(ierr);
285599ef60dSHong Zhang   if (ftype == MAT_FACTOR_LU || ftype == MAT_FACTOR_ILU || ftype == MAT_FACTOR_ILUDT){
286b24902e0SBarry Smith     ierr = MatSetType(*B,MATSEQAIJ);CHKERRQ(ierr);
287db4efbfdSBarry Smith     (*B)->ops->ilufactorsymbolic = MatILUFactorSymbolic_SeqAIJ;
28835bd34faSBarry Smith     (*B)->ops->lufactorsymbolic  = MatLUFactorSymbolic_SeqAIJ;
2891da05e5aSHong Zhang     (*B)->ops->iludtfactor       = MatILUDTFactor_SeqAIJ;
290b24902e0SBarry Smith   } else if (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) {
291b24902e0SBarry Smith     ierr = MatSetType(*B,MATSEQSBAIJ);CHKERRQ(ierr);
292b24902e0SBarry Smith     ierr = MatSeqSBAIJSetPreallocation(*B,1,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
2935c9eb25fSBarry Smith     (*B)->ops->iccfactorsymbolic      = MatICCFactorSymbolic_SeqAIJ;
2945c9eb25fSBarry Smith     (*B)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqAIJ;
295b24902e0SBarry Smith   } else SETERRQ(PETSC_ERR_SUP,"Factor type not supported");
296db4efbfdSBarry Smith   (*B)->factor = ftype;
297b24902e0SBarry Smith   PetscFunctionReturn(0);
298b24902e0SBarry Smith }
299e631078cSBarry Smith EXTERN_C_END
300b24902e0SBarry Smith 
301b24902e0SBarry Smith #undef __FUNCT__
302b9617806SBarry Smith #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ"
3030481f469SBarry Smith PetscErrorCode MatLUFactorSymbolic_SeqAIJ(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
304289bc588SBarry Smith {
305416022c9SBarry Smith   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
306289bc588SBarry Smith   IS                 isicol;
3076849ba73SBarry Smith   PetscErrorCode     ierr;
3085d0c19d7SBarry Smith   const PetscInt     *r,*ic;
3095d0c19d7SBarry Smith   PetscInt           i,n=A->rmap->n,*ai=a->i,*aj=a->j;
3101393bc97SHong Zhang   PetscInt           *bi,*bj,*ajtmp;
3111393bc97SHong Zhang   PetscInt           *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im;
3129e046878SBarry Smith   PetscReal          f;
3134875ba38SHong Zhang   PetscInt           nlnk,*lnk,k,**bi_ptr;
314a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
3151393bc97SHong Zhang   PetscBT            lnkbt;
316289bc588SBarry Smith 
3173a40ed3dSBarry Smith   PetscFunctionBegin;
318d0f46423SBarry Smith   if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square");
3194c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
320ac121b3dSBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
321ac121b3dSBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
322289bc588SBarry Smith 
323289bc588SBarry Smith   /* get new row pointers */
3241393bc97SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
3251393bc97SHong Zhang   bi[0] = 0;
3261393bc97SHong Zhang 
3271393bc97SHong Zhang   /* bdiag is location of diagonal in factor */
3281393bc97SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
3291393bc97SHong Zhang   bdiag[0] = 0;
3301393bc97SHong Zhang 
3311393bc97SHong Zhang   /* linked list for storing column indices of the active row */
3321393bc97SHong Zhang   nlnk = n + 1;
3331393bc97SHong Zhang   ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
3341393bc97SHong Zhang 
33535baf27eSSatish Balay   ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr);
3361393bc97SHong Zhang 
3371393bc97SHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
338d3d32019SBarry Smith   f = info->fill;
339a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
3401393bc97SHong Zhang   current_space = free_space;
341289bc588SBarry Smith 
342289bc588SBarry Smith   for (i=0; i<n; i++) {
3431393bc97SHong Zhang     /* copy previous fill into linked list */
344289bc588SBarry Smith     nzi = 0;
3451393bc97SHong Zhang     nnz = ai[r[i]+1] - ai[r[i]];
3463b4a8b6dSBarry 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);
3471393bc97SHong Zhang     ajtmp = aj + ai[r[i]];
348afcc9904SHong Zhang     ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
3491393bc97SHong Zhang     nzi += nlnk;
3501393bc97SHong Zhang 
3511393bc97SHong Zhang     /* add pivot rows into linked list */
3521393bc97SHong Zhang     row = lnk[n];
3531393bc97SHong Zhang     while (row < i) {
354d1170560SHong Zhang       nzbd    = bdiag[row] - bi[row] + 1; /* num of entries in the row with column index <= row */
355d1170560SHong Zhang       ajtmp   = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */
356d1170560SHong Zhang       ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr);
3571393bc97SHong Zhang       nzi += nlnk;
3581393bc97SHong Zhang       row  = lnk[row];
359289bc588SBarry Smith     }
3601393bc97SHong Zhang     bi[i+1] = bi[i] + nzi;
3611393bc97SHong Zhang     im[i]   = nzi;
3621393bc97SHong Zhang 
3631393bc97SHong Zhang     /* mark bdiag */
3641393bc97SHong Zhang     nzbd = 0;
3651393bc97SHong Zhang     nnz  = nzi;
3661393bc97SHong Zhang     k    = lnk[n];
3671393bc97SHong Zhang     while (nnz-- && k < i){
3681393bc97SHong Zhang       nzbd++;
3691393bc97SHong Zhang       k = lnk[k];
3701393bc97SHong Zhang     }
3711393bc97SHong Zhang     bdiag[i] = bi[i] + nzbd;
3721393bc97SHong Zhang 
3731393bc97SHong Zhang     /* if free space is not available, make more free space */
3741393bc97SHong Zhang     if (current_space->local_remaining<nzi) {
3751393bc97SHong Zhang       nnz = (n - i)*nzi; /* estimated and max additional space needed */
376a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
3771393bc97SHong Zhang       reallocs++;
3781393bc97SHong Zhang     }
3791393bc97SHong Zhang 
3801393bc97SHong Zhang     /* copy data into free space, then initialize lnk */
3811393bc97SHong Zhang     ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
3821393bc97SHong Zhang     bi_ptr[i] = current_space->array;
3831393bc97SHong Zhang     current_space->array           += nzi;
3841393bc97SHong Zhang     current_space->local_used      += nzi;
3851393bc97SHong Zhang     current_space->local_remaining -= nzi;
386289bc588SBarry Smith   }
3876cf91177SBarry Smith #if defined(PETSC_USE_INFO)
388464e8d44SSatish Balay   if (ai[n] != 0) {
3891393bc97SHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
390ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
391ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
392ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr);
393ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
39405bf559cSSatish Balay   } else {
395ae15b995SBarry Smith     ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr);
39605bf559cSSatish Balay   }
39763ba0a88SBarry Smith #endif
3982fb3ed76SBarry Smith 
399898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
400898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
4011987afe7SBarry Smith 
4021393bc97SHong Zhang   /* destroy list of free space and other temporary array(s) */
4031393bc97SHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
404a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr);
4051393bc97SHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
40635baf27eSSatish Balay   ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr);
407289bc588SBarry Smith 
408289bc588SBarry Smith   /* put together the new matrix */
409719d5645SBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
410719d5645SBarry Smith   ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr);
411719d5645SBarry Smith   b    = (Mat_SeqAIJ*)(B)->data;
412e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
413e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
4147c922b88SBarry Smith   b->singlemalloc = PETSC_FALSE;
4151393bc97SHong Zhang   ierr          = PetscMalloc((bi[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
4161393bc97SHong Zhang   b->j          = bj;
4171393bc97SHong Zhang   b->i          = bi;
4181393bc97SHong Zhang   b->diag       = bdiag;
419416022c9SBarry Smith   b->ilen       = 0;
420416022c9SBarry Smith   b->imax       = 0;
421416022c9SBarry Smith   b->row        = isrow;
422416022c9SBarry Smith   b->col        = iscol;
423c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
424c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
42582bf6240SBarry Smith   b->icol       = isicol;
42687828ca2SBarry Smith   ierr          = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
4271393bc97SHong Zhang 
4281393bc97SHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.  Allocate solve_work, new a, new j */
429719d5645SBarry Smith   ierr = PetscLogObjectMemory(B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
4301393bc97SHong Zhang   b->maxnz = b->nz = bi[n] ;
4317fd98bd6SLois Curfman McInnes 
432719d5645SBarry Smith   (B)->factor                = MAT_FACTOR_LU;
433719d5645SBarry Smith   (B)->info.factor_mallocs   = reallocs;
434719d5645SBarry Smith   (B)->info.fill_ratio_given = f;
435703deb49SSatish Balay 
4369f7d0b68SHong Zhang   if (ai[n]) {
437719d5645SBarry Smith     (B)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]);
438eea2913aSSatish Balay   } else {
439719d5645SBarry Smith     (B)->info.fill_ratio_needed = 0.0;
440eea2913aSSatish Balay   }
441719d5645SBarry Smith   (B)->ops->lufactornumeric  = MatLUFactorNumeric_SeqAIJ;
442719d5645SBarry Smith   (B)->ops->solve            = MatSolve_SeqAIJ;
443719d5645SBarry Smith   (B)->ops->solvetranspose   = MatSolveTranspose_SeqAIJ;
444db4efbfdSBarry Smith   /* switch to inodes if appropriate */
445719d5645SBarry Smith   ierr = MatLUFactorSymbolic_Inode(B,A,isrow,iscol,info);CHKERRQ(ierr);
4463a40ed3dSBarry Smith   PetscFunctionReturn(0);
447289bc588SBarry Smith }
4481393bc97SHong Zhang 
4495b5bc046SBarry Smith /*
4505b5bc046SBarry Smith     Trouble in factorization, should we dump the original matrix?
4515b5bc046SBarry Smith */
4525b5bc046SBarry Smith #undef __FUNCT__
4535b5bc046SBarry Smith #define __FUNCT__ "MatFactorDumpMatrix"
4545b5bc046SBarry Smith PetscErrorCode MatFactorDumpMatrix(Mat A)
4555b5bc046SBarry Smith {
4565b5bc046SBarry Smith   PetscErrorCode ierr;
45790d69ab7SBarry Smith   PetscTruth     flg = PETSC_FALSE;
4585b5bc046SBarry Smith 
4595b5bc046SBarry Smith   PetscFunctionBegin;
46090d69ab7SBarry Smith   ierr = PetscOptionsGetTruth(PETSC_NULL,"-mat_factor_dump_on_error",&flg,PETSC_NULL);CHKERRQ(ierr);
4615b5bc046SBarry Smith   if (flg) {
4625b5bc046SBarry Smith     PetscViewer viewer;
4635b5bc046SBarry Smith     char        filename[PETSC_MAX_PATH_LEN];
4645b5bc046SBarry Smith 
4655b5bc046SBarry Smith     ierr = PetscSNPrintf(filename,PETSC_MAX_PATH_LEN,"matrix_factor_error.%d",PetscGlobalRank);CHKERRQ(ierr);
4667adad957SLisandro Dalcin     ierr = PetscViewerBinaryOpen(((PetscObject)A)->comm,filename,FILE_MODE_WRITE,&viewer);CHKERRQ(ierr);
4675b5bc046SBarry Smith     ierr = MatView(A,viewer);CHKERRQ(ierr);
4685b5bc046SBarry Smith     ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr);
4695b5bc046SBarry Smith   }
4705b5bc046SBarry Smith   PetscFunctionReturn(0);
4715b5bc046SBarry Smith }
4725b5bc046SBarry Smith 
473db4efbfdSBarry Smith extern PetscErrorCode MatSolve_Inode(Mat,Vec,Vec);
474db4efbfdSBarry Smith 
4750a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
4764a2ae208SSatish Balay #undef __FUNCT__
4774a2ae208SSatish Balay #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ"
4780481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info)
479289bc588SBarry Smith {
480719d5645SBarry Smith   Mat            C=B;
481416022c9SBarry Smith   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data;
48282bf6240SBarry Smith   IS             isrow = b->row,isicol = b->icol;
4836849ba73SBarry Smith   PetscErrorCode ierr;
4845d0c19d7SBarry Smith   const PetscInt  *r,*ic,*ics;
4859f7d0b68SHong Zhang   PetscInt       i,j,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
4869f7d0b68SHong Zhang   PetscInt       *ajtmp,*bjtmp,nz,row,*diag_offset = b->diag,diag,*pj;
4879f7d0b68SHong Zhang   MatScalar      *rtmp,*pc,multiplier,*v,*pv,d,*aa=a->a;
48833f9893dSHong Zhang   PetscReal      rs = 0.0;
489b3bf805bSHong Zhang   LUShift_Ctx    sctx;
49042898933SHong Zhang   PetscInt       newshift,*ddiag;
491289bc588SBarry Smith 
4923a40ed3dSBarry Smith   PetscFunctionBegin;
49378b31e54SBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
49478b31e54SBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
49587828ca2SBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr);
49687828ca2SBarry Smith   ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
4979f7d0b68SHong Zhang   ics  = ic;
498289bc588SBarry Smith 
499ada7143aSSatish Balay   sctx.shift_top      = 0;
500ada7143aSSatish Balay   sctx.nshift_max     = 0;
501ada7143aSSatish Balay   sctx.shift_lo       = 0;
502ada7143aSSatish Balay   sctx.shift_hi       = 0;
5030481f469SBarry Smith   sctx.shift_fraction = 0;
504ada7143aSSatish Balay 
505118f5789SBarry Smith   /* if both shift schemes are chosen by user, only use info->shiftpd */
5061a890ab1SHong Zhang   if (info->shiftpd) { /* set sctx.shift_top=max{rs} */
50742898933SHong Zhang     ddiag          = a->diag;
5089f7d0b68SHong Zhang     sctx.shift_top = info->zeropivot;
5096cc28720Svictorle     for (i=0; i<n; i++) {
5109f95998fSHong Zhang       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
5119f7d0b68SHong Zhang       d  = (aa)[ddiag[i]];
5121a890ab1SHong Zhang       rs = -PetscAbsScalar(d) - PetscRealPart(d);
5139f7d0b68SHong Zhang       v  = aa+ai[i];
5149f7d0b68SHong Zhang       nz = ai[i+1] - ai[i];
515e24cfe64SHong Zhang       for (j=0; j<nz; j++)
5161a890ab1SHong Zhang 	rs += PetscAbsScalar(v[j]);
5171a890ab1SHong Zhang       if (rs>sctx.shift_top) sctx.shift_top = rs;
5186cc28720Svictorle     }
519118f5789SBarry Smith     sctx.shift_top   *= 1.1;
520d2276718SHong Zhang     sctx.nshift_max   = 5;
521d2276718SHong Zhang     sctx.shift_lo     = 0.;
522d2276718SHong Zhang     sctx.shift_hi     = 1.;
523a0a356efSHong Zhang   }
524a0a356efSHong Zhang 
5259f7d0b68SHong Zhang   sctx.shift_amount = 0.0;
526a0a356efSHong Zhang   sctx.nshift       = 0;
527085256b3SBarry Smith   do {
528d2276718SHong Zhang     sctx.lushift = PETSC_FALSE;
529289bc588SBarry Smith     for (i=0; i<n; i++){
530b3bf805bSHong Zhang       nz    = bi[i+1] - bi[i];
531b3bf805bSHong Zhang       bjtmp = bj + bi[i];
5329f7d0b68SHong Zhang       for  (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0;
533289bc588SBarry Smith 
534289bc588SBarry Smith       /* load in initial (unfactored row) */
5359f7d0b68SHong Zhang       nz    = ai[r[i]+1] - ai[r[i]];
5369f7d0b68SHong Zhang       ajtmp = aj + ai[r[i]];
5379f7d0b68SHong Zhang       v     = aa + ai[r[i]];
538085256b3SBarry Smith       for (j=0; j<nz; j++) {
539b3bf805bSHong Zhang         rtmp[ics[ajtmp[j]]] = v[j];
540085256b3SBarry Smith       }
541d2276718SHong Zhang       rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */
542289bc588SBarry Smith 
543b3bf805bSHong Zhang       row = *bjtmp++;
544f2582111SSatish Balay       while  (row < i) {
5458c37ef55SBarry Smith         pc = rtmp + row;
5468c37ef55SBarry Smith         if (*pc != 0.0) {
547010a20caSHong Zhang           pv         = b->a + diag_offset[row];
548010a20caSHong Zhang           pj         = b->j + diag_offset[row] + 1;
54935aab85fSBarry Smith           multiplier = *pc / *pv++;
5508c37ef55SBarry Smith           *pc        = multiplier;
551b3bf805bSHong Zhang           nz         = bi[row+1] - diag_offset[row] - 1;
5529f7d0b68SHong Zhang           for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
553dc0b31edSSatish Balay           ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
554289bc588SBarry Smith         }
555b3bf805bSHong Zhang         row = *bjtmp++;
556289bc588SBarry Smith       }
557416022c9SBarry Smith       /* finished row so stick it into b->a */
558b3bf805bSHong Zhang       pv   = b->a + bi[i] ;
559b3bf805bSHong Zhang       pj   = b->j + bi[i] ;
560b3bf805bSHong Zhang       nz   = bi[i+1] - bi[i];
561b3bf805bSHong Zhang       diag = diag_offset[i] - bi[i];
5629f7d0b68SHong Zhang       rs   = -PetscAbsScalar(pv[diag]);
563d3d32019SBarry Smith       for (j=0; j<nz; j++) {
5649f7d0b68SHong Zhang         pv[j] = rtmp[pj[j]];
5659f7d0b68SHong Zhang         rs   += PetscAbsScalar(pv[j]);
566d3d32019SBarry Smith       }
567d2276718SHong Zhang 
568b3bf805bSHong Zhang       /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */
569d2276718SHong Zhang       sctx.rs  = rs;
570d2276718SHong Zhang       sctx.pv  = pv[diag];
571c6b1f410SHong Zhang       ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr);
5725b5bc046SBarry Smith       if (newshift == 1) break;
57335aab85fSBarry Smith     }
574d2276718SHong Zhang 
5750481f469SBarry Smith     if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
5766cc28720Svictorle       /*
5776c037d1bSvictorle        * if no shift in this attempt & shifting & started shifting & can refine,
5786cc28720Svictorle        * then try lower shift
5796cc28720Svictorle        */
5800481f469SBarry Smith       sctx.shift_hi       = sctx.shift_fraction;
5810481f469SBarry Smith       sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
5820481f469SBarry Smith       sctx.shift_amount   = sctx.shift_fraction * sctx.shift_top;
583d2276718SHong Zhang       sctx.lushift        = PETSC_TRUE;
584d2276718SHong Zhang       sctx.nshift++;
5856cc28720Svictorle     }
586d2276718SHong Zhang   } while (sctx.lushift);
5870f11f9aeSSatish Balay 
58835aab85fSBarry Smith   /* invert diagonal entries for simplier triangular solves */
58935aab85fSBarry Smith   for (i=0; i<n; i++) {
590010a20caSHong Zhang     b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]];
59135aab85fSBarry Smith   }
592606d414cSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
59378b31e54SBarry Smith   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
59478b31e54SBarry Smith   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
595db4efbfdSBarry Smith   if (b->inode.use) {
596db4efbfdSBarry Smith     C->ops->solve   = MatSolve_Inode;
597db4efbfdSBarry Smith   } else {
5988d8c7c43SBarry Smith     PetscTruth row_identity, col_identity;
5998d8c7c43SBarry Smith     ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
6008d8c7c43SBarry Smith     ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr);
6018d8c7c43SBarry Smith     if (row_identity && col_identity) {
6028d8c7c43SBarry Smith       C->ops->solve   = MatSolve_SeqAIJ_NaturalOrdering;
6038d8c7c43SBarry Smith     } else {
604db4efbfdSBarry Smith       C->ops->solve   = MatSolve_SeqAIJ;
605db4efbfdSBarry Smith     }
6068d8c7c43SBarry Smith   }
607db4efbfdSBarry Smith   C->ops->solveadd           = MatSolveAdd_SeqAIJ;
608db4efbfdSBarry Smith   C->ops->solvetranspose     = MatSolveTranspose_SeqAIJ;
609db4efbfdSBarry Smith   C->ops->solvetransposeadd  = MatSolveTransposeAdd_SeqAIJ;
610de26497bSBarry Smith   C->ops->matsolve           = MatMatSolve_SeqAIJ;
611c456f294SBarry Smith   C->assembled    = PETSC_TRUE;
6125c9eb25fSBarry Smith   C->preallocated = PETSC_TRUE;
613d0f46423SBarry Smith   ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
614d2276718SHong Zhang   if (sctx.nshift){
615e738e422SBarry Smith      if (info->shiftpd) {
6160481f469SBarry 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);
617e738e422SBarry Smith     } else if (info->shiftnz) {
618e738e422SBarry Smith       ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
6196cc28720Svictorle     }
6200697b6caSHong Zhang   }
6213a40ed3dSBarry Smith   PetscFunctionReturn(0);
622289bc588SBarry Smith }
6230889b5dcSvictorle 
624137fb511SHong Zhang /*
625137fb511SHong Zhang    This routine implements inplace ILU(0) with row or/and column permutations.
626137fb511SHong Zhang    Input:
627137fb511SHong Zhang      A - original matrix
628137fb511SHong Zhang    Output;
629137fb511SHong Zhang      A - a->i (rowptr) is same as original rowptr, but factored i-the row is stored in rowperm[i]
630137fb511SHong Zhang          a->j (col index) is permuted by the inverse of colperm, then sorted
631137fb511SHong Zhang          a->a reordered accordingly with a->j
632137fb511SHong Zhang          a->diag (ptr to diagonal elements) is updated.
633137fb511SHong Zhang */
634137fb511SHong Zhang #undef __FUNCT__
635137fb511SHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_InplaceWithPerm"
6360481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ_InplaceWithPerm(Mat B,Mat A,const MatFactorInfo *info)
637137fb511SHong Zhang {
638b051339dSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data;
639b051339dSHong Zhang   IS             isrow = a->row,isicol = a->icol;
640137fb511SHong Zhang   PetscErrorCode ierr;
6415d0c19d7SBarry Smith   const PetscInt *r,*ic,*ics;
6425d0c19d7SBarry Smith   PetscInt       i,j,n=A->rmap->n,*ai=a->i,*aj=a->j;
6435d0c19d7SBarry Smith   PetscInt       *ajtmp,nz,row;
644b051339dSHong Zhang   PetscInt       *diag = a->diag,nbdiag,*pj;
645a77337e4SBarry Smith   PetscScalar    *rtmp,*pc,multiplier,d;
646a77337e4SBarry Smith   MatScalar      *v,*pv;
647137fb511SHong Zhang   PetscReal      rs;
648137fb511SHong Zhang   LUShift_Ctx    sctx;
649b051339dSHong Zhang   PetscInt       newshift;
650137fb511SHong Zhang 
651137fb511SHong Zhang   PetscFunctionBegin;
652719d5645SBarry Smith   if (A != B) SETERRQ(PETSC_ERR_ARG_INCOMP,"input and output matrix must have same address");
653137fb511SHong Zhang   ierr  = ISGetIndices(isrow,&r);CHKERRQ(ierr);
654137fb511SHong Zhang   ierr  = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
655137fb511SHong Zhang   ierr  = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr);
656137fb511SHong Zhang   ierr  = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
657b051339dSHong Zhang   ics = ic;
658137fb511SHong Zhang 
659137fb511SHong Zhang   sctx.shift_top      = 0;
660137fb511SHong Zhang   sctx.nshift_max     = 0;
661137fb511SHong Zhang   sctx.shift_lo       = 0;
662137fb511SHong Zhang   sctx.shift_hi       = 0;
6630481f469SBarry Smith   sctx.shift_fraction = 0;
664137fb511SHong Zhang 
665137fb511SHong Zhang   /* if both shift schemes are chosen by user, only use info->shiftpd */
666137fb511SHong Zhang   if (info->shiftpd) { /* set sctx.shift_top=max{rs} */
667137fb511SHong Zhang     sctx.shift_top = 0;
668137fb511SHong Zhang     for (i=0; i<n; i++) {
669137fb511SHong Zhang       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
670b051339dSHong Zhang       d  = (a->a)[diag[i]];
671137fb511SHong Zhang       rs = -PetscAbsScalar(d) - PetscRealPart(d);
672b051339dSHong Zhang       v  = a->a+ai[i];
673b051339dSHong Zhang       nz = ai[i+1] - ai[i];
674137fb511SHong Zhang       for (j=0; j<nz; j++)
675137fb511SHong Zhang 	rs += PetscAbsScalar(v[j]);
676137fb511SHong Zhang       if (rs>sctx.shift_top) sctx.shift_top = rs;
677137fb511SHong Zhang     }
678137fb511SHong Zhang     if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot;
679137fb511SHong Zhang     sctx.shift_top    *= 1.1;
680137fb511SHong Zhang     sctx.nshift_max   = 5;
681137fb511SHong Zhang     sctx.shift_lo     = 0.;
682137fb511SHong Zhang     sctx.shift_hi     = 1.;
683137fb511SHong Zhang   }
684137fb511SHong Zhang 
685137fb511SHong Zhang   sctx.shift_amount = 0;
686137fb511SHong Zhang   sctx.nshift       = 0;
687137fb511SHong Zhang   do {
688137fb511SHong Zhang     sctx.lushift = PETSC_FALSE;
689137fb511SHong Zhang     for (i=0; i<n; i++){
690b051339dSHong Zhang       /* load in initial unfactored row */
691b051339dSHong Zhang       nz    = ai[r[i]+1] - ai[r[i]];
692b051339dSHong Zhang       ajtmp = aj + ai[r[i]];
693b051339dSHong Zhang       v     = a->a + ai[r[i]];
694137fb511SHong Zhang       /* sort permuted ajtmp and values v accordingly */
695b051339dSHong Zhang       for (j=0; j<nz; j++) ajtmp[j] = ics[ajtmp[j]];
696137fb511SHong Zhang       ierr = PetscSortIntWithScalarArray(nz,ajtmp,v);CHKERRQ(ierr);
697137fb511SHong Zhang 
698b051339dSHong Zhang       diag[r[i]] = ai[r[i]];
699137fb511SHong Zhang       for (j=0; j<nz; j++) {
700137fb511SHong Zhang         rtmp[ajtmp[j]] = v[j];
701b051339dSHong Zhang         if (ajtmp[j] < i) diag[r[i]]++; /* update a->diag */
702137fb511SHong Zhang       }
703137fb511SHong Zhang       rtmp[r[i]] += sctx.shift_amount; /* shift the diagonal of the matrix */
704137fb511SHong Zhang 
705b051339dSHong Zhang       row = *ajtmp++;
706137fb511SHong Zhang       while  (row < i) {
707137fb511SHong Zhang         pc = rtmp + row;
708137fb511SHong Zhang         if (*pc != 0.0) {
709b051339dSHong Zhang           pv         = a->a + diag[r[row]];
710b051339dSHong Zhang           pj         = aj + diag[r[row]] + 1;
711137fb511SHong Zhang 
712137fb511SHong Zhang           multiplier = *pc / *pv++;
713137fb511SHong Zhang           *pc        = multiplier;
714b051339dSHong Zhang           nz         = ai[r[row]+1] - diag[r[row]] - 1;
715b051339dSHong Zhang           for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
716dc0b31edSSatish Balay           ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
717137fb511SHong Zhang         }
718b051339dSHong Zhang         row = *ajtmp++;
719137fb511SHong Zhang       }
720b051339dSHong Zhang       /* finished row so overwrite it onto a->a */
721b051339dSHong Zhang       pv   = a->a + ai[r[i]] ;
722b051339dSHong Zhang       pj   = aj + ai[r[i]] ;
723b051339dSHong Zhang       nz   = ai[r[i]+1] - ai[r[i]];
724b051339dSHong Zhang       nbdiag = diag[r[i]] - ai[r[i]]; /* num of entries before the diagonal */
725137fb511SHong Zhang 
726137fb511SHong Zhang       rs   = 0.0;
727137fb511SHong Zhang       for (j=0; j<nz; j++) {
728b051339dSHong Zhang         pv[j] = rtmp[pj[j]];
729b051339dSHong Zhang         if (j != nbdiag) rs += PetscAbsScalar(pv[j]);
730137fb511SHong Zhang       }
731137fb511SHong Zhang 
732137fb511SHong Zhang       /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */
733137fb511SHong Zhang       sctx.rs  = rs;
734b051339dSHong Zhang       sctx.pv  = pv[nbdiag];
735c6b1f410SHong Zhang       ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr);
736137fb511SHong Zhang       if (newshift == 1) break;
737137fb511SHong Zhang     }
738137fb511SHong Zhang 
7390481f469SBarry Smith     if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
740137fb511SHong Zhang       /*
741137fb511SHong Zhang        * if no shift in this attempt & shifting & started shifting & can refine,
742137fb511SHong Zhang        * then try lower shift
743137fb511SHong Zhang        */
7440481f469SBarry Smith       sctx.shift_hi        = sctx.shift_fraction;
7450481f469SBarry Smith       sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
7460481f469SBarry Smith       sctx.shift_amount    = sctx.shift_fraction * sctx.shift_top;
747137fb511SHong Zhang       sctx.lushift         = PETSC_TRUE;
748137fb511SHong Zhang       sctx.nshift++;
749137fb511SHong Zhang     }
750137fb511SHong Zhang   } while (sctx.lushift);
751137fb511SHong Zhang 
752137fb511SHong Zhang   /* invert diagonal entries for simplier triangular solves */
753137fb511SHong Zhang   for (i=0; i<n; i++) {
754b051339dSHong Zhang     a->a[diag[r[i]]] = 1.0/a->a[diag[r[i]]];
755137fb511SHong Zhang   }
756137fb511SHong Zhang 
757137fb511SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
758137fb511SHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
759137fb511SHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
760b051339dSHong Zhang   A->ops->solve             = MatSolve_SeqAIJ_InplaceWithPerm;
761db4efbfdSBarry Smith   A->ops->solveadd          = MatSolveAdd_SeqAIJ;
762db4efbfdSBarry Smith   A->ops->solvetranspose    = MatSolveTranspose_SeqAIJ;
763db4efbfdSBarry Smith   A->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ;
764b051339dSHong Zhang   A->assembled = PETSC_TRUE;
7655c9eb25fSBarry Smith   A->preallocated = PETSC_TRUE;
766d0f46423SBarry Smith   ierr = PetscLogFlops(A->cmap->n);CHKERRQ(ierr);
767137fb511SHong Zhang   if (sctx.nshift){
768e738e422SBarry Smith     if (info->shiftpd) {
7690481f469SBarry 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);
770e738e422SBarry Smith     } else if (info->shiftnz) {
771e738e422SBarry Smith       ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
772137fb511SHong Zhang     }
773137fb511SHong Zhang   }
774137fb511SHong Zhang   PetscFunctionReturn(0);
775137fb511SHong Zhang }
776137fb511SHong Zhang 
7770a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
7784a2ae208SSatish Balay #undef __FUNCT__
7794a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ"
7800481f469SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,const MatFactorInfo *info)
781da3a660dSBarry Smith {
782dfbe8321SBarry Smith   PetscErrorCode ierr;
783416022c9SBarry Smith   Mat            C;
784416022c9SBarry Smith 
7853a40ed3dSBarry Smith   PetscFunctionBegin;
78643244d56SBarry Smith   ierr = MatGetFactor(A,MAT_SOLVER_PETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr);
787719d5645SBarry Smith   ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr);
788719d5645SBarry Smith   ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr);
789db4efbfdSBarry Smith   A->ops->solve            = C->ops->solve;
790db4efbfdSBarry Smith   A->ops->solvetranspose   = C->ops->solvetranspose;
791273d9f13SBarry Smith   ierr = MatHeaderCopy(A,C);CHKERRQ(ierr);
79252e6d16bSBarry Smith   ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr);
7933a40ed3dSBarry Smith   PetscFunctionReturn(0);
794da3a660dSBarry Smith }
7950a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
796*1d098868SHong Zhang 
7974a2ae208SSatish Balay #undef __FUNCT__
7984a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ"
799dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx)
8008c37ef55SBarry Smith {
801416022c9SBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
802416022c9SBarry Smith   IS                iscol = a->col,isrow = a->row;
8036849ba73SBarry Smith   PetscErrorCode    ierr;
8045d0c19d7SBarry Smith   PetscInt          i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
8055d0c19d7SBarry Smith   PetscInt          nz;
8065d0c19d7SBarry Smith   const PetscInt    *rout,*cout,*r,*c;
807dd6ea824SBarry Smith   PetscScalar       *x,*tmp,*tmps,sum;
808d9fead3dSBarry Smith   const PetscScalar *b;
809dd6ea824SBarry Smith   const MatScalar   *aa = a->a,*v;
8108c37ef55SBarry Smith 
8113a40ed3dSBarry Smith   PetscFunctionBegin;
8123a40ed3dSBarry Smith   if (!n) PetscFunctionReturn(0);
81391bf9adeSBarry Smith 
814d9fead3dSBarry Smith   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
8151ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
816416022c9SBarry Smith   tmp  = a->solve_work;
8178c37ef55SBarry Smith 
8183b2fbd54SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
8193b2fbd54SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
8208c37ef55SBarry Smith 
8218c37ef55SBarry Smith   /* forward solve the lower triangular */
8228c37ef55SBarry Smith   tmp[0] = b[*r++];
823010a20caSHong Zhang   tmps   = tmp;
8248c37ef55SBarry Smith   for (i=1; i<n; i++) {
825010a20caSHong Zhang     v   = aa + ai[i] ;
826010a20caSHong Zhang     vi  = aj + ai[i] ;
82753e7425aSBarry Smith     nz  = a->diag[i] - ai[i];
82853e7425aSBarry Smith     sum = b[*r++];
829ed480e8bSBarry Smith     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
8308c37ef55SBarry Smith     tmp[i] = sum;
8318c37ef55SBarry Smith   }
8328c37ef55SBarry Smith 
8338c37ef55SBarry Smith   /* backward solve the upper triangular */
8348c37ef55SBarry Smith   for (i=n-1; i>=0; i--){
835010a20caSHong Zhang     v   = aa + a->diag[i] + 1;
836010a20caSHong Zhang     vi  = aj + a->diag[i] + 1;
837416022c9SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
8388c37ef55SBarry Smith     sum = tmp[i];
839ed480e8bSBarry Smith     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
840010a20caSHong Zhang     x[*c--] = tmp[i] = sum*aa[a->diag[i]];
8418c37ef55SBarry Smith   }
8428c37ef55SBarry Smith 
8433b2fbd54SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
8443b2fbd54SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
845d9fead3dSBarry Smith   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
8461ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
847dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
8483a40ed3dSBarry Smith   PetscFunctionReturn(0);
8498c37ef55SBarry Smith }
850026e39d0SSatish Balay 
8512bebee5dSHong Zhang #undef __FUNCT__
8522bebee5dSHong Zhang #define __FUNCT__ "MatMatSolve_SeqAIJ"
8532bebee5dSHong Zhang PetscErrorCode MatMatSolve_SeqAIJ(Mat A,Mat B,Mat X)
8542bebee5dSHong Zhang {
8552bebee5dSHong Zhang   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
8562bebee5dSHong Zhang   IS              iscol = a->col,isrow = a->row;
8572bebee5dSHong Zhang   PetscErrorCode  ierr;
8585d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
8595d0c19d7SBarry Smith   PetscInt        nz,neq;
8605d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
861dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,*tmps,sum;
862dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
863db4efbfdSBarry Smith   PetscTruth      bisdense,xisdense;
8642bebee5dSHong Zhang 
8652bebee5dSHong Zhang   PetscFunctionBegin;
8662bebee5dSHong Zhang   if (!n) PetscFunctionReturn(0);
8672bebee5dSHong Zhang 
868db4efbfdSBarry Smith   ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr);
869db4efbfdSBarry Smith   if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix");
870db4efbfdSBarry Smith   ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr);
871db4efbfdSBarry Smith   if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix");
872db4efbfdSBarry Smith 
8732bebee5dSHong Zhang   ierr = MatGetArray(B,&b);CHKERRQ(ierr);
8742bebee5dSHong Zhang   ierr = MatGetArray(X,&x);CHKERRQ(ierr);
8752bebee5dSHong Zhang 
8762bebee5dSHong Zhang   tmp  = a->solve_work;
8772bebee5dSHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
8782bebee5dSHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
8792bebee5dSHong Zhang 
880a36b22ccSSatish Balay   for (neq=0; neq<B->cmap->n; neq++){
8812bebee5dSHong Zhang     /* forward solve the lower triangular */
8822bebee5dSHong Zhang     tmp[0] = b[r[0]];
8832bebee5dSHong Zhang     tmps   = tmp;
8842bebee5dSHong Zhang     for (i=1; i<n; i++) {
8852bebee5dSHong Zhang       v   = aa + ai[i] ;
8862bebee5dSHong Zhang       vi  = aj + ai[i] ;
8872bebee5dSHong Zhang       nz  = a->diag[i] - ai[i];
8882bebee5dSHong Zhang       sum = b[r[i]];
8892bebee5dSHong Zhang       SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
8902bebee5dSHong Zhang       tmp[i] = sum;
8912bebee5dSHong Zhang     }
8922bebee5dSHong Zhang     /* backward solve the upper triangular */
8932bebee5dSHong Zhang     for (i=n-1; i>=0; i--){
8942bebee5dSHong Zhang       v   = aa + a->diag[i] + 1;
8952bebee5dSHong Zhang       vi  = aj + a->diag[i] + 1;
8962bebee5dSHong Zhang       nz  = ai[i+1] - a->diag[i] - 1;
8972bebee5dSHong Zhang       sum = tmp[i];
8982bebee5dSHong Zhang       SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
8992bebee5dSHong Zhang       x[c[i]] = tmp[i] = sum*aa[a->diag[i]];
9002bebee5dSHong Zhang     }
9012bebee5dSHong Zhang 
9022bebee5dSHong Zhang     b += n;
9032bebee5dSHong Zhang     x += n;
9042bebee5dSHong Zhang   }
9052bebee5dSHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
9062bebee5dSHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
9072bebee5dSHong Zhang   ierr = MatRestoreArray(B,&b);CHKERRQ(ierr);
9082bebee5dSHong Zhang   ierr = MatRestoreArray(X,&x);CHKERRQ(ierr);
909dc0b31edSSatish Balay   ierr = PetscLogFlops(B->cmap->n*(2.0*a->nz - n));CHKERRQ(ierr);
9102bebee5dSHong Zhang   PetscFunctionReturn(0);
9112bebee5dSHong Zhang }
9122bebee5dSHong Zhang 
913137fb511SHong Zhang #undef __FUNCT__
914137fb511SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_InplaceWithPerm"
915137fb511SHong Zhang PetscErrorCode MatSolve_SeqAIJ_InplaceWithPerm(Mat A,Vec bb,Vec xx)
916137fb511SHong Zhang {
917137fb511SHong Zhang   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
918137fb511SHong Zhang   IS              iscol = a->col,isrow = a->row;
919137fb511SHong Zhang   PetscErrorCode  ierr;
9205d0c19d7SBarry Smith   const PetscInt  *r,*c,*rout,*cout;
9215d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
9225d0c19d7SBarry Smith   PetscInt        nz,row;
923dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,*tmps,sum;
924dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
925137fb511SHong Zhang 
926137fb511SHong Zhang   PetscFunctionBegin;
927137fb511SHong Zhang   if (!n) PetscFunctionReturn(0);
928137fb511SHong Zhang 
929137fb511SHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
930137fb511SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
931137fb511SHong Zhang   tmp  = a->solve_work;
932137fb511SHong Zhang 
933137fb511SHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
934137fb511SHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
935137fb511SHong Zhang 
936137fb511SHong Zhang   /* forward solve the lower triangular */
937137fb511SHong Zhang   tmp[0] = b[*r++];
938137fb511SHong Zhang   tmps   = tmp;
939137fb511SHong Zhang   for (row=1; row<n; row++) {
940137fb511SHong Zhang     i   = rout[row]; /* permuted row */
941137fb511SHong Zhang     v   = aa + ai[i] ;
942137fb511SHong Zhang     vi  = aj + ai[i] ;
943137fb511SHong Zhang     nz  = a->diag[i] - ai[i];
944137fb511SHong Zhang     sum = b[*r++];
945137fb511SHong Zhang     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
946137fb511SHong Zhang     tmp[row] = sum;
947137fb511SHong Zhang   }
948137fb511SHong Zhang 
949137fb511SHong Zhang   /* backward solve the upper triangular */
950137fb511SHong Zhang   for (row=n-1; row>=0; row--){
951137fb511SHong Zhang     i   = rout[row]; /* permuted row */
952137fb511SHong Zhang     v   = aa + a->diag[i] + 1;
953137fb511SHong Zhang     vi  = aj + a->diag[i] + 1;
954137fb511SHong Zhang     nz  = ai[i+1] - a->diag[i] - 1;
955137fb511SHong Zhang     sum = tmp[row];
956137fb511SHong Zhang     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
957137fb511SHong Zhang     x[*c--] = tmp[row] = sum*aa[a->diag[i]];
958137fb511SHong Zhang   }
959137fb511SHong Zhang 
960137fb511SHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
961137fb511SHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
962137fb511SHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
963137fb511SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
964dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
965137fb511SHong Zhang   PetscFunctionReturn(0);
966137fb511SHong Zhang }
967137fb511SHong Zhang 
968930ae53cSBarry Smith /* ----------------------------------------------------------- */
9694a2ae208SSatish Balay #undef __FUNCT__
9704a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering"
971dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx)
972930ae53cSBarry Smith {
973930ae53cSBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
9746849ba73SBarry Smith   PetscErrorCode    ierr;
975d0f46423SBarry Smith   PetscInt          n = A->rmap->n;
976356650c2SBarry Smith   const PetscInt    *ai = a->i,*aj = a->j,*adiag = a->diag,*vi;
977356650c2SBarry Smith   PetscScalar       *x;
978356650c2SBarry Smith   const PetscScalar *b;
979dd6ea824SBarry Smith   const MatScalar   *aa = a->a;
980aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ)
981356650c2SBarry Smith   PetscInt          adiag_i,i,nz,ai_i;
982dd6ea824SBarry Smith   const MatScalar   *v;
983dd6ea824SBarry Smith   PetscScalar       sum;
984d85afc42SSatish Balay #endif
985930ae53cSBarry Smith 
9863a40ed3dSBarry Smith   PetscFunctionBegin;
9873a40ed3dSBarry Smith   if (!n) PetscFunctionReturn(0);
988930ae53cSBarry Smith 
989356650c2SBarry Smith   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
9901ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
991930ae53cSBarry Smith 
992aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ)
9931c4feecaSSatish Balay   fortransolveaij_(&n,x,ai,aj,adiag,aa,b);
9941c4feecaSSatish Balay #else
995930ae53cSBarry Smith   /* forward solve the lower triangular */
996930ae53cSBarry Smith   x[0] = b[0];
997930ae53cSBarry Smith   for (i=1; i<n; i++) {
998930ae53cSBarry Smith     ai_i = ai[i];
999930ae53cSBarry Smith     v    = aa + ai_i;
1000930ae53cSBarry Smith     vi   = aj + ai_i;
1001930ae53cSBarry Smith     nz   = adiag[i] - ai_i;
1002930ae53cSBarry Smith     sum  = b[i];
1003930ae53cSBarry Smith     while (nz--) sum -= *v++ * x[*vi++];
1004930ae53cSBarry Smith     x[i] = sum;
1005930ae53cSBarry Smith   }
1006930ae53cSBarry Smith 
1007930ae53cSBarry Smith   /* backward solve the upper triangular */
1008930ae53cSBarry Smith   for (i=n-1; i>=0; i--){
1009930ae53cSBarry Smith     adiag_i = adiag[i];
1010d708749eSBarry Smith     v       = aa + adiag_i + 1;
1011d708749eSBarry Smith     vi      = aj + adiag_i + 1;
1012930ae53cSBarry Smith     nz      = ai[i+1] - adiag_i - 1;
1013930ae53cSBarry Smith     sum     = x[i];
1014930ae53cSBarry Smith     while (nz--) sum -= *v++ * x[*vi++];
1015930ae53cSBarry Smith     x[i]    = sum*aa[adiag_i];
1016930ae53cSBarry Smith   }
10171c4feecaSSatish Balay #endif
1018dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
1019356650c2SBarry Smith   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
10201ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
10213a40ed3dSBarry Smith   PetscFunctionReturn(0);
1022930ae53cSBarry Smith }
1023930ae53cSBarry Smith 
10244a2ae208SSatish Balay #undef __FUNCT__
10254a2ae208SSatish Balay #define __FUNCT__ "MatSolveAdd_SeqAIJ"
1026dfbe8321SBarry Smith PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx)
1027da3a660dSBarry Smith {
1028416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
1029416022c9SBarry Smith   IS              iscol = a->col,isrow = a->row;
10306849ba73SBarry Smith   PetscErrorCode  ierr;
10315d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
10325d0c19d7SBarry Smith   PetscInt        nz;
10335d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
1034dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,sum;
1035dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
1036da3a660dSBarry Smith 
10373a40ed3dSBarry Smith   PetscFunctionBegin;
103878b31e54SBarry Smith   if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);}
1039da3a660dSBarry Smith 
10401ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
10411ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1042416022c9SBarry Smith   tmp  = a->solve_work;
1043da3a660dSBarry Smith 
10443b2fbd54SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
10453b2fbd54SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
1046da3a660dSBarry Smith 
1047da3a660dSBarry Smith   /* forward solve the lower triangular */
1048da3a660dSBarry Smith   tmp[0] = b[*r++];
1049da3a660dSBarry Smith   for (i=1; i<n; i++) {
1050010a20caSHong Zhang     v   = aa + ai[i] ;
1051010a20caSHong Zhang     vi  = aj + ai[i] ;
1052416022c9SBarry Smith     nz  = a->diag[i] - ai[i];
1053da3a660dSBarry Smith     sum = b[*r++];
1054010a20caSHong Zhang     while (nz--) sum -= *v++ * tmp[*vi++ ];
1055da3a660dSBarry Smith     tmp[i] = sum;
1056da3a660dSBarry Smith   }
1057da3a660dSBarry Smith 
1058da3a660dSBarry Smith   /* backward solve the upper triangular */
1059da3a660dSBarry Smith   for (i=n-1; i>=0; i--){
1060010a20caSHong Zhang     v   = aa + a->diag[i] + 1;
1061010a20caSHong Zhang     vi  = aj + a->diag[i] + 1;
1062416022c9SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
1063da3a660dSBarry Smith     sum = tmp[i];
1064010a20caSHong Zhang     while (nz--) sum -= *v++ * tmp[*vi++ ];
1065010a20caSHong Zhang     tmp[i] = sum*aa[a->diag[i]];
1066da3a660dSBarry Smith     x[*c--] += tmp[i];
1067da3a660dSBarry Smith   }
1068da3a660dSBarry Smith 
10693b2fbd54SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
10703b2fbd54SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
10711ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
10721ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1073dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr);
1074898183ecSLois Curfman McInnes 
10753a40ed3dSBarry Smith   PetscFunctionReturn(0);
1076da3a660dSBarry Smith }
1077da3a660dSBarry Smith /* -------------------------------------------------------------------*/
10784a2ae208SSatish Balay #undef __FUNCT__
10794a2ae208SSatish Balay #define __FUNCT__ "MatSolveTranspose_SeqAIJ"
1080dfbe8321SBarry Smith PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx)
1081da3a660dSBarry Smith {
1082416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
10832235e667SBarry Smith   IS              iscol = a->col,isrow = a->row;
10846849ba73SBarry Smith   PetscErrorCode  ierr;
10855d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
10865d0c19d7SBarry Smith   PetscInt        i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
10875d0c19d7SBarry Smith   PetscInt        nz,*diag = a->diag;
1088dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,s1;
1089dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
1090da3a660dSBarry Smith 
10913a40ed3dSBarry Smith   PetscFunctionBegin;
10921ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
10931ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1094416022c9SBarry Smith   tmp  = a->solve_work;
1095da3a660dSBarry Smith 
10962235e667SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
10972235e667SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
1098da3a660dSBarry Smith 
1099da3a660dSBarry Smith   /* copy the b into temp work space according to permutation */
11002235e667SBarry Smith   for (i=0; i<n; i++) tmp[i] = b[c[i]];
1101da3a660dSBarry Smith 
1102da3a660dSBarry Smith   /* forward solve the U^T */
1103da3a660dSBarry Smith   for (i=0; i<n; i++) {
1104010a20caSHong Zhang     v   = aa + diag[i] ;
1105010a20caSHong Zhang     vi  = aj + diag[i] + 1;
1106f1af5d2fSBarry Smith     nz  = ai[i+1] - diag[i] - 1;
1107c38d4ed2SBarry Smith     s1  = tmp[i];
1108ef66eb69SBarry Smith     s1 *= (*v++);  /* multiply by inverse of diagonal entry */
1109da3a660dSBarry Smith     while (nz--) {
1110010a20caSHong Zhang       tmp[*vi++ ] -= (*v++)*s1;
1111da3a660dSBarry Smith     }
1112c38d4ed2SBarry Smith     tmp[i] = s1;
1113da3a660dSBarry Smith   }
1114da3a660dSBarry Smith 
1115da3a660dSBarry Smith   /* backward solve the L^T */
1116da3a660dSBarry Smith   for (i=n-1; i>=0; i--){
1117010a20caSHong Zhang     v   = aa + diag[i] - 1 ;
1118010a20caSHong Zhang     vi  = aj + diag[i] - 1 ;
1119f1af5d2fSBarry Smith     nz  = diag[i] - ai[i];
1120f1af5d2fSBarry Smith     s1  = tmp[i];
1121da3a660dSBarry Smith     while (nz--) {
1122010a20caSHong Zhang       tmp[*vi-- ] -= (*v--)*s1;
1123da3a660dSBarry Smith     }
1124da3a660dSBarry Smith   }
1125da3a660dSBarry Smith 
1126da3a660dSBarry Smith   /* copy tmp into x according to permutation */
1127da3a660dSBarry Smith   for (i=0; i<n; i++) x[r[i]] = tmp[i];
1128da3a660dSBarry Smith 
11292235e667SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
11302235e667SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
11311ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
11321ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1133da3a660dSBarry Smith 
1134dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr);
11353a40ed3dSBarry Smith   PetscFunctionReturn(0);
1136da3a660dSBarry Smith }
1137da3a660dSBarry Smith 
11384a2ae208SSatish Balay #undef __FUNCT__
11394a2ae208SSatish Balay #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ"
1140dfbe8321SBarry Smith PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx)
1141da3a660dSBarry Smith {
1142416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
11432235e667SBarry Smith   IS              iscol = a->col,isrow = a->row;
11446849ba73SBarry Smith   PetscErrorCode  ierr;
11455d0c19d7SBarry Smith   const PetscInt  *r,*c,*rout,*cout;
11465d0c19d7SBarry Smith   PetscInt        i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
11475d0c19d7SBarry Smith   PetscInt        nz,*diag = a->diag;
1148dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp;
1149dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
11506abc6512SBarry Smith 
11513a40ed3dSBarry Smith   PetscFunctionBegin;
115223bc6035SMatthew Knepley   if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);}
11536abc6512SBarry Smith 
11541ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
11551ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1156416022c9SBarry Smith   tmp = a->solve_work;
11576abc6512SBarry Smith 
11582235e667SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
11592235e667SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
11606abc6512SBarry Smith 
11616abc6512SBarry Smith   /* copy the b into temp work space according to permutation */
11622235e667SBarry Smith   for (i=0; i<n; i++) tmp[i] = b[c[i]];
11636abc6512SBarry Smith 
11646abc6512SBarry Smith   /* forward solve the U^T */
11656abc6512SBarry Smith   for (i=0; i<n; i++) {
1166010a20caSHong Zhang     v   = aa + diag[i] ;
1167010a20caSHong Zhang     vi  = aj + diag[i] + 1;
1168f1af5d2fSBarry Smith     nz  = ai[i+1] - diag[i] - 1;
11696abc6512SBarry Smith     tmp[i] *= *v++;
11706abc6512SBarry Smith     while (nz--) {
1171010a20caSHong Zhang       tmp[*vi++ ] -= (*v++)*tmp[i];
11726abc6512SBarry Smith     }
11736abc6512SBarry Smith   }
11746abc6512SBarry Smith 
11756abc6512SBarry Smith   /* backward solve the L^T */
11766abc6512SBarry Smith   for (i=n-1; i>=0; i--){
1177010a20caSHong Zhang     v   = aa + diag[i] - 1 ;
1178010a20caSHong Zhang     vi  = aj + diag[i] - 1 ;
1179f1af5d2fSBarry Smith     nz  = diag[i] - ai[i];
11806abc6512SBarry Smith     while (nz--) {
1181010a20caSHong Zhang       tmp[*vi-- ] -= (*v--)*tmp[i];
11826abc6512SBarry Smith     }
11836abc6512SBarry Smith   }
11846abc6512SBarry Smith 
11856abc6512SBarry Smith   /* copy tmp into x according to permutation */
11866abc6512SBarry Smith   for (i=0; i<n; i++) x[r[i]] += tmp[i];
11876abc6512SBarry Smith 
11882235e667SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
11892235e667SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
11901ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
11911ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
11926abc6512SBarry Smith 
1193dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr);
11943a40ed3dSBarry Smith   PetscFunctionReturn(0);
1195da3a660dSBarry Smith }
11969e25ed09SBarry Smith /* ----------------------------------------------------------------*/
11973c5fc038SBarry Smith EXTERN PetscErrorCode Mat_CheckInode(Mat,PetscTruth);
1198719d5645SBarry Smith EXTERN PetscErrorCode MatDuplicateNoCreate_SeqAIJ(Mat,Mat,MatDuplicateOption);
119908480c60SBarry Smith 
12004a2ae208SSatish Balay #undef __FUNCT__
12014a2ae208SSatish Balay #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ"
12020481f469SBarry Smith PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
12039e25ed09SBarry Smith {
1204416022c9SBarry Smith   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
12059e25ed09SBarry Smith   IS                 isicol;
12066849ba73SBarry Smith   PetscErrorCode     ierr;
12075d0c19d7SBarry Smith   const PetscInt     *r,*ic;
12085d0c19d7SBarry Smith   PetscInt           n=A->rmap->n,*ai=a->i,*aj=a->j,d;
12095a8e39fbSHong Zhang   PetscInt           *bi,*cols,nnz,*cols_lvl;
1210052f0c41SBarry Smith   PetscInt           *bdiag,prow,fm,nzbd,reallocs=0,dcount=0;
12115a8e39fbSHong Zhang   PetscInt           i,levels,diagonal_fill;
121277c4ece6SBarry Smith   PetscTruth         col_identity,row_identity;
1213329f5518SBarry Smith   PetscReal          f;
12145a8e39fbSHong Zhang   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL;
12155a8e39fbSHong Zhang   PetscBT            lnkbt;
12165a8e39fbSHong Zhang   PetscInt           nzi,*bj,**bj_ptr,**bjlvl_ptr;
1217a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1218a1a86e44SBarry Smith   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
121909f38230SBarry Smith   PetscTruth         missing;
12209e25ed09SBarry Smith 
12213a40ed3dSBarry Smith   PetscFunctionBegin;
1222d0f46423SBarry 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);
12236cf997b0SBarry Smith   f             = info->fill;
122438baddfdSBarry Smith   levels        = (PetscInt)info->levels;
122538baddfdSBarry Smith   diagonal_fill = (PetscInt)info->diagonal_fill;
12264c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
122782bf6240SBarry Smith 
122808480c60SBarry Smith   /* special case that simply copies fill pattern */
1229be0abb6dSBarry Smith   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
1230be0abb6dSBarry Smith   ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr);
123186bacbd2SBarry Smith   if (!levels && row_identity && col_identity) {
1232719d5645SBarry Smith     ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES);CHKERRQ(ierr);
1233719d5645SBarry Smith     fact->factor = MAT_FACTOR_ILU;
1234719d5645SBarry Smith     (fact)->info.factor_mallocs    = 0;
1235719d5645SBarry Smith     (fact)->info.fill_ratio_given  = info->fill;
1236719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 1.0;
1237719d5645SBarry Smith     b               = (Mat_SeqAIJ*)(fact)->data;
12388ef3462fSBarry Smith     ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
123909f38230SBarry Smith     if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
124008480c60SBarry Smith     b->row              = isrow;
124108480c60SBarry Smith     b->col              = iscol;
124282bf6240SBarry Smith     b->icol             = isicol;
1243719d5645SBarry Smith     ierr                = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1244c38d4ed2SBarry Smith     ierr                = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1245c38d4ed2SBarry Smith     ierr                = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
1246719d5645SBarry Smith     (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ;
1247719d5645SBarry Smith     ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr);
12483a40ed3dSBarry Smith     PetscFunctionReturn(0);
124908480c60SBarry Smith   }
125008480c60SBarry Smith 
1251898183ecSLois Curfman McInnes   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
1252898183ecSLois Curfman McInnes   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
12539e25ed09SBarry Smith 
12549e25ed09SBarry Smith   /* get new row pointers */
12555a8e39fbSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
12565a8e39fbSHong Zhang   bi[0] = 0;
12575a8e39fbSHong Zhang   /* bdiag is location of diagonal in factor */
12585a8e39fbSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
12595a8e39fbSHong Zhang   bdiag[0]  = 0;
12606cf997b0SBarry Smith 
12615a8e39fbSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr);
12625a8e39fbSHong Zhang   bjlvl_ptr = (PetscInt**)(bj_ptr + n);
12635a8e39fbSHong Zhang 
12645a8e39fbSHong Zhang   /* create a linked list for storing column indices of the active row */
12655a8e39fbSHong Zhang   nlnk = n + 1;
12665a8e39fbSHong Zhang   ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
12675a8e39fbSHong Zhang 
12685a8e39fbSHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
1269a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
12705a8e39fbSHong Zhang   current_space = free_space;
1271a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr);
12725a8e39fbSHong Zhang   current_space_lvl = free_space_lvl;
12735a8e39fbSHong Zhang 
12745a8e39fbSHong Zhang   for (i=0; i<n; i++) {
12755a8e39fbSHong Zhang     nzi = 0;
12766cf997b0SBarry Smith     /* copy current row into linked list */
12775a8e39fbSHong Zhang     nnz  = ai[r[i]+1] - ai[r[i]];
12783b4a8b6dSBarry 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);
12795a8e39fbSHong Zhang     cols = aj + ai[r[i]];
12805a8e39fbSHong Zhang     lnk[i] = -1; /* marker to indicate if diagonal exists */
12815a8e39fbSHong Zhang     ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
12825a8e39fbSHong Zhang     nzi += nlnk;
12836cf997b0SBarry Smith 
12846cf997b0SBarry Smith     /* make sure diagonal entry is included */
12855a8e39fbSHong Zhang     if (diagonal_fill && lnk[i] == -1) {
12866cf997b0SBarry Smith       fm = n;
12875a8e39fbSHong Zhang       while (lnk[fm] < i) fm = lnk[fm];
12885a8e39fbSHong Zhang       lnk[i]     = lnk[fm]; /* insert diagonal into linked list */
12895a8e39fbSHong Zhang       lnk[fm]    = i;
12905a8e39fbSHong Zhang       lnk_lvl[i] = 0;
12915a8e39fbSHong Zhang       nzi++; dcount++;
12926cf997b0SBarry Smith     }
12936cf997b0SBarry Smith 
12945a8e39fbSHong Zhang     /* add pivot rows into the active row */
12955a8e39fbSHong Zhang     nzbd = 0;
12965a8e39fbSHong Zhang     prow = lnk[n];
12975a8e39fbSHong Zhang     while (prow < i) {
12985a8e39fbSHong Zhang       nnz      = bdiag[prow];
12995a8e39fbSHong Zhang       cols     = bj_ptr[prow] + nnz + 1;
13005a8e39fbSHong Zhang       cols_lvl = bjlvl_ptr[prow] + nnz + 1;
13015a8e39fbSHong Zhang       nnz      = bi[prow+1] - bi[prow] - nnz - 1;
13025a8e39fbSHong Zhang       ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr);
13035a8e39fbSHong Zhang       nzi += nlnk;
13045a8e39fbSHong Zhang       prow = lnk[prow];
13055a8e39fbSHong Zhang       nzbd++;
130656beaf04SBarry Smith     }
13075a8e39fbSHong Zhang     bdiag[i] = nzbd;
13085a8e39fbSHong Zhang     bi[i+1]  = bi[i] + nzi;
1309ecf371e4SBarry Smith 
13105a8e39fbSHong Zhang     /* if free space is not available, make more free space */
13115a8e39fbSHong Zhang     if (current_space->local_remaining<nzi) {
13125a8e39fbSHong Zhang       nnz = nzi*(n - i); /* estimated and max additional space needed */
1313a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
1314a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space_lvl);CHKERRQ(ierr);
13155a8e39fbSHong Zhang       reallocs++;
13165a8e39fbSHong Zhang     }
1317ecf371e4SBarry Smith 
13185a8e39fbSHong Zhang     /* copy data into free_space and free_space_lvl, then initialize lnk */
13195a8e39fbSHong Zhang     ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
13205a8e39fbSHong Zhang     bj_ptr[i]    = current_space->array;
13215a8e39fbSHong Zhang     bjlvl_ptr[i] = current_space_lvl->array;
13225a8e39fbSHong Zhang 
13235a8e39fbSHong Zhang     /* make sure the active row i has diagonal entry */
13245a8e39fbSHong Zhang     if (*(bj_ptr[i]+bdiag[i]) != i) {
132577431f27SBarry Smith       SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\
1326d7ee0231SBarry Smith     try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i);
13276cf997b0SBarry Smith     }
13285a8e39fbSHong Zhang 
13295a8e39fbSHong Zhang     current_space->array           += nzi;
13305a8e39fbSHong Zhang     current_space->local_used      += nzi;
13315a8e39fbSHong Zhang     current_space->local_remaining -= nzi;
13325a8e39fbSHong Zhang     current_space_lvl->array           += nzi;
13335a8e39fbSHong Zhang     current_space_lvl->local_used      += nzi;
13345a8e39fbSHong Zhang     current_space_lvl->local_remaining -= nzi;
13359e25ed09SBarry Smith   }
13365a8e39fbSHong Zhang 
1337898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
1338898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
13395a8e39fbSHong Zhang 
13405a8e39fbSHong Zhang   /* destroy list of free space and other temporary arrays */
13415a8e39fbSHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
1342a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr);
13435a8e39fbSHong Zhang   ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
1344a1a86e44SBarry Smith   ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
13455a8e39fbSHong Zhang   ierr = PetscFree(bj_ptr);CHKERRQ(ierr);
13469e25ed09SBarry Smith 
13476cf91177SBarry Smith #if defined(PETSC_USE_INFO)
1348f64065bbSBarry Smith   {
13495a8e39fbSHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
1350ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
1351ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1352ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr);
1353ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
1354335d9088SBarry Smith     if (diagonal_fill) {
1355ae15b995SBarry Smith       ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr);
1356335d9088SBarry Smith     }
1357f64065bbSBarry Smith   }
135863ba0a88SBarry Smith #endif
1359bbb6d6a8SBarry Smith 
13609e25ed09SBarry Smith   /* put together the new matrix */
136107dbf95fSBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
1362719d5645SBarry Smith   ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr);
1363719d5645SBarry Smith   b = (Mat_SeqAIJ*)(fact)->data;
1364e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
1365e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
13667c922b88SBarry Smith   b->singlemalloc = PETSC_FALSE;
1367052f0c41SBarry Smith   ierr = PetscMalloc( (bi[n] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
13685a8e39fbSHong Zhang   b->j          = bj;
13695a8e39fbSHong Zhang   b->i          = bi;
13705a8e39fbSHong Zhang   for (i=0; i<n; i++) bdiag[i] += bi[i];
13715a8e39fbSHong Zhang   b->diag       = bdiag;
1372416022c9SBarry Smith   b->ilen       = 0;
1373416022c9SBarry Smith   b->imax       = 0;
1374416022c9SBarry Smith   b->row        = isrow;
1375416022c9SBarry Smith   b->col        = iscol;
1376c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1377c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
137882bf6240SBarry Smith   b->icol       = isicol;
137987828ca2SBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1380416022c9SBarry Smith   /* In b structure:  Free imax, ilen, old a, old j.
13815a8e39fbSHong Zhang      Allocate bdiag, solve_work, new a, new j */
1382719d5645SBarry Smith   ierr = PetscLogObjectMemory(fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
13835a8e39fbSHong Zhang   b->maxnz             = b->nz = bi[n] ;
1384719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1385719d5645SBarry Smith   (fact)->info.fill_ratio_given  = f;
1386719d5645SBarry Smith   (fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]);
1387719d5645SBarry Smith   (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ;
1388719d5645SBarry Smith   ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr);
13893a40ed3dSBarry Smith   PetscFunctionReturn(0);
13909e25ed09SBarry Smith }
1391d5d45c9bSBarry Smith 
13927c4f633dSBarry Smith #include "../src/mat/impls/sbaij/seq/sbaij.h"
1393a6175056SHong Zhang #undef __FUNCT__
1394a6175056SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ"
13950481f469SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info)
1396a6175056SHong Zhang {
1397719d5645SBarry Smith   Mat            C = B;
13980968510aSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data;
13992ed133dbSHong Zhang   Mat_SeqSBAIJ   *b=(Mat_SeqSBAIJ*)C->data;
14009bfd6278SHong Zhang   IS             ip=b->row,iip = b->icol;
14012ed133dbSHong Zhang   PetscErrorCode ierr;
14025d0c19d7SBarry Smith   const PetscInt *rip,*riip;
14035d0c19d7SBarry Smith   PetscInt       i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bcol;
14042ed133dbSHong Zhang   PetscInt       *ai=a->i,*aj=a->j;
14052ed133dbSHong Zhang   PetscInt       k,jmin,jmax,*jl,*il,col,nexti,ili,nz;
1406622e2028SHong Zhang   MatScalar      *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi;
1407540703acSHong Zhang   PetscReal      zeropivot,rs,shiftnz;
1408fbf22428SSatish Balay   PetscReal      shiftpd;
1409540703acSHong Zhang   ChShift_Ctx    sctx;
1410540703acSHong Zhang   PetscInt       newshift;
1411db4efbfdSBarry Smith   PetscTruth     perm_identity;
1412d5d45c9bSBarry Smith 
1413a6175056SHong Zhang   PetscFunctionBegin;
1414117f1891Stmunson 
1415540703acSHong Zhang   shiftnz   = info->shiftnz;
1416540703acSHong Zhang   shiftpd   = info->shiftpd;
1417ee45ca4aSHong Zhang   zeropivot = info->zeropivot;
1418ee45ca4aSHong Zhang 
14192ed133dbSHong Zhang   ierr  = ISGetIndices(ip,&rip);CHKERRQ(ierr);
14209bfd6278SHong Zhang   ierr  = ISGetIndices(iip,&riip);CHKERRQ(ierr);
14212ed133dbSHong Zhang 
14222ed133dbSHong Zhang   /* initialization */
14232ed133dbSHong Zhang   nz   = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar);
14242ed133dbSHong Zhang   ierr = PetscMalloc(nz,&il);CHKERRQ(ierr);
14252ed133dbSHong Zhang   jl   = il + mbs;
14262ed133dbSHong Zhang   rtmp = (MatScalar*)(jl + mbs);
14272ed133dbSHong Zhang 
1428540703acSHong Zhang   sctx.shift_amount = 0;
1429540703acSHong Zhang   sctx.nshift       = 0;
14302ed133dbSHong Zhang   do {
1431540703acSHong Zhang     sctx.chshift = PETSC_FALSE;
14322ed133dbSHong Zhang     for (i=0; i<mbs; i++) {
14332ed133dbSHong Zhang       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
1434a6175056SHong Zhang     }
14352ed133dbSHong Zhang 
14362ed133dbSHong Zhang     for (k = 0; k<mbs; k++){
1437c05c3958SHong Zhang       bval = ba + bi[k];
14382ed133dbSHong Zhang       /* initialize k-th row by the perm[k]-th row of A */
14392ed133dbSHong Zhang       jmin = ai[rip[k]]; jmax = ai[rip[k]+1];
14402ed133dbSHong Zhang       for (j = jmin; j < jmax; j++){
14419bfd6278SHong Zhang         col = riip[aj[j]];
14422ed133dbSHong Zhang         if (col >= k){ /* only take upper triangular entry */
14432ed133dbSHong Zhang           rtmp[col] = aa[j];
1444c05c3958SHong Zhang           *bval++  = 0.0; /* for in-place factorization */
14452ed133dbSHong Zhang         }
14462ed133dbSHong Zhang       }
144739e3d630SHong Zhang       /* shift the diagonal of the matrix */
1448540703acSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
14492ed133dbSHong Zhang 
14502ed133dbSHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
14512ed133dbSHong Zhang       dk = rtmp[k];
14522ed133dbSHong Zhang       i = jl[k]; /* first row to be added to k_th row  */
14532ed133dbSHong Zhang 
14542ed133dbSHong Zhang       while (i < k){
14552ed133dbSHong Zhang         nexti = jl[i]; /* next row to be added to k_th row */
14562ed133dbSHong Zhang 
14572ed133dbSHong Zhang         /* compute multiplier, update diag(k) and U(i,k) */
14582ed133dbSHong Zhang         ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
14592ed133dbSHong Zhang         uikdi = - ba[ili]*ba[bi[i]];  /* diagonal(k) */
14602ed133dbSHong Zhang         dk += uikdi*ba[ili];
14612ed133dbSHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
14622ed133dbSHong Zhang 
14632ed133dbSHong Zhang         /* add multiple of row i to k-th row */
14642ed133dbSHong Zhang         jmin = ili + 1; jmax = bi[i+1];
14652ed133dbSHong Zhang         if (jmin < jmax){
14662ed133dbSHong Zhang           for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j];
14672ed133dbSHong Zhang           /* update il and jl for row i */
14682ed133dbSHong Zhang           il[i] = jmin;
14692ed133dbSHong Zhang           j = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
14702ed133dbSHong Zhang         }
14712ed133dbSHong Zhang         i = nexti;
14722ed133dbSHong Zhang       }
14732ed133dbSHong Zhang 
14740697b6caSHong Zhang       /* shift the diagonals when zero pivot is detected */
14750697b6caSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
14760697b6caSHong Zhang       rs   = 0.0;
14773c9e8598SHong Zhang       jmin = bi[k]+1;
14783c9e8598SHong Zhang       nz   = bi[k+1] - jmin;
14793c9e8598SHong Zhang       bcol = bj + jmin;
14803c9e8598SHong Zhang       while (nz--){
148189f845c8SHong Zhang         rs += PetscAbsScalar(rtmp[*bcol]);
148289f845c8SHong Zhang         bcol++;
14833c9e8598SHong Zhang       }
1484540703acSHong Zhang 
1485540703acSHong Zhang       sctx.rs = rs;
1486540703acSHong Zhang       sctx.pv = dk;
14875b5bc046SBarry Smith       ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr);
1488117f1891Stmunson 
1489117f1891Stmunson       if (newshift == 1) {
1490117f1891Stmunson         if (!sctx.shift_amount) {
1491117f1891Stmunson           sctx.shift_amount = 1e-5;
1492117f1891Stmunson         }
1493117f1891Stmunson         break;
1494117f1891Stmunson       }
14953c9e8598SHong Zhang 
14963c9e8598SHong Zhang       /* copy data into U(k,:) */
149739e3d630SHong Zhang       ba[bi[k]] = 1.0/dk; /* U(k,k) */
149839e3d630SHong Zhang       jmin = bi[k]+1; jmax = bi[k+1];
149939e3d630SHong Zhang       if (jmin < jmax) {
150039e3d630SHong Zhang         for (j=jmin; j<jmax; j++){
150139e3d630SHong Zhang           col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0;
15023c9e8598SHong Zhang         }
150339e3d630SHong Zhang         /* add the k-th row into il and jl */
15043c9e8598SHong Zhang         il[k] = jmin;
15053c9e8598SHong Zhang         i = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
15063c9e8598SHong Zhang       }
15073c9e8598SHong Zhang     }
1508540703acSHong Zhang   } while (sctx.chshift);
15093c9e8598SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
15103c9e8598SHong Zhang 
151139e3d630SHong Zhang   ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr);
15129bfd6278SHong Zhang   ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr);
1513db4efbfdSBarry Smith 
1514db4efbfdSBarry Smith   ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr);
1515db4efbfdSBarry Smith   if (perm_identity){
1516719d5645SBarry Smith     (B)->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
1517719d5645SBarry Smith     (B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1_NaturalOrdering;
1518719d5645SBarry Smith     (B)->ops->forwardsolve    = MatForwardSolve_SeqSBAIJ_1_NaturalOrdering;
1519719d5645SBarry Smith     (B)->ops->backwardsolve   = MatBackwardSolve_SeqSBAIJ_1_NaturalOrdering;
1520db4efbfdSBarry Smith   } else {
1521719d5645SBarry Smith     (B)->ops->solve           = MatSolve_SeqSBAIJ_1;
1522719d5645SBarry Smith     (B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1;
1523719d5645SBarry Smith     (B)->ops->forwardsolve    = MatForwardSolve_SeqSBAIJ_1;
1524719d5645SBarry Smith     (B)->ops->backwardsolve   = MatBackwardSolve_SeqSBAIJ_1;
1525db4efbfdSBarry Smith   }
1526db4efbfdSBarry Smith 
15273c9e8598SHong Zhang   C->assembled    = PETSC_TRUE;
15283c9e8598SHong Zhang   C->preallocated = PETSC_TRUE;
1529d0f46423SBarry Smith   ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr);
1530540703acSHong Zhang   if (sctx.nshift){
1531540703acSHong Zhang     if (shiftnz) {
15321e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
1533540703acSHong Zhang     } else if (shiftpd) {
15341e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
15350697b6caSHong Zhang     }
15363c9e8598SHong Zhang   }
15373c9e8598SHong Zhang   PetscFunctionReturn(0);
15383c9e8598SHong Zhang }
1539a6175056SHong Zhang 
1540a6175056SHong Zhang #undef __FUNCT__
1541a6175056SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ"
15420481f469SBarry Smith PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info)
1543a6175056SHong Zhang {
15440968510aSHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data;
1545ed59401aSHong Zhang   Mat_SeqSBAIJ       *b;
1546dfbe8321SBarry Smith   PetscErrorCode     ierr;
154758ebbce7SBarry Smith   PetscTruth         perm_identity,missing;
15485d0c19d7SBarry Smith   PetscInt           reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui;
15495d0c19d7SBarry Smith   const PetscInt     *rip,*riip;
1550ed59401aSHong Zhang   PetscInt           jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow;
155158ebbce7SBarry Smith   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL,d;
15525a8e39fbSHong Zhang   PetscInt           ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr;
1553ed59401aSHong Zhang   PetscReal          fill=info->fill,levels=info->levels;
1554a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1555a1a86e44SBarry Smith   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
15567a48dd6fSHong Zhang   PetscBT            lnkbt;
1557b635d36bSHong Zhang   IS                 iperm;
1558a6175056SHong Zhang 
1559a6175056SHong Zhang   PetscFunctionBegin;
1560d0f46423SBarry 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);
156158ebbce7SBarry Smith   ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
156258ebbce7SBarry Smith   if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
1563653a6975SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
1564b635d36bSHong Zhang   ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr);
15657a48dd6fSHong Zhang 
156639e3d630SHong Zhang   ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
156739e3d630SHong Zhang   ui[0] = 0;
156839e3d630SHong Zhang 
1569b635d36bSHong Zhang   /* ICC(0) without matrix ordering: simply copies fill pattern */
1570622e2028SHong Zhang   if (!levels && perm_identity) {
157158ebbce7SBarry Smith 
1572ed59401aSHong Zhang     for (i=0; i<am; i++) {
157339e3d630SHong Zhang       ui[i+1] = ui[i] + ai[i+1] - a->diag[i];
1574ed59401aSHong Zhang     }
157539e3d630SHong Zhang     ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
157639e3d630SHong Zhang     cols = uj;
1577ed59401aSHong Zhang     for (i=0; i<am; i++) {
1578ed59401aSHong Zhang       aj    = a->j + a->diag[i];
157939e3d630SHong Zhang       ncols = ui[i+1] - ui[i];
158039e3d630SHong Zhang       for (j=0; j<ncols; j++) *cols++ = *aj++;
1581ed59401aSHong Zhang     }
158239e3d630SHong Zhang   } else { /* case: levels>0 || (levels=0 && !perm_identity) */
1583b635d36bSHong Zhang     ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr);
1584b635d36bSHong Zhang     ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
1585b635d36bSHong Zhang 
15867a48dd6fSHong Zhang     /* initialization */
15875a8e39fbSHong Zhang     ierr  = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr);
15887a48dd6fSHong Zhang 
15897a48dd6fSHong Zhang     /* jl: linked list for storing indices of the pivot rows
15907a48dd6fSHong Zhang        il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
15911393bc97SHong Zhang     ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr);
15927a48dd6fSHong Zhang     il         = jl + am;
15937a48dd6fSHong Zhang     uj_ptr     = (PetscInt**)(il + am);
15947a48dd6fSHong Zhang     uj_lvl_ptr = (PetscInt**)(uj_ptr + am);
15957a48dd6fSHong Zhang     for (i=0; i<am; i++){
15967a48dd6fSHong Zhang       jl[i] = am; il[i] = 0;
15977a48dd6fSHong Zhang     }
15987a48dd6fSHong Zhang 
15997a48dd6fSHong Zhang     /* create and initialize a linked list for storing column indices of the active row k */
16007a48dd6fSHong Zhang     nlnk = am + 1;
16012ed133dbSHong Zhang     ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
16027a48dd6fSHong Zhang 
16037a48dd6fSHong Zhang     /* initial FreeSpace size is fill*(ai[am]+1) */
1604a1a86e44SBarry Smith     ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr);
16057a48dd6fSHong Zhang     current_space = free_space;
1606a1a86e44SBarry Smith     ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr);
16077a48dd6fSHong Zhang     current_space_lvl = free_space_lvl;
16087a48dd6fSHong Zhang 
16097a48dd6fSHong Zhang     for (k=0; k<am; k++){  /* for each active row k */
16107a48dd6fSHong Zhang       /* initialize lnk by the column indices of row rip[k] of A */
16117a48dd6fSHong Zhang       nzk   = 0;
1612622e2028SHong Zhang       ncols = ai[rip[k]+1] - ai[rip[k]];
16133b4a8b6dSBarry 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);
1614622e2028SHong Zhang       ncols_upper = 0;
1615622e2028SHong Zhang       for (j=0; j<ncols; j++){
1616b635d36bSHong Zhang         i = *(aj + ai[rip[k]] + j); /* unpermuted column index */
1617b635d36bSHong Zhang         if (riip[i] >= k){ /* only take upper triangular entry */
16185a8e39fbSHong Zhang           ajtmp[ncols_upper] = i;
1619622e2028SHong Zhang           ncols_upper++;
1620622e2028SHong Zhang         }
1621622e2028SHong Zhang       }
1622b635d36bSHong Zhang       ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
16237a48dd6fSHong Zhang       nzk += nlnk;
16247a48dd6fSHong Zhang 
16257a48dd6fSHong Zhang       /* update lnk by computing fill-in for each pivot row to be merged in */
16267a48dd6fSHong Zhang       prow = jl[k]; /* 1st pivot row */
16277a48dd6fSHong Zhang 
16287a48dd6fSHong Zhang       while (prow < k){
16297a48dd6fSHong Zhang         nextprow = jl[prow];
16307a48dd6fSHong Zhang 
16317a48dd6fSHong Zhang         /* merge prow into k-th row */
16327a48dd6fSHong Zhang         jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:am-1) */
16337a48dd6fSHong Zhang         jmax = ui[prow+1];
16347a48dd6fSHong Zhang         ncols = jmax-jmin;
1635ed59401aSHong Zhang         i     = jmin - ui[prow];
1636ed59401aSHong Zhang         cols  = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */
16375a8e39fbSHong Zhang         uj    = uj_lvl_ptr[prow] + i; /* levels of cols */
16385a8e39fbSHong Zhang         j     = *(uj - 1);
16395a8e39fbSHong Zhang         ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr);
16407a48dd6fSHong Zhang         nzk += nlnk;
16417a48dd6fSHong Zhang 
16427a48dd6fSHong Zhang         /* update il and jl for prow */
16437a48dd6fSHong Zhang         if (jmin < jmax){
16447a48dd6fSHong Zhang           il[prow] = jmin;
16457a48dd6fSHong Zhang           j = *cols; jl[prow] = jl[j]; jl[j] = prow;
16467a48dd6fSHong Zhang         }
16477a48dd6fSHong Zhang         prow = nextprow;
16487a48dd6fSHong Zhang       }
16497a48dd6fSHong Zhang 
16507a48dd6fSHong Zhang       /* if free space is not available, make more free space */
16517a48dd6fSHong Zhang       if (current_space->local_remaining<nzk) {
16527a48dd6fSHong Zhang         i = am - k + 1; /* num of unfactored rows */
16537a48dd6fSHong Zhang         i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
1654a1a86e44SBarry Smith         ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
1655a1a86e44SBarry Smith         ierr = PetscFreeSpaceGet(i,&current_space_lvl);CHKERRQ(ierr);
16567a48dd6fSHong Zhang         reallocs++;
16577a48dd6fSHong Zhang       }
16587a48dd6fSHong Zhang 
16597a48dd6fSHong Zhang       /* copy data into free_space and free_space_lvl, then initialize lnk */
1660b635d36bSHong Zhang       if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k);
16612ed133dbSHong Zhang       ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
16627a48dd6fSHong Zhang 
16637a48dd6fSHong Zhang       /* add the k-th row into il and jl */
166439e3d630SHong Zhang       if (nzk > 1){
16657a48dd6fSHong Zhang         i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
16667a48dd6fSHong Zhang         jl[k] = jl[i]; jl[i] = k;
16677a48dd6fSHong Zhang         il[k] = ui[k] + 1;
16687a48dd6fSHong Zhang       }
16697a48dd6fSHong Zhang       uj_ptr[k]     = current_space->array;
16707a48dd6fSHong Zhang       uj_lvl_ptr[k] = current_space_lvl->array;
16717a48dd6fSHong Zhang 
16727a48dd6fSHong Zhang       current_space->array           += nzk;
16737a48dd6fSHong Zhang       current_space->local_used      += nzk;
16747a48dd6fSHong Zhang       current_space->local_remaining -= nzk;
16757a48dd6fSHong Zhang 
16767a48dd6fSHong Zhang       current_space_lvl->array           += nzk;
16777a48dd6fSHong Zhang       current_space_lvl->local_used      += nzk;
16787a48dd6fSHong Zhang       current_space_lvl->local_remaining -= nzk;
16797a48dd6fSHong Zhang 
16807a48dd6fSHong Zhang       ui[k+1] = ui[k] + nzk;
16817a48dd6fSHong Zhang     }
16827a48dd6fSHong Zhang 
16836cf91177SBarry Smith #if defined(PETSC_USE_INFO)
16847a48dd6fSHong Zhang     if (ai[am] != 0) {
168539e3d630SHong Zhang       PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]);
1686ae15b995SBarry Smith       ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
1687ae15b995SBarry Smith       ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1688ae15b995SBarry Smith       ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
16897a48dd6fSHong Zhang     } else {
1690ae15b995SBarry Smith       ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
16917a48dd6fSHong Zhang     }
169263ba0a88SBarry Smith #endif
16937a48dd6fSHong Zhang 
16947a48dd6fSHong Zhang     ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
1695b635d36bSHong Zhang     ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr);
16967a48dd6fSHong Zhang     ierr = PetscFree(jl);CHKERRQ(ierr);
16975a8e39fbSHong Zhang     ierr = PetscFree(ajtmp);CHKERRQ(ierr);
16987a48dd6fSHong Zhang 
16997a48dd6fSHong Zhang     /* destroy list of free space and other temporary array(s) */
17007a48dd6fSHong Zhang     ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
1701a1a86e44SBarry Smith     ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
17022ed133dbSHong Zhang     ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
1703a1a86e44SBarry Smith     ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
17047a48dd6fSHong Zhang 
170539e3d630SHong Zhang   } /* end of case: levels>0 || (levels=0 && !perm_identity) */
170639e3d630SHong Zhang 
17077a48dd6fSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
17087a48dd6fSHong Zhang 
1709719d5645SBarry Smith   b    = (Mat_SeqSBAIJ*)(fact)->data;
17107a48dd6fSHong Zhang   b->singlemalloc = PETSC_FALSE;
17117a48dd6fSHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
17127a48dd6fSHong Zhang   b->j    = uj;
17137a48dd6fSHong Zhang   b->i    = ui;
17147a48dd6fSHong Zhang   b->diag = 0;
17157a48dd6fSHong Zhang   b->ilen = 0;
17167a48dd6fSHong Zhang   b->imax = 0;
17177a48dd6fSHong Zhang   b->row  = perm;
1718b635d36bSHong Zhang   b->col  = perm;
1719b635d36bSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
1720b635d36bSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
1721b635d36bSHong Zhang   b->icol = iperm;
17227a48dd6fSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
17237a48dd6fSHong Zhang   ierr    = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1724719d5645SBarry Smith   ierr = PetscLogObjectMemory((fact),(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
17257a48dd6fSHong Zhang   b->maxnz   = b->nz = ui[am];
1726e6b907acSBarry Smith   b->free_a  = PETSC_TRUE;
1727e6b907acSBarry Smith   b->free_ij = PETSC_TRUE;
17287a48dd6fSHong Zhang 
1729719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1730719d5645SBarry Smith   (fact)->info.fill_ratio_given  = fill;
17317a48dd6fSHong Zhang   if (ai[am] != 0) {
1732719d5645SBarry Smith     (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]);
17337a48dd6fSHong Zhang   } else {
1734719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 0.0;
17357a48dd6fSHong Zhang   }
1736719d5645SBarry Smith   (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ;
1737a6175056SHong Zhang   PetscFunctionReturn(0);
1738a6175056SHong Zhang }
1739d5d45c9bSBarry Smith 
1740f76d2b81SHong Zhang #undef __FUNCT__
1741f76d2b81SHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ"
17420481f469SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info)
1743f76d2b81SHong Zhang {
1744f76d2b81SHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data;
174510c27e3dSHong Zhang   Mat_SeqSBAIJ       *b;
1746dfbe8321SBarry Smith   PetscErrorCode     ierr;
1747f76d2b81SHong Zhang   PetscTruth         perm_identity;
174810c27e3dSHong Zhang   PetscReal          fill = info->fill;
17495d0c19d7SBarry Smith   const PetscInt     *rip,*riip;
17505d0c19d7SBarry Smith   PetscInt           i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow;
175110c27e3dSHong Zhang   PetscInt           *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow;
17522ed133dbSHong Zhang   PetscInt           nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr;
1753a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
175410c27e3dSHong Zhang   PetscBT            lnkbt;
17552ed133dbSHong Zhang   IS                 iperm;
1756f76d2b81SHong Zhang 
1757f76d2b81SHong Zhang   PetscFunctionBegin;
1758d0f46423SBarry 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);
17592ed133dbSHong Zhang   /* check whether perm is the identity mapping */
1760f76d2b81SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
17612ed133dbSHong Zhang   ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr);
17622ed133dbSHong Zhang   ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr);
17639bfd6278SHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
176410c27e3dSHong Zhang 
176510c27e3dSHong Zhang   /* initialization */
17661393bc97SHong Zhang   ierr  = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
176710c27e3dSHong Zhang   ui[0] = 0;
176810c27e3dSHong Zhang 
176910c27e3dSHong Zhang   /* jl: linked list for storing indices of the pivot rows
17701393bc97SHong Zhang      il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
17711393bc97SHong Zhang   ierr = PetscMalloc((3*am+1)*sizeof(PetscInt)+am*sizeof(PetscInt**),&jl);CHKERRQ(ierr);
17721393bc97SHong Zhang   il     = jl + am;
17731393bc97SHong Zhang   cols   = il + am;
17741393bc97SHong Zhang   ui_ptr = (PetscInt**)(cols + am);
17751393bc97SHong Zhang   for (i=0; i<am; i++){
17761393bc97SHong Zhang     jl[i] = am; il[i] = 0;
1777f76d2b81SHong Zhang   }
177810c27e3dSHong Zhang 
177910c27e3dSHong Zhang   /* create and initialize a linked list for storing column indices of the active row k */
17801393bc97SHong Zhang   nlnk = am + 1;
17811393bc97SHong Zhang   ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
178210c27e3dSHong Zhang 
17831393bc97SHong Zhang   /* initial FreeSpace size is fill*(ai[am]+1) */
1784a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr);
178510c27e3dSHong Zhang   current_space = free_space;
178610c27e3dSHong Zhang 
17871393bc97SHong Zhang   for (k=0; k<am; k++){  /* for each active row k */
178810c27e3dSHong Zhang     /* initialize lnk by the column indices of row rip[k] of A */
178910c27e3dSHong Zhang     nzk   = 0;
17902ed133dbSHong Zhang     ncols = ai[rip[k]+1] - ai[rip[k]];
17913b4a8b6dSBarry 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);
17922ed133dbSHong Zhang     ncols_upper = 0;
17932ed133dbSHong Zhang     for (j=0; j<ncols; j++){
17949bfd6278SHong Zhang       i = riip[*(aj + ai[rip[k]] + j)];
17952ed133dbSHong Zhang       if (i >= k){ /* only take upper triangular entry */
17962ed133dbSHong Zhang         cols[ncols_upper] = i;
17972ed133dbSHong Zhang         ncols_upper++;
17982ed133dbSHong Zhang       }
17992ed133dbSHong Zhang     }
18001393bc97SHong Zhang     ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
180110c27e3dSHong Zhang     nzk += nlnk;
180210c27e3dSHong Zhang 
180310c27e3dSHong Zhang     /* update lnk by computing fill-in for each pivot row to be merged in */
180410c27e3dSHong Zhang     prow = jl[k]; /* 1st pivot row */
180510c27e3dSHong Zhang 
180610c27e3dSHong Zhang     while (prow < k){
180710c27e3dSHong Zhang       nextprow = jl[prow];
180810c27e3dSHong Zhang       /* merge prow into k-th row */
18091393bc97SHong Zhang       jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:am-1) */
181010c27e3dSHong Zhang       jmax = ui[prow+1];
181110c27e3dSHong Zhang       ncols = jmax-jmin;
18121393bc97SHong Zhang       uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */
18135a8e39fbSHong Zhang       ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
181410c27e3dSHong Zhang       nzk += nlnk;
181510c27e3dSHong Zhang 
181610c27e3dSHong Zhang       /* update il and jl for prow */
181710c27e3dSHong Zhang       if (jmin < jmax){
181810c27e3dSHong Zhang         il[prow] = jmin;
18192ed133dbSHong Zhang         j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow;
182010c27e3dSHong Zhang       }
182110c27e3dSHong Zhang       prow = nextprow;
182210c27e3dSHong Zhang     }
182310c27e3dSHong Zhang 
182410c27e3dSHong Zhang     /* if free space is not available, make more free space */
182510c27e3dSHong Zhang     if (current_space->local_remaining<nzk) {
18261393bc97SHong Zhang       i = am - k + 1; /* num of unfactored rows */
182710c27e3dSHong Zhang       i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
1828a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
182910c27e3dSHong Zhang       reallocs++;
183010c27e3dSHong Zhang     }
183110c27e3dSHong Zhang 
183210c27e3dSHong Zhang     /* copy data into free space, then initialize lnk */
18331393bc97SHong Zhang     ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
183410c27e3dSHong Zhang 
183510c27e3dSHong Zhang     /* add the k-th row into il and jl */
183610c27e3dSHong Zhang     if (nzk-1 > 0){
18371393bc97SHong Zhang       i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
183810c27e3dSHong Zhang       jl[k] = jl[i]; jl[i] = k;
183910c27e3dSHong Zhang       il[k] = ui[k] + 1;
184010c27e3dSHong Zhang     }
18412ed133dbSHong Zhang     ui_ptr[k] = current_space->array;
184210c27e3dSHong Zhang     current_space->array           += nzk;
184310c27e3dSHong Zhang     current_space->local_used      += nzk;
184410c27e3dSHong Zhang     current_space->local_remaining -= nzk;
184510c27e3dSHong Zhang 
184610c27e3dSHong Zhang     ui[k+1] = ui[k] + nzk;
184710c27e3dSHong Zhang   }
184810c27e3dSHong Zhang 
18496cf91177SBarry Smith #if defined(PETSC_USE_INFO)
18501393bc97SHong Zhang   if (ai[am] != 0) {
18511393bc97SHong Zhang     PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]);
1852ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
1853ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1854ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
185510c27e3dSHong Zhang   } else {
1856ae15b995SBarry Smith      ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
185710c27e3dSHong Zhang   }
185863ba0a88SBarry Smith #endif
185910c27e3dSHong Zhang 
186010c27e3dSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
18619bfd6278SHong Zhang   ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr);
186210c27e3dSHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
186310c27e3dSHong Zhang 
186410c27e3dSHong Zhang   /* destroy list of free space and other temporary array(s) */
18651393bc97SHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
1866a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
186710c27e3dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
186810c27e3dSHong Zhang 
186910c27e3dSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
187010c27e3dSHong Zhang 
1871719d5645SBarry Smith   b = (Mat_SeqSBAIJ*)(fact)->data;
187210c27e3dSHong Zhang   b->singlemalloc = PETSC_FALSE;
1873e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
1874e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
18751393bc97SHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
187610c27e3dSHong Zhang   b->j    = uj;
187710c27e3dSHong Zhang   b->i    = ui;
187810c27e3dSHong Zhang   b->diag = 0;
187910c27e3dSHong Zhang   b->ilen = 0;
188010c27e3dSHong Zhang   b->imax = 0;
188110c27e3dSHong Zhang   b->row  = perm;
18829bfd6278SHong Zhang   b->col  = perm;
18839bfd6278SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
18849bfd6278SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
18859bfd6278SHong Zhang   b->icol = iperm;
188610c27e3dSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
18871393bc97SHong Zhang   ierr    = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1888719d5645SBarry Smith   ierr    = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
18891393bc97SHong Zhang   b->maxnz = b->nz = ui[am];
189010c27e3dSHong Zhang 
1891719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1892719d5645SBarry Smith   (fact)->info.fill_ratio_given  = fill;
18931393bc97SHong Zhang   if (ai[am] != 0) {
1894719d5645SBarry Smith     (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]);
189510c27e3dSHong Zhang   } else {
1896719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 0.0;
189710c27e3dSHong Zhang   }
1898719d5645SBarry Smith   (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ;
1899f76d2b81SHong Zhang   PetscFunctionReturn(0);
1900f76d2b81SHong Zhang }
1901599ef60dSHong Zhang 
1902599ef60dSHong Zhang #undef __FUNCT__
1903*1d098868SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering_iludt"
1904*1d098868SHong Zhang PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_iludt(Mat A,Vec bb,Vec xx)
1905599ef60dSHong Zhang {
1906*1d098868SHong Zhang   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
1907*1d098868SHong Zhang   PetscErrorCode    ierr;
1908*1d098868SHong Zhang   PetscInt          n = A->rmap->n;
1909*1d098868SHong Zhang   const PetscInt    *ai = a->i,*aj = a->j,*adiag = a->diag,*vi;
1910*1d098868SHong Zhang   PetscScalar       *x,sum;
1911*1d098868SHong Zhang   const PetscScalar *b;
1912*1d098868SHong Zhang   const MatScalar   *aa = a->a,*v;
1913*1d098868SHong Zhang   PetscInt          i,nz;
1914*1d098868SHong Zhang 
1915*1d098868SHong Zhang   PetscFunctionBegin;
1916*1d098868SHong Zhang   if (!n) PetscFunctionReturn(0);
1917*1d098868SHong Zhang 
1918*1d098868SHong Zhang   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
1919*1d098868SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1920*1d098868SHong Zhang 
1921*1d098868SHong Zhang   /* forward solve the lower triangular */
1922*1d098868SHong Zhang   x[0] = b[0];
1923*1d098868SHong Zhang   v    = aa;
1924*1d098868SHong Zhang   vi   = aj;
1925*1d098868SHong Zhang   for (i=1; i<n; i++) {
1926*1d098868SHong Zhang     nz  = ai[i+1] - ai[i];
1927*1d098868SHong Zhang     sum = b[i];
1928*1d098868SHong Zhang     while (nz--) sum -= *v++ * x[*vi++];
1929*1d098868SHong Zhang     x[i] = sum;
1930*1d098868SHong Zhang   }
1931*1d098868SHong Zhang 
1932*1d098868SHong Zhang   /* backward solve the upper triangular */
1933*1d098868SHong Zhang   v   = aa + adiag[n] + 1;
1934*1d098868SHong Zhang   vi  = aj + adiag[n] + 1;
1935*1d098868SHong Zhang   for (i=n-1; i>=0; i--){
1936*1d098868SHong Zhang     nz  = adiag[i] - adiag[i+1] - 1;
1937*1d098868SHong Zhang     sum = x[i];
1938*1d098868SHong Zhang     while (nz--) sum -= *v++ * x[*vi++];
1939*1d098868SHong Zhang     x[i] = sum*aa[adiag[i]];
1940*1d098868SHong Zhang     v++; vi++;
1941*1d098868SHong Zhang   }
1942*1d098868SHong Zhang 
1943*1d098868SHong Zhang   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
1944*1d098868SHong Zhang   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
1945*1d098868SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1946*1d098868SHong Zhang   PetscFunctionReturn(0);
1947*1d098868SHong Zhang }
1948*1d098868SHong Zhang 
1949*1d098868SHong Zhang #undef __FUNCT__
1950*1d098868SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_iludt"
1951*1d098868SHong Zhang PetscErrorCode MatSolve_SeqAIJ_iludt(Mat A,Vec bb,Vec xx)
1952*1d098868SHong Zhang {
1953*1d098868SHong Zhang   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
1954*1d098868SHong Zhang   IS                iscol = a->col,isrow = a->row;
1955*1d098868SHong Zhang   PetscErrorCode    ierr;
1956*1d098868SHong Zhang   PetscInt          i,n=A->rmap->n,*vi,*ai = a->i,*aj = a->j,*adiag=a->diag;
1957*1d098868SHong Zhang   PetscInt          nz;
1958*1d098868SHong Zhang   const PetscInt    *rout,*cout,*r,*c;
1959*1d098868SHong Zhang   PetscScalar       *x,*tmp,*tmps;
1960*1d098868SHong Zhang   const PetscScalar *b;
1961*1d098868SHong Zhang   const MatScalar   *aa = a->a,*v;
1962*1d098868SHong Zhang 
1963*1d098868SHong Zhang   PetscFunctionBegin;
1964*1d098868SHong Zhang   if (!n) PetscFunctionReturn(0);
1965*1d098868SHong Zhang 
1966*1d098868SHong Zhang   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
1967*1d098868SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1968*1d098868SHong Zhang   tmp  = a->solve_work;
1969*1d098868SHong Zhang 
1970*1d098868SHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
1971*1d098868SHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
1972*1d098868SHong Zhang 
1973*1d098868SHong Zhang   /* forward solve the lower triangular */
1974*1d098868SHong Zhang   tmp[0] = b[*r++];
1975*1d098868SHong Zhang   tmps   = tmp;
1976*1d098868SHong Zhang   v      = aa;
1977*1d098868SHong Zhang   vi     = aj;
1978*1d098868SHong Zhang   for (i=1; i<n; i++) {
1979*1d098868SHong Zhang     nz  = ai[i+1] - ai[i];
1980*1d098868SHong Zhang     tmp[i] = b[*r++];
1981*1d098868SHong Zhang     SPARSEDENSEMDOT(tmp[i],tmps,v,vi,nz);
1982*1d098868SHong Zhang     v += nz; vi += nz;
1983*1d098868SHong Zhang   }
1984*1d098868SHong Zhang 
1985*1d098868SHong Zhang   /* backward solve the upper triangular */
1986*1d098868SHong Zhang   v   = aa + adiag[n] + 1;
1987*1d098868SHong Zhang   vi  = aj + adiag[n] + 1;
1988*1d098868SHong Zhang   for (i=n-1; i>=0; i--){
1989*1d098868SHong Zhang     nz  = adiag[i] - adiag[i+1] - 1;
1990*1d098868SHong Zhang     SPARSEDENSEMDOT(tmp[i],tmps,v,vi,nz);
1991*1d098868SHong Zhang     x[*c--] = tmp[i] = tmp[i]*aa[adiag[i]];
1992*1d098868SHong Zhang     v += nz+1; vi += nz+1;
1993*1d098868SHong Zhang   }
1994*1d098868SHong Zhang 
1995*1d098868SHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
1996*1d098868SHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
1997*1d098868SHong Zhang   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
1998*1d098868SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1999*1d098868SHong Zhang   ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr);
2000*1d098868SHong Zhang   PetscFunctionReturn(0);
2001*1d098868SHong Zhang }
2002*1d098868SHong Zhang 
2003*1d098868SHong Zhang #undef __FUNCT__
2004*1d098868SHong Zhang #define __FUNCT__ "MatILUDTFactor_SeqAIJ"
2005*1d098868SHong Zhang PetscErrorCode MatILUDTFactor_SeqAIJ(Mat A,IS isrow,IS iscol,const MatFactorInfo *info,Mat *fact)
2006*1d098868SHong Zhang {
2007*1d098868SHong Zhang   Mat                B = *fact;
2008599ef60dSHong Zhang   Mat_SeqAIJ         *a=(Mat_SeqAIJ*)A->data,*b;
2009599ef60dSHong Zhang   IS                 isicol;
2010599ef60dSHong Zhang   PetscErrorCode     ierr;
2011*1d098868SHong Zhang   const PetscInt     *r,*ic;
2012*1d098868SHong Zhang   PetscInt           i,n=A->rmap->n,*ai=a->i,*aj=a->j,*ajtmp,*adiag;
2013*1d098868SHong Zhang   PetscInt           *bi,*bj,*bdiag;
2014*1d098868SHong Zhang   PetscInt           row,nzi,nzi_bl,nzi_bu,*im,dtcount,nzi_al,nzi_au;
2015*1d098868SHong Zhang   PetscInt           nlnk,*lnk;
2016*1d098868SHong Zhang   PetscBT            lnkbt;
2017*1d098868SHong Zhang   PetscTruth         row_identity,icol_identity,both_identity;
2018*1d098868SHong Zhang   MatScalar          *aatmp,*pv,*batmp,*ba,*rtmp,*pc,multiplier,*vtmp;
2019*1d098868SHong Zhang   const PetscInt     *ics;
2020*1d098868SHong Zhang   PetscInt           j,nz,*pj,*bjtmp,k,ncut,*jtmp;
2021*1d098868SHong Zhang   PetscReal          dt=info->dt,shift=info->shiftinblocks;
2022*1d098868SHong Zhang   PetscInt           nnz_max;
2023599ef60dSHong Zhang   PetscTruth         missing;
2024599ef60dSHong Zhang 
2025599ef60dSHong Zhang   PetscFunctionBegin;
2026*1d098868SHong Zhang   /* ------- symbolic factorization, can be reused ---------*/
2027*1d098868SHong Zhang   ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr);
2028*1d098868SHong Zhang   if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",i);
2029*1d098868SHong Zhang   adiag=a->diag;
2030599ef60dSHong Zhang 
2031599ef60dSHong Zhang   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
2032599ef60dSHong Zhang 
2033599ef60dSHong Zhang   /* bdiag is location of diagonal in factor */
2034599ef60dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
2035599ef60dSHong Zhang 
2036*1d098868SHong Zhang   /* allocate row pointers bi */
2037*1d098868SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
2038*1d098868SHong Zhang 
2039*1d098868SHong Zhang   /* allocate bj and ba; max num of nonzero entries is (ai[n]+2*n*dtcount+2) */
2040599ef60dSHong Zhang   dtcount = (PetscInt)info->dtcount;
2041*1d098868SHong Zhang   nnz_max  = ai[n]+2*n*dtcount+2;
2042*1d098868SHong Zhang   ierr = PetscMalloc(nnz_max*sizeof(PetscInt),&bj);CHKERRQ(ierr);
2043*1d098868SHong Zhang   ierr = PetscMalloc(nnz_max*sizeof(MatScalar),&ba);CHKERRQ(ierr);
2044599ef60dSHong Zhang 
2045599ef60dSHong Zhang   /* put together the new matrix */
2046599ef60dSHong Zhang   ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
2047599ef60dSHong Zhang   ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr);
2048599ef60dSHong Zhang   b    = (Mat_SeqAIJ*)(B)->data;
2049599ef60dSHong Zhang   b->free_a       = PETSC_TRUE;
2050599ef60dSHong Zhang   b->free_ij      = PETSC_TRUE;
2051599ef60dSHong Zhang   b->singlemalloc = PETSC_FALSE;
2052599ef60dSHong Zhang   b->a          = ba;
2053599ef60dSHong Zhang   b->j          = bj;
2054599ef60dSHong Zhang   b->i          = bi;
2055599ef60dSHong Zhang   b->diag       = bdiag;
2056599ef60dSHong Zhang   b->ilen       = 0;
2057599ef60dSHong Zhang   b->imax       = 0;
2058599ef60dSHong Zhang   b->row        = isrow;
2059599ef60dSHong Zhang   b->col        = iscol;
2060599ef60dSHong Zhang   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
2061599ef60dSHong Zhang   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
2062599ef60dSHong Zhang   b->icol       = isicol;
2063599ef60dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
2064599ef60dSHong Zhang 
2065*1d098868SHong Zhang   ierr = PetscLogObjectMemory(B,nnz_max*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
2066*1d098868SHong Zhang   b->maxnz = nnz_max;
2067599ef60dSHong Zhang 
2068599ef60dSHong Zhang   (B)->factor                = MAT_FACTOR_ILUDT;
2069599ef60dSHong Zhang   (B)->info.factor_mallocs   = 0;
2070*1d098868SHong Zhang   (B)->info.fill_ratio_given = ((PetscReal)nnz_max)/((PetscReal)ai[n]);
2071*1d098868SHong Zhang   CHKMEMQ;
2072*1d098868SHong Zhang   /* ------- end of symbolic factorization ---------*/
2073599ef60dSHong Zhang 
2074599ef60dSHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
2075599ef60dSHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
2076599ef60dSHong Zhang   ics  = ic;
2077599ef60dSHong Zhang 
2078599ef60dSHong Zhang   /* linked list for storing column indices of the active row */
2079599ef60dSHong Zhang   nlnk = n + 1;
2080599ef60dSHong Zhang   ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
2081*1d098868SHong Zhang 
2082*1d098868SHong Zhang   /* im: used by PetscLLAddSortedLU(); jtmp: working array for column indices of active row */
2083*1d098868SHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(PetscInt),&im);CHKERRQ(ierr);
2084*1d098868SHong Zhang   jtmp = im + n;
2085*1d098868SHong Zhang   /* rtmp, vtmp: working arrays for sparse and contiguous row entries of active row */
20868369b28dSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
20878369b28dSHong Zhang   vtmp = rtmp + n;
2088599ef60dSHong Zhang 
2089599ef60dSHong Zhang   bi[0]    = 0;
2090*1d098868SHong Zhang   bdiag[0] = nnz_max-1; /* location of diagonal in factor B */
2091599ef60dSHong Zhang   for (i=0; i<n; i++) {
2092*1d098868SHong Zhang     /* printf("row %d ...\n",i); */
2093599ef60dSHong Zhang     /* copy initial fill into linked list */
2094599ef60dSHong Zhang     nzi = 0; /* nonzeros for active row i */
20958369b28dSHong Zhang     nzi = ai[r[i]+1] - ai[r[i]];
20968369b28dSHong 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);
20978369b28dSHong Zhang     nzi_al = adiag[r[i]] - ai[r[i]];
20988369b28dSHong Zhang     nzi_au = ai[r[i]+1] - adiag[r[i]] -1;
2099599ef60dSHong Zhang     ajtmp = aj + ai[r[i]];
21008369b28dSHong Zhang     ierr = PetscLLAddPerm(nzi,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
2101599ef60dSHong Zhang 
2102599ef60dSHong Zhang     /* load in initial (unfactored row) */
2103599ef60dSHong Zhang     ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
2104*1d098868SHong Zhang     aatmp = a->a + ai[r[i]];
21058369b28dSHong Zhang     for (j=0; j<nzi; j++) {
2106*1d098868SHong Zhang       rtmp[ics[*ajtmp++]] = *aatmp++;
2107599ef60dSHong Zhang     }
2108599ef60dSHong Zhang 
2109599ef60dSHong Zhang     /* add pivot rows into linked list */
2110599ef60dSHong Zhang     row = lnk[n];
2111599ef60dSHong Zhang     while (row < i) {
2112*1d098868SHong Zhang       nzi_bl = bi[row+1] - bi[row] + 1;
2113*1d098868SHong Zhang       bjtmp = bj + bdiag[row+1]+1; /* points to 1st column next to the diagonal in U */
2114*1d098868SHong Zhang       ierr  = PetscLLAddSortedLU(bjtmp,row,nlnk,lnk,lnkbt,i,nzi_bl,im);CHKERRQ(ierr);
2115599ef60dSHong Zhang       nzi  += nlnk;
2116599ef60dSHong Zhang       row   = lnk[row];
2117599ef60dSHong Zhang     }
2118599ef60dSHong Zhang 
21198369b28dSHong Zhang     /* copy data from lnk into jtmp, then initialize lnk */
21208369b28dSHong Zhang     ierr = PetscLLClean(n,n,nzi,lnk,jtmp,lnkbt);CHKERRQ(ierr);
2121599ef60dSHong Zhang 
2122599ef60dSHong Zhang     /* numerical factorization */
21238369b28dSHong Zhang     bjtmp = jtmp;
2124599ef60dSHong Zhang     row   = *bjtmp++; /* 1st pivot row */
2125599ef60dSHong Zhang     while  (row < i) {
2126*1d098868SHong Zhang       //printf("  prow %d\n",row);
2127599ef60dSHong Zhang       pc = rtmp + row;
2128599ef60dSHong Zhang       /* apply tolerance dropping rule */
2129599ef60dSHong Zhang       if (PetscAbsScalar(*pc) > dt){
2130599ef60dSHong Zhang         pv         = ba + bdiag[row]; /* diag of the pivot row */
2131*1d098868SHong Zhang         multiplier = *pc / *pv;
2132599ef60dSHong Zhang         *pc        = multiplier;
2133*1d098868SHong Zhang         pj         = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */
2134*1d098868SHong Zhang         pv         = ba + bdiag[row+1] + 1;
2135*1d098868SHong Zhang         /* if (multiplier < -1.0 or multiplier >1.0) printf("row/prow %d, %d, multiplier %g\n",i,row,multiplier); */
2136*1d098868SHong Zhang         nz         = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */
2137*1d098868SHong Zhang         for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++);
2138dc0b31edSSatish Balay         ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
2139599ef60dSHong Zhang       }
2140599ef60dSHong Zhang       row = *bjtmp++;
2141599ef60dSHong Zhang     }
2142599ef60dSHong Zhang 
21438369b28dSHong Zhang     /* copy sparse rtmp into contiguous vtmp; separate L and U part */
21448369b28dSHong Zhang     /* printf("row %d:\n",i); */
21458369b28dSHong Zhang     nzi_bl = 0; j = 0;
21468369b28dSHong Zhang     while (jtmp[j] < i){ /* Note: jtmp is sorted */
21478369b28dSHong Zhang       vtmp[j] = rtmp[jtmp[j]];
21488369b28dSHong Zhang       nzi_bl++; j++;
21498369b28dSHong Zhang     }
21508369b28dSHong Zhang     nzi_bu = nzi - nzi_bl -1;
21518369b28dSHong Zhang     while (j < nzi){
21528369b28dSHong Zhang       vtmp[j] = rtmp[jtmp[j]];
21538369b28dSHong Zhang       j++;
21548369b28dSHong Zhang     }
21558369b28dSHong Zhang 
2156599ef60dSHong Zhang     bjtmp = bj + bi[i];
2157599ef60dSHong Zhang     batmp = ba + bi[i];
21588369b28dSHong Zhang     /* apply level dropping rule to L part */
21598369b28dSHong Zhang     ncut = nzi_al + dtcount;
21608369b28dSHong Zhang     if (ncut < nzi_bl){
21618369b28dSHong Zhang       ierr = PetscSortSplit(ncut,nzi_bl,vtmp,jtmp);CHKERRQ(ierr);
21628369b28dSHong Zhang       ierr = PetscSortIntWithScalarArray(ncut,jtmp,vtmp);CHKERRQ(ierr);
2163599ef60dSHong Zhang     } else {
21648369b28dSHong Zhang       ncut = nzi_bl;
21658369b28dSHong Zhang     }
21668369b28dSHong Zhang     for (j=0; j<ncut; j++){
21678369b28dSHong Zhang       bjtmp[j] = jtmp[j];
21688369b28dSHong Zhang       batmp[j] = vtmp[j];
21698369b28dSHong Zhang       /* printf(" (%d,%g),",bjtmp[j],batmp[j]); */
21708369b28dSHong Zhang     }
2171*1d098868SHong Zhang     bi[i+1] = bi[i] + ncut;
21728369b28dSHong Zhang     nzi = ncut + 1;
21738369b28dSHong Zhang 
21748369b28dSHong Zhang     /* apply level dropping rule to U part */
21758369b28dSHong Zhang     ncut = nzi_au + dtcount;
21768369b28dSHong Zhang     if (ncut < nzi_bu){
21778369b28dSHong Zhang       ierr = PetscSortSplit(ncut,nzi_bu,vtmp+nzi_bl+1,jtmp+nzi_bl+1);CHKERRQ(ierr);
21788369b28dSHong Zhang       ierr = PetscSortIntWithScalarArray(ncut,jtmp+nzi_bl+1,vtmp+nzi_bl+1);CHKERRQ(ierr);
21798369b28dSHong Zhang     } else {
21808369b28dSHong Zhang       ncut = nzi_bu;
21818369b28dSHong Zhang     }
21828369b28dSHong Zhang     nzi += ncut;
2183*1d098868SHong Zhang 
2184*1d098868SHong Zhang     /* mark bdiagonal */
2185*1d098868SHong Zhang     bdiag[i+1]   = bdiag[i] - (ncut + 1);
2186*1d098868SHong Zhang     bjtmp = bj + bdiag[i];
2187*1d098868SHong Zhang     batmp = ba + bdiag[i];
2188*1d098868SHong Zhang     *bjtmp = i;
2189*1d098868SHong Zhang     *batmp = rtmp[i];
2190*1d098868SHong Zhang     /* printf(" diag (%d,%g),",*bjtmp,*batmp); */
2191*1d098868SHong Zhang 
2192*1d098868SHong Zhang 
2193*1d098868SHong Zhang     bjtmp = bj + bdiag[i+1]+1;
2194*1d098868SHong Zhang     batmp = ba + bdiag[i+1]+1;
21958369b28dSHong Zhang     for (k=0; k<ncut; k++){
2196*1d098868SHong Zhang       bjtmp[k] = jtmp[nzi_bl+1+k];
2197*1d098868SHong Zhang       batmp[k] = vtmp[nzi_bl+1+k];
2198*1d098868SHong Zhang       /* printf(" (%d,%g),",bjtmp[k],batmp[k]); */
2199599ef60dSHong Zhang     }
2200599ef60dSHong Zhang 
2201599ef60dSHong Zhang     im[i]   = nzi; /* used by PetscLLAddSortedLU() */
2202599ef60dSHong Zhang     /*
2203*1d098868SHong Zhang     printf("row %d: bi %d, bdiag %d\n",i,bi[i],bdiag[i]);
22048369b28dSHong Zhang     printf(" ----------------------------\n");
2205599ef60dSHong Zhang     */
22068369b28dSHong Zhang   } /* for (i=0; i<n; i++) */
2207*1d098868SHong Zhang   /* printf("end of L %d, beginning of U %d\n",bi[n],bdiag[n]); */
2208*1d098868SHong 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]);
2209599ef60dSHong Zhang 
2210599ef60dSHong Zhang   /* invert diagonal entries for simplier triangular solves */
2211*1d098868SHong Zhang   /* printf(" diag:\n"); */
2212599ef60dSHong Zhang   for (i=0; i<n; i++) {
2213*1d098868SHong Zhang     if (ba[bdiag[i]] == 0.0) {
2214*1d098868SHong Zhang       /* SHIFT is applied to SINGLE diagonal entry; does this make any sense? */
2215*1d098868SHong Zhang       ba[bdiag[i]] = 1.0/shift;
2216*1d098868SHong Zhang     } else {
2217599ef60dSHong Zhang       ba[bdiag[i]] = 1.0/ba[bdiag[i]];
2218599ef60dSHong Zhang     }
2219*1d098868SHong Zhang   }
2220599ef60dSHong Zhang 
2221599ef60dSHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
2222599ef60dSHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
2223599ef60dSHong Zhang 
2224599ef60dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
2225599ef60dSHong Zhang   ierr = PetscFree(im);CHKERRQ(ierr);
2226599ef60dSHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
2227599ef60dSHong Zhang 
2228599ef60dSHong Zhang   ierr = PetscLogFlops(B->cmap->n);CHKERRQ(ierr);
2229*1d098868SHong Zhang   b->maxnz = b->nz = bi[n] + bdiag[0] - bdiag[n];
2230599ef60dSHong Zhang 
2231599ef60dSHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
2232599ef60dSHong Zhang   ierr = ISIdentity(isicol,&icol_identity);CHKERRQ(ierr);
2233599ef60dSHong Zhang   both_identity = (PetscTruth) (row_identity && icol_identity);
2234599ef60dSHong Zhang   if (row_identity && icol_identity) {
2235*1d098868SHong Zhang     B->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_iludt;
2236599ef60dSHong Zhang   } else {
2237*1d098868SHong Zhang     B->ops->solve = MatSolve_SeqAIJ_iludt;
2238599ef60dSHong Zhang   }
2239599ef60dSHong Zhang 
2240*1d098868SHong Zhang   B->ops->solveadd          = 0;
2241*1d098868SHong Zhang   B->ops->solvetranspose    = 0;
2242*1d098868SHong Zhang   B->ops->solvetransposeadd = 0;
2243*1d098868SHong Zhang   B->ops->matsolve          = 0;
2244599ef60dSHong Zhang   B->assembled              = PETSC_TRUE;
2245599ef60dSHong Zhang   B->preallocated           = PETSC_TRUE;
2246599ef60dSHong Zhang   PetscFunctionReturn(0);
2247599ef60dSHong Zhang }
2248599ef60dSHong Zhang 
2249