xref: /petsc/src/mat/impls/aij/seq/aijfact.c (revision dc0b31ed242eb6637dca0468fbfa12899dc55c4b)
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__
294a2ae208SSatish Balay #define __FUNCT__ "MatILUDTFactor_SeqAIJ"
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 */
510481f469SBarry Smith PetscErrorCode MatILUDTFactor_SeqAIJ(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);
28735bd34faSBarry Smith     if (ftype == MAT_FACTOR_ILU) {
288db4efbfdSBarry Smith       (*B)->ops->ilufactorsymbolic= MatILUFactorSymbolic_SeqAIJ;
289599ef60dSHong Zhang     } else if(MAT_FACTOR_LU) {
29035bd34faSBarry Smith       (*B)->ops->lufactorsymbolic = MatLUFactorSymbolic_SeqAIJ;
291599ef60dSHong Zhang     } else {
292599ef60dSHong Zhang       (*B)->ops->iludtfactorsymbolic = MatILUDTFactorSymbolic_SeqAIJ;
29335bd34faSBarry Smith     }
294b24902e0SBarry Smith   } else if (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) {
295b24902e0SBarry Smith     ierr = MatSetType(*B,MATSEQSBAIJ);CHKERRQ(ierr);
296b24902e0SBarry Smith     ierr = MatSeqSBAIJSetPreallocation(*B,1,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
29735bd34faSBarry Smith     if (ftype == MAT_FACTOR_ICC) {
2985c9eb25fSBarry Smith       (*B)->ops->iccfactorsymbolic      = MatICCFactorSymbolic_SeqAIJ;
29935bd34faSBarry Smith     } else {
3005c9eb25fSBarry Smith       (*B)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqAIJ;
30135bd34faSBarry Smith     }
302b24902e0SBarry Smith   } else SETERRQ(PETSC_ERR_SUP,"Factor type not supported");
303db4efbfdSBarry Smith   (*B)->factor = ftype;
304b24902e0SBarry Smith   PetscFunctionReturn(0);
305b24902e0SBarry Smith }
306e631078cSBarry Smith EXTERN_C_END
307b24902e0SBarry Smith 
308b24902e0SBarry Smith #undef __FUNCT__
309b9617806SBarry Smith #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ"
3100481f469SBarry Smith PetscErrorCode MatLUFactorSymbolic_SeqAIJ(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
311289bc588SBarry Smith {
312416022c9SBarry Smith   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
313289bc588SBarry Smith   IS                 isicol;
3146849ba73SBarry Smith   PetscErrorCode     ierr;
3155d0c19d7SBarry Smith   const PetscInt     *r,*ic;
3165d0c19d7SBarry Smith   PetscInt           i,n=A->rmap->n,*ai=a->i,*aj=a->j;
3171393bc97SHong Zhang   PetscInt           *bi,*bj,*ajtmp;
3181393bc97SHong Zhang   PetscInt           *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im;
3199e046878SBarry Smith   PetscReal          f;
3204875ba38SHong Zhang   PetscInt           nlnk,*lnk,k,**bi_ptr;
321a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
3221393bc97SHong Zhang   PetscBT            lnkbt;
323289bc588SBarry Smith 
3243a40ed3dSBarry Smith   PetscFunctionBegin;
325d0f46423SBarry Smith   if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square");
3264c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
327ac121b3dSBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
328ac121b3dSBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
329289bc588SBarry Smith 
330289bc588SBarry Smith   /* get new row pointers */
3311393bc97SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
3321393bc97SHong Zhang   bi[0] = 0;
3331393bc97SHong Zhang 
3341393bc97SHong Zhang   /* bdiag is location of diagonal in factor */
3351393bc97SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
3361393bc97SHong Zhang   bdiag[0] = 0;
3371393bc97SHong Zhang 
3381393bc97SHong Zhang   /* linked list for storing column indices of the active row */
3391393bc97SHong Zhang   nlnk = n + 1;
3401393bc97SHong Zhang   ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
3411393bc97SHong Zhang 
34235baf27eSSatish Balay   ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr);
3431393bc97SHong Zhang 
3441393bc97SHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
345d3d32019SBarry Smith   f = info->fill;
346a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
3471393bc97SHong Zhang   current_space = free_space;
348289bc588SBarry Smith 
349289bc588SBarry Smith   for (i=0; i<n; i++) {
3501393bc97SHong Zhang     /* copy previous fill into linked list */
351289bc588SBarry Smith     nzi = 0;
3521393bc97SHong Zhang     nnz = ai[r[i]+1] - ai[r[i]];
3533b4a8b6dSBarry 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);
3541393bc97SHong Zhang     ajtmp = aj + ai[r[i]];
355afcc9904SHong Zhang     ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
3561393bc97SHong Zhang     nzi += nlnk;
3571393bc97SHong Zhang 
3581393bc97SHong Zhang     /* add pivot rows into linked list */
3591393bc97SHong Zhang     row = lnk[n];
3601393bc97SHong Zhang     while (row < i) {
361d1170560SHong Zhang       nzbd    = bdiag[row] - bi[row] + 1; /* num of entries in the row with column index <= row */
362d1170560SHong Zhang       ajtmp   = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */
363d1170560SHong Zhang       ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr);
3641393bc97SHong Zhang       nzi += nlnk;
3651393bc97SHong Zhang       row  = lnk[row];
366289bc588SBarry Smith     }
3671393bc97SHong Zhang     bi[i+1] = bi[i] + nzi;
3681393bc97SHong Zhang     im[i]   = nzi;
3691393bc97SHong Zhang 
3701393bc97SHong Zhang     /* mark bdiag */
3711393bc97SHong Zhang     nzbd = 0;
3721393bc97SHong Zhang     nnz  = nzi;
3731393bc97SHong Zhang     k    = lnk[n];
3741393bc97SHong Zhang     while (nnz-- && k < i){
3751393bc97SHong Zhang       nzbd++;
3761393bc97SHong Zhang       k = lnk[k];
3771393bc97SHong Zhang     }
3781393bc97SHong Zhang     bdiag[i] = bi[i] + nzbd;
3791393bc97SHong Zhang 
3801393bc97SHong Zhang     /* if free space is not available, make more free space */
3811393bc97SHong Zhang     if (current_space->local_remaining<nzi) {
3821393bc97SHong Zhang       nnz = (n - i)*nzi; /* estimated and max additional space needed */
383a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
3841393bc97SHong Zhang       reallocs++;
3851393bc97SHong Zhang     }
3861393bc97SHong Zhang 
3871393bc97SHong Zhang     /* copy data into free space, then initialize lnk */
3881393bc97SHong Zhang     ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
3891393bc97SHong Zhang     bi_ptr[i] = current_space->array;
3901393bc97SHong Zhang     current_space->array           += nzi;
3911393bc97SHong Zhang     current_space->local_used      += nzi;
3921393bc97SHong Zhang     current_space->local_remaining -= nzi;
393289bc588SBarry Smith   }
3946cf91177SBarry Smith #if defined(PETSC_USE_INFO)
395464e8d44SSatish Balay   if (ai[n] != 0) {
3961393bc97SHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
397ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
398ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
399ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr);
400ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
40105bf559cSSatish Balay   } else {
402ae15b995SBarry Smith     ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr);
40305bf559cSSatish Balay   }
40463ba0a88SBarry Smith #endif
4052fb3ed76SBarry Smith 
406898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
407898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
4081987afe7SBarry Smith 
4091393bc97SHong Zhang   /* destroy list of free space and other temporary array(s) */
4101393bc97SHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
411a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr);
4121393bc97SHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
41335baf27eSSatish Balay   ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr);
414289bc588SBarry Smith 
415289bc588SBarry Smith   /* put together the new matrix */
416719d5645SBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
417719d5645SBarry Smith   ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr);
418719d5645SBarry Smith   b    = (Mat_SeqAIJ*)(B)->data;
419e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
420e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
4217c922b88SBarry Smith   b->singlemalloc = PETSC_FALSE;
4221393bc97SHong Zhang   ierr          = PetscMalloc((bi[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
4231393bc97SHong Zhang   b->j          = bj;
4241393bc97SHong Zhang   b->i          = bi;
4251393bc97SHong Zhang   b->diag       = bdiag;
426416022c9SBarry Smith   b->ilen       = 0;
427416022c9SBarry Smith   b->imax       = 0;
428416022c9SBarry Smith   b->row        = isrow;
429416022c9SBarry Smith   b->col        = iscol;
430c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
431c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
43282bf6240SBarry Smith   b->icol       = isicol;
43387828ca2SBarry Smith   ierr          = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
4341393bc97SHong Zhang 
4351393bc97SHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.  Allocate solve_work, new a, new j */
436719d5645SBarry Smith   ierr = PetscLogObjectMemory(B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
4371393bc97SHong Zhang   b->maxnz = b->nz = bi[n] ;
4387fd98bd6SLois Curfman McInnes 
439719d5645SBarry Smith   (B)->factor                = MAT_FACTOR_LU;
440719d5645SBarry Smith   (B)->info.factor_mallocs   = reallocs;
441719d5645SBarry Smith   (B)->info.fill_ratio_given = f;
442703deb49SSatish Balay 
4439f7d0b68SHong Zhang   if (ai[n]) {
444719d5645SBarry Smith     (B)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]);
445eea2913aSSatish Balay   } else {
446719d5645SBarry Smith     (B)->info.fill_ratio_needed = 0.0;
447eea2913aSSatish Balay   }
448719d5645SBarry Smith   (B)->ops->lufactornumeric  = MatLUFactorNumeric_SeqAIJ;
449719d5645SBarry Smith   (B)->ops->solve            = MatSolve_SeqAIJ;
450719d5645SBarry Smith   (B)->ops->solvetranspose   = MatSolveTranspose_SeqAIJ;
451db4efbfdSBarry Smith   /* switch to inodes if appropriate */
452719d5645SBarry Smith   ierr = MatLUFactorSymbolic_Inode(B,A,isrow,iscol,info);CHKERRQ(ierr);
4533a40ed3dSBarry Smith   PetscFunctionReturn(0);
454289bc588SBarry Smith }
4551393bc97SHong Zhang 
4565b5bc046SBarry Smith /*
4575b5bc046SBarry Smith     Trouble in factorization, should we dump the original matrix?
4585b5bc046SBarry Smith */
4595b5bc046SBarry Smith #undef __FUNCT__
4605b5bc046SBarry Smith #define __FUNCT__ "MatFactorDumpMatrix"
4615b5bc046SBarry Smith PetscErrorCode MatFactorDumpMatrix(Mat A)
4625b5bc046SBarry Smith {
4635b5bc046SBarry Smith   PetscErrorCode ierr;
46490d69ab7SBarry Smith   PetscTruth     flg = PETSC_FALSE;
4655b5bc046SBarry Smith 
4665b5bc046SBarry Smith   PetscFunctionBegin;
46790d69ab7SBarry Smith   ierr = PetscOptionsGetTruth(PETSC_NULL,"-mat_factor_dump_on_error",&flg,PETSC_NULL);CHKERRQ(ierr);
4685b5bc046SBarry Smith   if (flg) {
4695b5bc046SBarry Smith     PetscViewer viewer;
4705b5bc046SBarry Smith     char        filename[PETSC_MAX_PATH_LEN];
4715b5bc046SBarry Smith 
4725b5bc046SBarry Smith     ierr = PetscSNPrintf(filename,PETSC_MAX_PATH_LEN,"matrix_factor_error.%d",PetscGlobalRank);CHKERRQ(ierr);
4737adad957SLisandro Dalcin     ierr = PetscViewerBinaryOpen(((PetscObject)A)->comm,filename,FILE_MODE_WRITE,&viewer);CHKERRQ(ierr);
4745b5bc046SBarry Smith     ierr = MatView(A,viewer);CHKERRQ(ierr);
4755b5bc046SBarry Smith     ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr);
4765b5bc046SBarry Smith   }
4775b5bc046SBarry Smith   PetscFunctionReturn(0);
4785b5bc046SBarry Smith }
4795b5bc046SBarry Smith 
480db4efbfdSBarry Smith extern PetscErrorCode MatSolve_Inode(Mat,Vec,Vec);
481db4efbfdSBarry Smith 
4820a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
4834a2ae208SSatish Balay #undef __FUNCT__
4844a2ae208SSatish Balay #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ"
4850481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info)
486289bc588SBarry Smith {
487719d5645SBarry Smith   Mat            C=B;
488416022c9SBarry Smith   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data;
48982bf6240SBarry Smith   IS             isrow = b->row,isicol = b->icol;
4906849ba73SBarry Smith   PetscErrorCode ierr;
4915d0c19d7SBarry Smith   const PetscInt  *r,*ic,*ics;
4929f7d0b68SHong Zhang   PetscInt       i,j,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j;
4939f7d0b68SHong Zhang   PetscInt       *ajtmp,*bjtmp,nz,row,*diag_offset = b->diag,diag,*pj;
4949f7d0b68SHong Zhang   MatScalar      *rtmp,*pc,multiplier,*v,*pv,d,*aa=a->a;
49533f9893dSHong Zhang   PetscReal      rs = 0.0;
496b3bf805bSHong Zhang   LUShift_Ctx    sctx;
49742898933SHong Zhang   PetscInt       newshift,*ddiag;
498289bc588SBarry Smith 
4993a40ed3dSBarry Smith   PetscFunctionBegin;
50078b31e54SBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
50178b31e54SBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
50287828ca2SBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr);
50387828ca2SBarry Smith   ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
5049f7d0b68SHong Zhang   ics  = ic;
505289bc588SBarry Smith 
506ada7143aSSatish Balay   sctx.shift_top      = 0;
507ada7143aSSatish Balay   sctx.nshift_max     = 0;
508ada7143aSSatish Balay   sctx.shift_lo       = 0;
509ada7143aSSatish Balay   sctx.shift_hi       = 0;
5100481f469SBarry Smith   sctx.shift_fraction = 0;
511ada7143aSSatish Balay 
512118f5789SBarry Smith   /* if both shift schemes are chosen by user, only use info->shiftpd */
5131a890ab1SHong Zhang   if (info->shiftpd) { /* set sctx.shift_top=max{rs} */
51442898933SHong Zhang     ddiag          = a->diag;
5159f7d0b68SHong Zhang     sctx.shift_top = info->zeropivot;
5166cc28720Svictorle     for (i=0; i<n; i++) {
5179f95998fSHong Zhang       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
5189f7d0b68SHong Zhang       d  = (aa)[ddiag[i]];
5191a890ab1SHong Zhang       rs = -PetscAbsScalar(d) - PetscRealPart(d);
5209f7d0b68SHong Zhang       v  = aa+ai[i];
5219f7d0b68SHong Zhang       nz = ai[i+1] - ai[i];
522e24cfe64SHong Zhang       for (j=0; j<nz; j++)
5231a890ab1SHong Zhang 	rs += PetscAbsScalar(v[j]);
5241a890ab1SHong Zhang       if (rs>sctx.shift_top) sctx.shift_top = rs;
5256cc28720Svictorle     }
526118f5789SBarry Smith     sctx.shift_top   *= 1.1;
527d2276718SHong Zhang     sctx.nshift_max   = 5;
528d2276718SHong Zhang     sctx.shift_lo     = 0.;
529d2276718SHong Zhang     sctx.shift_hi     = 1.;
530a0a356efSHong Zhang   }
531a0a356efSHong Zhang 
5329f7d0b68SHong Zhang   sctx.shift_amount = 0.0;
533a0a356efSHong Zhang   sctx.nshift       = 0;
534085256b3SBarry Smith   do {
535d2276718SHong Zhang     sctx.lushift = PETSC_FALSE;
536289bc588SBarry Smith     for (i=0; i<n; i++){
537b3bf805bSHong Zhang       nz    = bi[i+1] - bi[i];
538b3bf805bSHong Zhang       bjtmp = bj + bi[i];
5399f7d0b68SHong Zhang       for  (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0;
540289bc588SBarry Smith 
541289bc588SBarry Smith       /* load in initial (unfactored row) */
5429f7d0b68SHong Zhang       nz    = ai[r[i]+1] - ai[r[i]];
5439f7d0b68SHong Zhang       ajtmp = aj + ai[r[i]];
5449f7d0b68SHong Zhang       v     = aa + ai[r[i]];
545085256b3SBarry Smith       for (j=0; j<nz; j++) {
546b3bf805bSHong Zhang         rtmp[ics[ajtmp[j]]] = v[j];
547085256b3SBarry Smith       }
548d2276718SHong Zhang       rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */
549289bc588SBarry Smith 
550b3bf805bSHong Zhang       row = *bjtmp++;
551f2582111SSatish Balay       while  (row < i) {
5528c37ef55SBarry Smith         pc = rtmp + row;
5538c37ef55SBarry Smith         if (*pc != 0.0) {
554010a20caSHong Zhang           pv         = b->a + diag_offset[row];
555010a20caSHong Zhang           pj         = b->j + diag_offset[row] + 1;
55635aab85fSBarry Smith           multiplier = *pc / *pv++;
5578c37ef55SBarry Smith           *pc        = multiplier;
558b3bf805bSHong Zhang           nz         = bi[row+1] - diag_offset[row] - 1;
5599f7d0b68SHong Zhang           for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
560*dc0b31edSSatish Balay           ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
561289bc588SBarry Smith         }
562b3bf805bSHong Zhang         row = *bjtmp++;
563289bc588SBarry Smith       }
564416022c9SBarry Smith       /* finished row so stick it into b->a */
565b3bf805bSHong Zhang       pv   = b->a + bi[i] ;
566b3bf805bSHong Zhang       pj   = b->j + bi[i] ;
567b3bf805bSHong Zhang       nz   = bi[i+1] - bi[i];
568b3bf805bSHong Zhang       diag = diag_offset[i] - bi[i];
5699f7d0b68SHong Zhang       rs   = -PetscAbsScalar(pv[diag]);
570d3d32019SBarry Smith       for (j=0; j<nz; j++) {
5719f7d0b68SHong Zhang         pv[j] = rtmp[pj[j]];
5729f7d0b68SHong Zhang         rs   += PetscAbsScalar(pv[j]);
573d3d32019SBarry Smith       }
574d2276718SHong Zhang 
575b3bf805bSHong Zhang       /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */
576d2276718SHong Zhang       sctx.rs  = rs;
577d2276718SHong Zhang       sctx.pv  = pv[diag];
578c6b1f410SHong Zhang       ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr);
5795b5bc046SBarry Smith       if (newshift == 1) break;
58035aab85fSBarry Smith     }
581d2276718SHong Zhang 
5820481f469SBarry Smith     if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
5836cc28720Svictorle       /*
5846c037d1bSvictorle        * if no shift in this attempt & shifting & started shifting & can refine,
5856cc28720Svictorle        * then try lower shift
5866cc28720Svictorle        */
5870481f469SBarry Smith       sctx.shift_hi       = sctx.shift_fraction;
5880481f469SBarry Smith       sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
5890481f469SBarry Smith       sctx.shift_amount   = sctx.shift_fraction * sctx.shift_top;
590d2276718SHong Zhang       sctx.lushift        = PETSC_TRUE;
591d2276718SHong Zhang       sctx.nshift++;
5926cc28720Svictorle     }
593d2276718SHong Zhang   } while (sctx.lushift);
5940f11f9aeSSatish Balay 
59535aab85fSBarry Smith   /* invert diagonal entries for simplier triangular solves */
59635aab85fSBarry Smith   for (i=0; i<n; i++) {
597010a20caSHong Zhang     b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]];
59835aab85fSBarry Smith   }
599606d414cSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
60078b31e54SBarry Smith   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
60178b31e54SBarry Smith   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
602db4efbfdSBarry Smith   if (b->inode.use) {
603db4efbfdSBarry Smith     C->ops->solve   = MatSolve_Inode;
604db4efbfdSBarry Smith   } else {
6058d8c7c43SBarry Smith     PetscTruth row_identity, col_identity;
6068d8c7c43SBarry Smith     ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
6078d8c7c43SBarry Smith     ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr);
6088d8c7c43SBarry Smith     if (row_identity && col_identity) {
6098d8c7c43SBarry Smith       C->ops->solve   = MatSolve_SeqAIJ_NaturalOrdering;
6108d8c7c43SBarry Smith     } else {
611db4efbfdSBarry Smith       C->ops->solve   = MatSolve_SeqAIJ;
612db4efbfdSBarry Smith     }
6138d8c7c43SBarry Smith   }
614db4efbfdSBarry Smith   C->ops->solveadd           = MatSolveAdd_SeqAIJ;
615db4efbfdSBarry Smith   C->ops->solvetranspose     = MatSolveTranspose_SeqAIJ;
616db4efbfdSBarry Smith   C->ops->solvetransposeadd  = MatSolveTransposeAdd_SeqAIJ;
617de26497bSBarry Smith   C->ops->matsolve           = MatMatSolve_SeqAIJ;
618c456f294SBarry Smith   C->assembled    = PETSC_TRUE;
6195c9eb25fSBarry Smith   C->preallocated = PETSC_TRUE;
620d0f46423SBarry Smith   ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
621d2276718SHong Zhang   if (sctx.nshift){
622e738e422SBarry Smith      if (info->shiftpd) {
6230481f469SBarry 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);
624e738e422SBarry Smith     } else if (info->shiftnz) {
625e738e422SBarry Smith       ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
6266cc28720Svictorle     }
6270697b6caSHong Zhang   }
6283a40ed3dSBarry Smith   PetscFunctionReturn(0);
629289bc588SBarry Smith }
6300889b5dcSvictorle 
631137fb511SHong Zhang /*
632137fb511SHong Zhang    This routine implements inplace ILU(0) with row or/and column permutations.
633137fb511SHong Zhang    Input:
634137fb511SHong Zhang      A - original matrix
635137fb511SHong Zhang    Output;
636137fb511SHong Zhang      A - a->i (rowptr) is same as original rowptr, but factored i-the row is stored in rowperm[i]
637137fb511SHong Zhang          a->j (col index) is permuted by the inverse of colperm, then sorted
638137fb511SHong Zhang          a->a reordered accordingly with a->j
639137fb511SHong Zhang          a->diag (ptr to diagonal elements) is updated.
640137fb511SHong Zhang */
641137fb511SHong Zhang #undef __FUNCT__
642137fb511SHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_InplaceWithPerm"
6430481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ_InplaceWithPerm(Mat B,Mat A,const MatFactorInfo *info)
644137fb511SHong Zhang {
645b051339dSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data;
646b051339dSHong Zhang   IS             isrow = a->row,isicol = a->icol;
647137fb511SHong Zhang   PetscErrorCode ierr;
6485d0c19d7SBarry Smith   const PetscInt *r,*ic,*ics;
6495d0c19d7SBarry Smith   PetscInt       i,j,n=A->rmap->n,*ai=a->i,*aj=a->j;
6505d0c19d7SBarry Smith   PetscInt       *ajtmp,nz,row;
651b051339dSHong Zhang   PetscInt       *diag = a->diag,nbdiag,*pj;
652a77337e4SBarry Smith   PetscScalar    *rtmp,*pc,multiplier,d;
653a77337e4SBarry Smith   MatScalar      *v,*pv;
654137fb511SHong Zhang   PetscReal      rs;
655137fb511SHong Zhang   LUShift_Ctx    sctx;
656b051339dSHong Zhang   PetscInt       newshift;
657137fb511SHong Zhang 
658137fb511SHong Zhang   PetscFunctionBegin;
659719d5645SBarry Smith   if (A != B) SETERRQ(PETSC_ERR_ARG_INCOMP,"input and output matrix must have same address");
660137fb511SHong Zhang   ierr  = ISGetIndices(isrow,&r);CHKERRQ(ierr);
661137fb511SHong Zhang   ierr  = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
662137fb511SHong Zhang   ierr  = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr);
663137fb511SHong Zhang   ierr  = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
664b051339dSHong Zhang   ics = ic;
665137fb511SHong Zhang 
666137fb511SHong Zhang   sctx.shift_top      = 0;
667137fb511SHong Zhang   sctx.nshift_max     = 0;
668137fb511SHong Zhang   sctx.shift_lo       = 0;
669137fb511SHong Zhang   sctx.shift_hi       = 0;
6700481f469SBarry Smith   sctx.shift_fraction = 0;
671137fb511SHong Zhang 
672137fb511SHong Zhang   /* if both shift schemes are chosen by user, only use info->shiftpd */
673137fb511SHong Zhang   if (info->shiftpd) { /* set sctx.shift_top=max{rs} */
674137fb511SHong Zhang     sctx.shift_top = 0;
675137fb511SHong Zhang     for (i=0; i<n; i++) {
676137fb511SHong Zhang       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
677b051339dSHong Zhang       d  = (a->a)[diag[i]];
678137fb511SHong Zhang       rs = -PetscAbsScalar(d) - PetscRealPart(d);
679b051339dSHong Zhang       v  = a->a+ai[i];
680b051339dSHong Zhang       nz = ai[i+1] - ai[i];
681137fb511SHong Zhang       for (j=0; j<nz; j++)
682137fb511SHong Zhang 	rs += PetscAbsScalar(v[j]);
683137fb511SHong Zhang       if (rs>sctx.shift_top) sctx.shift_top = rs;
684137fb511SHong Zhang     }
685137fb511SHong Zhang     if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot;
686137fb511SHong Zhang     sctx.shift_top    *= 1.1;
687137fb511SHong Zhang     sctx.nshift_max   = 5;
688137fb511SHong Zhang     sctx.shift_lo     = 0.;
689137fb511SHong Zhang     sctx.shift_hi     = 1.;
690137fb511SHong Zhang   }
691137fb511SHong Zhang 
692137fb511SHong Zhang   sctx.shift_amount = 0;
693137fb511SHong Zhang   sctx.nshift       = 0;
694137fb511SHong Zhang   do {
695137fb511SHong Zhang     sctx.lushift = PETSC_FALSE;
696137fb511SHong Zhang     for (i=0; i<n; i++){
697b051339dSHong Zhang       /* load in initial unfactored row */
698b051339dSHong Zhang       nz    = ai[r[i]+1] - ai[r[i]];
699b051339dSHong Zhang       ajtmp = aj + ai[r[i]];
700b051339dSHong Zhang       v     = a->a + ai[r[i]];
701137fb511SHong Zhang       /* sort permuted ajtmp and values v accordingly */
702b051339dSHong Zhang       for (j=0; j<nz; j++) ajtmp[j] = ics[ajtmp[j]];
703137fb511SHong Zhang       ierr = PetscSortIntWithScalarArray(nz,ajtmp,v);CHKERRQ(ierr);
704137fb511SHong Zhang 
705b051339dSHong Zhang       diag[r[i]] = ai[r[i]];
706137fb511SHong Zhang       for (j=0; j<nz; j++) {
707137fb511SHong Zhang         rtmp[ajtmp[j]] = v[j];
708b051339dSHong Zhang         if (ajtmp[j] < i) diag[r[i]]++; /* update a->diag */
709137fb511SHong Zhang       }
710137fb511SHong Zhang       rtmp[r[i]] += sctx.shift_amount; /* shift the diagonal of the matrix */
711137fb511SHong Zhang 
712b051339dSHong Zhang       row = *ajtmp++;
713137fb511SHong Zhang       while  (row < i) {
714137fb511SHong Zhang         pc = rtmp + row;
715137fb511SHong Zhang         if (*pc != 0.0) {
716b051339dSHong Zhang           pv         = a->a + diag[r[row]];
717b051339dSHong Zhang           pj         = aj + diag[r[row]] + 1;
718137fb511SHong Zhang 
719137fb511SHong Zhang           multiplier = *pc / *pv++;
720137fb511SHong Zhang           *pc        = multiplier;
721b051339dSHong Zhang           nz         = ai[r[row]+1] - diag[r[row]] - 1;
722b051339dSHong Zhang           for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
723*dc0b31edSSatish Balay           ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
724137fb511SHong Zhang         }
725b051339dSHong Zhang         row = *ajtmp++;
726137fb511SHong Zhang       }
727b051339dSHong Zhang       /* finished row so overwrite it onto a->a */
728b051339dSHong Zhang       pv   = a->a + ai[r[i]] ;
729b051339dSHong Zhang       pj   = aj + ai[r[i]] ;
730b051339dSHong Zhang       nz   = ai[r[i]+1] - ai[r[i]];
731b051339dSHong Zhang       nbdiag = diag[r[i]] - ai[r[i]]; /* num of entries before the diagonal */
732137fb511SHong Zhang 
733137fb511SHong Zhang       rs   = 0.0;
734137fb511SHong Zhang       for (j=0; j<nz; j++) {
735b051339dSHong Zhang         pv[j] = rtmp[pj[j]];
736b051339dSHong Zhang         if (j != nbdiag) rs += PetscAbsScalar(pv[j]);
737137fb511SHong Zhang       }
738137fb511SHong Zhang 
739137fb511SHong Zhang       /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */
740137fb511SHong Zhang       sctx.rs  = rs;
741b051339dSHong Zhang       sctx.pv  = pv[nbdiag];
742c6b1f410SHong Zhang       ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr);
743137fb511SHong Zhang       if (newshift == 1) break;
744137fb511SHong Zhang     }
745137fb511SHong Zhang 
7460481f469SBarry Smith     if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
747137fb511SHong Zhang       /*
748137fb511SHong Zhang        * if no shift in this attempt & shifting & started shifting & can refine,
749137fb511SHong Zhang        * then try lower shift
750137fb511SHong Zhang        */
7510481f469SBarry Smith       sctx.shift_hi        = sctx.shift_fraction;
7520481f469SBarry Smith       sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
7530481f469SBarry Smith       sctx.shift_amount    = sctx.shift_fraction * sctx.shift_top;
754137fb511SHong Zhang       sctx.lushift         = PETSC_TRUE;
755137fb511SHong Zhang       sctx.nshift++;
756137fb511SHong Zhang     }
757137fb511SHong Zhang   } while (sctx.lushift);
758137fb511SHong Zhang 
759137fb511SHong Zhang   /* invert diagonal entries for simplier triangular solves */
760137fb511SHong Zhang   for (i=0; i<n; i++) {
761b051339dSHong Zhang     a->a[diag[r[i]]] = 1.0/a->a[diag[r[i]]];
762137fb511SHong Zhang   }
763137fb511SHong Zhang 
764137fb511SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
765137fb511SHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
766137fb511SHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
767b051339dSHong Zhang   A->ops->solve             = MatSolve_SeqAIJ_InplaceWithPerm;
768db4efbfdSBarry Smith   A->ops->solveadd          = MatSolveAdd_SeqAIJ;
769db4efbfdSBarry Smith   A->ops->solvetranspose    = MatSolveTranspose_SeqAIJ;
770db4efbfdSBarry Smith   A->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ;
771b051339dSHong Zhang   A->assembled = PETSC_TRUE;
7725c9eb25fSBarry Smith   A->preallocated = PETSC_TRUE;
773d0f46423SBarry Smith   ierr = PetscLogFlops(A->cmap->n);CHKERRQ(ierr);
774137fb511SHong Zhang   if (sctx.nshift){
775e738e422SBarry Smith     if (info->shiftpd) {
7760481f469SBarry 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);
777e738e422SBarry Smith     } else if (info->shiftnz) {
778e738e422SBarry Smith       ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
779137fb511SHong Zhang     }
780137fb511SHong Zhang   }
781137fb511SHong Zhang   PetscFunctionReturn(0);
782137fb511SHong Zhang }
783137fb511SHong Zhang 
7840a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
7854a2ae208SSatish Balay #undef __FUNCT__
7864a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ"
7870481f469SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,const MatFactorInfo *info)
788da3a660dSBarry Smith {
789dfbe8321SBarry Smith   PetscErrorCode ierr;
790416022c9SBarry Smith   Mat            C;
791416022c9SBarry Smith 
7923a40ed3dSBarry Smith   PetscFunctionBegin;
79343244d56SBarry Smith   ierr = MatGetFactor(A,MAT_SOLVER_PETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr);
794719d5645SBarry Smith   ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr);
795719d5645SBarry Smith   ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr);
796db4efbfdSBarry Smith   A->ops->solve            = C->ops->solve;
797db4efbfdSBarry Smith   A->ops->solvetranspose   = C->ops->solvetranspose;
798273d9f13SBarry Smith   ierr = MatHeaderCopy(A,C);CHKERRQ(ierr);
79952e6d16bSBarry Smith   ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr);
8003a40ed3dSBarry Smith   PetscFunctionReturn(0);
801da3a660dSBarry Smith }
8020a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
8034a2ae208SSatish Balay #undef __FUNCT__
8044a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ"
805dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx)
8068c37ef55SBarry Smith {
807416022c9SBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
808416022c9SBarry Smith   IS                iscol = a->col,isrow = a->row;
8096849ba73SBarry Smith   PetscErrorCode    ierr;
8105d0c19d7SBarry Smith   PetscInt          i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
8115d0c19d7SBarry Smith   PetscInt          nz;
8125d0c19d7SBarry Smith   const PetscInt    *rout,*cout,*r,*c;
813dd6ea824SBarry Smith   PetscScalar       *x,*tmp,*tmps,sum;
814d9fead3dSBarry Smith   const PetscScalar *b;
815dd6ea824SBarry Smith   const MatScalar   *aa = a->a,*v;
8168c37ef55SBarry Smith 
8173a40ed3dSBarry Smith   PetscFunctionBegin;
8183a40ed3dSBarry Smith   if (!n) PetscFunctionReturn(0);
81991bf9adeSBarry Smith 
820d9fead3dSBarry Smith   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
8211ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
822416022c9SBarry Smith   tmp  = a->solve_work;
8238c37ef55SBarry Smith 
8243b2fbd54SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
8253b2fbd54SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
8268c37ef55SBarry Smith 
8278c37ef55SBarry Smith   /* forward solve the lower triangular */
8288c37ef55SBarry Smith   tmp[0] = b[*r++];
829010a20caSHong Zhang   tmps   = tmp;
8308c37ef55SBarry Smith   for (i=1; i<n; i++) {
831010a20caSHong Zhang     v   = aa + ai[i] ;
832010a20caSHong Zhang     vi  = aj + ai[i] ;
83353e7425aSBarry Smith     nz  = a->diag[i] - ai[i];
83453e7425aSBarry Smith     sum = b[*r++];
835ed480e8bSBarry Smith     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
8368c37ef55SBarry Smith     tmp[i] = sum;
8378c37ef55SBarry Smith   }
8388c37ef55SBarry Smith 
8398c37ef55SBarry Smith   /* backward solve the upper triangular */
8408c37ef55SBarry Smith   for (i=n-1; i>=0; i--){
841010a20caSHong Zhang     v   = aa + a->diag[i] + 1;
842010a20caSHong Zhang     vi  = aj + a->diag[i] + 1;
843416022c9SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
8448c37ef55SBarry Smith     sum = tmp[i];
845ed480e8bSBarry Smith     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
846010a20caSHong Zhang     x[*c--] = tmp[i] = sum*aa[a->diag[i]];
8478c37ef55SBarry Smith   }
8488c37ef55SBarry Smith 
8493b2fbd54SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
8503b2fbd54SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
851d9fead3dSBarry Smith   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
8521ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
853*dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
8543a40ed3dSBarry Smith   PetscFunctionReturn(0);
8558c37ef55SBarry Smith }
856026e39d0SSatish Balay 
8572bebee5dSHong Zhang #undef __FUNCT__
8582bebee5dSHong Zhang #define __FUNCT__ "MatMatSolve_SeqAIJ"
8592bebee5dSHong Zhang PetscErrorCode MatMatSolve_SeqAIJ(Mat A,Mat B,Mat X)
8602bebee5dSHong Zhang {
8612bebee5dSHong Zhang   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
8622bebee5dSHong Zhang   IS              iscol = a->col,isrow = a->row;
8632bebee5dSHong Zhang   PetscErrorCode  ierr;
8645d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
8655d0c19d7SBarry Smith   PetscInt        nz,neq;
8665d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
867dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,*tmps,sum;
868dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
869db4efbfdSBarry Smith   PetscTruth      bisdense,xisdense;
8702bebee5dSHong Zhang 
8712bebee5dSHong Zhang   PetscFunctionBegin;
8722bebee5dSHong Zhang   if (!n) PetscFunctionReturn(0);
8732bebee5dSHong Zhang 
874db4efbfdSBarry Smith   ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr);
875db4efbfdSBarry Smith   if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix");
876db4efbfdSBarry Smith   ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr);
877db4efbfdSBarry Smith   if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix");
878db4efbfdSBarry Smith 
8792bebee5dSHong Zhang   ierr = MatGetArray(B,&b);CHKERRQ(ierr);
8802bebee5dSHong Zhang   ierr = MatGetArray(X,&x);CHKERRQ(ierr);
8812bebee5dSHong Zhang 
8822bebee5dSHong Zhang   tmp  = a->solve_work;
8832bebee5dSHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
8842bebee5dSHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
8852bebee5dSHong Zhang 
886a36b22ccSSatish Balay   for (neq=0; neq<B->cmap->n; neq++){
8872bebee5dSHong Zhang     /* forward solve the lower triangular */
8882bebee5dSHong Zhang     tmp[0] = b[r[0]];
8892bebee5dSHong Zhang     tmps   = tmp;
8902bebee5dSHong Zhang     for (i=1; i<n; i++) {
8912bebee5dSHong Zhang       v   = aa + ai[i] ;
8922bebee5dSHong Zhang       vi  = aj + ai[i] ;
8932bebee5dSHong Zhang       nz  = a->diag[i] - ai[i];
8942bebee5dSHong Zhang       sum = b[r[i]];
8952bebee5dSHong Zhang       SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
8962bebee5dSHong Zhang       tmp[i] = sum;
8972bebee5dSHong Zhang     }
8982bebee5dSHong Zhang     /* backward solve the upper triangular */
8992bebee5dSHong Zhang     for (i=n-1; i>=0; i--){
9002bebee5dSHong Zhang       v   = aa + a->diag[i] + 1;
9012bebee5dSHong Zhang       vi  = aj + a->diag[i] + 1;
9022bebee5dSHong Zhang       nz  = ai[i+1] - a->diag[i] - 1;
9032bebee5dSHong Zhang       sum = tmp[i];
9042bebee5dSHong Zhang       SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
9052bebee5dSHong Zhang       x[c[i]] = tmp[i] = sum*aa[a->diag[i]];
9062bebee5dSHong Zhang     }
9072bebee5dSHong Zhang 
9082bebee5dSHong Zhang     b += n;
9092bebee5dSHong Zhang     x += n;
9102bebee5dSHong Zhang   }
9112bebee5dSHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
9122bebee5dSHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
9132bebee5dSHong Zhang   ierr = MatRestoreArray(B,&b);CHKERRQ(ierr);
9142bebee5dSHong Zhang   ierr = MatRestoreArray(X,&x);CHKERRQ(ierr);
915*dc0b31edSSatish Balay   ierr = PetscLogFlops(B->cmap->n*(2.0*a->nz - n));CHKERRQ(ierr);
9162bebee5dSHong Zhang   PetscFunctionReturn(0);
9172bebee5dSHong Zhang }
9182bebee5dSHong Zhang 
919137fb511SHong Zhang #undef __FUNCT__
920137fb511SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_InplaceWithPerm"
921137fb511SHong Zhang PetscErrorCode MatSolve_SeqAIJ_InplaceWithPerm(Mat A,Vec bb,Vec xx)
922137fb511SHong Zhang {
923137fb511SHong Zhang   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
924137fb511SHong Zhang   IS              iscol = a->col,isrow = a->row;
925137fb511SHong Zhang   PetscErrorCode  ierr;
9265d0c19d7SBarry Smith   const PetscInt  *r,*c,*rout,*cout;
9275d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
9285d0c19d7SBarry Smith   PetscInt        nz,row;
929dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,*tmps,sum;
930dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
931137fb511SHong Zhang 
932137fb511SHong Zhang   PetscFunctionBegin;
933137fb511SHong Zhang   if (!n) PetscFunctionReturn(0);
934137fb511SHong Zhang 
935137fb511SHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
936137fb511SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
937137fb511SHong Zhang   tmp  = a->solve_work;
938137fb511SHong Zhang 
939137fb511SHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
940137fb511SHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
941137fb511SHong Zhang 
942137fb511SHong Zhang   /* forward solve the lower triangular */
943137fb511SHong Zhang   tmp[0] = b[*r++];
944137fb511SHong Zhang   tmps   = tmp;
945137fb511SHong Zhang   for (row=1; row<n; row++) {
946137fb511SHong Zhang     i   = rout[row]; /* permuted row */
947137fb511SHong Zhang     v   = aa + ai[i] ;
948137fb511SHong Zhang     vi  = aj + ai[i] ;
949137fb511SHong Zhang     nz  = a->diag[i] - ai[i];
950137fb511SHong Zhang     sum = b[*r++];
951137fb511SHong Zhang     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
952137fb511SHong Zhang     tmp[row] = sum;
953137fb511SHong Zhang   }
954137fb511SHong Zhang 
955137fb511SHong Zhang   /* backward solve the upper triangular */
956137fb511SHong Zhang   for (row=n-1; row>=0; row--){
957137fb511SHong Zhang     i   = rout[row]; /* permuted row */
958137fb511SHong Zhang     v   = aa + a->diag[i] + 1;
959137fb511SHong Zhang     vi  = aj + a->diag[i] + 1;
960137fb511SHong Zhang     nz  = ai[i+1] - a->diag[i] - 1;
961137fb511SHong Zhang     sum = tmp[row];
962137fb511SHong Zhang     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
963137fb511SHong Zhang     x[*c--] = tmp[row] = sum*aa[a->diag[i]];
964137fb511SHong Zhang   }
965137fb511SHong Zhang 
966137fb511SHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
967137fb511SHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
968137fb511SHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
969137fb511SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
970*dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
971137fb511SHong Zhang   PetscFunctionReturn(0);
972137fb511SHong Zhang }
973137fb511SHong Zhang 
974930ae53cSBarry Smith /* ----------------------------------------------------------- */
9754a2ae208SSatish Balay #undef __FUNCT__
9764a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering"
977dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx)
978930ae53cSBarry Smith {
979930ae53cSBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
9806849ba73SBarry Smith   PetscErrorCode    ierr;
981d0f46423SBarry Smith   PetscInt          n = A->rmap->n;
982356650c2SBarry Smith   const PetscInt    *ai = a->i,*aj = a->j,*adiag = a->diag,*vi;
983356650c2SBarry Smith   PetscScalar       *x;
984356650c2SBarry Smith   const PetscScalar *b;
985dd6ea824SBarry Smith   const MatScalar   *aa = a->a;
986aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ)
987356650c2SBarry Smith   PetscInt          adiag_i,i,nz,ai_i;
988dd6ea824SBarry Smith   const MatScalar   *v;
989dd6ea824SBarry Smith   PetscScalar       sum;
990d85afc42SSatish Balay #endif
991930ae53cSBarry Smith 
9923a40ed3dSBarry Smith   PetscFunctionBegin;
9933a40ed3dSBarry Smith   if (!n) PetscFunctionReturn(0);
994930ae53cSBarry Smith 
995356650c2SBarry Smith   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
9961ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
997930ae53cSBarry Smith 
998aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ)
9991c4feecaSSatish Balay   fortransolveaij_(&n,x,ai,aj,adiag,aa,b);
10001c4feecaSSatish Balay #else
1001930ae53cSBarry Smith   /* forward solve the lower triangular */
1002930ae53cSBarry Smith   x[0] = b[0];
1003930ae53cSBarry Smith   for (i=1; i<n; i++) {
1004930ae53cSBarry Smith     ai_i = ai[i];
1005930ae53cSBarry Smith     v    = aa + ai_i;
1006930ae53cSBarry Smith     vi   = aj + ai_i;
1007930ae53cSBarry Smith     nz   = adiag[i] - ai_i;
1008930ae53cSBarry Smith     sum  = b[i];
1009930ae53cSBarry Smith     while (nz--) sum -= *v++ * x[*vi++];
1010930ae53cSBarry Smith     x[i] = sum;
1011930ae53cSBarry Smith   }
1012930ae53cSBarry Smith 
1013930ae53cSBarry Smith   /* backward solve the upper triangular */
1014930ae53cSBarry Smith   for (i=n-1; i>=0; i--){
1015930ae53cSBarry Smith     adiag_i = adiag[i];
1016d708749eSBarry Smith     v       = aa + adiag_i + 1;
1017d708749eSBarry Smith     vi      = aj + adiag_i + 1;
1018930ae53cSBarry Smith     nz      = ai[i+1] - adiag_i - 1;
1019930ae53cSBarry Smith     sum     = x[i];
1020930ae53cSBarry Smith     while (nz--) sum -= *v++ * x[*vi++];
1021930ae53cSBarry Smith     x[i]    = sum*aa[adiag_i];
1022930ae53cSBarry Smith   }
10231c4feecaSSatish Balay #endif
1024*dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr);
1025356650c2SBarry Smith   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
10261ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
10273a40ed3dSBarry Smith   PetscFunctionReturn(0);
1028930ae53cSBarry Smith }
1029930ae53cSBarry Smith 
10304a2ae208SSatish Balay #undef __FUNCT__
10314a2ae208SSatish Balay #define __FUNCT__ "MatSolveAdd_SeqAIJ"
1032dfbe8321SBarry Smith PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx)
1033da3a660dSBarry Smith {
1034416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
1035416022c9SBarry Smith   IS              iscol = a->col,isrow = a->row;
10366849ba73SBarry Smith   PetscErrorCode  ierr;
10375d0c19d7SBarry Smith   PetscInt        i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
10385d0c19d7SBarry Smith   PetscInt        nz;
10395d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
1040dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,sum;
1041dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
1042da3a660dSBarry Smith 
10433a40ed3dSBarry Smith   PetscFunctionBegin;
104478b31e54SBarry Smith   if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);}
1045da3a660dSBarry Smith 
10461ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
10471ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1048416022c9SBarry Smith   tmp  = a->solve_work;
1049da3a660dSBarry Smith 
10503b2fbd54SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
10513b2fbd54SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
1052da3a660dSBarry Smith 
1053da3a660dSBarry Smith   /* forward solve the lower triangular */
1054da3a660dSBarry Smith   tmp[0] = b[*r++];
1055da3a660dSBarry Smith   for (i=1; i<n; i++) {
1056010a20caSHong Zhang     v   = aa + ai[i] ;
1057010a20caSHong Zhang     vi  = aj + ai[i] ;
1058416022c9SBarry Smith     nz  = a->diag[i] - ai[i];
1059da3a660dSBarry Smith     sum = b[*r++];
1060010a20caSHong Zhang     while (nz--) sum -= *v++ * tmp[*vi++ ];
1061da3a660dSBarry Smith     tmp[i] = sum;
1062da3a660dSBarry Smith   }
1063da3a660dSBarry Smith 
1064da3a660dSBarry Smith   /* backward solve the upper triangular */
1065da3a660dSBarry Smith   for (i=n-1; i>=0; i--){
1066010a20caSHong Zhang     v   = aa + a->diag[i] + 1;
1067010a20caSHong Zhang     vi  = aj + a->diag[i] + 1;
1068416022c9SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
1069da3a660dSBarry Smith     sum = tmp[i];
1070010a20caSHong Zhang     while (nz--) sum -= *v++ * tmp[*vi++ ];
1071010a20caSHong Zhang     tmp[i] = sum*aa[a->diag[i]];
1072da3a660dSBarry Smith     x[*c--] += tmp[i];
1073da3a660dSBarry Smith   }
1074da3a660dSBarry Smith 
10753b2fbd54SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
10763b2fbd54SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
10771ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
10781ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1079*dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr);
1080898183ecSLois Curfman McInnes 
10813a40ed3dSBarry Smith   PetscFunctionReturn(0);
1082da3a660dSBarry Smith }
1083da3a660dSBarry Smith /* -------------------------------------------------------------------*/
10844a2ae208SSatish Balay #undef __FUNCT__
10854a2ae208SSatish Balay #define __FUNCT__ "MatSolveTranspose_SeqAIJ"
1086dfbe8321SBarry Smith PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx)
1087da3a660dSBarry Smith {
1088416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
10892235e667SBarry Smith   IS              iscol = a->col,isrow = a->row;
10906849ba73SBarry Smith   PetscErrorCode  ierr;
10915d0c19d7SBarry Smith   const PetscInt  *rout,*cout,*r,*c;
10925d0c19d7SBarry Smith   PetscInt        i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
10935d0c19d7SBarry Smith   PetscInt        nz,*diag = a->diag;
1094dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,s1;
1095dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
1096da3a660dSBarry Smith 
10973a40ed3dSBarry Smith   PetscFunctionBegin;
10981ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
10991ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1100416022c9SBarry Smith   tmp  = a->solve_work;
1101da3a660dSBarry Smith 
11022235e667SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
11032235e667SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
1104da3a660dSBarry Smith 
1105da3a660dSBarry Smith   /* copy the b into temp work space according to permutation */
11062235e667SBarry Smith   for (i=0; i<n; i++) tmp[i] = b[c[i]];
1107da3a660dSBarry Smith 
1108da3a660dSBarry Smith   /* forward solve the U^T */
1109da3a660dSBarry Smith   for (i=0; i<n; i++) {
1110010a20caSHong Zhang     v   = aa + diag[i] ;
1111010a20caSHong Zhang     vi  = aj + diag[i] + 1;
1112f1af5d2fSBarry Smith     nz  = ai[i+1] - diag[i] - 1;
1113c38d4ed2SBarry Smith     s1  = tmp[i];
1114ef66eb69SBarry Smith     s1 *= (*v++);  /* multiply by inverse of diagonal entry */
1115da3a660dSBarry Smith     while (nz--) {
1116010a20caSHong Zhang       tmp[*vi++ ] -= (*v++)*s1;
1117da3a660dSBarry Smith     }
1118c38d4ed2SBarry Smith     tmp[i] = s1;
1119da3a660dSBarry Smith   }
1120da3a660dSBarry Smith 
1121da3a660dSBarry Smith   /* backward solve the L^T */
1122da3a660dSBarry Smith   for (i=n-1; i>=0; i--){
1123010a20caSHong Zhang     v   = aa + diag[i] - 1 ;
1124010a20caSHong Zhang     vi  = aj + diag[i] - 1 ;
1125f1af5d2fSBarry Smith     nz  = diag[i] - ai[i];
1126f1af5d2fSBarry Smith     s1  = tmp[i];
1127da3a660dSBarry Smith     while (nz--) {
1128010a20caSHong Zhang       tmp[*vi-- ] -= (*v--)*s1;
1129da3a660dSBarry Smith     }
1130da3a660dSBarry Smith   }
1131da3a660dSBarry Smith 
1132da3a660dSBarry Smith   /* copy tmp into x according to permutation */
1133da3a660dSBarry Smith   for (i=0; i<n; i++) x[r[i]] = tmp[i];
1134da3a660dSBarry Smith 
11352235e667SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
11362235e667SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
11371ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
11381ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1139da3a660dSBarry Smith 
1140*dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr);
11413a40ed3dSBarry Smith   PetscFunctionReturn(0);
1142da3a660dSBarry Smith }
1143da3a660dSBarry Smith 
11444a2ae208SSatish Balay #undef __FUNCT__
11454a2ae208SSatish Balay #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ"
1146dfbe8321SBarry Smith PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx)
1147da3a660dSBarry Smith {
1148416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
11492235e667SBarry Smith   IS              iscol = a->col,isrow = a->row;
11506849ba73SBarry Smith   PetscErrorCode  ierr;
11515d0c19d7SBarry Smith   const PetscInt  *r,*c,*rout,*cout;
11525d0c19d7SBarry Smith   PetscInt        i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
11535d0c19d7SBarry Smith   PetscInt        nz,*diag = a->diag;
1154dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp;
1155dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
11566abc6512SBarry Smith 
11573a40ed3dSBarry Smith   PetscFunctionBegin;
115823bc6035SMatthew Knepley   if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);}
11596abc6512SBarry Smith 
11601ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
11611ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1162416022c9SBarry Smith   tmp = a->solve_work;
11636abc6512SBarry Smith 
11642235e667SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
11652235e667SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
11666abc6512SBarry Smith 
11676abc6512SBarry Smith   /* copy the b into temp work space according to permutation */
11682235e667SBarry Smith   for (i=0; i<n; i++) tmp[i] = b[c[i]];
11696abc6512SBarry Smith 
11706abc6512SBarry Smith   /* forward solve the U^T */
11716abc6512SBarry Smith   for (i=0; i<n; i++) {
1172010a20caSHong Zhang     v   = aa + diag[i] ;
1173010a20caSHong Zhang     vi  = aj + diag[i] + 1;
1174f1af5d2fSBarry Smith     nz  = ai[i+1] - diag[i] - 1;
11756abc6512SBarry Smith     tmp[i] *= *v++;
11766abc6512SBarry Smith     while (nz--) {
1177010a20caSHong Zhang       tmp[*vi++ ] -= (*v++)*tmp[i];
11786abc6512SBarry Smith     }
11796abc6512SBarry Smith   }
11806abc6512SBarry Smith 
11816abc6512SBarry Smith   /* backward solve the L^T */
11826abc6512SBarry Smith   for (i=n-1; i>=0; i--){
1183010a20caSHong Zhang     v   = aa + diag[i] - 1 ;
1184010a20caSHong Zhang     vi  = aj + diag[i] - 1 ;
1185f1af5d2fSBarry Smith     nz  = diag[i] - ai[i];
11866abc6512SBarry Smith     while (nz--) {
1187010a20caSHong Zhang       tmp[*vi-- ] -= (*v--)*tmp[i];
11886abc6512SBarry Smith     }
11896abc6512SBarry Smith   }
11906abc6512SBarry Smith 
11916abc6512SBarry Smith   /* copy tmp into x according to permutation */
11926abc6512SBarry Smith   for (i=0; i<n; i++) x[r[i]] += tmp[i];
11936abc6512SBarry Smith 
11942235e667SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
11952235e667SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
11961ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
11971ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
11986abc6512SBarry Smith 
1199*dc0b31edSSatish Balay   ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr);
12003a40ed3dSBarry Smith   PetscFunctionReturn(0);
1201da3a660dSBarry Smith }
12029e25ed09SBarry Smith /* ----------------------------------------------------------------*/
12033c5fc038SBarry Smith EXTERN PetscErrorCode Mat_CheckInode(Mat,PetscTruth);
1204719d5645SBarry Smith EXTERN PetscErrorCode MatDuplicateNoCreate_SeqAIJ(Mat,Mat,MatDuplicateOption);
120508480c60SBarry Smith 
12064a2ae208SSatish Balay #undef __FUNCT__
12074a2ae208SSatish Balay #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ"
12080481f469SBarry Smith PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
12099e25ed09SBarry Smith {
1210416022c9SBarry Smith   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
12119e25ed09SBarry Smith   IS                 isicol;
12126849ba73SBarry Smith   PetscErrorCode     ierr;
12135d0c19d7SBarry Smith   const PetscInt     *r,*ic;
12145d0c19d7SBarry Smith   PetscInt           n=A->rmap->n,*ai=a->i,*aj=a->j,d;
12155a8e39fbSHong Zhang   PetscInt           *bi,*cols,nnz,*cols_lvl;
1216052f0c41SBarry Smith   PetscInt           *bdiag,prow,fm,nzbd,reallocs=0,dcount=0;
12175a8e39fbSHong Zhang   PetscInt           i,levels,diagonal_fill;
121877c4ece6SBarry Smith   PetscTruth         col_identity,row_identity;
1219329f5518SBarry Smith   PetscReal          f;
12205a8e39fbSHong Zhang   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL;
12215a8e39fbSHong Zhang   PetscBT            lnkbt;
12225a8e39fbSHong Zhang   PetscInt           nzi,*bj,**bj_ptr,**bjlvl_ptr;
1223a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1224a1a86e44SBarry Smith   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
122509f38230SBarry Smith   PetscTruth         missing;
12269e25ed09SBarry Smith 
12273a40ed3dSBarry Smith   PetscFunctionBegin;
1228d0f46423SBarry 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);
12296cf997b0SBarry Smith   f             = info->fill;
123038baddfdSBarry Smith   levels        = (PetscInt)info->levels;
123138baddfdSBarry Smith   diagonal_fill = (PetscInt)info->diagonal_fill;
12324c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
123382bf6240SBarry Smith 
123408480c60SBarry Smith   /* special case that simply copies fill pattern */
1235be0abb6dSBarry Smith   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
1236be0abb6dSBarry Smith   ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr);
123786bacbd2SBarry Smith   if (!levels && row_identity && col_identity) {
1238719d5645SBarry Smith     ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES);CHKERRQ(ierr);
1239719d5645SBarry Smith     fact->factor = MAT_FACTOR_ILU;
1240719d5645SBarry Smith     (fact)->info.factor_mallocs    = 0;
1241719d5645SBarry Smith     (fact)->info.fill_ratio_given  = info->fill;
1242719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 1.0;
1243719d5645SBarry Smith     b               = (Mat_SeqAIJ*)(fact)->data;
12448ef3462fSBarry Smith     ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
124509f38230SBarry Smith     if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
124608480c60SBarry Smith     b->row              = isrow;
124708480c60SBarry Smith     b->col              = iscol;
124882bf6240SBarry Smith     b->icol             = isicol;
1249719d5645SBarry Smith     ierr                = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1250c38d4ed2SBarry Smith     ierr                = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1251c38d4ed2SBarry Smith     ierr                = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
1252719d5645SBarry Smith     (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ;
1253719d5645SBarry Smith     ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr);
12543a40ed3dSBarry Smith     PetscFunctionReturn(0);
125508480c60SBarry Smith   }
125608480c60SBarry Smith 
1257898183ecSLois Curfman McInnes   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
1258898183ecSLois Curfman McInnes   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
12599e25ed09SBarry Smith 
12609e25ed09SBarry Smith   /* get new row pointers */
12615a8e39fbSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
12625a8e39fbSHong Zhang   bi[0] = 0;
12635a8e39fbSHong Zhang   /* bdiag is location of diagonal in factor */
12645a8e39fbSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
12655a8e39fbSHong Zhang   bdiag[0]  = 0;
12666cf997b0SBarry Smith 
12675a8e39fbSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr);
12685a8e39fbSHong Zhang   bjlvl_ptr = (PetscInt**)(bj_ptr + n);
12695a8e39fbSHong Zhang 
12705a8e39fbSHong Zhang   /* create a linked list for storing column indices of the active row */
12715a8e39fbSHong Zhang   nlnk = n + 1;
12725a8e39fbSHong Zhang   ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
12735a8e39fbSHong Zhang 
12745a8e39fbSHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
1275a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
12765a8e39fbSHong Zhang   current_space = free_space;
1277a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr);
12785a8e39fbSHong Zhang   current_space_lvl = free_space_lvl;
12795a8e39fbSHong Zhang 
12805a8e39fbSHong Zhang   for (i=0; i<n; i++) {
12815a8e39fbSHong Zhang     nzi = 0;
12826cf997b0SBarry Smith     /* copy current row into linked list */
12835a8e39fbSHong Zhang     nnz  = ai[r[i]+1] - ai[r[i]];
12843b4a8b6dSBarry 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);
12855a8e39fbSHong Zhang     cols = aj + ai[r[i]];
12865a8e39fbSHong Zhang     lnk[i] = -1; /* marker to indicate if diagonal exists */
12875a8e39fbSHong Zhang     ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
12885a8e39fbSHong Zhang     nzi += nlnk;
12896cf997b0SBarry Smith 
12906cf997b0SBarry Smith     /* make sure diagonal entry is included */
12915a8e39fbSHong Zhang     if (diagonal_fill && lnk[i] == -1) {
12926cf997b0SBarry Smith       fm = n;
12935a8e39fbSHong Zhang       while (lnk[fm] < i) fm = lnk[fm];
12945a8e39fbSHong Zhang       lnk[i]     = lnk[fm]; /* insert diagonal into linked list */
12955a8e39fbSHong Zhang       lnk[fm]    = i;
12965a8e39fbSHong Zhang       lnk_lvl[i] = 0;
12975a8e39fbSHong Zhang       nzi++; dcount++;
12986cf997b0SBarry Smith     }
12996cf997b0SBarry Smith 
13005a8e39fbSHong Zhang     /* add pivot rows into the active row */
13015a8e39fbSHong Zhang     nzbd = 0;
13025a8e39fbSHong Zhang     prow = lnk[n];
13035a8e39fbSHong Zhang     while (prow < i) {
13045a8e39fbSHong Zhang       nnz      = bdiag[prow];
13055a8e39fbSHong Zhang       cols     = bj_ptr[prow] + nnz + 1;
13065a8e39fbSHong Zhang       cols_lvl = bjlvl_ptr[prow] + nnz + 1;
13075a8e39fbSHong Zhang       nnz      = bi[prow+1] - bi[prow] - nnz - 1;
13085a8e39fbSHong Zhang       ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr);
13095a8e39fbSHong Zhang       nzi += nlnk;
13105a8e39fbSHong Zhang       prow = lnk[prow];
13115a8e39fbSHong Zhang       nzbd++;
131256beaf04SBarry Smith     }
13135a8e39fbSHong Zhang     bdiag[i] = nzbd;
13145a8e39fbSHong Zhang     bi[i+1]  = bi[i] + nzi;
1315ecf371e4SBarry Smith 
13165a8e39fbSHong Zhang     /* if free space is not available, make more free space */
13175a8e39fbSHong Zhang     if (current_space->local_remaining<nzi) {
13185a8e39fbSHong Zhang       nnz = nzi*(n - i); /* estimated and max additional space needed */
1319a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
1320a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space_lvl);CHKERRQ(ierr);
13215a8e39fbSHong Zhang       reallocs++;
13225a8e39fbSHong Zhang     }
1323ecf371e4SBarry Smith 
13245a8e39fbSHong Zhang     /* copy data into free_space and free_space_lvl, then initialize lnk */
13255a8e39fbSHong Zhang     ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
13265a8e39fbSHong Zhang     bj_ptr[i]    = current_space->array;
13275a8e39fbSHong Zhang     bjlvl_ptr[i] = current_space_lvl->array;
13285a8e39fbSHong Zhang 
13295a8e39fbSHong Zhang     /* make sure the active row i has diagonal entry */
13305a8e39fbSHong Zhang     if (*(bj_ptr[i]+bdiag[i]) != i) {
133177431f27SBarry Smith       SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\
1332d7ee0231SBarry Smith     try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i);
13336cf997b0SBarry Smith     }
13345a8e39fbSHong Zhang 
13355a8e39fbSHong Zhang     current_space->array           += nzi;
13365a8e39fbSHong Zhang     current_space->local_used      += nzi;
13375a8e39fbSHong Zhang     current_space->local_remaining -= nzi;
13385a8e39fbSHong Zhang     current_space_lvl->array           += nzi;
13395a8e39fbSHong Zhang     current_space_lvl->local_used      += nzi;
13405a8e39fbSHong Zhang     current_space_lvl->local_remaining -= nzi;
13419e25ed09SBarry Smith   }
13425a8e39fbSHong Zhang 
1343898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
1344898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
13455a8e39fbSHong Zhang 
13465a8e39fbSHong Zhang   /* destroy list of free space and other temporary arrays */
13475a8e39fbSHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
1348a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr);
13495a8e39fbSHong Zhang   ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
1350a1a86e44SBarry Smith   ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
13515a8e39fbSHong Zhang   ierr = PetscFree(bj_ptr);CHKERRQ(ierr);
13529e25ed09SBarry Smith 
13536cf91177SBarry Smith #if defined(PETSC_USE_INFO)
1354f64065bbSBarry Smith   {
13555a8e39fbSHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
1356ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
1357ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1358ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr);
1359ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
1360335d9088SBarry Smith     if (diagonal_fill) {
1361ae15b995SBarry Smith       ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr);
1362335d9088SBarry Smith     }
1363f64065bbSBarry Smith   }
136463ba0a88SBarry Smith #endif
1365bbb6d6a8SBarry Smith 
13669e25ed09SBarry Smith   /* put together the new matrix */
136707dbf95fSBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
1368719d5645SBarry Smith   ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr);
1369719d5645SBarry Smith   b = (Mat_SeqAIJ*)(fact)->data;
1370e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
1371e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
13727c922b88SBarry Smith   b->singlemalloc = PETSC_FALSE;
1373052f0c41SBarry Smith   ierr = PetscMalloc( (bi[n] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
13745a8e39fbSHong Zhang   b->j          = bj;
13755a8e39fbSHong Zhang   b->i          = bi;
13765a8e39fbSHong Zhang   for (i=0; i<n; i++) bdiag[i] += bi[i];
13775a8e39fbSHong Zhang   b->diag       = bdiag;
1378416022c9SBarry Smith   b->ilen       = 0;
1379416022c9SBarry Smith   b->imax       = 0;
1380416022c9SBarry Smith   b->row        = isrow;
1381416022c9SBarry Smith   b->col        = iscol;
1382c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1383c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
138482bf6240SBarry Smith   b->icol       = isicol;
138587828ca2SBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1386416022c9SBarry Smith   /* In b structure:  Free imax, ilen, old a, old j.
13875a8e39fbSHong Zhang      Allocate bdiag, solve_work, new a, new j */
1388719d5645SBarry Smith   ierr = PetscLogObjectMemory(fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
13895a8e39fbSHong Zhang   b->maxnz             = b->nz = bi[n] ;
1390719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1391719d5645SBarry Smith   (fact)->info.fill_ratio_given  = f;
1392719d5645SBarry Smith   (fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]);
1393719d5645SBarry Smith   (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ;
1394719d5645SBarry Smith   ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr);
13953a40ed3dSBarry Smith   PetscFunctionReturn(0);
13969e25ed09SBarry Smith }
1397d5d45c9bSBarry Smith 
13987c4f633dSBarry Smith #include "../src/mat/impls/sbaij/seq/sbaij.h"
1399a6175056SHong Zhang #undef __FUNCT__
1400a6175056SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ"
14010481f469SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info)
1402a6175056SHong Zhang {
1403719d5645SBarry Smith   Mat            C = B;
14040968510aSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data;
14052ed133dbSHong Zhang   Mat_SeqSBAIJ   *b=(Mat_SeqSBAIJ*)C->data;
14069bfd6278SHong Zhang   IS             ip=b->row,iip = b->icol;
14072ed133dbSHong Zhang   PetscErrorCode ierr;
14085d0c19d7SBarry Smith   const PetscInt *rip,*riip;
14095d0c19d7SBarry Smith   PetscInt       i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bcol;
14102ed133dbSHong Zhang   PetscInt       *ai=a->i,*aj=a->j;
14112ed133dbSHong Zhang   PetscInt       k,jmin,jmax,*jl,*il,col,nexti,ili,nz;
1412622e2028SHong Zhang   MatScalar      *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi;
1413540703acSHong Zhang   PetscReal      zeropivot,rs,shiftnz;
1414fbf22428SSatish Balay   PetscReal      shiftpd;
1415540703acSHong Zhang   ChShift_Ctx    sctx;
1416540703acSHong Zhang   PetscInt       newshift;
1417db4efbfdSBarry Smith   PetscTruth     perm_identity;
1418d5d45c9bSBarry Smith 
1419a6175056SHong Zhang   PetscFunctionBegin;
1420117f1891Stmunson 
1421540703acSHong Zhang   shiftnz   = info->shiftnz;
1422540703acSHong Zhang   shiftpd   = info->shiftpd;
1423ee45ca4aSHong Zhang   zeropivot = info->zeropivot;
1424ee45ca4aSHong Zhang 
14252ed133dbSHong Zhang   ierr  = ISGetIndices(ip,&rip);CHKERRQ(ierr);
14269bfd6278SHong Zhang   ierr  = ISGetIndices(iip,&riip);CHKERRQ(ierr);
14272ed133dbSHong Zhang 
14282ed133dbSHong Zhang   /* initialization */
14292ed133dbSHong Zhang   nz   = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar);
14302ed133dbSHong Zhang   ierr = PetscMalloc(nz,&il);CHKERRQ(ierr);
14312ed133dbSHong Zhang   jl   = il + mbs;
14322ed133dbSHong Zhang   rtmp = (MatScalar*)(jl + mbs);
14332ed133dbSHong Zhang 
1434540703acSHong Zhang   sctx.shift_amount = 0;
1435540703acSHong Zhang   sctx.nshift       = 0;
14362ed133dbSHong Zhang   do {
1437540703acSHong Zhang     sctx.chshift = PETSC_FALSE;
14382ed133dbSHong Zhang     for (i=0; i<mbs; i++) {
14392ed133dbSHong Zhang       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
1440a6175056SHong Zhang     }
14412ed133dbSHong Zhang 
14422ed133dbSHong Zhang     for (k = 0; k<mbs; k++){
1443c05c3958SHong Zhang       bval = ba + bi[k];
14442ed133dbSHong Zhang       /* initialize k-th row by the perm[k]-th row of A */
14452ed133dbSHong Zhang       jmin = ai[rip[k]]; jmax = ai[rip[k]+1];
14462ed133dbSHong Zhang       for (j = jmin; j < jmax; j++){
14479bfd6278SHong Zhang         col = riip[aj[j]];
14482ed133dbSHong Zhang         if (col >= k){ /* only take upper triangular entry */
14492ed133dbSHong Zhang           rtmp[col] = aa[j];
1450c05c3958SHong Zhang           *bval++  = 0.0; /* for in-place factorization */
14512ed133dbSHong Zhang         }
14522ed133dbSHong Zhang       }
145339e3d630SHong Zhang       /* shift the diagonal of the matrix */
1454540703acSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
14552ed133dbSHong Zhang 
14562ed133dbSHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
14572ed133dbSHong Zhang       dk = rtmp[k];
14582ed133dbSHong Zhang       i = jl[k]; /* first row to be added to k_th row  */
14592ed133dbSHong Zhang 
14602ed133dbSHong Zhang       while (i < k){
14612ed133dbSHong Zhang         nexti = jl[i]; /* next row to be added to k_th row */
14622ed133dbSHong Zhang 
14632ed133dbSHong Zhang         /* compute multiplier, update diag(k) and U(i,k) */
14642ed133dbSHong Zhang         ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
14652ed133dbSHong Zhang         uikdi = - ba[ili]*ba[bi[i]];  /* diagonal(k) */
14662ed133dbSHong Zhang         dk += uikdi*ba[ili];
14672ed133dbSHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
14682ed133dbSHong Zhang 
14692ed133dbSHong Zhang         /* add multiple of row i to k-th row */
14702ed133dbSHong Zhang         jmin = ili + 1; jmax = bi[i+1];
14712ed133dbSHong Zhang         if (jmin < jmax){
14722ed133dbSHong Zhang           for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j];
14732ed133dbSHong Zhang           /* update il and jl for row i */
14742ed133dbSHong Zhang           il[i] = jmin;
14752ed133dbSHong Zhang           j = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
14762ed133dbSHong Zhang         }
14772ed133dbSHong Zhang         i = nexti;
14782ed133dbSHong Zhang       }
14792ed133dbSHong Zhang 
14800697b6caSHong Zhang       /* shift the diagonals when zero pivot is detected */
14810697b6caSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
14820697b6caSHong Zhang       rs   = 0.0;
14833c9e8598SHong Zhang       jmin = bi[k]+1;
14843c9e8598SHong Zhang       nz   = bi[k+1] - jmin;
14853c9e8598SHong Zhang       bcol = bj + jmin;
14863c9e8598SHong Zhang       while (nz--){
148789f845c8SHong Zhang         rs += PetscAbsScalar(rtmp[*bcol]);
148889f845c8SHong Zhang         bcol++;
14893c9e8598SHong Zhang       }
1490540703acSHong Zhang 
1491540703acSHong Zhang       sctx.rs = rs;
1492540703acSHong Zhang       sctx.pv = dk;
14935b5bc046SBarry Smith       ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr);
1494117f1891Stmunson 
1495117f1891Stmunson       if (newshift == 1) {
1496117f1891Stmunson         if (!sctx.shift_amount) {
1497117f1891Stmunson           sctx.shift_amount = 1e-5;
1498117f1891Stmunson         }
1499117f1891Stmunson         break;
1500117f1891Stmunson       }
15013c9e8598SHong Zhang 
15023c9e8598SHong Zhang       /* copy data into U(k,:) */
150339e3d630SHong Zhang       ba[bi[k]] = 1.0/dk; /* U(k,k) */
150439e3d630SHong Zhang       jmin = bi[k]+1; jmax = bi[k+1];
150539e3d630SHong Zhang       if (jmin < jmax) {
150639e3d630SHong Zhang         for (j=jmin; j<jmax; j++){
150739e3d630SHong Zhang           col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0;
15083c9e8598SHong Zhang         }
150939e3d630SHong Zhang         /* add the k-th row into il and jl */
15103c9e8598SHong Zhang         il[k] = jmin;
15113c9e8598SHong Zhang         i = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
15123c9e8598SHong Zhang       }
15133c9e8598SHong Zhang     }
1514540703acSHong Zhang   } while (sctx.chshift);
15153c9e8598SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
15163c9e8598SHong Zhang 
151739e3d630SHong Zhang   ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr);
15189bfd6278SHong Zhang   ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr);
1519db4efbfdSBarry Smith 
1520db4efbfdSBarry Smith   ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr);
1521db4efbfdSBarry Smith   if (perm_identity){
1522719d5645SBarry Smith     (B)->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
1523719d5645SBarry Smith     (B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1_NaturalOrdering;
1524719d5645SBarry Smith     (B)->ops->forwardsolve    = MatForwardSolve_SeqSBAIJ_1_NaturalOrdering;
1525719d5645SBarry Smith     (B)->ops->backwardsolve   = MatBackwardSolve_SeqSBAIJ_1_NaturalOrdering;
1526db4efbfdSBarry Smith   } else {
1527719d5645SBarry Smith     (B)->ops->solve           = MatSolve_SeqSBAIJ_1;
1528719d5645SBarry Smith     (B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1;
1529719d5645SBarry Smith     (B)->ops->forwardsolve    = MatForwardSolve_SeqSBAIJ_1;
1530719d5645SBarry Smith     (B)->ops->backwardsolve   = MatBackwardSolve_SeqSBAIJ_1;
1531db4efbfdSBarry Smith   }
1532db4efbfdSBarry Smith 
15333c9e8598SHong Zhang   C->assembled    = PETSC_TRUE;
15343c9e8598SHong Zhang   C->preallocated = PETSC_TRUE;
1535d0f46423SBarry Smith   ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr);
1536540703acSHong Zhang   if (sctx.nshift){
1537540703acSHong Zhang     if (shiftnz) {
15381e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
1539540703acSHong Zhang     } else if (shiftpd) {
15401e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
15410697b6caSHong Zhang     }
15423c9e8598SHong Zhang   }
15433c9e8598SHong Zhang   PetscFunctionReturn(0);
15443c9e8598SHong Zhang }
1545a6175056SHong Zhang 
1546a6175056SHong Zhang #undef __FUNCT__
1547a6175056SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ"
15480481f469SBarry Smith PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info)
1549a6175056SHong Zhang {
15500968510aSHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data;
1551ed59401aSHong Zhang   Mat_SeqSBAIJ       *b;
1552dfbe8321SBarry Smith   PetscErrorCode     ierr;
155358ebbce7SBarry Smith   PetscTruth         perm_identity,missing;
15545d0c19d7SBarry Smith   PetscInt           reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui;
15555d0c19d7SBarry Smith   const PetscInt     *rip,*riip;
1556ed59401aSHong Zhang   PetscInt           jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow;
155758ebbce7SBarry Smith   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL,d;
15585a8e39fbSHong Zhang   PetscInt           ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr;
1559ed59401aSHong Zhang   PetscReal          fill=info->fill,levels=info->levels;
1560a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1561a1a86e44SBarry Smith   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
15627a48dd6fSHong Zhang   PetscBT            lnkbt;
1563b635d36bSHong Zhang   IS                 iperm;
1564a6175056SHong Zhang 
1565a6175056SHong Zhang   PetscFunctionBegin;
1566d0f46423SBarry 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);
156758ebbce7SBarry Smith   ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
156858ebbce7SBarry Smith   if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
1569653a6975SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
1570b635d36bSHong Zhang   ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr);
15717a48dd6fSHong Zhang 
157239e3d630SHong Zhang   ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
157339e3d630SHong Zhang   ui[0] = 0;
157439e3d630SHong Zhang 
1575b635d36bSHong Zhang   /* ICC(0) without matrix ordering: simply copies fill pattern */
1576622e2028SHong Zhang   if (!levels && perm_identity) {
157758ebbce7SBarry Smith 
1578ed59401aSHong Zhang     for (i=0; i<am; i++) {
157939e3d630SHong Zhang       ui[i+1] = ui[i] + ai[i+1] - a->diag[i];
1580ed59401aSHong Zhang     }
158139e3d630SHong Zhang     ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
158239e3d630SHong Zhang     cols = uj;
1583ed59401aSHong Zhang     for (i=0; i<am; i++) {
1584ed59401aSHong Zhang       aj    = a->j + a->diag[i];
158539e3d630SHong Zhang       ncols = ui[i+1] - ui[i];
158639e3d630SHong Zhang       for (j=0; j<ncols; j++) *cols++ = *aj++;
1587ed59401aSHong Zhang     }
158839e3d630SHong Zhang   } else { /* case: levels>0 || (levels=0 && !perm_identity) */
1589b635d36bSHong Zhang     ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr);
1590b635d36bSHong Zhang     ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
1591b635d36bSHong Zhang 
15927a48dd6fSHong Zhang     /* initialization */
15935a8e39fbSHong Zhang     ierr  = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr);
15947a48dd6fSHong Zhang 
15957a48dd6fSHong Zhang     /* jl: linked list for storing indices of the pivot rows
15967a48dd6fSHong Zhang        il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
15971393bc97SHong Zhang     ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr);
15987a48dd6fSHong Zhang     il         = jl + am;
15997a48dd6fSHong Zhang     uj_ptr     = (PetscInt**)(il + am);
16007a48dd6fSHong Zhang     uj_lvl_ptr = (PetscInt**)(uj_ptr + am);
16017a48dd6fSHong Zhang     for (i=0; i<am; i++){
16027a48dd6fSHong Zhang       jl[i] = am; il[i] = 0;
16037a48dd6fSHong Zhang     }
16047a48dd6fSHong Zhang 
16057a48dd6fSHong Zhang     /* create and initialize a linked list for storing column indices of the active row k */
16067a48dd6fSHong Zhang     nlnk = am + 1;
16072ed133dbSHong Zhang     ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
16087a48dd6fSHong Zhang 
16097a48dd6fSHong Zhang     /* initial FreeSpace size is fill*(ai[am]+1) */
1610a1a86e44SBarry Smith     ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr);
16117a48dd6fSHong Zhang     current_space = free_space;
1612a1a86e44SBarry Smith     ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr);
16137a48dd6fSHong Zhang     current_space_lvl = free_space_lvl;
16147a48dd6fSHong Zhang 
16157a48dd6fSHong Zhang     for (k=0; k<am; k++){  /* for each active row k */
16167a48dd6fSHong Zhang       /* initialize lnk by the column indices of row rip[k] of A */
16177a48dd6fSHong Zhang       nzk   = 0;
1618622e2028SHong Zhang       ncols = ai[rip[k]+1] - ai[rip[k]];
16193b4a8b6dSBarry 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);
1620622e2028SHong Zhang       ncols_upper = 0;
1621622e2028SHong Zhang       for (j=0; j<ncols; j++){
1622b635d36bSHong Zhang         i = *(aj + ai[rip[k]] + j); /* unpermuted column index */
1623b635d36bSHong Zhang         if (riip[i] >= k){ /* only take upper triangular entry */
16245a8e39fbSHong Zhang           ajtmp[ncols_upper] = i;
1625622e2028SHong Zhang           ncols_upper++;
1626622e2028SHong Zhang         }
1627622e2028SHong Zhang       }
1628b635d36bSHong Zhang       ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
16297a48dd6fSHong Zhang       nzk += nlnk;
16307a48dd6fSHong Zhang 
16317a48dd6fSHong Zhang       /* update lnk by computing fill-in for each pivot row to be merged in */
16327a48dd6fSHong Zhang       prow = jl[k]; /* 1st pivot row */
16337a48dd6fSHong Zhang 
16347a48dd6fSHong Zhang       while (prow < k){
16357a48dd6fSHong Zhang         nextprow = jl[prow];
16367a48dd6fSHong Zhang 
16377a48dd6fSHong Zhang         /* merge prow into k-th row */
16387a48dd6fSHong Zhang         jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:am-1) */
16397a48dd6fSHong Zhang         jmax = ui[prow+1];
16407a48dd6fSHong Zhang         ncols = jmax-jmin;
1641ed59401aSHong Zhang         i     = jmin - ui[prow];
1642ed59401aSHong Zhang         cols  = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */
16435a8e39fbSHong Zhang         uj    = uj_lvl_ptr[prow] + i; /* levels of cols */
16445a8e39fbSHong Zhang         j     = *(uj - 1);
16455a8e39fbSHong Zhang         ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr);
16467a48dd6fSHong Zhang         nzk += nlnk;
16477a48dd6fSHong Zhang 
16487a48dd6fSHong Zhang         /* update il and jl for prow */
16497a48dd6fSHong Zhang         if (jmin < jmax){
16507a48dd6fSHong Zhang           il[prow] = jmin;
16517a48dd6fSHong Zhang           j = *cols; jl[prow] = jl[j]; jl[j] = prow;
16527a48dd6fSHong Zhang         }
16537a48dd6fSHong Zhang         prow = nextprow;
16547a48dd6fSHong Zhang       }
16557a48dd6fSHong Zhang 
16567a48dd6fSHong Zhang       /* if free space is not available, make more free space */
16577a48dd6fSHong Zhang       if (current_space->local_remaining<nzk) {
16587a48dd6fSHong Zhang         i = am - k + 1; /* num of unfactored rows */
16597a48dd6fSHong Zhang         i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
1660a1a86e44SBarry Smith         ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
1661a1a86e44SBarry Smith         ierr = PetscFreeSpaceGet(i,&current_space_lvl);CHKERRQ(ierr);
16627a48dd6fSHong Zhang         reallocs++;
16637a48dd6fSHong Zhang       }
16647a48dd6fSHong Zhang 
16657a48dd6fSHong Zhang       /* copy data into free_space and free_space_lvl, then initialize lnk */
1666b635d36bSHong Zhang       if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k);
16672ed133dbSHong Zhang       ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
16687a48dd6fSHong Zhang 
16697a48dd6fSHong Zhang       /* add the k-th row into il and jl */
167039e3d630SHong Zhang       if (nzk > 1){
16717a48dd6fSHong Zhang         i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
16727a48dd6fSHong Zhang         jl[k] = jl[i]; jl[i] = k;
16737a48dd6fSHong Zhang         il[k] = ui[k] + 1;
16747a48dd6fSHong Zhang       }
16757a48dd6fSHong Zhang       uj_ptr[k]     = current_space->array;
16767a48dd6fSHong Zhang       uj_lvl_ptr[k] = current_space_lvl->array;
16777a48dd6fSHong Zhang 
16787a48dd6fSHong Zhang       current_space->array           += nzk;
16797a48dd6fSHong Zhang       current_space->local_used      += nzk;
16807a48dd6fSHong Zhang       current_space->local_remaining -= nzk;
16817a48dd6fSHong Zhang 
16827a48dd6fSHong Zhang       current_space_lvl->array           += nzk;
16837a48dd6fSHong Zhang       current_space_lvl->local_used      += nzk;
16847a48dd6fSHong Zhang       current_space_lvl->local_remaining -= nzk;
16857a48dd6fSHong Zhang 
16867a48dd6fSHong Zhang       ui[k+1] = ui[k] + nzk;
16877a48dd6fSHong Zhang     }
16887a48dd6fSHong Zhang 
16896cf91177SBarry Smith #if defined(PETSC_USE_INFO)
16907a48dd6fSHong Zhang     if (ai[am] != 0) {
169139e3d630SHong Zhang       PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]);
1692ae15b995SBarry Smith       ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
1693ae15b995SBarry Smith       ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1694ae15b995SBarry Smith       ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
16957a48dd6fSHong Zhang     } else {
1696ae15b995SBarry Smith       ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
16977a48dd6fSHong Zhang     }
169863ba0a88SBarry Smith #endif
16997a48dd6fSHong Zhang 
17007a48dd6fSHong Zhang     ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
1701b635d36bSHong Zhang     ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr);
17027a48dd6fSHong Zhang     ierr = PetscFree(jl);CHKERRQ(ierr);
17035a8e39fbSHong Zhang     ierr = PetscFree(ajtmp);CHKERRQ(ierr);
17047a48dd6fSHong Zhang 
17057a48dd6fSHong Zhang     /* destroy list of free space and other temporary array(s) */
17067a48dd6fSHong Zhang     ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
1707a1a86e44SBarry Smith     ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
17082ed133dbSHong Zhang     ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
1709a1a86e44SBarry Smith     ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
17107a48dd6fSHong Zhang 
171139e3d630SHong Zhang   } /* end of case: levels>0 || (levels=0 && !perm_identity) */
171239e3d630SHong Zhang 
17137a48dd6fSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
17147a48dd6fSHong Zhang 
1715719d5645SBarry Smith   b    = (Mat_SeqSBAIJ*)(fact)->data;
17167a48dd6fSHong Zhang   b->singlemalloc = PETSC_FALSE;
17177a48dd6fSHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
17187a48dd6fSHong Zhang   b->j    = uj;
17197a48dd6fSHong Zhang   b->i    = ui;
17207a48dd6fSHong Zhang   b->diag = 0;
17217a48dd6fSHong Zhang   b->ilen = 0;
17227a48dd6fSHong Zhang   b->imax = 0;
17237a48dd6fSHong Zhang   b->row  = perm;
1724b635d36bSHong Zhang   b->col  = perm;
1725b635d36bSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
1726b635d36bSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
1727b635d36bSHong Zhang   b->icol = iperm;
17287a48dd6fSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
17297a48dd6fSHong Zhang   ierr    = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1730719d5645SBarry Smith   ierr = PetscLogObjectMemory((fact),(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
17317a48dd6fSHong Zhang   b->maxnz   = b->nz = ui[am];
1732e6b907acSBarry Smith   b->free_a  = PETSC_TRUE;
1733e6b907acSBarry Smith   b->free_ij = PETSC_TRUE;
17347a48dd6fSHong Zhang 
1735719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1736719d5645SBarry Smith   (fact)->info.fill_ratio_given  = fill;
17377a48dd6fSHong Zhang   if (ai[am] != 0) {
1738719d5645SBarry Smith     (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]);
17397a48dd6fSHong Zhang   } else {
1740719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 0.0;
17417a48dd6fSHong Zhang   }
1742719d5645SBarry Smith   (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ;
1743a6175056SHong Zhang   PetscFunctionReturn(0);
1744a6175056SHong Zhang }
1745d5d45c9bSBarry Smith 
1746f76d2b81SHong Zhang #undef __FUNCT__
1747f76d2b81SHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ"
17480481f469SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info)
1749f76d2b81SHong Zhang {
1750f76d2b81SHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data;
175110c27e3dSHong Zhang   Mat_SeqSBAIJ       *b;
1752dfbe8321SBarry Smith   PetscErrorCode     ierr;
1753f76d2b81SHong Zhang   PetscTruth         perm_identity;
175410c27e3dSHong Zhang   PetscReal          fill = info->fill;
17555d0c19d7SBarry Smith   const PetscInt     *rip,*riip;
17565d0c19d7SBarry Smith   PetscInt           i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow;
175710c27e3dSHong Zhang   PetscInt           *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow;
17582ed133dbSHong Zhang   PetscInt           nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr;
1759a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
176010c27e3dSHong Zhang   PetscBT            lnkbt;
17612ed133dbSHong Zhang   IS                 iperm;
1762f76d2b81SHong Zhang 
1763f76d2b81SHong Zhang   PetscFunctionBegin;
1764d0f46423SBarry 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);
17652ed133dbSHong Zhang   /* check whether perm is the identity mapping */
1766f76d2b81SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
17672ed133dbSHong Zhang   ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr);
17682ed133dbSHong Zhang   ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr);
17699bfd6278SHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
177010c27e3dSHong Zhang 
177110c27e3dSHong Zhang   /* initialization */
17721393bc97SHong Zhang   ierr  = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
177310c27e3dSHong Zhang   ui[0] = 0;
177410c27e3dSHong Zhang 
177510c27e3dSHong Zhang   /* jl: linked list for storing indices of the pivot rows
17761393bc97SHong Zhang      il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
17771393bc97SHong Zhang   ierr = PetscMalloc((3*am+1)*sizeof(PetscInt)+am*sizeof(PetscInt**),&jl);CHKERRQ(ierr);
17781393bc97SHong Zhang   il     = jl + am;
17791393bc97SHong Zhang   cols   = il + am;
17801393bc97SHong Zhang   ui_ptr = (PetscInt**)(cols + am);
17811393bc97SHong Zhang   for (i=0; i<am; i++){
17821393bc97SHong Zhang     jl[i] = am; il[i] = 0;
1783f76d2b81SHong Zhang   }
178410c27e3dSHong Zhang 
178510c27e3dSHong Zhang   /* create and initialize a linked list for storing column indices of the active row k */
17861393bc97SHong Zhang   nlnk = am + 1;
17871393bc97SHong Zhang   ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
178810c27e3dSHong Zhang 
17891393bc97SHong Zhang   /* initial FreeSpace size is fill*(ai[am]+1) */
1790a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr);
179110c27e3dSHong Zhang   current_space = free_space;
179210c27e3dSHong Zhang 
17931393bc97SHong Zhang   for (k=0; k<am; k++){  /* for each active row k */
179410c27e3dSHong Zhang     /* initialize lnk by the column indices of row rip[k] of A */
179510c27e3dSHong Zhang     nzk   = 0;
17962ed133dbSHong Zhang     ncols = ai[rip[k]+1] - ai[rip[k]];
17973b4a8b6dSBarry 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);
17982ed133dbSHong Zhang     ncols_upper = 0;
17992ed133dbSHong Zhang     for (j=0; j<ncols; j++){
18009bfd6278SHong Zhang       i = riip[*(aj + ai[rip[k]] + j)];
18012ed133dbSHong Zhang       if (i >= k){ /* only take upper triangular entry */
18022ed133dbSHong Zhang         cols[ncols_upper] = i;
18032ed133dbSHong Zhang         ncols_upper++;
18042ed133dbSHong Zhang       }
18052ed133dbSHong Zhang     }
18061393bc97SHong Zhang     ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
180710c27e3dSHong Zhang     nzk += nlnk;
180810c27e3dSHong Zhang 
180910c27e3dSHong Zhang     /* update lnk by computing fill-in for each pivot row to be merged in */
181010c27e3dSHong Zhang     prow = jl[k]; /* 1st pivot row */
181110c27e3dSHong Zhang 
181210c27e3dSHong Zhang     while (prow < k){
181310c27e3dSHong Zhang       nextprow = jl[prow];
181410c27e3dSHong Zhang       /* merge prow into k-th row */
18151393bc97SHong Zhang       jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:am-1) */
181610c27e3dSHong Zhang       jmax = ui[prow+1];
181710c27e3dSHong Zhang       ncols = jmax-jmin;
18181393bc97SHong Zhang       uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */
18195a8e39fbSHong Zhang       ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
182010c27e3dSHong Zhang       nzk += nlnk;
182110c27e3dSHong Zhang 
182210c27e3dSHong Zhang       /* update il and jl for prow */
182310c27e3dSHong Zhang       if (jmin < jmax){
182410c27e3dSHong Zhang         il[prow] = jmin;
18252ed133dbSHong Zhang         j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow;
182610c27e3dSHong Zhang       }
182710c27e3dSHong Zhang       prow = nextprow;
182810c27e3dSHong Zhang     }
182910c27e3dSHong Zhang 
183010c27e3dSHong Zhang     /* if free space is not available, make more free space */
183110c27e3dSHong Zhang     if (current_space->local_remaining<nzk) {
18321393bc97SHong Zhang       i = am - k + 1; /* num of unfactored rows */
183310c27e3dSHong Zhang       i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
1834a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
183510c27e3dSHong Zhang       reallocs++;
183610c27e3dSHong Zhang     }
183710c27e3dSHong Zhang 
183810c27e3dSHong Zhang     /* copy data into free space, then initialize lnk */
18391393bc97SHong Zhang     ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
184010c27e3dSHong Zhang 
184110c27e3dSHong Zhang     /* add the k-th row into il and jl */
184210c27e3dSHong Zhang     if (nzk-1 > 0){
18431393bc97SHong Zhang       i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
184410c27e3dSHong Zhang       jl[k] = jl[i]; jl[i] = k;
184510c27e3dSHong Zhang       il[k] = ui[k] + 1;
184610c27e3dSHong Zhang     }
18472ed133dbSHong Zhang     ui_ptr[k] = current_space->array;
184810c27e3dSHong Zhang     current_space->array           += nzk;
184910c27e3dSHong Zhang     current_space->local_used      += nzk;
185010c27e3dSHong Zhang     current_space->local_remaining -= nzk;
185110c27e3dSHong Zhang 
185210c27e3dSHong Zhang     ui[k+1] = ui[k] + nzk;
185310c27e3dSHong Zhang   }
185410c27e3dSHong Zhang 
18556cf91177SBarry Smith #if defined(PETSC_USE_INFO)
18561393bc97SHong Zhang   if (ai[am] != 0) {
18571393bc97SHong Zhang     PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]);
1858ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
1859ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1860ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
186110c27e3dSHong Zhang   } else {
1862ae15b995SBarry Smith      ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
186310c27e3dSHong Zhang   }
186463ba0a88SBarry Smith #endif
186510c27e3dSHong Zhang 
186610c27e3dSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
18679bfd6278SHong Zhang   ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr);
186810c27e3dSHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
186910c27e3dSHong Zhang 
187010c27e3dSHong Zhang   /* destroy list of free space and other temporary array(s) */
18711393bc97SHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
1872a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
187310c27e3dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
187410c27e3dSHong Zhang 
187510c27e3dSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
187610c27e3dSHong Zhang 
1877719d5645SBarry Smith   b = (Mat_SeqSBAIJ*)(fact)->data;
187810c27e3dSHong Zhang   b->singlemalloc = PETSC_FALSE;
1879e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
1880e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
18811393bc97SHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
188210c27e3dSHong Zhang   b->j    = uj;
188310c27e3dSHong Zhang   b->i    = ui;
188410c27e3dSHong Zhang   b->diag = 0;
188510c27e3dSHong Zhang   b->ilen = 0;
188610c27e3dSHong Zhang   b->imax = 0;
188710c27e3dSHong Zhang   b->row  = perm;
18889bfd6278SHong Zhang   b->col  = perm;
18899bfd6278SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
18909bfd6278SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
18919bfd6278SHong Zhang   b->icol = iperm;
189210c27e3dSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
18931393bc97SHong Zhang   ierr    = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1894719d5645SBarry Smith   ierr    = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
18951393bc97SHong Zhang   b->maxnz = b->nz = ui[am];
189610c27e3dSHong Zhang 
1897719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1898719d5645SBarry Smith   (fact)->info.fill_ratio_given  = fill;
18991393bc97SHong Zhang   if (ai[am] != 0) {
1900719d5645SBarry Smith     (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]);
190110c27e3dSHong Zhang   } else {
1902719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 0.0;
190310c27e3dSHong Zhang   }
1904719d5645SBarry Smith   (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ;
1905f76d2b81SHong Zhang   PetscFunctionReturn(0);
1906f76d2b81SHong Zhang }
1907599ef60dSHong Zhang 
1908599ef60dSHong Zhang #undef __FUNCT__
1909599ef60dSHong Zhang #define __FUNCT__ "MatILUDTFactorSymbolic_SeqAIJ"
1910599ef60dSHong Zhang PetscErrorCode MatILUDTFactorSymbolic_SeqAIJ(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info)
1911599ef60dSHong Zhang {
1912599ef60dSHong Zhang   Mat_SeqAIJ       *a = (Mat_SeqAIJ*)A->data,*b;
1913599ef60dSHong Zhang   IS               isicol;
1914599ef60dSHong Zhang   PetscErrorCode   ierr;
1915599ef60dSHong Zhang   PetscInt         d,n=A->rmap->n,*ai=a->i;
1916599ef60dSHong Zhang   PetscInt         *bi,*bj,*bdiag,nnz,dtcount;
1917599ef60dSHong Zhang   PetscScalar      *ba;
1918599ef60dSHong Zhang   PetscTruth       missing;
1919599ef60dSHong Zhang 
1920599ef60dSHong Zhang   PetscFunctionBegin;
1921599ef60dSHong Zhang   if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square");
1922599ef60dSHong Zhang   ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
1923599ef60dSHong Zhang   if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
1924599ef60dSHong Zhang 
1925599ef60dSHong Zhang   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
1926599ef60dSHong Zhang 
1927599ef60dSHong Zhang   /* get new row pointers */
1928599ef60dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
1929599ef60dSHong Zhang 
1930599ef60dSHong Zhang   /* bdiag is location of diagonal in factor */
1931599ef60dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
1932599ef60dSHong Zhang 
19338369b28dSHong Zhang   /* max num of nonzero entries is (ai[n]+2*n*dtcount+1) */
1934599ef60dSHong Zhang   dtcount = (PetscInt)info->dtcount;
19358369b28dSHong Zhang   nnz  = ai[n]+2*n*dtcount+1;
1936599ef60dSHong Zhang   ierr = PetscMalloc2(nnz,PetscInt,&bj,nnz,PetscScalar,&ba);CHKERRQ(ierr);
19378369b28dSHong Zhang   /* printf("nnz %d\n",nnz); */
1938599ef60dSHong Zhang 
1939599ef60dSHong Zhang   /* put together the new matrix */
1940599ef60dSHong Zhang   ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
1941599ef60dSHong Zhang   ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr);
1942599ef60dSHong Zhang   b    = (Mat_SeqAIJ*)(B)->data;
1943599ef60dSHong Zhang   b->free_a       = PETSC_TRUE;
1944599ef60dSHong Zhang   b->free_ij      = PETSC_TRUE;
1945599ef60dSHong Zhang   b->singlemalloc = PETSC_FALSE;
1946599ef60dSHong Zhang   b->a          = ba;
1947599ef60dSHong Zhang   b->j          = bj;
1948599ef60dSHong Zhang   b->i          = bi;
1949599ef60dSHong Zhang   b->diag       = bdiag;
1950599ef60dSHong Zhang   b->ilen       = 0;
1951599ef60dSHong Zhang   b->imax       = 0;
1952599ef60dSHong Zhang   b->row        = isrow;
1953599ef60dSHong Zhang   b->col        = iscol;
1954599ef60dSHong Zhang   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1955599ef60dSHong Zhang   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
1956599ef60dSHong Zhang   b->icol       = isicol;
1957599ef60dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1958599ef60dSHong Zhang 
1959599ef60dSHong Zhang   ierr = PetscLogObjectMemory(B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
1960599ef60dSHong Zhang 
1961599ef60dSHong Zhang   b->maxnz = b->nz = nnz;
1962599ef60dSHong Zhang 
1963599ef60dSHong Zhang   (B)->factor                = MAT_FACTOR_ILUDT;
1964599ef60dSHong Zhang   (B)->info.factor_mallocs   = 0;
1965599ef60dSHong Zhang   (B)->info.fill_ratio_given = ((PetscReal)nnz)/((PetscReal)ai[n]);
1966599ef60dSHong Zhang   B->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ;
1967599ef60dSHong Zhang   PetscFunctionReturn(0);
1968599ef60dSHong Zhang }
1969599ef60dSHong Zhang 
1970599ef60dSHong Zhang #undef __FUNCT__
1971599ef60dSHong Zhang #define __FUNCT__ "MatILUDTFactorNumeric_SeqAIJ"
1972599ef60dSHong Zhang PetscErrorCode MatILUDTFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info)
1973599ef60dSHong Zhang {
1974599ef60dSHong Zhang   Mat_SeqAIJ         *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ*)B->data;
1975599ef60dSHong Zhang   IS                 isrow=b->row,isicol=b->icol;
1976599ef60dSHong Zhang   PetscErrorCode     ierr;
1977599ef60dSHong Zhang   const PetscInt     *r,*ic;
19788369b28dSHong Zhang   PetscInt           i,n=A->rmap->n,*ai=a->i,*aj=a->j,*ajtmp,*adiag=a->diag;
19798369b28dSHong Zhang   PetscInt           *bi=b->i,*bj=b->j,*bdiag=b->diag;
19808369b28dSHong Zhang   PetscInt           row,nzi,nzi_bl,nzi_bu,*im,dtcount,nzi_al,nzi_au;
1981599ef60dSHong Zhang   PetscInt           nlnk,*lnk;
1982599ef60dSHong Zhang   PetscBT            lnkbt;
1983599ef60dSHong Zhang   PetscTruth         row_identity,icol_identity,both_identity;
19848369b28dSHong Zhang   MatScalar          *v,*pv,*batmp,*ba=b->a,*rtmp,*pc,multiplier,*vtmp;
1985599ef60dSHong Zhang   const PetscInt     *ics;
19868369b28dSHong Zhang   PetscInt           j,nz,*pj,*bjtmp,k,ncut,*jtmp;
19878369b28dSHong Zhang   PetscReal          dt=info->dt;
1988599ef60dSHong Zhang 
1989599ef60dSHong Zhang   PetscFunctionBegin;
1990599ef60dSHong Zhang   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
1991599ef60dSHong Zhang   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
1992599ef60dSHong Zhang   ics  = ic;
1993599ef60dSHong Zhang 
1994599ef60dSHong Zhang   /* linked list for storing column indices of the active row */
1995599ef60dSHong Zhang   nlnk = n + 1;
1996599ef60dSHong Zhang   ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
1997599ef60dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&im);CHKERRQ(ierr);
19988369b28dSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr);
19998369b28dSHong Zhang   vtmp = rtmp + n;
20008369b28dSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&jtmp);CHKERRQ(ierr);
2001599ef60dSHong Zhang 
2002599ef60dSHong Zhang   dtcount = (PetscInt)info->dtcount;
2003599ef60dSHong Zhang 
2004599ef60dSHong Zhang   bi[0]    = 0;
2005599ef60dSHong Zhang   bdiag[0] = 0; /* location of diagonal in factor B */
2006599ef60dSHong Zhang   for (i=0; i<n; i++) {
2007599ef60dSHong Zhang     /* copy initial fill into linked list */
2008599ef60dSHong Zhang     nzi = 0; /* nonzeros for active row i */
20098369b28dSHong Zhang     nzi = ai[r[i]+1] - ai[r[i]];
20108369b28dSHong 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);
20118369b28dSHong Zhang     nzi_al = adiag[r[i]] - ai[r[i]];
20128369b28dSHong Zhang     nzi_au = ai[r[i]+1] - adiag[r[i]] -1;
2013599ef60dSHong Zhang     ajtmp = aj + ai[r[i]];
20148369b28dSHong Zhang     ierr = PetscLLAddPerm(nzi,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
2015599ef60dSHong Zhang 
2016599ef60dSHong Zhang     /* load in initial (unfactored row) */
2017599ef60dSHong Zhang     ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
2018599ef60dSHong Zhang     v = a->a + ai[r[i]];
20198369b28dSHong Zhang     for (j=0; j<nzi; j++) {
2020599ef60dSHong Zhang       rtmp[ics[ajtmp[j]]] = v[j];
2021599ef60dSHong Zhang     }
2022599ef60dSHong Zhang 
2023599ef60dSHong Zhang     /* add pivot rows into linked list */
2024599ef60dSHong Zhang     row = lnk[n];
2025599ef60dSHong Zhang     while (row < i) {
20268369b28dSHong Zhang       nzi_bl  = bdiag[row] - bi[row] + 1; /* num of entries in the row with column index <= row */
20278369b28dSHong Zhang       ajtmp = bj + bi[row] + nzi_bl; /* points to the column next to the diagonal */
20288369b28dSHong Zhang       ierr  = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzi_bl,im);CHKERRQ(ierr);
2029599ef60dSHong Zhang       nzi  += nlnk;
2030599ef60dSHong Zhang       row   = lnk[row];
2031599ef60dSHong Zhang     }
2032599ef60dSHong Zhang 
20338369b28dSHong Zhang     /* copy data from lnk into jtmp, then initialize lnk */
20348369b28dSHong Zhang     ierr = PetscLLClean(n,n,nzi,lnk,jtmp,lnkbt);CHKERRQ(ierr);
2035599ef60dSHong Zhang 
2036599ef60dSHong Zhang     /* numerical factorization */
20378369b28dSHong Zhang     bjtmp = jtmp;
2038599ef60dSHong Zhang     row = *bjtmp++; /* 1st pivot row */
2039599ef60dSHong Zhang     while  (row < i) {
2040599ef60dSHong Zhang       pc = rtmp + row;
2041599ef60dSHong Zhang       /* apply tolerance dropping rule */
2042599ef60dSHong Zhang       if (PetscAbsScalar(*pc) > dt){
2043599ef60dSHong Zhang         pv         = ba + bdiag[row]; /* diag of the pivot row */
2044599ef60dSHong Zhang         pj         = bj + bdiag[row] + 1;
2045599ef60dSHong Zhang         multiplier = *pc / *pv++;
2046599ef60dSHong Zhang         *pc        = multiplier;
2047599ef60dSHong Zhang         nz         = bi[row+1] - bdiag[row] - 1;
2048599ef60dSHong Zhang         for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
2049*dc0b31edSSatish Balay         ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr);
2050599ef60dSHong Zhang       }
2051599ef60dSHong Zhang       row = *bjtmp++;
2052599ef60dSHong Zhang     }
2053599ef60dSHong Zhang 
20548369b28dSHong Zhang     /* copy sparse rtmp into contiguous vtmp; separate L and U part */
20558369b28dSHong Zhang     /* printf("row %d:\n",i); */
20568369b28dSHong Zhang     nzi_bl = 0; j = 0;
20578369b28dSHong Zhang     while (jtmp[j] < i){ /* Note: jtmp is sorted */
20588369b28dSHong Zhang       vtmp[j] = rtmp[jtmp[j]];
20598369b28dSHong Zhang       nzi_bl++; j++;
20608369b28dSHong Zhang     }
20618369b28dSHong Zhang     nzi_bu = nzi - nzi_bl -1;
20628369b28dSHong Zhang     while (j < nzi){
20638369b28dSHong Zhang       vtmp[j] = rtmp[jtmp[j]];
20648369b28dSHong Zhang       j++;
20658369b28dSHong Zhang     }
20668369b28dSHong Zhang 
2067599ef60dSHong Zhang     bjtmp = bj + bi[i];
2068599ef60dSHong Zhang     batmp = ba + bi[i];
20698369b28dSHong Zhang     /* apply level dropping rule to L part */
20708369b28dSHong Zhang     ncut = nzi_al + dtcount;
20718369b28dSHong Zhang     if (ncut < nzi_bl){
20728369b28dSHong Zhang       ierr = PetscSortSplit(ncut,nzi_bl,vtmp,jtmp);CHKERRQ(ierr);
20738369b28dSHong Zhang       ierr = PetscSortIntWithScalarArray(ncut,jtmp,vtmp);CHKERRQ(ierr);
2074599ef60dSHong Zhang     } else {
20758369b28dSHong Zhang       ncut = nzi_bl;
20768369b28dSHong Zhang     }
20778369b28dSHong Zhang     for (j=0; j<ncut; j++){
20788369b28dSHong Zhang       bjtmp[j] = jtmp[j];
20798369b28dSHong Zhang       batmp[j] = vtmp[j];
20808369b28dSHong Zhang       /* printf(" (%d,%g),",bjtmp[j],batmp[j]); */
20818369b28dSHong Zhang     }
20828369b28dSHong Zhang 
20838369b28dSHong Zhang     /* mark bdiagonal */
20848369b28dSHong Zhang     bdiag[i] = bi[i] + ncut;
20858369b28dSHong Zhang     bjtmp[ncut] = i;
20868369b28dSHong Zhang     batmp[ncut] = rtmp[i];
20878369b28dSHong Zhang     /* printf(" diag(%d,%g),",bjtmp[ncut],batmp[ncut]); */
20888369b28dSHong Zhang     j++;
20898369b28dSHong Zhang     nzi = ncut + 1;
20908369b28dSHong Zhang 
20918369b28dSHong Zhang     /* apply level dropping rule to U part */
20928369b28dSHong Zhang     ncut = nzi_au + dtcount;
20938369b28dSHong Zhang     if (ncut < nzi_bu){
20948369b28dSHong Zhang       ierr = PetscSortSplit(ncut,nzi_bu,vtmp+nzi_bl+1,jtmp+nzi_bl+1);CHKERRQ(ierr);
20958369b28dSHong Zhang       ierr = PetscSortIntWithScalarArray(ncut,jtmp+nzi_bl+1,vtmp+nzi_bl+1);CHKERRQ(ierr);
20968369b28dSHong Zhang     } else {
20978369b28dSHong Zhang       ncut = nzi_bu;
20988369b28dSHong Zhang     }
20998369b28dSHong Zhang     nzi += ncut;
21008369b28dSHong Zhang     /* printf(" \nU level dropping ..."); */
21018369b28dSHong Zhang     for (k=0; k<ncut; k++){
21028369b28dSHong Zhang       bjtmp[j] = jtmp[nzi_bl+1+k];
21038369b28dSHong Zhang       batmp[j] = vtmp[nzi_bl+1+k];
21048369b28dSHong Zhang       /* printf(" (%d,%g),",bjtmp[j],batmp[j]); */
2105599ef60dSHong Zhang       j++;
2106599ef60dSHong Zhang     }
2107599ef60dSHong Zhang 
2108599ef60dSHong Zhang     bi[i+1] = bi[i] + nzi;
2109599ef60dSHong Zhang     im[i]   = nzi; /* used by PetscLLAddSortedLU() */
2110599ef60dSHong Zhang     /*
21118369b28dSHong Zhang       printf("bi[%d] = %d\n",i+1,bi[i+1]);
21128369b28dSHong Zhang       printf(" ----------------------------\n");
2113599ef60dSHong Zhang     */
21148369b28dSHong Zhang   } /* for (i=0; i<n; i++) */
2115599ef60dSHong Zhang 
2116599ef60dSHong Zhang   /* invert diagonal entries for simplier triangular solves */
2117599ef60dSHong Zhang   for (i=0; i<n; i++) {
2118599ef60dSHong Zhang     ba[bdiag[i]] = 1.0/ba[bdiag[i]];
2119599ef60dSHong Zhang   }
2120599ef60dSHong Zhang 
2121599ef60dSHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
2122599ef60dSHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
2123599ef60dSHong Zhang 
2124599ef60dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
2125599ef60dSHong Zhang   ierr = PetscFree(im);CHKERRQ(ierr);
2126599ef60dSHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
21278369b28dSHong Zhang   ierr = PetscFree(jtmp);CHKERRQ(ierr);
2128599ef60dSHong Zhang 
2129599ef60dSHong Zhang   ierr = PetscLogFlops(B->cmap->n);CHKERRQ(ierr);
2130599ef60dSHong Zhang 
2131599ef60dSHong Zhang   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
2132599ef60dSHong Zhang   ierr = ISIdentity(isicol,&icol_identity);CHKERRQ(ierr);
2133599ef60dSHong Zhang   both_identity = (PetscTruth) (row_identity && icol_identity);
2134599ef60dSHong Zhang 
2135599ef60dSHong Zhang   if (row_identity && icol_identity) {
2136599ef60dSHong Zhang     B->ops->solve = MatSolve_SeqAIJ_NaturalOrdering;
2137599ef60dSHong Zhang   } else {
2138599ef60dSHong Zhang     B->ops->solve = MatSolve_SeqAIJ;
2139599ef60dSHong Zhang   }
2140599ef60dSHong Zhang 
2141599ef60dSHong Zhang   B->ops->solveadd          = MatSolveAdd_SeqAIJ;
2142599ef60dSHong Zhang   B->ops->solvetranspose    = MatSolveTranspose_SeqAIJ;
2143599ef60dSHong Zhang   B->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ;
2144599ef60dSHong Zhang   B->ops->matsolve          = MatMatSolve_SeqAIJ;
2145599ef60dSHong Zhang   B->assembled              = PETSC_TRUE;
2146599ef60dSHong Zhang   B->preallocated           = PETSC_TRUE;
2147599ef60dSHong Zhang   PetscFunctionReturn(0);
2148599ef60dSHong Zhang }
2149599ef60dSHong Zhang 
2150