1289bc588SBarry Smith 270f55243SBarry Smith #include "src/mat/impls/aij/seq/aij.h" 31c4feecaSSatish Balay #include "src/inline/dot.h" 4ed480e8bSBarry Smith #include "src/inline/spops.h" 51393bc97SHong Zhang #include "petscbt.h" 61393bc97SHong Zhang #include "src/mat/utils/freespace.h" 73b2fbd54SBarry Smith 84a2ae208SSatish Balay #undef __FUNCT__ 94a2ae208SSatish Balay #define __FUNCT__ "MatOrdering_Flow_SeqAIJ" 10dfbe8321SBarry Smith PetscErrorCode MatOrdering_Flow_SeqAIJ(Mat mat,const MatOrderingType type,IS *irow,IS *icol) 113b2fbd54SBarry Smith { 123a40ed3dSBarry Smith PetscFunctionBegin; 133a40ed3dSBarry Smith 1429bbc08cSBarry Smith SETERRQ(PETSC_ERR_SUP,"Code not written"); 15aa482453SBarry Smith #if !defined(PETSC_USE_DEBUG) 16d64ed03dSBarry Smith PetscFunctionReturn(0); 17d64ed03dSBarry Smith #endif 183b2fbd54SBarry Smith } 193b2fbd54SBarry Smith 2086bacbd2SBarry Smith 21dfbe8321SBarry Smith EXTERN PetscErrorCode MatMarkDiagonal_SeqAIJ(Mat); 2286bacbd2SBarry Smith 2338baddfdSBarry Smith EXTERN PetscErrorCode SPARSEKIT2dperm(PetscInt*,PetscScalar*,PetscInt*,PetscInt*,PetscScalar*,PetscInt*,PetscInt*,PetscInt*,PetscInt*,PetscInt*); 249cc1f4e3SBarry Smith EXTERN PetscErrorCode SPARSEKIT2ilutp(PetscInt*,PetscScalar*,PetscInt*,PetscInt*,PetscInt*,PetscReal,PetscReal*,PetscInt*,PetscScalar*,PetscInt*,PetscInt*,PetscInt*,PetscScalar*,PetscInt*,PetscInt*,PetscErrorCode*); 2538baddfdSBarry Smith EXTERN PetscErrorCode SPARSEKIT2msrcsr(PetscInt*,PetscScalar*,PetscInt*,PetscScalar*,PetscInt*,PetscInt*,PetscScalar*,PetscInt*); 2686bacbd2SBarry Smith 274a2ae208SSatish Balay #undef __FUNCT__ 284a2ae208SSatish Balay #define __FUNCT__ "MatILUDTFactor_SeqAIJ" 2986bacbd2SBarry Smith /* ------------------------------------------------------------ 3086bacbd2SBarry Smith 3186bacbd2SBarry Smith This interface was contribed by Tony Caola 3286bacbd2SBarry Smith 3386bacbd2SBarry Smith This routine is an interface to the pivoting drop-tolerance 345bd2ddc7SBarry Smith ILU routine written by Yousef Saad (saad@cs.umn.edu) as part of 355bd2ddc7SBarry Smith SPARSEKIT2. 365bd2ddc7SBarry Smith 375bd2ddc7SBarry Smith The SPARSEKIT2 routines used here are covered by the GNU 385bd2ddc7SBarry Smith copyright; see the file gnu in this directory. 3986bacbd2SBarry Smith 4086bacbd2SBarry Smith Thanks to Prof. Saad, Dr. Hysom, and Dr. Smith for their 4186bacbd2SBarry Smith help in getting this routine ironed out. 4286bacbd2SBarry Smith 435bd2ddc7SBarry Smith The major drawback to this routine is that if info->fill is 445bd2ddc7SBarry Smith not large enough it fails rather than allocating more space; 455bd2ddc7SBarry Smith this can be fixed by hacking/improving the f2c version of 465bd2ddc7SBarry Smith Yousef Saad's code. 4786bacbd2SBarry Smith 4886bacbd2SBarry Smith ------------------------------------------------------------ 4986bacbd2SBarry Smith */ 507529efd4SKris Buschelman PetscErrorCode MatILUDTFactor_SeqAIJ(Mat A,IS isrow,IS iscol,MatFactorInfo *info,Mat *fact) 5186bacbd2SBarry Smith { 5260ec86bdSBarry Smith #if defined(PETSC_AVOID_GNUCOPYRIGHT_CODE) 5360ec86bdSBarry Smith PetscFunctionBegin; 54e005ede5SBarry Smith SETERRQ(PETSC_ERR_SUP_SYS,"This distribution does not include GNU Copyright code\n\ 5560ec86bdSBarry Smith You can obtain the drop tolerance routines by installing PETSc from\n\ 5660ec86bdSBarry Smith www.mcs.anl.gov/petsc\n"); 5760ec86bdSBarry Smith #else 5886bacbd2SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 5907d2056aSBarry Smith IS iscolf,isicol,isirow; 6086bacbd2SBarry Smith PetscTruth reorder; 619cc1f4e3SBarry Smith PetscErrorCode ierr,sierr; 629cc1f4e3SBarry Smith PetscInt *c,*r,*ic,i,n = A->m; 6338baddfdSBarry Smith PetscInt *old_i = a->i,*old_j = a->j,*new_i,*old_i2 = 0,*old_j2 = 0,*new_j; 6438baddfdSBarry Smith PetscInt *ordcol,*iwk,*iperm,*jw; 6538baddfdSBarry Smith PetscInt jmax,lfill,job,*o_i,*o_j; 6687828ca2SBarry Smith PetscScalar *old_a = a->a,*w,*new_a,*old_a2 = 0,*wk,*o_a; 6754a8161fSBarry Smith PetscReal af; 6886bacbd2SBarry Smith 6986bacbd2SBarry Smith PetscFunctionBegin; 7086bacbd2SBarry Smith 7186bacbd2SBarry Smith if (info->dt == PETSC_DEFAULT) info->dt = .005; 7238baddfdSBarry Smith if (info->dtcount == PETSC_DEFAULT) info->dtcount = (PetscInt)(1.5*a->rmax); 7386bacbd2SBarry Smith if (info->dtcol == PETSC_DEFAULT) info->dtcol = .01; 7433259db3SBarry Smith if (info->fill == PETSC_DEFAULT) info->fill = ((double)(n*(info->dtcount+1)))/a->nz; 7538baddfdSBarry Smith lfill = (PetscInt)(info->dtcount/2.0); 7638baddfdSBarry Smith jmax = (PetscInt)(info->fill*a->nz); 7786bacbd2SBarry Smith 7886bacbd2SBarry Smith 7986bacbd2SBarry Smith /* ------------------------------------------------------------ 8086bacbd2SBarry Smith If reorder=.TRUE., then the original matrix has to be 8186bacbd2SBarry Smith reordered to reflect the user selected ordering scheme, and 8286bacbd2SBarry Smith then de-reordered so it is in it's original format. 8386bacbd2SBarry Smith Because Saad's dperm() is NOT in place, we have to copy 8486bacbd2SBarry Smith the original matrix and allocate more storage. . . 8586bacbd2SBarry Smith ------------------------------------------------------------ 8686bacbd2SBarry Smith */ 8786bacbd2SBarry Smith 8886bacbd2SBarry Smith /* set reorder to true if either isrow or iscol is not identity */ 8986bacbd2SBarry Smith ierr = ISIdentity(isrow,&reorder);CHKERRQ(ierr); 9086bacbd2SBarry Smith if (reorder) {ierr = ISIdentity(iscol,&reorder);CHKERRQ(ierr);} 9186bacbd2SBarry Smith reorder = PetscNot(reorder); 9286bacbd2SBarry Smith 9386bacbd2SBarry Smith 9486bacbd2SBarry Smith /* storage for ilu factor */ 9538baddfdSBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscInt),&new_i);CHKERRQ(ierr); 9638baddfdSBarry Smith ierr = PetscMalloc(jmax*sizeof(PetscInt),&new_j);CHKERRQ(ierr); 9787828ca2SBarry Smith ierr = PetscMalloc(jmax*sizeof(PetscScalar),&new_a);CHKERRQ(ierr); 9838baddfdSBarry Smith ierr = PetscMalloc(n*sizeof(PetscInt),&ordcol);CHKERRQ(ierr); 9986bacbd2SBarry Smith 10086bacbd2SBarry Smith /* ------------------------------------------------------------ 10186bacbd2SBarry Smith Make sure that everything is Fortran formatted (1-Based) 10286bacbd2SBarry Smith ------------------------------------------------------------ 10386bacbd2SBarry Smith */ 104b19713cbSBarry Smith for (i=old_i[0];i<old_i[n];i++) { 105b19713cbSBarry Smith old_j[i]++; 10686bacbd2SBarry Smith } 107b19713cbSBarry Smith for(i=0;i<n+1;i++) { 108b19713cbSBarry Smith old_i[i]++; 109b19713cbSBarry Smith }; 110010a20caSHong Zhang 11186bacbd2SBarry Smith 11286bacbd2SBarry Smith if (reorder) { 113c0c2c81eSBarry Smith ierr = ISGetIndices(iscol,&c);CHKERRQ(ierr); 114c0c2c81eSBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 115c0c2c81eSBarry Smith for(i=0;i<n;i++) { 116c0c2c81eSBarry Smith r[i] = r[i]+1; 117c0c2c81eSBarry Smith c[i] = c[i]+1; 118c0c2c81eSBarry Smith } 11938baddfdSBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscInt),&old_i2);CHKERRQ(ierr); 12038baddfdSBarry Smith ierr = PetscMalloc((old_i[n]-old_i[0]+1)*sizeof(PetscInt),&old_j2);CHKERRQ(ierr); 12187828ca2SBarry Smith ierr = PetscMalloc((old_i[n]-old_i[0]+1)*sizeof(PetscScalar),&old_a2);CHKERRQ(ierr); 1225bd2ddc7SBarry Smith job = 3; SPARSEKIT2dperm(&n,old_a,old_j,old_i,old_a2,old_j2,old_i2,r,c,&job); 123c0c2c81eSBarry Smith for (i=0;i<n;i++) { 124c0c2c81eSBarry Smith r[i] = r[i]-1; 125c0c2c81eSBarry Smith c[i] = c[i]-1; 126c0c2c81eSBarry Smith } 127c0c2c81eSBarry Smith ierr = ISRestoreIndices(iscol,&c);CHKERRQ(ierr); 128c0c2c81eSBarry Smith ierr = ISRestoreIndices(isrow,&r);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 14754a8161fSBarry Smith SPARSEKIT2ilutp(&n,o_a,o_j,o_i,&lfill,(PetscReal)info->dt,&info->dtcol,&n,new_a,new_j,new_i,&jmax,w,jw,iperm,&sierr); 1486849ba73SBarry Smith if (sierr) { 1496849ba73SBarry Smith switch (sierr) { 15077431f27SBarry Smith case -3: SETERRQ2(PETSC_ERR_LIB,"ilutp(), matrix U overflows, need larger info->fill current fill %g space allocated %D",info->fill,jmax); 15177431f27SBarry Smith case -2: SETERRQ2(PETSC_ERR_LIB,"ilutp(), matrix L overflows, need larger info->fill current fill %g space allocated %D",info->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"); 15477431f27SBarry Smith case -4: SETERRQ1(PETSC_ERR_LIB,"ilutp(), illegal info->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 221f204ca49SKris Buschelman ierr = MatCreate(A->comm,n,n,n,n,fact);CHKERRQ(ierr); 222f204ca49SKris Buschelman ierr = MatSetType(*fact,A->type_name);CHKERRQ(ierr); 223f204ca49SKris Buschelman ierr = MatSeqAIJSetPreallocation(*fact,0,PETSC_NULL);CHKERRQ(ierr); 22486bacbd2SBarry Smith (*fact)->factor = FACTOR_LU; 22586bacbd2SBarry Smith (*fact)->assembled = PETSC_TRUE; 22686bacbd2SBarry Smith 22786bacbd2SBarry Smith b = (Mat_SeqAIJ*)(*fact)->data; 22886bacbd2SBarry Smith ierr = PetscFree(b->imax);CHKERRQ(ierr); 22986bacbd2SBarry Smith b->sorted = PETSC_FALSE; 23007d2056aSBarry Smith b->singlemalloc = PETSC_FALSE; 231b19713cbSBarry Smith /* the next line frees the default space generated by the MatCreate() */ 23286bacbd2SBarry Smith ierr = PetscFree(b->a);CHKERRQ(ierr); 23386bacbd2SBarry Smith ierr = PetscFree(b->ilen);CHKERRQ(ierr); 23486bacbd2SBarry Smith b->a = new_a; 23586bacbd2SBarry Smith b->j = new_j; 23686bacbd2SBarry Smith b->i = new_i; 23786bacbd2SBarry Smith b->ilen = 0; 23886bacbd2SBarry Smith b->imax = 0; 2391f9e874aSBarry Smith /* I am not sure why these are the inverses of the row and column permutations; but the other way is NO GOOD */ 240313ae024SBarry Smith b->row = isirow; 24186bacbd2SBarry Smith b->col = iscolf; 24287828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 24386bacbd2SBarry Smith b->maxnz = b->nz = new_i[n]; 24486bacbd2SBarry Smith ierr = MatMarkDiagonal_SeqAIJ(*fact);CHKERRQ(ierr); 24586bacbd2SBarry Smith (*fact)->info.factor_mallocs = 0; 24686bacbd2SBarry Smith 24786bacbd2SBarry Smith ierr = MatMarkDiagonal_SeqAIJ(A);CHKERRQ(ierr); 24886bacbd2SBarry Smith 249431e710aSBarry Smith af = ((double)b->nz)/((double)a->nz) + .001; 250b0a32e0cSBarry Smith PetscLogInfo(A,"MatILUDTFactor_SeqAIJ:Fill ratio:given %g needed %g\n",info->fill,af); 251b0a32e0cSBarry Smith PetscLogInfo(A,"MatILUDTFactor_SeqAIJ:Run with -pc_ilu_fill %g or use \n",af); 252b0a32e0cSBarry Smith PetscLogInfo(A,"MatILUDTFactor_SeqAIJ:PCILUSetFill(pc,%g);\n",af); 253b0a32e0cSBarry Smith PetscLogInfo(A,"MatILUDTFactor_SeqAIJ:for best performance.\n"); 254431e710aSBarry Smith 2557529efd4SKris Buschelman ierr = MatILUDTFactor_Inode(A,isrow,iscol,info,fact);CHKERRQ(ierr); 25671c2f376SKris Buschelman 25786bacbd2SBarry Smith PetscFunctionReturn(0); 25860ec86bdSBarry Smith #endif 25986bacbd2SBarry Smith } 26086bacbd2SBarry Smith 2614a2ae208SSatish Balay #undef __FUNCT__ 262b9617806SBarry Smith #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ" 263dfbe8321SBarry Smith PetscErrorCode MatLUFactorSymbolic_SeqAIJ(Mat A,IS isrow,IS iscol,MatFactorInfo *info,Mat *B) 264289bc588SBarry Smith { 265416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 266289bc588SBarry Smith IS isicol; 2676849ba73SBarry Smith PetscErrorCode ierr; 26838baddfdSBarry Smith PetscInt *r,*ic,i,n=A->m,*ai=a->i,*aj=a->j; 2691393bc97SHong Zhang PetscInt *bi,*bj,*ajtmp; 2701393bc97SHong Zhang PetscInt *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im; 2719e046878SBarry Smith PetscReal f; 2721393bc97SHong Zhang PetscInt nlnk,*lnk,k,*cols,**bi_ptr; 2731393bc97SHong Zhang FreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 2741393bc97SHong Zhang PetscBT lnkbt; 275289bc588SBarry Smith 2763a40ed3dSBarry Smith PetscFunctionBegin; 27729bbc08cSBarry Smith if (A->M != A->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square"); 2784c49b128SBarry Smith ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 279ac121b3dSBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 280ac121b3dSBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 281289bc588SBarry Smith 282289bc588SBarry Smith /* get new row pointers */ 2831393bc97SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 2841393bc97SHong Zhang bi[0] = 0; 2851393bc97SHong Zhang 2861393bc97SHong Zhang /* bdiag is location of diagonal in factor */ 2871393bc97SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 2881393bc97SHong Zhang bdiag[0] = 0; 2891393bc97SHong Zhang 2901393bc97SHong Zhang /* linked list for storing column indices of the active row */ 2911393bc97SHong Zhang nlnk = n + 1; 2921393bc97SHong Zhang ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 2931393bc97SHong Zhang 2941393bc97SHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt)+n*sizeof(PetscInt**),&cols);CHKERRQ(ierr); 2951393bc97SHong Zhang im = cols + n; 2961393bc97SHong Zhang bi_ptr = (PetscInt**)(im + n); 2971393bc97SHong Zhang 2981393bc97SHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 299d3d32019SBarry Smith f = info->fill; 3001393bc97SHong Zhang ierr = GetMoreSpace((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 3011393bc97SHong Zhang current_space = free_space; 302289bc588SBarry Smith 303289bc588SBarry Smith for (i=0; i<n; i++) { 3041393bc97SHong Zhang /* copy previous fill into linked list */ 305289bc588SBarry Smith nzi = 0; 3061393bc97SHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 3071393bc97SHong Zhang if (!nnz) SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix"); 3081393bc97SHong Zhang ajtmp = aj + ai[r[i]]; 3091393bc97SHong Zhang for (k=0; k<nnz; k++) cols[k] = ic[*(ajtmp+k)]; /* note: cols is not sorted when iscol!=indentity */ 3101393bc97SHong Zhang ierr = PetscLLAdd(nnz,cols,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 3111393bc97SHong Zhang nzi += nlnk; 3121393bc97SHong Zhang 3131393bc97SHong Zhang /* add pivot rows into linked list */ 3141393bc97SHong Zhang row = lnk[n]; 3151393bc97SHong Zhang while (row < i) { 3161393bc97SHong Zhang nzbd = bdiag[row] - bi[row] + 1; 3171393bc97SHong Zhang ajtmp = bi_ptr[row] + nzbd; 3181393bc97SHong Zhang nnz = im[row] - nzbd; /* num of columns with row<indices<=i */ 3191393bc97SHong Zhang im[row] = nzbd; 3201393bc97SHong Zhang ierr = PetscLLAddSortedLU(nnz,ajtmp,row,nlnk,lnk,lnkbt,i,nzbd);CHKERRQ(ierr); 3211393bc97SHong Zhang nzi += nlnk; 3221393bc97SHong Zhang im[row] += nzbd; /* update im[row]: num of cols with index<=i */ 3231393bc97SHong Zhang 3241393bc97SHong Zhang row = lnk[row]; 325289bc588SBarry Smith } 3261393bc97SHong Zhang 3271393bc97SHong Zhang bi[i+1] = bi[i] + nzi; 3281393bc97SHong Zhang im[i] = nzi; 3291393bc97SHong Zhang 3301393bc97SHong Zhang /* mark bdiag */ 3311393bc97SHong Zhang nzbd = 0; 3321393bc97SHong Zhang nnz = nzi; 3331393bc97SHong Zhang k = lnk[n]; 3341393bc97SHong Zhang while (nnz-- && k < i){ 3351393bc97SHong Zhang nzbd++; 3361393bc97SHong Zhang k = lnk[k]; 3371393bc97SHong Zhang } 3381393bc97SHong Zhang bdiag[i] = bi[i] + nzbd; 3391393bc97SHong Zhang 3401393bc97SHong Zhang /* if free space is not available, make more free space */ 3411393bc97SHong Zhang if (current_space->local_remaining<nzi) { 3421393bc97SHong Zhang nnz = (n - i)*nzi; /* estimated and max additional space needed */ 3431393bc97SHong Zhang ierr = GetMoreSpace(nnz,¤t_space);CHKERRQ(ierr); 3441393bc97SHong Zhang reallocs++; 3451393bc97SHong Zhang } 3461393bc97SHong Zhang 3471393bc97SHong Zhang /* copy data into free space, then initialize lnk */ 3481393bc97SHong Zhang ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 3491393bc97SHong Zhang bi_ptr[i] = current_space->array; 3501393bc97SHong Zhang current_space->array += nzi; 3511393bc97SHong Zhang current_space->local_used += nzi; 3521393bc97SHong Zhang current_space->local_remaining -= nzi; 353289bc588SBarry Smith } 354464e8d44SSatish Balay if (ai[n] != 0) { 3551393bc97SHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 356418422e8SSatish Balay PetscLogInfo(A,"MatLUFactorSymbolic_SeqAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,f,af); 357b0a32e0cSBarry Smith PetscLogInfo(A,"MatLUFactorSymbolic_SeqAIJ:Run with -pc_lu_fill %g or use \n",af); 358b0a32e0cSBarry Smith PetscLogInfo(A,"MatLUFactorSymbolic_SeqAIJ:PCLUSetFill(pc,%g);\n",af); 359b0a32e0cSBarry Smith PetscLogInfo(A,"MatLUFactorSymbolic_SeqAIJ:for best performance.\n"); 36005bf559cSSatish Balay } else { 361b0a32e0cSBarry Smith PetscLogInfo(A,"MatLUFactorSymbolic_SeqAIJ: Empty matrix\n"); 36205bf559cSSatish Balay } 3632fb3ed76SBarry Smith 364898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 365898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 3661987afe7SBarry Smith 3671393bc97SHong Zhang /* destroy list of free space and other temporary array(s) */ 3681393bc97SHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 3691393bc97SHong Zhang ierr = MakeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); 3701393bc97SHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 3711393bc97SHong Zhang ierr = PetscFree(cols);CHKERRQ(ierr); 372289bc588SBarry Smith 373289bc588SBarry Smith /* put together the new matrix */ 374f204ca49SKris Buschelman ierr = MatCreate(A->comm,n,n,n,n,B);CHKERRQ(ierr); 375f204ca49SKris Buschelman ierr = MatSetType(*B,A->type_name);CHKERRQ(ierr); 376f204ca49SKris Buschelman ierr = MatSeqAIJSetPreallocation(*B,0,PETSC_NULL);CHKERRQ(ierr); 37752e6d16bSBarry Smith ierr = PetscLogObjectParent(*B,isicol);CHKERRQ(ierr); 378416022c9SBarry Smith b = (Mat_SeqAIJ*)(*B)->data; 379606d414cSSatish Balay ierr = PetscFree(b->imax);CHKERRQ(ierr); 3807c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 381e8d4e0b9SBarry Smith /* the next line frees the default space generated by the Create() */ 382606d414cSSatish Balay ierr = PetscFree(b->a);CHKERRQ(ierr); 383606d414cSSatish Balay ierr = PetscFree(b->ilen);CHKERRQ(ierr); 3841393bc97SHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 3851393bc97SHong Zhang b->j = bj; 3861393bc97SHong Zhang b->i = bi; 3871393bc97SHong Zhang b->diag = bdiag; 388416022c9SBarry Smith b->ilen = 0; 389416022c9SBarry Smith b->imax = 0; 390416022c9SBarry Smith b->row = isrow; 391416022c9SBarry Smith b->col = iscol; 392c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 393c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 39482bf6240SBarry Smith b->icol = isicol; 39587828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 3961393bc97SHong Zhang 3971393bc97SHong Zhang /* In b structure: Free imax, ilen, old a, old j. Allocate solve_work, new a, new j */ 3981393bc97SHong Zhang ierr = PetscLogObjectMemory(*B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 3991393bc97SHong Zhang b->maxnz = b->nz = bi[n] ; 4007fd98bd6SLois Curfman McInnes 401329f5518SBarry Smith (*B)->factor = FACTOR_LU; 402418422e8SSatish Balay (*B)->info.factor_mallocs = reallocs; 403ae068f58SLois Curfman McInnes (*B)->info.fill_ratio_given = f; 404703deb49SSatish Balay 405e93ccc4dSBarry Smith if (ai[n] != 0) { 4061393bc97SHong Zhang (*B)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 407eea2913aSSatish Balay } else { 408eea2913aSSatish Balay (*B)->info.fill_ratio_needed = 0.0; 409eea2913aSSatish Balay } 4104846f1f5SKris Buschelman ierr = MatLUFactorSymbolic_Inode(A,isrow,iscol,info,B);CHKERRQ(ierr); 41171c2f376SKris Buschelman (*B)->ops->lufactornumeric = A->ops->lufactornumeric; /* Use Inode variant ONLY if A has inodes */ 4123a40ed3dSBarry Smith PetscFunctionReturn(0); 413289bc588SBarry Smith } 4141393bc97SHong Zhang 4150a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 4164a2ae208SSatish Balay #undef __FUNCT__ 4174a2ae208SSatish Balay #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ" 418af281ebdSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat A,MatFactorInfo *info,Mat *B) 419289bc588SBarry Smith { 420416022c9SBarry Smith Mat C=*B; 421416022c9SBarry Smith Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 42282bf6240SBarry Smith IS isrow = b->row,isicol = b->icol; 4236849ba73SBarry Smith PetscErrorCode ierr; 424b3bf805bSHong Zhang PetscInt *r,*ic,i,j,n=A->m,*bi=b->i,*bj=b->j; 425b3bf805bSHong Zhang PetscInt *ajtmp,*bjtmp,nz,row,*ics; 426d2276718SHong Zhang PetscInt *diag_offset = b->diag,diag,*pj; 42787828ca2SBarry Smith PetscScalar *rtmp,*v,*pc,multiplier,*pv,*rtmps; 428118f5789SBarry Smith PetscReal rs,d; 429118f5789SBarry Smith PetscReal row_shift; 430b3bf805bSHong Zhang LUShift_Ctx sctx; 431d2276718SHong Zhang PetscInt newshift; 432289bc588SBarry Smith 4333a40ed3dSBarry Smith PetscFunctionBegin; 43478b31e54SBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 43578b31e54SBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 43687828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr); 43787828ca2SBarry Smith ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr); 438010a20caSHong Zhang rtmps = rtmp; ics = ic; 439289bc588SBarry Smith 4406cc28720Svictorle if (!a->diag) { 4410cf777b8SBarry Smith ierr = MatMarkDiagonal_SeqAIJ(A);CHKERRQ(ierr); 4420cf777b8SBarry Smith } 443118f5789SBarry Smith /* if both shift schemes are chosen by user, only use info->shiftpd */ 444118f5789SBarry Smith if (info->shiftpd && info->shiftnz) info->shiftnz = 0.0; 445118f5789SBarry Smith if (info->shiftpd) { /* set sctx.shift_top=max{row_shift} */ 44638baddfdSBarry Smith PetscInt *aai = a->i,*ddiag = a->diag; 447118f5789SBarry Smith sctx.shift_top = 0; 4486cc28720Svictorle for (i=0; i<n; i++) { 449*9f95998fSHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 450*9f95998fSHong Zhang d = (a->a)[ddiag[i]]; 451*9f95998fSHong Zhang row_shift = -PetscAbsScalar(d) - PetscRealPart(d); 452010a20caSHong Zhang v = a->a+aai[i]; 453e24cfe64SHong Zhang nz = aai[i+1] - aai[i]; 454e24cfe64SHong Zhang for (j=0; j<nz; j++) 4556cc28720Svictorle row_shift += PetscAbsScalar(v[j]); 456118f5789SBarry Smith if (row_shift>sctx.shift_top) sctx.shift_top = row_shift; 4576cc28720Svictorle } 458118f5789SBarry Smith if (sctx.shift_top == 0.0) sctx.shift_top += 1.e-12; 459118f5789SBarry Smith sctx.shift_top *= 1.1; 460d2276718SHong Zhang sctx.nshift_max = 5; 461d2276718SHong Zhang sctx.shift_lo = 0.; 462d2276718SHong Zhang sctx.shift_hi = 1.; 463a0a356efSHong Zhang } 464a0a356efSHong Zhang 465a0a356efSHong Zhang sctx.shift_amount = 0; 466a0a356efSHong Zhang sctx.nshift = 0; 467085256b3SBarry Smith do { 468d2276718SHong Zhang sctx.lushift = PETSC_FALSE; 469289bc588SBarry Smith for (i=0; i<n; i++){ 470b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 471b3bf805bSHong Zhang bjtmp = bj + bi[i]; 472b3bf805bSHong Zhang for (j=0; j<nz; j++) rtmps[bjtmp[j]] = 0.0; 473289bc588SBarry Smith 474289bc588SBarry Smith /* load in initial (unfactored row) */ 475416022c9SBarry Smith nz = a->i[r[i]+1] - a->i[r[i]]; 476b3bf805bSHong Zhang ajtmp = a->j + a->i[r[i]]; 477010a20caSHong Zhang v = a->a + a->i[r[i]]; 478085256b3SBarry Smith for (j=0; j<nz; j++) { 479b3bf805bSHong Zhang rtmp[ics[ajtmp[j]]] = v[j]; 480085256b3SBarry Smith } 481d2276718SHong Zhang rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 482289bc588SBarry Smith 483b3bf805bSHong Zhang row = *bjtmp++; 484f2582111SSatish Balay while (row < i) { 4858c37ef55SBarry Smith pc = rtmp + row; 4868c37ef55SBarry Smith if (*pc != 0.0) { 487010a20caSHong Zhang pv = b->a + diag_offset[row]; 488010a20caSHong Zhang pj = b->j + diag_offset[row] + 1; 48935aab85fSBarry Smith multiplier = *pc / *pv++; 4908c37ef55SBarry Smith *pc = multiplier; 491b3bf805bSHong Zhang nz = bi[row+1] - diag_offset[row] - 1; 492f2582111SSatish Balay for (j=0; j<nz; j++) rtmps[pj[j]] -= multiplier * pv[j]; 493efee365bSSatish Balay ierr = PetscLogFlops(2*nz);CHKERRQ(ierr); 494289bc588SBarry Smith } 495b3bf805bSHong Zhang row = *bjtmp++; 496289bc588SBarry Smith } 497416022c9SBarry Smith /* finished row so stick it into b->a */ 498b3bf805bSHong Zhang pv = b->a + bi[i] ; 499b3bf805bSHong Zhang pj = b->j + bi[i] ; 500b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 501b3bf805bSHong Zhang diag = diag_offset[i] - bi[i]; 502d3d32019SBarry Smith rs = 0.0; 503d3d32019SBarry Smith for (j=0; j<nz; j++) { 504d3d32019SBarry Smith pv[j] = rtmps[pj[j]]; 505d3d32019SBarry Smith if (j != diag) rs += PetscAbsScalar(pv[j]); 506d3d32019SBarry Smith } 507d2276718SHong Zhang 508b3bf805bSHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 509d2276718SHong Zhang sctx.rs = rs; 510d2276718SHong Zhang sctx.pv = pv[diag]; 5113e8c821fSHong Zhang ierr = MatLUCheckShift_inline(info,sctx,newshift);CHKERRQ(ierr); 512d2276718SHong Zhang if (newshift == 1){ 513b3bf805bSHong Zhang break; /* sctx.shift_amount is updated */ 514d2276718SHong Zhang } else if (newshift == -1){ 515d2276718SHong Zhang SETERRQ4(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot row %D value %g tolerance %g * rs %g",i,PetscAbsScalar(sctx.pv),info->zeropivot,rs); 516d708749eSBarry Smith } 51735aab85fSBarry Smith } 518d2276718SHong Zhang 519118f5789SBarry Smith if (info->shiftpd && !sctx.lushift && info->shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 5206cc28720Svictorle /* 5216c037d1bSvictorle * if no shift in this attempt & shifting & started shifting & can refine, 5226cc28720Svictorle * then try lower shift 5236cc28720Svictorle */ 524d2276718SHong Zhang sctx.shift_hi = info->shift_fraction; 525d2276718SHong Zhang info->shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 526d2276718SHong Zhang sctx.shift_amount = info->shift_fraction * sctx.shift_top; 527d2276718SHong Zhang sctx.lushift = PETSC_TRUE; 528d2276718SHong Zhang sctx.nshift++; 5296cc28720Svictorle } 530d2276718SHong Zhang } while (sctx.lushift); 5310f11f9aeSSatish Balay 53235aab85fSBarry Smith /* invert diagonal entries for simplier triangular solves */ 53335aab85fSBarry Smith for (i=0; i<n; i++) { 534010a20caSHong Zhang b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]]; 53535aab85fSBarry Smith } 53635aab85fSBarry Smith 537606d414cSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 53878b31e54SBarry Smith ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 53978b31e54SBarry Smith ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 540416022c9SBarry Smith C->factor = FACTOR_LU; 5417dda7e10SBarry Smith (*B)->ops->lufactornumeric = A->ops->lufactornumeric; /* Use Inode variant ONLY if A has inodes */ 542c456f294SBarry Smith C->assembled = PETSC_TRUE; 543efee365bSSatish Balay ierr = PetscLogFlops(C->n);CHKERRQ(ierr); 544d2276718SHong Zhang if (sctx.nshift){ 545118f5789SBarry Smith if (info->shiftnz) { 5469259bec7SHong Zhang PetscLogInfo(0,"MatLUFactorNumeric_SeqAIJ: number of shift_nz tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount); 547118f5789SBarry Smith } else if (info->shiftpd) { 548d2276718SHong Zhang b->lu_shift_fraction = info->shift_fraction; 549118f5789SBarry Smith PetscLogInfo(0,"MatLUFactorNumeric_SeqAIJ: number of shift_pd tries %D, shift_amount %g, diagonal shifted up by %e fraction top_value %e\n",sctx.nshift,sctx.shift_amount,info->shift_fraction,sctx.shift_top); 5506cc28720Svictorle } 5510697b6caSHong Zhang } 5523a40ed3dSBarry Smith PetscFunctionReturn(0); 553289bc588SBarry Smith } 5540889b5dcSvictorle 5550889b5dcSvictorle #undef __FUNCT__ 5560889b5dcSvictorle #define __FUNCT__ "MatUsePETSc_SeqAIJ" 557dfbe8321SBarry Smith PetscErrorCode MatUsePETSc_SeqAIJ(Mat A) 5580889b5dcSvictorle { 5590889b5dcSvictorle PetscFunctionBegin; 5600889b5dcSvictorle A->ops->lufactorsymbolic = MatLUFactorSymbolic_SeqAIJ; 5610889b5dcSvictorle A->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 5620889b5dcSvictorle PetscFunctionReturn(0); 5630889b5dcSvictorle } 5640889b5dcSvictorle 5650889b5dcSvictorle 5660a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 5674a2ae208SSatish Balay #undef __FUNCT__ 5684a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ" 569dfbe8321SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,MatFactorInfo *info) 570da3a660dSBarry Smith { 571dfbe8321SBarry Smith PetscErrorCode ierr; 572416022c9SBarry Smith Mat C; 573416022c9SBarry Smith 5743a40ed3dSBarry Smith PetscFunctionBegin; 5759e046878SBarry Smith ierr = MatLUFactorSymbolic(A,row,col,info,&C);CHKERRQ(ierr); 576af281ebdSHong Zhang ierr = MatLUFactorNumeric(A,info,&C);CHKERRQ(ierr); 577273d9f13SBarry Smith ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 57852e6d16bSBarry Smith ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr); 5793a40ed3dSBarry Smith PetscFunctionReturn(0); 580da3a660dSBarry Smith } 5810a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 5824a2ae208SSatish Balay #undef __FUNCT__ 5834a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ" 584dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx) 5858c37ef55SBarry Smith { 586416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 587416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 5886849ba73SBarry Smith PetscErrorCode ierr; 58938baddfdSBarry Smith PetscInt *r,*c,i, n = A->m,*vi,*ai = a->i,*aj = a->j; 59038baddfdSBarry Smith PetscInt nz,*rout,*cout; 59187828ca2SBarry Smith PetscScalar *x,*b,*tmp,*tmps,*aa = a->a,sum,*v; 5928c37ef55SBarry Smith 5933a40ed3dSBarry Smith PetscFunctionBegin; 5943a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 59591bf9adeSBarry Smith 5961ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 5971ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 598416022c9SBarry Smith tmp = a->solve_work; 5998c37ef55SBarry Smith 6003b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 6013b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 6028c37ef55SBarry Smith 6038c37ef55SBarry Smith /* forward solve the lower triangular */ 6048c37ef55SBarry Smith tmp[0] = b[*r++]; 605010a20caSHong Zhang tmps = tmp; 6068c37ef55SBarry Smith for (i=1; i<n; i++) { 607010a20caSHong Zhang v = aa + ai[i] ; 608010a20caSHong Zhang vi = aj + ai[i] ; 60953e7425aSBarry Smith nz = a->diag[i] - ai[i]; 61053e7425aSBarry Smith sum = b[*r++]; 611ed480e8bSBarry Smith SPARSEDENSEMDOT(sum,tmps,v,vi,nz); 6128c37ef55SBarry Smith tmp[i] = sum; 6138c37ef55SBarry Smith } 6148c37ef55SBarry Smith 6158c37ef55SBarry Smith /* backward solve the upper triangular */ 6168c37ef55SBarry Smith for (i=n-1; i>=0; i--){ 617010a20caSHong Zhang v = aa + a->diag[i] + 1; 618010a20caSHong Zhang vi = aj + a->diag[i] + 1; 619416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 6208c37ef55SBarry Smith sum = tmp[i]; 621ed480e8bSBarry Smith SPARSEDENSEMDOT(sum,tmps,v,vi,nz); 622010a20caSHong Zhang x[*c--] = tmp[i] = sum*aa[a->diag[i]]; 6238c37ef55SBarry Smith } 6248c37ef55SBarry Smith 6253b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 6263b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 6271ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 6281ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 629efee365bSSatish Balay ierr = PetscLogFlops(2*a->nz - A->n);CHKERRQ(ierr); 6303a40ed3dSBarry Smith PetscFunctionReturn(0); 6318c37ef55SBarry Smith } 632026e39d0SSatish Balay 633930ae53cSBarry Smith /* ----------------------------------------------------------- */ 6344a2ae208SSatish Balay #undef __FUNCT__ 6354a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering" 636dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx) 637930ae53cSBarry Smith { 638930ae53cSBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 6396849ba73SBarry Smith PetscErrorCode ierr; 64038baddfdSBarry Smith PetscInt n = A->m,*ai = a->i,*aj = a->j,*adiag = a->diag; 641362ced78SSatish Balay PetscScalar *x,*b,*aa = a->a; 642aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 64338baddfdSBarry Smith PetscInt adiag_i,i,*vi,nz,ai_i; 644362ced78SSatish Balay PetscScalar *v,sum; 645d85afc42SSatish Balay #endif 646930ae53cSBarry Smith 6473a40ed3dSBarry Smith PetscFunctionBegin; 6483a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 649930ae53cSBarry Smith 6501ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 6511ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 652930ae53cSBarry Smith 653aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 6541c4feecaSSatish Balay fortransolveaij_(&n,x,ai,aj,adiag,aa,b); 6551c4feecaSSatish Balay #else 656930ae53cSBarry Smith /* forward solve the lower triangular */ 657930ae53cSBarry Smith x[0] = b[0]; 658930ae53cSBarry Smith for (i=1; i<n; i++) { 659930ae53cSBarry Smith ai_i = ai[i]; 660930ae53cSBarry Smith v = aa + ai_i; 661930ae53cSBarry Smith vi = aj + ai_i; 662930ae53cSBarry Smith nz = adiag[i] - ai_i; 663930ae53cSBarry Smith sum = b[i]; 664930ae53cSBarry Smith while (nz--) sum -= *v++ * x[*vi++]; 665930ae53cSBarry Smith x[i] = sum; 666930ae53cSBarry Smith } 667930ae53cSBarry Smith 668930ae53cSBarry Smith /* backward solve the upper triangular */ 669930ae53cSBarry Smith for (i=n-1; i>=0; i--){ 670930ae53cSBarry Smith adiag_i = adiag[i]; 671d708749eSBarry Smith v = aa + adiag_i + 1; 672d708749eSBarry Smith vi = aj + adiag_i + 1; 673930ae53cSBarry Smith nz = ai[i+1] - adiag_i - 1; 674930ae53cSBarry Smith sum = x[i]; 675930ae53cSBarry Smith while (nz--) sum -= *v++ * x[*vi++]; 676930ae53cSBarry Smith x[i] = sum*aa[adiag_i]; 677930ae53cSBarry Smith } 6781c4feecaSSatish Balay #endif 679efee365bSSatish Balay ierr = PetscLogFlops(2*a->nz - A->n);CHKERRQ(ierr); 6801ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 6811ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 6823a40ed3dSBarry Smith PetscFunctionReturn(0); 683930ae53cSBarry Smith } 684930ae53cSBarry Smith 6854a2ae208SSatish Balay #undef __FUNCT__ 6864a2ae208SSatish Balay #define __FUNCT__ "MatSolveAdd_SeqAIJ" 687dfbe8321SBarry Smith PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx) 688da3a660dSBarry Smith { 689416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 690416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 6916849ba73SBarry Smith PetscErrorCode ierr; 69238baddfdSBarry Smith PetscInt *r,*c,i, n = A->m,*vi,*ai = a->i,*aj = a->j; 69338baddfdSBarry Smith PetscInt nz,*rout,*cout; 69487828ca2SBarry Smith PetscScalar *x,*b,*tmp,*aa = a->a,sum,*v; 695da3a660dSBarry Smith 6963a40ed3dSBarry Smith PetscFunctionBegin; 69778b31e54SBarry Smith if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);} 698da3a660dSBarry Smith 6991ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 7001ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 701416022c9SBarry Smith tmp = a->solve_work; 702da3a660dSBarry Smith 7033b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 7043b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 705da3a660dSBarry Smith 706da3a660dSBarry Smith /* forward solve the lower triangular */ 707da3a660dSBarry Smith tmp[0] = b[*r++]; 708da3a660dSBarry Smith for (i=1; i<n; i++) { 709010a20caSHong Zhang v = aa + ai[i] ; 710010a20caSHong Zhang vi = aj + ai[i] ; 711416022c9SBarry Smith nz = a->diag[i] - ai[i]; 712da3a660dSBarry Smith sum = b[*r++]; 713010a20caSHong Zhang while (nz--) sum -= *v++ * tmp[*vi++ ]; 714da3a660dSBarry Smith tmp[i] = sum; 715da3a660dSBarry Smith } 716da3a660dSBarry Smith 717da3a660dSBarry Smith /* backward solve the upper triangular */ 718da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 719010a20caSHong Zhang v = aa + a->diag[i] + 1; 720010a20caSHong Zhang vi = aj + a->diag[i] + 1; 721416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 722da3a660dSBarry Smith sum = tmp[i]; 723010a20caSHong Zhang while (nz--) sum -= *v++ * tmp[*vi++ ]; 724010a20caSHong Zhang tmp[i] = sum*aa[a->diag[i]]; 725da3a660dSBarry Smith x[*c--] += tmp[i]; 726da3a660dSBarry Smith } 727da3a660dSBarry Smith 7283b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 7293b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 7301ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 7311ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 732efee365bSSatish Balay ierr = PetscLogFlops(2*a->nz);CHKERRQ(ierr); 733898183ecSLois Curfman McInnes 7343a40ed3dSBarry Smith PetscFunctionReturn(0); 735da3a660dSBarry Smith } 736da3a660dSBarry Smith /* -------------------------------------------------------------------*/ 7374a2ae208SSatish Balay #undef __FUNCT__ 7384a2ae208SSatish Balay #define __FUNCT__ "MatSolveTranspose_SeqAIJ" 739dfbe8321SBarry Smith PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx) 740da3a660dSBarry Smith { 741416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 7422235e667SBarry Smith IS iscol = a->col,isrow = a->row; 7436849ba73SBarry Smith PetscErrorCode ierr; 74438baddfdSBarry Smith PetscInt *r,*c,i,n = A->m,*vi,*ai = a->i,*aj = a->j; 74538baddfdSBarry Smith PetscInt nz,*rout,*cout,*diag = a->diag; 74687828ca2SBarry Smith PetscScalar *x,*b,*tmp,*aa = a->a,*v,s1; 747da3a660dSBarry Smith 7483a40ed3dSBarry Smith PetscFunctionBegin; 7491ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 7501ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 751416022c9SBarry Smith tmp = a->solve_work; 752da3a660dSBarry Smith 7532235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 7542235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 755da3a660dSBarry Smith 756da3a660dSBarry Smith /* copy the b into temp work space according to permutation */ 7572235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 758da3a660dSBarry Smith 759da3a660dSBarry Smith /* forward solve the U^T */ 760da3a660dSBarry Smith for (i=0; i<n; i++) { 761010a20caSHong Zhang v = aa + diag[i] ; 762010a20caSHong Zhang vi = aj + diag[i] + 1; 763f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 764c38d4ed2SBarry Smith s1 = tmp[i]; 765ef66eb69SBarry Smith s1 *= (*v++); /* multiply by inverse of diagonal entry */ 766da3a660dSBarry Smith while (nz--) { 767010a20caSHong Zhang tmp[*vi++ ] -= (*v++)*s1; 768da3a660dSBarry Smith } 769c38d4ed2SBarry Smith tmp[i] = s1; 770da3a660dSBarry Smith } 771da3a660dSBarry Smith 772da3a660dSBarry Smith /* backward solve the L^T */ 773da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 774010a20caSHong Zhang v = aa + diag[i] - 1 ; 775010a20caSHong Zhang vi = aj + diag[i] - 1 ; 776f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 777f1af5d2fSBarry Smith s1 = tmp[i]; 778da3a660dSBarry Smith while (nz--) { 779010a20caSHong Zhang tmp[*vi-- ] -= (*v--)*s1; 780da3a660dSBarry Smith } 781da3a660dSBarry Smith } 782da3a660dSBarry Smith 783da3a660dSBarry Smith /* copy tmp into x according to permutation */ 784da3a660dSBarry Smith for (i=0; i<n; i++) x[r[i]] = tmp[i]; 785da3a660dSBarry Smith 7862235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 7872235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 7881ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 7891ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 790da3a660dSBarry Smith 791efee365bSSatish Balay ierr = PetscLogFlops(2*a->nz-A->n);CHKERRQ(ierr); 7923a40ed3dSBarry Smith PetscFunctionReturn(0); 793da3a660dSBarry Smith } 794da3a660dSBarry Smith 7954a2ae208SSatish Balay #undef __FUNCT__ 7964a2ae208SSatish Balay #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ" 797dfbe8321SBarry Smith PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx) 798da3a660dSBarry Smith { 799416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 8002235e667SBarry Smith IS iscol = a->col,isrow = a->row; 8016849ba73SBarry Smith PetscErrorCode ierr; 80238baddfdSBarry Smith PetscInt *r,*c,i,n = A->m,*vi,*ai = a->i,*aj = a->j; 80338baddfdSBarry Smith PetscInt nz,*rout,*cout,*diag = a->diag; 80487828ca2SBarry Smith PetscScalar *x,*b,*tmp,*aa = a->a,*v; 8056abc6512SBarry Smith 8063a40ed3dSBarry Smith PetscFunctionBegin; 80723bc6035SMatthew Knepley if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);} 8086abc6512SBarry Smith 8091ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 8101ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 811416022c9SBarry Smith tmp = a->solve_work; 8126abc6512SBarry Smith 8132235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 8142235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 8156abc6512SBarry Smith 8166abc6512SBarry Smith /* copy the b into temp work space according to permutation */ 8172235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 8186abc6512SBarry Smith 8196abc6512SBarry Smith /* forward solve the U^T */ 8206abc6512SBarry Smith for (i=0; i<n; i++) { 821010a20caSHong Zhang v = aa + diag[i] ; 822010a20caSHong Zhang vi = aj + diag[i] + 1; 823f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 8246abc6512SBarry Smith tmp[i] *= *v++; 8256abc6512SBarry Smith while (nz--) { 826010a20caSHong Zhang tmp[*vi++ ] -= (*v++)*tmp[i]; 8276abc6512SBarry Smith } 8286abc6512SBarry Smith } 8296abc6512SBarry Smith 8306abc6512SBarry Smith /* backward solve the L^T */ 8316abc6512SBarry Smith for (i=n-1; i>=0; i--){ 832010a20caSHong Zhang v = aa + diag[i] - 1 ; 833010a20caSHong Zhang vi = aj + diag[i] - 1 ; 834f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 8356abc6512SBarry Smith while (nz--) { 836010a20caSHong Zhang tmp[*vi-- ] -= (*v--)*tmp[i]; 8376abc6512SBarry Smith } 8386abc6512SBarry Smith } 8396abc6512SBarry Smith 8406abc6512SBarry Smith /* copy tmp into x according to permutation */ 8416abc6512SBarry Smith for (i=0; i<n; i++) x[r[i]] += tmp[i]; 8426abc6512SBarry Smith 8432235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 8442235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 8451ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 8461ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 8476abc6512SBarry Smith 848efee365bSSatish Balay ierr = PetscLogFlops(2*a->nz);CHKERRQ(ierr); 8493a40ed3dSBarry Smith PetscFunctionReturn(0); 850da3a660dSBarry Smith } 8519e25ed09SBarry Smith /* ----------------------------------------------------------------*/ 852dfbe8321SBarry Smith EXTERN PetscErrorCode MatMissingDiagonal_SeqAIJ(Mat); 85308480c60SBarry Smith 8544a2ae208SSatish Balay #undef __FUNCT__ 8554a2ae208SSatish Balay #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ" 856dfbe8321SBarry Smith PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat A,IS isrow,IS iscol,MatFactorInfo *info,Mat *fact) 8579e25ed09SBarry Smith { 858416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 8599e25ed09SBarry Smith IS isicol; 8606849ba73SBarry Smith PetscErrorCode ierr; 8615a8e39fbSHong Zhang PetscInt *r,*ic,n=A->m,*ai=a->i,*aj=a->j; 8625a8e39fbSHong Zhang PetscInt *bi,*cols,nnz,*cols_lvl; 8635a8e39fbSHong Zhang PetscInt *bdiag,prow,fm,nzbd,len, reallocs=0,dcount=0; 8645a8e39fbSHong Zhang PetscInt i,levels,diagonal_fill; 86577c4ece6SBarry Smith PetscTruth col_identity,row_identity; 866329f5518SBarry Smith PetscReal f; 8675a8e39fbSHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 8685a8e39fbSHong Zhang PetscBT lnkbt; 8695a8e39fbSHong Zhang PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 8705a8e39fbSHong Zhang FreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 8715a8e39fbSHong Zhang FreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 8729e25ed09SBarry Smith 8733a40ed3dSBarry Smith PetscFunctionBegin; 8746cf997b0SBarry Smith f = info->fill; 87538baddfdSBarry Smith levels = (PetscInt)info->levels; 87638baddfdSBarry Smith diagonal_fill = (PetscInt)info->diagonal_fill; 8774c49b128SBarry Smith ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 87882bf6240SBarry Smith 87908480c60SBarry Smith /* special case that simply copies fill pattern */ 880be0abb6dSBarry Smith ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 881be0abb6dSBarry Smith ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 88286bacbd2SBarry Smith if (!levels && row_identity && col_identity) { 8832e8a6d31SBarry Smith ierr = MatDuplicate_SeqAIJ(A,MAT_DO_NOT_COPY_VALUES,fact);CHKERRQ(ierr); 88408480c60SBarry Smith (*fact)->factor = FACTOR_LU; 88508480c60SBarry Smith b = (Mat_SeqAIJ*)(*fact)->data; 88608480c60SBarry Smith if (!b->diag) { 8877c922b88SBarry Smith ierr = MatMarkDiagonal_SeqAIJ(*fact);CHKERRQ(ierr); 88808480c60SBarry Smith } 8897c922b88SBarry Smith ierr = MatMissingDiagonal_SeqAIJ(*fact);CHKERRQ(ierr); 89008480c60SBarry Smith b->row = isrow; 89108480c60SBarry Smith b->col = iscol; 89282bf6240SBarry Smith b->icol = isicol; 89387828ca2SBarry Smith ierr = PetscMalloc(((*fact)->m+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 894f830108cSBarry Smith (*fact)->ops->solve = MatSolve_SeqAIJ_NaturalOrdering; 895c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 896c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 8973a40ed3dSBarry Smith PetscFunctionReturn(0); 89808480c60SBarry Smith } 89908480c60SBarry Smith 900898183ecSLois Curfman McInnes ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 901898183ecSLois Curfman McInnes ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 9029e25ed09SBarry Smith 9039e25ed09SBarry Smith /* get new row pointers */ 9045a8e39fbSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 9055a8e39fbSHong Zhang bi[0] = 0; 9065a8e39fbSHong Zhang /* bdiag is location of diagonal in factor */ 9075a8e39fbSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 9085a8e39fbSHong Zhang bdiag[0] = 0; 9096cf997b0SBarry Smith 9105a8e39fbSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr); 9115a8e39fbSHong Zhang bjlvl_ptr = (PetscInt**)(bj_ptr + n); 9125a8e39fbSHong Zhang 9135a8e39fbSHong Zhang /* create a linked list for storing column indices of the active row */ 9145a8e39fbSHong Zhang nlnk = n + 1; 9155a8e39fbSHong Zhang ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 9165a8e39fbSHong Zhang 9175a8e39fbSHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 9185a8e39fbSHong Zhang ierr = GetMoreSpace((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 9195a8e39fbSHong Zhang current_space = free_space; 9205a8e39fbSHong Zhang ierr = GetMoreSpace((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr); 9215a8e39fbSHong Zhang current_space_lvl = free_space_lvl; 9225a8e39fbSHong Zhang 9235a8e39fbSHong Zhang for (i=0; i<n; i++) { 9245a8e39fbSHong Zhang nzi = 0; 9256cf997b0SBarry Smith /* copy current row into linked list */ 9265a8e39fbSHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 9275a8e39fbSHong Zhang if (!nnz) SETERRQ(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix"); 9285a8e39fbSHong Zhang cols = aj + ai[r[i]]; 9295a8e39fbSHong Zhang lnk[i] = -1; /* marker to indicate if diagonal exists */ 9305a8e39fbSHong Zhang ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 9315a8e39fbSHong Zhang nzi += nlnk; 9326cf997b0SBarry Smith 9336cf997b0SBarry Smith /* make sure diagonal entry is included */ 9345a8e39fbSHong Zhang if (diagonal_fill && lnk[i] == -1) { 9356cf997b0SBarry Smith fm = n; 9365a8e39fbSHong Zhang while (lnk[fm] < i) fm = lnk[fm]; 9375a8e39fbSHong Zhang lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 9385a8e39fbSHong Zhang lnk[fm] = i; 9395a8e39fbSHong Zhang lnk_lvl[i] = 0; 9405a8e39fbSHong Zhang nzi++; dcount++; 9416cf997b0SBarry Smith } 9426cf997b0SBarry Smith 9435a8e39fbSHong Zhang /* add pivot rows into the active row */ 9445a8e39fbSHong Zhang nzbd = 0; 9455a8e39fbSHong Zhang prow = lnk[n]; 9465a8e39fbSHong Zhang while (prow < i) { 9475a8e39fbSHong Zhang nnz = bdiag[prow]; 9485a8e39fbSHong Zhang cols = bj_ptr[prow] + nnz + 1; 9495a8e39fbSHong Zhang cols_lvl = bjlvl_ptr[prow] + nnz + 1; 9505a8e39fbSHong Zhang nnz = bi[prow+1] - bi[prow] - nnz - 1; 9515a8e39fbSHong Zhang ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 9525a8e39fbSHong Zhang nzi += nlnk; 9535a8e39fbSHong Zhang prow = lnk[prow]; 9545a8e39fbSHong Zhang nzbd++; 95556beaf04SBarry Smith } 9565a8e39fbSHong Zhang bdiag[i] = nzbd; 9575a8e39fbSHong Zhang bi[i+1] = bi[i] + nzi; 958ecf371e4SBarry Smith 9595a8e39fbSHong Zhang /* if free space is not available, make more free space */ 9605a8e39fbSHong Zhang if (current_space->local_remaining<nzi) { 9615a8e39fbSHong Zhang nnz = nzi*(n - i); /* estimated and max additional space needed */ 9625a8e39fbSHong Zhang ierr = GetMoreSpace(nnz,¤t_space);CHKERRQ(ierr); 9635a8e39fbSHong Zhang ierr = GetMoreSpace(nnz,¤t_space_lvl);CHKERRQ(ierr); 9645a8e39fbSHong Zhang reallocs++; 9655a8e39fbSHong Zhang } 966ecf371e4SBarry Smith 9675a8e39fbSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 9685a8e39fbSHong Zhang ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 9695a8e39fbSHong Zhang bj_ptr[i] = current_space->array; 9705a8e39fbSHong Zhang bjlvl_ptr[i] = current_space_lvl->array; 9715a8e39fbSHong Zhang 9725a8e39fbSHong Zhang /* make sure the active row i has diagonal entry */ 9735a8e39fbSHong Zhang if (*(bj_ptr[i]+bdiag[i]) != i) { 97477431f27SBarry Smith SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 9755a8e39fbSHong Zhang try running with -pc_ilu_nonzeros_along_diagonal or -pc_ilu_diagonal_fill",i); 9766cf997b0SBarry Smith } 9775a8e39fbSHong Zhang 9785a8e39fbSHong Zhang current_space->array += nzi; 9795a8e39fbSHong Zhang current_space->local_used += nzi; 9805a8e39fbSHong Zhang current_space->local_remaining -= nzi; 9815a8e39fbSHong Zhang current_space_lvl->array += nzi; 9825a8e39fbSHong Zhang current_space_lvl->local_used += nzi; 9835a8e39fbSHong Zhang current_space_lvl->local_remaining -= nzi; 9849e25ed09SBarry Smith } 9855a8e39fbSHong Zhang 986898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 987898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 9885a8e39fbSHong Zhang 9895a8e39fbSHong Zhang /* destroy list of free space and other temporary arrays */ 9905a8e39fbSHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 9915a8e39fbSHong Zhang ierr = MakeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); 9925a8e39fbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 9935a8e39fbSHong Zhang ierr = DestroySpace(free_space_lvl);CHKERRQ(ierr); 9945a8e39fbSHong Zhang ierr = PetscFree(bj_ptr);CHKERRQ(ierr); 9959e25ed09SBarry Smith 996f64065bbSBarry Smith { 9975a8e39fbSHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 998418422e8SSatish Balay PetscLogInfo(A,"MatILUFactorSymbolic_SeqAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,f,af); 999c0d6ac57SBarry Smith PetscLogInfo(A,"MatILUFactorSymbolic_SeqAIJ:Run with -[sub_]pc_ilu_fill %g or use \n",af); 1000c0d6ac57SBarry Smith PetscLogInfo(A,"MatILUFactorSymbolic_SeqAIJ:PCILUSetFill([sub]pc,%g);\n",af); 1001b0a32e0cSBarry Smith PetscLogInfo(A,"MatILUFactorSymbolic_SeqAIJ:for best performance.\n"); 1002335d9088SBarry Smith if (diagonal_fill) { 100377431f27SBarry Smith PetscLogInfo(A,"MatILUFactorSymbolic_SeqAIJ:Detected and replaced %D missing diagonals",dcount); 1004335d9088SBarry Smith } 1005f64065bbSBarry Smith } 1006bbb6d6a8SBarry Smith 10079e25ed09SBarry Smith /* put together the new matrix */ 1008f204ca49SKris Buschelman ierr = MatCreate(A->comm,n,n,n,n,fact);CHKERRQ(ierr); 1009f204ca49SKris Buschelman ierr = MatSetType(*fact,A->type_name);CHKERRQ(ierr); 1010f204ca49SKris Buschelman ierr = MatSeqAIJSetPreallocation(*fact,0,PETSC_NULL);CHKERRQ(ierr); 101152e6d16bSBarry Smith ierr = PetscLogObjectParent(*fact,isicol);CHKERRQ(ierr); 1012416022c9SBarry Smith b = (Mat_SeqAIJ*)(*fact)->data; 1013606d414cSSatish Balay ierr = PetscFree(b->imax);CHKERRQ(ierr); 10147c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 10155a8e39fbSHong Zhang len = (bi[n] )*sizeof(PetscScalar); 10169e25ed09SBarry Smith /* the next line frees the default space generated by the Create() */ 1017606d414cSSatish Balay ierr = PetscFree(b->a);CHKERRQ(ierr); 1018606d414cSSatish Balay ierr = PetscFree(b->ilen);CHKERRQ(ierr); 1019b0a32e0cSBarry Smith ierr = PetscMalloc(len+1,&b->a);CHKERRQ(ierr); 10205a8e39fbSHong Zhang b->j = bj; 10215a8e39fbSHong Zhang b->i = bi; 10225a8e39fbSHong Zhang for (i=0; i<n; i++) bdiag[i] += bi[i]; 10235a8e39fbSHong Zhang b->diag = bdiag; 1024416022c9SBarry Smith b->ilen = 0; 1025416022c9SBarry Smith b->imax = 0; 1026416022c9SBarry Smith b->row = isrow; 1027416022c9SBarry Smith b->col = iscol; 1028c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1029c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 103082bf6240SBarry Smith b->icol = isicol; 103187828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1032416022c9SBarry Smith /* In b structure: Free imax, ilen, old a, old j. 10335a8e39fbSHong Zhang Allocate bdiag, solve_work, new a, new j */ 10345a8e39fbSHong Zhang ierr = PetscLogObjectMemory(*fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 10355a8e39fbSHong Zhang b->maxnz = b->nz = bi[n] ; 10369e25ed09SBarry Smith (*fact)->factor = FACTOR_LU; 1037418422e8SSatish Balay (*fact)->info.factor_mallocs = reallocs; 1038ae068f58SLois Curfman McInnes (*fact)->info.fill_ratio_given = f; 10395a8e39fbSHong Zhang (*fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 104071c2f376SKris Buschelman 104154e71613SHong Zhang ierr = MatILUFactorSymbolic_Inode(A,isrow,iscol,info,fact);CHKERRQ(ierr); 104271c2f376SKris Buschelman (*fact)->ops->lufactornumeric = A->ops->lufactornumeric; /* Use Inode variant ONLY if A has inodes */ 10434846f1f5SKris Buschelman 10443a40ed3dSBarry Smith PetscFunctionReturn(0); 10459e25ed09SBarry Smith } 1046d5d45c9bSBarry Smith 10473c9e8598SHong Zhang #include "src/mat/impls/sbaij/seq/sbaij.h" 1048a6175056SHong Zhang #undef __FUNCT__ 1049a6175056SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ" 1050af281ebdSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat A,MatFactorInfo *info,Mat *B) 1051a6175056SHong Zhang { 10522ed133dbSHong Zhang Mat C = *B; 10530968510aSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 10542ed133dbSHong Zhang Mat_SeqSBAIJ *b=(Mat_SeqSBAIJ*)C->data; 10552ed133dbSHong Zhang IS ip=b->row; 10562ed133dbSHong Zhang PetscErrorCode ierr; 10572ed133dbSHong Zhang PetscInt *rip,i,j,mbs=A->m,*bi=b->i,*bj=b->j,*bcol; 10582ed133dbSHong Zhang PetscInt *ai=a->i,*aj=a->j; 10592ed133dbSHong Zhang PetscInt k,jmin,jmax,*jl,*il,col,nexti,ili,nz; 1060622e2028SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi; 1061540703acSHong Zhang PetscReal zeropivot,rs,shiftnz; 1062540703acSHong Zhang PetscTruth shiftpd; 1063540703acSHong Zhang ChShift_Ctx sctx; 1064540703acSHong Zhang PetscInt newshift; 1065d5d45c9bSBarry Smith 1066a6175056SHong Zhang PetscFunctionBegin; 1067540703acSHong Zhang shiftnz = info->shiftnz; 1068540703acSHong Zhang shiftpd = info->shiftpd; 1069ee45ca4aSHong Zhang zeropivot = info->zeropivot; 1070ee45ca4aSHong Zhang 10712ed133dbSHong Zhang ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 10722ed133dbSHong Zhang 10732ed133dbSHong Zhang /* initialization */ 10742ed133dbSHong Zhang nz = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar); 10752ed133dbSHong Zhang ierr = PetscMalloc(nz,&il);CHKERRQ(ierr); 10762ed133dbSHong Zhang jl = il + mbs; 10772ed133dbSHong Zhang rtmp = (MatScalar*)(jl + mbs); 10782ed133dbSHong Zhang 1079540703acSHong Zhang sctx.shift_amount = 0; 1080540703acSHong Zhang sctx.nshift = 0; 10812ed133dbSHong Zhang do { 1082540703acSHong Zhang sctx.chshift = PETSC_FALSE; 10832ed133dbSHong Zhang for (i=0; i<mbs; i++) { 10842ed133dbSHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 1085a6175056SHong Zhang } 10862ed133dbSHong Zhang 10872ed133dbSHong Zhang for (k = 0; k<mbs; k++){ 1088c05c3958SHong Zhang bval = ba + bi[k]; 10892ed133dbSHong Zhang /* initialize k-th row by the perm[k]-th row of A */ 10902ed133dbSHong Zhang jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 10912ed133dbSHong Zhang for (j = jmin; j < jmax; j++){ 10922ed133dbSHong Zhang col = rip[aj[j]]; 10932ed133dbSHong Zhang if (col >= k){ /* only take upper triangular entry */ 10942ed133dbSHong Zhang rtmp[col] = aa[j]; 1095c05c3958SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 10962ed133dbSHong Zhang } 10972ed133dbSHong Zhang } 109839e3d630SHong Zhang /* shift the diagonal of the matrix */ 1099540703acSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 11002ed133dbSHong Zhang 11012ed133dbSHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 11022ed133dbSHong Zhang dk = rtmp[k]; 11032ed133dbSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 11042ed133dbSHong Zhang 11052ed133dbSHong Zhang while (i < k){ 11062ed133dbSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 11072ed133dbSHong Zhang 11082ed133dbSHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 11092ed133dbSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 11102ed133dbSHong Zhang uikdi = - ba[ili]*ba[bi[i]]; /* diagonal(k) */ 11112ed133dbSHong Zhang dk += uikdi*ba[ili]; 11122ed133dbSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 11132ed133dbSHong Zhang 11142ed133dbSHong Zhang /* add multiple of row i to k-th row */ 11152ed133dbSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 11162ed133dbSHong Zhang if (jmin < jmax){ 11172ed133dbSHong Zhang for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 11182ed133dbSHong Zhang /* update il and jl for row i */ 11192ed133dbSHong Zhang il[i] = jmin; 11202ed133dbSHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 11212ed133dbSHong Zhang } 11222ed133dbSHong Zhang i = nexti; 11232ed133dbSHong Zhang } 11242ed133dbSHong Zhang 11250697b6caSHong Zhang /* shift the diagonals when zero pivot is detected */ 11260697b6caSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 11270697b6caSHong Zhang rs = 0.0; 11283c9e8598SHong Zhang jmin = bi[k]+1; 11293c9e8598SHong Zhang nz = bi[k+1] - jmin; 11303c9e8598SHong Zhang if (nz){ 11313c9e8598SHong Zhang bcol = bj + jmin; 11323c9e8598SHong Zhang while (nz--){ 113389f845c8SHong Zhang rs += PetscAbsScalar(rtmp[*bcol]); 113489f845c8SHong Zhang bcol++; 11353c9e8598SHong Zhang } 11363c9e8598SHong Zhang } 1137540703acSHong Zhang 1138540703acSHong Zhang sctx.rs = rs; 1139540703acSHong Zhang sctx.pv = dk; 11403e8c821fSHong Zhang ierr = MatCholeskyCheckShift_inline(info,sctx,newshift);CHKERRQ(ierr); 1141540703acSHong Zhang if (newshift == 1){ 1142540703acSHong Zhang break; /* sctx.shift_amount is updated */ 1143540703acSHong Zhang } else if (newshift == -1){ 11440697b6caSHong Zhang SETERRQ4(PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot row %D value %g tolerance %g * rs %g",k,PetscAbsScalar(dk),zeropivot,rs); 11453c9e8598SHong Zhang } 11463c9e8598SHong Zhang 11473c9e8598SHong Zhang /* copy data into U(k,:) */ 114839e3d630SHong Zhang ba[bi[k]] = 1.0/dk; /* U(k,k) */ 114939e3d630SHong Zhang jmin = bi[k]+1; jmax = bi[k+1]; 115039e3d630SHong Zhang if (jmin < jmax) { 115139e3d630SHong Zhang for (j=jmin; j<jmax; j++){ 115239e3d630SHong Zhang col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0; 11533c9e8598SHong Zhang } 115439e3d630SHong Zhang /* add the k-th row into il and jl */ 11553c9e8598SHong Zhang il[k] = jmin; 11563c9e8598SHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 11573c9e8598SHong Zhang } 11583c9e8598SHong Zhang } 1159540703acSHong Zhang } while (sctx.chshift); 11603c9e8598SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 11613c9e8598SHong Zhang 116239e3d630SHong Zhang ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 11633c9e8598SHong Zhang C->factor = FACTOR_CHOLESKY; 11643c9e8598SHong Zhang C->assembled = PETSC_TRUE; 11653c9e8598SHong Zhang C->preallocated = PETSC_TRUE; 1166efee365bSSatish Balay ierr = PetscLogFlops(C->m);CHKERRQ(ierr); 1167540703acSHong Zhang if (sctx.nshift){ 1168540703acSHong Zhang if (shiftnz) { 1169540703acSHong Zhang PetscLogInfo(0,"MatCholeskyFactorNumeric_SeqAIJ: number of shiftnz tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount); 1170540703acSHong Zhang } else if (shiftpd) { 1171540703acSHong Zhang PetscLogInfo(0,"MatCholeskyFactorNumeric_SeqAIJ: number of shiftpd tries %D, shift_amount %g\n",sctx.nshift,sctx.shift_amount); 11720697b6caSHong Zhang } 11733c9e8598SHong Zhang } 11743c9e8598SHong Zhang PetscFunctionReturn(0); 11753c9e8598SHong Zhang } 1176a6175056SHong Zhang 1177a6175056SHong Zhang #undef __FUNCT__ 1178a6175056SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ" 1179dfbe8321SBarry Smith PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat A,IS perm,MatFactorInfo *info,Mat *fact) 1180a6175056SHong Zhang { 11810968510aSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1182ed59401aSHong Zhang Mat_SeqSBAIJ *b; 1183ed59401aSHong Zhang Mat B; 1184dfbe8321SBarry Smith PetscErrorCode ierr; 1185653a6975SHong Zhang PetscTruth perm_identity; 1186622e2028SHong Zhang PetscInt reallocs=0,*rip,i,*ai=a->i,*aj=a->j,am=A->m,*ui; 1187ed59401aSHong Zhang PetscInt jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow; 1188391eac55SHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 11895a8e39fbSHong Zhang PetscInt ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr; 1190ed59401aSHong Zhang PetscReal fill=info->fill,levels=info->levels; 11917a48dd6fSHong Zhang FreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 11927a48dd6fSHong Zhang FreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 11937a48dd6fSHong Zhang PetscBT lnkbt; 1194a6175056SHong Zhang 1195a6175056SHong Zhang PetscFunctionBegin; 1196653a6975SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 11977a48dd6fSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 11987a48dd6fSHong Zhang 119939e3d630SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 120039e3d630SHong Zhang ui[0] = 0; 120139e3d630SHong Zhang 1202622e2028SHong Zhang /* special case that simply copies fill pattern */ 1203622e2028SHong Zhang if (!levels && perm_identity) { 1204622e2028SHong Zhang ierr = MatMarkDiagonal_SeqAIJ(A);CHKERRQ(ierr); 1205ed59401aSHong Zhang for (i=0; i<am; i++) { 120639e3d630SHong Zhang ui[i+1] = ui[i] + ai[i+1] - a->diag[i]; 1207ed59401aSHong Zhang } 120839e3d630SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 120939e3d630SHong Zhang cols = uj; 1210ed59401aSHong Zhang for (i=0; i<am; i++) { 1211ed59401aSHong Zhang aj = a->j + a->diag[i]; 121239e3d630SHong Zhang ncols = ui[i+1] - ui[i]; 121339e3d630SHong Zhang for (j=0; j<ncols; j++) *cols++ = *aj++; 1214ed59401aSHong Zhang } 121539e3d630SHong Zhang } else { /* case: levels>0 || (levels=0 && !perm_identity) */ 12167a48dd6fSHong Zhang /* initialization */ 12175a8e39fbSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr); 12187a48dd6fSHong Zhang 12197a48dd6fSHong Zhang /* jl: linked list for storing indices of the pivot rows 12207a48dd6fSHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 12211393bc97SHong Zhang ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 12227a48dd6fSHong Zhang il = jl + am; 12237a48dd6fSHong Zhang uj_ptr = (PetscInt**)(il + am); 12247a48dd6fSHong Zhang uj_lvl_ptr = (PetscInt**)(uj_ptr + am); 12257a48dd6fSHong Zhang for (i=0; i<am; i++){ 12267a48dd6fSHong Zhang jl[i] = am; il[i] = 0; 12277a48dd6fSHong Zhang } 12287a48dd6fSHong Zhang 12297a48dd6fSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 12307a48dd6fSHong Zhang nlnk = am + 1; 12312ed133dbSHong Zhang ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 12327a48dd6fSHong Zhang 12337a48dd6fSHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 12347a48dd6fSHong Zhang ierr = GetMoreSpace((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 12357a48dd6fSHong Zhang current_space = free_space; 12367a48dd6fSHong Zhang ierr = GetMoreSpace((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr); 12377a48dd6fSHong Zhang current_space_lvl = free_space_lvl; 12387a48dd6fSHong Zhang 12397a48dd6fSHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 12407a48dd6fSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 12417a48dd6fSHong Zhang nzk = 0; 1242622e2028SHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 1243622e2028SHong Zhang ncols_upper = 0; 1244622e2028SHong Zhang for (j=0; j<ncols; j++){ 12455a8e39fbSHong Zhang i = *(aj + ai[rip[k]] + j); 12465a8e39fbSHong Zhang if (rip[i] >= k){ /* only take upper triangular entry */ 12475a8e39fbSHong Zhang ajtmp[ncols_upper] = i; 1248622e2028SHong Zhang ncols_upper++; 1249622e2028SHong Zhang } 1250622e2028SHong Zhang } 12515a8e39fbSHong Zhang ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,rip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 12527a48dd6fSHong Zhang nzk += nlnk; 12537a48dd6fSHong Zhang 12547a48dd6fSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 12557a48dd6fSHong Zhang prow = jl[k]; /* 1st pivot row */ 12567a48dd6fSHong Zhang 12577a48dd6fSHong Zhang while (prow < k){ 12587a48dd6fSHong Zhang nextprow = jl[prow]; 12597a48dd6fSHong Zhang 12607a48dd6fSHong Zhang /* merge prow into k-th row */ 12617a48dd6fSHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 12627a48dd6fSHong Zhang jmax = ui[prow+1]; 12637a48dd6fSHong Zhang ncols = jmax-jmin; 1264ed59401aSHong Zhang i = jmin - ui[prow]; 1265ed59401aSHong Zhang cols = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 12665a8e39fbSHong Zhang uj = uj_lvl_ptr[prow] + i; /* levels of cols */ 12675a8e39fbSHong Zhang j = *(uj - 1); 12685a8e39fbSHong Zhang ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr); 12697a48dd6fSHong Zhang nzk += nlnk; 12707a48dd6fSHong Zhang 12717a48dd6fSHong Zhang /* update il and jl for prow */ 12727a48dd6fSHong Zhang if (jmin < jmax){ 12737a48dd6fSHong Zhang il[prow] = jmin; 12747a48dd6fSHong Zhang j = *cols; jl[prow] = jl[j]; jl[j] = prow; 12757a48dd6fSHong Zhang } 12767a48dd6fSHong Zhang prow = nextprow; 12777a48dd6fSHong Zhang } 12787a48dd6fSHong Zhang 12797a48dd6fSHong Zhang /* if free space is not available, make more free space */ 12807a48dd6fSHong Zhang if (current_space->local_remaining<nzk) { 12817a48dd6fSHong Zhang i = am - k + 1; /* num of unfactored rows */ 12827a48dd6fSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 12837a48dd6fSHong Zhang ierr = GetMoreSpace(i,¤t_space);CHKERRQ(ierr); 12847a48dd6fSHong Zhang ierr = GetMoreSpace(i,¤t_space_lvl);CHKERRQ(ierr); 12857a48dd6fSHong Zhang reallocs++; 12867a48dd6fSHong Zhang } 12877a48dd6fSHong Zhang 12887a48dd6fSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 12892ed133dbSHong Zhang ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 12907a48dd6fSHong Zhang 12917a48dd6fSHong Zhang /* add the k-th row into il and jl */ 129239e3d630SHong Zhang if (nzk > 1){ 12937a48dd6fSHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 12947a48dd6fSHong Zhang jl[k] = jl[i]; jl[i] = k; 12957a48dd6fSHong Zhang il[k] = ui[k] + 1; 12967a48dd6fSHong Zhang } 12977a48dd6fSHong Zhang uj_ptr[k] = current_space->array; 12987a48dd6fSHong Zhang uj_lvl_ptr[k] = current_space_lvl->array; 12997a48dd6fSHong Zhang 13007a48dd6fSHong Zhang current_space->array += nzk; 13017a48dd6fSHong Zhang current_space->local_used += nzk; 13027a48dd6fSHong Zhang current_space->local_remaining -= nzk; 13037a48dd6fSHong Zhang 13047a48dd6fSHong Zhang current_space_lvl->array += nzk; 13057a48dd6fSHong Zhang current_space_lvl->local_used += nzk; 13067a48dd6fSHong Zhang current_space_lvl->local_remaining -= nzk; 13077a48dd6fSHong Zhang 13087a48dd6fSHong Zhang ui[k+1] = ui[k] + nzk; 13097a48dd6fSHong Zhang } 13107a48dd6fSHong Zhang 13117a48dd6fSHong Zhang if (ai[am] != 0) { 131239e3d630SHong Zhang PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]); 13137a48dd6fSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,fill,af); 13147a48dd6fSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqAIJ:Run with -pc_cholesky_fill %g or use \n",af); 13157a48dd6fSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqAIJ:PCCholeskySetFill(pc,%g) for best performance.\n",af); 13167a48dd6fSHong Zhang } else { 1317ed59401aSHong Zhang PetscLogInfo(A,"MatICCFactorSymbolic_SeqAIJ:Empty matrix.\n"); 13187a48dd6fSHong Zhang } 13197a48dd6fSHong Zhang 13207a48dd6fSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 13217a48dd6fSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 13225a8e39fbSHong Zhang ierr = PetscFree(ajtmp);CHKERRQ(ierr); 13237a48dd6fSHong Zhang 13247a48dd6fSHong Zhang /* destroy list of free space and other temporary array(s) */ 13257a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 13267a48dd6fSHong Zhang ierr = MakeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 13272ed133dbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 13287a48dd6fSHong Zhang ierr = DestroySpace(free_space_lvl);CHKERRQ(ierr); 13297a48dd6fSHong Zhang 133039e3d630SHong Zhang } /* end of case: levels>0 || (levels=0 && !perm_identity) */ 133139e3d630SHong Zhang 13327a48dd6fSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 13337a48dd6fSHong Zhang ierr = MatCreate(PETSC_COMM_SELF,am,am,am,am,fact);CHKERRQ(ierr); 1334ed59401aSHong Zhang B = *fact; 1335ed59401aSHong Zhang ierr = MatSetType(B,MATSEQSBAIJ);CHKERRQ(ierr); 1336ed59401aSHong Zhang ierr = MatSeqSBAIJSetPreallocation(B,1,0,PETSC_NULL);CHKERRQ(ierr); 13377a48dd6fSHong Zhang 1338ed59401aSHong Zhang b = (Mat_SeqSBAIJ*)B->data; 13397a48dd6fSHong Zhang ierr = PetscFree(b->imax);CHKERRQ(ierr); 13407a48dd6fSHong Zhang b->singlemalloc = PETSC_FALSE; 13417a48dd6fSHong Zhang /* the next line frees the default space generated by the Create() */ 13427a48dd6fSHong Zhang ierr = PetscFree(b->a);CHKERRQ(ierr); 13437a48dd6fSHong Zhang ierr = PetscFree(b->ilen);CHKERRQ(ierr); 13447a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 13457a48dd6fSHong Zhang b->j = uj; 13467a48dd6fSHong Zhang b->i = ui; 13477a48dd6fSHong Zhang b->diag = 0; 13487a48dd6fSHong Zhang b->ilen = 0; 13497a48dd6fSHong Zhang b->imax = 0; 13507a48dd6fSHong Zhang b->row = perm; 13517a48dd6fSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 13527a48dd6fSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 13537a48dd6fSHong Zhang b->icol = perm; 13547a48dd6fSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 13557a48dd6fSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 135652e6d16bSBarry Smith ierr = PetscLogObjectMemory(B,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 13577a48dd6fSHong Zhang b->maxnz = b->nz = ui[am]; 13587a48dd6fSHong Zhang 1359ed59401aSHong Zhang B->factor = FACTOR_CHOLESKY; 1360ed59401aSHong Zhang B->info.factor_mallocs = reallocs; 1361ed59401aSHong Zhang B->info.fill_ratio_given = fill; 13627a48dd6fSHong Zhang if (ai[am] != 0) { 1363ed59401aSHong Zhang B->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 13647a48dd6fSHong Zhang } else { 1365ed59401aSHong Zhang B->info.fill_ratio_needed = 0.0; 13667a48dd6fSHong Zhang } 136739e3d630SHong Zhang (*fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 1368622e2028SHong Zhang if (perm_identity){ 1369ed59401aSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 1370ed59401aSHong Zhang B->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering; 1371622e2028SHong Zhang } 1372a6175056SHong Zhang PetscFunctionReturn(0); 1373a6175056SHong Zhang } 1374d5d45c9bSBarry Smith 1375f76d2b81SHong Zhang #undef __FUNCT__ 1376f76d2b81SHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ" 1377dfbe8321SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat A,IS perm,MatFactorInfo *info,Mat *fact) 1378f76d2b81SHong Zhang { 1379f76d2b81SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 138010c27e3dSHong Zhang Mat_SeqSBAIJ *b; 13812ed133dbSHong Zhang Mat B; 1382dfbe8321SBarry Smith PetscErrorCode ierr; 1383f76d2b81SHong Zhang PetscTruth perm_identity; 138410c27e3dSHong Zhang PetscReal fill = info->fill; 13851393bc97SHong Zhang PetscInt *rip,*riip,i,am=A->m,*ai=a->i,*aj=a->j,reallocs=0,prow; 138610c27e3dSHong Zhang PetscInt *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow; 13872ed133dbSHong Zhang PetscInt nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr; 138810c27e3dSHong Zhang FreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 138910c27e3dSHong Zhang PetscBT lnkbt; 13902ed133dbSHong Zhang IS iperm; 1391f76d2b81SHong Zhang 1392f76d2b81SHong Zhang PetscFunctionBegin; 13932ed133dbSHong Zhang /* check whether perm is the identity mapping */ 1394f76d2b81SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 13952ed133dbSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 13962ed133dbSHong Zhang 1397f76d2b81SHong Zhang if (!perm_identity){ 13982ed133dbSHong Zhang /* check if perm is symmetric! */ 13992ed133dbSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 14002ed133dbSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 14011393bc97SHong Zhang for (i=0; i<am; i++) { 14022ed133dbSHong Zhang if (rip[i] != riip[i]) SETERRQ(PETSC_ERR_ARG_INCOMP,"Non-symmetric permutation, must use symmetric permutation"); 14032ed133dbSHong Zhang } 14042ed133dbSHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 14052ed133dbSHong Zhang ierr = ISDestroy(iperm);CHKERRQ(ierr); 1406f76d2b81SHong Zhang } 140710c27e3dSHong Zhang 140810c27e3dSHong Zhang /* initialization */ 14091393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 141010c27e3dSHong Zhang ui[0] = 0; 141110c27e3dSHong Zhang 141210c27e3dSHong Zhang /* jl: linked list for storing indices of the pivot rows 14131393bc97SHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 14141393bc97SHong Zhang ierr = PetscMalloc((3*am+1)*sizeof(PetscInt)+am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 14151393bc97SHong Zhang il = jl + am; 14161393bc97SHong Zhang cols = il + am; 14171393bc97SHong Zhang ui_ptr = (PetscInt**)(cols + am); 14181393bc97SHong Zhang for (i=0; i<am; i++){ 14191393bc97SHong Zhang jl[i] = am; il[i] = 0; 1420f76d2b81SHong Zhang } 142110c27e3dSHong Zhang 142210c27e3dSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 14231393bc97SHong Zhang nlnk = am + 1; 14241393bc97SHong Zhang ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 142510c27e3dSHong Zhang 14261393bc97SHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 14271393bc97SHong Zhang ierr = GetMoreSpace((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 142810c27e3dSHong Zhang current_space = free_space; 142910c27e3dSHong Zhang 14301393bc97SHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 143110c27e3dSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 143210c27e3dSHong Zhang nzk = 0; 14332ed133dbSHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 14342ed133dbSHong Zhang ncols_upper = 0; 14352ed133dbSHong Zhang for (j=0; j<ncols; j++){ 1436622e2028SHong Zhang i = rip[*(aj + ai[rip[k]] + j)]; 14372ed133dbSHong Zhang if (i >= k){ /* only take upper triangular entry */ 14382ed133dbSHong Zhang cols[ncols_upper] = i; 14392ed133dbSHong Zhang ncols_upper++; 14402ed133dbSHong Zhang } 14412ed133dbSHong Zhang } 14421393bc97SHong Zhang ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 144310c27e3dSHong Zhang nzk += nlnk; 144410c27e3dSHong Zhang 144510c27e3dSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 144610c27e3dSHong Zhang prow = jl[k]; /* 1st pivot row */ 144710c27e3dSHong Zhang 144810c27e3dSHong Zhang while (prow < k){ 144910c27e3dSHong Zhang nextprow = jl[prow]; 145010c27e3dSHong Zhang /* merge prow into k-th row */ 14511393bc97SHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 145210c27e3dSHong Zhang jmax = ui[prow+1]; 145310c27e3dSHong Zhang ncols = jmax-jmin; 14541393bc97SHong Zhang uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 14555a8e39fbSHong Zhang ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 145610c27e3dSHong Zhang nzk += nlnk; 145710c27e3dSHong Zhang 145810c27e3dSHong Zhang /* update il and jl for prow */ 145910c27e3dSHong Zhang if (jmin < jmax){ 146010c27e3dSHong Zhang il[prow] = jmin; 14612ed133dbSHong Zhang j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow; 146210c27e3dSHong Zhang } 146310c27e3dSHong Zhang prow = nextprow; 146410c27e3dSHong Zhang } 146510c27e3dSHong Zhang 146610c27e3dSHong Zhang /* if free space is not available, make more free space */ 146710c27e3dSHong Zhang if (current_space->local_remaining<nzk) { 14681393bc97SHong Zhang i = am - k + 1; /* num of unfactored rows */ 146910c27e3dSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 147010c27e3dSHong Zhang ierr = GetMoreSpace(i,¤t_space);CHKERRQ(ierr); 147110c27e3dSHong Zhang reallocs++; 147210c27e3dSHong Zhang } 147310c27e3dSHong Zhang 147410c27e3dSHong Zhang /* copy data into free space, then initialize lnk */ 14751393bc97SHong Zhang ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 147610c27e3dSHong Zhang 147710c27e3dSHong Zhang /* add the k-th row into il and jl */ 147810c27e3dSHong Zhang if (nzk-1 > 0){ 14791393bc97SHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 148010c27e3dSHong Zhang jl[k] = jl[i]; jl[i] = k; 148110c27e3dSHong Zhang il[k] = ui[k] + 1; 148210c27e3dSHong Zhang } 14832ed133dbSHong Zhang ui_ptr[k] = current_space->array; 148410c27e3dSHong Zhang current_space->array += nzk; 148510c27e3dSHong Zhang current_space->local_used += nzk; 148610c27e3dSHong Zhang current_space->local_remaining -= nzk; 148710c27e3dSHong Zhang 148810c27e3dSHong Zhang ui[k+1] = ui[k] + nzk; 148910c27e3dSHong Zhang } 149010c27e3dSHong Zhang 14911393bc97SHong Zhang if (ai[am] != 0) { 14921393bc97SHong Zhang PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]); 149378910aadSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqAIJ:Reallocs %D Fill ratio:given %g needed %g\n",reallocs,fill,af); 149478910aadSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqAIJ:Run with -pc_cholesky_fill %g or use \n",af); 149578910aadSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqAIJ:PCCholeskySetFill(pc,%g) for best performance.\n",af); 149610c27e3dSHong Zhang } else { 149778910aadSHong Zhang PetscLogInfo(A,"MatCholeskyFactorSymbolic_SeqAIJ:Empty matrix.\n"); 149810c27e3dSHong Zhang } 149910c27e3dSHong Zhang 150010c27e3dSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 150110c27e3dSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 150210c27e3dSHong Zhang 150310c27e3dSHong Zhang /* destroy list of free space and other temporary array(s) */ 15041393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 150510c27e3dSHong Zhang ierr = MakeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 150610c27e3dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 150710c27e3dSHong Zhang 150810c27e3dSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 15091393bc97SHong Zhang ierr = MatCreate(PETSC_COMM_SELF,am,am,am,am,fact);CHKERRQ(ierr); 15102ed133dbSHong Zhang B = *fact; 15112ed133dbSHong Zhang ierr = MatSetType(B,MATSEQSBAIJ);CHKERRQ(ierr); 15122ed133dbSHong Zhang ierr = MatSeqSBAIJSetPreallocation(B,1,0,PETSC_NULL);CHKERRQ(ierr); 151310c27e3dSHong Zhang 15142ed133dbSHong Zhang b = (Mat_SeqSBAIJ*)B->data; 151510c27e3dSHong Zhang ierr = PetscFree(b->imax);CHKERRQ(ierr); 151610c27e3dSHong Zhang b->singlemalloc = PETSC_FALSE; 151710c27e3dSHong Zhang /* the next line frees the default space generated by the Create() */ 151810c27e3dSHong Zhang ierr = PetscFree(b->a);CHKERRQ(ierr); 151910c27e3dSHong Zhang ierr = PetscFree(b->ilen);CHKERRQ(ierr); 15201393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 152110c27e3dSHong Zhang b->j = uj; 152210c27e3dSHong Zhang b->i = ui; 152310c27e3dSHong Zhang b->diag = 0; 152410c27e3dSHong Zhang b->ilen = 0; 152510c27e3dSHong Zhang b->imax = 0; 152610c27e3dSHong Zhang b->row = perm; 152710c27e3dSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 152810c27e3dSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 152910c27e3dSHong Zhang b->icol = perm; 153010c27e3dSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 15311393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 15321393bc97SHong Zhang ierr = PetscLogObjectMemory(B,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 15331393bc97SHong Zhang b->maxnz = b->nz = ui[am]; 153410c27e3dSHong Zhang 15352ed133dbSHong Zhang B->factor = FACTOR_CHOLESKY; 15362ed133dbSHong Zhang B->info.factor_mallocs = reallocs; 15372ed133dbSHong Zhang B->info.fill_ratio_given = fill; 15381393bc97SHong Zhang if (ai[am] != 0) { 15391393bc97SHong Zhang B->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 154010c27e3dSHong Zhang } else { 15412ed133dbSHong Zhang B->info.fill_ratio_needed = 0.0; 154210c27e3dSHong Zhang } 154339e3d630SHong Zhang (*fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 15442ed133dbSHong Zhang if (perm_identity){ 154510c27e3dSHong Zhang (*fact)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 154610c27e3dSHong Zhang (*fact)->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering; 15472ed133dbSHong Zhang } 1548f76d2b81SHong Zhang PetscFunctionReturn(0); 1549f76d2b81SHong Zhang } 1550