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