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