xref: /petsc/src/mat/impls/aij/seq/aijfact.c (revision 719d5645761d844e4357b7ee00a3296dffe0b787)
1be1d678aSKris Buschelman #define PETSCMAT_DLL
2289bc588SBarry Smith 
370f55243SBarry Smith #include "src/mat/impls/aij/seq/aij.h"
41c4feecaSSatish Balay #include "src/inline/dot.h"
5ed480e8bSBarry Smith #include "src/inline/spops.h"
61393bc97SHong Zhang #include "petscbt.h"
71393bc97SHong Zhang #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 */
517529efd4SKris Buschelman PetscErrorCode MatILUDTFactor_SeqAIJ(Mat A,IS isrow,IS iscol,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;
63d0f46423SBarry Smith   PetscInt       *c,*r,*ic,i,n = A->rmap->n;
6438baddfdSBarry Smith   PetscInt       *old_i = a->i,*old_j = a->j,*new_i,*old_i2 = 0,*old_j2 = 0,*new_j;
6538baddfdSBarry Smith   PetscInt       *ordcol,*iwk,*iperm,*jw;
6638baddfdSBarry Smith   PetscInt       jmax,lfill,job,*o_i,*o_j;
6754f21887SBarry Smith   MatScalar      *old_a = a->a,*w,*new_a,*old_a2 = 0,*wk,*o_a;
6854a8161fSBarry Smith   PetscReal      af;
6986bacbd2SBarry Smith 
7086bacbd2SBarry Smith   PetscFunctionBegin;
7186bacbd2SBarry Smith 
7286bacbd2SBarry Smith   if (info->dt == PETSC_DEFAULT)      info->dt      = .005;
7338baddfdSBarry Smith   if (info->dtcount == PETSC_DEFAULT) info->dtcount = (PetscInt)(1.5*a->rmax);
7486bacbd2SBarry Smith   if (info->dtcol == PETSC_DEFAULT)   info->dtcol   = .01;
7533259db3SBarry Smith   if (info->fill == PETSC_DEFAULT)    info->fill    = ((double)(n*(info->dtcount+1)))/a->nz;
7638baddfdSBarry Smith   lfill   = (PetscInt)(info->dtcount/2.0);
7738baddfdSBarry Smith   jmax    = (PetscInt)(info->fill*a->nz);
7886bacbd2SBarry Smith 
7986bacbd2SBarry Smith 
8086bacbd2SBarry Smith   /* ------------------------------------------------------------
8186bacbd2SBarry Smith      If reorder=.TRUE., then the original matrix has to be
8286bacbd2SBarry Smith      reordered to reflect the user selected ordering scheme, and
8386bacbd2SBarry Smith      then de-reordered so it is in it's original format.
8486bacbd2SBarry Smith      Because Saad's dperm() is NOT in place, we have to copy
8586bacbd2SBarry Smith      the original matrix and allocate more storage. . .
8686bacbd2SBarry Smith      ------------------------------------------------------------
8786bacbd2SBarry Smith   */
8886bacbd2SBarry Smith 
8986bacbd2SBarry Smith   /* set reorder to true if either isrow or iscol is not identity */
9086bacbd2SBarry Smith   ierr = ISIdentity(isrow,&reorder);CHKERRQ(ierr);
9186bacbd2SBarry Smith   if (reorder) {ierr = ISIdentity(iscol,&reorder);CHKERRQ(ierr);}
9286bacbd2SBarry Smith   reorder = PetscNot(reorder);
9386bacbd2SBarry Smith 
9486bacbd2SBarry Smith 
9586bacbd2SBarry Smith   /* storage for ilu factor */
9638baddfdSBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&new_i);CHKERRQ(ierr);
9738baddfdSBarry Smith   ierr = PetscMalloc(jmax*sizeof(PetscInt),&new_j);CHKERRQ(ierr);
98a77337e4SBarry Smith   ierr = PetscMalloc(jmax*sizeof(MatScalar),&new_a);CHKERRQ(ierr);
9938baddfdSBarry Smith   ierr = PetscMalloc(n*sizeof(PetscInt),&ordcol);CHKERRQ(ierr);
10086bacbd2SBarry Smith 
10186bacbd2SBarry Smith   /* ------------------------------------------------------------
10286bacbd2SBarry Smith      Make sure that everything is Fortran formatted (1-Based)
10386bacbd2SBarry Smith      ------------------------------------------------------------
10486bacbd2SBarry Smith   */
105b19713cbSBarry Smith   for (i=old_i[0];i<old_i[n];i++) {
106b19713cbSBarry Smith     old_j[i]++;
10786bacbd2SBarry Smith   }
108b19713cbSBarry Smith   for(i=0;i<n+1;i++) {
109b19713cbSBarry Smith     old_i[i]++;
110b19713cbSBarry Smith   };
111010a20caSHong Zhang 
11286bacbd2SBarry Smith 
11386bacbd2SBarry Smith   if (reorder) {
114c0c2c81eSBarry Smith     ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr);
115c0c2c81eSBarry Smith     ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
116c0c2c81eSBarry Smith     for(i=0;i<n;i++) {
117c0c2c81eSBarry Smith       r[i]  = r[i]+1;
118c0c2c81eSBarry Smith       c[i]  = c[i]+1;
119c0c2c81eSBarry Smith     }
12038baddfdSBarry Smith     ierr = PetscMalloc((n+1)*sizeof(PetscInt),&old_i2);CHKERRQ(ierr);
12138baddfdSBarry Smith     ierr = PetscMalloc((old_i[n]-old_i[0]+1)*sizeof(PetscInt),&old_j2);CHKERRQ(ierr);
122a77337e4SBarry Smith     ierr = PetscMalloc((old_i[n]-old_i[0]+1)*sizeof(MatScalar),&old_a2);CHKERRQ(ierr);
1235bd2ddc7SBarry Smith     job  = 3; SPARSEKIT2dperm(&n,old_a,old_j,old_i,old_a2,old_j2,old_i2,r,c,&job);
124c0c2c81eSBarry Smith     for (i=0;i<n;i++) {
125c0c2c81eSBarry Smith       r[i]  = r[i]-1;
126c0c2c81eSBarry Smith       c[i]  = c[i]-1;
127c0c2c81eSBarry Smith     }
128c0c2c81eSBarry Smith     ierr = ISRestoreIndices(iscol,&c);CHKERRQ(ierr);
129c0c2c81eSBarry Smith     ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
130b19713cbSBarry Smith     o_a = old_a2;
131b19713cbSBarry Smith     o_j = old_j2;
132b19713cbSBarry Smith     o_i = old_i2;
133b19713cbSBarry Smith   } else {
134b19713cbSBarry Smith     o_a = old_a;
135b19713cbSBarry Smith     o_j = old_j;
136b19713cbSBarry Smith     o_i = old_i;
13786bacbd2SBarry Smith   }
13886bacbd2SBarry Smith 
13986bacbd2SBarry Smith   /* ------------------------------------------------------------
14086bacbd2SBarry Smith      Call Saad's ilutp() routine to generate the factorization
14186bacbd2SBarry Smith      ------------------------------------------------------------
14286bacbd2SBarry Smith   */
14386bacbd2SBarry Smith 
14438baddfdSBarry Smith   ierr = PetscMalloc(2*n*sizeof(PetscInt),&iperm);CHKERRQ(ierr);
14538baddfdSBarry Smith   ierr = PetscMalloc(2*n*sizeof(PetscInt),&jw);CHKERRQ(ierr);
14687828ca2SBarry Smith   ierr = PetscMalloc(n*sizeof(PetscScalar),&w);CHKERRQ(ierr);
14786bacbd2SBarry Smith 
14854a8161fSBarry Smith   SPARSEKIT2ilutp(&n,o_a,o_j,o_i,&lfill,(PetscReal)info->dt,&info->dtcol,&n,new_a,new_j,new_i,&jmax,w,jw,iperm,&sierr);
1496849ba73SBarry Smith   if (sierr) {
1506849ba73SBarry Smith     switch (sierr) {
151a83599f4SBarry Smith       case -3: SETERRQ2(PETSC_ERR_LIB,"ilutp(), matrix U overflows, need larger info->fill current fill %G space allocated %D",info->fill,jmax);
152a83599f4SBarry Smith       case -2: SETERRQ2(PETSC_ERR_LIB,"ilutp(), matrix L overflows, need larger info->fill current fill %G space allocated %D",info->fill,jmax);
153e005ede5SBarry Smith       case -5: SETERRQ(PETSC_ERR_LIB,"ilutp(), zero row encountered");
154e005ede5SBarry Smith       case -1: SETERRQ(PETSC_ERR_LIB,"ilutp(), input matrix may be wrong");
15577431f27SBarry Smith       case -4: SETERRQ1(PETSC_ERR_LIB,"ilutp(), illegal info->fill value %D",jmax);
15677431f27SBarry Smith       default: SETERRQ1(PETSC_ERR_LIB,"ilutp(), zero pivot detected on row %D",sierr);
15786bacbd2SBarry Smith     }
15886bacbd2SBarry Smith   }
15986bacbd2SBarry Smith 
16086bacbd2SBarry Smith   ierr = PetscFree(w);CHKERRQ(ierr);
16186bacbd2SBarry Smith   ierr = PetscFree(jw);CHKERRQ(ierr);
16286bacbd2SBarry Smith 
16386bacbd2SBarry Smith   /* ------------------------------------------------------------
16486bacbd2SBarry Smith      Saad's routine gives the result in Modified Sparse Row (msr)
16586bacbd2SBarry Smith      Convert to Compressed Sparse Row format (csr)
16686bacbd2SBarry Smith      ------------------------------------------------------------
16786bacbd2SBarry Smith   */
16886bacbd2SBarry Smith 
16987828ca2SBarry Smith   ierr = PetscMalloc(n*sizeof(PetscScalar),&wk);CHKERRQ(ierr);
17038baddfdSBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&iwk);CHKERRQ(ierr);
17186bacbd2SBarry Smith 
1725bd2ddc7SBarry Smith   SPARSEKIT2msrcsr(&n,new_a,new_j,new_a,new_j,new_i,wk,iwk);
17386bacbd2SBarry Smith 
17486bacbd2SBarry Smith   ierr = PetscFree(iwk);CHKERRQ(ierr);
17586bacbd2SBarry Smith   ierr = PetscFree(wk);CHKERRQ(ierr);
17686bacbd2SBarry Smith 
17786bacbd2SBarry Smith   if (reorder) {
17886bacbd2SBarry Smith     ierr = PetscFree(old_a2);CHKERRQ(ierr);
17986bacbd2SBarry Smith     ierr = PetscFree(old_j2);CHKERRQ(ierr);
18086bacbd2SBarry Smith     ierr = PetscFree(old_i2);CHKERRQ(ierr);
181313ae024SBarry Smith   } else {
182b19713cbSBarry Smith     /* fix permutation of old_j that the factorization introduced */
183f170005cSBarry Smith     for (i=old_i[0]; i<old_i[n]; i++) {
184b19713cbSBarry Smith       old_j[i-1] = iperm[old_j[i-1]-1];
185b19713cbSBarry Smith     }
186b19713cbSBarry Smith   }
187b19713cbSBarry Smith 
188b801d0f9SBarry Smith   /* get rid of the shift to indices starting at 1 */
18986bacbd2SBarry Smith   for (i=0; i<n+1; i++) {
190b19713cbSBarry Smith     old_i[i]--;
191b19713cbSBarry Smith   }
192b19713cbSBarry Smith   for (i=old_i[0];i<old_i[n];i++) {
193b19713cbSBarry Smith     old_j[i]--;
194b19713cbSBarry Smith   }
19586bacbd2SBarry Smith 
196b19713cbSBarry Smith   /* Make the factored matrix 0-based */
19786bacbd2SBarry Smith   for (i=0; i<n+1; i++) {
198b19713cbSBarry Smith     new_i[i]--;
199b19713cbSBarry Smith   }
200b19713cbSBarry Smith   for (i=new_i[0];i<new_i[n];i++) {
201b19713cbSBarry Smith     new_j[i]--;
202b19713cbSBarry Smith   }
20386bacbd2SBarry Smith 
20486bacbd2SBarry Smith   /*-- due to the pivoting, we need to reorder iscol to correctly --*/
20586bacbd2SBarry Smith   /*-- permute the right-hand-side and solution vectors           --*/
2064c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
2074c49b128SBarry Smith   ierr = ISInvertPermutation(isrow,PETSC_DECIDE,&isirow);CHKERRQ(ierr);
208c0c2c81eSBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
20986bacbd2SBarry Smith   for(i=0; i<n; i++) {
21086bacbd2SBarry Smith     ordcol[i] = ic[iperm[i]-1];
21186bacbd2SBarry Smith   };
21286bacbd2SBarry Smith   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
21307d2056aSBarry Smith   ierr = ISDestroy(isicol);CHKERRQ(ierr);
21486bacbd2SBarry Smith 
215c0c2c81eSBarry Smith   ierr = PetscFree(iperm);CHKERRQ(ierr);
216c0c2c81eSBarry Smith 
217329f5518SBarry Smith   ierr = ISCreateGeneral(PETSC_COMM_SELF,n,ordcol,&iscolf);CHKERRQ(ierr);
21807d2056aSBarry Smith   ierr = PetscFree(ordcol);CHKERRQ(ierr);
21986bacbd2SBarry Smith 
22086bacbd2SBarry Smith   /*----- put together the new matrix -----*/
22186bacbd2SBarry Smith 
2227adad957SLisandro Dalcin   ierr = MatCreate(((PetscObject)A)->comm,fact);CHKERRQ(ierr);
223f69a0ea3SMatthew Knepley   ierr = MatSetSizes(*fact,n,n,n,n);CHKERRQ(ierr);
2247adad957SLisandro Dalcin   ierr = MatSetType(*fact,((PetscObject)A)->type_name);CHKERRQ(ierr);
225ab93d7beSBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(*fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
2265c9eb25fSBarry Smith   (*fact)->factor    = MAT_FACTOR_LU;
22786bacbd2SBarry Smith   (*fact)->assembled = PETSC_TRUE;
22886bacbd2SBarry Smith 
22986bacbd2SBarry Smith   b = (Mat_SeqAIJ*)(*fact)->data;
230e6b907acSBarry Smith   b->free_a        = PETSC_TRUE;
231e6b907acSBarry Smith   b->free_ij       = PETSC_TRUE;
23207d2056aSBarry Smith   b->singlemalloc  = PETSC_FALSE;
23386bacbd2SBarry Smith   b->a             = new_a;
23486bacbd2SBarry Smith   b->j             = new_j;
23586bacbd2SBarry Smith   b->i             = new_i;
23686bacbd2SBarry Smith   b->ilen          = 0;
23786bacbd2SBarry Smith   b->imax          = 0;
2381f9e874aSBarry Smith   /*  I am not sure why these are the inverses of the row and column permutations; but the other way is NO GOOD */
239313ae024SBarry Smith   b->row           = isirow;
24086bacbd2SBarry Smith   b->col           = iscolf;
24187828ca2SBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
24286bacbd2SBarry Smith   b->maxnz = b->nz = new_i[n];
24386bacbd2SBarry Smith   ierr = MatMarkDiagonal_SeqAIJ(*fact);CHKERRQ(ierr);
24486bacbd2SBarry Smith   (*fact)->info.factor_mallocs = 0;
24586bacbd2SBarry Smith 
246431e710aSBarry Smith   af = ((double)b->nz)/((double)a->nz) + .001;
247ae15b995SBarry Smith   ierr = PetscInfo2(A,"Fill ratio:given %G needed %G\n",info->fill,af);CHKERRQ(ierr);
248ae15b995SBarry Smith   ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
249ae15b995SBarry Smith   ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr);
250ae15b995SBarry Smith   ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
251431e710aSBarry Smith 
2527529efd4SKris Buschelman   ierr = MatILUDTFactor_Inode(A,isrow,iscol,info,fact);CHKERRQ(ierr);
25371c2f376SKris Buschelman 
25486bacbd2SBarry Smith   PetscFunctionReturn(0);
25560ec86bdSBarry Smith #endif
25686bacbd2SBarry Smith }
25786bacbd2SBarry Smith 
258e631078cSBarry Smith EXTERN_C_BEGIN
2594a2ae208SSatish Balay #undef __FUNCT__
260db4efbfdSBarry Smith #define __FUNCT__ "MatGetFactorAvailable_seqaij_petsc"
261db4efbfdSBarry Smith PetscErrorCode MatGetFactorAvailable_seqaij_petsc(Mat A,MatFactorType ftype,PetscTruth *flg)
262db4efbfdSBarry Smith {
263db4efbfdSBarry Smith   PetscFunctionBegin;
264db4efbfdSBarry Smith   *flg = PETSC_TRUE;
265db4efbfdSBarry Smith   PetscFunctionReturn(0);
266db4efbfdSBarry Smith }
267db4efbfdSBarry Smith EXTERN_C_END
268db4efbfdSBarry Smith 
269db4efbfdSBarry Smith EXTERN_C_BEGIN
270db4efbfdSBarry Smith #undef __FUNCT__
271b24902e0SBarry Smith #define __FUNCT__ "MatGetFactor_seqaij_petsc"
272b24902e0SBarry Smith PetscErrorCode MatGetFactor_seqaij_petsc(Mat A,MatFactorType ftype,Mat *B)
273b24902e0SBarry Smith {
274d0f46423SBarry Smith   PetscInt           n = A->rmap->n;
275b24902e0SBarry Smith   PetscErrorCode     ierr;
276b24902e0SBarry Smith 
277b24902e0SBarry Smith   PetscFunctionBegin;
278b24902e0SBarry Smith   ierr = MatCreate(((PetscObject)A)->comm,B);CHKERRQ(ierr);
279b24902e0SBarry Smith   ierr = MatSetSizes(*B,n,n,n,n);CHKERRQ(ierr);
280b24902e0SBarry Smith   if (ftype == MAT_FACTOR_LU || ftype == MAT_FACTOR_ILU) {
281b24902e0SBarry Smith     ierr = MatSetType(*B,MATSEQAIJ);CHKERRQ(ierr);
282db4efbfdSBarry Smith     (*B)->ops->lufactorsymbolic = MatLUFactorSymbolic_SeqAIJ;
283db4efbfdSBarry Smith     (*B)->ops->ilufactorsymbolic= MatILUFactorSymbolic_SeqAIJ;
284b24902e0SBarry Smith   } else if (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) {
285b24902e0SBarry Smith     ierr = MatSetType(*B,MATSEQSBAIJ);CHKERRQ(ierr);
286b24902e0SBarry Smith     ierr = MatSeqSBAIJSetPreallocation(*B,1,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
2875c9eb25fSBarry Smith     (*B)->ops->iccfactorsymbolic      = MatICCFactorSymbolic_SeqAIJ;
2885c9eb25fSBarry Smith     (*B)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqAIJ;
289b24902e0SBarry Smith   } else SETERRQ(PETSC_ERR_SUP,"Factor type not supported");
290db4efbfdSBarry Smith   (*B)->factor = ftype;
291b24902e0SBarry Smith   PetscFunctionReturn(0);
292b24902e0SBarry Smith }
293e631078cSBarry Smith EXTERN_C_END
294b24902e0SBarry Smith 
295b24902e0SBarry Smith #undef __FUNCT__
296b9617806SBarry Smith #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ"
297*719d5645SBarry Smith PetscErrorCode MatLUFactorSymbolic_SeqAIJ(Mat B,Mat A,IS isrow,IS iscol,MatFactorInfo *info)
298289bc588SBarry Smith {
299416022c9SBarry Smith   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
300289bc588SBarry Smith   IS                 isicol;
3016849ba73SBarry Smith   PetscErrorCode     ierr;
302d0f46423SBarry Smith   PetscInt           *r,*ic,i,n=A->rmap->n,*ai=a->i,*aj=a->j;
3031393bc97SHong Zhang   PetscInt           *bi,*bj,*ajtmp;
3041393bc97SHong Zhang   PetscInt           *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im;
3059e046878SBarry Smith   PetscReal          f;
3064875ba38SHong Zhang   PetscInt           nlnk,*lnk,k,**bi_ptr;
307a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
3081393bc97SHong Zhang   PetscBT            lnkbt;
309289bc588SBarry Smith 
3103a40ed3dSBarry Smith   PetscFunctionBegin;
311d0f46423SBarry Smith   if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square");
3124c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
313ac121b3dSBarry Smith   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
314ac121b3dSBarry Smith   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
315289bc588SBarry Smith 
316289bc588SBarry Smith   /* get new row pointers */
3171393bc97SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
3181393bc97SHong Zhang   bi[0] = 0;
3191393bc97SHong Zhang 
3201393bc97SHong Zhang   /* bdiag is location of diagonal in factor */
3211393bc97SHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
3221393bc97SHong Zhang   bdiag[0] = 0;
3231393bc97SHong Zhang 
3241393bc97SHong Zhang   /* linked list for storing column indices of the active row */
3251393bc97SHong Zhang   nlnk = n + 1;
3261393bc97SHong Zhang   ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
3271393bc97SHong Zhang 
32835baf27eSSatish Balay   ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr);
3291393bc97SHong Zhang 
3301393bc97SHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
331d3d32019SBarry Smith   f = info->fill;
332a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
3331393bc97SHong Zhang   current_space = free_space;
334289bc588SBarry Smith 
335289bc588SBarry Smith   for (i=0; i<n; i++) {
3361393bc97SHong Zhang     /* copy previous fill into linked list */
337289bc588SBarry Smith     nzi = 0;
3381393bc97SHong Zhang     nnz = ai[r[i]+1] - ai[r[i]];
3391393bc97SHong Zhang     if (!nnz) SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix");
3401393bc97SHong Zhang     ajtmp = aj + ai[r[i]];
341afcc9904SHong Zhang     ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr);
3421393bc97SHong Zhang     nzi += nlnk;
3431393bc97SHong Zhang 
3441393bc97SHong Zhang     /* add pivot rows into linked list */
3451393bc97SHong Zhang     row = lnk[n];
3461393bc97SHong Zhang     while (row < i) {
347d1170560SHong Zhang       nzbd    = bdiag[row] - bi[row] + 1; /* num of entries in the row with column index <= row */
348d1170560SHong Zhang       ajtmp   = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */
349d1170560SHong Zhang       ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr);
3501393bc97SHong Zhang       nzi += nlnk;
3511393bc97SHong Zhang       row  = lnk[row];
352289bc588SBarry Smith     }
3531393bc97SHong Zhang     bi[i+1] = bi[i] + nzi;
3541393bc97SHong Zhang     im[i]   = nzi;
3551393bc97SHong Zhang 
3561393bc97SHong Zhang     /* mark bdiag */
3571393bc97SHong Zhang     nzbd = 0;
3581393bc97SHong Zhang     nnz  = nzi;
3591393bc97SHong Zhang     k    = lnk[n];
3601393bc97SHong Zhang     while (nnz-- && k < i){
3611393bc97SHong Zhang       nzbd++;
3621393bc97SHong Zhang       k = lnk[k];
3631393bc97SHong Zhang     }
3641393bc97SHong Zhang     bdiag[i] = bi[i] + nzbd;
3651393bc97SHong Zhang 
3661393bc97SHong Zhang     /* if free space is not available, make more free space */
3671393bc97SHong Zhang     if (current_space->local_remaining<nzi) {
3681393bc97SHong Zhang       nnz = (n - i)*nzi; /* estimated and max additional space needed */
369a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
3701393bc97SHong Zhang       reallocs++;
3711393bc97SHong Zhang     }
3721393bc97SHong Zhang 
3731393bc97SHong Zhang     /* copy data into free space, then initialize lnk */
3741393bc97SHong Zhang     ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
3751393bc97SHong Zhang     bi_ptr[i] = current_space->array;
3761393bc97SHong Zhang     current_space->array           += nzi;
3771393bc97SHong Zhang     current_space->local_used      += nzi;
3781393bc97SHong Zhang     current_space->local_remaining -= nzi;
379289bc588SBarry Smith   }
3806cf91177SBarry Smith #if defined(PETSC_USE_INFO)
381464e8d44SSatish Balay   if (ai[n] != 0) {
3821393bc97SHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
383ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
384ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
385ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr);
386ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
38705bf559cSSatish Balay   } else {
388ae15b995SBarry Smith     ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr);
38905bf559cSSatish Balay   }
39063ba0a88SBarry Smith #endif
3912fb3ed76SBarry Smith 
392898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
393898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
3941987afe7SBarry Smith 
3951393bc97SHong Zhang   /* destroy list of free space and other temporary array(s) */
3961393bc97SHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
397a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr);
3981393bc97SHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
39935baf27eSSatish Balay   ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr);
400289bc588SBarry Smith 
401289bc588SBarry Smith   /* put together the new matrix */
402*719d5645SBarry Smith   ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr);
403*719d5645SBarry Smith   ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr);
404*719d5645SBarry Smith   b    = (Mat_SeqAIJ*)(B)->data;
405e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
406e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
4077c922b88SBarry Smith   b->singlemalloc = PETSC_FALSE;
4081393bc97SHong Zhang   ierr          = PetscMalloc((bi[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr);
4091393bc97SHong Zhang   b->j          = bj;
4101393bc97SHong Zhang   b->i          = bi;
4111393bc97SHong Zhang   b->diag       = bdiag;
412416022c9SBarry Smith   b->ilen       = 0;
413416022c9SBarry Smith   b->imax       = 0;
414416022c9SBarry Smith   b->row        = isrow;
415416022c9SBarry Smith   b->col        = iscol;
416c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
417c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
41882bf6240SBarry Smith   b->icol       = isicol;
41987828ca2SBarry Smith   ierr          = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
4201393bc97SHong Zhang 
4211393bc97SHong Zhang   /* In b structure:  Free imax, ilen, old a, old j.  Allocate solve_work, new a, new j */
422*719d5645SBarry Smith   ierr = PetscLogObjectMemory(B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
4231393bc97SHong Zhang   b->maxnz = b->nz = bi[n] ;
4247fd98bd6SLois Curfman McInnes 
425*719d5645SBarry Smith   (B)->factor                 =  MAT_FACTOR_LU;
426*719d5645SBarry Smith   (B)->info.factor_mallocs    = reallocs;
427*719d5645SBarry Smith   (B)->info.fill_ratio_given  = f;
428703deb49SSatish Balay 
429e93ccc4dSBarry Smith   if (ai[n] != 0) {
430*719d5645SBarry Smith     (B)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]);
431eea2913aSSatish Balay   } else {
432*719d5645SBarry Smith     (B)->info.fill_ratio_needed = 0.0;
433eea2913aSSatish Balay   }
434*719d5645SBarry Smith   (B)->ops->lufactornumeric  = MatLUFactorNumeric_SeqAIJ;
435*719d5645SBarry Smith   (B)->ops->solve            = MatSolve_SeqAIJ;
436*719d5645SBarry Smith   (B)->ops->solvetranspose   = MatSolveTranspose_SeqAIJ;
437db4efbfdSBarry Smith   /* switch to inodes if appropriate */
438*719d5645SBarry Smith   ierr = MatLUFactorSymbolic_Inode(B,A,isrow,iscol,info);CHKERRQ(ierr);
4393a40ed3dSBarry Smith   PetscFunctionReturn(0);
440289bc588SBarry Smith }
4411393bc97SHong Zhang 
4425b5bc046SBarry Smith /*
4435b5bc046SBarry Smith     Trouble in factorization, should we dump the original matrix?
4445b5bc046SBarry Smith */
4455b5bc046SBarry Smith #undef __FUNCT__
4465b5bc046SBarry Smith #define __FUNCT__ "MatFactorDumpMatrix"
4475b5bc046SBarry Smith PetscErrorCode MatFactorDumpMatrix(Mat A)
4485b5bc046SBarry Smith {
4495b5bc046SBarry Smith   PetscErrorCode ierr;
4505b5bc046SBarry Smith   PetscTruth     flg;
4515b5bc046SBarry Smith 
4525b5bc046SBarry Smith   PetscFunctionBegin;
4535b5bc046SBarry Smith   ierr = PetscOptionsHasName(PETSC_NULL,"-mat_factor_dump_on_error",&flg);CHKERRQ(ierr);
4545b5bc046SBarry Smith   if (flg) {
4555b5bc046SBarry Smith     PetscViewer viewer;
4565b5bc046SBarry Smith     char        filename[PETSC_MAX_PATH_LEN];
4575b5bc046SBarry Smith 
4585b5bc046SBarry Smith     ierr = PetscSNPrintf(filename,PETSC_MAX_PATH_LEN,"matrix_factor_error.%d",PetscGlobalRank);CHKERRQ(ierr);
4597adad957SLisandro Dalcin     ierr = PetscViewerBinaryOpen(((PetscObject)A)->comm,filename,FILE_MODE_WRITE,&viewer);CHKERRQ(ierr);
4605b5bc046SBarry Smith     ierr = MatView(A,viewer);CHKERRQ(ierr);
4615b5bc046SBarry Smith     ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr);
4625b5bc046SBarry Smith   }
4635b5bc046SBarry Smith   PetscFunctionReturn(0);
4645b5bc046SBarry Smith }
4655b5bc046SBarry Smith 
466db4efbfdSBarry Smith extern PetscErrorCode MatSolve_Inode(Mat,Vec,Vec);
467db4efbfdSBarry Smith 
4680a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
4694a2ae208SSatish Balay #undef __FUNCT__
4704a2ae208SSatish Balay #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ"
471*719d5645SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat B,Mat A,MatFactorInfo *info)
472289bc588SBarry Smith {
473*719d5645SBarry Smith   Mat            C=B;
474416022c9SBarry Smith   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data;
47582bf6240SBarry Smith   IS             isrow = b->row,isicol = b->icol;
4766849ba73SBarry Smith   PetscErrorCode ierr;
477d0f46423SBarry Smith   PetscInt       *r,*ic,i,j,n=A->rmap->n,*bi=b->i,*bj=b->j;
478b3bf805bSHong Zhang   PetscInt       *ajtmp,*bjtmp,nz,row,*ics;
479d2276718SHong Zhang   PetscInt       *diag_offset = b->diag,diag,*pj;
48054f21887SBarry Smith   PetscScalar    *rtmp,*pc,multiplier,*rtmps;
48154f21887SBarry Smith   MatScalar      *v,*pv;
4826a7c8fc2SHong Zhang   PetscScalar    d;
4836a7c8fc2SHong Zhang   PetscReal      rs;
484b3bf805bSHong Zhang   LUShift_Ctx    sctx;
48542898933SHong Zhang   PetscInt       newshift,*ddiag;
486289bc588SBarry Smith 
4873a40ed3dSBarry Smith   PetscFunctionBegin;
48878b31e54SBarry Smith   ierr  = ISGetIndices(isrow,&r);CHKERRQ(ierr);
48978b31e54SBarry Smith   ierr  = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
49087828ca2SBarry Smith   ierr  = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr);
49187828ca2SBarry Smith   ierr  = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
492010a20caSHong Zhang   rtmps = rtmp; ics = ic;
493289bc588SBarry Smith 
494ada7143aSSatish Balay   sctx.shift_top  = 0;
495ada7143aSSatish Balay   sctx.nshift_max = 0;
496ada7143aSSatish Balay   sctx.shift_lo   = 0;
497ada7143aSSatish Balay   sctx.shift_hi   = 0;
498ada7143aSSatish Balay 
499118f5789SBarry Smith   /* if both shift schemes are chosen by user, only use info->shiftpd */
500118f5789SBarry Smith   if (info->shiftpd && info->shiftnz) info->shiftnz = 0.0;
5011a890ab1SHong Zhang   if (info->shiftpd) { /* set sctx.shift_top=max{rs} */
5029deb78dcSHong Zhang     PetscInt *aai = a->i;
50342898933SHong Zhang     ddiag          = a->diag;
504118f5789SBarry Smith     sctx.shift_top = 0;
5056cc28720Svictorle     for (i=0; i<n; i++) {
5069f95998fSHong Zhang       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
5079f95998fSHong Zhang       d  = (a->a)[ddiag[i]];
5081a890ab1SHong Zhang       rs = -PetscAbsScalar(d) - PetscRealPart(d);
509010a20caSHong Zhang       v  = a->a+aai[i];
510e24cfe64SHong Zhang       nz = aai[i+1] - aai[i];
511e24cfe64SHong Zhang       for (j=0; j<nz; j++)
5121a890ab1SHong Zhang 	rs += PetscAbsScalar(v[j]);
5131a890ab1SHong Zhang       if (rs>sctx.shift_top) sctx.shift_top = rs;
5146cc28720Svictorle     }
515c3af1dc1SHong Zhang     if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot;
516118f5789SBarry Smith     sctx.shift_top    *= 1.1;
517d2276718SHong Zhang     sctx.nshift_max   = 5;
518d2276718SHong Zhang     sctx.shift_lo     = 0.;
519d2276718SHong Zhang     sctx.shift_hi     = 1.;
520a0a356efSHong Zhang   }
521a0a356efSHong Zhang 
522a0a356efSHong Zhang   sctx.shift_amount = 0;
523a0a356efSHong Zhang   sctx.nshift       = 0;
524085256b3SBarry Smith   do {
525d2276718SHong Zhang     sctx.lushift = PETSC_FALSE;
526289bc588SBarry Smith     for (i=0; i<n; i++){
527b3bf805bSHong Zhang       nz    = bi[i+1] - bi[i];
528b3bf805bSHong Zhang       bjtmp = bj + bi[i];
529b3bf805bSHong Zhang       for  (j=0; j<nz; j++) rtmps[bjtmp[j]] = 0.0;
530289bc588SBarry Smith 
531289bc588SBarry Smith       /* load in initial (unfactored row) */
532416022c9SBarry Smith       nz    = a->i[r[i]+1] - a->i[r[i]];
533b3bf805bSHong Zhang       ajtmp = a->j + a->i[r[i]];
534010a20caSHong Zhang       v     = a->a + a->i[r[i]];
535085256b3SBarry Smith       for (j=0; j<nz; j++) {
536b3bf805bSHong Zhang         rtmp[ics[ajtmp[j]]] = v[j];
537085256b3SBarry Smith       }
538d2276718SHong Zhang       rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */
539289bc588SBarry Smith 
540b3bf805bSHong Zhang       row = *bjtmp++;
541f2582111SSatish Balay       while  (row < i) {
5428c37ef55SBarry Smith         pc = rtmp + row;
5438c37ef55SBarry Smith         if (*pc != 0.0) {
544010a20caSHong Zhang           pv         = b->a + diag_offset[row];
545010a20caSHong Zhang           pj         = b->j + diag_offset[row] + 1;
54635aab85fSBarry Smith           multiplier = *pc / *pv++;
5478c37ef55SBarry Smith           *pc        = multiplier;
548b3bf805bSHong Zhang           nz         = bi[row+1] - diag_offset[row] - 1;
549f2582111SSatish Balay           for (j=0; j<nz; j++) rtmps[pj[j]] -= multiplier * pv[j];
550efee365bSSatish Balay           ierr = PetscLogFlops(2*nz);CHKERRQ(ierr);
551289bc588SBarry Smith         }
552b3bf805bSHong Zhang         row = *bjtmp++;
553289bc588SBarry Smith       }
554416022c9SBarry Smith       /* finished row so stick it into b->a */
555b3bf805bSHong Zhang       pv   = b->a + bi[i] ;
556b3bf805bSHong Zhang       pj   = b->j + bi[i] ;
557b3bf805bSHong Zhang       nz   = bi[i+1] - bi[i];
558b3bf805bSHong Zhang       diag = diag_offset[i] - bi[i];
559d3d32019SBarry Smith       rs   = 0.0;
560d3d32019SBarry Smith       for (j=0; j<nz; j++) {
561d3d32019SBarry Smith         pv[j] = rtmps[pj[j]];
562d3d32019SBarry Smith         if (j != diag) rs += PetscAbsScalar(pv[j]);
563d3d32019SBarry Smith       }
564d2276718SHong Zhang 
565b3bf805bSHong Zhang       /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */
566d2276718SHong Zhang       sctx.rs  = rs;
567d2276718SHong Zhang       sctx.pv  = pv[diag];
568c6b1f410SHong Zhang       ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr);
5695b5bc046SBarry Smith       if (newshift == 1) break;
57035aab85fSBarry Smith     }
571d2276718SHong Zhang 
572118f5789SBarry Smith     if (info->shiftpd && !sctx.lushift && info->shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
5736cc28720Svictorle       /*
5746c037d1bSvictorle        * if no shift in this attempt & shifting & started shifting & can refine,
5756cc28720Svictorle        * then try lower shift
5766cc28720Svictorle        */
577d2276718SHong Zhang       sctx.shift_hi        = info->shift_fraction;
578d2276718SHong Zhang       info->shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
579d2276718SHong Zhang       sctx.shift_amount    = info->shift_fraction * sctx.shift_top;
580d2276718SHong Zhang       sctx.lushift         = PETSC_TRUE;
581d2276718SHong Zhang       sctx.nshift++;
5826cc28720Svictorle     }
583d2276718SHong Zhang   } while (sctx.lushift);
5840f11f9aeSSatish Balay 
58535aab85fSBarry Smith   /* invert diagonal entries for simplier triangular solves */
58635aab85fSBarry Smith   for (i=0; i<n; i++) {
587010a20caSHong Zhang     b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]];
58835aab85fSBarry Smith   }
589606d414cSSatish Balay   ierr = PetscFree(rtmp);CHKERRQ(ierr);
59078b31e54SBarry Smith   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
59178b31e54SBarry Smith   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
592db4efbfdSBarry Smith   if (b->inode.use) {
593db4efbfdSBarry Smith     C->ops->solve   = MatSolve_Inode;
594db4efbfdSBarry Smith   } else {
595db4efbfdSBarry Smith     C->ops->solve   = MatSolve_SeqAIJ;
596db4efbfdSBarry Smith   }
597db4efbfdSBarry Smith   C->ops->solveadd           = MatSolveAdd_SeqAIJ;
598db4efbfdSBarry Smith   C->ops->solvetranspose     = MatSolveTranspose_SeqAIJ;
599db4efbfdSBarry Smith   C->ops->solvetransposeadd  = MatSolveTransposeAdd_SeqAIJ;
600de26497bSBarry Smith   C->ops->matsolve           = MatMatSolve_SeqAIJ;
601c456f294SBarry Smith   C->assembled    = PETSC_TRUE;
6025c9eb25fSBarry Smith   C->preallocated = PETSC_TRUE;
603d0f46423SBarry Smith   ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr);
604d2276718SHong Zhang   if (sctx.nshift){
605118f5789SBarry Smith     if (info->shiftnz) {
6061e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
607118f5789SBarry Smith     } else if (info->shiftpd) {
6081e2582c4SBarry 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,info->shift_fraction,sctx.shift_top);CHKERRQ(ierr);
6096cc28720Svictorle     }
6100697b6caSHong Zhang   }
6113a40ed3dSBarry Smith   PetscFunctionReturn(0);
612289bc588SBarry Smith }
6130889b5dcSvictorle 
614137fb511SHong Zhang /*
615137fb511SHong Zhang    This routine implements inplace ILU(0) with row or/and column permutations.
616137fb511SHong Zhang    Input:
617137fb511SHong Zhang      A - original matrix
618137fb511SHong Zhang    Output;
619137fb511SHong Zhang      A - a->i (rowptr) is same as original rowptr, but factored i-the row is stored in rowperm[i]
620137fb511SHong Zhang          a->j (col index) is permuted by the inverse of colperm, then sorted
621137fb511SHong Zhang          a->a reordered accordingly with a->j
622137fb511SHong Zhang          a->diag (ptr to diagonal elements) is updated.
623137fb511SHong Zhang */
624137fb511SHong Zhang #undef __FUNCT__
625137fb511SHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_InplaceWithPerm"
626*719d5645SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ_InplaceWithPerm(Mat B,Mat A,MatFactorInfo *info)
627137fb511SHong Zhang {
628b051339dSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data;
629b051339dSHong Zhang   IS             isrow = a->row,isicol = a->icol;
630137fb511SHong Zhang   PetscErrorCode ierr;
631d0f46423SBarry Smith   PetscInt       *r,*ic,i,j,n=A->rmap->n,*ai=a->i,*aj=a->j;
632b051339dSHong Zhang   PetscInt       *ajtmp,nz,row,*ics;
633b051339dSHong Zhang   PetscInt       *diag = a->diag,nbdiag,*pj;
634a77337e4SBarry Smith   PetscScalar    *rtmp,*pc,multiplier,d;
635a77337e4SBarry Smith   MatScalar      *v,*pv;
636137fb511SHong Zhang   PetscReal      rs;
637137fb511SHong Zhang   LUShift_Ctx    sctx;
638b051339dSHong Zhang   PetscInt       newshift;
639137fb511SHong Zhang 
640137fb511SHong Zhang   PetscFunctionBegin;
641*719d5645SBarry Smith   if (A != B) SETERRQ(PETSC_ERR_ARG_INCOMP,"input and output matrix must have same address");
642137fb511SHong Zhang   ierr  = ISGetIndices(isrow,&r);CHKERRQ(ierr);
643137fb511SHong Zhang   ierr  = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
644137fb511SHong Zhang   ierr  = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr);
645137fb511SHong Zhang   ierr  = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr);
646b051339dSHong Zhang   ics = ic;
647137fb511SHong Zhang 
648137fb511SHong Zhang   sctx.shift_top  = 0;
649137fb511SHong Zhang   sctx.nshift_max = 0;
650137fb511SHong Zhang   sctx.shift_lo   = 0;
651137fb511SHong Zhang   sctx.shift_hi   = 0;
652137fb511SHong Zhang 
653137fb511SHong Zhang   /* if both shift schemes are chosen by user, only use info->shiftpd */
654137fb511SHong Zhang   if (info->shiftpd && info->shiftnz) info->shiftnz = 0.0;
655137fb511SHong Zhang   if (info->shiftpd) { /* set sctx.shift_top=max{rs} */
656137fb511SHong Zhang     sctx.shift_top = 0;
657137fb511SHong Zhang     for (i=0; i<n; i++) {
658137fb511SHong Zhang       /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */
659b051339dSHong Zhang       d  = (a->a)[diag[i]];
660137fb511SHong Zhang       rs = -PetscAbsScalar(d) - PetscRealPart(d);
661b051339dSHong Zhang       v  = a->a+ai[i];
662b051339dSHong Zhang       nz = ai[i+1] - ai[i];
663137fb511SHong Zhang       for (j=0; j<nz; j++)
664137fb511SHong Zhang 	rs += PetscAbsScalar(v[j]);
665137fb511SHong Zhang       if (rs>sctx.shift_top) sctx.shift_top = rs;
666137fb511SHong Zhang     }
667137fb511SHong Zhang     if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot;
668137fb511SHong Zhang     sctx.shift_top    *= 1.1;
669137fb511SHong Zhang     sctx.nshift_max   = 5;
670137fb511SHong Zhang     sctx.shift_lo     = 0.;
671137fb511SHong Zhang     sctx.shift_hi     = 1.;
672137fb511SHong Zhang   }
673137fb511SHong Zhang 
674137fb511SHong Zhang   sctx.shift_amount = 0;
675137fb511SHong Zhang   sctx.nshift       = 0;
676137fb511SHong Zhang   do {
677137fb511SHong Zhang     sctx.lushift = PETSC_FALSE;
678137fb511SHong Zhang     for (i=0; i<n; i++){
679b051339dSHong Zhang       /* load in initial unfactored row */
680b051339dSHong Zhang       nz    = ai[r[i]+1] - ai[r[i]];
681b051339dSHong Zhang       ajtmp = aj + ai[r[i]];
682b051339dSHong Zhang       v     = a->a + ai[r[i]];
683137fb511SHong Zhang       /* sort permuted ajtmp and values v accordingly */
684b051339dSHong Zhang       for (j=0; j<nz; j++) ajtmp[j] = ics[ajtmp[j]];
685137fb511SHong Zhang       ierr = PetscSortIntWithScalarArray(nz,ajtmp,v);CHKERRQ(ierr);
686137fb511SHong Zhang 
687b051339dSHong Zhang       diag[r[i]] = ai[r[i]];
688137fb511SHong Zhang       for (j=0; j<nz; j++) {
689137fb511SHong Zhang         rtmp[ajtmp[j]] = v[j];
690b051339dSHong Zhang         if (ajtmp[j] < i) diag[r[i]]++; /* update a->diag */
691137fb511SHong Zhang       }
692137fb511SHong Zhang       rtmp[r[i]] += sctx.shift_amount; /* shift the diagonal of the matrix */
693137fb511SHong Zhang 
694b051339dSHong Zhang       row = *ajtmp++;
695137fb511SHong Zhang       while  (row < i) {
696137fb511SHong Zhang         pc = rtmp + row;
697137fb511SHong Zhang         if (*pc != 0.0) {
698b051339dSHong Zhang           pv         = a->a + diag[r[row]];
699b051339dSHong Zhang           pj         = aj + diag[r[row]] + 1;
700137fb511SHong Zhang 
701137fb511SHong Zhang           multiplier = *pc / *pv++;
702137fb511SHong Zhang           *pc        = multiplier;
703b051339dSHong Zhang           nz         = ai[r[row]+1] - diag[r[row]] - 1;
704b051339dSHong Zhang           for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j];
705137fb511SHong Zhang           ierr = PetscLogFlops(2*nz);CHKERRQ(ierr);
706137fb511SHong Zhang         }
707b051339dSHong Zhang         row = *ajtmp++;
708137fb511SHong Zhang       }
709b051339dSHong Zhang       /* finished row so overwrite it onto a->a */
710b051339dSHong Zhang       pv   = a->a + ai[r[i]] ;
711b051339dSHong Zhang       pj   = aj + ai[r[i]] ;
712b051339dSHong Zhang       nz   = ai[r[i]+1] - ai[r[i]];
713b051339dSHong Zhang       nbdiag = diag[r[i]] - ai[r[i]]; /* num of entries before the diagonal */
714137fb511SHong Zhang 
715137fb511SHong Zhang       rs   = 0.0;
716137fb511SHong Zhang       for (j=0; j<nz; j++) {
717b051339dSHong Zhang         pv[j] = rtmp[pj[j]];
718b051339dSHong Zhang         if (j != nbdiag) rs += PetscAbsScalar(pv[j]);
719137fb511SHong Zhang       }
720137fb511SHong Zhang 
721137fb511SHong Zhang       /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */
722137fb511SHong Zhang       sctx.rs  = rs;
723b051339dSHong Zhang       sctx.pv  = pv[nbdiag];
724c6b1f410SHong Zhang       ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr);
725137fb511SHong Zhang       if (newshift == 1) break;
726137fb511SHong Zhang     }
727137fb511SHong Zhang 
728137fb511SHong Zhang     if (info->shiftpd && !sctx.lushift && info->shift_fraction>0 && sctx.nshift<sctx.nshift_max) {
729137fb511SHong Zhang       /*
730137fb511SHong Zhang        * if no shift in this attempt & shifting & started shifting & can refine,
731137fb511SHong Zhang        * then try lower shift
732137fb511SHong Zhang        */
733137fb511SHong Zhang       sctx.shift_hi        = info->shift_fraction;
734137fb511SHong Zhang       info->shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.;
735137fb511SHong Zhang       sctx.shift_amount    = info->shift_fraction * sctx.shift_top;
736137fb511SHong Zhang       sctx.lushift         = PETSC_TRUE;
737137fb511SHong Zhang       sctx.nshift++;
738137fb511SHong Zhang     }
739137fb511SHong Zhang   } while (sctx.lushift);
740137fb511SHong Zhang 
741137fb511SHong Zhang   /* invert diagonal entries for simplier triangular solves */
742137fb511SHong Zhang   for (i=0; i<n; i++) {
743b051339dSHong Zhang     a->a[diag[r[i]]] = 1.0/a->a[diag[r[i]]];
744137fb511SHong Zhang   }
745137fb511SHong Zhang 
746137fb511SHong Zhang   ierr = PetscFree(rtmp);CHKERRQ(ierr);
747137fb511SHong Zhang   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
748137fb511SHong Zhang   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
749b051339dSHong Zhang   A->ops->solve             = MatSolve_SeqAIJ_InplaceWithPerm;
750db4efbfdSBarry Smith   A->ops->solveadd          = MatSolveAdd_SeqAIJ;
751db4efbfdSBarry Smith   A->ops->solvetranspose    = MatSolveTranspose_SeqAIJ;
752db4efbfdSBarry Smith   A->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ;
753b051339dSHong Zhang   A->assembled = PETSC_TRUE;
7545c9eb25fSBarry Smith   A->preallocated = PETSC_TRUE;
755d0f46423SBarry Smith   ierr = PetscLogFlops(A->cmap->n);CHKERRQ(ierr);
756137fb511SHong Zhang   if (sctx.nshift){
757137fb511SHong Zhang     if (info->shiftnz) {
7581e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
759137fb511SHong Zhang     } else if (info->shiftpd) {
7601e2582c4SBarry 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,info->shift_fraction,sctx.shift_top);CHKERRQ(ierr);
761137fb511SHong Zhang     }
762137fb511SHong Zhang   }
763137fb511SHong Zhang   PetscFunctionReturn(0);
764137fb511SHong Zhang }
765137fb511SHong Zhang 
7660a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
7674a2ae208SSatish Balay #undef __FUNCT__
7684a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ"
769dfbe8321SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,MatFactorInfo *info)
770da3a660dSBarry Smith {
771dfbe8321SBarry Smith   PetscErrorCode ierr;
772416022c9SBarry Smith   Mat            C;
773416022c9SBarry Smith 
7743a40ed3dSBarry Smith   PetscFunctionBegin;
77543244d56SBarry Smith   ierr = MatGetFactor(A,MAT_SOLVER_PETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr);
776*719d5645SBarry Smith   ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr);
777*719d5645SBarry Smith   ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr);
778db4efbfdSBarry Smith   A->ops->solve            = C->ops->solve;
779db4efbfdSBarry Smith   A->ops->solvetranspose   = C->ops->solvetranspose;
780273d9f13SBarry Smith   ierr = MatHeaderCopy(A,C);CHKERRQ(ierr);
78152e6d16bSBarry Smith   ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr);
7823a40ed3dSBarry Smith   PetscFunctionReturn(0);
783da3a660dSBarry Smith }
7840a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */
7854a2ae208SSatish Balay #undef __FUNCT__
7864a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ"
787dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx)
7888c37ef55SBarry Smith {
789416022c9SBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
790416022c9SBarry Smith   IS                iscol = a->col,isrow = a->row;
7916849ba73SBarry Smith   PetscErrorCode    ierr;
792d0f46423SBarry Smith   PetscInt          *r,*c,i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
79338baddfdSBarry Smith   PetscInt          nz,*rout,*cout;
794dd6ea824SBarry Smith   PetscScalar       *x,*tmp,*tmps,sum;
795d9fead3dSBarry Smith   const PetscScalar *b;
796dd6ea824SBarry Smith   const MatScalar   *aa = a->a,*v;
7978c37ef55SBarry Smith 
7983a40ed3dSBarry Smith   PetscFunctionBegin;
7993a40ed3dSBarry Smith   if (!n) PetscFunctionReturn(0);
80091bf9adeSBarry Smith 
801d9fead3dSBarry Smith   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
8021ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
803416022c9SBarry Smith   tmp  = a->solve_work;
8048c37ef55SBarry Smith 
8053b2fbd54SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
8063b2fbd54SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
8078c37ef55SBarry Smith 
8088c37ef55SBarry Smith   /* forward solve the lower triangular */
8098c37ef55SBarry Smith   tmp[0] = b[*r++];
810010a20caSHong Zhang   tmps   = tmp;
8118c37ef55SBarry Smith   for (i=1; i<n; i++) {
812010a20caSHong Zhang     v   = aa + ai[i] ;
813010a20caSHong Zhang     vi  = aj + ai[i] ;
81453e7425aSBarry Smith     nz  = a->diag[i] - ai[i];
81553e7425aSBarry Smith     sum = b[*r++];
816ed480e8bSBarry Smith     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
8178c37ef55SBarry Smith     tmp[i] = sum;
8188c37ef55SBarry Smith   }
8198c37ef55SBarry Smith 
8208c37ef55SBarry Smith   /* backward solve the upper triangular */
8218c37ef55SBarry Smith   for (i=n-1; i>=0; i--){
822010a20caSHong Zhang     v   = aa + a->diag[i] + 1;
823010a20caSHong Zhang     vi  = aj + a->diag[i] + 1;
824416022c9SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
8258c37ef55SBarry Smith     sum = tmp[i];
826ed480e8bSBarry Smith     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
827010a20caSHong Zhang     x[*c--] = tmp[i] = sum*aa[a->diag[i]];
8288c37ef55SBarry Smith   }
8298c37ef55SBarry Smith 
8303b2fbd54SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
8313b2fbd54SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
832d9fead3dSBarry Smith   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
8331ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
834d0f46423SBarry Smith   ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr);
8353a40ed3dSBarry Smith   PetscFunctionReturn(0);
8368c37ef55SBarry Smith }
837026e39d0SSatish Balay 
8382bebee5dSHong Zhang #undef __FUNCT__
8392bebee5dSHong Zhang #define __FUNCT__ "MatMatSolve_SeqAIJ"
8402bebee5dSHong Zhang PetscErrorCode MatMatSolve_SeqAIJ(Mat A,Mat B,Mat X)
8412bebee5dSHong Zhang {
8422bebee5dSHong Zhang   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
8432bebee5dSHong Zhang   IS              iscol = a->col,isrow = a->row;
8442bebee5dSHong Zhang   PetscErrorCode  ierr;
845d0f46423SBarry Smith   PetscInt        *r,*c,i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
8462bebee5dSHong Zhang   PetscInt        nz,*rout,*cout,neq;
847dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,*tmps,sum;
848dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
849db4efbfdSBarry Smith   PetscTruth      bisdense,xisdense;
8502bebee5dSHong Zhang 
8512bebee5dSHong Zhang   PetscFunctionBegin;
8522bebee5dSHong Zhang   if (!n) PetscFunctionReturn(0);
8532bebee5dSHong Zhang 
854db4efbfdSBarry Smith   ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr);
855db4efbfdSBarry Smith   if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix");
856db4efbfdSBarry Smith   ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr);
857db4efbfdSBarry Smith   if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix");
858db4efbfdSBarry Smith 
8592bebee5dSHong Zhang   ierr = MatGetArray(B,&b);CHKERRQ(ierr);
8602bebee5dSHong Zhang   ierr = MatGetArray(X,&x);CHKERRQ(ierr);
8612bebee5dSHong Zhang 
8622bebee5dSHong Zhang   tmp  = a->solve_work;
8632bebee5dSHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
8642bebee5dSHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
8652bebee5dSHong Zhang 
866a36b22ccSSatish Balay   for (neq=0; neq<B->cmap->n; neq++){
8672bebee5dSHong Zhang     /* forward solve the lower triangular */
8682bebee5dSHong Zhang     tmp[0] = b[r[0]];
8692bebee5dSHong Zhang     tmps   = tmp;
8702bebee5dSHong Zhang     for (i=1; i<n; i++) {
8712bebee5dSHong Zhang       v   = aa + ai[i] ;
8722bebee5dSHong Zhang       vi  = aj + ai[i] ;
8732bebee5dSHong Zhang       nz  = a->diag[i] - ai[i];
8742bebee5dSHong Zhang       sum = b[r[i]];
8752bebee5dSHong Zhang       SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
8762bebee5dSHong Zhang       tmp[i] = sum;
8772bebee5dSHong Zhang     }
8782bebee5dSHong Zhang     /* backward solve the upper triangular */
8792bebee5dSHong Zhang     for (i=n-1; i>=0; i--){
8802bebee5dSHong Zhang       v   = aa + a->diag[i] + 1;
8812bebee5dSHong Zhang       vi  = aj + a->diag[i] + 1;
8822bebee5dSHong Zhang       nz  = ai[i+1] - a->diag[i] - 1;
8832bebee5dSHong Zhang       sum = tmp[i];
8842bebee5dSHong Zhang       SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
8852bebee5dSHong Zhang       x[c[i]] = tmp[i] = sum*aa[a->diag[i]];
8862bebee5dSHong Zhang     }
8872bebee5dSHong Zhang 
8882bebee5dSHong Zhang     b += n;
8892bebee5dSHong Zhang     x += n;
8902bebee5dSHong Zhang   }
8912bebee5dSHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
8922bebee5dSHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
8932bebee5dSHong Zhang   ierr = MatRestoreArray(B,&b);CHKERRQ(ierr);
8942bebee5dSHong Zhang   ierr = MatRestoreArray(X,&x);CHKERRQ(ierr);
8952bebee5dSHong Zhang   ierr = PetscLogFlops(n*(2*a->nz - n));CHKERRQ(ierr);
8962bebee5dSHong Zhang   PetscFunctionReturn(0);
8972bebee5dSHong Zhang }
8982bebee5dSHong Zhang 
899137fb511SHong Zhang #undef __FUNCT__
900137fb511SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_InplaceWithPerm"
901137fb511SHong Zhang PetscErrorCode MatSolve_SeqAIJ_InplaceWithPerm(Mat A,Vec bb,Vec xx)
902137fb511SHong Zhang {
903137fb511SHong Zhang   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
904137fb511SHong Zhang   IS              iscol = a->col,isrow = a->row;
905137fb511SHong Zhang   PetscErrorCode  ierr;
906d0f46423SBarry Smith   PetscInt        *r,*c,i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
907137fb511SHong Zhang   PetscInt        nz,*rout,*cout,row;
908dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,*tmps,sum;
909dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
910137fb511SHong Zhang 
911137fb511SHong Zhang   PetscFunctionBegin;
912137fb511SHong Zhang   if (!n) PetscFunctionReturn(0);
913137fb511SHong Zhang 
914137fb511SHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
915137fb511SHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
916137fb511SHong Zhang   tmp  = a->solve_work;
917137fb511SHong Zhang 
918137fb511SHong Zhang   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
919137fb511SHong Zhang   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
920137fb511SHong Zhang 
921137fb511SHong Zhang   /* forward solve the lower triangular */
922137fb511SHong Zhang   tmp[0] = b[*r++];
923137fb511SHong Zhang   tmps   = tmp;
924137fb511SHong Zhang   for (row=1; row<n; row++) {
925137fb511SHong Zhang     i   = rout[row]; /* permuted row */
926137fb511SHong Zhang     v   = aa + ai[i] ;
927137fb511SHong Zhang     vi  = aj + ai[i] ;
928137fb511SHong Zhang     nz  = a->diag[i] - ai[i];
929137fb511SHong Zhang     sum = b[*r++];
930137fb511SHong Zhang     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
931137fb511SHong Zhang     tmp[row] = sum;
932137fb511SHong Zhang   }
933137fb511SHong Zhang 
934137fb511SHong Zhang   /* backward solve the upper triangular */
935137fb511SHong Zhang   for (row=n-1; row>=0; row--){
936137fb511SHong Zhang     i   = rout[row]; /* permuted row */
937137fb511SHong Zhang     v   = aa + a->diag[i] + 1;
938137fb511SHong Zhang     vi  = aj + a->diag[i] + 1;
939137fb511SHong Zhang     nz  = ai[i+1] - a->diag[i] - 1;
940137fb511SHong Zhang     sum = tmp[row];
941137fb511SHong Zhang     SPARSEDENSEMDOT(sum,tmps,v,vi,nz);
942137fb511SHong Zhang     x[*c--] = tmp[row] = sum*aa[a->diag[i]];
943137fb511SHong Zhang   }
944137fb511SHong Zhang 
945137fb511SHong Zhang   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
946137fb511SHong Zhang   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
947137fb511SHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
948137fb511SHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
949d0f46423SBarry Smith   ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr);
950137fb511SHong Zhang   PetscFunctionReturn(0);
951137fb511SHong Zhang }
952137fb511SHong Zhang 
953930ae53cSBarry Smith /* ----------------------------------------------------------- */
9544a2ae208SSatish Balay #undef __FUNCT__
9554a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering"
956dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx)
957930ae53cSBarry Smith {
958930ae53cSBarry Smith   Mat_SeqAIJ        *a = (Mat_SeqAIJ*)A->data;
9596849ba73SBarry Smith   PetscErrorCode    ierr;
960d0f46423SBarry Smith   PetscInt          n = A->rmap->n;
961356650c2SBarry Smith   const PetscInt    *ai = a->i,*aj = a->j,*adiag = a->diag,*vi;
962356650c2SBarry Smith   PetscScalar       *x;
963356650c2SBarry Smith   const PetscScalar *b;
964dd6ea824SBarry Smith   const MatScalar   *aa = a->a;
965aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ)
966356650c2SBarry Smith   PetscInt          adiag_i,i,nz,ai_i;
967dd6ea824SBarry Smith   const MatScalar   *v;
968dd6ea824SBarry Smith   PetscScalar       sum;
969d85afc42SSatish Balay #endif
970930ae53cSBarry Smith 
9713a40ed3dSBarry Smith   PetscFunctionBegin;
9723a40ed3dSBarry Smith   if (!n) PetscFunctionReturn(0);
973930ae53cSBarry Smith 
974356650c2SBarry Smith   ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
9751ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
976930ae53cSBarry Smith 
977aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ)
9781c4feecaSSatish Balay   fortransolveaij_(&n,x,ai,aj,adiag,aa,b);
9791c4feecaSSatish Balay #else
980930ae53cSBarry Smith   /* forward solve the lower triangular */
981930ae53cSBarry Smith   x[0] = b[0];
982930ae53cSBarry Smith   for (i=1; i<n; i++) {
983930ae53cSBarry Smith     ai_i = ai[i];
984930ae53cSBarry Smith     v    = aa + ai_i;
985930ae53cSBarry Smith     vi   = aj + ai_i;
986930ae53cSBarry Smith     nz   = adiag[i] - ai_i;
987930ae53cSBarry Smith     sum  = b[i];
988930ae53cSBarry Smith     while (nz--) sum -= *v++ * x[*vi++];
989930ae53cSBarry Smith     x[i] = sum;
990930ae53cSBarry Smith   }
991930ae53cSBarry Smith 
992930ae53cSBarry Smith   /* backward solve the upper triangular */
993930ae53cSBarry Smith   for (i=n-1; i>=0; i--){
994930ae53cSBarry Smith     adiag_i = adiag[i];
995d708749eSBarry Smith     v       = aa + adiag_i + 1;
996d708749eSBarry Smith     vi      = aj + adiag_i + 1;
997930ae53cSBarry Smith     nz      = ai[i+1] - adiag_i - 1;
998930ae53cSBarry Smith     sum     = x[i];
999930ae53cSBarry Smith     while (nz--) sum -= *v++ * x[*vi++];
1000930ae53cSBarry Smith     x[i]    = sum*aa[adiag_i];
1001930ae53cSBarry Smith   }
10021c4feecaSSatish Balay #endif
1003d0f46423SBarry Smith   ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr);
1004356650c2SBarry Smith   ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr);
10051ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
10063a40ed3dSBarry Smith   PetscFunctionReturn(0);
1007930ae53cSBarry Smith }
1008930ae53cSBarry Smith 
10094a2ae208SSatish Balay #undef __FUNCT__
10104a2ae208SSatish Balay #define __FUNCT__ "MatSolveAdd_SeqAIJ"
1011dfbe8321SBarry Smith PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx)
1012da3a660dSBarry Smith {
1013416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
1014416022c9SBarry Smith   IS              iscol = a->col,isrow = a->row;
10156849ba73SBarry Smith   PetscErrorCode  ierr;
1016d0f46423SBarry Smith   PetscInt        *r,*c,i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
101738baddfdSBarry Smith   PetscInt        nz,*rout,*cout;
1018dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,sum;
1019dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
1020da3a660dSBarry Smith 
10213a40ed3dSBarry Smith   PetscFunctionBegin;
102278b31e54SBarry Smith   if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);}
1023da3a660dSBarry Smith 
10241ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
10251ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1026416022c9SBarry Smith   tmp  = a->solve_work;
1027da3a660dSBarry Smith 
10283b2fbd54SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
10293b2fbd54SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1);
1030da3a660dSBarry Smith 
1031da3a660dSBarry Smith   /* forward solve the lower triangular */
1032da3a660dSBarry Smith   tmp[0] = b[*r++];
1033da3a660dSBarry Smith   for (i=1; i<n; i++) {
1034010a20caSHong Zhang     v   = aa + ai[i] ;
1035010a20caSHong Zhang     vi  = aj + ai[i] ;
1036416022c9SBarry Smith     nz  = a->diag[i] - ai[i];
1037da3a660dSBarry Smith     sum = b[*r++];
1038010a20caSHong Zhang     while (nz--) sum -= *v++ * tmp[*vi++ ];
1039da3a660dSBarry Smith     tmp[i] = sum;
1040da3a660dSBarry Smith   }
1041da3a660dSBarry Smith 
1042da3a660dSBarry Smith   /* backward solve the upper triangular */
1043da3a660dSBarry Smith   for (i=n-1; i>=0; i--){
1044010a20caSHong Zhang     v   = aa + a->diag[i] + 1;
1045010a20caSHong Zhang     vi  = aj + a->diag[i] + 1;
1046416022c9SBarry Smith     nz  = ai[i+1] - a->diag[i] - 1;
1047da3a660dSBarry Smith     sum = tmp[i];
1048010a20caSHong Zhang     while (nz--) sum -= *v++ * tmp[*vi++ ];
1049010a20caSHong Zhang     tmp[i] = sum*aa[a->diag[i]];
1050da3a660dSBarry Smith     x[*c--] += tmp[i];
1051da3a660dSBarry Smith   }
1052da3a660dSBarry Smith 
10533b2fbd54SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
10543b2fbd54SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
10551ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
10561ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1057efee365bSSatish Balay   ierr = PetscLogFlops(2*a->nz);CHKERRQ(ierr);
1058898183ecSLois Curfman McInnes 
10593a40ed3dSBarry Smith   PetscFunctionReturn(0);
1060da3a660dSBarry Smith }
1061da3a660dSBarry Smith /* -------------------------------------------------------------------*/
10624a2ae208SSatish Balay #undef __FUNCT__
10634a2ae208SSatish Balay #define __FUNCT__ "MatSolveTranspose_SeqAIJ"
1064dfbe8321SBarry Smith PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx)
1065da3a660dSBarry Smith {
1066416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
10672235e667SBarry Smith   IS              iscol = a->col,isrow = a->row;
10686849ba73SBarry Smith   PetscErrorCode  ierr;
1069d0f46423SBarry Smith   PetscInt        *r,*c,i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
107038baddfdSBarry Smith   PetscInt        nz,*rout,*cout,*diag = a->diag;
1071dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp,s1;
1072dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
1073da3a660dSBarry Smith 
10743a40ed3dSBarry Smith   PetscFunctionBegin;
10751ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
10761ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1077416022c9SBarry Smith   tmp  = a->solve_work;
1078da3a660dSBarry Smith 
10792235e667SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
10802235e667SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
1081da3a660dSBarry Smith 
1082da3a660dSBarry Smith   /* copy the b into temp work space according to permutation */
10832235e667SBarry Smith   for (i=0; i<n; i++) tmp[i] = b[c[i]];
1084da3a660dSBarry Smith 
1085da3a660dSBarry Smith   /* forward solve the U^T */
1086da3a660dSBarry Smith   for (i=0; i<n; i++) {
1087010a20caSHong Zhang     v   = aa + diag[i] ;
1088010a20caSHong Zhang     vi  = aj + diag[i] + 1;
1089f1af5d2fSBarry Smith     nz  = ai[i+1] - diag[i] - 1;
1090c38d4ed2SBarry Smith     s1  = tmp[i];
1091ef66eb69SBarry Smith     s1 *= (*v++);  /* multiply by inverse of diagonal entry */
1092da3a660dSBarry Smith     while (nz--) {
1093010a20caSHong Zhang       tmp[*vi++ ] -= (*v++)*s1;
1094da3a660dSBarry Smith     }
1095c38d4ed2SBarry Smith     tmp[i] = s1;
1096da3a660dSBarry Smith   }
1097da3a660dSBarry Smith 
1098da3a660dSBarry Smith   /* backward solve the L^T */
1099da3a660dSBarry Smith   for (i=n-1; i>=0; i--){
1100010a20caSHong Zhang     v   = aa + diag[i] - 1 ;
1101010a20caSHong Zhang     vi  = aj + diag[i] - 1 ;
1102f1af5d2fSBarry Smith     nz  = diag[i] - ai[i];
1103f1af5d2fSBarry Smith     s1  = tmp[i];
1104da3a660dSBarry Smith     while (nz--) {
1105010a20caSHong Zhang       tmp[*vi-- ] -= (*v--)*s1;
1106da3a660dSBarry Smith     }
1107da3a660dSBarry Smith   }
1108da3a660dSBarry Smith 
1109da3a660dSBarry Smith   /* copy tmp into x according to permutation */
1110da3a660dSBarry Smith   for (i=0; i<n; i++) x[r[i]] = tmp[i];
1111da3a660dSBarry Smith 
11122235e667SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
11132235e667SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
11141ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
11151ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
1116da3a660dSBarry Smith 
1117d0f46423SBarry Smith   ierr = PetscLogFlops(2*a->nz-A->cmap->n);CHKERRQ(ierr);
11183a40ed3dSBarry Smith   PetscFunctionReturn(0);
1119da3a660dSBarry Smith }
1120da3a660dSBarry Smith 
11214a2ae208SSatish Balay #undef __FUNCT__
11224a2ae208SSatish Balay #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ"
1123dfbe8321SBarry Smith PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx)
1124da3a660dSBarry Smith {
1125416022c9SBarry Smith   Mat_SeqAIJ      *a = (Mat_SeqAIJ*)A->data;
11262235e667SBarry Smith   IS              iscol = a->col,isrow = a->row;
11276849ba73SBarry Smith   PetscErrorCode  ierr;
1128d0f46423SBarry Smith   PetscInt        *r,*c,i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j;
112938baddfdSBarry Smith   PetscInt        nz,*rout,*cout,*diag = a->diag;
1130dd6ea824SBarry Smith   PetscScalar     *x,*b,*tmp;
1131dd6ea824SBarry Smith   const MatScalar *aa = a->a,*v;
11326abc6512SBarry Smith 
11333a40ed3dSBarry Smith   PetscFunctionBegin;
113423bc6035SMatthew Knepley   if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);}
11356abc6512SBarry Smith 
11361ebc52fbSHong Zhang   ierr = VecGetArray(bb,&b);CHKERRQ(ierr);
11371ebc52fbSHong Zhang   ierr = VecGetArray(xx,&x);CHKERRQ(ierr);
1138416022c9SBarry Smith   tmp = a->solve_work;
11396abc6512SBarry Smith 
11402235e667SBarry Smith   ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout;
11412235e667SBarry Smith   ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout;
11426abc6512SBarry Smith 
11436abc6512SBarry Smith   /* copy the b into temp work space according to permutation */
11442235e667SBarry Smith   for (i=0; i<n; i++) tmp[i] = b[c[i]];
11456abc6512SBarry Smith 
11466abc6512SBarry Smith   /* forward solve the U^T */
11476abc6512SBarry Smith   for (i=0; i<n; i++) {
1148010a20caSHong Zhang     v   = aa + diag[i] ;
1149010a20caSHong Zhang     vi  = aj + diag[i] + 1;
1150f1af5d2fSBarry Smith     nz  = ai[i+1] - diag[i] - 1;
11516abc6512SBarry Smith     tmp[i] *= *v++;
11526abc6512SBarry Smith     while (nz--) {
1153010a20caSHong Zhang       tmp[*vi++ ] -= (*v++)*tmp[i];
11546abc6512SBarry Smith     }
11556abc6512SBarry Smith   }
11566abc6512SBarry Smith 
11576abc6512SBarry Smith   /* backward solve the L^T */
11586abc6512SBarry Smith   for (i=n-1; i>=0; i--){
1159010a20caSHong Zhang     v   = aa + diag[i] - 1 ;
1160010a20caSHong Zhang     vi  = aj + diag[i] - 1 ;
1161f1af5d2fSBarry Smith     nz  = diag[i] - ai[i];
11626abc6512SBarry Smith     while (nz--) {
1163010a20caSHong Zhang       tmp[*vi-- ] -= (*v--)*tmp[i];
11646abc6512SBarry Smith     }
11656abc6512SBarry Smith   }
11666abc6512SBarry Smith 
11676abc6512SBarry Smith   /* copy tmp into x according to permutation */
11686abc6512SBarry Smith   for (i=0; i<n; i++) x[r[i]] += tmp[i];
11696abc6512SBarry Smith 
11702235e667SBarry Smith   ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr);
11712235e667SBarry Smith   ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr);
11721ebc52fbSHong Zhang   ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr);
11731ebc52fbSHong Zhang   ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr);
11746abc6512SBarry Smith 
1175efee365bSSatish Balay   ierr = PetscLogFlops(2*a->nz);CHKERRQ(ierr);
11763a40ed3dSBarry Smith   PetscFunctionReturn(0);
1177da3a660dSBarry Smith }
11789e25ed09SBarry Smith /* ----------------------------------------------------------------*/
11793c5fc038SBarry Smith EXTERN PetscErrorCode Mat_CheckInode(Mat,PetscTruth);
1180*719d5645SBarry Smith EXTERN PetscErrorCode MatDuplicateNoCreate_SeqAIJ(Mat,Mat,MatDuplicateOption);
118108480c60SBarry Smith 
11824a2ae208SSatish Balay #undef __FUNCT__
11834a2ae208SSatish Balay #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ"
1184*719d5645SBarry Smith PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS isrow,IS iscol,MatFactorInfo *info)
11859e25ed09SBarry Smith {
1186416022c9SBarry Smith   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data,*b;
11879e25ed09SBarry Smith   IS                 isicol;
11886849ba73SBarry Smith   PetscErrorCode     ierr;
1189d0f46423SBarry Smith   PetscInt           *r,*ic,n=A->rmap->n,*ai=a->i,*aj=a->j,d;
11905a8e39fbSHong Zhang   PetscInt           *bi,*cols,nnz,*cols_lvl;
11915a8e39fbSHong Zhang   PetscInt           *bdiag,prow,fm,nzbd,len, reallocs=0,dcount=0;
11925a8e39fbSHong Zhang   PetscInt           i,levels,diagonal_fill;
119377c4ece6SBarry Smith   PetscTruth         col_identity,row_identity;
1194329f5518SBarry Smith   PetscReal          f;
11955a8e39fbSHong Zhang   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL;
11965a8e39fbSHong Zhang   PetscBT            lnkbt;
11975a8e39fbSHong Zhang   PetscInt           nzi,*bj,**bj_ptr,**bjlvl_ptr;
1198a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1199a1a86e44SBarry Smith   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
120009f38230SBarry Smith   PetscTruth         missing;
12019e25ed09SBarry Smith 
12023a40ed3dSBarry Smith   PetscFunctionBegin;
1203d0f46423SBarry 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);
12046cf997b0SBarry Smith   f             = info->fill;
120538baddfdSBarry Smith   levels        = (PetscInt)info->levels;
120638baddfdSBarry Smith   diagonal_fill = (PetscInt)info->diagonal_fill;
12074c49b128SBarry Smith   ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr);
120882bf6240SBarry Smith 
120908480c60SBarry Smith   /* special case that simply copies fill pattern */
1210be0abb6dSBarry Smith   ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr);
1211be0abb6dSBarry Smith   ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr);
121286bacbd2SBarry Smith   if (!levels && row_identity && col_identity) {
1213*719d5645SBarry Smith     ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES);CHKERRQ(ierr);
1214*719d5645SBarry Smith     fact->factor = MAT_FACTOR_ILU;
1215*719d5645SBarry Smith     (fact)->info.factor_mallocs    = 0;
1216*719d5645SBarry Smith     (fact)->info.fill_ratio_given  = info->fill;
1217*719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 1.0;
1218*719d5645SBarry Smith     b               = (Mat_SeqAIJ*)(fact)->data;
12198ef3462fSBarry Smith     ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
122009f38230SBarry Smith     if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
122108480c60SBarry Smith     b->row              = isrow;
122208480c60SBarry Smith     b->col              = iscol;
122382bf6240SBarry Smith     b->icol             = isicol;
1224*719d5645SBarry Smith     ierr                = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1225c38d4ed2SBarry Smith     ierr                = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1226c38d4ed2SBarry Smith     ierr                = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
1227*719d5645SBarry Smith     (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ;
1228*719d5645SBarry Smith     ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr);
12293a40ed3dSBarry Smith     PetscFunctionReturn(0);
123008480c60SBarry Smith   }
123108480c60SBarry Smith 
1232898183ecSLois Curfman McInnes   ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr);
1233898183ecSLois Curfman McInnes   ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr);
12349e25ed09SBarry Smith 
12359e25ed09SBarry Smith   /* get new row pointers */
12365a8e39fbSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr);
12375a8e39fbSHong Zhang   bi[0] = 0;
12385a8e39fbSHong Zhang   /* bdiag is location of diagonal in factor */
12395a8e39fbSHong Zhang   ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr);
12405a8e39fbSHong Zhang   bdiag[0]  = 0;
12416cf997b0SBarry Smith 
12425a8e39fbSHong Zhang   ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr);
12435a8e39fbSHong Zhang   bjlvl_ptr = (PetscInt**)(bj_ptr + n);
12445a8e39fbSHong Zhang 
12455a8e39fbSHong Zhang   /* create a linked list for storing column indices of the active row */
12465a8e39fbSHong Zhang   nlnk = n + 1;
12475a8e39fbSHong Zhang   ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
12485a8e39fbSHong Zhang 
12495a8e39fbSHong Zhang   /* initial FreeSpace size is f*(ai[n]+1) */
1250a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr);
12515a8e39fbSHong Zhang   current_space = free_space;
1252a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr);
12535a8e39fbSHong Zhang   current_space_lvl = free_space_lvl;
12545a8e39fbSHong Zhang 
12555a8e39fbSHong Zhang   for (i=0; i<n; i++) {
12565a8e39fbSHong Zhang     nzi = 0;
12576cf997b0SBarry Smith     /* copy current row into linked list */
12585a8e39fbSHong Zhang     nnz  = ai[r[i]+1] - ai[r[i]];
12595a8e39fbSHong Zhang     if (!nnz) SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix");
12605a8e39fbSHong Zhang     cols = aj + ai[r[i]];
12615a8e39fbSHong Zhang     lnk[i] = -1; /* marker to indicate if diagonal exists */
12625a8e39fbSHong Zhang     ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
12635a8e39fbSHong Zhang     nzi += nlnk;
12646cf997b0SBarry Smith 
12656cf997b0SBarry Smith     /* make sure diagonal entry is included */
12665a8e39fbSHong Zhang     if (diagonal_fill && lnk[i] == -1) {
12676cf997b0SBarry Smith       fm = n;
12685a8e39fbSHong Zhang       while (lnk[fm] < i) fm = lnk[fm];
12695a8e39fbSHong Zhang       lnk[i]     = lnk[fm]; /* insert diagonal into linked list */
12705a8e39fbSHong Zhang       lnk[fm]    = i;
12715a8e39fbSHong Zhang       lnk_lvl[i] = 0;
12725a8e39fbSHong Zhang       nzi++; dcount++;
12736cf997b0SBarry Smith     }
12746cf997b0SBarry Smith 
12755a8e39fbSHong Zhang     /* add pivot rows into the active row */
12765a8e39fbSHong Zhang     nzbd = 0;
12775a8e39fbSHong Zhang     prow = lnk[n];
12785a8e39fbSHong Zhang     while (prow < i) {
12795a8e39fbSHong Zhang       nnz      = bdiag[prow];
12805a8e39fbSHong Zhang       cols     = bj_ptr[prow] + nnz + 1;
12815a8e39fbSHong Zhang       cols_lvl = bjlvl_ptr[prow] + nnz + 1;
12825a8e39fbSHong Zhang       nnz      = bi[prow+1] - bi[prow] - nnz - 1;
12835a8e39fbSHong Zhang       ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr);
12845a8e39fbSHong Zhang       nzi += nlnk;
12855a8e39fbSHong Zhang       prow = lnk[prow];
12865a8e39fbSHong Zhang       nzbd++;
128756beaf04SBarry Smith     }
12885a8e39fbSHong Zhang     bdiag[i] = nzbd;
12895a8e39fbSHong Zhang     bi[i+1]  = bi[i] + nzi;
1290ecf371e4SBarry Smith 
12915a8e39fbSHong Zhang     /* if free space is not available, make more free space */
12925a8e39fbSHong Zhang     if (current_space->local_remaining<nzi) {
12935a8e39fbSHong Zhang       nnz = nzi*(n - i); /* estimated and max additional space needed */
1294a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space);CHKERRQ(ierr);
1295a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(nnz,&current_space_lvl);CHKERRQ(ierr);
12965a8e39fbSHong Zhang       reallocs++;
12975a8e39fbSHong Zhang     }
1298ecf371e4SBarry Smith 
12995a8e39fbSHong Zhang     /* copy data into free_space and free_space_lvl, then initialize lnk */
13005a8e39fbSHong Zhang     ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
13015a8e39fbSHong Zhang     bj_ptr[i]    = current_space->array;
13025a8e39fbSHong Zhang     bjlvl_ptr[i] = current_space_lvl->array;
13035a8e39fbSHong Zhang 
13045a8e39fbSHong Zhang     /* make sure the active row i has diagonal entry */
13055a8e39fbSHong Zhang     if (*(bj_ptr[i]+bdiag[i]) != i) {
130677431f27SBarry Smith       SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\
1307d7ee0231SBarry Smith     try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i);
13086cf997b0SBarry Smith     }
13095a8e39fbSHong Zhang 
13105a8e39fbSHong Zhang     current_space->array           += nzi;
13115a8e39fbSHong Zhang     current_space->local_used      += nzi;
13125a8e39fbSHong Zhang     current_space->local_remaining -= nzi;
13135a8e39fbSHong Zhang     current_space_lvl->array           += nzi;
13145a8e39fbSHong Zhang     current_space_lvl->local_used      += nzi;
13155a8e39fbSHong Zhang     current_space_lvl->local_remaining -= nzi;
13169e25ed09SBarry Smith   }
13175a8e39fbSHong Zhang 
1318898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr);
1319898183ecSLois Curfman McInnes   ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr);
13205a8e39fbSHong Zhang 
13215a8e39fbSHong Zhang   /* destroy list of free space and other temporary arrays */
13225a8e39fbSHong Zhang   ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr);
1323a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr);
13245a8e39fbSHong Zhang   ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
1325a1a86e44SBarry Smith   ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
13265a8e39fbSHong Zhang   ierr = PetscFree(bj_ptr);CHKERRQ(ierr);
13279e25ed09SBarry Smith 
13286cf91177SBarry Smith #if defined(PETSC_USE_INFO)
1329f64065bbSBarry Smith   {
13305a8e39fbSHong Zhang     PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]);
1331ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr);
1332ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1333ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr);
1334ae15b995SBarry Smith     ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr);
1335335d9088SBarry Smith     if (diagonal_fill) {
1336ae15b995SBarry Smith       ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr);
1337335d9088SBarry Smith     }
1338f64065bbSBarry Smith   }
133963ba0a88SBarry Smith #endif
1340bbb6d6a8SBarry Smith 
13419e25ed09SBarry Smith   /* put together the new matrix */
1342*719d5645SBarry Smith   ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr);
1343*719d5645SBarry Smith   b = (Mat_SeqAIJ*)(fact)->data;
1344e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
1345e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
13467c922b88SBarry Smith   b->singlemalloc = PETSC_FALSE;
13475a8e39fbSHong Zhang   len = (bi[n] )*sizeof(PetscScalar);
1348b0a32e0cSBarry Smith   ierr = PetscMalloc(len+1,&b->a);CHKERRQ(ierr);
13495a8e39fbSHong Zhang   b->j          = bj;
13505a8e39fbSHong Zhang   b->i          = bi;
13515a8e39fbSHong Zhang   for (i=0; i<n; i++) bdiag[i] += bi[i];
13525a8e39fbSHong Zhang   b->diag       = bdiag;
1353416022c9SBarry Smith   b->ilen       = 0;
1354416022c9SBarry Smith   b->imax       = 0;
1355416022c9SBarry Smith   b->row        = isrow;
1356416022c9SBarry Smith   b->col        = iscol;
1357c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr);
1358c38d4ed2SBarry Smith   ierr          = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr);
135982bf6240SBarry Smith   b->icol       = isicol;
136087828ca2SBarry Smith   ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1361416022c9SBarry Smith   /* In b structure:  Free imax, ilen, old a, old j.
13625a8e39fbSHong Zhang      Allocate bdiag, solve_work, new a, new j */
1363*719d5645SBarry Smith   ierr = PetscLogObjectMemory(fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr);
13645a8e39fbSHong Zhang   b->maxnz             = b->nz = bi[n] ;
1365*719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1366*719d5645SBarry Smith   (fact)->info.fill_ratio_given  = f;
1367*719d5645SBarry Smith   (fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]);
1368*719d5645SBarry Smith   (fact)->ops->lufactornumeric =  MatLUFactorNumeric_SeqAIJ;
1369*719d5645SBarry Smith   ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr);
13703a40ed3dSBarry Smith   PetscFunctionReturn(0);
13719e25ed09SBarry Smith }
1372d5d45c9bSBarry Smith 
13733c9e8598SHong Zhang #include "src/mat/impls/sbaij/seq/sbaij.h"
1374a6175056SHong Zhang #undef __FUNCT__
1375a6175056SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ"
1376*719d5645SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat B,Mat A,MatFactorInfo *info)
1377a6175056SHong Zhang {
1378*719d5645SBarry Smith   Mat            C = B;
13790968510aSHong Zhang   Mat_SeqAIJ     *a=(Mat_SeqAIJ*)A->data;
13802ed133dbSHong Zhang   Mat_SeqSBAIJ   *b=(Mat_SeqSBAIJ*)C->data;
13819bfd6278SHong Zhang   IS             ip=b->row,iip = b->icol;
13822ed133dbSHong Zhang   PetscErrorCode ierr;
1383d0f46423SBarry Smith   PetscInt       *rip,*riip,i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bcol;
13842ed133dbSHong Zhang   PetscInt       *ai=a->i,*aj=a->j;
13852ed133dbSHong Zhang   PetscInt       k,jmin,jmax,*jl,*il,col,nexti,ili,nz;
1386622e2028SHong Zhang   MatScalar      *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi;
1387540703acSHong Zhang   PetscReal      zeropivot,rs,shiftnz;
1388fbf22428SSatish Balay   PetscReal      shiftpd;
1389540703acSHong Zhang   ChShift_Ctx    sctx;
1390540703acSHong Zhang   PetscInt       newshift;
1391db4efbfdSBarry Smith   PetscTruth     perm_identity;
1392d5d45c9bSBarry Smith 
1393a6175056SHong Zhang   PetscFunctionBegin;
1394117f1891Stmunson 
1395540703acSHong Zhang   shiftnz   = info->shiftnz;
1396540703acSHong Zhang   shiftpd   = info->shiftpd;
1397ee45ca4aSHong Zhang   zeropivot = info->zeropivot;
1398ee45ca4aSHong Zhang 
13992ed133dbSHong Zhang   ierr  = ISGetIndices(ip,&rip);CHKERRQ(ierr);
14009bfd6278SHong Zhang   ierr  = ISGetIndices(iip,&riip);CHKERRQ(ierr);
14012ed133dbSHong Zhang 
14022ed133dbSHong Zhang   /* initialization */
14032ed133dbSHong Zhang   nz   = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar);
14042ed133dbSHong Zhang   ierr = PetscMalloc(nz,&il);CHKERRQ(ierr);
14052ed133dbSHong Zhang   jl   = il + mbs;
14062ed133dbSHong Zhang   rtmp = (MatScalar*)(jl + mbs);
14072ed133dbSHong Zhang 
1408540703acSHong Zhang   sctx.shift_amount = 0;
1409540703acSHong Zhang   sctx.nshift       = 0;
14102ed133dbSHong Zhang   do {
1411540703acSHong Zhang     sctx.chshift = PETSC_FALSE;
14122ed133dbSHong Zhang     for (i=0; i<mbs; i++) {
14132ed133dbSHong Zhang       rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0;
1414a6175056SHong Zhang     }
14152ed133dbSHong Zhang 
14162ed133dbSHong Zhang     for (k = 0; k<mbs; k++){
1417c05c3958SHong Zhang       bval = ba + bi[k];
14182ed133dbSHong Zhang       /* initialize k-th row by the perm[k]-th row of A */
14192ed133dbSHong Zhang       jmin = ai[rip[k]]; jmax = ai[rip[k]+1];
14202ed133dbSHong Zhang       for (j = jmin; j < jmax; j++){
14219bfd6278SHong Zhang         col = riip[aj[j]];
14222ed133dbSHong Zhang         if (col >= k){ /* only take upper triangular entry */
14232ed133dbSHong Zhang           rtmp[col] = aa[j];
1424c05c3958SHong Zhang           *bval++  = 0.0; /* for in-place factorization */
14252ed133dbSHong Zhang         }
14262ed133dbSHong Zhang       }
142739e3d630SHong Zhang       /* shift the diagonal of the matrix */
1428540703acSHong Zhang       if (sctx.nshift) rtmp[k] += sctx.shift_amount;
14292ed133dbSHong Zhang 
14302ed133dbSHong Zhang       /* modify k-th row by adding in those rows i with U(i,k)!=0 */
14312ed133dbSHong Zhang       dk = rtmp[k];
14322ed133dbSHong Zhang       i = jl[k]; /* first row to be added to k_th row  */
14332ed133dbSHong Zhang 
14342ed133dbSHong Zhang       while (i < k){
14352ed133dbSHong Zhang         nexti = jl[i]; /* next row to be added to k_th row */
14362ed133dbSHong Zhang 
14372ed133dbSHong Zhang         /* compute multiplier, update diag(k) and U(i,k) */
14382ed133dbSHong Zhang         ili = il[i];  /* index of first nonzero element in U(i,k:bms-1) */
14392ed133dbSHong Zhang         uikdi = - ba[ili]*ba[bi[i]];  /* diagonal(k) */
14402ed133dbSHong Zhang         dk += uikdi*ba[ili];
14412ed133dbSHong Zhang         ba[ili] = uikdi; /* -U(i,k) */
14422ed133dbSHong Zhang 
14432ed133dbSHong Zhang         /* add multiple of row i to k-th row */
14442ed133dbSHong Zhang         jmin = ili + 1; jmax = bi[i+1];
14452ed133dbSHong Zhang         if (jmin < jmax){
14462ed133dbSHong Zhang           for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j];
14472ed133dbSHong Zhang           /* update il and jl for row i */
14482ed133dbSHong Zhang           il[i] = jmin;
14492ed133dbSHong Zhang           j = bj[jmin]; jl[i] = jl[j]; jl[j] = i;
14502ed133dbSHong Zhang         }
14512ed133dbSHong Zhang         i = nexti;
14522ed133dbSHong Zhang       }
14532ed133dbSHong Zhang 
14540697b6caSHong Zhang       /* shift the diagonals when zero pivot is detected */
14550697b6caSHong Zhang       /* compute rs=sum of abs(off-diagonal) */
14560697b6caSHong Zhang       rs   = 0.0;
14573c9e8598SHong Zhang       jmin = bi[k]+1;
14583c9e8598SHong Zhang       nz   = bi[k+1] - jmin;
14593c9e8598SHong Zhang       bcol = bj + jmin;
14603c9e8598SHong Zhang       while (nz--){
146189f845c8SHong Zhang         rs += PetscAbsScalar(rtmp[*bcol]);
146289f845c8SHong Zhang         bcol++;
14633c9e8598SHong Zhang       }
1464540703acSHong Zhang 
1465540703acSHong Zhang       sctx.rs = rs;
1466540703acSHong Zhang       sctx.pv = dk;
14675b5bc046SBarry Smith       ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr);
1468117f1891Stmunson 
1469117f1891Stmunson       if (newshift == 1) {
1470117f1891Stmunson         if (!sctx.shift_amount) {
1471117f1891Stmunson           sctx.shift_amount = 1e-5;
1472117f1891Stmunson         }
1473117f1891Stmunson         break;
1474117f1891Stmunson       }
14753c9e8598SHong Zhang 
14763c9e8598SHong Zhang       /* copy data into U(k,:) */
147739e3d630SHong Zhang       ba[bi[k]] = 1.0/dk; /* U(k,k) */
147839e3d630SHong Zhang       jmin = bi[k]+1; jmax = bi[k+1];
147939e3d630SHong Zhang       if (jmin < jmax) {
148039e3d630SHong Zhang         for (j=jmin; j<jmax; j++){
148139e3d630SHong Zhang           col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0;
14823c9e8598SHong Zhang         }
148339e3d630SHong Zhang         /* add the k-th row into il and jl */
14843c9e8598SHong Zhang         il[k] = jmin;
14853c9e8598SHong Zhang         i = bj[jmin]; jl[k] = jl[i]; jl[i] = k;
14863c9e8598SHong Zhang       }
14873c9e8598SHong Zhang     }
1488540703acSHong Zhang   } while (sctx.chshift);
14893c9e8598SHong Zhang   ierr = PetscFree(il);CHKERRQ(ierr);
14903c9e8598SHong Zhang 
149139e3d630SHong Zhang   ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr);
14929bfd6278SHong Zhang   ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr);
1493db4efbfdSBarry Smith 
1494db4efbfdSBarry Smith   ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr);
1495db4efbfdSBarry Smith   if (perm_identity){
1496*719d5645SBarry Smith     (B)->ops->solve           = MatSolve_SeqSBAIJ_1_NaturalOrdering;
1497*719d5645SBarry Smith     (B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1_NaturalOrdering;
1498*719d5645SBarry Smith     (B)->ops->forwardsolve    = MatForwardSolve_SeqSBAIJ_1_NaturalOrdering;
1499*719d5645SBarry Smith     (B)->ops->backwardsolve   = MatBackwardSolve_SeqSBAIJ_1_NaturalOrdering;
1500db4efbfdSBarry Smith   } else {
1501*719d5645SBarry Smith     (B)->ops->solve           = MatSolve_SeqSBAIJ_1;
1502*719d5645SBarry Smith     (B)->ops->solvetranspose  = MatSolve_SeqSBAIJ_1;
1503*719d5645SBarry Smith     (B)->ops->forwardsolve    = MatForwardSolve_SeqSBAIJ_1;
1504*719d5645SBarry Smith     (B)->ops->backwardsolve   = MatBackwardSolve_SeqSBAIJ_1;
1505db4efbfdSBarry Smith   }
1506db4efbfdSBarry Smith 
15073c9e8598SHong Zhang   C->assembled    = PETSC_TRUE;
15083c9e8598SHong Zhang   C->preallocated = PETSC_TRUE;
1509d0f46423SBarry Smith   ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr);
1510540703acSHong Zhang   if (sctx.nshift){
1511540703acSHong Zhang     if (shiftnz) {
15121e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
1513540703acSHong Zhang     } else if (shiftpd) {
15141e2582c4SBarry Smith       ierr = PetscInfo2(A,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr);
15150697b6caSHong Zhang     }
15163c9e8598SHong Zhang   }
15173c9e8598SHong Zhang   PetscFunctionReturn(0);
15183c9e8598SHong Zhang }
1519a6175056SHong Zhang 
1520a6175056SHong Zhang #undef __FUNCT__
1521a6175056SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ"
1522*719d5645SBarry Smith PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,MatFactorInfo *info)
1523a6175056SHong Zhang {
15240968510aSHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data;
1525ed59401aSHong Zhang   Mat_SeqSBAIJ       *b;
1526dfbe8321SBarry Smith   PetscErrorCode     ierr;
152758ebbce7SBarry Smith   PetscTruth         perm_identity,missing;
1528d0f46423SBarry Smith   PetscInt           reallocs=0,*rip,*riip,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui;
1529ed59401aSHong Zhang   PetscInt           jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow;
153058ebbce7SBarry Smith   PetscInt           nlnk,*lnk,*lnk_lvl=PETSC_NULL,d;
15315a8e39fbSHong Zhang   PetscInt           ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr;
1532ed59401aSHong Zhang   PetscReal          fill=info->fill,levels=info->levels;
1533a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
1534a1a86e44SBarry Smith   PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL;
15357a48dd6fSHong Zhang   PetscBT            lnkbt;
1536b635d36bSHong Zhang   IS                 iperm;
1537a6175056SHong Zhang 
1538a6175056SHong Zhang   PetscFunctionBegin;
1539d0f46423SBarry 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);
154058ebbce7SBarry Smith   ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr);
154158ebbce7SBarry Smith   if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d);
1542653a6975SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
1543b635d36bSHong Zhang   ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr);
15447a48dd6fSHong Zhang 
154539e3d630SHong Zhang   ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
154639e3d630SHong Zhang   ui[0] = 0;
154739e3d630SHong Zhang 
1548b635d36bSHong Zhang   /* ICC(0) without matrix ordering: simply copies fill pattern */
1549622e2028SHong Zhang   if (!levels && perm_identity) {
155058ebbce7SBarry Smith 
1551ed59401aSHong Zhang     for (i=0; i<am; i++) {
155239e3d630SHong Zhang       ui[i+1] = ui[i] + ai[i+1] - a->diag[i];
1553ed59401aSHong Zhang     }
155439e3d630SHong Zhang     ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
155539e3d630SHong Zhang     cols = uj;
1556ed59401aSHong Zhang     for (i=0; i<am; i++) {
1557ed59401aSHong Zhang       aj    = a->j + a->diag[i];
155839e3d630SHong Zhang       ncols = ui[i+1] - ui[i];
155939e3d630SHong Zhang       for (j=0; j<ncols; j++) *cols++ = *aj++;
1560ed59401aSHong Zhang     }
156139e3d630SHong Zhang   } else { /* case: levels>0 || (levels=0 && !perm_identity) */
1562b635d36bSHong Zhang     ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr);
1563b635d36bSHong Zhang     ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
1564b635d36bSHong Zhang 
15657a48dd6fSHong Zhang     /* initialization */
15665a8e39fbSHong Zhang     ierr  = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr);
15677a48dd6fSHong Zhang 
15687a48dd6fSHong Zhang     /* jl: linked list for storing indices of the pivot rows
15697a48dd6fSHong Zhang        il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
15701393bc97SHong Zhang     ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr);
15717a48dd6fSHong Zhang     il         = jl + am;
15727a48dd6fSHong Zhang     uj_ptr     = (PetscInt**)(il + am);
15737a48dd6fSHong Zhang     uj_lvl_ptr = (PetscInt**)(uj_ptr + am);
15747a48dd6fSHong Zhang     for (i=0; i<am; i++){
15757a48dd6fSHong Zhang       jl[i] = am; il[i] = 0;
15767a48dd6fSHong Zhang     }
15777a48dd6fSHong Zhang 
15787a48dd6fSHong Zhang     /* create and initialize a linked list for storing column indices of the active row k */
15797a48dd6fSHong Zhang     nlnk = am + 1;
15802ed133dbSHong Zhang     ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
15817a48dd6fSHong Zhang 
15827a48dd6fSHong Zhang     /* initial FreeSpace size is fill*(ai[am]+1) */
1583a1a86e44SBarry Smith     ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr);
15847a48dd6fSHong Zhang     current_space = free_space;
1585a1a86e44SBarry Smith     ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr);
15867a48dd6fSHong Zhang     current_space_lvl = free_space_lvl;
15877a48dd6fSHong Zhang 
15887a48dd6fSHong Zhang     for (k=0; k<am; k++){  /* for each active row k */
15897a48dd6fSHong Zhang       /* initialize lnk by the column indices of row rip[k] of A */
15907a48dd6fSHong Zhang       nzk   = 0;
1591622e2028SHong Zhang       ncols = ai[rip[k]+1] - ai[rip[k]];
1592b635d36bSHong Zhang       if (!ncols) SETERRQ(PETSC_ERR_MAT_CH_ZRPVT,"Empty row in matrix");
1593622e2028SHong Zhang       ncols_upper = 0;
1594622e2028SHong Zhang       for (j=0; j<ncols; j++){
1595b635d36bSHong Zhang         i = *(aj + ai[rip[k]] + j); /* unpermuted column index */
1596b635d36bSHong Zhang         if (riip[i] >= k){ /* only take upper triangular entry */
15975a8e39fbSHong Zhang           ajtmp[ncols_upper] = i;
1598622e2028SHong Zhang           ncols_upper++;
1599622e2028SHong Zhang         }
1600622e2028SHong Zhang       }
1601b635d36bSHong Zhang       ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr);
16027a48dd6fSHong Zhang       nzk += nlnk;
16037a48dd6fSHong Zhang 
16047a48dd6fSHong Zhang       /* update lnk by computing fill-in for each pivot row to be merged in */
16057a48dd6fSHong Zhang       prow = jl[k]; /* 1st pivot row */
16067a48dd6fSHong Zhang 
16077a48dd6fSHong Zhang       while (prow < k){
16087a48dd6fSHong Zhang         nextprow = jl[prow];
16097a48dd6fSHong Zhang 
16107a48dd6fSHong Zhang         /* merge prow into k-th row */
16117a48dd6fSHong Zhang         jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:am-1) */
16127a48dd6fSHong Zhang         jmax = ui[prow+1];
16137a48dd6fSHong Zhang         ncols = jmax-jmin;
1614ed59401aSHong Zhang         i     = jmin - ui[prow];
1615ed59401aSHong Zhang         cols  = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */
16165a8e39fbSHong Zhang         uj    = uj_lvl_ptr[prow] + i; /* levels of cols */
16175a8e39fbSHong Zhang         j     = *(uj - 1);
16185a8e39fbSHong Zhang         ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr);
16197a48dd6fSHong Zhang         nzk += nlnk;
16207a48dd6fSHong Zhang 
16217a48dd6fSHong Zhang         /* update il and jl for prow */
16227a48dd6fSHong Zhang         if (jmin < jmax){
16237a48dd6fSHong Zhang           il[prow] = jmin;
16247a48dd6fSHong Zhang           j = *cols; jl[prow] = jl[j]; jl[j] = prow;
16257a48dd6fSHong Zhang         }
16267a48dd6fSHong Zhang         prow = nextprow;
16277a48dd6fSHong Zhang       }
16287a48dd6fSHong Zhang 
16297a48dd6fSHong Zhang       /* if free space is not available, make more free space */
16307a48dd6fSHong Zhang       if (current_space->local_remaining<nzk) {
16317a48dd6fSHong Zhang         i = am - k + 1; /* num of unfactored rows */
16327a48dd6fSHong Zhang         i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
1633a1a86e44SBarry Smith         ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
1634a1a86e44SBarry Smith         ierr = PetscFreeSpaceGet(i,&current_space_lvl);CHKERRQ(ierr);
16357a48dd6fSHong Zhang         reallocs++;
16367a48dd6fSHong Zhang       }
16377a48dd6fSHong Zhang 
16387a48dd6fSHong Zhang       /* copy data into free_space and free_space_lvl, then initialize lnk */
1639b635d36bSHong Zhang       if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k);
16402ed133dbSHong Zhang       ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr);
16417a48dd6fSHong Zhang 
16427a48dd6fSHong Zhang       /* add the k-th row into il and jl */
164339e3d630SHong Zhang       if (nzk > 1){
16447a48dd6fSHong Zhang         i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
16457a48dd6fSHong Zhang         jl[k] = jl[i]; jl[i] = k;
16467a48dd6fSHong Zhang         il[k] = ui[k] + 1;
16477a48dd6fSHong Zhang       }
16487a48dd6fSHong Zhang       uj_ptr[k]     = current_space->array;
16497a48dd6fSHong Zhang       uj_lvl_ptr[k] = current_space_lvl->array;
16507a48dd6fSHong Zhang 
16517a48dd6fSHong Zhang       current_space->array           += nzk;
16527a48dd6fSHong Zhang       current_space->local_used      += nzk;
16537a48dd6fSHong Zhang       current_space->local_remaining -= nzk;
16547a48dd6fSHong Zhang 
16557a48dd6fSHong Zhang       current_space_lvl->array           += nzk;
16567a48dd6fSHong Zhang       current_space_lvl->local_used      += nzk;
16577a48dd6fSHong Zhang       current_space_lvl->local_remaining -= nzk;
16587a48dd6fSHong Zhang 
16597a48dd6fSHong Zhang       ui[k+1] = ui[k] + nzk;
16607a48dd6fSHong Zhang     }
16617a48dd6fSHong Zhang 
16626cf91177SBarry Smith #if defined(PETSC_USE_INFO)
16637a48dd6fSHong Zhang     if (ai[am] != 0) {
166439e3d630SHong Zhang       PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]);
1665ae15b995SBarry Smith       ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
1666ae15b995SBarry Smith       ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1667ae15b995SBarry Smith       ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
16687a48dd6fSHong Zhang     } else {
1669ae15b995SBarry Smith       ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
16707a48dd6fSHong Zhang     }
167163ba0a88SBarry Smith #endif
16727a48dd6fSHong Zhang 
16737a48dd6fSHong Zhang     ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
1674b635d36bSHong Zhang     ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr);
16757a48dd6fSHong Zhang     ierr = PetscFree(jl);CHKERRQ(ierr);
16765a8e39fbSHong Zhang     ierr = PetscFree(ajtmp);CHKERRQ(ierr);
16777a48dd6fSHong Zhang 
16787a48dd6fSHong Zhang     /* destroy list of free space and other temporary array(s) */
16797a48dd6fSHong Zhang     ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
1680a1a86e44SBarry Smith     ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
16812ed133dbSHong Zhang     ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
1682a1a86e44SBarry Smith     ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr);
16837a48dd6fSHong Zhang 
168439e3d630SHong Zhang   } /* end of case: levels>0 || (levels=0 && !perm_identity) */
168539e3d630SHong Zhang 
16867a48dd6fSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
16877a48dd6fSHong Zhang 
1688*719d5645SBarry Smith   b    = (Mat_SeqSBAIJ*)(fact)->data;
16897a48dd6fSHong Zhang   b->singlemalloc = PETSC_FALSE;
16907a48dd6fSHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
16917a48dd6fSHong Zhang   b->j    = uj;
16927a48dd6fSHong Zhang   b->i    = ui;
16937a48dd6fSHong Zhang   b->diag = 0;
16947a48dd6fSHong Zhang   b->ilen = 0;
16957a48dd6fSHong Zhang   b->imax = 0;
16967a48dd6fSHong Zhang   b->row  = perm;
1697b635d36bSHong Zhang   b->col  = perm;
1698b635d36bSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
1699b635d36bSHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
1700b635d36bSHong Zhang   b->icol = iperm;
17017a48dd6fSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
17027a48dd6fSHong Zhang   ierr    = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1703*719d5645SBarry Smith   ierr = PetscLogObjectMemory((fact),(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
17047a48dd6fSHong Zhang   b->maxnz   = b->nz = ui[am];
1705e6b907acSBarry Smith   b->free_a  = PETSC_TRUE;
1706e6b907acSBarry Smith   b->free_ij = PETSC_TRUE;
17077a48dd6fSHong Zhang 
1708*719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1709*719d5645SBarry Smith   (fact)->info.fill_ratio_given  = fill;
17107a48dd6fSHong Zhang   if (ai[am] != 0) {
1711*719d5645SBarry Smith     (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]);
17127a48dd6fSHong Zhang   } else {
1713*719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 0.0;
17147a48dd6fSHong Zhang   }
1715*719d5645SBarry Smith   (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ;
1716a6175056SHong Zhang   PetscFunctionReturn(0);
1717a6175056SHong Zhang }
1718d5d45c9bSBarry Smith 
1719f76d2b81SHong Zhang #undef __FUNCT__
1720f76d2b81SHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ"
1721*719d5645SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,MatFactorInfo *info)
1722f76d2b81SHong Zhang {
1723f76d2b81SHong Zhang   Mat_SeqAIJ         *a = (Mat_SeqAIJ*)A->data;
172410c27e3dSHong Zhang   Mat_SeqSBAIJ       *b;
1725dfbe8321SBarry Smith   PetscErrorCode     ierr;
1726f76d2b81SHong Zhang   PetscTruth         perm_identity;
172710c27e3dSHong Zhang   PetscReal          fill = info->fill;
1728d0f46423SBarry Smith   PetscInt           *rip,*riip,i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow;
172910c27e3dSHong Zhang   PetscInt           *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow;
17302ed133dbSHong Zhang   PetscInt           nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr;
1731a1a86e44SBarry Smith   PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL;
173210c27e3dSHong Zhang   PetscBT            lnkbt;
17332ed133dbSHong Zhang   IS                 iperm;
1734f76d2b81SHong Zhang 
1735f76d2b81SHong Zhang   PetscFunctionBegin;
1736d0f46423SBarry 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);
17372ed133dbSHong Zhang   /* check whether perm is the identity mapping */
1738f76d2b81SHong Zhang   ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr);
17392ed133dbSHong Zhang   ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr);
17402ed133dbSHong Zhang   ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr);
17419bfd6278SHong Zhang   ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr);
174210c27e3dSHong Zhang 
174310c27e3dSHong Zhang   /* initialization */
17441393bc97SHong Zhang   ierr  = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr);
174510c27e3dSHong Zhang   ui[0] = 0;
174610c27e3dSHong Zhang 
174710c27e3dSHong Zhang   /* jl: linked list for storing indices of the pivot rows
17481393bc97SHong Zhang      il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */
17491393bc97SHong Zhang   ierr = PetscMalloc((3*am+1)*sizeof(PetscInt)+am*sizeof(PetscInt**),&jl);CHKERRQ(ierr);
17501393bc97SHong Zhang   il     = jl + am;
17511393bc97SHong Zhang   cols   = il + am;
17521393bc97SHong Zhang   ui_ptr = (PetscInt**)(cols + am);
17531393bc97SHong Zhang   for (i=0; i<am; i++){
17541393bc97SHong Zhang     jl[i] = am; il[i] = 0;
1755f76d2b81SHong Zhang   }
175610c27e3dSHong Zhang 
175710c27e3dSHong Zhang   /* create and initialize a linked list for storing column indices of the active row k */
17581393bc97SHong Zhang   nlnk = am + 1;
17591393bc97SHong Zhang   ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
176010c27e3dSHong Zhang 
17611393bc97SHong Zhang   /* initial FreeSpace size is fill*(ai[am]+1) */
1762a1a86e44SBarry Smith   ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr);
176310c27e3dSHong Zhang   current_space = free_space;
176410c27e3dSHong Zhang 
17651393bc97SHong Zhang   for (k=0; k<am; k++){  /* for each active row k */
176610c27e3dSHong Zhang     /* initialize lnk by the column indices of row rip[k] of A */
176710c27e3dSHong Zhang     nzk   = 0;
17682ed133dbSHong Zhang     ncols = ai[rip[k]+1] - ai[rip[k]];
17699bfd6278SHong Zhang     if (!ncols) SETERRQ(PETSC_ERR_MAT_CH_ZRPVT,"Empty row in matrix");
17702ed133dbSHong Zhang     ncols_upper = 0;
17712ed133dbSHong Zhang     for (j=0; j<ncols; j++){
17729bfd6278SHong Zhang       i = riip[*(aj + ai[rip[k]] + j)];
17732ed133dbSHong Zhang       if (i >= k){ /* only take upper triangular entry */
17742ed133dbSHong Zhang         cols[ncols_upper] = i;
17752ed133dbSHong Zhang         ncols_upper++;
17762ed133dbSHong Zhang       }
17772ed133dbSHong Zhang     }
17781393bc97SHong Zhang     ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
177910c27e3dSHong Zhang     nzk += nlnk;
178010c27e3dSHong Zhang 
178110c27e3dSHong Zhang     /* update lnk by computing fill-in for each pivot row to be merged in */
178210c27e3dSHong Zhang     prow = jl[k]; /* 1st pivot row */
178310c27e3dSHong Zhang 
178410c27e3dSHong Zhang     while (prow < k){
178510c27e3dSHong Zhang       nextprow = jl[prow];
178610c27e3dSHong Zhang       /* merge prow into k-th row */
17871393bc97SHong Zhang       jmin = il[prow] + 1;  /* index of the 2nd nzero entry in U(prow,k:am-1) */
178810c27e3dSHong Zhang       jmax = ui[prow+1];
178910c27e3dSHong Zhang       ncols = jmax-jmin;
17901393bc97SHong Zhang       uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */
17915a8e39fbSHong Zhang       ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr);
179210c27e3dSHong Zhang       nzk += nlnk;
179310c27e3dSHong Zhang 
179410c27e3dSHong Zhang       /* update il and jl for prow */
179510c27e3dSHong Zhang       if (jmin < jmax){
179610c27e3dSHong Zhang         il[prow] = jmin;
17972ed133dbSHong Zhang         j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow;
179810c27e3dSHong Zhang       }
179910c27e3dSHong Zhang       prow = nextprow;
180010c27e3dSHong Zhang     }
180110c27e3dSHong Zhang 
180210c27e3dSHong Zhang     /* if free space is not available, make more free space */
180310c27e3dSHong Zhang     if (current_space->local_remaining<nzk) {
18041393bc97SHong Zhang       i = am - k + 1; /* num of unfactored rows */
180510c27e3dSHong Zhang       i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */
1806a1a86e44SBarry Smith       ierr = PetscFreeSpaceGet(i,&current_space);CHKERRQ(ierr);
180710c27e3dSHong Zhang       reallocs++;
180810c27e3dSHong Zhang     }
180910c27e3dSHong Zhang 
181010c27e3dSHong Zhang     /* copy data into free space, then initialize lnk */
18111393bc97SHong Zhang     ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr);
181210c27e3dSHong Zhang 
181310c27e3dSHong Zhang     /* add the k-th row into il and jl */
181410c27e3dSHong Zhang     if (nzk-1 > 0){
18151393bc97SHong Zhang       i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */
181610c27e3dSHong Zhang       jl[k] = jl[i]; jl[i] = k;
181710c27e3dSHong Zhang       il[k] = ui[k] + 1;
181810c27e3dSHong Zhang     }
18192ed133dbSHong Zhang     ui_ptr[k] = current_space->array;
182010c27e3dSHong Zhang     current_space->array           += nzk;
182110c27e3dSHong Zhang     current_space->local_used      += nzk;
182210c27e3dSHong Zhang     current_space->local_remaining -= nzk;
182310c27e3dSHong Zhang 
182410c27e3dSHong Zhang     ui[k+1] = ui[k] + nzk;
182510c27e3dSHong Zhang   }
182610c27e3dSHong Zhang 
18276cf91177SBarry Smith #if defined(PETSC_USE_INFO)
18281393bc97SHong Zhang   if (ai[am] != 0) {
18291393bc97SHong Zhang     PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]);
1830ae15b995SBarry Smith     ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr);
1831ae15b995SBarry Smith     ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr);
1832ae15b995SBarry Smith     ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr);
183310c27e3dSHong Zhang   } else {
1834ae15b995SBarry Smith      ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr);
183510c27e3dSHong Zhang   }
183663ba0a88SBarry Smith #endif
183710c27e3dSHong Zhang 
183810c27e3dSHong Zhang   ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr);
18399bfd6278SHong Zhang   ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr);
184010c27e3dSHong Zhang   ierr = PetscFree(jl);CHKERRQ(ierr);
184110c27e3dSHong Zhang 
184210c27e3dSHong Zhang   /* destroy list of free space and other temporary array(s) */
18431393bc97SHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr);
1844a1a86e44SBarry Smith   ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr);
184510c27e3dSHong Zhang   ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr);
184610c27e3dSHong Zhang 
184710c27e3dSHong Zhang   /* put together the new matrix in MATSEQSBAIJ format */
184810c27e3dSHong Zhang 
1849*719d5645SBarry Smith   b = (Mat_SeqSBAIJ*)(fact)->data;
185010c27e3dSHong Zhang   b->singlemalloc = PETSC_FALSE;
1851e6b907acSBarry Smith   b->free_a       = PETSC_TRUE;
1852e6b907acSBarry Smith   b->free_ij      = PETSC_TRUE;
18531393bc97SHong Zhang   ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr);
185410c27e3dSHong Zhang   b->j    = uj;
185510c27e3dSHong Zhang   b->i    = ui;
185610c27e3dSHong Zhang   b->diag = 0;
185710c27e3dSHong Zhang   b->ilen = 0;
185810c27e3dSHong Zhang   b->imax = 0;
185910c27e3dSHong Zhang   b->row  = perm;
18609bfd6278SHong Zhang   b->col  = perm;
18619bfd6278SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
18629bfd6278SHong Zhang   ierr    = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr);
18639bfd6278SHong Zhang   b->icol = iperm;
186410c27e3dSHong Zhang   b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */
18651393bc97SHong Zhang   ierr    = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr);
1866*719d5645SBarry Smith   ierr    = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr);
18671393bc97SHong Zhang   b->maxnz = b->nz = ui[am];
186810c27e3dSHong Zhang 
1869*719d5645SBarry Smith   (fact)->info.factor_mallocs    = reallocs;
1870*719d5645SBarry Smith   (fact)->info.fill_ratio_given  = fill;
18711393bc97SHong Zhang   if (ai[am] != 0) {
1872*719d5645SBarry Smith     (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]);
187310c27e3dSHong Zhang   } else {
1874*719d5645SBarry Smith     (fact)->info.fill_ratio_needed = 0.0;
187510c27e3dSHong Zhang   }
1876*719d5645SBarry Smith   (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ;
1877f76d2b81SHong Zhang   PetscFunctionReturn(0);
1878f76d2b81SHong Zhang }
1879