1be1d678aSKris Buschelman #define PETSCMAT_DLL 2289bc588SBarry Smith 3b377110cSBarry Smith 47c4f633dSBarry Smith #include "../src/mat/impls/aij/seq/aij.h" 51393bc97SHong Zhang #include "petscbt.h" 67c4f633dSBarry Smith #include "../src/mat/utils/freespace.h" 73b2fbd54SBarry Smith 8f6a26d55SMatthew Knepley EXTERN_C_BEGIN 94a2ae208SSatish Balay #undef __FUNCT__ 104a2ae208SSatish Balay #define __FUNCT__ "MatOrdering_Flow_SeqAIJ" 118fa24674SBarry Smith /* 128fa24674SBarry Smith Computes an ordering to get most of the large numerical values in the lower triangular part of the matrix 138fa24674SBarry Smith */ 14dfbe8321SBarry Smith PetscErrorCode MatOrdering_Flow_SeqAIJ(Mat mat,const MatOrderingType type,IS *irow,IS *icol) 153b2fbd54SBarry Smith { 168fa24674SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)mat->data; 178fa24674SBarry Smith PetscErrorCode ierr; 18889a8dedSBarry Smith PetscInt i,j,jj,k, kk,n = mat->rmap->n, current = 0, newcurrent = 0,*order; 198fa24674SBarry Smith const PetscInt *ai = a->i, *aj = a->j; 208fa24674SBarry Smith const PetscScalar *aa = a->a; 218fa24674SBarry Smith PetscTruth *done; 22889a8dedSBarry Smith PetscReal best,past = 0,future; 233a40ed3dSBarry Smith 248fa24674SBarry Smith PetscFunctionBegin; 258fa24674SBarry Smith /* pick initial row */ 268fa24674SBarry Smith best = -1; 278fa24674SBarry Smith for (i=0; i<n; i++) { 288fa24674SBarry Smith future = 0; 298fa24674SBarry Smith for (j=ai[i]; j<ai[i+1]; j++) { 308fa24674SBarry Smith if (aj[j] != i) future += PetscAbsScalar(aa[j]); else past = PetscAbsScalar(aa[j]); 318fa24674SBarry Smith } 328fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 338fa24674SBarry Smith if (past/future > best) { 348fa24674SBarry Smith best = past/future; 358fa24674SBarry Smith current = i; 368fa24674SBarry Smith } 378fa24674SBarry Smith } 388fa24674SBarry Smith 398fa24674SBarry Smith ierr = PetscMalloc(n*sizeof(PetscTruth),&done);CHKERRQ(ierr); 408fa24674SBarry Smith ierr = PetscMalloc(n*sizeof(PetscInt),&order);CHKERRQ(ierr); 418fa24674SBarry Smith ierr = PetscMemzero(done,n*sizeof(PetscTruth));CHKERRQ(ierr); 428fa24674SBarry Smith order[0] = current; 438fa24674SBarry Smith for (i=0; i<n-1; i++) { 448fa24674SBarry Smith done[current] = PETSC_TRUE; 458fa24674SBarry Smith best = -1; 468fa24674SBarry Smith /* loop over all neighbors of current pivot */ 478fa24674SBarry Smith for (j=ai[current]; j<ai[current+1]; j++) { 488fa24674SBarry Smith jj = aj[j]; 498fa24674SBarry Smith if (done[jj]) continue; 508fa24674SBarry Smith /* loop over columns of potential next row computing weights for below and above diagonal */ 518fa24674SBarry Smith past = future = 0.0; 528fa24674SBarry Smith for (k=ai[jj]; k<ai[jj+1]; k++) { 538fa24674SBarry Smith kk = aj[k]; 548fa24674SBarry Smith if (done[kk]) past += PetscAbsScalar(aa[k]); 558fa24674SBarry Smith else if (kk != jj) future += PetscAbsScalar(aa[k]); 568fa24674SBarry Smith } 578fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 588fa24674SBarry Smith if (past/future > best) { 598fa24674SBarry Smith best = past/future; 608fa24674SBarry Smith newcurrent = jj; 618fa24674SBarry Smith } 628fa24674SBarry Smith } 638fa24674SBarry Smith if (best == -1) { /* no neighbors to select from so select best of all that remain */ 648fa24674SBarry Smith best = -1; 658fa24674SBarry Smith for (k=0; k<n; k++) { 668fa24674SBarry Smith if (done[k]) continue; 678fa24674SBarry Smith future = 0; 688fa24674SBarry Smith past = 0; 698fa24674SBarry Smith for (j=ai[k]; j<ai[k+1]; j++) { 708fa24674SBarry Smith kk = aj[j]; 718fa24674SBarry Smith if (done[kk]) past += PetscAbsScalar(aa[j]); 728fa24674SBarry Smith else if (kk != k) future += PetscAbsScalar(aa[j]); 738fa24674SBarry Smith } 748fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 758fa24674SBarry Smith if (past/future > best) { 768fa24674SBarry Smith best = past/future; 778fa24674SBarry Smith newcurrent = k; 788fa24674SBarry Smith } 798fa24674SBarry Smith } 808fa24674SBarry Smith } 818fa24674SBarry Smith if (current == newcurrent) SETERRQ(PETSC_ERR_PLIB,"newcurrent cannot be current"); 828fa24674SBarry Smith current = newcurrent; 838fa24674SBarry Smith order[i+1] = current; 848fa24674SBarry Smith } 858fa24674SBarry Smith ierr = ISCreateGeneral(PETSC_COMM_SELF,n,order,irow);CHKERRQ(ierr); 868fa24674SBarry Smith *icol = *irow; 878fa24674SBarry Smith ierr = PetscObjectReference((PetscObject)*irow);CHKERRQ(ierr); 888fa24674SBarry Smith ierr = PetscFree(done);CHKERRQ(ierr); 898fa24674SBarry Smith ierr = PetscFree(order);CHKERRQ(ierr); 90d64ed03dSBarry Smith PetscFunctionReturn(0); 913b2fbd54SBarry Smith } 92f6a26d55SMatthew Knepley EXTERN_C_END 933b2fbd54SBarry Smith 94e631078cSBarry Smith EXTERN_C_BEGIN 954a2ae208SSatish Balay #undef __FUNCT__ 96db4efbfdSBarry Smith #define __FUNCT__ "MatGetFactorAvailable_seqaij_petsc" 97db4efbfdSBarry Smith PetscErrorCode MatGetFactorAvailable_seqaij_petsc(Mat A,MatFactorType ftype,PetscTruth *flg) 98db4efbfdSBarry Smith { 99db4efbfdSBarry Smith PetscFunctionBegin; 100db4efbfdSBarry Smith *flg = PETSC_TRUE; 101db4efbfdSBarry Smith PetscFunctionReturn(0); 102db4efbfdSBarry Smith } 103db4efbfdSBarry Smith EXTERN_C_END 104db4efbfdSBarry Smith 105db4efbfdSBarry Smith EXTERN_C_BEGIN 106db4efbfdSBarry Smith #undef __FUNCT__ 107b24902e0SBarry Smith #define __FUNCT__ "MatGetFactor_seqaij_petsc" 108b24902e0SBarry Smith PetscErrorCode MatGetFactor_seqaij_petsc(Mat A,MatFactorType ftype,Mat *B) 109b24902e0SBarry Smith { 110d0f46423SBarry Smith PetscInt n = A->rmap->n; 111b24902e0SBarry Smith PetscErrorCode ierr; 112b24902e0SBarry Smith 113b24902e0SBarry Smith PetscFunctionBegin; 114b24902e0SBarry Smith ierr = MatCreate(((PetscObject)A)->comm,B);CHKERRQ(ierr); 115b24902e0SBarry Smith ierr = MatSetSizes(*B,n,n,n,n);CHKERRQ(ierr); 116599ef60dSHong Zhang if (ftype == MAT_FACTOR_LU || ftype == MAT_FACTOR_ILU || ftype == MAT_FACTOR_ILUDT){ 117b24902e0SBarry Smith ierr = MatSetType(*B,MATSEQAIJ);CHKERRQ(ierr); 118db4efbfdSBarry Smith (*B)->ops->ilufactorsymbolic = MatILUFactorSymbolic_SeqAIJ; 11935bd34faSBarry Smith (*B)->ops->lufactorsymbolic = MatLUFactorSymbolic_SeqAIJ; 1201da05e5aSHong Zhang (*B)->ops->iludtfactor = MatILUDTFactor_SeqAIJ; 121b24902e0SBarry Smith } else if (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) { 122b24902e0SBarry Smith ierr = MatSetType(*B,MATSEQSBAIJ);CHKERRQ(ierr); 123b24902e0SBarry Smith ierr = MatSeqSBAIJSetPreallocation(*B,1,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 1245c9eb25fSBarry Smith (*B)->ops->iccfactorsymbolic = MatICCFactorSymbolic_SeqAIJ; 1255c9eb25fSBarry Smith (*B)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqAIJ; 126b24902e0SBarry Smith } else SETERRQ(PETSC_ERR_SUP,"Factor type not supported"); 127db4efbfdSBarry Smith (*B)->factor = ftype; 128b24902e0SBarry Smith PetscFunctionReturn(0); 129b24902e0SBarry Smith } 130e631078cSBarry Smith EXTERN_C_END 131b24902e0SBarry Smith 132b24902e0SBarry Smith #undef __FUNCT__ 133b9617806SBarry Smith #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ" 1340481f469SBarry Smith PetscErrorCode MatLUFactorSymbolic_SeqAIJ(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 135289bc588SBarry Smith { 136416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 137289bc588SBarry Smith IS isicol; 1386849ba73SBarry Smith PetscErrorCode ierr; 1395d0c19d7SBarry Smith const PetscInt *r,*ic; 1405d0c19d7SBarry Smith PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j; 1411393bc97SHong Zhang PetscInt *bi,*bj,*ajtmp; 1421393bc97SHong Zhang PetscInt *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im; 1439e046878SBarry Smith PetscReal f; 1444875ba38SHong Zhang PetscInt nlnk,*lnk,k,**bi_ptr; 145a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1461393bc97SHong Zhang PetscBT lnkbt; 147289bc588SBarry Smith 1483a40ed3dSBarry Smith PetscFunctionBegin; 149d0f46423SBarry Smith if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square"); 1504c49b128SBarry Smith ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 151ac121b3dSBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 152ac121b3dSBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 153289bc588SBarry Smith 154289bc588SBarry Smith /* get new row pointers */ 1551393bc97SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 1561393bc97SHong Zhang bi[0] = 0; 1571393bc97SHong Zhang 1581393bc97SHong Zhang /* bdiag is location of diagonal in factor */ 1591393bc97SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 1601393bc97SHong Zhang bdiag[0] = 0; 1611393bc97SHong Zhang 1621393bc97SHong Zhang /* linked list for storing column indices of the active row */ 1631393bc97SHong Zhang nlnk = n + 1; 1641393bc97SHong Zhang ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 1651393bc97SHong Zhang 16635baf27eSSatish Balay ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr); 1671393bc97SHong Zhang 1681393bc97SHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 169d3d32019SBarry Smith f = info->fill; 170a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 1711393bc97SHong Zhang current_space = free_space; 172289bc588SBarry Smith 173289bc588SBarry Smith for (i=0; i<n; i++) { 1741393bc97SHong Zhang /* copy previous fill into linked list */ 175289bc588SBarry Smith nzi = 0; 1761393bc97SHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 1773b4a8b6dSBarry 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); 1781393bc97SHong Zhang ajtmp = aj + ai[r[i]]; 179afcc9904SHong Zhang ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 1801393bc97SHong Zhang nzi += nlnk; 1811393bc97SHong Zhang 1821393bc97SHong Zhang /* add pivot rows into linked list */ 1831393bc97SHong Zhang row = lnk[n]; 1841393bc97SHong Zhang while (row < i) { 185d1170560SHong Zhang nzbd = bdiag[row] - bi[row] + 1; /* num of entries in the row with column index <= row */ 186d1170560SHong Zhang ajtmp = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */ 187d1170560SHong Zhang ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr); 1881393bc97SHong Zhang nzi += nlnk; 1891393bc97SHong Zhang row = lnk[row]; 190289bc588SBarry Smith } 1911393bc97SHong Zhang bi[i+1] = bi[i] + nzi; 1921393bc97SHong Zhang im[i] = nzi; 1931393bc97SHong Zhang 1941393bc97SHong Zhang /* mark bdiag */ 1951393bc97SHong Zhang nzbd = 0; 1961393bc97SHong Zhang nnz = nzi; 1971393bc97SHong Zhang k = lnk[n]; 1981393bc97SHong Zhang while (nnz-- && k < i){ 1991393bc97SHong Zhang nzbd++; 2001393bc97SHong Zhang k = lnk[k]; 2011393bc97SHong Zhang } 2021393bc97SHong Zhang bdiag[i] = bi[i] + nzbd; 2031393bc97SHong Zhang 2041393bc97SHong Zhang /* if free space is not available, make more free space */ 2051393bc97SHong Zhang if (current_space->local_remaining<nzi) { 2061393bc97SHong Zhang nnz = (n - i)*nzi; /* estimated and max additional space needed */ 207a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 2081393bc97SHong Zhang reallocs++; 2091393bc97SHong Zhang } 2101393bc97SHong Zhang 2111393bc97SHong Zhang /* copy data into free space, then initialize lnk */ 2121393bc97SHong Zhang ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 2131393bc97SHong Zhang bi_ptr[i] = current_space->array; 2141393bc97SHong Zhang current_space->array += nzi; 2151393bc97SHong Zhang current_space->local_used += nzi; 2161393bc97SHong Zhang current_space->local_remaining -= nzi; 217289bc588SBarry Smith } 2186cf91177SBarry Smith #if defined(PETSC_USE_INFO) 219464e8d44SSatish Balay if (ai[n] != 0) { 2201393bc97SHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 221ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 222ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 223ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr); 224ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 22505bf559cSSatish Balay } else { 226ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr); 22705bf559cSSatish Balay } 22863ba0a88SBarry Smith #endif 2292fb3ed76SBarry Smith 230898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 231898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 2321987afe7SBarry Smith 2331393bc97SHong Zhang /* destroy list of free space and other temporary array(s) */ 2341393bc97SHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 235a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); 2361393bc97SHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 23735baf27eSSatish Balay ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr); 238289bc588SBarry Smith 239289bc588SBarry Smith /* put together the new matrix */ 240719d5645SBarry Smith ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 241719d5645SBarry Smith ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 242719d5645SBarry Smith b = (Mat_SeqAIJ*)(B)->data; 243e6b907acSBarry Smith b->free_a = PETSC_TRUE; 244e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 2457c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 2461393bc97SHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 2471393bc97SHong Zhang b->j = bj; 2481393bc97SHong Zhang b->i = bi; 2491393bc97SHong Zhang b->diag = bdiag; 250416022c9SBarry Smith b->ilen = 0; 251416022c9SBarry Smith b->imax = 0; 252416022c9SBarry Smith b->row = isrow; 253416022c9SBarry Smith b->col = iscol; 254c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 255c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 25682bf6240SBarry Smith b->icol = isicol; 25787828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2581393bc97SHong Zhang 2591393bc97SHong Zhang /* In b structure: Free imax, ilen, old a, old j. Allocate solve_work, new a, new j */ 260719d5645SBarry Smith ierr = PetscLogObjectMemory(B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 2611393bc97SHong Zhang b->maxnz = b->nz = bi[n] ; 2627fd98bd6SLois Curfman McInnes 263719d5645SBarry Smith (B)->factor = MAT_FACTOR_LU; 264719d5645SBarry Smith (B)->info.factor_mallocs = reallocs; 265719d5645SBarry Smith (B)->info.fill_ratio_given = f; 266703deb49SSatish Balay 2679f7d0b68SHong Zhang if (ai[n]) { 268719d5645SBarry Smith (B)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 269eea2913aSSatish Balay } else { 270719d5645SBarry Smith (B)->info.fill_ratio_needed = 0.0; 271eea2913aSSatish Balay } 272719d5645SBarry Smith (B)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 273719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqAIJ; 274719d5645SBarry Smith (B)->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 275db4efbfdSBarry Smith /* switch to inodes if appropriate */ 276719d5645SBarry Smith ierr = MatLUFactorSymbolic_Inode(B,A,isrow,iscol,info);CHKERRQ(ierr); 2773a40ed3dSBarry Smith PetscFunctionReturn(0); 278289bc588SBarry Smith } 2791393bc97SHong Zhang 2805b5bc046SBarry Smith /* 2815b5bc046SBarry Smith Trouble in factorization, should we dump the original matrix? 2825b5bc046SBarry Smith */ 2835b5bc046SBarry Smith #undef __FUNCT__ 2845b5bc046SBarry Smith #define __FUNCT__ "MatFactorDumpMatrix" 2855b5bc046SBarry Smith PetscErrorCode MatFactorDumpMatrix(Mat A) 2865b5bc046SBarry Smith { 2875b5bc046SBarry Smith PetscErrorCode ierr; 28890d69ab7SBarry Smith PetscTruth flg = PETSC_FALSE; 2895b5bc046SBarry Smith 2905b5bc046SBarry Smith PetscFunctionBegin; 29190d69ab7SBarry Smith ierr = PetscOptionsGetTruth(PETSC_NULL,"-mat_factor_dump_on_error",&flg,PETSC_NULL);CHKERRQ(ierr); 2925b5bc046SBarry Smith if (flg) { 2935b5bc046SBarry Smith PetscViewer viewer; 2945b5bc046SBarry Smith char filename[PETSC_MAX_PATH_LEN]; 2955b5bc046SBarry Smith 2965b5bc046SBarry Smith ierr = PetscSNPrintf(filename,PETSC_MAX_PATH_LEN,"matrix_factor_error.%d",PetscGlobalRank);CHKERRQ(ierr); 2977adad957SLisandro Dalcin ierr = PetscViewerBinaryOpen(((PetscObject)A)->comm,filename,FILE_MODE_WRITE,&viewer);CHKERRQ(ierr); 2985b5bc046SBarry Smith ierr = MatView(A,viewer);CHKERRQ(ierr); 2995b5bc046SBarry Smith ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr); 3005b5bc046SBarry Smith } 3015b5bc046SBarry Smith PetscFunctionReturn(0); 3025b5bc046SBarry Smith } 3035b5bc046SBarry Smith 304db4efbfdSBarry Smith extern PetscErrorCode MatSolve_Inode(Mat,Vec,Vec); 305db4efbfdSBarry Smith 3060a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 307c9c72f8fSHong Zhang extern PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_iludt(Mat,Vec,Vec); 308c9c72f8fSHong Zhang extern PetscErrorCode MatSolve_SeqAIJ_iludt(Mat,Vec,Vec); 309c9c72f8fSHong Zhang 310c9c72f8fSHong Zhang #undef __FUNCT__ 311c9c72f8fSHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_newdatastruct" 312c9c72f8fSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqAIJ_newdatastruct(Mat B,Mat A,const MatFactorInfo *info) 313c9c72f8fSHong Zhang { 314c9c72f8fSHong Zhang Mat C=B; 315c9c72f8fSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 316c9c72f8fSHong Zhang IS isrow = b->row,isicol = b->icol; 317c9c72f8fSHong Zhang PetscErrorCode ierr; 318c9c72f8fSHong Zhang const PetscInt *r,*ic,*ics; 319c9c72f8fSHong Zhang PetscInt i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 320c9c72f8fSHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzL,row,*bdiag=b->diag,*pj; 321c9c72f8fSHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,*aa=a->a; 322c9c72f8fSHong Zhang PetscReal shift=info->shiftinblocks; 323c9c72f8fSHong Zhang PetscTruth row_identity, col_identity; 324c9c72f8fSHong Zhang 325c9c72f8fSHong Zhang PetscFunctionBegin; 326c9c72f8fSHong Zhang /* printf("MatLUFactorNumeric_SeqAIJ_newdatastruct is called ...\n"); */ 327c9c72f8fSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 328c9c72f8fSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 329c9c72f8fSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 330c9c72f8fSHong Zhang ics = ic; 331c9c72f8fSHong Zhang 332c9c72f8fSHong Zhang for (i=0; i<n; i++){ 333c9c72f8fSHong Zhang /* zero rtmp */ 334c9c72f8fSHong Zhang /* L part */ 335c9c72f8fSHong Zhang nz = bi[i+1] - bi[i]; 336c9c72f8fSHong Zhang bjtmp = bj + bi[i]; 337c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 338c9c72f8fSHong Zhang 339c9c72f8fSHong Zhang /* U part */ 3408fc3a347SHong Zhang nz = bi[2*n-i+1] - bi[2*n-i]; 3418fc3a347SHong Zhang bjtmp = bj + bi[2*n-i]; 342c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 343c9c72f8fSHong Zhang 344c9c72f8fSHong Zhang /* load in initial (unfactored row) */ 345c9c72f8fSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 346c9c72f8fSHong Zhang ajtmp = aj + ai[r[i]]; 347c9c72f8fSHong Zhang v = aa + ai[r[i]]; 348c9c72f8fSHong Zhang for (j=0; j<nz; j++) { 349c9c72f8fSHong Zhang rtmp[ics[ajtmp[j]]] = v[j]; 350c9c72f8fSHong Zhang } 351c9c72f8fSHong Zhang if (rtmp[ics[r[i]]] == 0.0){ 352c9c72f8fSHong Zhang rtmp[ics[r[i]]] += shift; /* shift the diagonal of the matrix */ 353c9c72f8fSHong Zhang /* printf("row %d, shift %g\n",i,shift); */ 354c9c72f8fSHong Zhang } 355c9c72f8fSHong Zhang 356c9c72f8fSHong Zhang /* elimination */ 357c9c72f8fSHong Zhang bjtmp = bj + bi[i]; 358c9c72f8fSHong Zhang row = *bjtmp++; 359c9c72f8fSHong Zhang nzL = bi[i+1] - bi[i]; 360c9c72f8fSHong Zhang k = 0; 361c9c72f8fSHong Zhang while (k < nzL) { 362c9c72f8fSHong Zhang pc = rtmp + row; 363c9c72f8fSHong Zhang if (*pc != 0.0) { 364c9c72f8fSHong Zhang pv = b->a + bdiag[row]; 365c9c72f8fSHong Zhang multiplier = *pc * (*pv); 366c9c72f8fSHong Zhang *pc = multiplier; 3678fc3a347SHong Zhang pj = b->j + bi[2*n-row]; /* begining of U(row,:) */ 3688fc3a347SHong Zhang pv = b->a + bi[2*n-row]; 3698fc3a347SHong Zhang nz = bi[2*n-row+1] - bi[2*n-row] - 1; /* num of entries in U(row,:), excluding diag */ 370c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 371c9c72f8fSHong Zhang ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 372c9c72f8fSHong Zhang } 373c9c72f8fSHong Zhang row = *bjtmp++; k++; 374c9c72f8fSHong Zhang } 375c9c72f8fSHong Zhang 376c9c72f8fSHong Zhang /* finished row so stick it into b->a */ 377c9c72f8fSHong Zhang /* L part */ 378c9c72f8fSHong Zhang pv = b->a + bi[i] ; 379c9c72f8fSHong Zhang pj = b->j + bi[i] ; 380c9c72f8fSHong Zhang nz = bi[i+1] - bi[i]; 381c9c72f8fSHong Zhang for (j=0; j<nz; j++) { 382c9c72f8fSHong Zhang pv[j] = rtmp[pj[j]]; 383c9c72f8fSHong Zhang } 384c9c72f8fSHong Zhang 385c9c72f8fSHong Zhang /* Mark diagonal and invert diagonal for simplier triangular solves */ 386c9c72f8fSHong Zhang pv = b->a + bdiag[i]; 387c9c72f8fSHong Zhang pj = b->j + bdiag[i]; 388c9c72f8fSHong Zhang /* if (*pj != i)SETERRQ2(PETSC_ERR_SUP,"row %d != *pj %d",i,*pj) */ 389c9c72f8fSHong Zhang *pv = 1.0/rtmp[*pj]; 390c9c72f8fSHong Zhang 391c9c72f8fSHong Zhang /* U part */ 3928fc3a347SHong Zhang pv = b->a + bi[2*n-i]; 3938fc3a347SHong Zhang pj = b->j + bi[2*n-i]; 3948fc3a347SHong Zhang nz = bi[2*n-i+1] - bi[2*n-i] - 1; 3958fc3a347SHong Zhang for (j=0; j<nz; j++) pv[j] = rtmp[pj[j]]; 396c9c72f8fSHong Zhang } 397c9c72f8fSHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 398c9c72f8fSHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 399c9c72f8fSHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 400c9c72f8fSHong Zhang 401c9c72f8fSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 402c9c72f8fSHong Zhang ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 403c9c72f8fSHong Zhang if (row_identity && col_identity) { 404c9c72f8fSHong Zhang C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_iludt; 405c9c72f8fSHong Zhang } else { 406c9c72f8fSHong Zhang C->ops->solve = MatSolve_SeqAIJ_iludt; 407c9c72f8fSHong Zhang } 408c9c72f8fSHong Zhang 409c9c72f8fSHong Zhang C->ops->solveadd = 0; 410c9c72f8fSHong Zhang C->ops->solvetranspose = 0; 411c9c72f8fSHong Zhang C->ops->solvetransposeadd = 0; 412c9c72f8fSHong Zhang C->ops->matsolve = 0; 413c9c72f8fSHong Zhang C->assembled = PETSC_TRUE; 414c9c72f8fSHong Zhang C->preallocated = PETSC_TRUE; 415c9c72f8fSHong Zhang ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 416c9c72f8fSHong Zhang PetscFunctionReturn(0); 417c9c72f8fSHong Zhang } 418c9c72f8fSHong Zhang 4194a2ae208SSatish Balay #undef __FUNCT__ 4204a2ae208SSatish Balay #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ" 4210481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info) 422289bc588SBarry Smith { 423719d5645SBarry Smith Mat C=B; 424416022c9SBarry Smith Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 42582bf6240SBarry Smith IS isrow = b->row,isicol = b->icol; 4266849ba73SBarry Smith PetscErrorCode ierr; 4275d0c19d7SBarry Smith const PetscInt *r,*ic,*ics; 428d278edc7SBarry Smith PetscInt nz,row,i,j,n=A->rmap->n,diag; 429d278edc7SBarry Smith const PetscInt *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 430d278edc7SBarry Smith const PetscInt *ajtmp,*bjtmp,*diag_offset = b->diag,*pj; 431d278edc7SBarry Smith MatScalar *pv,*rtmp,*pc,multiplier,d; 432d278edc7SBarry Smith const MatScalar *v,*aa=a->a; 43333f9893dSHong Zhang PetscReal rs=0.0; 434b3bf805bSHong Zhang LUShift_Ctx sctx; 43542898933SHong Zhang PetscInt newshift,*ddiag; 436289bc588SBarry Smith 4373a40ed3dSBarry Smith PetscFunctionBegin; 43878b31e54SBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 43978b31e54SBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 440b78a477dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 4419f7d0b68SHong Zhang ics = ic; 442289bc588SBarry Smith 443ada7143aSSatish Balay sctx.shift_top = 0; 444ada7143aSSatish Balay sctx.nshift_max = 0; 445ada7143aSSatish Balay sctx.shift_lo = 0; 446ada7143aSSatish Balay sctx.shift_hi = 0; 4470481f469SBarry Smith sctx.shift_fraction = 0; 448ada7143aSSatish Balay 449118f5789SBarry Smith /* if both shift schemes are chosen by user, only use info->shiftpd */ 4501a890ab1SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 45142898933SHong Zhang ddiag = a->diag; 4529f7d0b68SHong Zhang sctx.shift_top = info->zeropivot; 4536cc28720Svictorle for (i=0; i<n; i++) { 4549f95998fSHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 4559f7d0b68SHong Zhang d = (aa)[ddiag[i]]; 4561a890ab1SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 4579f7d0b68SHong Zhang v = aa+ai[i]; 4589f7d0b68SHong Zhang nz = ai[i+1] - ai[i]; 459e24cfe64SHong Zhang for (j=0; j<nz; j++) 4601a890ab1SHong Zhang rs += PetscAbsScalar(v[j]); 4611a890ab1SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 4626cc28720Svictorle } 463118f5789SBarry Smith sctx.shift_top *= 1.1; 464d2276718SHong Zhang sctx.nshift_max = 5; 465d2276718SHong Zhang sctx.shift_lo = 0.; 466d2276718SHong Zhang sctx.shift_hi = 1.; 467a0a356efSHong Zhang } 468a0a356efSHong Zhang 4699f7d0b68SHong Zhang sctx.shift_amount = 0.0; 470a0a356efSHong Zhang sctx.nshift = 0; 471085256b3SBarry Smith do { 472d2276718SHong Zhang sctx.lushift = PETSC_FALSE; 473289bc588SBarry Smith for (i=0; i<n; i++){ 474b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 475b3bf805bSHong Zhang bjtmp = bj + bi[i]; 4769f7d0b68SHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 477289bc588SBarry Smith 478289bc588SBarry Smith /* load in initial (unfactored row) */ 4799f7d0b68SHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 4809f7d0b68SHong Zhang ajtmp = aj + ai[r[i]]; 4819f7d0b68SHong Zhang v = aa + ai[r[i]]; 482085256b3SBarry Smith for (j=0; j<nz; j++) { 483b3bf805bSHong Zhang rtmp[ics[ajtmp[j]]] = v[j]; 484085256b3SBarry Smith } 485d2276718SHong Zhang rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 486bd1bc851SBarry Smith /* if (sctx.shift_amount > 0.0) printf("row %d, shift %g\n",i,sctx.shift_amount); */ 487289bc588SBarry Smith 488b3bf805bSHong Zhang row = *bjtmp++; 489f2582111SSatish Balay while (row < i) { 4908c37ef55SBarry Smith pc = rtmp + row; 4918c37ef55SBarry Smith if (*pc != 0.0) { 492010a20caSHong Zhang pv = b->a + diag_offset[row]; 493010a20caSHong Zhang pj = b->j + diag_offset[row] + 1; 49435aab85fSBarry Smith multiplier = *pc / *pv++; 4958c37ef55SBarry Smith *pc = multiplier; 496b3bf805bSHong Zhang nz = bi[row+1] - diag_offset[row] - 1; 4979f7d0b68SHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 498dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 499289bc588SBarry Smith } 500b3bf805bSHong Zhang row = *bjtmp++; 501289bc588SBarry Smith } 502416022c9SBarry Smith /* finished row so stick it into b->a */ 503b3bf805bSHong Zhang pv = b->a + bi[i] ; 504b3bf805bSHong Zhang pj = b->j + bi[i] ; 505b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 506b3bf805bSHong Zhang diag = diag_offset[i] - bi[i]; 507e57ff13aSBarry Smith rs = 0.0; 508d3d32019SBarry Smith for (j=0; j<nz; j++) { 5099f7d0b68SHong Zhang pv[j] = rtmp[pj[j]]; 5109f7d0b68SHong Zhang rs += PetscAbsScalar(pv[j]); 511d3d32019SBarry Smith } 512e57ff13aSBarry Smith rs -= PetscAbsScalar(pv[diag]); 513d2276718SHong Zhang 514b3bf805bSHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 515d2276718SHong Zhang sctx.rs = rs; 516d2276718SHong Zhang sctx.pv = pv[diag]; 517c6b1f410SHong Zhang ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); 5185b5bc046SBarry Smith if (newshift == 1) break; 51935aab85fSBarry Smith } 520d2276718SHong Zhang 5210481f469SBarry Smith if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 5226cc28720Svictorle /* 5236c037d1bSvictorle * if no shift in this attempt & shifting & started shifting & can refine, 5246cc28720Svictorle * then try lower shift 5256cc28720Svictorle */ 5260481f469SBarry Smith sctx.shift_hi = sctx.shift_fraction; 5270481f469SBarry Smith sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 5280481f469SBarry Smith sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 529d2276718SHong Zhang sctx.lushift = PETSC_TRUE; 530d2276718SHong Zhang sctx.nshift++; 5316cc28720Svictorle } 532d2276718SHong Zhang } while (sctx.lushift); 5330f11f9aeSSatish Balay 53435aab85fSBarry Smith /* invert diagonal entries for simplier triangular solves */ 53535aab85fSBarry Smith for (i=0; i<n; i++) { 536010a20caSHong Zhang b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]]; 53735aab85fSBarry Smith } 538606d414cSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 53978b31e54SBarry Smith ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 54078b31e54SBarry Smith ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 541db4efbfdSBarry Smith if (b->inode.use) { 542db4efbfdSBarry Smith C->ops->solve = MatSolve_Inode; 543db4efbfdSBarry Smith } else { 5448d8c7c43SBarry Smith PetscTruth row_identity, col_identity; 5458d8c7c43SBarry Smith ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 5468d8c7c43SBarry Smith ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 5478d8c7c43SBarry Smith if (row_identity && col_identity) { 5488d8c7c43SBarry Smith C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering; 5498d8c7c43SBarry Smith } else { 550db4efbfdSBarry Smith C->ops->solve = MatSolve_SeqAIJ; 551db4efbfdSBarry Smith } 5528d8c7c43SBarry Smith } 553db4efbfdSBarry Smith C->ops->solveadd = MatSolveAdd_SeqAIJ; 554db4efbfdSBarry Smith C->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 555db4efbfdSBarry Smith C->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ; 556de26497bSBarry Smith C->ops->matsolve = MatMatSolve_SeqAIJ; 557c456f294SBarry Smith C->assembled = PETSC_TRUE; 5585c9eb25fSBarry Smith C->preallocated = PETSC_TRUE; 559d0f46423SBarry Smith ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 560d2276718SHong Zhang if (sctx.nshift){ 561e738e422SBarry Smith if (info->shiftpd) { 5620481f469SBarry 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); 563e738e422SBarry Smith } else if (info->shiftnz) { 564e738e422SBarry Smith ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 5656cc28720Svictorle } 5660697b6caSHong Zhang } 5673a40ed3dSBarry Smith PetscFunctionReturn(0); 568289bc588SBarry Smith } 5690889b5dcSvictorle 570137fb511SHong Zhang /* 571137fb511SHong Zhang This routine implements inplace ILU(0) with row or/and column permutations. 572137fb511SHong Zhang Input: 573137fb511SHong Zhang A - original matrix 574137fb511SHong Zhang Output; 575137fb511SHong Zhang A - a->i (rowptr) is same as original rowptr, but factored i-the row is stored in rowperm[i] 576137fb511SHong Zhang a->j (col index) is permuted by the inverse of colperm, then sorted 577137fb511SHong Zhang a->a reordered accordingly with a->j 578137fb511SHong Zhang a->diag (ptr to diagonal elements) is updated. 579137fb511SHong Zhang */ 580137fb511SHong Zhang #undef __FUNCT__ 581137fb511SHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_InplaceWithPerm" 5820481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ_InplaceWithPerm(Mat B,Mat A,const MatFactorInfo *info) 583137fb511SHong Zhang { 584b051339dSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 585b051339dSHong Zhang IS isrow = a->row,isicol = a->icol; 586137fb511SHong Zhang PetscErrorCode ierr; 5875d0c19d7SBarry Smith const PetscInt *r,*ic,*ics; 5885d0c19d7SBarry Smith PetscInt i,j,n=A->rmap->n,*ai=a->i,*aj=a->j; 5895d0c19d7SBarry Smith PetscInt *ajtmp,nz,row; 590b051339dSHong Zhang PetscInt *diag = a->diag,nbdiag,*pj; 591a77337e4SBarry Smith PetscScalar *rtmp,*pc,multiplier,d; 592a77337e4SBarry Smith MatScalar *v,*pv; 593137fb511SHong Zhang PetscReal rs; 594137fb511SHong Zhang LUShift_Ctx sctx; 595b051339dSHong Zhang PetscInt newshift; 596137fb511SHong Zhang 597137fb511SHong Zhang PetscFunctionBegin; 598719d5645SBarry Smith if (A != B) SETERRQ(PETSC_ERR_ARG_INCOMP,"input and output matrix must have same address"); 599137fb511SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 600137fb511SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 601137fb511SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr); 602137fb511SHong Zhang ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr); 603b051339dSHong Zhang ics = ic; 604137fb511SHong Zhang 605137fb511SHong Zhang sctx.shift_top = 0; 606137fb511SHong Zhang sctx.nshift_max = 0; 607137fb511SHong Zhang sctx.shift_lo = 0; 608137fb511SHong Zhang sctx.shift_hi = 0; 6090481f469SBarry Smith sctx.shift_fraction = 0; 610137fb511SHong Zhang 611137fb511SHong Zhang /* if both shift schemes are chosen by user, only use info->shiftpd */ 612137fb511SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 613137fb511SHong Zhang sctx.shift_top = 0; 614137fb511SHong Zhang for (i=0; i<n; i++) { 615137fb511SHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 616b051339dSHong Zhang d = (a->a)[diag[i]]; 617137fb511SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 618b051339dSHong Zhang v = a->a+ai[i]; 619b051339dSHong Zhang nz = ai[i+1] - ai[i]; 620137fb511SHong Zhang for (j=0; j<nz; j++) 621137fb511SHong Zhang rs += PetscAbsScalar(v[j]); 622137fb511SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 623137fb511SHong Zhang } 624137fb511SHong Zhang if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot; 625137fb511SHong Zhang sctx.shift_top *= 1.1; 626137fb511SHong Zhang sctx.nshift_max = 5; 627137fb511SHong Zhang sctx.shift_lo = 0.; 628137fb511SHong Zhang sctx.shift_hi = 1.; 629137fb511SHong Zhang } 630137fb511SHong Zhang 631137fb511SHong Zhang sctx.shift_amount = 0; 632137fb511SHong Zhang sctx.nshift = 0; 633137fb511SHong Zhang do { 634137fb511SHong Zhang sctx.lushift = PETSC_FALSE; 635137fb511SHong Zhang for (i=0; i<n; i++){ 636b051339dSHong Zhang /* load in initial unfactored row */ 637b051339dSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 638b051339dSHong Zhang ajtmp = aj + ai[r[i]]; 639b051339dSHong Zhang v = a->a + ai[r[i]]; 640137fb511SHong Zhang /* sort permuted ajtmp and values v accordingly */ 641b051339dSHong Zhang for (j=0; j<nz; j++) ajtmp[j] = ics[ajtmp[j]]; 642137fb511SHong Zhang ierr = PetscSortIntWithScalarArray(nz,ajtmp,v);CHKERRQ(ierr); 643137fb511SHong Zhang 644b051339dSHong Zhang diag[r[i]] = ai[r[i]]; 645137fb511SHong Zhang for (j=0; j<nz; j++) { 646137fb511SHong Zhang rtmp[ajtmp[j]] = v[j]; 647b051339dSHong Zhang if (ajtmp[j] < i) diag[r[i]]++; /* update a->diag */ 648137fb511SHong Zhang } 649137fb511SHong Zhang rtmp[r[i]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 650137fb511SHong Zhang 651b051339dSHong Zhang row = *ajtmp++; 652137fb511SHong Zhang while (row < i) { 653137fb511SHong Zhang pc = rtmp + row; 654137fb511SHong Zhang if (*pc != 0.0) { 655b051339dSHong Zhang pv = a->a + diag[r[row]]; 656b051339dSHong Zhang pj = aj + diag[r[row]] + 1; 657137fb511SHong Zhang 658137fb511SHong Zhang multiplier = *pc / *pv++; 659137fb511SHong Zhang *pc = multiplier; 660b051339dSHong Zhang nz = ai[r[row]+1] - diag[r[row]] - 1; 661b051339dSHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 662dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 663137fb511SHong Zhang } 664b051339dSHong Zhang row = *ajtmp++; 665137fb511SHong Zhang } 666b051339dSHong Zhang /* finished row so overwrite it onto a->a */ 667b051339dSHong Zhang pv = a->a + ai[r[i]] ; 668b051339dSHong Zhang pj = aj + ai[r[i]] ; 669b051339dSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 670b051339dSHong Zhang nbdiag = diag[r[i]] - ai[r[i]]; /* num of entries before the diagonal */ 671137fb511SHong Zhang 672137fb511SHong Zhang rs = 0.0; 673137fb511SHong Zhang for (j=0; j<nz; j++) { 674b051339dSHong Zhang pv[j] = rtmp[pj[j]]; 675b051339dSHong Zhang if (j != nbdiag) rs += PetscAbsScalar(pv[j]); 676137fb511SHong Zhang } 677137fb511SHong Zhang 678137fb511SHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 679137fb511SHong Zhang sctx.rs = rs; 680b051339dSHong Zhang sctx.pv = pv[nbdiag]; 681c6b1f410SHong Zhang ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); 682137fb511SHong Zhang if (newshift == 1) break; 683137fb511SHong Zhang } 684137fb511SHong Zhang 6850481f469SBarry Smith if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 686137fb511SHong Zhang /* 687137fb511SHong Zhang * if no shift in this attempt & shifting & started shifting & can refine, 688137fb511SHong Zhang * then try lower shift 689137fb511SHong Zhang */ 6900481f469SBarry Smith sctx.shift_hi = sctx.shift_fraction; 6910481f469SBarry Smith sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 6920481f469SBarry Smith sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 693137fb511SHong Zhang sctx.lushift = PETSC_TRUE; 694137fb511SHong Zhang sctx.nshift++; 695137fb511SHong Zhang } 696137fb511SHong Zhang } while (sctx.lushift); 697137fb511SHong Zhang 698137fb511SHong Zhang /* invert diagonal entries for simplier triangular solves */ 699137fb511SHong Zhang for (i=0; i<n; i++) { 700b051339dSHong Zhang a->a[diag[r[i]]] = 1.0/a->a[diag[r[i]]]; 701137fb511SHong Zhang } 702137fb511SHong Zhang 703137fb511SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 704137fb511SHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 705137fb511SHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 706b051339dSHong Zhang A->ops->solve = MatSolve_SeqAIJ_InplaceWithPerm; 707db4efbfdSBarry Smith A->ops->solveadd = MatSolveAdd_SeqAIJ; 708db4efbfdSBarry Smith A->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 709db4efbfdSBarry Smith A->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ; 710b051339dSHong Zhang A->assembled = PETSC_TRUE; 7115c9eb25fSBarry Smith A->preallocated = PETSC_TRUE; 712d0f46423SBarry Smith ierr = PetscLogFlops(A->cmap->n);CHKERRQ(ierr); 713137fb511SHong Zhang if (sctx.nshift){ 714e738e422SBarry Smith if (info->shiftpd) { 7150481f469SBarry 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); 716e738e422SBarry Smith } else if (info->shiftnz) { 717e738e422SBarry Smith ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 718137fb511SHong Zhang } 719137fb511SHong Zhang } 720137fb511SHong Zhang PetscFunctionReturn(0); 721137fb511SHong Zhang } 722137fb511SHong Zhang 7230a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 7244a2ae208SSatish Balay #undef __FUNCT__ 7254a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ" 7260481f469SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,const MatFactorInfo *info) 727da3a660dSBarry Smith { 728dfbe8321SBarry Smith PetscErrorCode ierr; 729416022c9SBarry Smith Mat C; 730416022c9SBarry Smith 7313a40ed3dSBarry Smith PetscFunctionBegin; 73243244d56SBarry Smith ierr = MatGetFactor(A,MAT_SOLVER_PETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr); 733719d5645SBarry Smith ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr); 734719d5645SBarry Smith ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr); 735db4efbfdSBarry Smith A->ops->solve = C->ops->solve; 736db4efbfdSBarry Smith A->ops->solvetranspose = C->ops->solvetranspose; 737273d9f13SBarry Smith ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 73852e6d16bSBarry Smith ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr); 7393a40ed3dSBarry Smith PetscFunctionReturn(0); 740da3a660dSBarry Smith } 7410a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 7421d098868SHong Zhang 743889a8dedSBarry Smith 7444a2ae208SSatish Balay #undef __FUNCT__ 7454a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ" 746dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx) 7478c37ef55SBarry Smith { 748416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 749416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 7506849ba73SBarry Smith PetscErrorCode ierr; 7515d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 7525d0c19d7SBarry Smith PetscInt nz; 7535d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 754dd6ea824SBarry Smith PetscScalar *x,*tmp,*tmps,sum; 755d9fead3dSBarry Smith const PetscScalar *b; 756dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 7578c37ef55SBarry Smith 7583a40ed3dSBarry Smith PetscFunctionBegin; 7593a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 76091bf9adeSBarry Smith 761d9fead3dSBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 7621ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 763416022c9SBarry Smith tmp = a->solve_work; 7648c37ef55SBarry Smith 7653b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 7663b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 7678c37ef55SBarry Smith 7688c37ef55SBarry Smith /* forward solve the lower triangular */ 7698c37ef55SBarry Smith tmp[0] = b[*r++]; 770010a20caSHong Zhang tmps = tmp; 7718c37ef55SBarry Smith for (i=1; i<n; i++) { 772010a20caSHong Zhang v = aa + ai[i] ; 773010a20caSHong Zhang vi = aj + ai[i] ; 77453e7425aSBarry Smith nz = a->diag[i] - ai[i]; 77553e7425aSBarry Smith sum = b[*r++]; 776003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 7778c37ef55SBarry Smith tmp[i] = sum; 7788c37ef55SBarry Smith } 7798c37ef55SBarry Smith 7808c37ef55SBarry Smith /* backward solve the upper triangular */ 7818c37ef55SBarry Smith for (i=n-1; i>=0; i--){ 782010a20caSHong Zhang v = aa + a->diag[i] + 1; 783010a20caSHong Zhang vi = aj + a->diag[i] + 1; 784416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 7858c37ef55SBarry Smith sum = tmp[i]; 786003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 787010a20caSHong Zhang x[*c--] = tmp[i] = sum*aa[a->diag[i]]; 7888c37ef55SBarry Smith } 7898c37ef55SBarry Smith 7903b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 7913b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 792d9fead3dSBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 7931ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 794dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 7953a40ed3dSBarry Smith PetscFunctionReturn(0); 7968c37ef55SBarry Smith } 797026e39d0SSatish Balay 7982bebee5dSHong Zhang #undef __FUNCT__ 7992bebee5dSHong Zhang #define __FUNCT__ "MatMatSolve_SeqAIJ" 8002bebee5dSHong Zhang PetscErrorCode MatMatSolve_SeqAIJ(Mat A,Mat B,Mat X) 8012bebee5dSHong Zhang { 8022bebee5dSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 8032bebee5dSHong Zhang IS iscol = a->col,isrow = a->row; 8042bebee5dSHong Zhang PetscErrorCode ierr; 8055d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 8065d0c19d7SBarry Smith PetscInt nz,neq; 8075d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 808dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,*tmps,sum; 809dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 810db4efbfdSBarry Smith PetscTruth bisdense,xisdense; 8112bebee5dSHong Zhang 8122bebee5dSHong Zhang PetscFunctionBegin; 8132bebee5dSHong Zhang if (!n) PetscFunctionReturn(0); 8142bebee5dSHong Zhang 815db4efbfdSBarry Smith ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr); 816db4efbfdSBarry Smith if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix"); 817db4efbfdSBarry Smith ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr); 818db4efbfdSBarry Smith if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix"); 819db4efbfdSBarry Smith 8202bebee5dSHong Zhang ierr = MatGetArray(B,&b);CHKERRQ(ierr); 8212bebee5dSHong Zhang ierr = MatGetArray(X,&x);CHKERRQ(ierr); 8222bebee5dSHong Zhang 8232bebee5dSHong Zhang tmp = a->solve_work; 8242bebee5dSHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 8252bebee5dSHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 8262bebee5dSHong Zhang 827a36b22ccSSatish Balay for (neq=0; neq<B->cmap->n; neq++){ 8282bebee5dSHong Zhang /* forward solve the lower triangular */ 8292bebee5dSHong Zhang tmp[0] = b[r[0]]; 8302bebee5dSHong Zhang tmps = tmp; 8312bebee5dSHong Zhang for (i=1; i<n; i++) { 8322bebee5dSHong Zhang v = aa + ai[i] ; 8332bebee5dSHong Zhang vi = aj + ai[i] ; 8342bebee5dSHong Zhang nz = a->diag[i] - ai[i]; 8352bebee5dSHong Zhang sum = b[r[i]]; 836003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 8372bebee5dSHong Zhang tmp[i] = sum; 8382bebee5dSHong Zhang } 8392bebee5dSHong Zhang /* backward solve the upper triangular */ 8402bebee5dSHong Zhang for (i=n-1; i>=0; i--){ 8412bebee5dSHong Zhang v = aa + a->diag[i] + 1; 8422bebee5dSHong Zhang vi = aj + a->diag[i] + 1; 8432bebee5dSHong Zhang nz = ai[i+1] - a->diag[i] - 1; 8442bebee5dSHong Zhang sum = tmp[i]; 845003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 8462bebee5dSHong Zhang x[c[i]] = tmp[i] = sum*aa[a->diag[i]]; 8472bebee5dSHong Zhang } 8482bebee5dSHong Zhang 8492bebee5dSHong Zhang b += n; 8502bebee5dSHong Zhang x += n; 8512bebee5dSHong Zhang } 8522bebee5dSHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 8532bebee5dSHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 8542bebee5dSHong Zhang ierr = MatRestoreArray(B,&b);CHKERRQ(ierr); 8552bebee5dSHong Zhang ierr = MatRestoreArray(X,&x);CHKERRQ(ierr); 856dc0b31edSSatish Balay ierr = PetscLogFlops(B->cmap->n*(2.0*a->nz - n));CHKERRQ(ierr); 8572bebee5dSHong Zhang PetscFunctionReturn(0); 8582bebee5dSHong Zhang } 8592bebee5dSHong Zhang 860137fb511SHong Zhang #undef __FUNCT__ 861137fb511SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_InplaceWithPerm" 862137fb511SHong Zhang PetscErrorCode MatSolve_SeqAIJ_InplaceWithPerm(Mat A,Vec bb,Vec xx) 863137fb511SHong Zhang { 864137fb511SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 865137fb511SHong Zhang IS iscol = a->col,isrow = a->row; 866137fb511SHong Zhang PetscErrorCode ierr; 8675d0c19d7SBarry Smith const PetscInt *r,*c,*rout,*cout; 8685d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 8695d0c19d7SBarry Smith PetscInt nz,row; 870dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,*tmps,sum; 871dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 872137fb511SHong Zhang 873137fb511SHong Zhang PetscFunctionBegin; 874137fb511SHong Zhang if (!n) PetscFunctionReturn(0); 875137fb511SHong Zhang 876137fb511SHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 877137fb511SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 878137fb511SHong Zhang tmp = a->solve_work; 879137fb511SHong Zhang 880137fb511SHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 881137fb511SHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 882137fb511SHong Zhang 883137fb511SHong Zhang /* forward solve the lower triangular */ 884137fb511SHong Zhang tmp[0] = b[*r++]; 885137fb511SHong Zhang tmps = tmp; 886137fb511SHong Zhang for (row=1; row<n; row++) { 887137fb511SHong Zhang i = rout[row]; /* permuted row */ 888137fb511SHong Zhang v = aa + ai[i] ; 889137fb511SHong Zhang vi = aj + ai[i] ; 890137fb511SHong Zhang nz = a->diag[i] - ai[i]; 891137fb511SHong Zhang sum = b[*r++]; 892003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 893137fb511SHong Zhang tmp[row] = sum; 894137fb511SHong Zhang } 895137fb511SHong Zhang 896137fb511SHong Zhang /* backward solve the upper triangular */ 897137fb511SHong Zhang for (row=n-1; row>=0; row--){ 898137fb511SHong Zhang i = rout[row]; /* permuted row */ 899137fb511SHong Zhang v = aa + a->diag[i] + 1; 900137fb511SHong Zhang vi = aj + a->diag[i] + 1; 901137fb511SHong Zhang nz = ai[i+1] - a->diag[i] - 1; 902137fb511SHong Zhang sum = tmp[row]; 903003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 904137fb511SHong Zhang x[*c--] = tmp[row] = sum*aa[a->diag[i]]; 905137fb511SHong Zhang } 906137fb511SHong Zhang 907137fb511SHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 908137fb511SHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 909137fb511SHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 910137fb511SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 911dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 912137fb511SHong Zhang PetscFunctionReturn(0); 913137fb511SHong Zhang } 914137fb511SHong Zhang 915930ae53cSBarry Smith /* ----------------------------------------------------------- */ 916a4005a5dSBarry Smith #include "../src/mat/impls/aij/seq/ftn-kernels/fsolve.h" 9174a2ae208SSatish Balay #undef __FUNCT__ 9184a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering" 919dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx) 920930ae53cSBarry Smith { 921930ae53cSBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 9226849ba73SBarry Smith PetscErrorCode ierr; 923d0f46423SBarry Smith PetscInt n = A->rmap->n; 924b377110cSBarry Smith const PetscInt *ai = a->i,*aj = a->j,*adiag = a->diag; 925356650c2SBarry Smith PetscScalar *x; 926356650c2SBarry Smith const PetscScalar *b; 927dd6ea824SBarry Smith const MatScalar *aa = a->a; 928aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 929356650c2SBarry Smith PetscInt adiag_i,i,nz,ai_i; 930b377110cSBarry Smith const PetscInt *vi; 931dd6ea824SBarry Smith const MatScalar *v; 932dd6ea824SBarry Smith PetscScalar sum; 933d85afc42SSatish Balay #endif 934930ae53cSBarry Smith 9353a40ed3dSBarry Smith PetscFunctionBegin; 9363a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 937930ae53cSBarry Smith 938356650c2SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 9391ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 940930ae53cSBarry Smith 941aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 9421c4feecaSSatish Balay fortransolveaij_(&n,x,ai,aj,adiag,aa,b); 9431c4feecaSSatish Balay #else 944930ae53cSBarry Smith /* forward solve the lower triangular */ 945930ae53cSBarry Smith x[0] = b[0]; 946930ae53cSBarry Smith for (i=1; i<n; i++) { 947930ae53cSBarry Smith ai_i = ai[i]; 948930ae53cSBarry Smith v = aa + ai_i; 949930ae53cSBarry Smith vi = aj + ai_i; 950930ae53cSBarry Smith nz = adiag[i] - ai_i; 951930ae53cSBarry Smith sum = b[i]; 952003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 953930ae53cSBarry Smith x[i] = sum; 954930ae53cSBarry Smith } 955930ae53cSBarry Smith 956930ae53cSBarry Smith /* backward solve the upper triangular */ 957930ae53cSBarry Smith for (i=n-1; i>=0; i--){ 958930ae53cSBarry Smith adiag_i = adiag[i]; 959d708749eSBarry Smith v = aa + adiag_i + 1; 960d708749eSBarry Smith vi = aj + adiag_i + 1; 961930ae53cSBarry Smith nz = ai[i+1] - adiag_i - 1; 962930ae53cSBarry Smith sum = x[i]; 963003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 964930ae53cSBarry Smith x[i] = sum*aa[adiag_i]; 965930ae53cSBarry Smith } 9661c4feecaSSatish Balay #endif 967dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 968356650c2SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 9691ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 9703a40ed3dSBarry Smith PetscFunctionReturn(0); 971930ae53cSBarry Smith } 972930ae53cSBarry Smith 9734a2ae208SSatish Balay #undef __FUNCT__ 9744a2ae208SSatish Balay #define __FUNCT__ "MatSolveAdd_SeqAIJ" 975dfbe8321SBarry Smith PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx) 976da3a660dSBarry Smith { 977416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 978416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 9796849ba73SBarry Smith PetscErrorCode ierr; 9805d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 9815d0c19d7SBarry Smith PetscInt nz; 9825d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 983dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,sum; 984dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 985da3a660dSBarry Smith 9863a40ed3dSBarry Smith PetscFunctionBegin; 98778b31e54SBarry Smith if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);} 988da3a660dSBarry Smith 9891ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 9901ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 991416022c9SBarry Smith tmp = a->solve_work; 992da3a660dSBarry Smith 9933b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 9943b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 995da3a660dSBarry Smith 996da3a660dSBarry Smith /* forward solve the lower triangular */ 997da3a660dSBarry Smith tmp[0] = b[*r++]; 998da3a660dSBarry Smith for (i=1; i<n; i++) { 999010a20caSHong Zhang v = aa + ai[i] ; 1000010a20caSHong Zhang vi = aj + ai[i] ; 1001416022c9SBarry Smith nz = a->diag[i] - ai[i]; 1002da3a660dSBarry Smith sum = b[*r++]; 1003010a20caSHong Zhang while (nz--) sum -= *v++ * tmp[*vi++ ]; 1004da3a660dSBarry Smith tmp[i] = sum; 1005da3a660dSBarry Smith } 1006da3a660dSBarry Smith 1007da3a660dSBarry Smith /* backward solve the upper triangular */ 1008da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 1009010a20caSHong Zhang v = aa + a->diag[i] + 1; 1010010a20caSHong Zhang vi = aj + a->diag[i] + 1; 1011416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 1012da3a660dSBarry Smith sum = tmp[i]; 1013010a20caSHong Zhang while (nz--) sum -= *v++ * tmp[*vi++ ]; 1014010a20caSHong Zhang tmp[i] = sum*aa[a->diag[i]]; 1015da3a660dSBarry Smith x[*c--] += tmp[i]; 1016da3a660dSBarry Smith } 1017da3a660dSBarry Smith 10183b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 10193b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 10201ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 10211ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1022dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr); 1023898183ecSLois Curfman McInnes 10243a40ed3dSBarry Smith PetscFunctionReturn(0); 1025da3a660dSBarry Smith } 1026da3a660dSBarry Smith /* -------------------------------------------------------------------*/ 10274a2ae208SSatish Balay #undef __FUNCT__ 10284a2ae208SSatish Balay #define __FUNCT__ "MatSolveTranspose_SeqAIJ" 1029dfbe8321SBarry Smith PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx) 1030da3a660dSBarry Smith { 1031416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 10322235e667SBarry Smith IS iscol = a->col,isrow = a->row; 10336849ba73SBarry Smith PetscErrorCode ierr; 10345d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 10355d0c19d7SBarry Smith PetscInt i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 10365d0c19d7SBarry Smith PetscInt nz,*diag = a->diag; 1037dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,s1; 1038dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1039da3a660dSBarry Smith 10403a40ed3dSBarry Smith PetscFunctionBegin; 10411ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 10421ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1043416022c9SBarry Smith tmp = a->solve_work; 1044da3a660dSBarry Smith 10452235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 10462235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 1047da3a660dSBarry Smith 1048da3a660dSBarry Smith /* copy the b into temp work space according to permutation */ 10492235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 1050da3a660dSBarry Smith 1051da3a660dSBarry Smith /* forward solve the U^T */ 1052da3a660dSBarry Smith for (i=0; i<n; i++) { 1053010a20caSHong Zhang v = aa + diag[i] ; 1054010a20caSHong Zhang vi = aj + diag[i] + 1; 1055f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 1056c38d4ed2SBarry Smith s1 = tmp[i]; 1057ef66eb69SBarry Smith s1 *= (*v++); /* multiply by inverse of diagonal entry */ 1058da3a660dSBarry Smith while (nz--) { 1059010a20caSHong Zhang tmp[*vi++ ] -= (*v++)*s1; 1060da3a660dSBarry Smith } 1061c38d4ed2SBarry Smith tmp[i] = s1; 1062da3a660dSBarry Smith } 1063da3a660dSBarry Smith 1064da3a660dSBarry Smith /* backward solve the L^T */ 1065da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 1066010a20caSHong Zhang v = aa + diag[i] - 1 ; 1067010a20caSHong Zhang vi = aj + diag[i] - 1 ; 1068f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 1069f1af5d2fSBarry Smith s1 = tmp[i]; 1070da3a660dSBarry Smith while (nz--) { 1071010a20caSHong Zhang tmp[*vi-- ] -= (*v--)*s1; 1072da3a660dSBarry Smith } 1073da3a660dSBarry Smith } 1074da3a660dSBarry Smith 1075da3a660dSBarry Smith /* copy tmp into x according to permutation */ 1076da3a660dSBarry Smith for (i=0; i<n; i++) x[r[i]] = tmp[i]; 1077da3a660dSBarry Smith 10782235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 10792235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 10801ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 10811ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1082da3a660dSBarry Smith 1083dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr); 10843a40ed3dSBarry Smith PetscFunctionReturn(0); 1085da3a660dSBarry Smith } 1086da3a660dSBarry Smith 10874a2ae208SSatish Balay #undef __FUNCT__ 10884a2ae208SSatish Balay #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ" 1089dfbe8321SBarry Smith PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx) 1090da3a660dSBarry Smith { 1091416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 10922235e667SBarry Smith IS iscol = a->col,isrow = a->row; 10936849ba73SBarry Smith PetscErrorCode ierr; 10945d0c19d7SBarry Smith const PetscInt *r,*c,*rout,*cout; 10955d0c19d7SBarry Smith PetscInt i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 10965d0c19d7SBarry Smith PetscInt nz,*diag = a->diag; 1097dd6ea824SBarry Smith PetscScalar *x,*b,*tmp; 1098dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 10996abc6512SBarry Smith 11003a40ed3dSBarry Smith PetscFunctionBegin; 110123bc6035SMatthew Knepley if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);} 11026abc6512SBarry Smith 11031ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 11041ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1105416022c9SBarry Smith tmp = a->solve_work; 11066abc6512SBarry Smith 11072235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 11082235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 11096abc6512SBarry Smith 11106abc6512SBarry Smith /* copy the b into temp work space according to permutation */ 11112235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 11126abc6512SBarry Smith 11136abc6512SBarry Smith /* forward solve the U^T */ 11146abc6512SBarry Smith for (i=0; i<n; i++) { 1115010a20caSHong Zhang v = aa + diag[i] ; 1116010a20caSHong Zhang vi = aj + diag[i] + 1; 1117f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 11186abc6512SBarry Smith tmp[i] *= *v++; 11196abc6512SBarry Smith while (nz--) { 1120010a20caSHong Zhang tmp[*vi++ ] -= (*v++)*tmp[i]; 11216abc6512SBarry Smith } 11226abc6512SBarry Smith } 11236abc6512SBarry Smith 11246abc6512SBarry Smith /* backward solve the L^T */ 11256abc6512SBarry Smith for (i=n-1; i>=0; i--){ 1126010a20caSHong Zhang v = aa + diag[i] - 1 ; 1127010a20caSHong Zhang vi = aj + diag[i] - 1 ; 1128f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 11296abc6512SBarry Smith while (nz--) { 1130010a20caSHong Zhang tmp[*vi-- ] -= (*v--)*tmp[i]; 11316abc6512SBarry Smith } 11326abc6512SBarry Smith } 11336abc6512SBarry Smith 11346abc6512SBarry Smith /* copy tmp into x according to permutation */ 11356abc6512SBarry Smith for (i=0; i<n; i++) x[r[i]] += tmp[i]; 11366abc6512SBarry Smith 11372235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 11382235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 11391ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 11401ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 11416abc6512SBarry Smith 1142dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr); 11433a40ed3dSBarry Smith PetscFunctionReturn(0); 1144da3a660dSBarry Smith } 11459e25ed09SBarry Smith /* ----------------------------------------------------------------*/ 11463c5fc038SBarry Smith EXTERN PetscErrorCode Mat_CheckInode(Mat,PetscTruth); 1147f77e22a1SHong Zhang EXTERN PetscErrorCode MatDuplicateNoCreate_SeqAIJ(Mat,Mat,MatDuplicateOption,PetscTruth); 114808480c60SBarry Smith 11498fc3a347SHong Zhang /* 11508fc3a347SHong Zhang ilu(0) with natural ordering under new data structure. 11518fc3a347SHong Zhang Factored arrays bj and ba are stored as 11528fc3a347SHong Zhang L(0,:), L(1,:), ...,L(n-1,:), U(n-1,:),...,U(i,:),U(i-1,:),...,U(0,:) 11538fc3a347SHong Zhang 11548fc3a347SHong Zhang bi=fact->i is an array of size 2n+2, in which 11558fc3a347SHong Zhang bi+ 11568fc3a347SHong Zhang bi[i] -> 1st entry of L(i,:),i=0,...,i-1 1157f77e22a1SHong Zhang bi[n] -> points to L(n-1,:)+1 11588fc3a347SHong Zhang bi[n+1] -> 1st entry of U(n-1,:) 11598fc3a347SHong Zhang bi[2n-i] -> 1st entry of U(i,:) 11608fc3a347SHong Zhang bi[2n-i+1] -> end of U(i,:)+1, the 1st entry of U(i-1,:) 1161f77e22a1SHong Zhang bi[2n] -> 1st entry of U(0,:) 1162f77e22a1SHong Zhang bi[2n+1] -> points to U(0,:)+1 11638fc3a347SHong Zhang 11648fc3a347SHong Zhang U(i,:) contains diag[i] as its last entry, i.e., 11658fc3a347SHong Zhang U(i,:) = (u[i,i+1],...,u[i,n-1],diag[i]) 11668fc3a347SHong Zhang */ 1167c9c72f8fSHong Zhang #undef __FUNCT__ 11688fc3a347SHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct" 11698fc3a347SHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 1170c9c72f8fSHong Zhang { 1171c9c72f8fSHong Zhang 1172c9c72f8fSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 1173c9c72f8fSHong Zhang PetscErrorCode ierr; 1174c9c72f8fSHong Zhang PetscInt n=A->rmap->n,*ai=a->i,*aj,*adiag=a->diag; 11758fc3a347SHong Zhang PetscInt i,j,nz,*bi,*bj,*bdiag; 1176c9c72f8fSHong Zhang 1177c9c72f8fSHong Zhang PetscFunctionBegin; 1178f77e22a1SHong Zhang ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_FALSE);CHKERRQ(ierr); 1179c9c72f8fSHong Zhang b = (Mat_SeqAIJ*)(fact)->data; 1180c9c72f8fSHong Zhang 1181f77e22a1SHong Zhang /* allocate matrix arrays for new data structure */ 1182f77e22a1SHong Zhang ierr = PetscMalloc3(ai[n]+1,PetscScalar,&b->a,ai[n]+1,PetscInt,&b->j,2*n+2,PetscInt,&b->i);CHKERRQ(ierr); 1183f77e22a1SHong Zhang ierr = PetscLogObjectMemory(fact,ai[n]*(sizeof(PetscScalar)+sizeof(PetscInt))+(2*n+2)*sizeof(PetscInt));CHKERRQ(ierr); 1184f77e22a1SHong Zhang b->singlemalloc = PETSC_TRUE; 1185f77e22a1SHong Zhang if (!b->diag){ 11868fc3a347SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&b->diag);CHKERRQ(ierr); 1187f77e22a1SHong Zhang } 1188c9c72f8fSHong Zhang bdiag = b->diag; 1189c9c72f8fSHong Zhang 1190c9c72f8fSHong Zhang if (n > 0) { 1191*16a2bf60SHong Zhang ierr = PetscMemzero(b->a,(ai[n])*sizeof(MatScalar));CHKERRQ(ierr); 1192c9c72f8fSHong Zhang } 1193c9c72f8fSHong Zhang 1194c9c72f8fSHong Zhang /* set bi and bj with new data structure */ 1195c9c72f8fSHong Zhang bi = b->i; 1196c9c72f8fSHong Zhang bj = b->j; 1197c9c72f8fSHong Zhang 1198c9c72f8fSHong Zhang /* L part */ 1199c9c72f8fSHong Zhang bi[0] = 0; 1200c9c72f8fSHong Zhang for (i=0; i<n; i++){ 1201c9c72f8fSHong Zhang nz = adiag[i] - ai[i]; 1202c9c72f8fSHong Zhang bi[i+1] = bi[i] + nz; 1203c9c72f8fSHong Zhang aj = a->j + ai[i]; 1204c9c72f8fSHong Zhang for (j=0; j<nz; j++){ 1205c9c72f8fSHong Zhang *bj = aj[j]; bj++; 1206c9c72f8fSHong Zhang } 1207c9c72f8fSHong Zhang } 1208c9c72f8fSHong Zhang 1209c9c72f8fSHong Zhang /* U part */ 12108fc3a347SHong Zhang bi[n+1] = bi[n]; 1211c9c72f8fSHong Zhang for (i=n-1; i>=0; i--){ 1212c9c72f8fSHong Zhang nz = ai[i+1] - adiag[i] - 1; 12138fc3a347SHong Zhang bi[2*n-i+1] = bi[2*n-i] + nz + 1; 1214c9c72f8fSHong Zhang aj = a->j + adiag[i] + 1; 1215c9c72f8fSHong Zhang for (j=0; j<nz; j++){ 1216c9c72f8fSHong Zhang *bj = aj[j]; bj++; 1217c9c72f8fSHong Zhang } 1218c9c72f8fSHong Zhang /* diag[i] */ 1219c9c72f8fSHong Zhang *bj = i; bj++; 12208fc3a347SHong Zhang bdiag[i] = bi[2*n-i+1]-1; 1221c9c72f8fSHong Zhang } 1222c9c72f8fSHong Zhang PetscFunctionReturn(0); 1223c9c72f8fSHong Zhang } 1224c9c72f8fSHong Zhang 12254a2ae208SSatish Balay #undef __FUNCT__ 12266516239fSHong Zhang #define __FUNCT__ "PetscFreeSpaceContiguous_newdatastruct" 12276516239fSHong Zhang PetscErrorCode PetscFreeSpaceContiguous_newdatastruct(PetscFreeSpaceList *head,PetscInt *space,PetscInt n,PetscInt *bi,PetscInt *bdiag) 12286516239fSHong Zhang { 12296516239fSHong Zhang PetscFreeSpaceList a; 12306516239fSHong Zhang PetscErrorCode ierr; 12316516239fSHong Zhang PetscInt row,nnz,*bj,*array,total; 12326516239fSHong Zhang PetscInt nnzL,nnzU; 12336516239fSHong Zhang 12346516239fSHong Zhang PetscFunctionBegin; 12356516239fSHong Zhang bi[2*n+1] = bi[n]; 12366516239fSHong Zhang row = 1; 12376516239fSHong Zhang total = 0; 12386516239fSHong Zhang nnzL = bdiag[0]; 12396516239fSHong Zhang while ((*head)!=NULL) { 12406516239fSHong Zhang total += (*head)->local_used; 12416516239fSHong Zhang array = (*head)->array_head; 12426516239fSHong Zhang 12436516239fSHong Zhang while (bi[row] <= total && row <=n){ 12446516239fSHong Zhang /* copy array entries into bj for row-1 */ 12456516239fSHong Zhang nnz = bi[row] - bi[row-1]; 12466516239fSHong Zhang /* set bi[row-1] for new datastruct */ 12476516239fSHong Zhang if (row -1 <= 1 ){ 12486516239fSHong Zhang bi[row -1] = 0; 12496516239fSHong Zhang } else { 12506516239fSHong Zhang bi[row-1] = bi[row-2] + nnzL; /* nnzL of previous row */ 12516516239fSHong Zhang } 12526516239fSHong Zhang 12536516239fSHong Zhang /* L part */ 12546516239fSHong Zhang nnzL = bdiag[row-1]; 12556516239fSHong Zhang bj = space+bi[row-1]; 12566516239fSHong Zhang ierr = PetscMemcpy(bj,array,nnzL*sizeof(PetscInt));CHKERRQ(ierr); 12576516239fSHong Zhang 12586516239fSHong Zhang /* diagonal entry */ 12596516239fSHong Zhang bdiag[row-1] = bi[2*n-(row-1)+1]-1; 12606516239fSHong Zhang space[bdiag[row-1]] = row-1; 12616516239fSHong Zhang 12626516239fSHong Zhang /* U part */ 12636516239fSHong Zhang nnzU = nnz - nnzL; 12646516239fSHong Zhang bi[2*n-(row-1)] = bi[2*n-(row-1)+1] - nnzU; 12656516239fSHong Zhang nnzU --; /* exclude diagonal */ 12666516239fSHong Zhang bj = space + bi[2*n-(row-1)]; 12676516239fSHong Zhang ierr = PetscMemcpy(bj,array+nnzL+1,nnzU*sizeof(PetscInt));CHKERRQ(ierr); 12686516239fSHong Zhang 12696516239fSHong Zhang array += nnz; 12706516239fSHong Zhang row++; 12716516239fSHong Zhang } 12726516239fSHong Zhang 12736516239fSHong Zhang a = (*head)->more_space; 12746516239fSHong Zhang ierr = PetscFree((*head)->array_head);CHKERRQ(ierr); 12756516239fSHong Zhang ierr = PetscFree(*head);CHKERRQ(ierr); 12766516239fSHong Zhang *head = a; 12776516239fSHong Zhang } 12786516239fSHong Zhang bi[n] = bi[n-1] + nnzL; 12796516239fSHong Zhang if (bi[n] != bi[n+1]) SETERRQ2(1,"bi[n] %d != bi[n+1] %d",bi[n],bi[n+1]); 12806516239fSHong Zhang PetscFunctionReturn(0); 12816516239fSHong Zhang } 12826516239fSHong Zhang 12836516239fSHong Zhang #undef __FUNCT__ 12846516239fSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_newdatastruct" 12856516239fSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 12869e25ed09SBarry Smith { 1287416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 12889e25ed09SBarry Smith IS isicol; 12896849ba73SBarry Smith PetscErrorCode ierr; 12905d0c19d7SBarry Smith const PetscInt *r,*ic; 12915d0c19d7SBarry Smith PetscInt n=A->rmap->n,*ai=a->i,*aj=a->j,d; 12925a8e39fbSHong Zhang PetscInt *bi,*cols,nnz,*cols_lvl; 1293052f0c41SBarry Smith PetscInt *bdiag,prow,fm,nzbd,reallocs=0,dcount=0; 12945a8e39fbSHong Zhang PetscInt i,levels,diagonal_fill; 129577c4ece6SBarry Smith PetscTruth col_identity,row_identity; 1296329f5518SBarry Smith PetscReal f; 12975a8e39fbSHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 12985a8e39fbSHong Zhang PetscBT lnkbt; 12995a8e39fbSHong Zhang PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 1300a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1301a1a86e44SBarry Smith PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 130209f38230SBarry Smith PetscTruth missing; 13039e25ed09SBarry Smith 13043a40ed3dSBarry Smith PetscFunctionBegin; 13056516239fSHong Zhang //printf("MatILUFactorSymbolic_SeqAIJ_newdatastruct ...\n"); 1306d0f46423SBarry 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); 13076cf997b0SBarry Smith f = info->fill; 130838baddfdSBarry Smith levels = (PetscInt)info->levels; 130938baddfdSBarry Smith diagonal_fill = (PetscInt)info->diagonal_fill; 13104c49b128SBarry Smith ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 131182bf6240SBarry Smith 1312be0abb6dSBarry Smith ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 1313be0abb6dSBarry Smith ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 1314c9c72f8fSHong Zhang 13156516239fSHong Zhang if (!levels && row_identity && col_identity) { 13166516239fSHong Zhang /* special case: ilu(0) with natural ordering */ 13178fc3a347SHong Zhang ierr = MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr); 1318c9c72f8fSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_newdatastruct; 13196516239fSHong Zhang 13206516239fSHong Zhang fact->factor = MAT_FACTOR_ILU; 13216516239fSHong Zhang (fact)->info.factor_mallocs = 0; 13226516239fSHong Zhang (fact)->info.fill_ratio_given = info->fill; 13236516239fSHong Zhang (fact)->info.fill_ratio_needed = 1.0; 13246516239fSHong Zhang b = (Mat_SeqAIJ*)(fact)->data; 13256516239fSHong Zhang ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 13266516239fSHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 13276516239fSHong Zhang b->row = isrow; 13286516239fSHong Zhang b->col = iscol; 13296516239fSHong Zhang b->icol = isicol; 13306516239fSHong Zhang ierr = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 13316516239fSHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 13326516239fSHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 13336516239fSHong Zhang /* ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); */ 13346516239fSHong Zhang PetscFunctionReturn(0); 13356516239fSHong Zhang } 13366516239fSHong Zhang 13376516239fSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 13386516239fSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 13396516239fSHong Zhang 13406516239fSHong Zhang /* get new row pointers */ 13416516239fSHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 13426516239fSHong Zhang bi[0] = 0; 13436516239fSHong Zhang /* bdiag is location of diagonal in factor */ 13446516239fSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 13456516239fSHong Zhang bdiag[0] = 0; 13466516239fSHong Zhang 13476516239fSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr); 13486516239fSHong Zhang bjlvl_ptr = (PetscInt**)(bj_ptr + n); 13496516239fSHong Zhang 13506516239fSHong Zhang /* create a linked list for storing column indices of the active row */ 13516516239fSHong Zhang nlnk = n + 1; 13526516239fSHong Zhang ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 13536516239fSHong Zhang 13546516239fSHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 13556516239fSHong Zhang ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 13566516239fSHong Zhang current_space = free_space; 13576516239fSHong Zhang ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr); 13586516239fSHong Zhang current_space_lvl = free_space_lvl; 13596516239fSHong Zhang 13606516239fSHong Zhang for (i=0; i<n; i++) { 13616516239fSHong Zhang nzi = 0; 13626516239fSHong Zhang /* copy current row into linked list */ 13636516239fSHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 13646516239fSHong Zhang if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i); 13656516239fSHong Zhang cols = aj + ai[r[i]]; 13666516239fSHong Zhang lnk[i] = -1; /* marker to indicate if diagonal exists */ 13676516239fSHong Zhang ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 13686516239fSHong Zhang nzi += nlnk; 13696516239fSHong Zhang 13706516239fSHong Zhang /* make sure diagonal entry is included */ 13716516239fSHong Zhang if (diagonal_fill && lnk[i] == -1) { 13726516239fSHong Zhang fm = n; 13736516239fSHong Zhang while (lnk[fm] < i) fm = lnk[fm]; 13746516239fSHong Zhang lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 13756516239fSHong Zhang lnk[fm] = i; 13766516239fSHong Zhang lnk_lvl[i] = 0; 13776516239fSHong Zhang nzi++; dcount++; 13786516239fSHong Zhang } 13796516239fSHong Zhang 13806516239fSHong Zhang /* add pivot rows into the active row */ 13816516239fSHong Zhang nzbd = 0; 13826516239fSHong Zhang prow = lnk[n]; 13836516239fSHong Zhang while (prow < i) { 13846516239fSHong Zhang nnz = bdiag[prow]; 13856516239fSHong Zhang cols = bj_ptr[prow] + nnz + 1; 13866516239fSHong Zhang cols_lvl = bjlvl_ptr[prow] + nnz + 1; 13876516239fSHong Zhang nnz = bi[prow+1] - bi[prow] - nnz - 1; 13886516239fSHong Zhang ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 13896516239fSHong Zhang nzi += nlnk; 13906516239fSHong Zhang prow = lnk[prow]; 13916516239fSHong Zhang nzbd++; 13926516239fSHong Zhang } 13936516239fSHong Zhang bdiag[i] = nzbd; 13946516239fSHong Zhang bi[i+1] = bi[i] + nzi; 13956516239fSHong Zhang 13966516239fSHong Zhang /* if free space is not available, make more free space */ 13976516239fSHong Zhang if (current_space->local_remaining<nzi) { 13986516239fSHong Zhang nnz = 2*nzi*(n - i); /* estimated and max additional space needed */ 13996516239fSHong Zhang ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 14006516239fSHong Zhang ierr = PetscFreeSpaceGet(nnz,¤t_space_lvl);CHKERRQ(ierr); 14016516239fSHong Zhang reallocs++; 14026516239fSHong Zhang } 14036516239fSHong Zhang 14046516239fSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 14056516239fSHong Zhang ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 14066516239fSHong Zhang bj_ptr[i] = current_space->array; 14076516239fSHong Zhang bjlvl_ptr[i] = current_space_lvl->array; 14086516239fSHong Zhang 14096516239fSHong Zhang /* make sure the active row i has diagonal entry */ 14106516239fSHong Zhang if (*(bj_ptr[i]+bdiag[i]) != i) { 14116516239fSHong Zhang SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 14126516239fSHong Zhang try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i); 14136516239fSHong Zhang } 14146516239fSHong Zhang 14156516239fSHong Zhang current_space->array += nzi; 14166516239fSHong Zhang current_space->local_used += nzi; 14176516239fSHong Zhang current_space->local_remaining -= nzi; 14186516239fSHong Zhang current_space_lvl->array += nzi; 14196516239fSHong Zhang current_space_lvl->local_used += nzi; 14206516239fSHong Zhang current_space_lvl->local_remaining -= nzi; 14216516239fSHong Zhang } 14226516239fSHong Zhang 14236516239fSHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 14246516239fSHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 14256516239fSHong Zhang 14266516239fSHong Zhang /* destroy list of free space and other temporary arrays */ 14276516239fSHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 14286516239fSHong Zhang 14296516239fSHong Zhang /* copy free_space into bj and free free_space; set bi, bj, bdiag in new datastructure; */ 14306516239fSHong Zhang ierr = PetscFreeSpaceContiguous_newdatastruct(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr); 14316516239fSHong Zhang 14326516239fSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 14336516239fSHong Zhang ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 14346516239fSHong Zhang ierr = PetscFree(bj_ptr);CHKERRQ(ierr); 14356516239fSHong Zhang 14366516239fSHong Zhang #if defined(PETSC_USE_INFO) 14376516239fSHong Zhang { 14386516239fSHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 14396516239fSHong Zhang ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 14406516239fSHong Zhang ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 14416516239fSHong Zhang ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr); 14426516239fSHong Zhang ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 14436516239fSHong Zhang if (diagonal_fill) { 14446516239fSHong Zhang ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr); 14456516239fSHong Zhang } 14466516239fSHong Zhang } 14476516239fSHong Zhang #endif 14486516239fSHong Zhang 14496516239fSHong Zhang /* put together the new matrix */ 14506516239fSHong Zhang ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 14516516239fSHong Zhang ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr); 14526516239fSHong Zhang b = (Mat_SeqAIJ*)(fact)->data; 14536516239fSHong Zhang b->free_a = PETSC_TRUE; 14546516239fSHong Zhang b->free_ij = PETSC_TRUE; 14556516239fSHong Zhang b->singlemalloc = PETSC_FALSE; 14566516239fSHong Zhang ierr = PetscMalloc( (bi[2*n+1] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 14576516239fSHong Zhang b->j = bj; 14586516239fSHong Zhang b->i = bi; 14596516239fSHong Zhang b->diag = bdiag; 14606516239fSHong Zhang b->ilen = 0; 14616516239fSHong Zhang b->imax = 0; 14626516239fSHong Zhang b->row = isrow; 14636516239fSHong Zhang b->col = iscol; 14646516239fSHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 14656516239fSHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 14666516239fSHong Zhang b->icol = isicol; 14676516239fSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 14686516239fSHong Zhang /* In b structure: Free imax, ilen, old a, old j. 14696516239fSHong Zhang Allocate bdiag, solve_work, new a, new j */ 14706516239fSHong Zhang ierr = PetscLogObjectMemory(fact,bi[2*n+1] * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 14716516239fSHong Zhang b->maxnz = b->nz = bi[2*n+1] ; 14726516239fSHong Zhang (fact)->info.factor_mallocs = reallocs; 14736516239fSHong Zhang (fact)->info.fill_ratio_given = f; 14746516239fSHong Zhang (fact)->info.fill_ratio_needed = ((PetscReal)bi[2*n+1])/((PetscReal)ai[n]); 14756516239fSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_newdatastruct; 14766516239fSHong Zhang /* ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); */ 14776516239fSHong Zhang PetscFunctionReturn(0); 14786516239fSHong Zhang } 14796516239fSHong Zhang 14806516239fSHong Zhang #undef __FUNCT__ 14816516239fSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ" 14826516239fSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 14836516239fSHong Zhang { 14846516239fSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 14856516239fSHong Zhang IS isicol; 14866516239fSHong Zhang PetscErrorCode ierr; 14876516239fSHong Zhang const PetscInt *r,*ic; 14886516239fSHong Zhang PetscInt n=A->rmap->n,*ai=a->i,*aj=a->j,d; 14896516239fSHong Zhang PetscInt *bi,*cols,nnz,*cols_lvl; 14906516239fSHong Zhang PetscInt *bdiag,prow,fm,nzbd,reallocs=0,dcount=0; 14916516239fSHong Zhang PetscInt i,levels,diagonal_fill; 14926516239fSHong Zhang PetscTruth col_identity,row_identity; 14936516239fSHong Zhang PetscReal f; 14946516239fSHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 14956516239fSHong Zhang PetscBT lnkbt; 14966516239fSHong Zhang PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 14976516239fSHong Zhang PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 14986516239fSHong Zhang PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 14996516239fSHong Zhang PetscTruth missing; 15006516239fSHong Zhang PetscTruth newdatastruct=PETSC_FALSE; 15016516239fSHong Zhang 15026516239fSHong Zhang PetscFunctionBegin; 15036516239fSHong Zhang ierr = PetscOptionsGetTruth(PETSC_NULL,"-ilu_new",&newdatastruct,PETSC_NULL);CHKERRQ(ierr); 15046516239fSHong Zhang if (newdatastruct){ 15056516239fSHong Zhang ierr = MatILUFactorSymbolic_SeqAIJ_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr); 15066516239fSHong Zhang PetscFunctionReturn(0); 15076516239fSHong Zhang } 15086516239fSHong Zhang 15096516239fSHong Zhang 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); 15106516239fSHong Zhang f = info->fill; 15116516239fSHong Zhang levels = (PetscInt)info->levels; 15126516239fSHong Zhang diagonal_fill = (PetscInt)info->diagonal_fill; 15136516239fSHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 15146516239fSHong Zhang 15156516239fSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 15166516239fSHong Zhang ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 15176516239fSHong Zhang if (!levels && row_identity && col_identity) { /* special case: ilu(0) with natural ordering */ 1518f77e22a1SHong Zhang ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_TRUE);CHKERRQ(ierr); 1519c9c72f8fSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 1520c9c72f8fSHong Zhang 1521719d5645SBarry Smith fact->factor = MAT_FACTOR_ILU; 1522719d5645SBarry Smith (fact)->info.factor_mallocs = 0; 1523719d5645SBarry Smith (fact)->info.fill_ratio_given = info->fill; 1524719d5645SBarry Smith (fact)->info.fill_ratio_needed = 1.0; 1525719d5645SBarry Smith b = (Mat_SeqAIJ*)(fact)->data; 15268ef3462fSBarry Smith ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 152709f38230SBarry Smith if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 152808480c60SBarry Smith b->row = isrow; 152908480c60SBarry Smith b->col = iscol; 153082bf6240SBarry Smith b->icol = isicol; 1531719d5645SBarry Smith ierr = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1532c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1533c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 1534719d5645SBarry Smith ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); 15353a40ed3dSBarry Smith PetscFunctionReturn(0); 153608480c60SBarry Smith } 153708480c60SBarry Smith 1538898183ecSLois Curfman McInnes ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 1539898183ecSLois Curfman McInnes ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 15409e25ed09SBarry Smith 15419e25ed09SBarry Smith /* get new row pointers */ 15425a8e39fbSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 15435a8e39fbSHong Zhang bi[0] = 0; 15445a8e39fbSHong Zhang /* bdiag is location of diagonal in factor */ 15455a8e39fbSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 15465a8e39fbSHong Zhang bdiag[0] = 0; 15476cf997b0SBarry Smith 15485a8e39fbSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr); 15495a8e39fbSHong Zhang bjlvl_ptr = (PetscInt**)(bj_ptr + n); 15505a8e39fbSHong Zhang 15515a8e39fbSHong Zhang /* create a linked list for storing column indices of the active row */ 15525a8e39fbSHong Zhang nlnk = n + 1; 15535a8e39fbSHong Zhang ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 15545a8e39fbSHong Zhang 15555a8e39fbSHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 1556a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 15575a8e39fbSHong Zhang current_space = free_space; 1558a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr); 15595a8e39fbSHong Zhang current_space_lvl = free_space_lvl; 15605a8e39fbSHong Zhang 15615a8e39fbSHong Zhang for (i=0; i<n; i++) { 15625a8e39fbSHong Zhang nzi = 0; 15636cf997b0SBarry Smith /* copy current row into linked list */ 15645a8e39fbSHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 15653b4a8b6dSBarry 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); 15665a8e39fbSHong Zhang cols = aj + ai[r[i]]; 15675a8e39fbSHong Zhang lnk[i] = -1; /* marker to indicate if diagonal exists */ 15685a8e39fbSHong Zhang ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 15695a8e39fbSHong Zhang nzi += nlnk; 15706cf997b0SBarry Smith 15716cf997b0SBarry Smith /* make sure diagonal entry is included */ 15725a8e39fbSHong Zhang if (diagonal_fill && lnk[i] == -1) { 15736cf997b0SBarry Smith fm = n; 15745a8e39fbSHong Zhang while (lnk[fm] < i) fm = lnk[fm]; 15755a8e39fbSHong Zhang lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 15765a8e39fbSHong Zhang lnk[fm] = i; 15775a8e39fbSHong Zhang lnk_lvl[i] = 0; 15785a8e39fbSHong Zhang nzi++; dcount++; 15796cf997b0SBarry Smith } 15806cf997b0SBarry Smith 15815a8e39fbSHong Zhang /* add pivot rows into the active row */ 15825a8e39fbSHong Zhang nzbd = 0; 15835a8e39fbSHong Zhang prow = lnk[n]; 15845a8e39fbSHong Zhang while (prow < i) { 15855a8e39fbSHong Zhang nnz = bdiag[prow]; 15865a8e39fbSHong Zhang cols = bj_ptr[prow] + nnz + 1; 15875a8e39fbSHong Zhang cols_lvl = bjlvl_ptr[prow] + nnz + 1; 15885a8e39fbSHong Zhang nnz = bi[prow+1] - bi[prow] - nnz - 1; 15895a8e39fbSHong Zhang ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 15905a8e39fbSHong Zhang nzi += nlnk; 15915a8e39fbSHong Zhang prow = lnk[prow]; 15925a8e39fbSHong Zhang nzbd++; 159356beaf04SBarry Smith } 15945a8e39fbSHong Zhang bdiag[i] = nzbd; 15955a8e39fbSHong Zhang bi[i+1] = bi[i] + nzi; 1596ecf371e4SBarry Smith 15975a8e39fbSHong Zhang /* if free space is not available, make more free space */ 15985a8e39fbSHong Zhang if (current_space->local_remaining<nzi) { 15995a8e39fbSHong Zhang nnz = nzi*(n - i); /* estimated and max additional space needed */ 1600a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 1601a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space_lvl);CHKERRQ(ierr); 16025a8e39fbSHong Zhang reallocs++; 16035a8e39fbSHong Zhang } 1604ecf371e4SBarry Smith 16055a8e39fbSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 16065a8e39fbSHong Zhang ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 16075a8e39fbSHong Zhang bj_ptr[i] = current_space->array; 16085a8e39fbSHong Zhang bjlvl_ptr[i] = current_space_lvl->array; 16095a8e39fbSHong Zhang 16105a8e39fbSHong Zhang /* make sure the active row i has diagonal entry */ 16115a8e39fbSHong Zhang if (*(bj_ptr[i]+bdiag[i]) != i) { 161277431f27SBarry Smith SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 1613d7ee0231SBarry Smith try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i); 16146cf997b0SBarry Smith } 16155a8e39fbSHong Zhang 16165a8e39fbSHong Zhang current_space->array += nzi; 16175a8e39fbSHong Zhang current_space->local_used += nzi; 16185a8e39fbSHong Zhang current_space->local_remaining -= nzi; 16195a8e39fbSHong Zhang current_space_lvl->array += nzi; 16205a8e39fbSHong Zhang current_space_lvl->local_used += nzi; 16215a8e39fbSHong Zhang current_space_lvl->local_remaining -= nzi; 16229e25ed09SBarry Smith } 16235a8e39fbSHong Zhang 1624898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 1625898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 16265a8e39fbSHong Zhang 16275a8e39fbSHong Zhang /* destroy list of free space and other temporary arrays */ 16285a8e39fbSHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 16296516239fSHong Zhang ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); /* copy free_space -> bj */ 16305a8e39fbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 1631a1a86e44SBarry Smith ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 16325a8e39fbSHong Zhang ierr = PetscFree(bj_ptr);CHKERRQ(ierr); 16339e25ed09SBarry Smith 16346cf91177SBarry Smith #if defined(PETSC_USE_INFO) 1635f64065bbSBarry Smith { 16365a8e39fbSHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 1637ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 1638ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 1639ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr); 1640ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 1641335d9088SBarry Smith if (diagonal_fill) { 1642ae15b995SBarry Smith ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr); 1643335d9088SBarry Smith } 1644f64065bbSBarry Smith } 164563ba0a88SBarry Smith #endif 1646bbb6d6a8SBarry Smith 16479e25ed09SBarry Smith /* put together the new matrix */ 164807dbf95fSBarry Smith ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 1649719d5645SBarry Smith ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr); 1650719d5645SBarry Smith b = (Mat_SeqAIJ*)(fact)->data; 1651e6b907acSBarry Smith b->free_a = PETSC_TRUE; 1652e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 16537c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 1654052f0c41SBarry Smith ierr = PetscMalloc( (bi[n] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 16555a8e39fbSHong Zhang b->j = bj; 16565a8e39fbSHong Zhang b->i = bi; 16575a8e39fbSHong Zhang for (i=0; i<n; i++) bdiag[i] += bi[i]; 16585a8e39fbSHong Zhang b->diag = bdiag; 1659416022c9SBarry Smith b->ilen = 0; 1660416022c9SBarry Smith b->imax = 0; 1661416022c9SBarry Smith b->row = isrow; 1662416022c9SBarry Smith b->col = iscol; 1663c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1664c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 166582bf6240SBarry Smith b->icol = isicol; 166687828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1667416022c9SBarry Smith /* In b structure: Free imax, ilen, old a, old j. 16685a8e39fbSHong Zhang Allocate bdiag, solve_work, new a, new j */ 1669719d5645SBarry Smith ierr = PetscLogObjectMemory(fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 16705a8e39fbSHong Zhang b->maxnz = b->nz = bi[n] ; 1671719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 1672719d5645SBarry Smith (fact)->info.fill_ratio_given = f; 1673719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 1674719d5645SBarry Smith (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 1675719d5645SBarry Smith ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); 16763a40ed3dSBarry Smith PetscFunctionReturn(0); 16779e25ed09SBarry Smith } 1678d5d45c9bSBarry Smith 16797c4f633dSBarry Smith #include "../src/mat/impls/sbaij/seq/sbaij.h" 1680a6175056SHong Zhang #undef __FUNCT__ 1681a6175056SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ" 16820481f469SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info) 1683a6175056SHong Zhang { 1684719d5645SBarry Smith Mat C = B; 16850968510aSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 16862ed133dbSHong Zhang Mat_SeqSBAIJ *b=(Mat_SeqSBAIJ*)C->data; 16879bfd6278SHong Zhang IS ip=b->row,iip = b->icol; 16882ed133dbSHong Zhang PetscErrorCode ierr; 16895d0c19d7SBarry Smith const PetscInt *rip,*riip; 16905d0c19d7SBarry Smith PetscInt i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bcol; 16912ed133dbSHong Zhang PetscInt *ai=a->i,*aj=a->j; 16922ed133dbSHong Zhang PetscInt k,jmin,jmax,*jl,*il,col,nexti,ili,nz; 1693622e2028SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi; 1694540703acSHong Zhang PetscReal zeropivot,rs,shiftnz; 1695fbf22428SSatish Balay PetscReal shiftpd; 1696540703acSHong Zhang ChShift_Ctx sctx; 1697540703acSHong Zhang PetscInt newshift; 1698db4efbfdSBarry Smith PetscTruth perm_identity; 1699d5d45c9bSBarry Smith 1700a6175056SHong Zhang PetscFunctionBegin; 1701117f1891Stmunson 1702540703acSHong Zhang shiftnz = info->shiftnz; 1703540703acSHong Zhang shiftpd = info->shiftpd; 1704ee45ca4aSHong Zhang zeropivot = info->zeropivot; 1705ee45ca4aSHong Zhang 17062ed133dbSHong Zhang ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 17079bfd6278SHong Zhang ierr = ISGetIndices(iip,&riip);CHKERRQ(ierr); 17082ed133dbSHong Zhang 17092ed133dbSHong Zhang /* initialization */ 17102ed133dbSHong Zhang nz = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar); 17112ed133dbSHong Zhang ierr = PetscMalloc(nz,&il);CHKERRQ(ierr); 17122ed133dbSHong Zhang jl = il + mbs; 17132ed133dbSHong Zhang rtmp = (MatScalar*)(jl + mbs); 17142ed133dbSHong Zhang 1715540703acSHong Zhang sctx.shift_amount = 0; 1716540703acSHong Zhang sctx.nshift = 0; 17172ed133dbSHong Zhang do { 1718540703acSHong Zhang sctx.chshift = PETSC_FALSE; 17192ed133dbSHong Zhang for (i=0; i<mbs; i++) { 17202ed133dbSHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 1721a6175056SHong Zhang } 17222ed133dbSHong Zhang 17232ed133dbSHong Zhang for (k = 0; k<mbs; k++){ 1724c05c3958SHong Zhang bval = ba + bi[k]; 17252ed133dbSHong Zhang /* initialize k-th row by the perm[k]-th row of A */ 17262ed133dbSHong Zhang jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 17272ed133dbSHong Zhang for (j = jmin; j < jmax; j++){ 17289bfd6278SHong Zhang col = riip[aj[j]]; 17292ed133dbSHong Zhang if (col >= k){ /* only take upper triangular entry */ 17302ed133dbSHong Zhang rtmp[col] = aa[j]; 1731c05c3958SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 17322ed133dbSHong Zhang } 17332ed133dbSHong Zhang } 173439e3d630SHong Zhang /* shift the diagonal of the matrix */ 1735540703acSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 17362ed133dbSHong Zhang 17372ed133dbSHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 17382ed133dbSHong Zhang dk = rtmp[k]; 17392ed133dbSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 17402ed133dbSHong Zhang 17412ed133dbSHong Zhang while (i < k){ 17422ed133dbSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 17432ed133dbSHong Zhang 17442ed133dbSHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 17452ed133dbSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 17462ed133dbSHong Zhang uikdi = - ba[ili]*ba[bi[i]]; /* diagonal(k) */ 17472ed133dbSHong Zhang dk += uikdi*ba[ili]; 17482ed133dbSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 17492ed133dbSHong Zhang 17502ed133dbSHong Zhang /* add multiple of row i to k-th row */ 17512ed133dbSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 17522ed133dbSHong Zhang if (jmin < jmax){ 17532ed133dbSHong Zhang for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 17542ed133dbSHong Zhang /* update il and jl for row i */ 17552ed133dbSHong Zhang il[i] = jmin; 17562ed133dbSHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 17572ed133dbSHong Zhang } 17582ed133dbSHong Zhang i = nexti; 17592ed133dbSHong Zhang } 17602ed133dbSHong Zhang 17610697b6caSHong Zhang /* shift the diagonals when zero pivot is detected */ 17620697b6caSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 17630697b6caSHong Zhang rs = 0.0; 17643c9e8598SHong Zhang jmin = bi[k]+1; 17653c9e8598SHong Zhang nz = bi[k+1] - jmin; 17663c9e8598SHong Zhang bcol = bj + jmin; 17673c9e8598SHong Zhang while (nz--){ 176889f845c8SHong Zhang rs += PetscAbsScalar(rtmp[*bcol]); 176989f845c8SHong Zhang bcol++; 17703c9e8598SHong Zhang } 1771540703acSHong Zhang 1772540703acSHong Zhang sctx.rs = rs; 1773540703acSHong Zhang sctx.pv = dk; 17745b5bc046SBarry Smith ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr); 1775117f1891Stmunson 1776117f1891Stmunson if (newshift == 1) { 1777117f1891Stmunson if (!sctx.shift_amount) { 1778117f1891Stmunson sctx.shift_amount = 1e-5; 1779117f1891Stmunson } 1780117f1891Stmunson break; 1781117f1891Stmunson } 17823c9e8598SHong Zhang 17833c9e8598SHong Zhang /* copy data into U(k,:) */ 178439e3d630SHong Zhang ba[bi[k]] = 1.0/dk; /* U(k,k) */ 178539e3d630SHong Zhang jmin = bi[k]+1; jmax = bi[k+1]; 178639e3d630SHong Zhang if (jmin < jmax) { 178739e3d630SHong Zhang for (j=jmin; j<jmax; j++){ 178839e3d630SHong Zhang col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0; 17893c9e8598SHong Zhang } 179039e3d630SHong Zhang /* add the k-th row into il and jl */ 17913c9e8598SHong Zhang il[k] = jmin; 17923c9e8598SHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 17933c9e8598SHong Zhang } 17943c9e8598SHong Zhang } 1795540703acSHong Zhang } while (sctx.chshift); 17963c9e8598SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 17973c9e8598SHong Zhang 179839e3d630SHong Zhang ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 17999bfd6278SHong Zhang ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr); 1800db4efbfdSBarry Smith 1801db4efbfdSBarry Smith ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr); 1802db4efbfdSBarry Smith if (perm_identity){ 1803719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 1804719d5645SBarry Smith (B)->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering; 1805719d5645SBarry Smith (B)->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1_NaturalOrdering; 1806719d5645SBarry Smith (B)->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1_NaturalOrdering; 1807db4efbfdSBarry Smith } else { 1808719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqSBAIJ_1; 1809719d5645SBarry Smith (B)->ops->solvetranspose = MatSolve_SeqSBAIJ_1; 1810719d5645SBarry Smith (B)->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1; 1811719d5645SBarry Smith (B)->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1; 1812db4efbfdSBarry Smith } 1813db4efbfdSBarry Smith 18143c9e8598SHong Zhang C->assembled = PETSC_TRUE; 18153c9e8598SHong Zhang C->preallocated = PETSC_TRUE; 1816d0f46423SBarry Smith ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr); 1817540703acSHong Zhang if (sctx.nshift){ 1818540703acSHong Zhang if (shiftnz) { 18191e2582c4SBarry Smith ierr = PetscInfo2(A,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 1820540703acSHong Zhang } else if (shiftpd) { 18211e2582c4SBarry Smith ierr = PetscInfo2(A,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 18220697b6caSHong Zhang } 18233c9e8598SHong Zhang } 18243c9e8598SHong Zhang PetscFunctionReturn(0); 18253c9e8598SHong Zhang } 1826a6175056SHong Zhang 1827a6175056SHong Zhang #undef __FUNCT__ 1828a6175056SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ" 18290481f469SBarry Smith PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 1830a6175056SHong Zhang { 18310968510aSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1832ed59401aSHong Zhang Mat_SeqSBAIJ *b; 1833dfbe8321SBarry Smith PetscErrorCode ierr; 183458ebbce7SBarry Smith PetscTruth perm_identity,missing; 18355d0c19d7SBarry Smith PetscInt reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui; 18365d0c19d7SBarry Smith const PetscInt *rip,*riip; 1837ed59401aSHong Zhang PetscInt jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow; 183858ebbce7SBarry Smith PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL,d; 18395a8e39fbSHong Zhang PetscInt ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr; 1840ed59401aSHong Zhang PetscReal fill=info->fill,levels=info->levels; 1841a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1842a1a86e44SBarry Smith PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 18437a48dd6fSHong Zhang PetscBT lnkbt; 1844b635d36bSHong Zhang IS iperm; 1845a6175056SHong Zhang 1846a6175056SHong Zhang PetscFunctionBegin; 1847d0f46423SBarry 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); 184858ebbce7SBarry Smith ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 184958ebbce7SBarry Smith if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 1850653a6975SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 1851b635d36bSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 18527a48dd6fSHong Zhang 185339e3d630SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 185439e3d630SHong Zhang ui[0] = 0; 185539e3d630SHong Zhang 1856b635d36bSHong Zhang /* ICC(0) without matrix ordering: simply copies fill pattern */ 1857622e2028SHong Zhang if (!levels && perm_identity) { 185858ebbce7SBarry Smith 1859ed59401aSHong Zhang for (i=0; i<am; i++) { 186039e3d630SHong Zhang ui[i+1] = ui[i] + ai[i+1] - a->diag[i]; 1861ed59401aSHong Zhang } 186239e3d630SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 186339e3d630SHong Zhang cols = uj; 1864ed59401aSHong Zhang for (i=0; i<am; i++) { 1865ed59401aSHong Zhang aj = a->j + a->diag[i]; 186639e3d630SHong Zhang ncols = ui[i+1] - ui[i]; 186739e3d630SHong Zhang for (j=0; j<ncols; j++) *cols++ = *aj++; 1868ed59401aSHong Zhang } 186939e3d630SHong Zhang } else { /* case: levels>0 || (levels=0 && !perm_identity) */ 1870b635d36bSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 1871b635d36bSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 1872b635d36bSHong Zhang 18737a48dd6fSHong Zhang /* initialization */ 18745a8e39fbSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr); 18757a48dd6fSHong Zhang 18767a48dd6fSHong Zhang /* jl: linked list for storing indices of the pivot rows 18777a48dd6fSHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 18781393bc97SHong Zhang ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 18797a48dd6fSHong Zhang il = jl + am; 18807a48dd6fSHong Zhang uj_ptr = (PetscInt**)(il + am); 18817a48dd6fSHong Zhang uj_lvl_ptr = (PetscInt**)(uj_ptr + am); 18827a48dd6fSHong Zhang for (i=0; i<am; i++){ 18837a48dd6fSHong Zhang jl[i] = am; il[i] = 0; 18847a48dd6fSHong Zhang } 18857a48dd6fSHong Zhang 18867a48dd6fSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 18877a48dd6fSHong Zhang nlnk = am + 1; 18882ed133dbSHong Zhang ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 18897a48dd6fSHong Zhang 18907a48dd6fSHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 1891a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 18927a48dd6fSHong Zhang current_space = free_space; 1893a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr); 18947a48dd6fSHong Zhang current_space_lvl = free_space_lvl; 18957a48dd6fSHong Zhang 18967a48dd6fSHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 18977a48dd6fSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 18987a48dd6fSHong Zhang nzk = 0; 1899622e2028SHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 19003b4a8b6dSBarry 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); 1901622e2028SHong Zhang ncols_upper = 0; 1902622e2028SHong Zhang for (j=0; j<ncols; j++){ 1903b635d36bSHong Zhang i = *(aj + ai[rip[k]] + j); /* unpermuted column index */ 1904b635d36bSHong Zhang if (riip[i] >= k){ /* only take upper triangular entry */ 19055a8e39fbSHong Zhang ajtmp[ncols_upper] = i; 1906622e2028SHong Zhang ncols_upper++; 1907622e2028SHong Zhang } 1908622e2028SHong Zhang } 1909b635d36bSHong Zhang ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 19107a48dd6fSHong Zhang nzk += nlnk; 19117a48dd6fSHong Zhang 19127a48dd6fSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 19137a48dd6fSHong Zhang prow = jl[k]; /* 1st pivot row */ 19147a48dd6fSHong Zhang 19157a48dd6fSHong Zhang while (prow < k){ 19167a48dd6fSHong Zhang nextprow = jl[prow]; 19177a48dd6fSHong Zhang 19187a48dd6fSHong Zhang /* merge prow into k-th row */ 19197a48dd6fSHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 19207a48dd6fSHong Zhang jmax = ui[prow+1]; 19217a48dd6fSHong Zhang ncols = jmax-jmin; 1922ed59401aSHong Zhang i = jmin - ui[prow]; 1923ed59401aSHong Zhang cols = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 19245a8e39fbSHong Zhang uj = uj_lvl_ptr[prow] + i; /* levels of cols */ 19255a8e39fbSHong Zhang j = *(uj - 1); 19265a8e39fbSHong Zhang ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr); 19277a48dd6fSHong Zhang nzk += nlnk; 19287a48dd6fSHong Zhang 19297a48dd6fSHong Zhang /* update il and jl for prow */ 19307a48dd6fSHong Zhang if (jmin < jmax){ 19317a48dd6fSHong Zhang il[prow] = jmin; 19327a48dd6fSHong Zhang j = *cols; jl[prow] = jl[j]; jl[j] = prow; 19337a48dd6fSHong Zhang } 19347a48dd6fSHong Zhang prow = nextprow; 19357a48dd6fSHong Zhang } 19367a48dd6fSHong Zhang 19377a48dd6fSHong Zhang /* if free space is not available, make more free space */ 19387a48dd6fSHong Zhang if (current_space->local_remaining<nzk) { 19397a48dd6fSHong Zhang i = am - k + 1; /* num of unfactored rows */ 19407a48dd6fSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 1941a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 1942a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space_lvl);CHKERRQ(ierr); 19437a48dd6fSHong Zhang reallocs++; 19447a48dd6fSHong Zhang } 19457a48dd6fSHong Zhang 19467a48dd6fSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 1947b635d36bSHong Zhang if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k); 19482ed133dbSHong Zhang ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 19497a48dd6fSHong Zhang 19507a48dd6fSHong Zhang /* add the k-th row into il and jl */ 195139e3d630SHong Zhang if (nzk > 1){ 19527a48dd6fSHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 19537a48dd6fSHong Zhang jl[k] = jl[i]; jl[i] = k; 19547a48dd6fSHong Zhang il[k] = ui[k] + 1; 19557a48dd6fSHong Zhang } 19567a48dd6fSHong Zhang uj_ptr[k] = current_space->array; 19577a48dd6fSHong Zhang uj_lvl_ptr[k] = current_space_lvl->array; 19587a48dd6fSHong Zhang 19597a48dd6fSHong Zhang current_space->array += nzk; 19607a48dd6fSHong Zhang current_space->local_used += nzk; 19617a48dd6fSHong Zhang current_space->local_remaining -= nzk; 19627a48dd6fSHong Zhang 19637a48dd6fSHong Zhang current_space_lvl->array += nzk; 19647a48dd6fSHong Zhang current_space_lvl->local_used += nzk; 19657a48dd6fSHong Zhang current_space_lvl->local_remaining -= nzk; 19667a48dd6fSHong Zhang 19677a48dd6fSHong Zhang ui[k+1] = ui[k] + nzk; 19687a48dd6fSHong Zhang } 19697a48dd6fSHong Zhang 19706cf91177SBarry Smith #if defined(PETSC_USE_INFO) 19717a48dd6fSHong Zhang if (ai[am] != 0) { 197239e3d630SHong Zhang PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]); 1973ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 1974ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 1975ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 19767a48dd6fSHong Zhang } else { 1977ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 19787a48dd6fSHong Zhang } 197963ba0a88SBarry Smith #endif 19807a48dd6fSHong Zhang 19817a48dd6fSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 1982b635d36bSHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 19837a48dd6fSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 19845a8e39fbSHong Zhang ierr = PetscFree(ajtmp);CHKERRQ(ierr); 19857a48dd6fSHong Zhang 19867a48dd6fSHong Zhang /* destroy list of free space and other temporary array(s) */ 19877a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 1988a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 19892ed133dbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 1990a1a86e44SBarry Smith ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 19917a48dd6fSHong Zhang 199239e3d630SHong Zhang } /* end of case: levels>0 || (levels=0 && !perm_identity) */ 199339e3d630SHong Zhang 19947a48dd6fSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 19957a48dd6fSHong Zhang 1996719d5645SBarry Smith b = (Mat_SeqSBAIJ*)(fact)->data; 19977a48dd6fSHong Zhang b->singlemalloc = PETSC_FALSE; 19987a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 19997a48dd6fSHong Zhang b->j = uj; 20007a48dd6fSHong Zhang b->i = ui; 20017a48dd6fSHong Zhang b->diag = 0; 20027a48dd6fSHong Zhang b->ilen = 0; 20037a48dd6fSHong Zhang b->imax = 0; 20047a48dd6fSHong Zhang b->row = perm; 2005b635d36bSHong Zhang b->col = perm; 2006b635d36bSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 2007b635d36bSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 2008b635d36bSHong Zhang b->icol = iperm; 20097a48dd6fSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 20107a48dd6fSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2011719d5645SBarry Smith ierr = PetscLogObjectMemory((fact),(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 20127a48dd6fSHong Zhang b->maxnz = b->nz = ui[am]; 2013e6b907acSBarry Smith b->free_a = PETSC_TRUE; 2014e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 20157a48dd6fSHong Zhang 2016719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 2017719d5645SBarry Smith (fact)->info.fill_ratio_given = fill; 20187a48dd6fSHong Zhang if (ai[am] != 0) { 2019719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 20207a48dd6fSHong Zhang } else { 2021719d5645SBarry Smith (fact)->info.fill_ratio_needed = 0.0; 20227a48dd6fSHong Zhang } 2023719d5645SBarry Smith (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 2024a6175056SHong Zhang PetscFunctionReturn(0); 2025a6175056SHong Zhang } 2026d5d45c9bSBarry Smith 2027f76d2b81SHong Zhang #undef __FUNCT__ 2028f76d2b81SHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ" 20290481f469SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 2030f76d2b81SHong Zhang { 2031f76d2b81SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 203210c27e3dSHong Zhang Mat_SeqSBAIJ *b; 2033dfbe8321SBarry Smith PetscErrorCode ierr; 2034f76d2b81SHong Zhang PetscTruth perm_identity; 203510c27e3dSHong Zhang PetscReal fill = info->fill; 20365d0c19d7SBarry Smith const PetscInt *rip,*riip; 20375d0c19d7SBarry Smith PetscInt i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow; 203810c27e3dSHong Zhang PetscInt *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow; 20392ed133dbSHong Zhang PetscInt nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr; 2040a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 204110c27e3dSHong Zhang PetscBT lnkbt; 20422ed133dbSHong Zhang IS iperm; 2043f76d2b81SHong Zhang 2044f76d2b81SHong Zhang PetscFunctionBegin; 2045d0f46423SBarry 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); 20462ed133dbSHong Zhang /* check whether perm is the identity mapping */ 2047f76d2b81SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 20482ed133dbSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 20492ed133dbSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 20509bfd6278SHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 205110c27e3dSHong Zhang 205210c27e3dSHong Zhang /* initialization */ 20531393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 205410c27e3dSHong Zhang ui[0] = 0; 205510c27e3dSHong Zhang 205610c27e3dSHong Zhang /* jl: linked list for storing indices of the pivot rows 20571393bc97SHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 20581393bc97SHong Zhang ierr = PetscMalloc((3*am+1)*sizeof(PetscInt)+am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 20591393bc97SHong Zhang il = jl + am; 20601393bc97SHong Zhang cols = il + am; 20611393bc97SHong Zhang ui_ptr = (PetscInt**)(cols + am); 20621393bc97SHong Zhang for (i=0; i<am; i++){ 20631393bc97SHong Zhang jl[i] = am; il[i] = 0; 2064f76d2b81SHong Zhang } 206510c27e3dSHong Zhang 206610c27e3dSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 20671393bc97SHong Zhang nlnk = am + 1; 20681393bc97SHong Zhang ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 206910c27e3dSHong Zhang 20701393bc97SHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 2071a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 207210c27e3dSHong Zhang current_space = free_space; 207310c27e3dSHong Zhang 20741393bc97SHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 207510c27e3dSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 207610c27e3dSHong Zhang nzk = 0; 20772ed133dbSHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 20783b4a8b6dSBarry 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); 20792ed133dbSHong Zhang ncols_upper = 0; 20802ed133dbSHong Zhang for (j=0; j<ncols; j++){ 20819bfd6278SHong Zhang i = riip[*(aj + ai[rip[k]] + j)]; 20822ed133dbSHong Zhang if (i >= k){ /* only take upper triangular entry */ 20832ed133dbSHong Zhang cols[ncols_upper] = i; 20842ed133dbSHong Zhang ncols_upper++; 20852ed133dbSHong Zhang } 20862ed133dbSHong Zhang } 20871393bc97SHong Zhang ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 208810c27e3dSHong Zhang nzk += nlnk; 208910c27e3dSHong Zhang 209010c27e3dSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 209110c27e3dSHong Zhang prow = jl[k]; /* 1st pivot row */ 209210c27e3dSHong Zhang 209310c27e3dSHong Zhang while (prow < k){ 209410c27e3dSHong Zhang nextprow = jl[prow]; 209510c27e3dSHong Zhang /* merge prow into k-th row */ 20961393bc97SHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 209710c27e3dSHong Zhang jmax = ui[prow+1]; 209810c27e3dSHong Zhang ncols = jmax-jmin; 20991393bc97SHong Zhang uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 21005a8e39fbSHong Zhang ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 210110c27e3dSHong Zhang nzk += nlnk; 210210c27e3dSHong Zhang 210310c27e3dSHong Zhang /* update il and jl for prow */ 210410c27e3dSHong Zhang if (jmin < jmax){ 210510c27e3dSHong Zhang il[prow] = jmin; 21062ed133dbSHong Zhang j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow; 210710c27e3dSHong Zhang } 210810c27e3dSHong Zhang prow = nextprow; 210910c27e3dSHong Zhang } 211010c27e3dSHong Zhang 211110c27e3dSHong Zhang /* if free space is not available, make more free space */ 211210c27e3dSHong Zhang if (current_space->local_remaining<nzk) { 21131393bc97SHong Zhang i = am - k + 1; /* num of unfactored rows */ 211410c27e3dSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 2115a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 211610c27e3dSHong Zhang reallocs++; 211710c27e3dSHong Zhang } 211810c27e3dSHong Zhang 211910c27e3dSHong Zhang /* copy data into free space, then initialize lnk */ 21201393bc97SHong Zhang ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 212110c27e3dSHong Zhang 212210c27e3dSHong Zhang /* add the k-th row into il and jl */ 212310c27e3dSHong Zhang if (nzk-1 > 0){ 21241393bc97SHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 212510c27e3dSHong Zhang jl[k] = jl[i]; jl[i] = k; 212610c27e3dSHong Zhang il[k] = ui[k] + 1; 212710c27e3dSHong Zhang } 21282ed133dbSHong Zhang ui_ptr[k] = current_space->array; 212910c27e3dSHong Zhang current_space->array += nzk; 213010c27e3dSHong Zhang current_space->local_used += nzk; 213110c27e3dSHong Zhang current_space->local_remaining -= nzk; 213210c27e3dSHong Zhang 213310c27e3dSHong Zhang ui[k+1] = ui[k] + nzk; 213410c27e3dSHong Zhang } 213510c27e3dSHong Zhang 21366cf91177SBarry Smith #if defined(PETSC_USE_INFO) 21371393bc97SHong Zhang if (ai[am] != 0) { 21381393bc97SHong Zhang PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]); 2139ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 2140ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 2141ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 214210c27e3dSHong Zhang } else { 2143ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 214410c27e3dSHong Zhang } 214563ba0a88SBarry Smith #endif 214610c27e3dSHong Zhang 214710c27e3dSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 21489bfd6278SHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 214910c27e3dSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 215010c27e3dSHong Zhang 215110c27e3dSHong Zhang /* destroy list of free space and other temporary array(s) */ 21521393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 2153a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 215410c27e3dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 215510c27e3dSHong Zhang 215610c27e3dSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 215710c27e3dSHong Zhang 2158719d5645SBarry Smith b = (Mat_SeqSBAIJ*)(fact)->data; 215910c27e3dSHong Zhang b->singlemalloc = PETSC_FALSE; 2160e6b907acSBarry Smith b->free_a = PETSC_TRUE; 2161e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 21621393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 216310c27e3dSHong Zhang b->j = uj; 216410c27e3dSHong Zhang b->i = ui; 216510c27e3dSHong Zhang b->diag = 0; 216610c27e3dSHong Zhang b->ilen = 0; 216710c27e3dSHong Zhang b->imax = 0; 216810c27e3dSHong Zhang b->row = perm; 21699bfd6278SHong Zhang b->col = perm; 21709bfd6278SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 21719bfd6278SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 21729bfd6278SHong Zhang b->icol = iperm; 217310c27e3dSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 21741393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2175719d5645SBarry Smith ierr = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 21761393bc97SHong Zhang b->maxnz = b->nz = ui[am]; 217710c27e3dSHong Zhang 2178719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 2179719d5645SBarry Smith (fact)->info.fill_ratio_given = fill; 21801393bc97SHong Zhang if (ai[am] != 0) { 2181719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 218210c27e3dSHong Zhang } else { 2183719d5645SBarry Smith (fact)->info.fill_ratio_needed = 0.0; 218410c27e3dSHong Zhang } 2185719d5645SBarry Smith (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 2186f76d2b81SHong Zhang PetscFunctionReturn(0); 2187f76d2b81SHong Zhang } 2188599ef60dSHong Zhang 2189599ef60dSHong Zhang #undef __FUNCT__ 21901d098868SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering_iludt" 21911d098868SHong Zhang PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_iludt(Mat A,Vec bb,Vec xx) 2192599ef60dSHong Zhang { 21931d098868SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 21941d098868SHong Zhang PetscErrorCode ierr; 21951d098868SHong Zhang PetscInt n = A->rmap->n; 21968fc3a347SHong Zhang const PetscInt *ai = a->i,*aj = a->j,*vi; 21971d098868SHong Zhang PetscScalar *x,sum; 21981d098868SHong Zhang const PetscScalar *b; 21991d098868SHong Zhang const MatScalar *aa = a->a,*v; 22008fc3a347SHong Zhang PetscInt i,nz; 22011d098868SHong Zhang 22021d098868SHong Zhang PetscFunctionBegin; 22031d098868SHong Zhang if (!n) PetscFunctionReturn(0); 22041d098868SHong Zhang 22051d098868SHong Zhang ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 22061d098868SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 22071d098868SHong Zhang 22081d098868SHong Zhang /* forward solve the lower triangular */ 22091d098868SHong Zhang x[0] = b[0]; 22101d098868SHong Zhang v = aa; 22111d098868SHong Zhang vi = aj; 22121d098868SHong Zhang for (i=1; i<n; i++) { 22131d098868SHong Zhang nz = ai[i+1] - ai[i]; 22141d098868SHong Zhang sum = b[i]; 2215003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 2216e09e08ccSBarry Smith /* while (nz--) sum -= *v++ * x[*vi++];*/ 2217e0e43300SBarry Smith v += nz; 2218e0e43300SBarry Smith vi += nz; 22191d098868SHong Zhang x[i] = sum; 22201d098868SHong Zhang } 22211d098868SHong Zhang 22221d098868SHong Zhang /* backward solve the upper triangular */ 22238fc3a347SHong Zhang v = aa + ai[n+1]; 22248fc3a347SHong Zhang vi = aj + ai[n+1]; 22251d098868SHong Zhang for (i=n-1; i>=0; i--){ 22268fc3a347SHong Zhang nz = ai[2*n-i +1] - ai[2*n-i]-1; 22271d098868SHong Zhang sum = x[i]; 2228003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 2229e09e08ccSBarry Smith /* while (nz--) sum -= *v++ * x[*vi++]; */ 2230e0e43300SBarry Smith v += nz; 22318fc3a347SHong Zhang vi += nz; vi++; 2232fe31b70dSHong Zhang x[i] = *v++ *sum; /* x[i]=aa[adiag[i]]*sum; v++; */ 22331d098868SHong Zhang } 22341d098868SHong Zhang 22351d098868SHong Zhang ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 22361d098868SHong Zhang ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 22371d098868SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 22381d098868SHong Zhang PetscFunctionReturn(0); 22391d098868SHong Zhang } 22401d098868SHong Zhang 22411d098868SHong Zhang #undef __FUNCT__ 22421d098868SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_iludt" 22431d098868SHong Zhang PetscErrorCode MatSolve_SeqAIJ_iludt(Mat A,Vec bb,Vec xx) 22441d098868SHong Zhang { 22451d098868SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 22461d098868SHong Zhang IS iscol = a->col,isrow = a->row; 22471d098868SHong Zhang PetscErrorCode ierr; 22481d098868SHong Zhang PetscInt i,n=A->rmap->n,*vi,*ai = a->i,*aj = a->j,*adiag=a->diag; 22491d098868SHong Zhang PetscInt nz; 22501d098868SHong Zhang const PetscInt *rout,*cout,*r,*c; 22511d098868SHong Zhang PetscScalar *x,*tmp,*tmps; 22521d098868SHong Zhang const PetscScalar *b; 22531d098868SHong Zhang const MatScalar *aa = a->a,*v; 22541d098868SHong Zhang 22551d098868SHong Zhang PetscFunctionBegin; 22561d098868SHong Zhang if (!n) PetscFunctionReturn(0); 22571d098868SHong Zhang 22581d098868SHong Zhang ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 22591d098868SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 22601d098868SHong Zhang tmp = a->solve_work; 22611d098868SHong Zhang 22621d098868SHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 22631d098868SHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 22641d098868SHong Zhang 22651d098868SHong Zhang /* forward solve the lower triangular */ 22661d098868SHong Zhang tmp[0] = b[*r++]; 22671d098868SHong Zhang tmps = tmp; 22681d098868SHong Zhang v = aa; 22691d098868SHong Zhang vi = aj; 22701d098868SHong Zhang for (i=1; i<n; i++) { 22711d098868SHong Zhang nz = ai[i+1] - ai[i]; 22721d098868SHong Zhang tmp[i] = b[*r++]; 2273003131ecSBarry Smith PetscSparseDenseMinusDot(tmp[i],tmps,v,vi,nz); 22741d098868SHong Zhang v += nz; vi += nz; 22751d098868SHong Zhang } 22761d098868SHong Zhang 22771d098868SHong Zhang /* backward solve the upper triangular */ 22781d098868SHong Zhang v = aa + adiag[n] + 1; 22791d098868SHong Zhang vi = aj + adiag[n] + 1; 22801d098868SHong Zhang for (i=n-1; i>=0; i--){ 22811d098868SHong Zhang nz = adiag[i] - adiag[i+1] - 1; 2282003131ecSBarry Smith PetscSparseDenseMinusDot(tmp[i],tmps,v,vi,nz); 22831d098868SHong Zhang x[*c--] = tmp[i] = tmp[i]*aa[adiag[i]]; 22841d098868SHong Zhang v += nz+1; vi += nz+1; 22851d098868SHong Zhang } 22861d098868SHong Zhang 22871d098868SHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 22881d098868SHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 22891d098868SHong Zhang ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 22901d098868SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 22911d098868SHong Zhang ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr); 22921d098868SHong Zhang PetscFunctionReturn(0); 22931d098868SHong Zhang } 22941d098868SHong Zhang 22951d098868SHong Zhang #undef __FUNCT__ 22961d098868SHong Zhang #define __FUNCT__ "MatILUDTFactor_SeqAIJ" 22971d098868SHong Zhang PetscErrorCode MatILUDTFactor_SeqAIJ(Mat A,IS isrow,IS iscol,const MatFactorInfo *info,Mat *fact) 22981d098868SHong Zhang { 22991d098868SHong Zhang Mat B = *fact; 2300599ef60dSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b; 2301599ef60dSHong Zhang IS isicol; 2302599ef60dSHong Zhang PetscErrorCode ierr; 23031d098868SHong Zhang const PetscInt *r,*ic; 23041d098868SHong Zhang PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j,*ajtmp,*adiag; 2305dc3a2fd3SHong Zhang PetscInt *bi,*bj,*bdiag,*bdiag_rev; 23061d098868SHong Zhang PetscInt row,nzi,nzi_bl,nzi_bu,*im,dtcount,nzi_al,nzi_au; 23071d098868SHong Zhang PetscInt nlnk,*lnk; 23081d098868SHong Zhang PetscBT lnkbt; 23091d098868SHong Zhang PetscTruth row_identity,icol_identity,both_identity; 23108aee2decSHong Zhang MatScalar *aatmp,*pv,*batmp,*ba,*rtmp,*pc,multiplier,*vtmp,diag_tmp; 23111d098868SHong Zhang const PetscInt *ics; 23121d098868SHong Zhang PetscInt j,nz,*pj,*bjtmp,k,ncut,*jtmp; 23131d098868SHong Zhang PetscReal dt=info->dt,shift=info->shiftinblocks; 23141d098868SHong Zhang PetscInt nnz_max; 2315599ef60dSHong Zhang PetscTruth missing; 2316599ef60dSHong Zhang 2317599ef60dSHong Zhang PetscFunctionBegin; 23181d098868SHong Zhang /* ------- symbolic factorization, can be reused ---------*/ 23191d098868SHong Zhang ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr); 23201d098868SHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",i); 23211d098868SHong Zhang adiag=a->diag; 2322599ef60dSHong Zhang 2323599ef60dSHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 2324599ef60dSHong Zhang 2325599ef60dSHong Zhang /* bdiag is location of diagonal in factor */ 2326a6226a1aSHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 2327a6226a1aSHong Zhang bdiag_rev = bdiag + n+1; 2328599ef60dSHong Zhang 23291d098868SHong Zhang /* allocate row pointers bi */ 23308fc3a347SHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 23311d098868SHong Zhang 23321d098868SHong Zhang /* allocate bj and ba; max num of nonzero entries is (ai[n]+2*n*dtcount+2) */ 2333599ef60dSHong Zhang dtcount = (PetscInt)info->dtcount; 2334393d3a68SHong Zhang if (dtcount > n-1) dtcount = n-1; /* diagonal is excluded */ 23351d098868SHong Zhang nnz_max = ai[n]+2*n*dtcount+2; 23368fc3a347SHong Zhang 23378fc3a347SHong Zhang ierr = PetscMalloc((nnz_max+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 23388fc3a347SHong Zhang ierr = PetscMalloc((nnz_max+1)*sizeof(MatScalar),&ba);CHKERRQ(ierr); 2339599ef60dSHong Zhang 2340599ef60dSHong Zhang /* put together the new matrix */ 2341599ef60dSHong Zhang ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 2342599ef60dSHong Zhang ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 2343599ef60dSHong Zhang b = (Mat_SeqAIJ*)(B)->data; 2344599ef60dSHong Zhang b->free_a = PETSC_TRUE; 2345599ef60dSHong Zhang b->free_ij = PETSC_TRUE; 2346599ef60dSHong Zhang b->singlemalloc = PETSC_FALSE; 2347599ef60dSHong Zhang b->a = ba; 2348599ef60dSHong Zhang b->j = bj; 2349599ef60dSHong Zhang b->i = bi; 2350599ef60dSHong Zhang b->diag = bdiag; 2351599ef60dSHong Zhang b->ilen = 0; 2352599ef60dSHong Zhang b->imax = 0; 2353599ef60dSHong Zhang b->row = isrow; 2354599ef60dSHong Zhang b->col = iscol; 2355599ef60dSHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 2356599ef60dSHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 2357599ef60dSHong Zhang b->icol = isicol; 2358599ef60dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2359599ef60dSHong Zhang 23601d098868SHong Zhang ierr = PetscLogObjectMemory(B,nnz_max*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 23611d098868SHong Zhang b->maxnz = nnz_max; 2362599ef60dSHong Zhang 2363599ef60dSHong Zhang (B)->factor = MAT_FACTOR_ILUDT; 2364599ef60dSHong Zhang (B)->info.factor_mallocs = 0; 23651d098868SHong Zhang (B)->info.fill_ratio_given = ((PetscReal)nnz_max)/((PetscReal)ai[n]); 23661d098868SHong Zhang CHKMEMQ; 23671d098868SHong Zhang /* ------- end of symbolic factorization ---------*/ 2368599ef60dSHong Zhang 2369599ef60dSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 2370599ef60dSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 2371599ef60dSHong Zhang ics = ic; 2372599ef60dSHong Zhang 2373599ef60dSHong Zhang /* linked list for storing column indices of the active row */ 2374599ef60dSHong Zhang nlnk = n + 1; 2375599ef60dSHong Zhang ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 23761d098868SHong Zhang 23771d098868SHong Zhang /* im: used by PetscLLAddSortedLU(); jtmp: working array for column indices of active row */ 23781d098868SHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt),&im);CHKERRQ(ierr); 23791d098868SHong Zhang jtmp = im + n; 23801d098868SHong Zhang /* rtmp, vtmp: working arrays for sparse and contiguous row entries of active row */ 23818369b28dSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 23828aee2decSHong Zhang ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr); 23838369b28dSHong Zhang vtmp = rtmp + n; 2384599ef60dSHong Zhang 2385599ef60dSHong Zhang bi[0] = 0; 23868fc3a347SHong Zhang bdiag[0] = nnz_max-1; /* location of diag[0] in factor B */ 2387dc3a2fd3SHong Zhang bdiag_rev[n] = bdiag[0]; 23888fc3a347SHong Zhang bi[2*n+1] = bdiag[0]+1; /* endof bj and ba array */ 2389599ef60dSHong Zhang for (i=0; i<n; i++) { 2390599ef60dSHong Zhang /* copy initial fill into linked list */ 2391599ef60dSHong Zhang nzi = 0; /* nonzeros for active row i */ 23928369b28dSHong Zhang nzi = ai[r[i]+1] - ai[r[i]]; 23938369b28dSHong 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); 23948369b28dSHong Zhang nzi_al = adiag[r[i]] - ai[r[i]]; 23958369b28dSHong Zhang nzi_au = ai[r[i]+1] - adiag[r[i]] -1; 2396599ef60dSHong Zhang ajtmp = aj + ai[r[i]]; 23978369b28dSHong Zhang ierr = PetscLLAddPerm(nzi,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 2398599ef60dSHong Zhang 2399599ef60dSHong Zhang /* load in initial (unfactored row) */ 24001d098868SHong Zhang aatmp = a->a + ai[r[i]]; 24018369b28dSHong Zhang for (j=0; j<nzi; j++) { 24021d098868SHong Zhang rtmp[ics[*ajtmp++]] = *aatmp++; 2403599ef60dSHong Zhang } 2404599ef60dSHong Zhang 2405599ef60dSHong Zhang /* add pivot rows into linked list */ 2406599ef60dSHong Zhang row = lnk[n]; 2407599ef60dSHong Zhang while (row < i ) { 24081d098868SHong Zhang nzi_bl = bi[row+1] - bi[row] + 1; 24091d098868SHong Zhang bjtmp = bj + bdiag[row+1]+1; /* points to 1st column next to the diagonal in U */ 24101d098868SHong Zhang ierr = PetscLLAddSortedLU(bjtmp,row,nlnk,lnk,lnkbt,i,nzi_bl,im);CHKERRQ(ierr); 2411599ef60dSHong Zhang nzi += nlnk; 2412599ef60dSHong Zhang row = lnk[row]; 2413599ef60dSHong Zhang } 2414599ef60dSHong Zhang 24158369b28dSHong Zhang /* copy data from lnk into jtmp, then initialize lnk */ 24168369b28dSHong Zhang ierr = PetscLLClean(n,n,nzi,lnk,jtmp,lnkbt);CHKERRQ(ierr); 2417599ef60dSHong Zhang 2418599ef60dSHong Zhang /* numerical factorization */ 24198369b28dSHong Zhang bjtmp = jtmp; 2420599ef60dSHong Zhang row = *bjtmp++; /* 1st pivot row */ 2421599ef60dSHong Zhang while ( row < i ) { 2422599ef60dSHong Zhang pc = rtmp + row; 24233c2a7987SHong Zhang pv = ba + bdiag[row]; /* 1./(diag of the pivot row) */ 24243c2a7987SHong Zhang multiplier = (*pc) * (*pv); 2425599ef60dSHong Zhang *pc = multiplier; 24263c2a7987SHong Zhang if (PetscAbsScalar(*pc) > dt){ /* apply tolerance dropping rule */ 24271d098868SHong Zhang pj = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */ 24281d098868SHong Zhang pv = ba + bdiag[row+1] + 1; 24291d098868SHong Zhang /* if (multiplier < -1.0 or multiplier >1.0) printf("row/prow %d, %d, multiplier %g\n",i,row,multiplier); */ 24301d098868SHong Zhang nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */ 24311d098868SHong Zhang for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++); 2432dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 2433599ef60dSHong Zhang } 2434599ef60dSHong Zhang row = *bjtmp++; 2435599ef60dSHong Zhang } 2436599ef60dSHong Zhang 24378369b28dSHong Zhang /* copy sparse rtmp into contiguous vtmp; separate L and U part */ 24388aee2decSHong Zhang diag_tmp = rtmp[i]; /* save diagonal value - may not needed?? */ 24398369b28dSHong Zhang nzi_bl = 0; j = 0; 24408369b28dSHong Zhang while (jtmp[j] < i){ /* Note: jtmp is sorted */ 24418aee2decSHong Zhang vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0; 24428369b28dSHong Zhang nzi_bl++; j++; 24438369b28dSHong Zhang } 24448369b28dSHong Zhang nzi_bu = nzi - nzi_bl -1; 24458369b28dSHong Zhang while (j < nzi){ 24468aee2decSHong Zhang vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0; 24478369b28dSHong Zhang j++; 24488369b28dSHong Zhang } 24498369b28dSHong Zhang 2450599ef60dSHong Zhang bjtmp = bj + bi[i]; 2451599ef60dSHong Zhang batmp = ba + bi[i]; 24528369b28dSHong Zhang /* apply level dropping rule to L part */ 24538369b28dSHong Zhang ncut = nzi_al + dtcount; 24548369b28dSHong Zhang if (ncut < nzi_bl){ 24558369b28dSHong Zhang ierr = PetscSortSplit(ncut,nzi_bl,vtmp,jtmp);CHKERRQ(ierr); 24568369b28dSHong Zhang ierr = PetscSortIntWithScalarArray(ncut,jtmp,vtmp);CHKERRQ(ierr); 2457599ef60dSHong Zhang } else { 24588369b28dSHong Zhang ncut = nzi_bl; 24598369b28dSHong Zhang } 24608369b28dSHong Zhang for (j=0; j<ncut; j++){ 24618369b28dSHong Zhang bjtmp[j] = jtmp[j]; 24628369b28dSHong Zhang batmp[j] = vtmp[j]; 24636da515a1SHong Zhang /* printf(" (%d,%g),",bjtmp[j],batmp[j]); */ 24648369b28dSHong Zhang } 24651d098868SHong Zhang bi[i+1] = bi[i] + ncut; 24668369b28dSHong Zhang nzi = ncut + 1; 24678369b28dSHong Zhang 24688369b28dSHong Zhang /* apply level dropping rule to U part */ 24698369b28dSHong Zhang ncut = nzi_au + dtcount; 24708369b28dSHong Zhang if (ncut < nzi_bu){ 24718369b28dSHong Zhang ierr = PetscSortSplit(ncut,nzi_bu,vtmp+nzi_bl+1,jtmp+nzi_bl+1);CHKERRQ(ierr); 24728369b28dSHong Zhang ierr = PetscSortIntWithScalarArray(ncut,jtmp+nzi_bl+1,vtmp+nzi_bl+1);CHKERRQ(ierr); 24738369b28dSHong Zhang } else { 24748369b28dSHong Zhang ncut = nzi_bu; 24758369b28dSHong Zhang } 24768369b28dSHong Zhang nzi += ncut; 24771d098868SHong Zhang 24781d098868SHong Zhang /* mark bdiagonal */ 24791d098868SHong Zhang bdiag[i+1] = bdiag[i] - (ncut + 1); 2480dc3a2fd3SHong Zhang bdiag_rev[n-i-1] = bdiag[i+1]; 24818fc3a347SHong Zhang bi[2*n - i] = bi[2*n - i +1] - (ncut + 1); 24821d098868SHong Zhang bjtmp = bj + bdiag[i]; 24831d098868SHong Zhang batmp = ba + bdiag[i]; 24841d098868SHong Zhang *bjtmp = i; 24858aee2decSHong Zhang *batmp = diag_tmp; /* rtmp[i]; */ 2486c9c72f8fSHong Zhang if (*batmp == 0.0) { 2487c9c72f8fSHong Zhang *batmp = dt+shift; 2488bd1bc851SBarry Smith /* printf(" row %d add shift %g\n",i,shift); */ 2489c9c72f8fSHong Zhang } 2490b78a477dSHong Zhang *batmp = 1.0/(*batmp); /* invert diagonal entries for simplier triangular solves */ 24916da515a1SHong Zhang /* printf(" (%d,%g),",*bjtmp,*batmp); */ 24921d098868SHong Zhang 24931d098868SHong Zhang bjtmp = bj + bdiag[i+1]+1; 24941d098868SHong Zhang batmp = ba + bdiag[i+1]+1; 24958369b28dSHong Zhang for (k=0; k<ncut; k++){ 24961d098868SHong Zhang bjtmp[k] = jtmp[nzi_bl+1+k]; 24971d098868SHong Zhang batmp[k] = vtmp[nzi_bl+1+k]; 24986da515a1SHong Zhang /* printf(" (%d,%g),",bjtmp[k],batmp[k]); */ 2499599ef60dSHong Zhang } 25006da515a1SHong Zhang /* printf("\n"); */ 2501599ef60dSHong Zhang 2502599ef60dSHong Zhang im[i] = nzi; /* used by PetscLLAddSortedLU() */ 2503599ef60dSHong Zhang /* 25041d098868SHong Zhang printf("row %d: bi %d, bdiag %d\n",i,bi[i],bdiag[i]); 25058369b28dSHong Zhang printf(" ----------------------------\n"); 2506599ef60dSHong Zhang */ 25078369b28dSHong Zhang } /* for (i=0; i<n; i++) */ 25081d098868SHong Zhang /* printf("end of L %d, beginning of U %d\n",bi[n],bdiag[n]); */ 25091d098868SHong 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]); 2510599ef60dSHong Zhang 2511599ef60dSHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 2512599ef60dSHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 2513599ef60dSHong Zhang 2514599ef60dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 2515599ef60dSHong Zhang ierr = PetscFree(im);CHKERRQ(ierr); 2516599ef60dSHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 2517599ef60dSHong Zhang 2518599ef60dSHong Zhang ierr = PetscLogFlops(B->cmap->n);CHKERRQ(ierr); 25191d098868SHong Zhang b->maxnz = b->nz = bi[n] + bdiag[0] - bdiag[n]; 2520599ef60dSHong Zhang 2521599ef60dSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 2522599ef60dSHong Zhang ierr = ISIdentity(isicol,&icol_identity);CHKERRQ(ierr); 2523599ef60dSHong Zhang both_identity = (PetscTruth) (row_identity && icol_identity); 2524599ef60dSHong Zhang if (row_identity && icol_identity) { 25251d098868SHong Zhang B->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_iludt; 2526599ef60dSHong Zhang } else { 25271d098868SHong Zhang B->ops->solve = MatSolve_SeqAIJ_iludt; 2528599ef60dSHong Zhang } 2529599ef60dSHong Zhang 2530b78a477dSHong Zhang B->ops->lufactorsymbolic = MatILUDTFactorSymbolic_SeqAIJ; 2531b78a477dSHong Zhang B->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ; 25321d098868SHong Zhang B->ops->solveadd = 0; 25331d098868SHong Zhang B->ops->solvetranspose = 0; 25341d098868SHong Zhang B->ops->solvetransposeadd = 0; 25351d098868SHong Zhang B->ops->matsolve = 0; 2536599ef60dSHong Zhang B->assembled = PETSC_TRUE; 2537599ef60dSHong Zhang B->preallocated = PETSC_TRUE; 2538599ef60dSHong Zhang PetscFunctionReturn(0); 2539599ef60dSHong Zhang } 2540599ef60dSHong Zhang 25413c2a7987SHong Zhang /* a wraper of MatILUDTFactor_SeqAIJ() */ 25423c2a7987SHong Zhang #undef __FUNCT__ 25433c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorSymbolic_SeqAIJ" 25443c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS row,IS col,const MatFactorInfo *info) 25453c2a7987SHong Zhang { 25463c2a7987SHong Zhang PetscErrorCode ierr; 25473c2a7987SHong Zhang 25483c2a7987SHong Zhang PetscFunctionBegin; 25493c2a7987SHong Zhang ierr = MatILUDTFactor_SeqAIJ(A,row,col,info,&fact);CHKERRQ(ierr); 25503c2a7987SHong Zhang 25513c2a7987SHong Zhang fact->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ; 25523c2a7987SHong Zhang PetscFunctionReturn(0); 25533c2a7987SHong Zhang } 25543c2a7987SHong Zhang 25553c2a7987SHong Zhang /* 25563c2a7987SHong Zhang same as MatLUFactorNumeric_SeqAIJ(), except using contiguous array matrix factors 25573c2a7987SHong Zhang - intend to replace existing MatLUFactorNumeric_SeqAIJ() 25583c2a7987SHong Zhang */ 25593c2a7987SHong Zhang #undef __FUNCT__ 25603c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorNumeric_SeqAIJ" 25613c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorNumeric_SeqAIJ(Mat fact,Mat A,const MatFactorInfo *info) 25623c2a7987SHong Zhang { 25633c2a7987SHong Zhang Mat C=fact; 25643c2a7987SHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 25653c2a7987SHong Zhang IS isrow = b->row,isicol = b->icol; 25663c2a7987SHong Zhang PetscErrorCode ierr; 25673c2a7987SHong Zhang const PetscInt *r,*ic,*ics; 2568b78a477dSHong Zhang PetscInt i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 2569b78a477dSHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzl,nzu,row,*bdiag = b->diag,*pj; 25703c2a7987SHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,*aa=a->a; 2571b78a477dSHong Zhang PetscReal dt=info->dt,shift=info->shiftinblocks; 2572b78a477dSHong Zhang PetscTruth row_identity, col_identity; 25733c2a7987SHong Zhang 25743c2a7987SHong Zhang PetscFunctionBegin; 25753c2a7987SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 25763c2a7987SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 2577b78a477dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 25783c2a7987SHong Zhang ics = ic; 25793c2a7987SHong Zhang 25803c2a7987SHong Zhang for (i=0; i<n; i++){ 2581b78a477dSHong Zhang /* initialize rtmp array */ 2582b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; /* num of nozeros in L(i,:) */ 25833c2a7987SHong Zhang bjtmp = bj + bi[i]; 2584b78a477dSHong Zhang for (j=0; j<nzl; j++) rtmp[*bjtmp++] = 0.0; 2585b78a477dSHong Zhang rtmp[i] = 0.0; 2586b78a477dSHong Zhang nzu = bdiag[i] - bdiag[i+1]; /* num of nozeros in U(i,:) */ 2587b78a477dSHong Zhang bjtmp = bj + bdiag[i+1] + 1; 2588b78a477dSHong Zhang for (j=0; j<nzu; j++) rtmp[*bjtmp++] = 0.0; 25893c2a7987SHong Zhang 2590b78a477dSHong Zhang /* load in initial unfactored row of A */ 25916da515a1SHong Zhang /* printf("row %d\n",i); */ 25923c2a7987SHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 25933c2a7987SHong Zhang ajtmp = aj + ai[r[i]]; 25943c2a7987SHong Zhang v = aa + ai[r[i]]; 25953c2a7987SHong Zhang for (j=0; j<nz; j++) { 2596b78a477dSHong Zhang rtmp[ics[*ajtmp++]] = v[j]; 25976da515a1SHong Zhang /* printf(" (%d,%g),",ics[ajtmp[j]],rtmp[ics[ajtmp[j]]]); */ 25983c2a7987SHong Zhang } 25996da515a1SHong Zhang /* printf("\n"); */ 26003c2a7987SHong Zhang 2601b78a477dSHong Zhang /* numerical factorization */ 2602b78a477dSHong Zhang bjtmp = bj + bi[i]; /* point to 1st entry of L(i,:) */ 2603b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; /* num of entries in L(i,:) */ 2604b78a477dSHong Zhang k = 0; 2605b78a477dSHong Zhang while (k < nzl){ 26063c2a7987SHong Zhang row = *bjtmp++; 26076da515a1SHong Zhang /* printf(" prow %d\n",row); */ 26083c2a7987SHong Zhang pc = rtmp + row; 2609b78a477dSHong Zhang pv = b->a + bdiag[row]; /* 1./(diag of the pivot row) */ 2610b78a477dSHong Zhang multiplier = (*pc) * (*pv); 26113c2a7987SHong Zhang *pc = multiplier; 2612b78a477dSHong Zhang if (PetscAbsScalar(multiplier) > dt){ 2613b78a477dSHong Zhang pj = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */ 2614b78a477dSHong Zhang pv = b->a + bdiag[row+1] + 1; 2615b78a477dSHong Zhang nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */ 2616b78a477dSHong Zhang for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++); 26176da515a1SHong Zhang /* ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); */ 26183c2a7987SHong Zhang } 2619b78a477dSHong Zhang k++; 26203c2a7987SHong Zhang } 26213c2a7987SHong Zhang 2622b78a477dSHong Zhang /* finished row so stick it into b->a */ 2623b78a477dSHong Zhang /* L-part */ 2624b78a477dSHong Zhang pv = b->a + bi[i] ; 2625b78a477dSHong Zhang pj = bj + bi[i] ; 2626b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; 2627b78a477dSHong Zhang for (j=0; j<nzl; j++) { 2628b78a477dSHong Zhang pv[j] = rtmp[pj[j]]; 26296da515a1SHong Zhang /* printf(" (%d,%g),",pj[j],pv[j]); */ 26303c2a7987SHong Zhang } 2631b78a477dSHong Zhang 2632b78a477dSHong Zhang /* diagonal: invert diagonal entries for simplier triangular solves */ 2633b78a477dSHong Zhang if (rtmp[i] == 0.0) rtmp[i] = dt+shift; 2634b78a477dSHong Zhang b->a[bdiag[i]] = 1.0/rtmp[i]; 26356da515a1SHong Zhang /* printf(" (%d,%g),",i,b->a[bdiag[i]]); */ 2636b78a477dSHong Zhang 2637b78a477dSHong Zhang /* U-part */ 2638b78a477dSHong Zhang pv = b->a + bdiag[i+1] + 1; 2639b78a477dSHong Zhang pj = bj + bdiag[i+1] + 1; 2640b78a477dSHong Zhang nzu = bdiag[i] - bdiag[i+1] - 1; 2641b78a477dSHong Zhang for (j=0; j<nzu; j++) { 2642b78a477dSHong Zhang pv[j] = rtmp[pj[j]]; 26436da515a1SHong Zhang /* printf(" (%d,%g),",pj[j],pv[j]); */ 2644b78a477dSHong Zhang } 26456da515a1SHong Zhang /* printf("\n"); */ 2646b78a477dSHong Zhang } 2647b78a477dSHong Zhang 26483c2a7987SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 26493c2a7987SHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 26503c2a7987SHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 2651b78a477dSHong Zhang 26523c2a7987SHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 26533c2a7987SHong Zhang ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 26543c2a7987SHong Zhang if (row_identity && col_identity) { 2655b78a477dSHong Zhang C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_iludt; 26563c2a7987SHong Zhang } else { 2657b78a477dSHong Zhang C->ops->solve = MatSolve_SeqAIJ_iludt; 26583c2a7987SHong Zhang } 2659b78a477dSHong Zhang C->ops->solveadd = 0; 2660b78a477dSHong Zhang C->ops->solvetranspose = 0; 2661b78a477dSHong Zhang C->ops->solvetransposeadd = 0; 2662b78a477dSHong Zhang C->ops->matsolve = 0; 26633c2a7987SHong Zhang C->assembled = PETSC_TRUE; 26643c2a7987SHong Zhang C->preallocated = PETSC_TRUE; 26653c2a7987SHong Zhang ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 26663c2a7987SHong Zhang PetscFunctionReturn(0); 26673c2a7987SHong Zhang } 2668