1be1d678aSKris Buschelman #define PETSCMAT_DLL 2289bc588SBarry Smith 3b377110cSBarry Smith 47c4f633dSBarry Smith #include "../src/mat/impls/aij/seq/aij.h" 5783ef271SHong Zhang #include "../src/mat/impls/sbaij/seq/sbaij.h" 61393bc97SHong Zhang #include "petscbt.h" 77c4f633dSBarry Smith #include "../src/mat/utils/freespace.h" 83b2fbd54SBarry Smith 9f6a26d55SMatthew Knepley EXTERN_C_BEGIN 104a2ae208SSatish Balay #undef __FUNCT__ 114a2ae208SSatish Balay #define __FUNCT__ "MatOrdering_Flow_SeqAIJ" 128fa24674SBarry Smith /* 138fa24674SBarry Smith Computes an ordering to get most of the large numerical values in the lower triangular part of the matrix 148fa24674SBarry Smith */ 15dfbe8321SBarry Smith PetscErrorCode MatOrdering_Flow_SeqAIJ(Mat mat,const MatOrderingType type,IS *irow,IS *icol) 163b2fbd54SBarry Smith { 178fa24674SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)mat->data; 188fa24674SBarry Smith PetscErrorCode ierr; 19889a8dedSBarry Smith PetscInt i,j,jj,k, kk,n = mat->rmap->n, current = 0, newcurrent = 0,*order; 208fa24674SBarry Smith const PetscInt *ai = a->i, *aj = a->j; 218fa24674SBarry Smith const PetscScalar *aa = a->a; 228fa24674SBarry Smith PetscTruth *done; 23889a8dedSBarry Smith PetscReal best,past = 0,future; 243a40ed3dSBarry Smith 258fa24674SBarry Smith PetscFunctionBegin; 268fa24674SBarry Smith /* pick initial row */ 278fa24674SBarry Smith best = -1; 288fa24674SBarry Smith for (i=0; i<n; i++) { 2975567043SBarry Smith future = 0.0; 308fa24674SBarry Smith for (j=ai[i]; j<ai[i+1]; j++) { 318fa24674SBarry Smith if (aj[j] != i) future += PetscAbsScalar(aa[j]); else past = PetscAbsScalar(aa[j]); 328fa24674SBarry Smith } 338fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 348fa24674SBarry Smith if (past/future > best) { 358fa24674SBarry Smith best = past/future; 368fa24674SBarry Smith current = i; 378fa24674SBarry Smith } 388fa24674SBarry Smith } 398fa24674SBarry Smith 408fa24674SBarry Smith ierr = PetscMalloc(n*sizeof(PetscTruth),&done);CHKERRQ(ierr); 418fa24674SBarry Smith ierr = PetscMemzero(done,n*sizeof(PetscTruth));CHKERRQ(ierr); 420e83c824SBarry Smith ierr = PetscMalloc(n*sizeof(PetscInt),&order);CHKERRQ(ierr); 438fa24674SBarry Smith order[0] = current; 448fa24674SBarry Smith for (i=0; i<n-1; i++) { 458fa24674SBarry Smith done[current] = PETSC_TRUE; 468fa24674SBarry Smith best = -1; 478fa24674SBarry Smith /* loop over all neighbors of current pivot */ 488fa24674SBarry Smith for (j=ai[current]; j<ai[current+1]; j++) { 498fa24674SBarry Smith jj = aj[j]; 508fa24674SBarry Smith if (done[jj]) continue; 518fa24674SBarry Smith /* loop over columns of potential next row computing weights for below and above diagonal */ 528fa24674SBarry Smith past = future = 0.0; 538fa24674SBarry Smith for (k=ai[jj]; k<ai[jj+1]; k++) { 548fa24674SBarry Smith kk = aj[k]; 558fa24674SBarry Smith if (done[kk]) past += PetscAbsScalar(aa[k]); 568fa24674SBarry Smith else if (kk != jj) future += PetscAbsScalar(aa[k]); 578fa24674SBarry Smith } 588fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 598fa24674SBarry Smith if (past/future > best) { 608fa24674SBarry Smith best = past/future; 618fa24674SBarry Smith newcurrent = jj; 628fa24674SBarry Smith } 638fa24674SBarry Smith } 648fa24674SBarry Smith if (best == -1) { /* no neighbors to select from so select best of all that remain */ 658fa24674SBarry Smith best = -1; 668fa24674SBarry Smith for (k=0; k<n; k++) { 678fa24674SBarry Smith if (done[k]) continue; 6875567043SBarry Smith future = 0.0; 6975567043SBarry Smith past = 0.0; 708fa24674SBarry Smith for (j=ai[k]; j<ai[k+1]; j++) { 718fa24674SBarry Smith kk = aj[j]; 728fa24674SBarry Smith if (done[kk]) past += PetscAbsScalar(aa[j]); 738fa24674SBarry Smith else if (kk != k) future += PetscAbsScalar(aa[j]); 748fa24674SBarry Smith } 758fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 768fa24674SBarry Smith if (past/future > best) { 778fa24674SBarry Smith best = past/future; 788fa24674SBarry Smith newcurrent = k; 798fa24674SBarry Smith } 808fa24674SBarry Smith } 818fa24674SBarry Smith } 828fa24674SBarry Smith if (current == newcurrent) SETERRQ(PETSC_ERR_PLIB,"newcurrent cannot be current"); 838fa24674SBarry Smith current = newcurrent; 848fa24674SBarry Smith order[i+1] = current; 858fa24674SBarry Smith } 868fa24674SBarry Smith ierr = ISCreateGeneral(PETSC_COMM_SELF,n,order,irow);CHKERRQ(ierr); 878fa24674SBarry Smith *icol = *irow; 888fa24674SBarry Smith ierr = PetscObjectReference((PetscObject)*irow);CHKERRQ(ierr); 898fa24674SBarry Smith ierr = PetscFree(done);CHKERRQ(ierr); 908fa24674SBarry Smith ierr = PetscFree(order);CHKERRQ(ierr); 91d64ed03dSBarry Smith PetscFunctionReturn(0); 923b2fbd54SBarry Smith } 93f6a26d55SMatthew Knepley EXTERN_C_END 943b2fbd54SBarry Smith 95e631078cSBarry Smith EXTERN_C_BEGIN 964a2ae208SSatish Balay #undef __FUNCT__ 97db4efbfdSBarry Smith #define __FUNCT__ "MatGetFactorAvailable_seqaij_petsc" 98db4efbfdSBarry Smith PetscErrorCode MatGetFactorAvailable_seqaij_petsc(Mat A,MatFactorType ftype,PetscTruth *flg) 99db4efbfdSBarry Smith { 100db4efbfdSBarry Smith PetscFunctionBegin; 101db4efbfdSBarry Smith *flg = PETSC_TRUE; 102db4efbfdSBarry Smith PetscFunctionReturn(0); 103db4efbfdSBarry Smith } 104db4efbfdSBarry Smith EXTERN_C_END 105db4efbfdSBarry Smith 106db4efbfdSBarry Smith EXTERN_C_BEGIN 107db4efbfdSBarry Smith #undef __FUNCT__ 108b24902e0SBarry Smith #define __FUNCT__ "MatGetFactor_seqaij_petsc" 109b24902e0SBarry Smith PetscErrorCode MatGetFactor_seqaij_petsc(Mat A,MatFactorType ftype,Mat *B) 110b24902e0SBarry Smith { 111d0f46423SBarry Smith PetscInt n = A->rmap->n; 112b24902e0SBarry Smith PetscErrorCode ierr; 113b24902e0SBarry Smith 114b24902e0SBarry Smith PetscFunctionBegin; 115b24902e0SBarry Smith ierr = MatCreate(((PetscObject)A)->comm,B);CHKERRQ(ierr); 116b24902e0SBarry Smith ierr = MatSetSizes(*B,n,n,n,n);CHKERRQ(ierr); 117599ef60dSHong Zhang if (ftype == MAT_FACTOR_LU || ftype == MAT_FACTOR_ILU || ftype == MAT_FACTOR_ILUDT){ 118b24902e0SBarry Smith ierr = MatSetType(*B,MATSEQAIJ);CHKERRQ(ierr); 11935233d99SShri Abhyankar (*B)->ops->ilufactorsymbolic = MatILUFactorSymbolic_SeqAIJ; 12035233d99SShri Abhyankar (*B)->ops->lufactorsymbolic = MatLUFactorSymbolic_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); 12435233d99SShri Abhyankar (*B)->ops->iccfactorsymbolic = MatICCFactorSymbolic_SeqAIJ; 12535233d99SShri Abhyankar (*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__ 133ad04f41aSHong Zhang #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ_inplace" 134ad04f41aSHong Zhang PetscErrorCode MatLUFactorSymbolic_SeqAIJ_inplace(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 } 272ad04f41aSHong Zhang (B)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_inplace; 273ad04f41aSHong Zhang (B)->ops->solve = MatSolve_SeqAIJ_inplace; 274ad04f41aSHong Zhang (B)->ops->solvetranspose = MatSolveTranspose_SeqAIJ_inplace; 275db4efbfdSBarry Smith /* switch to inodes if appropriate */ 2764108e4d5SBarry Smith ierr = MatLUFactorSymbolic_SeqAIJ_Inode(B,A,isrow,iscol,info);CHKERRQ(ierr); 2773a40ed3dSBarry Smith PetscFunctionReturn(0); 278289bc588SBarry Smith } 2791393bc97SHong Zhang 280ce3d78c0SShri Abhyankar #undef __FUNCT__ 28135233d99SShri Abhyankar #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ" 28235233d99SShri Abhyankar PetscErrorCode MatLUFactorSymbolic_SeqAIJ(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 283ce3d78c0SShri Abhyankar { 284ce3d78c0SShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 285ce3d78c0SShri Abhyankar IS isicol; 286ce3d78c0SShri Abhyankar PetscErrorCode ierr; 287ce3d78c0SShri Abhyankar const PetscInt *r,*ic; 288ce3d78c0SShri Abhyankar PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j; 289ce3d78c0SShri Abhyankar PetscInt *bi,*bj,*ajtmp; 290ce3d78c0SShri Abhyankar PetscInt *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im; 291ce3d78c0SShri Abhyankar PetscReal f; 292ce3d78c0SShri Abhyankar PetscInt nlnk,*lnk,k,**bi_ptr; 293ce3d78c0SShri Abhyankar PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 294ce3d78c0SShri Abhyankar PetscBT lnkbt; 29535233d99SShri Abhyankar PetscTruth olddatastruct= PETSC_FALSE; 296ce3d78c0SShri Abhyankar 297ce3d78c0SShri Abhyankar PetscFunctionBegin; 29835233d99SShri Abhyankar ierr = PetscOptionsGetTruth(PETSC_NULL,"-lu_old",&olddatastruct,PETSC_NULL);CHKERRQ(ierr); 29935233d99SShri Abhyankar if(olddatastruct){ 300ad04f41aSHong Zhang ierr = MatLUFactorSymbolic_SeqAIJ_inplace(B,A,isrow,iscol,info);CHKERRQ(ierr); 301ad04f41aSHong Zhang PetscFunctionReturn(0); 302ad04f41aSHong Zhang } 303ce3d78c0SShri Abhyankar if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square"); 304ce3d78c0SShri Abhyankar ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 305ce3d78c0SShri Abhyankar ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 306ce3d78c0SShri Abhyankar ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 307ce3d78c0SShri Abhyankar 3081bfa06eaSJed Brown /* get new row and diagonal pointers, must be allocated separately because they will be given to the Mat_SeqAIJ and freed separately */ 3091bfa06eaSJed Brown ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 3101bfa06eaSJed Brown ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 311a6df321fSShri Abhyankar bi[0] = bdiag[0] = 0; 3129b48462bSShri Abhyankar 3139b48462bSShri Abhyankar /* linked list for storing column indices of the active row */ 3149b48462bSShri Abhyankar nlnk = n + 1; 3159b48462bSShri Abhyankar ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 3169b48462bSShri Abhyankar 3179b48462bSShri Abhyankar ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr); 3189b48462bSShri Abhyankar 3199b48462bSShri Abhyankar /* initial FreeSpace size is f*(ai[n]+1) */ 3209b48462bSShri Abhyankar f = info->fill; 3219b48462bSShri Abhyankar ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 3229b48462bSShri Abhyankar current_space = free_space; 3239b48462bSShri Abhyankar 3249b48462bSShri Abhyankar for (i=0; i<n; i++) { 3259b48462bSShri Abhyankar /* copy previous fill into linked list */ 3269b48462bSShri Abhyankar nzi = 0; 3279b48462bSShri Abhyankar nnz = ai[r[i]+1] - ai[r[i]]; 3289b48462bSShri Abhyankar if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i); 3299b48462bSShri Abhyankar ajtmp = aj + ai[r[i]]; 3309b48462bSShri Abhyankar ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 3319b48462bSShri Abhyankar nzi += nlnk; 3329b48462bSShri Abhyankar 3339b48462bSShri Abhyankar /* add pivot rows into linked list */ 3349b48462bSShri Abhyankar row = lnk[n]; 3359b48462bSShri Abhyankar while (row < i){ 3369b48462bSShri Abhyankar nzbd = bdiag[row] + 1; /* num of entries in the row with column index <= row */ 3379b48462bSShri Abhyankar ajtmp = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */ 3389b48462bSShri Abhyankar ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr); 3399b48462bSShri Abhyankar nzi += nlnk; 3409b48462bSShri Abhyankar row = lnk[row]; 3419b48462bSShri Abhyankar } 3429b48462bSShri Abhyankar bi[i+1] = bi[i] + nzi; 3439b48462bSShri Abhyankar im[i] = nzi; 3449b48462bSShri Abhyankar 3459b48462bSShri Abhyankar /* mark bdiag */ 3469b48462bSShri Abhyankar nzbd = 0; 3479b48462bSShri Abhyankar nnz = nzi; 3489b48462bSShri Abhyankar k = lnk[n]; 3499b48462bSShri Abhyankar while (nnz-- && k < i){ 3509b48462bSShri Abhyankar nzbd++; 3519b48462bSShri Abhyankar k = lnk[k]; 3529b48462bSShri Abhyankar } 3539b48462bSShri Abhyankar bdiag[i] = nzbd; /* note: bdiag[i] = nnzL as input for PetscFreeSpaceContiguous_LU() */ 3549b48462bSShri Abhyankar 3559b48462bSShri Abhyankar /* if free space is not available, make more free space */ 3569b48462bSShri Abhyankar if (current_space->local_remaining<nzi) { 3579b48462bSShri Abhyankar nnz = 2*(n - i)*nzi; /* estimated and max additional space needed */ 3589b48462bSShri Abhyankar ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 3599b48462bSShri Abhyankar reallocs++; 3609b48462bSShri Abhyankar } 3619b48462bSShri Abhyankar 3629b48462bSShri Abhyankar /* copy data into free space, then initialize lnk */ 3639b48462bSShri Abhyankar ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 3649b48462bSShri Abhyankar bi_ptr[i] = current_space->array; 3659b48462bSShri Abhyankar current_space->array += nzi; 3669b48462bSShri Abhyankar current_space->local_used += nzi; 3679b48462bSShri Abhyankar current_space->local_remaining -= nzi; 3689b48462bSShri Abhyankar } 3699b48462bSShri Abhyankar #if defined(PETSC_USE_INFO) 3709b48462bSShri Abhyankar if (ai[n] != 0) { 3719b48462bSShri Abhyankar PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 3729b48462bSShri Abhyankar ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 3739b48462bSShri Abhyankar ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 3749b48462bSShri Abhyankar ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr); 3759b48462bSShri Abhyankar ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 3769b48462bSShri Abhyankar } else { 3779b48462bSShri Abhyankar ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr); 3789b48462bSShri Abhyankar } 3799b48462bSShri Abhyankar #endif 3809b48462bSShri Abhyankar 3819b48462bSShri Abhyankar ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 3829b48462bSShri Abhyankar ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 3839b48462bSShri Abhyankar 3849b48462bSShri Abhyankar /* destroy list of free space and other temporary array(s) */ 3859b48462bSShri Abhyankar ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 3862ce24eb6SHong Zhang ierr = PetscFreeSpaceContiguous_LU(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr); 3879b48462bSShri Abhyankar ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 3889b48462bSShri Abhyankar ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr); 3899b48462bSShri Abhyankar 3909b48462bSShri Abhyankar /* put together the new matrix */ 3919b48462bSShri Abhyankar ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 3929b48462bSShri Abhyankar ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 3939b48462bSShri Abhyankar b = (Mat_SeqAIJ*)(B)->data; 3949b48462bSShri Abhyankar b->free_a = PETSC_TRUE; 3959b48462bSShri Abhyankar b->free_ij = PETSC_TRUE; 3969b48462bSShri Abhyankar b->singlemalloc = PETSC_FALSE; 3979b48462bSShri Abhyankar ierr = PetscMalloc((bdiag[0]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 3989b48462bSShri Abhyankar b->j = bj; 3999b48462bSShri Abhyankar b->i = bi; 4009b48462bSShri Abhyankar b->diag = bdiag; 4019b48462bSShri Abhyankar b->ilen = 0; 4029b48462bSShri Abhyankar b->imax = 0; 4039b48462bSShri Abhyankar b->row = isrow; 4049b48462bSShri Abhyankar b->col = iscol; 4059b48462bSShri Abhyankar ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 4069b48462bSShri Abhyankar ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 4079b48462bSShri Abhyankar b->icol = isicol; 4089b48462bSShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 4099b48462bSShri Abhyankar 4109b48462bSShri Abhyankar /* In b structure: Free imax, ilen, old a, old j. Allocate solve_work, new a, new j */ 4119b48462bSShri Abhyankar ierr = PetscLogObjectMemory(B,(bdiag[0]+1)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 4129b48462bSShri Abhyankar b->maxnz = b->nz = bdiag[0]+1; 413f284f12aSHong Zhang B->factor = MAT_FACTOR_LU; 414f284f12aSHong Zhang B->info.factor_mallocs = reallocs; 415f284f12aSHong Zhang B->info.fill_ratio_given = f; 4169b48462bSShri Abhyankar 4179b48462bSShri Abhyankar if (ai[n]) { 418f284f12aSHong Zhang B->info.fill_ratio_needed = ((PetscReal)(bdiag[0]+1))/((PetscReal)ai[n]); 4199b48462bSShri Abhyankar } else { 420f284f12aSHong Zhang B->info.fill_ratio_needed = 0.0; 4219b48462bSShri Abhyankar } 42235233d99SShri Abhyankar B->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 423b47f5a65SHong Zhang /* switch to inodes if appropriate */ 424019b515eSShri Abhyankar ierr = Mat_CheckInode_FactorLU(B,PETSC_FALSE);CHKERRQ(ierr); 4259b48462bSShri Abhyankar PetscFunctionReturn(0); 4269b48462bSShri Abhyankar } 4279b48462bSShri Abhyankar 4285b5bc046SBarry Smith /* 4295b5bc046SBarry Smith Trouble in factorization, should we dump the original matrix? 4305b5bc046SBarry Smith */ 4315b5bc046SBarry Smith #undef __FUNCT__ 4325b5bc046SBarry Smith #define __FUNCT__ "MatFactorDumpMatrix" 4335b5bc046SBarry Smith PetscErrorCode MatFactorDumpMatrix(Mat A) 4345b5bc046SBarry Smith { 4355b5bc046SBarry Smith PetscErrorCode ierr; 43690d69ab7SBarry Smith PetscTruth flg = PETSC_FALSE; 4375b5bc046SBarry Smith 4385b5bc046SBarry Smith PetscFunctionBegin; 43990d69ab7SBarry Smith ierr = PetscOptionsGetTruth(PETSC_NULL,"-mat_factor_dump_on_error",&flg,PETSC_NULL);CHKERRQ(ierr); 4405b5bc046SBarry Smith if (flg) { 4415b5bc046SBarry Smith PetscViewer viewer; 4425b5bc046SBarry Smith char filename[PETSC_MAX_PATH_LEN]; 4435b5bc046SBarry Smith 4445b5bc046SBarry Smith ierr = PetscSNPrintf(filename,PETSC_MAX_PATH_LEN,"matrix_factor_error.%d",PetscGlobalRank);CHKERRQ(ierr); 4457adad957SLisandro Dalcin ierr = PetscViewerBinaryOpen(((PetscObject)A)->comm,filename,FILE_MODE_WRITE,&viewer);CHKERRQ(ierr); 4465b5bc046SBarry Smith ierr = MatView(A,viewer);CHKERRQ(ierr); 4475b5bc046SBarry Smith ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr); 4485b5bc046SBarry Smith } 4495b5bc046SBarry Smith PetscFunctionReturn(0); 4505b5bc046SBarry Smith } 4515b5bc046SBarry Smith 452c9c72f8fSHong Zhang #undef __FUNCT__ 45335233d99SShri Abhyankar #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ" 45435233d99SShri Abhyankar PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info) 455c9c72f8fSHong Zhang { 456c9c72f8fSHong Zhang Mat C=B; 457c9c72f8fSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 458c9c72f8fSHong Zhang IS isrow = b->row,isicol = b->icol; 459c9c72f8fSHong Zhang PetscErrorCode ierr; 460c9c72f8fSHong Zhang const PetscInt *r,*ic,*ics; 461c9c72f8fSHong Zhang PetscInt i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 462c9c72f8fSHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzL,row,*bdiag=b->diag,*pj; 463c9c72f8fSHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,*aa=a->a; 464c9c72f8fSHong Zhang PetscTruth row_identity,col_identity; 465c9c72f8fSHong Zhang 466d4ad06f7SHong Zhang LUShift_Ctx sctx; 467d4ad06f7SHong Zhang PetscInt *ddiag,newshift; 468d4ad06f7SHong Zhang PetscReal rs; 469d4ad06f7SHong Zhang MatScalar d; 470d4ad06f7SHong Zhang 471c9c72f8fSHong Zhang PetscFunctionBegin; 472d6e5152cSHong Zhang /* MatPivotSetUp(): initialize shift context sctx */ 473d6e5152cSHong Zhang ierr = PetscMemzero(&sctx,sizeof(LUShift_Ctx));CHKERRQ(ierr); 474d4ad06f7SHong Zhang 475d4ad06f7SHong Zhang /* if both shift schemes are chosen by user, only use info->shiftpd */ 476d4ad06f7SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 477d4ad06f7SHong Zhang ddiag = a->diag; 478d4ad06f7SHong Zhang sctx.shift_top = info->zeropivot; 479d4ad06f7SHong Zhang for (i=0; i<n; i++) { 480d4ad06f7SHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 481d4ad06f7SHong Zhang d = (aa)[ddiag[i]]; 482d4ad06f7SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 483d4ad06f7SHong Zhang v = aa+ai[i]; 484d4ad06f7SHong Zhang nz = ai[i+1] - ai[i]; 485d4ad06f7SHong Zhang for (j=0; j<nz; j++) 486d4ad06f7SHong Zhang rs += PetscAbsScalar(v[j]); 487d4ad06f7SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 488d4ad06f7SHong Zhang } 489d4ad06f7SHong Zhang sctx.shift_top *= 1.1; 490d4ad06f7SHong Zhang sctx.nshift_max = 5; 491d4ad06f7SHong Zhang sctx.shift_lo = 0.; 492d4ad06f7SHong Zhang sctx.shift_hi = 1.; 493d4ad06f7SHong Zhang } 494d4ad06f7SHong Zhang 495c9c72f8fSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 496c9c72f8fSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 497c9c72f8fSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 498c9c72f8fSHong Zhang ics = ic; 499c9c72f8fSHong Zhang 500d4ad06f7SHong Zhang do { 501d4ad06f7SHong Zhang sctx.lushift = PETSC_FALSE; 502c9c72f8fSHong Zhang for (i=0; i<n; i++){ 503c9c72f8fSHong Zhang /* zero rtmp */ 504c9c72f8fSHong Zhang /* L part */ 505c9c72f8fSHong Zhang nz = bi[i+1] - bi[i]; 506c9c72f8fSHong Zhang bjtmp = bj + bi[i]; 507c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 508c9c72f8fSHong Zhang 509c9c72f8fSHong Zhang /* U part */ 51062fbd6afSShri Abhyankar nz = bdiag[i]-bdiag[i+1]; 51162fbd6afSShri Abhyankar bjtmp = bj + bdiag[i+1]+1; 512813a1f2bSShri Abhyankar for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 513813a1f2bSShri Abhyankar 514813a1f2bSShri Abhyankar /* load in initial (unfactored row) */ 515813a1f2bSShri Abhyankar nz = ai[r[i]+1] - ai[r[i]]; 516813a1f2bSShri Abhyankar ajtmp = aj + ai[r[i]]; 517813a1f2bSShri Abhyankar v = aa + ai[r[i]]; 518813a1f2bSShri Abhyankar for (j=0; j<nz; j++) { 519813a1f2bSShri Abhyankar rtmp[ics[ajtmp[j]]] = v[j]; 520813a1f2bSShri Abhyankar } 521813a1f2bSShri Abhyankar /* ZeropivotApply() */ 52298a93161SHong Zhang rtmp[i] += sctx.shift_amount; /* shift the diagonal of the matrix */ 523813a1f2bSShri Abhyankar 524813a1f2bSShri Abhyankar /* elimination */ 525813a1f2bSShri Abhyankar bjtmp = bj + bi[i]; 526813a1f2bSShri Abhyankar row = *bjtmp++; 527813a1f2bSShri Abhyankar nzL = bi[i+1] - bi[i]; 528f268cba8SShri Abhyankar for(k=0; k < nzL;k++) { 529813a1f2bSShri Abhyankar pc = rtmp + row; 530813a1f2bSShri Abhyankar if (*pc != 0.0) { 531813a1f2bSShri Abhyankar pv = b->a + bdiag[row]; 532813a1f2bSShri Abhyankar multiplier = *pc * (*pv); 533813a1f2bSShri Abhyankar *pc = multiplier; 53462fbd6afSShri Abhyankar pj = b->j + bdiag[row+1]+1; /* beginning of U(row,:) */ 53562fbd6afSShri Abhyankar pv = b->a + bdiag[row+1]+1; 53662fbd6afSShri Abhyankar nz = bdiag[row]-bdiag[row+1]-1; /* num of entries in U(row,:) excluding diag */ 537813a1f2bSShri Abhyankar for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 538813a1f2bSShri Abhyankar ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 539813a1f2bSShri Abhyankar } 540f268cba8SShri Abhyankar row = *bjtmp++; 541813a1f2bSShri Abhyankar } 542813a1f2bSShri Abhyankar 543813a1f2bSShri Abhyankar /* finished row so stick it into b->a */ 544813a1f2bSShri Abhyankar rs = 0.0; 545813a1f2bSShri Abhyankar /* L part */ 546813a1f2bSShri Abhyankar pv = b->a + bi[i] ; 547813a1f2bSShri Abhyankar pj = b->j + bi[i] ; 548813a1f2bSShri Abhyankar nz = bi[i+1] - bi[i]; 549813a1f2bSShri Abhyankar for (j=0; j<nz; j++) { 550813a1f2bSShri Abhyankar pv[j] = rtmp[pj[j]]; rs += PetscAbsScalar(pv[j]); 551813a1f2bSShri Abhyankar } 552813a1f2bSShri Abhyankar 553813a1f2bSShri Abhyankar /* U part */ 55462fbd6afSShri Abhyankar pv = b->a + bdiag[i+1]+1; 55562fbd6afSShri Abhyankar pj = b->j + bdiag[i+1]+1; 55662fbd6afSShri Abhyankar nz = bdiag[i] - bdiag[i+1]-1; 557813a1f2bSShri Abhyankar for (j=0; j<nz; j++) { 558813a1f2bSShri Abhyankar pv[j] = rtmp[pj[j]]; rs += PetscAbsScalar(pv[j]); 559813a1f2bSShri Abhyankar } 560813a1f2bSShri Abhyankar 5618ff23777SHong Zhang /* MatPivotCheck() */ 562813a1f2bSShri Abhyankar sctx.rs = rs; 563813a1f2bSShri Abhyankar sctx.pv = rtmp[i]; 5648ff23777SHong Zhang if (info->shiftnz){ 5658ff23777SHong Zhang ierr = MatPivotCheck_nz(info,sctx,i,newshift);CHKERRQ(ierr); 5668ff23777SHong Zhang } else if (info->shiftpd){ 5678ff23777SHong Zhang ierr = MatPivotCheck_pd(info,sctx,i,newshift);CHKERRQ(ierr); 5688ff23777SHong Zhang } else if (info->shiftinblocks){ 5698ff23777SHong Zhang ierr = MatPivotCheck_inblocks(info,sctx,i,newshift);CHKERRQ(ierr); 5708ff23777SHong Zhang } else { 5718ff23777SHong Zhang ierr = MatPivotCheck_none(info,sctx,i,newshift);CHKERRQ(ierr); 5728ff23777SHong Zhang } 5738ff23777SHong Zhang rtmp[i] = sctx.pv; 574813a1f2bSShri Abhyankar if (newshift == 1) break; 575813a1f2bSShri Abhyankar 576813a1f2bSShri Abhyankar /* Mark diagonal and invert diagonal for simplier triangular solves */ 577813a1f2bSShri Abhyankar pv = b->a + bdiag[i]; 578813a1f2bSShri Abhyankar *pv = 1.0/rtmp[i]; 579813a1f2bSShri Abhyankar 580813a1f2bSShri Abhyankar } /* endof for (i=0; i<n; i++){ */ 581813a1f2bSShri Abhyankar 5828ff23777SHong Zhang /* MatPivotRefine() */ 583813a1f2bSShri Abhyankar if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max){ 584813a1f2bSShri Abhyankar /* 585813a1f2bSShri Abhyankar * if no shift in this attempt & shifting & started shifting & can refine, 586813a1f2bSShri Abhyankar * then try lower shift 587813a1f2bSShri Abhyankar */ 588813a1f2bSShri Abhyankar sctx.shift_hi = sctx.shift_fraction; 589813a1f2bSShri Abhyankar sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 590813a1f2bSShri Abhyankar sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 591813a1f2bSShri Abhyankar sctx.lushift = PETSC_TRUE; 592813a1f2bSShri Abhyankar sctx.nshift++; 593813a1f2bSShri Abhyankar } 594813a1f2bSShri Abhyankar } while (sctx.lushift); 595813a1f2bSShri Abhyankar 596813a1f2bSShri Abhyankar ierr = PetscFree(rtmp);CHKERRQ(ierr); 597813a1f2bSShri Abhyankar ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 598813a1f2bSShri Abhyankar ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 599b47f5a65SHong Zhang if (b->inode.use){ 60035233d99SShri Abhyankar C->ops->solve = MatSolve_SeqAIJ_Inode; 601b47f5a65SHong Zhang } else { 602813a1f2bSShri Abhyankar ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 603813a1f2bSShri Abhyankar ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 604813a1f2bSShri Abhyankar if (row_identity && col_identity) { 60535233d99SShri Abhyankar C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering; 606813a1f2bSShri Abhyankar } else { 60735233d99SShri Abhyankar C->ops->solve = MatSolve_SeqAIJ; 608813a1f2bSShri Abhyankar } 609b47f5a65SHong Zhang } 61035233d99SShri Abhyankar C->ops->solveadd = MatSolveAdd_SeqAIJ; 61135233d99SShri Abhyankar C->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 61235233d99SShri Abhyankar C->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ; 61335233d99SShri Abhyankar C->ops->matsolve = MatMatSolve_SeqAIJ; 614813a1f2bSShri Abhyankar C->assembled = PETSC_TRUE; 615813a1f2bSShri Abhyankar C->preallocated = PETSC_TRUE; 616813a1f2bSShri Abhyankar ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 617813a1f2bSShri Abhyankar 6188ff23777SHong Zhang /* MatPivotView() */ 619813a1f2bSShri Abhyankar if (sctx.nshift){ 620813a1f2bSShri Abhyankar if (info->shiftpd) { 621813a1f2bSShri Abhyankar 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); 622813a1f2bSShri Abhyankar } else if (info->shiftnz) { 623813a1f2bSShri Abhyankar ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 6248ff23777SHong Zhang } else if (info->shiftinblocks){ 6258ff23777SHong Zhang ierr = PetscInfo2(A,"number of shift_inblocks applied %D, each shift_amount %G\n",sctx.nshift,info->shiftinblocks);CHKERRQ(ierr); 626813a1f2bSShri Abhyankar } 627813a1f2bSShri Abhyankar } 628813a1f2bSShri Abhyankar PetscFunctionReturn(0); 629813a1f2bSShri Abhyankar } 630813a1f2bSShri Abhyankar 6314a2ae208SSatish Balay #undef __FUNCT__ 632ad04f41aSHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_inplace" 633ad04f41aSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqAIJ_inplace(Mat B,Mat A,const MatFactorInfo *info) 634289bc588SBarry Smith { 635719d5645SBarry Smith Mat C=B; 636416022c9SBarry Smith Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 63782bf6240SBarry Smith IS isrow = b->row,isicol = b->icol; 6386849ba73SBarry Smith PetscErrorCode ierr; 6395d0c19d7SBarry Smith const PetscInt *r,*ic,*ics; 640d278edc7SBarry Smith PetscInt nz,row,i,j,n=A->rmap->n,diag; 641d278edc7SBarry Smith const PetscInt *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 642d278edc7SBarry Smith const PetscInt *ajtmp,*bjtmp,*diag_offset = b->diag,*pj; 643d278edc7SBarry Smith MatScalar *pv,*rtmp,*pc,multiplier,d; 644d278edc7SBarry Smith const MatScalar *v,*aa=a->a; 64533f9893dSHong Zhang PetscReal rs=0.0; 646b3bf805bSHong Zhang LUShift_Ctx sctx; 64742898933SHong Zhang PetscInt newshift,*ddiag; 648289bc588SBarry Smith 6493a40ed3dSBarry Smith PetscFunctionBegin; 65078b31e54SBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 65178b31e54SBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 652b78a477dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 6539f7d0b68SHong Zhang ics = ic; 654289bc588SBarry Smith 655d4ad06f7SHong Zhang /* initialize shift context sctx */ 656d4ad06f7SHong Zhang sctx.nshift = 0; 657ada7143aSSatish Balay sctx.nshift_max = 0; 658d4ad06f7SHong Zhang sctx.shift_top = 0.0; 659d4ad06f7SHong Zhang sctx.shift_lo = 0.0; 660d4ad06f7SHong Zhang sctx.shift_hi = 0.0; 661d4ad06f7SHong Zhang sctx.shift_fraction = 0.0; 662d4ad06f7SHong Zhang sctx.shift_amount = 0.0; 663ada7143aSSatish Balay 664118f5789SBarry Smith /* if both shift schemes are chosen by user, only use info->shiftpd */ 6651a890ab1SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 66642898933SHong Zhang ddiag = a->diag; 6679f7d0b68SHong Zhang sctx.shift_top = info->zeropivot; 6686cc28720Svictorle for (i=0; i<n; i++) { 6699f95998fSHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 6709f7d0b68SHong Zhang d = (aa)[ddiag[i]]; 6711a890ab1SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 6729f7d0b68SHong Zhang v = aa+ai[i]; 6739f7d0b68SHong Zhang nz = ai[i+1] - ai[i]; 674e24cfe64SHong Zhang for (j=0; j<nz; j++) 6751a890ab1SHong Zhang rs += PetscAbsScalar(v[j]); 6761a890ab1SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 6776cc28720Svictorle } 678118f5789SBarry Smith sctx.shift_top *= 1.1; 679d2276718SHong Zhang sctx.nshift_max = 5; 680d2276718SHong Zhang sctx.shift_lo = 0.; 681d2276718SHong Zhang sctx.shift_hi = 1.; 682a0a356efSHong Zhang } 683a0a356efSHong Zhang 684085256b3SBarry Smith do { 685d2276718SHong Zhang sctx.lushift = PETSC_FALSE; 686289bc588SBarry Smith for (i=0; i<n; i++){ 687b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 688b3bf805bSHong Zhang bjtmp = bj + bi[i]; 6899f7d0b68SHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 690289bc588SBarry Smith 691289bc588SBarry Smith /* load in initial (unfactored row) */ 6929f7d0b68SHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 6939f7d0b68SHong Zhang ajtmp = aj + ai[r[i]]; 6949f7d0b68SHong Zhang v = aa + ai[r[i]]; 695085256b3SBarry Smith for (j=0; j<nz; j++) { 696b3bf805bSHong Zhang rtmp[ics[ajtmp[j]]] = v[j]; 697085256b3SBarry Smith } 698d2276718SHong Zhang rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 699bd1bc851SBarry Smith /* if (sctx.shift_amount > 0.0) printf("row %d, shift %g\n",i,sctx.shift_amount); */ 700289bc588SBarry Smith 701b3bf805bSHong Zhang row = *bjtmp++; 702f2582111SSatish Balay while (row < i) { 7038c37ef55SBarry Smith pc = rtmp + row; 7048c37ef55SBarry Smith if (*pc != 0.0) { 705010a20caSHong Zhang pv = b->a + diag_offset[row]; 706010a20caSHong Zhang pj = b->j + diag_offset[row] + 1; 70735aab85fSBarry Smith multiplier = *pc / *pv++; 7088c37ef55SBarry Smith *pc = multiplier; 709b3bf805bSHong Zhang nz = bi[row+1] - diag_offset[row] - 1; 7109f7d0b68SHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 711dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 712289bc588SBarry Smith } 713b3bf805bSHong Zhang row = *bjtmp++; 714289bc588SBarry Smith } 715416022c9SBarry Smith /* finished row so stick it into b->a */ 716b3bf805bSHong Zhang pv = b->a + bi[i] ; 717b3bf805bSHong Zhang pj = b->j + bi[i] ; 718b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 719b3bf805bSHong Zhang diag = diag_offset[i] - bi[i]; 720e57ff13aSBarry Smith rs = 0.0; 721d3d32019SBarry Smith for (j=0; j<nz; j++) { 7229f7d0b68SHong Zhang pv[j] = rtmp[pj[j]]; 7239f7d0b68SHong Zhang rs += PetscAbsScalar(pv[j]); 724d3d32019SBarry Smith } 725e57ff13aSBarry Smith rs -= PetscAbsScalar(pv[diag]); 726d2276718SHong Zhang 727b3bf805bSHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 728d2276718SHong Zhang sctx.rs = rs; 729d2276718SHong Zhang sctx.pv = pv[diag]; 730c6b1f410SHong Zhang ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); 7315b5bc046SBarry Smith if (newshift == 1) break; 73235aab85fSBarry Smith } 733d2276718SHong Zhang 7340481f469SBarry Smith if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 7356cc28720Svictorle /* 7366c037d1bSvictorle * if no shift in this attempt & shifting & started shifting & can refine, 7376cc28720Svictorle * then try lower shift 7386cc28720Svictorle */ 7390481f469SBarry Smith sctx.shift_hi = sctx.shift_fraction; 7400481f469SBarry Smith sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 7410481f469SBarry Smith sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 742d2276718SHong Zhang sctx.lushift = PETSC_TRUE; 743d2276718SHong Zhang sctx.nshift++; 7446cc28720Svictorle } 745d2276718SHong Zhang } while (sctx.lushift); 7460f11f9aeSSatish Balay 74735aab85fSBarry Smith /* invert diagonal entries for simplier triangular solves */ 74835aab85fSBarry Smith for (i=0; i<n; i++) { 749010a20caSHong Zhang b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]]; 75035aab85fSBarry Smith } 751606d414cSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 75278b31e54SBarry Smith ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 75378b31e54SBarry Smith ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 754db4efbfdSBarry Smith if (b->inode.use) { 755ad04f41aSHong Zhang C->ops->solve = MatSolve_SeqAIJ_Inode_inplace; 756db4efbfdSBarry Smith } else { 7578d8c7c43SBarry Smith PetscTruth row_identity, col_identity; 7588d8c7c43SBarry Smith ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 7598d8c7c43SBarry Smith ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 7608d8c7c43SBarry Smith if (row_identity && col_identity) { 761ad04f41aSHong Zhang C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_inplace; 7628d8c7c43SBarry Smith } else { 763ad04f41aSHong Zhang C->ops->solve = MatSolve_SeqAIJ_inplace; 764db4efbfdSBarry Smith } 7658d8c7c43SBarry Smith } 766ad04f41aSHong Zhang C->ops->solveadd = MatSolveAdd_SeqAIJ_inplace; 767ad04f41aSHong Zhang C->ops->solvetranspose = MatSolveTranspose_SeqAIJ_inplace; 768ad04f41aSHong Zhang C->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ_inplace; 769ad04f41aSHong Zhang C->ops->matsolve = MatMatSolve_SeqAIJ_inplace; 770c456f294SBarry Smith C->assembled = PETSC_TRUE; 7715c9eb25fSBarry Smith C->preallocated = PETSC_TRUE; 772d0f46423SBarry Smith ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 773d2276718SHong Zhang if (sctx.nshift){ 774e738e422SBarry Smith if (info->shiftpd) { 7750481f469SBarry 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); 776e738e422SBarry Smith } else if (info->shiftnz) { 777e738e422SBarry Smith ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 7786cc28720Svictorle } 7790697b6caSHong Zhang } 7803a40ed3dSBarry Smith PetscFunctionReturn(0); 781289bc588SBarry Smith } 7820889b5dcSvictorle 783137fb511SHong Zhang /* 784137fb511SHong Zhang This routine implements inplace ILU(0) with row or/and column permutations. 785137fb511SHong Zhang Input: 786137fb511SHong Zhang A - original matrix 787137fb511SHong Zhang Output; 788137fb511SHong Zhang A - a->i (rowptr) is same as original rowptr, but factored i-the row is stored in rowperm[i] 789137fb511SHong Zhang a->j (col index) is permuted by the inverse of colperm, then sorted 790137fb511SHong Zhang a->a reordered accordingly with a->j 791137fb511SHong Zhang a->diag (ptr to diagonal elements) is updated. 792137fb511SHong Zhang */ 793137fb511SHong Zhang #undef __FUNCT__ 794137fb511SHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_InplaceWithPerm" 7950481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ_InplaceWithPerm(Mat B,Mat A,const MatFactorInfo *info) 796137fb511SHong Zhang { 797b051339dSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 798b051339dSHong Zhang IS isrow = a->row,isicol = a->icol; 799137fb511SHong Zhang PetscErrorCode ierr; 8005d0c19d7SBarry Smith const PetscInt *r,*ic,*ics; 8015d0c19d7SBarry Smith PetscInt i,j,n=A->rmap->n,*ai=a->i,*aj=a->j; 8025d0c19d7SBarry Smith PetscInt *ajtmp,nz,row; 803b051339dSHong Zhang PetscInt *diag = a->diag,nbdiag,*pj; 804a77337e4SBarry Smith PetscScalar *rtmp,*pc,multiplier,d; 805a77337e4SBarry Smith MatScalar *v,*pv; 806137fb511SHong Zhang PetscReal rs; 807137fb511SHong Zhang LUShift_Ctx sctx; 808b051339dSHong Zhang PetscInt newshift; 809137fb511SHong Zhang 810137fb511SHong Zhang PetscFunctionBegin; 811719d5645SBarry Smith if (A != B) SETERRQ(PETSC_ERR_ARG_INCOMP,"input and output matrix must have same address"); 812137fb511SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 813137fb511SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 814137fb511SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr); 815137fb511SHong Zhang ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr); 816b051339dSHong Zhang ics = ic; 817137fb511SHong Zhang 81875567043SBarry Smith sctx.shift_top = 0.; 819e60cf9a0SBarry Smith sctx.nshift_max = 0; 82075567043SBarry Smith sctx.shift_lo = 0.; 82175567043SBarry Smith sctx.shift_hi = 0.; 82275567043SBarry Smith sctx.shift_fraction = 0.; 823137fb511SHong Zhang 824137fb511SHong Zhang /* if both shift schemes are chosen by user, only use info->shiftpd */ 825137fb511SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 82675567043SBarry Smith sctx.shift_top = 0.; 827137fb511SHong Zhang for (i=0; i<n; i++) { 828137fb511SHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 829b051339dSHong Zhang d = (a->a)[diag[i]]; 830137fb511SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 831b051339dSHong Zhang v = a->a+ai[i]; 832b051339dSHong Zhang nz = ai[i+1] - ai[i]; 833137fb511SHong Zhang for (j=0; j<nz; j++) 834137fb511SHong Zhang rs += PetscAbsScalar(v[j]); 835137fb511SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 836137fb511SHong Zhang } 837137fb511SHong Zhang if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot; 838137fb511SHong Zhang sctx.shift_top *= 1.1; 839137fb511SHong Zhang sctx.nshift_max = 5; 840137fb511SHong Zhang sctx.shift_lo = 0.; 841137fb511SHong Zhang sctx.shift_hi = 1.; 842137fb511SHong Zhang } 843137fb511SHong Zhang 84475567043SBarry Smith sctx.shift_amount = 0.; 845137fb511SHong Zhang sctx.nshift = 0; 846137fb511SHong Zhang do { 847137fb511SHong Zhang sctx.lushift = PETSC_FALSE; 848137fb511SHong Zhang for (i=0; i<n; i++){ 849b051339dSHong Zhang /* load in initial unfactored row */ 850b051339dSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 851b051339dSHong Zhang ajtmp = aj + ai[r[i]]; 852b051339dSHong Zhang v = a->a + ai[r[i]]; 853137fb511SHong Zhang /* sort permuted ajtmp and values v accordingly */ 854b051339dSHong Zhang for (j=0; j<nz; j++) ajtmp[j] = ics[ajtmp[j]]; 855137fb511SHong Zhang ierr = PetscSortIntWithScalarArray(nz,ajtmp,v);CHKERRQ(ierr); 856137fb511SHong Zhang 857b051339dSHong Zhang diag[r[i]] = ai[r[i]]; 858137fb511SHong Zhang for (j=0; j<nz; j++) { 859137fb511SHong Zhang rtmp[ajtmp[j]] = v[j]; 860b051339dSHong Zhang if (ajtmp[j] < i) diag[r[i]]++; /* update a->diag */ 861137fb511SHong Zhang } 862137fb511SHong Zhang rtmp[r[i]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 863137fb511SHong Zhang 864b051339dSHong Zhang row = *ajtmp++; 865137fb511SHong Zhang while (row < i) { 866137fb511SHong Zhang pc = rtmp + row; 867137fb511SHong Zhang if (*pc != 0.0) { 868b051339dSHong Zhang pv = a->a + diag[r[row]]; 869b051339dSHong Zhang pj = aj + diag[r[row]] + 1; 870137fb511SHong Zhang 871137fb511SHong Zhang multiplier = *pc / *pv++; 872137fb511SHong Zhang *pc = multiplier; 873b051339dSHong Zhang nz = ai[r[row]+1] - diag[r[row]] - 1; 874b051339dSHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 875dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 876137fb511SHong Zhang } 877b051339dSHong Zhang row = *ajtmp++; 878137fb511SHong Zhang } 879b051339dSHong Zhang /* finished row so overwrite it onto a->a */ 880b051339dSHong Zhang pv = a->a + ai[r[i]] ; 881b051339dSHong Zhang pj = aj + ai[r[i]] ; 882b051339dSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 883b051339dSHong Zhang nbdiag = diag[r[i]] - ai[r[i]]; /* num of entries before the diagonal */ 884137fb511SHong Zhang 885137fb511SHong Zhang rs = 0.0; 886137fb511SHong Zhang for (j=0; j<nz; j++) { 887b051339dSHong Zhang pv[j] = rtmp[pj[j]]; 888b051339dSHong Zhang if (j != nbdiag) rs += PetscAbsScalar(pv[j]); 889137fb511SHong Zhang } 890137fb511SHong Zhang 891137fb511SHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 892137fb511SHong Zhang sctx.rs = rs; 893b051339dSHong Zhang sctx.pv = pv[nbdiag]; 894c6b1f410SHong Zhang ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); 895137fb511SHong Zhang if (newshift == 1) break; 896137fb511SHong Zhang } 897137fb511SHong Zhang 8980481f469SBarry Smith if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 899137fb511SHong Zhang /* 900137fb511SHong Zhang * if no shift in this attempt & shifting & started shifting & can refine, 901137fb511SHong Zhang * then try lower shift 902137fb511SHong Zhang */ 9030481f469SBarry Smith sctx.shift_hi = sctx.shift_fraction; 9040481f469SBarry Smith sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 9050481f469SBarry Smith sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 906137fb511SHong Zhang sctx.lushift = PETSC_TRUE; 907137fb511SHong Zhang sctx.nshift++; 908137fb511SHong Zhang } 909137fb511SHong Zhang } while (sctx.lushift); 910137fb511SHong Zhang 911137fb511SHong Zhang /* invert diagonal entries for simplier triangular solves */ 912137fb511SHong Zhang for (i=0; i<n; i++) { 913b051339dSHong Zhang a->a[diag[r[i]]] = 1.0/a->a[diag[r[i]]]; 914137fb511SHong Zhang } 915137fb511SHong Zhang 916137fb511SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 917137fb511SHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 918137fb511SHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 919b051339dSHong Zhang A->ops->solve = MatSolve_SeqAIJ_InplaceWithPerm; 920ad04f41aSHong Zhang A->ops->solveadd = MatSolveAdd_SeqAIJ_inplace; 921ad04f41aSHong Zhang A->ops->solvetranspose = MatSolveTranspose_SeqAIJ_inplace; 922ad04f41aSHong Zhang A->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ_inplace; 923b051339dSHong Zhang A->assembled = PETSC_TRUE; 9245c9eb25fSBarry Smith A->preallocated = PETSC_TRUE; 925d0f46423SBarry Smith ierr = PetscLogFlops(A->cmap->n);CHKERRQ(ierr); 926137fb511SHong Zhang if (sctx.nshift){ 927e738e422SBarry Smith if (info->shiftpd) { 9280481f469SBarry 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); 929e738e422SBarry Smith } else if (info->shiftnz) { 930e738e422SBarry Smith ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 931137fb511SHong Zhang } 932137fb511SHong Zhang } 933137fb511SHong Zhang PetscFunctionReturn(0); 934137fb511SHong Zhang } 935137fb511SHong Zhang 9360a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 9374a2ae208SSatish Balay #undef __FUNCT__ 9384a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ" 9390481f469SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,const MatFactorInfo *info) 940da3a660dSBarry Smith { 941dfbe8321SBarry Smith PetscErrorCode ierr; 942416022c9SBarry Smith Mat C; 943416022c9SBarry Smith 9443a40ed3dSBarry Smith PetscFunctionBegin; 94543244d56SBarry Smith ierr = MatGetFactor(A,MAT_SOLVER_PETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr); 946719d5645SBarry Smith ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr); 947719d5645SBarry Smith ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr); 948db4efbfdSBarry Smith A->ops->solve = C->ops->solve; 949db4efbfdSBarry Smith A->ops->solvetranspose = C->ops->solvetranspose; 950273d9f13SBarry Smith ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 95152e6d16bSBarry Smith ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr); 9523a40ed3dSBarry Smith PetscFunctionReturn(0); 953da3a660dSBarry Smith } 9540a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 9551d098868SHong Zhang 956889a8dedSBarry Smith 9574a2ae208SSatish Balay #undef __FUNCT__ 958ad04f41aSHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_inplace" 959ad04f41aSHong Zhang PetscErrorCode MatSolve_SeqAIJ_inplace(Mat A,Vec bb,Vec xx) 9608c37ef55SBarry Smith { 961416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 962416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 9636849ba73SBarry Smith PetscErrorCode ierr; 9645d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 9655d0c19d7SBarry Smith PetscInt nz; 9665d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 967dd6ea824SBarry Smith PetscScalar *x,*tmp,*tmps,sum; 968d9fead3dSBarry Smith const PetscScalar *b; 969dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 9708c37ef55SBarry Smith 9713a40ed3dSBarry Smith PetscFunctionBegin; 9723a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 97391bf9adeSBarry Smith 974d9fead3dSBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 9751ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 976416022c9SBarry Smith tmp = a->solve_work; 9778c37ef55SBarry Smith 9783b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 9793b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 9808c37ef55SBarry Smith 9818c37ef55SBarry Smith /* forward solve the lower triangular */ 9828c37ef55SBarry Smith tmp[0] = b[*r++]; 983010a20caSHong Zhang tmps = tmp; 9848c37ef55SBarry Smith for (i=1; i<n; i++) { 985010a20caSHong Zhang v = aa + ai[i] ; 986010a20caSHong Zhang vi = aj + ai[i] ; 98753e7425aSBarry Smith nz = a->diag[i] - ai[i]; 98853e7425aSBarry Smith sum = b[*r++]; 989003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 9908c37ef55SBarry Smith tmp[i] = sum; 9918c37ef55SBarry Smith } 9928c37ef55SBarry Smith 9938c37ef55SBarry Smith /* backward solve the upper triangular */ 9948c37ef55SBarry Smith for (i=n-1; i>=0; i--){ 995010a20caSHong Zhang v = aa + a->diag[i] + 1; 996010a20caSHong Zhang vi = aj + a->diag[i] + 1; 997416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 9988c37ef55SBarry Smith sum = tmp[i]; 999003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 1000010a20caSHong Zhang x[*c--] = tmp[i] = sum*aa[a->diag[i]]; 10018c37ef55SBarry Smith } 10028c37ef55SBarry Smith 10033b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 10043b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 1005d9fead3dSBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 10061ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1007dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 10083a40ed3dSBarry Smith PetscFunctionReturn(0); 10098c37ef55SBarry Smith } 1010026e39d0SSatish Balay 10112bebee5dSHong Zhang #undef __FUNCT__ 1012ad04f41aSHong Zhang #define __FUNCT__ "MatMatSolve_SeqAIJ_inplace" 1013ad04f41aSHong Zhang PetscErrorCode MatMatSolve_SeqAIJ_inplace(Mat A,Mat B,Mat X) 10142bebee5dSHong Zhang { 10152bebee5dSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 10162bebee5dSHong Zhang IS iscol = a->col,isrow = a->row; 10172bebee5dSHong Zhang PetscErrorCode ierr; 10185d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 10195d0c19d7SBarry Smith PetscInt nz,neq; 10205d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 1021dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,*tmps,sum; 1022dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1023db4efbfdSBarry Smith PetscTruth bisdense,xisdense; 10242bebee5dSHong Zhang 10252bebee5dSHong Zhang PetscFunctionBegin; 10262bebee5dSHong Zhang if (!n) PetscFunctionReturn(0); 10272bebee5dSHong Zhang 1028db4efbfdSBarry Smith ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr); 1029db4efbfdSBarry Smith if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix"); 1030db4efbfdSBarry Smith ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr); 1031db4efbfdSBarry Smith if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix"); 1032db4efbfdSBarry Smith 10332bebee5dSHong Zhang ierr = MatGetArray(B,&b);CHKERRQ(ierr); 10342bebee5dSHong Zhang ierr = MatGetArray(X,&x);CHKERRQ(ierr); 10352bebee5dSHong Zhang 10362bebee5dSHong Zhang tmp = a->solve_work; 10372bebee5dSHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 10382bebee5dSHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 10392bebee5dSHong Zhang 1040a36b22ccSSatish Balay for (neq=0; neq<B->cmap->n; neq++){ 10412bebee5dSHong Zhang /* forward solve the lower triangular */ 10422bebee5dSHong Zhang tmp[0] = b[r[0]]; 10432bebee5dSHong Zhang tmps = tmp; 10442bebee5dSHong Zhang for (i=1; i<n; i++) { 10452bebee5dSHong Zhang v = aa + ai[i] ; 10462bebee5dSHong Zhang vi = aj + ai[i] ; 10472bebee5dSHong Zhang nz = a->diag[i] - ai[i]; 10482bebee5dSHong Zhang sum = b[r[i]]; 1049003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 10502bebee5dSHong Zhang tmp[i] = sum; 10512bebee5dSHong Zhang } 10522bebee5dSHong Zhang /* backward solve the upper triangular */ 10532bebee5dSHong Zhang for (i=n-1; i>=0; i--){ 10542bebee5dSHong Zhang v = aa + a->diag[i] + 1; 10552bebee5dSHong Zhang vi = aj + a->diag[i] + 1; 10562bebee5dSHong Zhang nz = ai[i+1] - a->diag[i] - 1; 10572bebee5dSHong Zhang sum = tmp[i]; 1058003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 10592bebee5dSHong Zhang x[c[i]] = tmp[i] = sum*aa[a->diag[i]]; 10602bebee5dSHong Zhang } 10612bebee5dSHong Zhang 10622bebee5dSHong Zhang b += n; 10632bebee5dSHong Zhang x += n; 10642bebee5dSHong Zhang } 10652bebee5dSHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 10662bebee5dSHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 10672bebee5dSHong Zhang ierr = MatRestoreArray(B,&b);CHKERRQ(ierr); 10682bebee5dSHong Zhang ierr = MatRestoreArray(X,&x);CHKERRQ(ierr); 1069dc0b31edSSatish Balay ierr = PetscLogFlops(B->cmap->n*(2.0*a->nz - n));CHKERRQ(ierr); 10702bebee5dSHong Zhang PetscFunctionReturn(0); 10712bebee5dSHong Zhang } 10722bebee5dSHong Zhang 1073137fb511SHong Zhang #undef __FUNCT__ 107435233d99SShri Abhyankar #define __FUNCT__ "MatMatSolve_SeqAIJ" 107535233d99SShri Abhyankar PetscErrorCode MatMatSolve_SeqAIJ(Mat A,Mat B,Mat X) 10769bd0847aSShri Abhyankar { 10779bd0847aSShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 10789bd0847aSShri Abhyankar IS iscol = a->col,isrow = a->row; 10799bd0847aSShri Abhyankar PetscErrorCode ierr; 10809bd0847aSShri Abhyankar PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j,*adiag = a->diag; 10819bd0847aSShri Abhyankar PetscInt nz,neq; 10829bd0847aSShri Abhyankar const PetscInt *rout,*cout,*r,*c; 10839bd0847aSShri Abhyankar PetscScalar *x,*b,*tmp,sum; 10849bd0847aSShri Abhyankar const MatScalar *aa = a->a,*v; 10859bd0847aSShri Abhyankar PetscTruth bisdense,xisdense; 10869bd0847aSShri Abhyankar 10879bd0847aSShri Abhyankar PetscFunctionBegin; 10889bd0847aSShri Abhyankar if (!n) PetscFunctionReturn(0); 10899bd0847aSShri Abhyankar 10909bd0847aSShri Abhyankar ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr); 10919bd0847aSShri Abhyankar if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix"); 10929bd0847aSShri Abhyankar ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr); 10939bd0847aSShri Abhyankar if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix"); 10949bd0847aSShri Abhyankar 10959bd0847aSShri Abhyankar ierr = MatGetArray(B,&b);CHKERRQ(ierr); 10969bd0847aSShri Abhyankar ierr = MatGetArray(X,&x);CHKERRQ(ierr); 10979bd0847aSShri Abhyankar 10989bd0847aSShri Abhyankar tmp = a->solve_work; 10999bd0847aSShri Abhyankar ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 11009bd0847aSShri Abhyankar ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 11019bd0847aSShri Abhyankar 11029bd0847aSShri Abhyankar for (neq=0; neq<B->cmap->n; neq++){ 11039bd0847aSShri Abhyankar /* forward solve the lower triangular */ 11049bd0847aSShri Abhyankar tmp[0] = b[r[0]]; 11059bd0847aSShri Abhyankar v = aa; 11069bd0847aSShri Abhyankar vi = aj; 11079bd0847aSShri Abhyankar for (i=1; i<n; i++) { 11089bd0847aSShri Abhyankar nz = ai[i+1] - ai[i]; 11099bd0847aSShri Abhyankar sum = b[r[i]]; 11109bd0847aSShri Abhyankar PetscSparseDenseMinusDot(sum,tmp,v,vi,nz); 11119bd0847aSShri Abhyankar tmp[i] = sum; 11129bd0847aSShri Abhyankar v += nz; vi += nz; 11139bd0847aSShri Abhyankar } 11149bd0847aSShri Abhyankar 11159bd0847aSShri Abhyankar /* backward solve the upper triangular */ 11169bd0847aSShri Abhyankar for (i=n-1; i>=0; i--){ 11179bd0847aSShri Abhyankar v = aa + adiag[i+1]+1; 11189bd0847aSShri Abhyankar vi = aj + adiag[i+1]+1; 11199bd0847aSShri Abhyankar nz = adiag[i]-adiag[i+1]-1; 11209bd0847aSShri Abhyankar sum = tmp[i]; 11219bd0847aSShri Abhyankar PetscSparseDenseMinusDot(sum,tmp,v,vi,nz); 11229bd0847aSShri Abhyankar x[c[i]] = tmp[i] = sum*v[nz]; /* v[nz] = aa[adiag[i]] */ 11239bd0847aSShri Abhyankar } 11249bd0847aSShri Abhyankar 11259bd0847aSShri Abhyankar b += n; 11269bd0847aSShri Abhyankar x += n; 11279bd0847aSShri Abhyankar } 11289bd0847aSShri Abhyankar ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 11299bd0847aSShri Abhyankar ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 11309bd0847aSShri Abhyankar ierr = MatRestoreArray(B,&b);CHKERRQ(ierr); 11319bd0847aSShri Abhyankar ierr = MatRestoreArray(X,&x);CHKERRQ(ierr); 11329bd0847aSShri Abhyankar ierr = PetscLogFlops(B->cmap->n*(2.0*a->nz - n));CHKERRQ(ierr); 11339bd0847aSShri Abhyankar PetscFunctionReturn(0); 11349bd0847aSShri Abhyankar } 11359bd0847aSShri Abhyankar 11369bd0847aSShri Abhyankar #undef __FUNCT__ 1137137fb511SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_InplaceWithPerm" 1138137fb511SHong Zhang PetscErrorCode MatSolve_SeqAIJ_InplaceWithPerm(Mat A,Vec bb,Vec xx) 1139137fb511SHong Zhang { 1140137fb511SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1141137fb511SHong Zhang IS iscol = a->col,isrow = a->row; 1142137fb511SHong Zhang PetscErrorCode ierr; 11435d0c19d7SBarry Smith const PetscInt *r,*c,*rout,*cout; 11445d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 11455d0c19d7SBarry Smith PetscInt nz,row; 1146dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,*tmps,sum; 1147dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1148137fb511SHong Zhang 1149137fb511SHong Zhang PetscFunctionBegin; 1150137fb511SHong Zhang if (!n) PetscFunctionReturn(0); 1151137fb511SHong Zhang 1152137fb511SHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 1153137fb511SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1154137fb511SHong Zhang tmp = a->solve_work; 1155137fb511SHong Zhang 1156137fb511SHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 1157137fb511SHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 1158137fb511SHong Zhang 1159137fb511SHong Zhang /* forward solve the lower triangular */ 1160137fb511SHong Zhang tmp[0] = b[*r++]; 1161137fb511SHong Zhang tmps = tmp; 1162137fb511SHong Zhang for (row=1; row<n; row++) { 1163137fb511SHong Zhang i = rout[row]; /* permuted row */ 1164137fb511SHong Zhang v = aa + ai[i] ; 1165137fb511SHong Zhang vi = aj + ai[i] ; 1166137fb511SHong Zhang nz = a->diag[i] - ai[i]; 1167137fb511SHong Zhang sum = b[*r++]; 1168003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 1169137fb511SHong Zhang tmp[row] = sum; 1170137fb511SHong Zhang } 1171137fb511SHong Zhang 1172137fb511SHong Zhang /* backward solve the upper triangular */ 1173137fb511SHong Zhang for (row=n-1; row>=0; row--){ 1174137fb511SHong Zhang i = rout[row]; /* permuted row */ 1175137fb511SHong Zhang v = aa + a->diag[i] + 1; 1176137fb511SHong Zhang vi = aj + a->diag[i] + 1; 1177137fb511SHong Zhang nz = ai[i+1] - a->diag[i] - 1; 1178137fb511SHong Zhang sum = tmp[row]; 1179003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 1180137fb511SHong Zhang x[*c--] = tmp[row] = sum*aa[a->diag[i]]; 1181137fb511SHong Zhang } 1182137fb511SHong Zhang 1183137fb511SHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 1184137fb511SHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 1185137fb511SHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 1186137fb511SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1187dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 1188137fb511SHong Zhang PetscFunctionReturn(0); 1189137fb511SHong Zhang } 1190137fb511SHong Zhang 1191930ae53cSBarry Smith /* ----------------------------------------------------------- */ 1192a4005a5dSBarry Smith #include "../src/mat/impls/aij/seq/ftn-kernels/fsolve.h" 11934a2ae208SSatish Balay #undef __FUNCT__ 1194ad04f41aSHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering_inplace" 1195ad04f41aSHong Zhang PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_inplace(Mat A,Vec bb,Vec xx) 1196930ae53cSBarry Smith { 1197930ae53cSBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 11986849ba73SBarry Smith PetscErrorCode ierr; 1199d0f46423SBarry Smith PetscInt n = A->rmap->n; 1200b377110cSBarry Smith const PetscInt *ai = a->i,*aj = a->j,*adiag = a->diag; 1201356650c2SBarry Smith PetscScalar *x; 1202356650c2SBarry Smith const PetscScalar *b; 1203dd6ea824SBarry Smith const MatScalar *aa = a->a; 1204aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 1205356650c2SBarry Smith PetscInt adiag_i,i,nz,ai_i; 1206b377110cSBarry Smith const PetscInt *vi; 1207dd6ea824SBarry Smith const MatScalar *v; 1208dd6ea824SBarry Smith PetscScalar sum; 1209d85afc42SSatish Balay #endif 1210930ae53cSBarry Smith 12113a40ed3dSBarry Smith PetscFunctionBegin; 12123a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 1213930ae53cSBarry Smith 1214356650c2SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 12151ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1216930ae53cSBarry Smith 1217aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 12181c4feecaSSatish Balay fortransolveaij_(&n,x,ai,aj,adiag,aa,b); 12191c4feecaSSatish Balay #else 1220930ae53cSBarry Smith /* forward solve the lower triangular */ 1221930ae53cSBarry Smith x[0] = b[0]; 1222930ae53cSBarry Smith for (i=1; i<n; i++) { 1223930ae53cSBarry Smith ai_i = ai[i]; 1224930ae53cSBarry Smith v = aa + ai_i; 1225930ae53cSBarry Smith vi = aj + ai_i; 1226930ae53cSBarry Smith nz = adiag[i] - ai_i; 1227930ae53cSBarry Smith sum = b[i]; 1228003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 1229930ae53cSBarry Smith x[i] = sum; 1230930ae53cSBarry Smith } 1231930ae53cSBarry Smith 1232930ae53cSBarry Smith /* backward solve the upper triangular */ 1233930ae53cSBarry Smith for (i=n-1; i>=0; i--){ 1234930ae53cSBarry Smith adiag_i = adiag[i]; 1235d708749eSBarry Smith v = aa + adiag_i + 1; 1236d708749eSBarry Smith vi = aj + adiag_i + 1; 1237930ae53cSBarry Smith nz = ai[i+1] - adiag_i - 1; 1238930ae53cSBarry Smith sum = x[i]; 1239003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 1240930ae53cSBarry Smith x[i] = sum*aa[adiag_i]; 1241930ae53cSBarry Smith } 12421c4feecaSSatish Balay #endif 1243dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 1244356650c2SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 12451ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 12463a40ed3dSBarry Smith PetscFunctionReturn(0); 1247930ae53cSBarry Smith } 1248930ae53cSBarry Smith 12494a2ae208SSatish Balay #undef __FUNCT__ 1250ad04f41aSHong Zhang #define __FUNCT__ "MatSolveAdd_SeqAIJ_inplace" 1251ad04f41aSHong Zhang PetscErrorCode MatSolveAdd_SeqAIJ_inplace(Mat A,Vec bb,Vec yy,Vec xx) 1252da3a660dSBarry Smith { 1253416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1254416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 12556849ba73SBarry Smith PetscErrorCode ierr; 125604fbf559SBarry Smith PetscInt i, n = A->rmap->n,j; 12575d0c19d7SBarry Smith PetscInt nz; 125804fbf559SBarry Smith const PetscInt *rout,*cout,*r,*c,*vi,*ai = a->i,*aj = a->j; 125904fbf559SBarry Smith PetscScalar *x,*tmp,sum; 126004fbf559SBarry Smith const PetscScalar *b; 1261dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1262da3a660dSBarry Smith 12633a40ed3dSBarry Smith PetscFunctionBegin; 126478b31e54SBarry Smith if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);} 1265da3a660dSBarry Smith 126604fbf559SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 12671ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1268416022c9SBarry Smith tmp = a->solve_work; 1269da3a660dSBarry Smith 12703b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 12713b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 1272da3a660dSBarry Smith 1273da3a660dSBarry Smith /* forward solve the lower triangular */ 1274da3a660dSBarry Smith tmp[0] = b[*r++]; 1275da3a660dSBarry Smith for (i=1; i<n; i++) { 1276010a20caSHong Zhang v = aa + ai[i] ; 1277010a20caSHong Zhang vi = aj + ai[i] ; 1278416022c9SBarry Smith nz = a->diag[i] - ai[i]; 1279da3a660dSBarry Smith sum = b[*r++]; 128004fbf559SBarry Smith for (j=0; j<nz; j++) sum -= v[j]*tmp[vi[j]]; 1281da3a660dSBarry Smith tmp[i] = sum; 1282da3a660dSBarry Smith } 1283da3a660dSBarry Smith 1284da3a660dSBarry Smith /* backward solve the upper triangular */ 1285da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 1286010a20caSHong Zhang v = aa + a->diag[i] + 1; 1287010a20caSHong Zhang vi = aj + a->diag[i] + 1; 1288416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 1289da3a660dSBarry Smith sum = tmp[i]; 129004fbf559SBarry Smith for (j=0; j<nz; j++) sum -= v[j]*tmp[vi[j]]; 1291010a20caSHong Zhang tmp[i] = sum*aa[a->diag[i]]; 1292da3a660dSBarry Smith x[*c--] += tmp[i]; 1293da3a660dSBarry Smith } 1294da3a660dSBarry Smith 12953b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 12963b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 129704fbf559SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 12981ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1299dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr); 1300898183ecSLois Curfman McInnes 13013a40ed3dSBarry Smith PetscFunctionReturn(0); 1302da3a660dSBarry Smith } 130304fbf559SBarry Smith 13044a2ae208SSatish Balay #undef __FUNCT__ 130535233d99SShri Abhyankar #define __FUNCT__ "MatSolveAdd_SeqAIJ" 130635233d99SShri Abhyankar PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx) 13073c0119dfSShri Abhyankar { 13083c0119dfSShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 13093c0119dfSShri Abhyankar IS iscol = a->col,isrow = a->row; 13103c0119dfSShri Abhyankar PetscErrorCode ierr; 13113c0119dfSShri Abhyankar PetscInt i, n = A->rmap->n,j; 13123c0119dfSShri Abhyankar PetscInt nz; 13133c0119dfSShri Abhyankar const PetscInt *rout,*cout,*r,*c,*vi,*ai = a->i,*aj = a->j,*adiag = a->diag; 13143c0119dfSShri Abhyankar PetscScalar *x,*tmp,sum; 13153c0119dfSShri Abhyankar const PetscScalar *b; 13163c0119dfSShri Abhyankar const MatScalar *aa = a->a,*v; 13173c0119dfSShri Abhyankar 13183c0119dfSShri Abhyankar PetscFunctionBegin; 13193c0119dfSShri Abhyankar if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);} 13203c0119dfSShri Abhyankar 13213c0119dfSShri Abhyankar ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 13223c0119dfSShri Abhyankar ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 13233c0119dfSShri Abhyankar tmp = a->solve_work; 13243c0119dfSShri Abhyankar 13253c0119dfSShri Abhyankar ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 13263c0119dfSShri Abhyankar ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 13273c0119dfSShri Abhyankar 13283c0119dfSShri Abhyankar /* forward solve the lower triangular */ 13293c0119dfSShri Abhyankar tmp[0] = b[r[0]]; 13303c0119dfSShri Abhyankar v = aa; 13313c0119dfSShri Abhyankar vi = aj; 13323c0119dfSShri Abhyankar for (i=1; i<n; i++) { 13333c0119dfSShri Abhyankar nz = ai[i+1] - ai[i]; 13343c0119dfSShri Abhyankar sum = b[r[i]]; 13353c0119dfSShri Abhyankar for (j=0; j<nz; j++) sum -= v[j]*tmp[vi[j]]; 13363c0119dfSShri Abhyankar tmp[i] = sum; 13373c0119dfSShri Abhyankar v += nz; vi += nz; 13383c0119dfSShri Abhyankar } 13393c0119dfSShri Abhyankar 13403c0119dfSShri Abhyankar /* backward solve the upper triangular */ 13413c0119dfSShri Abhyankar v = aa + adiag[n-1]; 13423c0119dfSShri Abhyankar vi = aj + adiag[n-1]; 13433c0119dfSShri Abhyankar for (i=n-1; i>=0; i--){ 13443c0119dfSShri Abhyankar nz = adiag[i] - adiag[i+1] - 1; 13453c0119dfSShri Abhyankar sum = tmp[i]; 13463c0119dfSShri Abhyankar for (j=0; j<nz; j++) sum -= v[j]*tmp[vi[j]]; 13473c0119dfSShri Abhyankar tmp[i] = sum*v[nz]; 13483c0119dfSShri Abhyankar x[c[i]] += tmp[i]; 13493c0119dfSShri Abhyankar v += nz+1; vi += nz+1; 13503c0119dfSShri Abhyankar } 13513c0119dfSShri Abhyankar 13523c0119dfSShri Abhyankar ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 13533c0119dfSShri Abhyankar ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 13543c0119dfSShri Abhyankar ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 13553c0119dfSShri Abhyankar ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 13563c0119dfSShri Abhyankar ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr); 13573c0119dfSShri Abhyankar 13583c0119dfSShri Abhyankar PetscFunctionReturn(0); 13593c0119dfSShri Abhyankar } 13603c0119dfSShri Abhyankar 13613c0119dfSShri Abhyankar #undef __FUNCT__ 1362ad04f41aSHong Zhang #define __FUNCT__ "MatSolveTranspose_SeqAIJ_inplace" 1363ad04f41aSHong Zhang PetscErrorCode MatSolveTranspose_SeqAIJ_inplace(Mat A,Vec bb,Vec xx) 1364da3a660dSBarry Smith { 1365416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 13662235e667SBarry Smith IS iscol = a->col,isrow = a->row; 13676849ba73SBarry Smith PetscErrorCode ierr; 136804fbf559SBarry Smith const PetscInt *rout,*cout,*r,*c,*diag = a->diag,*ai = a->i,*aj = a->j,*vi; 136904fbf559SBarry Smith PetscInt i,n = A->rmap->n,j; 137004fbf559SBarry Smith PetscInt nz; 137104fbf559SBarry Smith PetscScalar *x,*tmp,s1; 1372dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 137304fbf559SBarry Smith const PetscScalar *b; 1374da3a660dSBarry Smith 13753a40ed3dSBarry Smith PetscFunctionBegin; 137604fbf559SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 13771ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1378416022c9SBarry Smith tmp = a->solve_work; 1379da3a660dSBarry Smith 13802235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 13812235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 1382da3a660dSBarry Smith 1383da3a660dSBarry Smith /* copy the b into temp work space according to permutation */ 13842235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 1385da3a660dSBarry Smith 1386da3a660dSBarry Smith /* forward solve the U^T */ 1387da3a660dSBarry Smith for (i=0; i<n; i++) { 1388010a20caSHong Zhang v = aa + diag[i] ; 1389010a20caSHong Zhang vi = aj + diag[i] + 1; 1390f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 1391c38d4ed2SBarry Smith s1 = tmp[i]; 1392ef66eb69SBarry Smith s1 *= (*v++); /* multiply by inverse of diagonal entry */ 139304fbf559SBarry Smith for (j=0; j<nz; j++) tmp[vi[j]] -= s1*v[j]; 1394c38d4ed2SBarry Smith tmp[i] = s1; 1395da3a660dSBarry Smith } 1396da3a660dSBarry Smith 1397da3a660dSBarry Smith /* backward solve the L^T */ 1398da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 1399010a20caSHong Zhang v = aa + diag[i] - 1 ; 1400010a20caSHong Zhang vi = aj + diag[i] - 1 ; 1401f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 1402f1af5d2fSBarry Smith s1 = tmp[i]; 140304fbf559SBarry Smith for (j=0; j>-nz; j--) tmp[vi[j]] -= s1*v[j]; 1404da3a660dSBarry Smith } 1405da3a660dSBarry Smith 1406da3a660dSBarry Smith /* copy tmp into x according to permutation */ 1407591294e4SBarry Smith for (i=0; i<n; i++) x[r[i]] = tmp[i]; 1408da3a660dSBarry Smith 14092235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 14102235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 141104fbf559SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 14121ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1413da3a660dSBarry Smith 1414dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr); 14153a40ed3dSBarry Smith PetscFunctionReturn(0); 1416da3a660dSBarry Smith } 1417da3a660dSBarry Smith 1418d1fa9404SShri Abhyankar #undef __FUNCT__ 141935233d99SShri Abhyankar #define __FUNCT__ "MatSolveTranspose_SeqAIJ" 142035233d99SShri Abhyankar PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx) 1421d1fa9404SShri Abhyankar { 1422d1fa9404SShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1423d1fa9404SShri Abhyankar IS iscol = a->col,isrow = a->row; 1424d1fa9404SShri Abhyankar PetscErrorCode ierr; 1425d1fa9404SShri Abhyankar const PetscInt *rout,*cout,*r,*c,*adiag = a->diag,*ai = a->i,*aj = a->j,*vi; 1426d1fa9404SShri Abhyankar PetscInt i,n = A->rmap->n,j; 1427d1fa9404SShri Abhyankar PetscInt nz; 1428d1fa9404SShri Abhyankar PetscScalar *x,*tmp,s1; 1429d1fa9404SShri Abhyankar const MatScalar *aa = a->a,*v; 1430d1fa9404SShri Abhyankar const PetscScalar *b; 1431d1fa9404SShri Abhyankar 1432d1fa9404SShri Abhyankar PetscFunctionBegin; 1433d1fa9404SShri Abhyankar ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 1434d1fa9404SShri Abhyankar ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1435d1fa9404SShri Abhyankar tmp = a->solve_work; 1436d1fa9404SShri Abhyankar 1437d1fa9404SShri Abhyankar ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 1438d1fa9404SShri Abhyankar ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 1439d1fa9404SShri Abhyankar 1440d1fa9404SShri Abhyankar /* copy the b into temp work space according to permutation */ 1441d1fa9404SShri Abhyankar for (i=0; i<n; i++) tmp[i] = b[c[i]]; 1442d1fa9404SShri Abhyankar 1443d1fa9404SShri Abhyankar /* forward solve the U^T */ 1444d1fa9404SShri Abhyankar for (i=0; i<n; i++) { 1445d1fa9404SShri Abhyankar v = aa + adiag[i+1] + 1; 1446d1fa9404SShri Abhyankar vi = aj + adiag[i+1] + 1; 1447d1fa9404SShri Abhyankar nz = adiag[i] - adiag[i+1] - 1; 1448d1fa9404SShri Abhyankar s1 = tmp[i]; 1449d1fa9404SShri Abhyankar s1 *= v[nz]; /* multiply by inverse of diagonal entry */ 1450d1fa9404SShri Abhyankar for (j=0; j<nz; j++) tmp[vi[j]] -= s1*v[j]; 1451d1fa9404SShri Abhyankar tmp[i] = s1; 1452d1fa9404SShri Abhyankar } 1453d1fa9404SShri Abhyankar 1454d1fa9404SShri Abhyankar /* backward solve the L^T */ 1455d1fa9404SShri Abhyankar for (i=n-1; i>=0; i--){ 1456d1fa9404SShri Abhyankar v = aa + ai[i]; 1457d1fa9404SShri Abhyankar vi = aj + ai[i]; 1458d1fa9404SShri Abhyankar nz = ai[i+1] - ai[i]; 1459d1fa9404SShri Abhyankar s1 = tmp[i]; 1460d1fa9404SShri Abhyankar for (j=0; j<nz; j++) tmp[vi[j]] -= s1*v[j]; 1461d1fa9404SShri Abhyankar } 1462d1fa9404SShri Abhyankar 1463d1fa9404SShri Abhyankar /* copy tmp into x according to permutation */ 1464d1fa9404SShri Abhyankar for (i=0; i<n; i++) x[r[i]] = tmp[i]; 1465d1fa9404SShri Abhyankar 1466d1fa9404SShri Abhyankar ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 1467d1fa9404SShri Abhyankar ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 1468d1fa9404SShri Abhyankar ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 1469d1fa9404SShri Abhyankar ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1470d1fa9404SShri Abhyankar 1471d1fa9404SShri Abhyankar ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr); 1472d1fa9404SShri Abhyankar PetscFunctionReturn(0); 1473d1fa9404SShri Abhyankar } 1474d1fa9404SShri Abhyankar 14754a2ae208SSatish Balay #undef __FUNCT__ 1476ad04f41aSHong Zhang #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ_inplace" 1477ad04f41aSHong Zhang PetscErrorCode MatSolveTransposeAdd_SeqAIJ_inplace(Mat A,Vec bb,Vec zz,Vec xx) 1478da3a660dSBarry Smith { 1479416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 14802235e667SBarry Smith IS iscol = a->col,isrow = a->row; 14816849ba73SBarry Smith PetscErrorCode ierr; 148204fbf559SBarry Smith const PetscInt *rout,*cout,*r,*c,*diag = a->diag,*ai = a->i,*aj = a->j,*vi; 148304fbf559SBarry Smith PetscInt i,n = A->rmap->n,j; 148404fbf559SBarry Smith PetscInt nz; 148504fbf559SBarry Smith PetscScalar *x,*tmp,s1; 1486dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 148704fbf559SBarry Smith const PetscScalar *b; 14886abc6512SBarry Smith 14893a40ed3dSBarry Smith PetscFunctionBegin; 149023bc6035SMatthew Knepley if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);} 149104fbf559SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 14921ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1493416022c9SBarry Smith tmp = a->solve_work; 14946abc6512SBarry Smith 14952235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 14962235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 14976abc6512SBarry Smith 14986abc6512SBarry Smith /* copy the b into temp work space according to permutation */ 14992235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 15006abc6512SBarry Smith 15016abc6512SBarry Smith /* forward solve the U^T */ 15026abc6512SBarry Smith for (i=0; i<n; i++) { 1503010a20caSHong Zhang v = aa + diag[i] ; 1504010a20caSHong Zhang vi = aj + diag[i] + 1; 1505f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 150604fbf559SBarry Smith s1 = tmp[i]; 150704fbf559SBarry Smith s1 *= (*v++); /* multiply by inverse of diagonal entry */ 150804fbf559SBarry Smith for (j=0; j<nz; j++) tmp[vi[j]] -= s1*v[j]; 150904fbf559SBarry Smith tmp[i] = s1; 15106abc6512SBarry Smith } 15116abc6512SBarry Smith 15126abc6512SBarry Smith /* backward solve the L^T */ 15136abc6512SBarry Smith for (i=n-1; i>=0; i--){ 1514010a20caSHong Zhang v = aa + diag[i] - 1 ; 1515010a20caSHong Zhang vi = aj + diag[i] - 1 ; 1516f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 151704fbf559SBarry Smith s1 = tmp[i]; 151804fbf559SBarry Smith for (j=0; j>-nz; j--) tmp[vi[j]] -= s1*v[j]; 15196abc6512SBarry Smith } 15206abc6512SBarry Smith 15216abc6512SBarry Smith /* copy tmp into x according to permutation */ 15226abc6512SBarry Smith for (i=0; i<n; i++) x[r[i]] += tmp[i]; 15236abc6512SBarry Smith 15242235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 15252235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 152604fbf559SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 15271ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 15286abc6512SBarry Smith 152904fbf559SBarry Smith ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr); 15303a40ed3dSBarry Smith PetscFunctionReturn(0); 1531da3a660dSBarry Smith } 153204fbf559SBarry Smith 1533533e6011SShri Abhyankar #undef __FUNCT__ 153435233d99SShri Abhyankar #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ" 153535233d99SShri Abhyankar PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx) 1536533e6011SShri Abhyankar { 1537533e6011SShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1538533e6011SShri Abhyankar IS iscol = a->col,isrow = a->row; 1539533e6011SShri Abhyankar PetscErrorCode ierr; 1540533e6011SShri Abhyankar const PetscInt *rout,*cout,*r,*c,*adiag = a->diag,*ai = a->i,*aj = a->j,*vi; 1541533e6011SShri Abhyankar PetscInt i,n = A->rmap->n,j; 1542533e6011SShri Abhyankar PetscInt nz; 1543533e6011SShri Abhyankar PetscScalar *x,*tmp,s1; 1544533e6011SShri Abhyankar const MatScalar *aa = a->a,*v; 1545533e6011SShri Abhyankar const PetscScalar *b; 1546533e6011SShri Abhyankar 1547533e6011SShri Abhyankar PetscFunctionBegin; 1548533e6011SShri Abhyankar if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);} 1549533e6011SShri Abhyankar ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 1550533e6011SShri Abhyankar ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1551533e6011SShri Abhyankar tmp = a->solve_work; 1552533e6011SShri Abhyankar 1553533e6011SShri Abhyankar ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 1554533e6011SShri Abhyankar ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 1555533e6011SShri Abhyankar 1556533e6011SShri Abhyankar /* copy the b into temp work space according to permutation */ 1557533e6011SShri Abhyankar for (i=0; i<n; i++) tmp[i] = b[c[i]]; 1558533e6011SShri Abhyankar 1559533e6011SShri Abhyankar /* forward solve the U^T */ 1560533e6011SShri Abhyankar for (i=0; i<n; i++) { 1561533e6011SShri Abhyankar v = aa + adiag[i+1] + 1; 1562533e6011SShri Abhyankar vi = aj + adiag[i+1] + 1; 1563533e6011SShri Abhyankar nz = adiag[i] - adiag[i+1] - 1; 1564533e6011SShri Abhyankar s1 = tmp[i]; 1565533e6011SShri Abhyankar s1 *= v[nz]; /* multiply by inverse of diagonal entry */ 1566533e6011SShri Abhyankar for (j=0; j<nz; j++) tmp[vi[j]] -= s1*v[j]; 1567533e6011SShri Abhyankar tmp[i] = s1; 1568533e6011SShri Abhyankar } 1569533e6011SShri Abhyankar 1570533e6011SShri Abhyankar 1571533e6011SShri Abhyankar /* backward solve the L^T */ 1572533e6011SShri Abhyankar for (i=n-1; i>=0; i--){ 1573533e6011SShri Abhyankar v = aa + ai[i] ; 1574533e6011SShri Abhyankar vi = aj + ai[i]; 1575533e6011SShri Abhyankar nz = ai[i+1] - ai[i]; 1576533e6011SShri Abhyankar s1 = tmp[i]; 1577c5e3b2a3SShri Abhyankar for (j=0; j<nz; j++) tmp[vi[j]] -= s1*v[j]; 1578533e6011SShri Abhyankar } 1579533e6011SShri Abhyankar 1580533e6011SShri Abhyankar /* copy tmp into x according to permutation */ 1581533e6011SShri Abhyankar for (i=0; i<n; i++) x[r[i]] += tmp[i]; 1582533e6011SShri Abhyankar 1583533e6011SShri Abhyankar ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 1584533e6011SShri Abhyankar ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 1585533e6011SShri Abhyankar ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 1586533e6011SShri Abhyankar ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1587533e6011SShri Abhyankar 1588533e6011SShri Abhyankar ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr); 1589533e6011SShri Abhyankar PetscFunctionReturn(0); 1590533e6011SShri Abhyankar } 1591533e6011SShri Abhyankar 15929e25ed09SBarry Smith /* ----------------------------------------------------------------*/ 1593b47f5a65SHong Zhang 1594f77e22a1SHong Zhang EXTERN PetscErrorCode MatDuplicateNoCreate_SeqAIJ(Mat,Mat,MatDuplicateOption,PetscTruth); 159508480c60SBarry Smith 15968fc3a347SHong Zhang /* 15978a76ed4fSHong Zhang ilu() under revised new data structure. 1598813a1f2bSShri Abhyankar Factored arrays bj and ba are stored as 1599813a1f2bSShri Abhyankar L(0,:), L(1,:), ...,L(n-1,:), U(n-1,:),...,U(i,:),U(i-1,:),...,U(0,:) 1600813a1f2bSShri Abhyankar 1601813a1f2bSShri Abhyankar bi=fact->i is an array of size n+1, in which 1602813a1f2bSShri Abhyankar bi+ 1603baabb860SHong Zhang bi[i]: points to 1st entry of L(i,:),i=0,...,n-1 1604baabb860SHong Zhang bi[n]: points to L(n-1,n-1)+1 1605baabb860SHong Zhang 1606813a1f2bSShri Abhyankar bdiag=fact->diag is an array of size n+1,in which 1607baabb860SHong Zhang bdiag[i]: points to diagonal of U(i,:), i=0,...,n-1 1608a24f213cSHong Zhang bdiag[n]: points to entry of U(n-1,0)-1 1609813a1f2bSShri Abhyankar 1610813a1f2bSShri Abhyankar U(i,:) contains bdiag[i] as its last entry, i.e., 1611813a1f2bSShri Abhyankar U(i,:) = (u[i,i+1],...,u[i,n-1],diag[i]) 1612813a1f2bSShri Abhyankar */ 1613813a1f2bSShri Abhyankar #undef __FUNCT__ 161435233d99SShri Abhyankar #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_ilu0" 161535233d99SShri Abhyankar PetscErrorCode MatILUFactorSymbolic_SeqAIJ_ilu0(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 1616813a1f2bSShri Abhyankar { 1617813a1f2bSShri Abhyankar 1618813a1f2bSShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 1619813a1f2bSShri Abhyankar PetscErrorCode ierr; 1620813a1f2bSShri Abhyankar PetscInt n=A->rmap->n,*ai=a->i,*aj,*adiag=a->diag; 1621a24f213cSHong Zhang PetscInt i,j,nz,*bi,*bj,*bdiag; 16221df811f5SHong Zhang PetscTruth missing; 16231df811f5SHong Zhang IS isicol; 1624813a1f2bSShri Abhyankar 1625813a1f2bSShri Abhyankar PetscFunctionBegin; 16261df811f5SHong 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); 16271df811f5SHong Zhang ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr); 16281df811f5SHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",i); 16291df811f5SHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 16301df811f5SHong Zhang 1631813a1f2bSShri Abhyankar ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_FALSE);CHKERRQ(ierr); 1632813a1f2bSShri Abhyankar b = (Mat_SeqAIJ*)(fact)->data; 1633813a1f2bSShri Abhyankar 1634813a1f2bSShri Abhyankar /* allocate matrix arrays for new data structure */ 1635813a1f2bSShri Abhyankar ierr = PetscMalloc3(ai[n]+1,PetscScalar,&b->a,ai[n]+1,PetscInt,&b->j,n+1,PetscInt,&b->i);CHKERRQ(ierr); 1636813a1f2bSShri Abhyankar ierr = PetscLogObjectMemory(fact,ai[n]*(sizeof(PetscScalar)+sizeof(PetscInt))+(n+1)*sizeof(PetscInt));CHKERRQ(ierr); 1637813a1f2bSShri Abhyankar b->singlemalloc = PETSC_TRUE; 1638813a1f2bSShri Abhyankar if (!b->diag){ 1639813a1f2bSShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscInt),&b->diag);CHKERRQ(ierr); 1640813a1f2bSShri Abhyankar ierr = PetscLogObjectMemory(fact,(n+1)*sizeof(PetscInt));CHKERRQ(ierr); 1641813a1f2bSShri Abhyankar } 1642813a1f2bSShri Abhyankar bdiag = b->diag; 1643813a1f2bSShri Abhyankar 1644813a1f2bSShri Abhyankar if (n > 0) { 1645813a1f2bSShri Abhyankar ierr = PetscMemzero(b->a,(ai[n])*sizeof(MatScalar));CHKERRQ(ierr); 1646813a1f2bSShri Abhyankar } 1647813a1f2bSShri Abhyankar 1648813a1f2bSShri Abhyankar /* set bi and bj with new data structure */ 1649813a1f2bSShri Abhyankar bi = b->i; 1650813a1f2bSShri Abhyankar bj = b->j; 1651813a1f2bSShri Abhyankar 1652813a1f2bSShri Abhyankar /* L part */ 1653e60cf9a0SBarry Smith bi[0] = 0; 1654813a1f2bSShri Abhyankar for (i=0; i<n; i++){ 1655813a1f2bSShri Abhyankar nz = adiag[i] - ai[i]; 1656813a1f2bSShri Abhyankar bi[i+1] = bi[i] + nz; 1657813a1f2bSShri Abhyankar aj = a->j + ai[i]; 1658813a1f2bSShri Abhyankar for (j=0; j<nz; j++){ 1659813a1f2bSShri Abhyankar *bj = aj[j]; bj++; 1660813a1f2bSShri Abhyankar } 1661813a1f2bSShri Abhyankar } 1662813a1f2bSShri Abhyankar 1663813a1f2bSShri Abhyankar /* U part */ 166462fbd6afSShri Abhyankar bdiag[n] = bi[n]-1; 1665813a1f2bSShri Abhyankar for (i=n-1; i>=0; i--){ 1666813a1f2bSShri Abhyankar nz = ai[i+1] - adiag[i] - 1; 1667813a1f2bSShri Abhyankar aj = a->j + adiag[i] + 1; 1668813a1f2bSShri Abhyankar for (j=0; j<nz; j++){ 1669813a1f2bSShri Abhyankar *bj = aj[j]; bj++; 1670813a1f2bSShri Abhyankar } 1671813a1f2bSShri Abhyankar /* diag[i] */ 1672813a1f2bSShri Abhyankar *bj = i; bj++; 1673a24f213cSHong Zhang bdiag[i] = bdiag[i+1] + nz + 1; 1674813a1f2bSShri Abhyankar } 16751df811f5SHong Zhang 16761df811f5SHong Zhang fact->factor = MAT_FACTOR_ILU; 16771df811f5SHong Zhang fact->info.factor_mallocs = 0; 16781df811f5SHong Zhang fact->info.fill_ratio_given = info->fill; 16791df811f5SHong Zhang fact->info.fill_ratio_needed = 1.0; 168035233d99SShri Abhyankar fact->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 16811df811f5SHong Zhang 16821df811f5SHong Zhang b = (Mat_SeqAIJ*)(fact)->data; 16831df811f5SHong Zhang b->row = isrow; 16841df811f5SHong Zhang b->col = iscol; 16851df811f5SHong Zhang b->icol = isicol; 16861df811f5SHong Zhang ierr = PetscMalloc((fact->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 16871df811f5SHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 16881df811f5SHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 1689813a1f2bSShri Abhyankar PetscFunctionReturn(0); 1690813a1f2bSShri Abhyankar } 1691813a1f2bSShri Abhyankar 1692813a1f2bSShri Abhyankar #undef __FUNCT__ 169335233d99SShri Abhyankar #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ" 169435233d99SShri Abhyankar PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 1695813a1f2bSShri Abhyankar { 1696813a1f2bSShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 1697813a1f2bSShri Abhyankar IS isicol; 1698813a1f2bSShri Abhyankar PetscErrorCode ierr; 1699813a1f2bSShri Abhyankar const PetscInt *r,*ic; 17001df811f5SHong Zhang PetscInt n=A->rmap->n,*ai=a->i,*aj=a->j; 1701813a1f2bSShri Abhyankar PetscInt *bi,*cols,nnz,*cols_lvl; 1702813a1f2bSShri Abhyankar PetscInt *bdiag,prow,fm,nzbd,reallocs=0,dcount=0; 1703813a1f2bSShri Abhyankar PetscInt i,levels,diagonal_fill; 1704813a1f2bSShri Abhyankar PetscTruth col_identity,row_identity; 1705813a1f2bSShri Abhyankar PetscReal f; 1706813a1f2bSShri Abhyankar PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 1707813a1f2bSShri Abhyankar PetscBT lnkbt; 1708813a1f2bSShri Abhyankar PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 1709813a1f2bSShri Abhyankar PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1710813a1f2bSShri Abhyankar PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 171135233d99SShri Abhyankar PetscTruth olddatastruct=PETSC_FALSE; 1712813a1f2bSShri Abhyankar 1713813a1f2bSShri Abhyankar PetscFunctionBegin; 171435233d99SShri Abhyankar ierr = PetscOptionsGetTruth(PETSC_NULL,"-ilu_old",&olddatastruct,PETSC_NULL);CHKERRQ(ierr); 171535233d99SShri Abhyankar if(olddatastruct){ 1716ad04f41aSHong Zhang ierr = MatILUFactorSymbolic_SeqAIJ_inplace(fact,A,isrow,iscol,info);CHKERRQ(ierr); 1717ad04f41aSHong Zhang PetscFunctionReturn(0); 1718ad04f41aSHong Zhang } 1719ad04f41aSHong Zhang 1720813a1f2bSShri Abhyankar levels = (PetscInt)info->levels; 1721813a1f2bSShri Abhyankar ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 1722813a1f2bSShri Abhyankar ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 1723813a1f2bSShri Abhyankar 1724813a1f2bSShri Abhyankar if (!levels && row_identity && col_identity) { 1725813a1f2bSShri Abhyankar /* special case: ilu(0) with natural ordering */ 172635233d99SShri Abhyankar ierr = MatILUFactorSymbolic_SeqAIJ_ilu0(fact,A,isrow,iscol,info);CHKERRQ(ierr); 1727019b515eSShri Abhyankar ierr = Mat_CheckInode_FactorLU(fact,PETSC_FALSE);CHKERRQ(ierr); 1728813a1f2bSShri Abhyankar PetscFunctionReturn(0); 1729813a1f2bSShri Abhyankar } 1730813a1f2bSShri Abhyankar 17311df811f5SHong 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); 17321df811f5SHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 1733813a1f2bSShri Abhyankar ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 1734813a1f2bSShri Abhyankar ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 1735813a1f2bSShri Abhyankar 17361bfa06eaSJed Brown /* get new row and diagonal pointers, must be allocated separately because they will be given to the Mat_SeqAIJ and freed separately */ 17371bfa06eaSJed Brown ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 17381bfa06eaSJed Brown ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 1739e60cf9a0SBarry Smith bi[0] = bdiag[0] = 0; 1740813a1f2bSShri Abhyankar 17410e83c824SBarry Smith ierr = PetscMalloc2(n,PetscInt*,&bj_ptr,n,PetscInt*,&bjlvl_ptr);CHKERRQ(ierr); 1742813a1f2bSShri Abhyankar 1743813a1f2bSShri Abhyankar /* create a linked list for storing column indices of the active row */ 1744813a1f2bSShri Abhyankar nlnk = n + 1; 1745813a1f2bSShri Abhyankar ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 1746813a1f2bSShri Abhyankar 1747813a1f2bSShri Abhyankar /* initial FreeSpace size is f*(ai[n]+1) */ 17481df811f5SHong Zhang f = info->fill; 17491df811f5SHong Zhang diagonal_fill = (PetscInt)info->diagonal_fill; 1750813a1f2bSShri Abhyankar ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 1751813a1f2bSShri Abhyankar current_space = free_space; 1752813a1f2bSShri Abhyankar ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr); 1753813a1f2bSShri Abhyankar current_space_lvl = free_space_lvl; 1754813a1f2bSShri Abhyankar 1755813a1f2bSShri Abhyankar for (i=0; i<n; i++) { 1756813a1f2bSShri Abhyankar nzi = 0; 1757813a1f2bSShri Abhyankar /* copy current row into linked list */ 1758813a1f2bSShri Abhyankar nnz = ai[r[i]+1] - ai[r[i]]; 1759813a1f2bSShri Abhyankar if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i); 1760813a1f2bSShri Abhyankar cols = aj + ai[r[i]]; 1761813a1f2bSShri Abhyankar lnk[i] = -1; /* marker to indicate if diagonal exists */ 1762813a1f2bSShri Abhyankar ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 1763813a1f2bSShri Abhyankar nzi += nlnk; 1764813a1f2bSShri Abhyankar 1765813a1f2bSShri Abhyankar /* make sure diagonal entry is included */ 1766813a1f2bSShri Abhyankar if (diagonal_fill && lnk[i] == -1) { 1767813a1f2bSShri Abhyankar fm = n; 1768813a1f2bSShri Abhyankar while (lnk[fm] < i) fm = lnk[fm]; 1769813a1f2bSShri Abhyankar lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 1770813a1f2bSShri Abhyankar lnk[fm] = i; 1771813a1f2bSShri Abhyankar lnk_lvl[i] = 0; 1772813a1f2bSShri Abhyankar nzi++; dcount++; 1773813a1f2bSShri Abhyankar } 1774813a1f2bSShri Abhyankar 1775813a1f2bSShri Abhyankar /* add pivot rows into the active row */ 1776813a1f2bSShri Abhyankar nzbd = 0; 1777813a1f2bSShri Abhyankar prow = lnk[n]; 1778813a1f2bSShri Abhyankar while (prow < i) { 1779813a1f2bSShri Abhyankar nnz = bdiag[prow]; 1780813a1f2bSShri Abhyankar cols = bj_ptr[prow] + nnz + 1; 1781813a1f2bSShri Abhyankar cols_lvl = bjlvl_ptr[prow] + nnz + 1; 1782813a1f2bSShri Abhyankar nnz = bi[prow+1] - bi[prow] - nnz - 1; 1783813a1f2bSShri Abhyankar ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 1784813a1f2bSShri Abhyankar nzi += nlnk; 1785813a1f2bSShri Abhyankar prow = lnk[prow]; 1786813a1f2bSShri Abhyankar nzbd++; 1787813a1f2bSShri Abhyankar } 1788813a1f2bSShri Abhyankar bdiag[i] = nzbd; 1789813a1f2bSShri Abhyankar bi[i+1] = bi[i] + nzi; 1790813a1f2bSShri Abhyankar 1791813a1f2bSShri Abhyankar /* if free space is not available, make more free space */ 1792813a1f2bSShri Abhyankar if (current_space->local_remaining<nzi) { 1793813a1f2bSShri Abhyankar nnz = 2*nzi*(n - i); /* estimated and max additional space needed */ 1794813a1f2bSShri Abhyankar ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 1795813a1f2bSShri Abhyankar ierr = PetscFreeSpaceGet(nnz,¤t_space_lvl);CHKERRQ(ierr); 1796813a1f2bSShri Abhyankar reallocs++; 1797813a1f2bSShri Abhyankar } 1798813a1f2bSShri Abhyankar 1799813a1f2bSShri Abhyankar /* copy data into free_space and free_space_lvl, then initialize lnk */ 1800813a1f2bSShri Abhyankar ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 1801813a1f2bSShri Abhyankar bj_ptr[i] = current_space->array; 1802813a1f2bSShri Abhyankar bjlvl_ptr[i] = current_space_lvl->array; 1803813a1f2bSShri Abhyankar 1804813a1f2bSShri Abhyankar /* make sure the active row i has diagonal entry */ 1805813a1f2bSShri Abhyankar if (*(bj_ptr[i]+bdiag[i]) != i) { 1806813a1f2bSShri Abhyankar SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 1807813a1f2bSShri Abhyankar try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i); 1808813a1f2bSShri Abhyankar } 1809813a1f2bSShri Abhyankar 1810813a1f2bSShri Abhyankar current_space->array += nzi; 1811813a1f2bSShri Abhyankar current_space->local_used += nzi; 1812813a1f2bSShri Abhyankar current_space->local_remaining -= nzi; 1813813a1f2bSShri Abhyankar current_space_lvl->array += nzi; 1814813a1f2bSShri Abhyankar current_space_lvl->local_used += nzi; 1815813a1f2bSShri Abhyankar current_space_lvl->local_remaining -= nzi; 1816813a1f2bSShri Abhyankar } 1817813a1f2bSShri Abhyankar 1818813a1f2bSShri Abhyankar ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 1819813a1f2bSShri Abhyankar ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 1820813a1f2bSShri Abhyankar 1821813a1f2bSShri Abhyankar /* destroy list of free space and other temporary arrays */ 1822813a1f2bSShri Abhyankar ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 1823813a1f2bSShri Abhyankar 1824813a1f2bSShri Abhyankar /* copy free_space into bj and free free_space; set bi, bj, bdiag in new datastructure; */ 18252ce24eb6SHong Zhang ierr = PetscFreeSpaceContiguous_LU(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr); 1826813a1f2bSShri Abhyankar 1827813a1f2bSShri Abhyankar ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 1828813a1f2bSShri Abhyankar ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 18290e83c824SBarry Smith ierr = PetscFree2(bj_ptr,bjlvl_ptr);CHKERRQ(ierr); 1830813a1f2bSShri Abhyankar 1831813a1f2bSShri Abhyankar #if defined(PETSC_USE_INFO) 1832813a1f2bSShri Abhyankar { 1833813a1f2bSShri Abhyankar PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 1834813a1f2bSShri Abhyankar ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 1835813a1f2bSShri Abhyankar ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 1836813a1f2bSShri Abhyankar ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr); 1837813a1f2bSShri Abhyankar ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 1838813a1f2bSShri Abhyankar if (diagonal_fill) { 1839813a1f2bSShri Abhyankar ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr); 1840813a1f2bSShri Abhyankar } 1841813a1f2bSShri Abhyankar } 1842813a1f2bSShri Abhyankar #endif 1843813a1f2bSShri Abhyankar 1844813a1f2bSShri Abhyankar /* put together the new matrix */ 1845813a1f2bSShri Abhyankar ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 1846813a1f2bSShri Abhyankar ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr); 1847813a1f2bSShri Abhyankar b = (Mat_SeqAIJ*)(fact)->data; 1848813a1f2bSShri Abhyankar b->free_a = PETSC_TRUE; 1849813a1f2bSShri Abhyankar b->free_ij = PETSC_TRUE; 1850813a1f2bSShri Abhyankar b->singlemalloc = PETSC_FALSE; 1851f268cba8SShri Abhyankar ierr = PetscMalloc((bdiag[0]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 1852813a1f2bSShri Abhyankar b->j = bj; 1853813a1f2bSShri Abhyankar b->i = bi; 1854813a1f2bSShri Abhyankar b->diag = bdiag; 1855813a1f2bSShri Abhyankar b->ilen = 0; 1856813a1f2bSShri Abhyankar b->imax = 0; 1857813a1f2bSShri Abhyankar b->row = isrow; 1858813a1f2bSShri Abhyankar b->col = iscol; 1859813a1f2bSShri Abhyankar ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1860813a1f2bSShri Abhyankar ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 1861813a1f2bSShri Abhyankar b->icol = isicol; 1862813a1f2bSShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1863813a1f2bSShri Abhyankar /* In b structure: Free imax, ilen, old a, old j. 1864813a1f2bSShri Abhyankar Allocate bdiag, solve_work, new a, new j */ 1865f268cba8SShri Abhyankar ierr = PetscLogObjectMemory(fact,(bdiag[0]+1)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 1866f268cba8SShri Abhyankar b->maxnz = b->nz = bdiag[0]+1; 1867813a1f2bSShri Abhyankar (fact)->info.factor_mallocs = reallocs; 1868813a1f2bSShri Abhyankar (fact)->info.fill_ratio_given = f; 1869f268cba8SShri Abhyankar (fact)->info.fill_ratio_needed = ((PetscReal)(bdiag[0]+1))/((PetscReal)ai[n]); 187035233d99SShri Abhyankar (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 1871019b515eSShri Abhyankar ierr = Mat_CheckInode_FactorLU(fact,PETSC_FALSE);CHKERRQ(ierr); 1872813a1f2bSShri Abhyankar PetscFunctionReturn(0); 1873813a1f2bSShri Abhyankar } 1874813a1f2bSShri Abhyankar 18756516239fSHong Zhang #undef __FUNCT__ 1876ad04f41aSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_inplace" 1877ad04f41aSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ_inplace(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 18786516239fSHong Zhang { 18796516239fSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 18806516239fSHong Zhang IS isicol; 18816516239fSHong Zhang PetscErrorCode ierr; 18826516239fSHong Zhang const PetscInt *r,*ic; 18836516239fSHong Zhang PetscInt n=A->rmap->n,*ai=a->i,*aj=a->j,d; 18846516239fSHong Zhang PetscInt *bi,*cols,nnz,*cols_lvl; 18856516239fSHong Zhang PetscInt *bdiag,prow,fm,nzbd,reallocs=0,dcount=0; 18866516239fSHong Zhang PetscInt i,levels,diagonal_fill; 18876516239fSHong Zhang PetscTruth col_identity,row_identity; 18886516239fSHong Zhang PetscReal f; 18896516239fSHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 18906516239fSHong Zhang PetscBT lnkbt; 18916516239fSHong Zhang PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 18926516239fSHong Zhang PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 18936516239fSHong Zhang PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 18946516239fSHong Zhang PetscTruth missing; 18956516239fSHong Zhang 18966516239fSHong Zhang PetscFunctionBegin; 18976516239fSHong 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); 18986516239fSHong Zhang f = info->fill; 18996516239fSHong Zhang levels = (PetscInt)info->levels; 19006516239fSHong Zhang diagonal_fill = (PetscInt)info->diagonal_fill; 19016516239fSHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 19026516239fSHong Zhang 19036516239fSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 19046516239fSHong Zhang ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 19056516239fSHong Zhang if (!levels && row_identity && col_identity) { /* special case: ilu(0) with natural ordering */ 1906f77e22a1SHong Zhang ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_TRUE);CHKERRQ(ierr); 1907ad04f41aSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_inplace; 1908c9c72f8fSHong Zhang 1909719d5645SBarry Smith fact->factor = MAT_FACTOR_ILU; 1910719d5645SBarry Smith (fact)->info.factor_mallocs = 0; 1911719d5645SBarry Smith (fact)->info.fill_ratio_given = info->fill; 1912719d5645SBarry Smith (fact)->info.fill_ratio_needed = 1.0; 1913719d5645SBarry Smith b = (Mat_SeqAIJ*)(fact)->data; 19148ef3462fSBarry Smith ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 191509f38230SBarry Smith if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 191608480c60SBarry Smith b->row = isrow; 191708480c60SBarry Smith b->col = iscol; 191882bf6240SBarry Smith b->icol = isicol; 1919719d5645SBarry Smith ierr = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1920c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1921c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 19224108e4d5SBarry Smith ierr = MatILUFactorSymbolic_SeqAIJ_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); 19233a40ed3dSBarry Smith PetscFunctionReturn(0); 192408480c60SBarry Smith } 192508480c60SBarry Smith 1926898183ecSLois Curfman McInnes ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 1927898183ecSLois Curfman McInnes ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 19289e25ed09SBarry Smith 19291bfa06eaSJed Brown /* get new row and diagonal pointers, must be allocated separately because they will be given to the Mat_SeqAIJ and freed separately */ 19301bfa06eaSJed Brown ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 19311bfa06eaSJed Brown ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 1932a6df321fSShri Abhyankar bi[0] = bdiag[0] = 0; 19336cf997b0SBarry Smith 19340e83c824SBarry Smith ierr = PetscMalloc2(n,PetscInt*,&bj_ptr,n,PetscInt*,&bjlvl_ptr);CHKERRQ(ierr); 19355a8e39fbSHong Zhang 19365a8e39fbSHong Zhang /* create a linked list for storing column indices of the active row */ 19375a8e39fbSHong Zhang nlnk = n + 1; 19385a8e39fbSHong Zhang ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 19395a8e39fbSHong Zhang 19405a8e39fbSHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 1941a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 19425a8e39fbSHong Zhang current_space = free_space; 1943a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr); 19445a8e39fbSHong Zhang current_space_lvl = free_space_lvl; 19455a8e39fbSHong Zhang 19465a8e39fbSHong Zhang for (i=0; i<n; i++) { 19475a8e39fbSHong Zhang nzi = 0; 19486cf997b0SBarry Smith /* copy current row into linked list */ 19495a8e39fbSHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 19503b4a8b6dSBarry 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); 19515a8e39fbSHong Zhang cols = aj + ai[r[i]]; 19525a8e39fbSHong Zhang lnk[i] = -1; /* marker to indicate if diagonal exists */ 19535a8e39fbSHong Zhang ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 19545a8e39fbSHong Zhang nzi += nlnk; 19556cf997b0SBarry Smith 19566cf997b0SBarry Smith /* make sure diagonal entry is included */ 19575a8e39fbSHong Zhang if (diagonal_fill && lnk[i] == -1) { 19586cf997b0SBarry Smith fm = n; 19595a8e39fbSHong Zhang while (lnk[fm] < i) fm = lnk[fm]; 19605a8e39fbSHong Zhang lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 19615a8e39fbSHong Zhang lnk[fm] = i; 19625a8e39fbSHong Zhang lnk_lvl[i] = 0; 19635a8e39fbSHong Zhang nzi++; dcount++; 19646cf997b0SBarry Smith } 19656cf997b0SBarry Smith 19665a8e39fbSHong Zhang /* add pivot rows into the active row */ 19675a8e39fbSHong Zhang nzbd = 0; 19685a8e39fbSHong Zhang prow = lnk[n]; 19695a8e39fbSHong Zhang while (prow < i) { 19705a8e39fbSHong Zhang nnz = bdiag[prow]; 19715a8e39fbSHong Zhang cols = bj_ptr[prow] + nnz + 1; 19725a8e39fbSHong Zhang cols_lvl = bjlvl_ptr[prow] + nnz + 1; 19735a8e39fbSHong Zhang nnz = bi[prow+1] - bi[prow] - nnz - 1; 19745a8e39fbSHong Zhang ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 19755a8e39fbSHong Zhang nzi += nlnk; 19765a8e39fbSHong Zhang prow = lnk[prow]; 19775a8e39fbSHong Zhang nzbd++; 197856beaf04SBarry Smith } 19795a8e39fbSHong Zhang bdiag[i] = nzbd; 19805a8e39fbSHong Zhang bi[i+1] = bi[i] + nzi; 1981ecf371e4SBarry Smith 19825a8e39fbSHong Zhang /* if free space is not available, make more free space */ 19835a8e39fbSHong Zhang if (current_space->local_remaining<nzi) { 19845a8e39fbSHong Zhang nnz = nzi*(n - i); /* estimated and max additional space needed */ 1985a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 1986a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space_lvl);CHKERRQ(ierr); 19875a8e39fbSHong Zhang reallocs++; 19885a8e39fbSHong Zhang } 1989ecf371e4SBarry Smith 19905a8e39fbSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 19915a8e39fbSHong Zhang ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 19925a8e39fbSHong Zhang bj_ptr[i] = current_space->array; 19935a8e39fbSHong Zhang bjlvl_ptr[i] = current_space_lvl->array; 19945a8e39fbSHong Zhang 19955a8e39fbSHong Zhang /* make sure the active row i has diagonal entry */ 19965a8e39fbSHong Zhang if (*(bj_ptr[i]+bdiag[i]) != i) { 199777431f27SBarry Smith SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 1998d7ee0231SBarry Smith try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i); 19996cf997b0SBarry Smith } 20005a8e39fbSHong Zhang 20015a8e39fbSHong Zhang current_space->array += nzi; 20025a8e39fbSHong Zhang current_space->local_used += nzi; 20035a8e39fbSHong Zhang current_space->local_remaining -= nzi; 20045a8e39fbSHong Zhang current_space_lvl->array += nzi; 20055a8e39fbSHong Zhang current_space_lvl->local_used += nzi; 20065a8e39fbSHong Zhang current_space_lvl->local_remaining -= nzi; 20079e25ed09SBarry Smith } 20085a8e39fbSHong Zhang 2009898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 2010898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 20115a8e39fbSHong Zhang 20125a8e39fbSHong Zhang /* destroy list of free space and other temporary arrays */ 20135a8e39fbSHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 20146516239fSHong Zhang ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); /* copy free_space -> bj */ 20155a8e39fbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 2016a1a86e44SBarry Smith ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 20170e83c824SBarry Smith ierr = PetscFree2(bj_ptr,bjlvl_ptr);CHKERRQ(ierr); 20189e25ed09SBarry Smith 20196cf91177SBarry Smith #if defined(PETSC_USE_INFO) 2020f64065bbSBarry Smith { 20215a8e39fbSHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 2022ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 2023ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 2024ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr); 2025ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 2026335d9088SBarry Smith if (diagonal_fill) { 2027ae15b995SBarry Smith ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr); 2028335d9088SBarry Smith } 2029f64065bbSBarry Smith } 203063ba0a88SBarry Smith #endif 2031bbb6d6a8SBarry Smith 20329e25ed09SBarry Smith /* put together the new matrix */ 203307dbf95fSBarry Smith ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 2034719d5645SBarry Smith ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr); 2035719d5645SBarry Smith b = (Mat_SeqAIJ*)(fact)->data; 2036e6b907acSBarry Smith b->free_a = PETSC_TRUE; 2037e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 20387c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 20390e83c824SBarry Smith ierr = PetscMalloc(bi[n]*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 20405a8e39fbSHong Zhang b->j = bj; 20415a8e39fbSHong Zhang b->i = bi; 20425a8e39fbSHong Zhang for (i=0; i<n; i++) bdiag[i] += bi[i]; 20435a8e39fbSHong Zhang b->diag = bdiag; 2044416022c9SBarry Smith b->ilen = 0; 2045416022c9SBarry Smith b->imax = 0; 2046416022c9SBarry Smith b->row = isrow; 2047416022c9SBarry Smith b->col = iscol; 2048c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 2049c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 205082bf6240SBarry Smith b->icol = isicol; 205187828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2052416022c9SBarry Smith /* In b structure: Free imax, ilen, old a, old j. 20535a8e39fbSHong Zhang Allocate bdiag, solve_work, new a, new j */ 2054719d5645SBarry Smith ierr = PetscLogObjectMemory(fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 20555a8e39fbSHong Zhang b->maxnz = b->nz = bi[n] ; 2056719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 2057719d5645SBarry Smith (fact)->info.fill_ratio_given = f; 2058719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 2059ad04f41aSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_inplace; 20604108e4d5SBarry Smith ierr = MatILUFactorSymbolic_SeqAIJ_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); 20613a40ed3dSBarry Smith PetscFunctionReturn(0); 20629e25ed09SBarry Smith } 2063d5d45c9bSBarry Smith 2064a6175056SHong Zhang #undef __FUNCT__ 206535233d99SShri Abhyankar #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ" 206635233d99SShri Abhyankar PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info) 20675f44c854SHong Zhang { 20685f44c854SHong Zhang Mat C = B; 20695f44c854SHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 20705f44c854SHong Zhang Mat_SeqSBAIJ *b=(Mat_SeqSBAIJ*)C->data; 20715f44c854SHong Zhang IS ip=b->row,iip = b->icol; 20725f44c854SHong Zhang PetscErrorCode ierr; 20735f44c854SHong Zhang const PetscInt *rip,*riip; 20745f44c854SHong Zhang PetscInt i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bdiag=b->diag,*bjtmp; 20755f44c854SHong Zhang PetscInt *ai=a->i,*aj=a->j; 20765f44c854SHong Zhang PetscInt k,jmin,jmax,*c2r,*il,col,nexti,ili,nz; 20775f44c854SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi; 20785f44c854SHong Zhang PetscTruth perm_identity; 20795f44c854SHong Zhang 208098a93161SHong Zhang LUShift_Ctx sctx; 208198a93161SHong Zhang PetscInt newshift; 208298a93161SHong Zhang PetscReal rs; 208398a93161SHong Zhang MatScalar d,*v; 208498a93161SHong Zhang 20855f44c854SHong Zhang PetscFunctionBegin; 208698a93161SHong Zhang /* MatPivotSetUp(): initialize shift context sctx */ 208798a93161SHong Zhang ierr = PetscMemzero(&sctx,sizeof(LUShift_Ctx));CHKERRQ(ierr); 208898a93161SHong Zhang 208998a93161SHong Zhang /* if both shift schemes are chosen by user, only use info->shiftpd */ 209098a93161SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 209198a93161SHong Zhang sctx.shift_top = info->zeropivot; 209298a93161SHong Zhang for (i=0; i<mbs; i++) { 209398a93161SHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 209498a93161SHong Zhang d = (aa)[a->diag[i]]; 209598a93161SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 209698a93161SHong Zhang v = aa+ai[i]; 209798a93161SHong Zhang nz = ai[i+1] - ai[i]; 209898a93161SHong Zhang for (j=0; j<nz; j++) 209998a93161SHong Zhang rs += PetscAbsScalar(v[j]); 210098a93161SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 210198a93161SHong Zhang } 210298a93161SHong Zhang sctx.shift_top *= 1.1; 210398a93161SHong Zhang sctx.nshift_max = 5; 210498a93161SHong Zhang sctx.shift_lo = 0.; 210598a93161SHong Zhang sctx.shift_hi = 1.; 210698a93161SHong Zhang } 21075f44c854SHong Zhang 21085f44c854SHong Zhang ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 21095f44c854SHong Zhang ierr = ISGetIndices(iip,&riip);CHKERRQ(ierr); 21105f44c854SHong Zhang 21115f44c854SHong Zhang /* allocate working arrays 21125f44c854SHong Zhang c2r: linked list, keep track of pivot rows for a given column. c2r[col]: head of the list for a given col 21135f44c854SHong Zhang il: for active k row, il[i] gives the index of the 1st nonzero entry in U[i,k:n-1] in bj and ba arrays 21145f44c854SHong Zhang */ 21150e83c824SBarry Smith ierr = PetscMalloc3(mbs,MatScalar,&rtmp,mbs,PetscInt,&il,mbs,PetscInt,&c2r);CHKERRQ(ierr); 21165f44c854SHong Zhang 211798a93161SHong Zhang do { 211898a93161SHong Zhang sctx.lushift = PETSC_FALSE; 211998a93161SHong Zhang 2120c5546cabSHong Zhang for (i=0; i<mbs; i++) c2r[i] = mbs; 21215f44c854SHong Zhang il[0] = 0; 21225f44c854SHong Zhang 21235f44c854SHong Zhang for (k = 0; k<mbs; k++){ 21245f44c854SHong Zhang /* zero rtmp */ 21255f44c854SHong Zhang nz = bi[k+1] - bi[k]; 21265f44c854SHong Zhang bjtmp = bj + bi[k]; 21275f44c854SHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 21285f44c854SHong Zhang 21295f44c854SHong Zhang /* load in initial unfactored row */ 21305f44c854SHong Zhang bval = ba + bi[k]; 21315f44c854SHong Zhang jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 21325f44c854SHong Zhang for (j = jmin; j < jmax; j++){ 21335f44c854SHong Zhang col = riip[aj[j]]; 21345f44c854SHong Zhang if (col >= k){ /* only take upper triangular entry */ 21355f44c854SHong Zhang rtmp[col] = aa[j]; 21365f44c854SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 21375f44c854SHong Zhang } 21385f44c854SHong Zhang } 213998a93161SHong Zhang /* shift the diagonal of the matrix: ZeropivotApply() */ 214098a93161SHong Zhang rtmp[k] += sctx.shift_amount; /* shift the diagonal of the matrix */ 21415f44c854SHong Zhang 21425f44c854SHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 21435f44c854SHong Zhang dk = rtmp[k]; 21445f44c854SHong Zhang i = c2r[k]; /* first row to be added to k_th row */ 21455f44c854SHong Zhang 21465f44c854SHong Zhang while (i < k){ 21475f44c854SHong Zhang nexti = c2r[i]; /* next row to be added to k_th row */ 21485f44c854SHong Zhang 21495f44c854SHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 21505f44c854SHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 21515f44c854SHong Zhang uikdi = - ba[ili]*ba[bdiag[i]]; /* diagonal(k) */ 21525f44c854SHong Zhang dk += uikdi*ba[ili]; /* update diag[k] */ 21535f44c854SHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 21545f44c854SHong Zhang 21555f44c854SHong Zhang /* add multiple of row i to k-th row */ 21565f44c854SHong Zhang jmin = ili + 1; jmax = bi[i+1]; 21575f44c854SHong Zhang if (jmin < jmax){ 21585f44c854SHong Zhang for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 21595f44c854SHong Zhang /* update il and c2r for row i */ 21605f44c854SHong Zhang il[i] = jmin; 21615f44c854SHong Zhang j = bj[jmin]; c2r[i] = c2r[j]; c2r[j] = i; 21625f44c854SHong Zhang } 21635f44c854SHong Zhang i = nexti; 21645f44c854SHong Zhang } 21655f44c854SHong Zhang 21665f44c854SHong Zhang /* copy data into U(k,:) */ 216798a93161SHong Zhang rs = 0.0; 21685f44c854SHong Zhang jmin = bi[k]; jmax = bi[k+1]-1; 21695f44c854SHong Zhang if (jmin < jmax) { 21705f44c854SHong Zhang for (j=jmin; j<jmax; j++){ 217198a93161SHong Zhang col = bj[j]; ba[j] = rtmp[col]; rs += PetscAbsScalar(ba[j]); 21725f44c854SHong Zhang } 21735f44c854SHong Zhang /* add the k-th row into il and c2r */ 21745f44c854SHong Zhang il[k] = jmin; 21755f44c854SHong Zhang i = bj[jmin]; c2r[k] = c2r[i]; c2r[i] = k; 21765f44c854SHong Zhang } 217798a93161SHong Zhang 217898a93161SHong Zhang /* MatPivotCheck() */ 217998a93161SHong Zhang sctx.rs = rs; 218098a93161SHong Zhang sctx.pv = dk; 218198a93161SHong Zhang if (info->shiftnz){ 218298a93161SHong Zhang ierr = MatPivotCheck_nz(info,sctx,k,newshift);CHKERRQ(ierr); 218398a93161SHong Zhang } else if (info->shiftpd){ 218498a93161SHong Zhang ierr = MatPivotCheck_pd(info,sctx,k,newshift);CHKERRQ(ierr); 218598a93161SHong Zhang } else if (info->shiftinblocks){ 218698a93161SHong Zhang ierr = MatPivotCheck_inblocks(info,sctx,k,newshift);CHKERRQ(ierr); 218798a93161SHong Zhang } else { 218898a93161SHong Zhang ierr = MatPivotCheck_none(info,sctx,k,newshift);CHKERRQ(ierr); 21895f44c854SHong Zhang } 219098a93161SHong Zhang dk = sctx.pv; 219198a93161SHong Zhang if (newshift == 1) break; 219298a93161SHong Zhang 219398a93161SHong Zhang ba[bdiag[k]] = 1.0/dk; /* U(k,k) */ 219498a93161SHong Zhang } 219598a93161SHong Zhang } while (sctx.lushift); 21965f44c854SHong Zhang 21970e83c824SBarry Smith ierr = PetscFree3(rtmp,il,c2r);CHKERRQ(ierr); 21985f44c854SHong Zhang ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 21995f44c854SHong Zhang ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr); 22005f44c854SHong Zhang 22015f44c854SHong Zhang ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr); 22025f44c854SHong Zhang if (perm_identity){ 220335233d99SShri Abhyankar B->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 220435233d99SShri Abhyankar B->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering; 2205f284f12aSHong Zhang B->ops->forwardsolve = 0; 2206f284f12aSHong Zhang B->ops->backwardsolve = 0; 22075f44c854SHong Zhang } else { 220835233d99SShri Abhyankar B->ops->solve = MatSolve_SeqSBAIJ_1; 220935233d99SShri Abhyankar B->ops->solvetranspose = MatSolve_SeqSBAIJ_1; 221035233d99SShri Abhyankar B->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1; 221135233d99SShri Abhyankar B->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1; 22125f44c854SHong Zhang } 22135f44c854SHong Zhang 22145f44c854SHong Zhang C->assembled = PETSC_TRUE; 22155f44c854SHong Zhang C->preallocated = PETSC_TRUE; 22165f44c854SHong Zhang ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr); 221798a93161SHong Zhang 221898a93161SHong Zhang /* MatPivotView() */ 221998a93161SHong Zhang if (sctx.nshift){ 222098a93161SHong Zhang if (info->shiftpd) { 222198a93161SHong Zhang 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); 222298a93161SHong Zhang } else if (info->shiftnz) { 222398a93161SHong Zhang ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 222498a93161SHong Zhang } else if (info->shiftinblocks){ 222598a93161SHong Zhang ierr = PetscInfo2(A,"number of shift_inblocks applied %D, each shift_amount %G\n",sctx.nshift,info->shiftinblocks);CHKERRQ(ierr); 222698a93161SHong Zhang } 222798a93161SHong Zhang } 22285f44c854SHong Zhang PetscFunctionReturn(0); 22295f44c854SHong Zhang } 22305f44c854SHong Zhang 22315f44c854SHong Zhang #undef __FUNCT__ 22320a3c351aSHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ_inplace" 22330a3c351aSHong Zhang PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ_inplace(Mat B,Mat A,const MatFactorInfo *info) 2234a6175056SHong Zhang { 2235719d5645SBarry Smith Mat C = B; 22360968510aSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 22372ed133dbSHong Zhang Mat_SeqSBAIJ *b=(Mat_SeqSBAIJ*)C->data; 22389bfd6278SHong Zhang IS ip=b->row,iip = b->icol; 22392ed133dbSHong Zhang PetscErrorCode ierr; 22405d0c19d7SBarry Smith const PetscInt *rip,*riip; 2241c5546cabSHong Zhang PetscInt i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bcol,*bjtmp; 22422ed133dbSHong Zhang PetscInt *ai=a->i,*aj=a->j; 22432ed133dbSHong Zhang PetscInt k,jmin,jmax,*jl,*il,col,nexti,ili,nz; 2244622e2028SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi; 2245540703acSHong Zhang PetscReal zeropivot,rs,shiftnz; 2246fbf22428SSatish Balay PetscReal shiftpd; 2247540703acSHong Zhang ChShift_Ctx sctx; 2248540703acSHong Zhang PetscInt newshift; 2249db4efbfdSBarry Smith PetscTruth perm_identity; 2250d5d45c9bSBarry Smith 2251a6175056SHong Zhang PetscFunctionBegin; 2252540703acSHong Zhang shiftnz = info->shiftnz; 2253540703acSHong Zhang shiftpd = info->shiftpd; 2254ee45ca4aSHong Zhang zeropivot = info->zeropivot; 2255ee45ca4aSHong Zhang 22562ed133dbSHong Zhang ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 22579bfd6278SHong Zhang ierr = ISGetIndices(iip,&riip);CHKERRQ(ierr); 22582ed133dbSHong Zhang 22592ed133dbSHong Zhang /* initialization */ 22600e83c824SBarry Smith ierr = PetscMalloc3(mbs,MatScalar,&rtmp,mbs,PetscInt,&il,mbs,PetscInt,&jl);CHKERRQ(ierr); 2261540703acSHong Zhang sctx.shift_amount = 0; 2262540703acSHong Zhang sctx.nshift = 0; 22632ed133dbSHong Zhang do { 2264540703acSHong Zhang sctx.chshift = PETSC_FALSE; 2265c5546cabSHong Zhang for (i=0; i<mbs; i++) jl[i] = mbs; 2266c5546cabSHong Zhang il[0] = 0; 22672ed133dbSHong Zhang 22682ed133dbSHong Zhang for (k = 0; k<mbs; k++){ 2269c5546cabSHong Zhang /* zero rtmp */ 2270c5546cabSHong Zhang nz = bi[k+1] - bi[k]; 2271c5546cabSHong Zhang bjtmp = bj + bi[k]; 2272c5546cabSHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 2273c5546cabSHong Zhang 2274c05c3958SHong Zhang bval = ba + bi[k]; 22752ed133dbSHong Zhang /* initialize k-th row by the perm[k]-th row of A */ 22762ed133dbSHong Zhang jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 22772ed133dbSHong Zhang for (j = jmin; j < jmax; j++){ 22789bfd6278SHong Zhang col = riip[aj[j]]; 22792ed133dbSHong Zhang if (col >= k){ /* only take upper triangular entry */ 22802ed133dbSHong Zhang rtmp[col] = aa[j]; 2281c05c3958SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 22822ed133dbSHong Zhang } 22832ed133dbSHong Zhang } 228439e3d630SHong Zhang /* shift the diagonal of the matrix */ 2285540703acSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 22862ed133dbSHong Zhang 22872ed133dbSHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 22882ed133dbSHong Zhang dk = rtmp[k]; 22892ed133dbSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 22902ed133dbSHong Zhang 22912ed133dbSHong Zhang while (i < k){ 22922ed133dbSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 22932ed133dbSHong Zhang 22942ed133dbSHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 22952ed133dbSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 22962ed133dbSHong Zhang uikdi = - ba[ili]*ba[bi[i]]; /* diagonal(k) */ 22972ed133dbSHong Zhang dk += uikdi*ba[ili]; 22982ed133dbSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 22992ed133dbSHong Zhang 23002ed133dbSHong Zhang /* add multiple of row i to k-th row */ 23012ed133dbSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 23022ed133dbSHong Zhang if (jmin < jmax){ 23032ed133dbSHong Zhang for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 23042ed133dbSHong Zhang /* update il and jl for row i */ 23052ed133dbSHong Zhang il[i] = jmin; 23062ed133dbSHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 23072ed133dbSHong Zhang } 23082ed133dbSHong Zhang i = nexti; 23092ed133dbSHong Zhang } 23102ed133dbSHong Zhang 23110697b6caSHong Zhang /* shift the diagonals when zero pivot is detected */ 23120697b6caSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 23130697b6caSHong Zhang rs = 0.0; 23143c9e8598SHong Zhang jmin = bi[k]+1; 23153c9e8598SHong Zhang nz = bi[k+1] - jmin; 23163c9e8598SHong Zhang bcol = bj + jmin; 231704fbf559SBarry Smith for (j=0; j<nz; j++) { 231804fbf559SBarry Smith rs += PetscAbsScalar(rtmp[bcol[j]]); 23193c9e8598SHong Zhang } 2320540703acSHong Zhang 2321540703acSHong Zhang sctx.rs = rs; 2322540703acSHong Zhang sctx.pv = dk; 23235b5bc046SBarry Smith ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr); 2324117f1891Stmunson 2325117f1891Stmunson if (newshift == 1) { 2326117f1891Stmunson if (!sctx.shift_amount) { 2327117f1891Stmunson sctx.shift_amount = 1e-5; 2328117f1891Stmunson } 2329117f1891Stmunson break; 2330117f1891Stmunson } 23313c9e8598SHong Zhang 23323c9e8598SHong Zhang /* copy data into U(k,:) */ 233339e3d630SHong Zhang ba[bi[k]] = 1.0/dk; /* U(k,k) */ 233439e3d630SHong Zhang jmin = bi[k]+1; jmax = bi[k+1]; 233539e3d630SHong Zhang if (jmin < jmax) { 233639e3d630SHong Zhang for (j=jmin; j<jmax; j++){ 2337c6ae9bfcSHong Zhang col = bj[j]; ba[j] = rtmp[col]; 23383c9e8598SHong Zhang } 233939e3d630SHong Zhang /* add the k-th row into il and jl */ 23403c9e8598SHong Zhang il[k] = jmin; 23413c9e8598SHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 23423c9e8598SHong Zhang } 23433c9e8598SHong Zhang } 2344540703acSHong Zhang } while (sctx.chshift); 23450e83c824SBarry Smith ierr = PetscFree3(rtmp,il,jl);CHKERRQ(ierr); 234639e3d630SHong Zhang ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 23479bfd6278SHong Zhang ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr); 2348db4efbfdSBarry Smith 2349db4efbfdSBarry Smith ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr); 2350db4efbfdSBarry Smith if (perm_identity){ 23510a3c351aSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering_inplace; 23520a3c351aSHong Zhang B->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering_inplace; 23530a3c351aSHong Zhang B->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1_NaturalOrdering_inplace; 23540a3c351aSHong Zhang B->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1_NaturalOrdering_inplace; 2355db4efbfdSBarry Smith } else { 23560a3c351aSHong Zhang B->ops->solve = MatSolve_SeqSBAIJ_1_inplace; 23570a3c351aSHong Zhang B->ops->solvetranspose = MatSolve_SeqSBAIJ_1_inplace; 23580a3c351aSHong Zhang B->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1_inplace; 23590a3c351aSHong Zhang B->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1_inplace; 2360db4efbfdSBarry Smith } 2361db4efbfdSBarry Smith 23623c9e8598SHong Zhang C->assembled = PETSC_TRUE; 23633c9e8598SHong Zhang C->preallocated = PETSC_TRUE; 2364d0f46423SBarry Smith ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr); 2365540703acSHong Zhang if (sctx.nshift){ 2366540703acSHong Zhang if (shiftnz) { 23671e2582c4SBarry Smith ierr = PetscInfo2(A,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 2368540703acSHong Zhang } else if (shiftpd) { 23691e2582c4SBarry Smith ierr = PetscInfo2(A,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 23700697b6caSHong Zhang } 23713c9e8598SHong Zhang } 23723c9e8598SHong Zhang PetscFunctionReturn(0); 23733c9e8598SHong Zhang } 2374a6175056SHong Zhang 23758a76ed4fSHong Zhang /* 23768a76ed4fSHong Zhang icc() under revised new data structure. 23778a76ed4fSHong Zhang Factored arrays bj and ba are stored as 23788a76ed4fSHong Zhang U(0,:),...,U(i,:),U(n-1,:) 23798a76ed4fSHong Zhang 23808a76ed4fSHong Zhang ui=fact->i is an array of size n+1, in which 23818a76ed4fSHong Zhang ui+ 23828a76ed4fSHong Zhang ui[i]: points to 1st entry of U(i,:),i=0,...,n-1 23838a76ed4fSHong Zhang ui[n]: points to U(n-1,n-1)+1 23848a76ed4fSHong Zhang 23858a76ed4fSHong Zhang udiag=fact->diag is an array of size n,in which 23868a76ed4fSHong Zhang udiag[i]: points to diagonal of U(i,:), i=0,...,n-1 23878a76ed4fSHong Zhang 23888a76ed4fSHong Zhang U(i,:) contains udiag[i] as its last entry, i.e., 23898a76ed4fSHong Zhang U(i,:) = (u[i,i+1],...,u[i,n-1],diag[i]) 23908a76ed4fSHong Zhang */ 23918a76ed4fSHong Zhang 2392a6175056SHong Zhang #undef __FUNCT__ 239335233d99SShri Abhyankar #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ" 239435233d99SShri Abhyankar PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 2395a6175056SHong Zhang { 23960968510aSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 2397ed59401aSHong Zhang Mat_SeqSBAIJ *b; 2398dfbe8321SBarry Smith PetscErrorCode ierr; 239958ebbce7SBarry Smith PetscTruth perm_identity,missing; 24005f44c854SHong Zhang PetscInt reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui,*udiag; 24015d0c19d7SBarry Smith const PetscInt *rip,*riip; 2402ed59401aSHong Zhang PetscInt jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow; 240358ebbce7SBarry Smith PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL,d; 24045a8e39fbSHong Zhang PetscInt ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr; 2405ed59401aSHong Zhang PetscReal fill=info->fill,levels=info->levels; 2406a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 2407a1a86e44SBarry Smith PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 24087a48dd6fSHong Zhang PetscBT lnkbt; 2409b635d36bSHong Zhang IS iperm; 241035233d99SShri Abhyankar PetscTruth olddatastruct=PETSC_FALSE; 2411a6175056SHong Zhang 2412a6175056SHong Zhang PetscFunctionBegin; 241335233d99SShri Abhyankar ierr = PetscOptionsGetTruth(PETSC_NULL,"-icc_old",&olddatastruct,PETSC_NULL);CHKERRQ(ierr); 241435233d99SShri Abhyankar if(olddatastruct){ 2415ad04f41aSHong Zhang ierr = MatICCFactorSymbolic_SeqAIJ_inplace(fact,A,perm,info);CHKERRQ(ierr); 2416ad04f41aSHong Zhang PetscFunctionReturn(0); 2417ad04f41aSHong Zhang } 2418d0f46423SBarry 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); 241958ebbce7SBarry Smith ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 242058ebbce7SBarry Smith if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 2421653a6975SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 2422b635d36bSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 24237a48dd6fSHong Zhang 242439e3d630SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 24255f44c854SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&udiag);CHKERRQ(ierr); 242639e3d630SHong Zhang ui[0] = 0; 242739e3d630SHong Zhang 24288a76ed4fSHong Zhang /* ICC(0) without matrix ordering: simply rearrange column indices */ 2429622e2028SHong Zhang if (!levels && perm_identity) { 24305f44c854SHong Zhang for (i=0; i<am; i++) { 2431c5546cabSHong Zhang ncols = ai[i+1] - a->diag[i]; 2432c5546cabSHong Zhang ui[i+1] = ui[i] + ncols; 2433c5546cabSHong Zhang udiag[i] = ui[i+1] - 1; /* points to the last entry of U(i,:) */ 2434dc1e2a3fSHong Zhang } 2435dc1e2a3fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 2436dc1e2a3fSHong Zhang cols = uj; 2437dc1e2a3fSHong Zhang for (i=0; i<am; i++) { 24385f44c854SHong Zhang aj = a->j + a->diag[i] + 1; /* 1st entry of U(i,:) without diagonal */ 2439dc1e2a3fSHong Zhang ncols = ai[i+1] - a->diag[i] -1; 24405f44c854SHong Zhang for (j=0; j<ncols; j++) *cols++ = aj[j]; 24415f44c854SHong Zhang *cols++ = i; /* diagoanl is located as the last entry of U(i,:) */ 24425f44c854SHong Zhang } 24435f44c854SHong Zhang } else { /* case: levels>0 || (levels=0 && !perm_identity) */ 24445f44c854SHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 24455f44c854SHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 24465f44c854SHong Zhang 24475f44c854SHong Zhang /* initialization */ 24485f44c854SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr); 24495f44c854SHong Zhang 24505f44c854SHong Zhang /* jl: linked list for storing indices of the pivot rows 24515f44c854SHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 24520e83c824SBarry Smith ierr = PetscMalloc4(am,PetscInt*,&uj_ptr,am,PetscInt*,&uj_lvl_ptr,am,PetscInt,&jl,am,PetscInt,&il);CHKERRQ(ierr); 24535f44c854SHong Zhang for (i=0; i<am; i++){ 24545f44c854SHong Zhang jl[i] = am; il[i] = 0; 24555f44c854SHong Zhang } 24565f44c854SHong Zhang 24575f44c854SHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 24585f44c854SHong Zhang nlnk = am + 1; 24595f44c854SHong Zhang ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 24605f44c854SHong Zhang 24615f44c854SHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 24625f44c854SHong Zhang ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 24635f44c854SHong Zhang current_space = free_space; 24645f44c854SHong Zhang ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr); 24655f44c854SHong Zhang current_space_lvl = free_space_lvl; 24665f44c854SHong Zhang 24675f44c854SHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 24685f44c854SHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 24695f44c854SHong Zhang nzk = 0; 24705f44c854SHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 24715f44c854SHong Zhang if (!ncols) SETERRQ2(PETSC_ERR_MAT_CH_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",rip[k],k); 24725f44c854SHong Zhang ncols_upper = 0; 24735f44c854SHong Zhang for (j=0; j<ncols; j++){ 24745f44c854SHong Zhang i = *(aj + ai[rip[k]] + j); /* unpermuted column index */ 24755f44c854SHong Zhang if (riip[i] >= k){ /* only take upper triangular entry */ 24765f44c854SHong Zhang ajtmp[ncols_upper] = i; 24775f44c854SHong Zhang ncols_upper++; 24785f44c854SHong Zhang } 24795f44c854SHong Zhang } 24805f44c854SHong Zhang ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 24815f44c854SHong Zhang nzk += nlnk; 24825f44c854SHong Zhang 24835f44c854SHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 24845f44c854SHong Zhang prow = jl[k]; /* 1st pivot row */ 24855f44c854SHong Zhang 24865f44c854SHong Zhang while (prow < k){ 24875f44c854SHong Zhang nextprow = jl[prow]; 24885f44c854SHong Zhang 24895f44c854SHong Zhang /* merge prow into k-th row */ 24905f44c854SHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 24915f44c854SHong Zhang jmax = ui[prow+1]; 24925f44c854SHong Zhang ncols = jmax-jmin; 24935f44c854SHong Zhang i = jmin - ui[prow]; 24945f44c854SHong Zhang cols = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 24955f44c854SHong Zhang uj = uj_lvl_ptr[prow] + i; /* levels of cols */ 24965f44c854SHong Zhang j = *(uj - 1); 24975f44c854SHong Zhang ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr); 24985f44c854SHong Zhang nzk += nlnk; 24995f44c854SHong Zhang 25005f44c854SHong Zhang /* update il and jl for prow */ 25015f44c854SHong Zhang if (jmin < jmax){ 25025f44c854SHong Zhang il[prow] = jmin; 25035f44c854SHong Zhang j = *cols; jl[prow] = jl[j]; jl[j] = prow; 25045f44c854SHong Zhang } 25055f44c854SHong Zhang prow = nextprow; 25065f44c854SHong Zhang } 25075f44c854SHong Zhang 25085f44c854SHong Zhang /* if free space is not available, make more free space */ 25095f44c854SHong Zhang if (current_space->local_remaining<nzk) { 25105f44c854SHong Zhang i = am - k + 1; /* num of unfactored rows */ 2511c6ae9bfcSHong Zhang i *= PetscMin(nzk, i-1); /* i*nzk, i*(i-1): estimated and max additional space needed */ 25125f44c854SHong Zhang ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 25135f44c854SHong Zhang ierr = PetscFreeSpaceGet(i,¤t_space_lvl);CHKERRQ(ierr); 25145f44c854SHong Zhang reallocs++; 25155f44c854SHong Zhang } 25165f44c854SHong Zhang 25175f44c854SHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 25185f44c854SHong Zhang if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k); 25195f44c854SHong Zhang ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 25205f44c854SHong Zhang 25215f44c854SHong Zhang /* add the k-th row into il and jl */ 25225f44c854SHong Zhang if (nzk > 1){ 25235f44c854SHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 25245f44c854SHong Zhang jl[k] = jl[i]; jl[i] = k; 25255f44c854SHong Zhang il[k] = ui[k] + 1; 25265f44c854SHong Zhang } 25275f44c854SHong Zhang uj_ptr[k] = current_space->array; 25285f44c854SHong Zhang uj_lvl_ptr[k] = current_space_lvl->array; 25295f44c854SHong Zhang 25305f44c854SHong Zhang current_space->array += nzk; 25315f44c854SHong Zhang current_space->local_used += nzk; 25325f44c854SHong Zhang current_space->local_remaining -= nzk; 25335f44c854SHong Zhang 25345f44c854SHong Zhang current_space_lvl->array += nzk; 25355f44c854SHong Zhang current_space_lvl->local_used += nzk; 25365f44c854SHong Zhang current_space_lvl->local_remaining -= nzk; 25375f44c854SHong Zhang 25385f44c854SHong Zhang ui[k+1] = ui[k] + nzk; 25395f44c854SHong Zhang } 25405f44c854SHong Zhang 25415f44c854SHong Zhang #if defined(PETSC_USE_INFO) 25425f44c854SHong Zhang if (ai[am] != 0) { 25435f44c854SHong Zhang PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]); 25445f44c854SHong Zhang ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 25455f44c854SHong Zhang ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 25465f44c854SHong Zhang ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 25475f44c854SHong Zhang } else { 25485f44c854SHong Zhang ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 25495f44c854SHong Zhang } 25505f44c854SHong Zhang #endif 25515f44c854SHong Zhang 25525f44c854SHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 25535f44c854SHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 25540e83c824SBarry Smith ierr = PetscFree4(uj_ptr,uj_lvl_ptr,jl,il);CHKERRQ(ierr); 25555f44c854SHong Zhang ierr = PetscFree(ajtmp);CHKERRQ(ierr); 25565f44c854SHong Zhang 25575f44c854SHong Zhang /* destroy list of free space and other temporary array(s) */ 25585f44c854SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 255935233d99SShri Abhyankar ierr = PetscFreeSpaceContiguous_Cholesky(&free_space,uj,am,ui,udiag);CHKERRQ(ierr); /* store matrix factor */ 25605f44c854SHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 25615f44c854SHong Zhang ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 25625f44c854SHong Zhang 25635f44c854SHong Zhang } /* end of case: levels>0 || (levels=0 && !perm_identity) */ 25645f44c854SHong Zhang 25655f44c854SHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 25665f44c854SHong Zhang b = (Mat_SeqSBAIJ*)(fact)->data; 25675f44c854SHong Zhang b->singlemalloc = PETSC_FALSE; 25685f44c854SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 25695f44c854SHong Zhang b->j = uj; 25705f44c854SHong Zhang b->i = ui; 25715f44c854SHong Zhang b->diag = udiag; 25727f53bb6cSHong Zhang b->free_diag = PETSC_TRUE; 25735f44c854SHong Zhang b->ilen = 0; 25745f44c854SHong Zhang b->imax = 0; 25755f44c854SHong Zhang b->row = perm; 25765f44c854SHong Zhang b->col = perm; 25775f44c854SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 25785f44c854SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 25795f44c854SHong Zhang b->icol = iperm; 25805f44c854SHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 25815f44c854SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2582d595f711SHong Zhang ierr = PetscLogObjectMemory(fact,ui[am]*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 25835f44c854SHong Zhang b->maxnz = b->nz = ui[am]; 25845f44c854SHong Zhang b->free_a = PETSC_TRUE; 25855f44c854SHong Zhang b->free_ij = PETSC_TRUE; 25865f44c854SHong Zhang 2587f284f12aSHong Zhang fact->info.factor_mallocs = reallocs; 2588f284f12aSHong Zhang fact->info.fill_ratio_given = fill; 25895f44c854SHong Zhang if (ai[am] != 0) { 2590f284f12aSHong Zhang fact->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 25915f44c854SHong Zhang } else { 2592f284f12aSHong Zhang fact->info.fill_ratio_needed = 0.0; 25935f44c854SHong Zhang } 259435233d99SShri Abhyankar fact->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 25955f44c854SHong Zhang PetscFunctionReturn(0); 25965f44c854SHong Zhang } 25975f44c854SHong Zhang 25985f44c854SHong Zhang #undef __FUNCT__ 2599ad04f41aSHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ_inplace" 2600ad04f41aSHong Zhang PetscErrorCode MatICCFactorSymbolic_SeqAIJ_inplace(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 26015f44c854SHong Zhang { 26025f44c854SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 26035f44c854SHong Zhang Mat_SeqSBAIJ *b; 26045f44c854SHong Zhang PetscErrorCode ierr; 26055f44c854SHong Zhang PetscTruth perm_identity,missing; 26065f44c854SHong Zhang PetscInt reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui,*udiag; 26075f44c854SHong Zhang const PetscInt *rip,*riip; 26085f44c854SHong Zhang PetscInt jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow; 26095f44c854SHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL,d; 26105f44c854SHong Zhang PetscInt ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr; 26115f44c854SHong Zhang PetscReal fill=info->fill,levels=info->levels; 26125f44c854SHong Zhang PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 26135f44c854SHong Zhang PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 26145f44c854SHong Zhang PetscBT lnkbt; 26155f44c854SHong Zhang IS iperm; 26165f44c854SHong Zhang 26175f44c854SHong Zhang PetscFunctionBegin; 26185f44c854SHong 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); 26195f44c854SHong Zhang ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 26205f44c854SHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 26215f44c854SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 26225f44c854SHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 26235f44c854SHong Zhang 26245f44c854SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 26255f44c854SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&udiag);CHKERRQ(ierr); 26265f44c854SHong Zhang ui[0] = 0; 26275f44c854SHong Zhang 26285f44c854SHong Zhang /* ICC(0) without matrix ordering: simply copies fill pattern */ 26295f44c854SHong Zhang if (!levels && perm_identity) { 26305f44c854SHong Zhang 26315f44c854SHong Zhang for (i=0; i<am; i++) { 26325f44c854SHong Zhang ui[i+1] = ui[i] + ai[i+1] - a->diag[i]; 26335f44c854SHong Zhang udiag[i] = ui[i]; 2634ed59401aSHong Zhang } 263539e3d630SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 263639e3d630SHong Zhang cols = uj; 2637ed59401aSHong Zhang for (i=0; i<am; i++) { 2638ed59401aSHong Zhang aj = a->j + a->diag[i]; 263939e3d630SHong Zhang ncols = ui[i+1] - ui[i]; 264039e3d630SHong Zhang for (j=0; j<ncols; j++) *cols++ = *aj++; 2641ed59401aSHong Zhang } 264239e3d630SHong Zhang } else { /* case: levels>0 || (levels=0 && !perm_identity) */ 2643b635d36bSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 2644b635d36bSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 2645b635d36bSHong Zhang 26467a48dd6fSHong Zhang /* initialization */ 26475a8e39fbSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr); 26487a48dd6fSHong Zhang 26497a48dd6fSHong Zhang /* jl: linked list for storing indices of the pivot rows 26507a48dd6fSHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 26510e83c824SBarry Smith ierr = PetscMalloc4(am,PetscInt*,&uj_ptr,am,PetscInt*,&uj_lvl_ptr,am,PetscInt,&jl,am,PetscInt,&il);CHKERRQ(ierr); 26527a48dd6fSHong Zhang for (i=0; i<am; i++){ 26537a48dd6fSHong Zhang jl[i] = am; il[i] = 0; 26547a48dd6fSHong Zhang } 26557a48dd6fSHong Zhang 26567a48dd6fSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 26577a48dd6fSHong Zhang nlnk = am + 1; 26582ed133dbSHong Zhang ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 26597a48dd6fSHong Zhang 26607a48dd6fSHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 2661a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 26627a48dd6fSHong Zhang current_space = free_space; 2663a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr); 26647a48dd6fSHong Zhang current_space_lvl = free_space_lvl; 26657a48dd6fSHong Zhang 26667a48dd6fSHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 26677a48dd6fSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 26687a48dd6fSHong Zhang nzk = 0; 2669622e2028SHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 26703b4a8b6dSBarry 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); 2671622e2028SHong Zhang ncols_upper = 0; 2672622e2028SHong Zhang for (j=0; j<ncols; j++){ 2673b635d36bSHong Zhang i = *(aj + ai[rip[k]] + j); /* unpermuted column index */ 2674b635d36bSHong Zhang if (riip[i] >= k){ /* only take upper triangular entry */ 26755a8e39fbSHong Zhang ajtmp[ncols_upper] = i; 2676622e2028SHong Zhang ncols_upper++; 2677622e2028SHong Zhang } 2678622e2028SHong Zhang } 2679b635d36bSHong Zhang ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 26807a48dd6fSHong Zhang nzk += nlnk; 26817a48dd6fSHong Zhang 26827a48dd6fSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 26837a48dd6fSHong Zhang prow = jl[k]; /* 1st pivot row */ 26847a48dd6fSHong Zhang 26857a48dd6fSHong Zhang while (prow < k){ 26867a48dd6fSHong Zhang nextprow = jl[prow]; 26877a48dd6fSHong Zhang 26887a48dd6fSHong Zhang /* merge prow into k-th row */ 26897a48dd6fSHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 26907a48dd6fSHong Zhang jmax = ui[prow+1]; 26917a48dd6fSHong Zhang ncols = jmax-jmin; 2692ed59401aSHong Zhang i = jmin - ui[prow]; 2693ed59401aSHong Zhang cols = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 26945a8e39fbSHong Zhang uj = uj_lvl_ptr[prow] + i; /* levels of cols */ 26955a8e39fbSHong Zhang j = *(uj - 1); 26965a8e39fbSHong Zhang ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr); 26977a48dd6fSHong Zhang nzk += nlnk; 26987a48dd6fSHong Zhang 26997a48dd6fSHong Zhang /* update il and jl for prow */ 27007a48dd6fSHong Zhang if (jmin < jmax){ 27017a48dd6fSHong Zhang il[prow] = jmin; 27027a48dd6fSHong Zhang j = *cols; jl[prow] = jl[j]; jl[j] = prow; 27037a48dd6fSHong Zhang } 27047a48dd6fSHong Zhang prow = nextprow; 27057a48dd6fSHong Zhang } 27067a48dd6fSHong Zhang 27077a48dd6fSHong Zhang /* if free space is not available, make more free space */ 27087a48dd6fSHong Zhang if (current_space->local_remaining<nzk) { 27097a48dd6fSHong Zhang i = am - k + 1; /* num of unfactored rows */ 2710fd3f55cbSMatthew Knepley i *= PetscMin(nzk, (i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 2711a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 2712a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space_lvl);CHKERRQ(ierr); 27137a48dd6fSHong Zhang reallocs++; 27147a48dd6fSHong Zhang } 27157a48dd6fSHong Zhang 27167a48dd6fSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 2717b635d36bSHong Zhang if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k); 27182ed133dbSHong Zhang ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 27197a48dd6fSHong Zhang 27207a48dd6fSHong Zhang /* add the k-th row into il and jl */ 272139e3d630SHong Zhang if (nzk > 1){ 27227a48dd6fSHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 27237a48dd6fSHong Zhang jl[k] = jl[i]; jl[i] = k; 27247a48dd6fSHong Zhang il[k] = ui[k] + 1; 27257a48dd6fSHong Zhang } 27267a48dd6fSHong Zhang uj_ptr[k] = current_space->array; 27277a48dd6fSHong Zhang uj_lvl_ptr[k] = current_space_lvl->array; 27287a48dd6fSHong Zhang 27297a48dd6fSHong Zhang current_space->array += nzk; 27307a48dd6fSHong Zhang current_space->local_used += nzk; 27317a48dd6fSHong Zhang current_space->local_remaining -= nzk; 27327a48dd6fSHong Zhang 27337a48dd6fSHong Zhang current_space_lvl->array += nzk; 27347a48dd6fSHong Zhang current_space_lvl->local_used += nzk; 27357a48dd6fSHong Zhang current_space_lvl->local_remaining -= nzk; 27367a48dd6fSHong Zhang 27377a48dd6fSHong Zhang ui[k+1] = ui[k] + nzk; 27387a48dd6fSHong Zhang } 27397a48dd6fSHong Zhang 27406cf91177SBarry Smith #if defined(PETSC_USE_INFO) 27417a48dd6fSHong Zhang if (ai[am] != 0) { 274239e3d630SHong Zhang PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]); 2743ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 2744ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 2745ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 27467a48dd6fSHong Zhang } else { 2747ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 27487a48dd6fSHong Zhang } 274963ba0a88SBarry Smith #endif 27507a48dd6fSHong Zhang 27517a48dd6fSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 2752b635d36bSHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 27530e83c824SBarry Smith ierr = PetscFree4(uj_ptr,uj_lvl_ptr,jl,il);CHKERRQ(ierr); 27545a8e39fbSHong Zhang ierr = PetscFree(ajtmp);CHKERRQ(ierr); 27557a48dd6fSHong Zhang 27567a48dd6fSHong Zhang /* destroy list of free space and other temporary array(s) */ 27577a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 2758a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 27592ed133dbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 2760a1a86e44SBarry Smith ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 27617a48dd6fSHong Zhang 276239e3d630SHong Zhang } /* end of case: levels>0 || (levels=0 && !perm_identity) */ 276339e3d630SHong Zhang 27647a48dd6fSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 27657a48dd6fSHong Zhang 2766f284f12aSHong Zhang b = (Mat_SeqSBAIJ*)fact->data; 27677a48dd6fSHong Zhang b->singlemalloc = PETSC_FALSE; 27687a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 27697a48dd6fSHong Zhang b->j = uj; 27707a48dd6fSHong Zhang b->i = ui; 27715f44c854SHong Zhang b->diag = udiag; 27727f53bb6cSHong Zhang b->free_diag = PETSC_TRUE; 27737a48dd6fSHong Zhang b->ilen = 0; 27747a48dd6fSHong Zhang b->imax = 0; 27757a48dd6fSHong Zhang b->row = perm; 2776b635d36bSHong Zhang b->col = perm; 2777b635d36bSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 2778b635d36bSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 2779b635d36bSHong Zhang b->icol = iperm; 27807a48dd6fSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 27817a48dd6fSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2782f284f12aSHong Zhang ierr = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 27837a48dd6fSHong Zhang b->maxnz = b->nz = ui[am]; 2784e6b907acSBarry Smith b->free_a = PETSC_TRUE; 2785e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 27867a48dd6fSHong Zhang 2787f284f12aSHong Zhang fact->info.factor_mallocs = reallocs; 2788f284f12aSHong Zhang fact->info.fill_ratio_given = fill; 27897a48dd6fSHong Zhang if (ai[am] != 0) { 2790f284f12aSHong Zhang fact->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 27917a48dd6fSHong Zhang } else { 2792f284f12aSHong Zhang fact->info.fill_ratio_needed = 0.0; 27937a48dd6fSHong Zhang } 27940a3c351aSHong Zhang fact->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ_inplace; 2795a6175056SHong Zhang PetscFunctionReturn(0); 2796a6175056SHong Zhang } 2797d5d45c9bSBarry Smith 279835233d99SShri Abhyankar PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 27990be760fbSHong Zhang { 28000be760fbSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 28010be760fbSHong Zhang Mat_SeqSBAIJ *b; 28020be760fbSHong Zhang PetscErrorCode ierr; 28030be760fbSHong Zhang PetscTruth perm_identity; 28040be760fbSHong Zhang PetscReal fill = info->fill; 28050be760fbSHong Zhang const PetscInt *rip,*riip; 28060be760fbSHong Zhang PetscInt i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow; 28070be760fbSHong Zhang PetscInt *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow; 28080be760fbSHong Zhang PetscInt nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr,*udiag; 28090be760fbSHong Zhang PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 28100be760fbSHong Zhang PetscBT lnkbt; 28110be760fbSHong Zhang IS iperm; 281235233d99SShri Abhyankar PetscTruth olddatastruct=PETSC_FALSE; 28130be760fbSHong Zhang 28140be760fbSHong Zhang PetscFunctionBegin; 281535233d99SShri Abhyankar ierr = PetscOptionsGetTruth(PETSC_NULL,"-cholesky_old",&olddatastruct,PETSC_NULL);CHKERRQ(ierr); 281635233d99SShri Abhyankar if(olddatastruct){ 2817ad04f41aSHong Zhang ierr = MatCholeskyFactorSymbolic_SeqAIJ_inplace(fact,A,perm,info);CHKERRQ(ierr); 2818ad04f41aSHong Zhang PetscFunctionReturn(0); 2819ad04f41aSHong Zhang } 28200be760fbSHong 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); 28210be760fbSHong Zhang /* check whether perm is the identity mapping */ 28220be760fbSHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 28230be760fbSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 28240be760fbSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 28250be760fbSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 28260be760fbSHong Zhang 28270be760fbSHong Zhang /* initialization */ 28280be760fbSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 28290be760fbSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&udiag);CHKERRQ(ierr); 28300be760fbSHong Zhang ui[0] = 0; 28310be760fbSHong Zhang 28320be760fbSHong Zhang /* jl: linked list for storing indices of the pivot rows 28330be760fbSHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 28340be760fbSHong Zhang ierr = PetscMalloc4(am,PetscInt*,&ui_ptr,am,PetscInt,&jl,am,PetscInt,&il,am,PetscInt,&cols);CHKERRQ(ierr); 28350be760fbSHong Zhang for (i=0; i<am; i++){ 28360be760fbSHong Zhang jl[i] = am; il[i] = 0; 28370be760fbSHong Zhang } 28380be760fbSHong Zhang 28390be760fbSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 28400be760fbSHong Zhang nlnk = am + 1; 28410be760fbSHong Zhang ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 28420be760fbSHong Zhang 28430be760fbSHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 28440be760fbSHong Zhang ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 28450be760fbSHong Zhang current_space = free_space; 28460be760fbSHong Zhang 28470be760fbSHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 28480be760fbSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 28490be760fbSHong Zhang nzk = 0; 28500be760fbSHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 28510be760fbSHong Zhang if (!ncols) SETERRQ2(PETSC_ERR_MAT_CH_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",rip[k],k); 28520be760fbSHong Zhang ncols_upper = 0; 28530be760fbSHong Zhang for (j=0; j<ncols; j++){ 28540be760fbSHong Zhang i = riip[*(aj + ai[rip[k]] + j)]; 28550be760fbSHong Zhang if (i >= k){ /* only take upper triangular entry */ 28560be760fbSHong Zhang cols[ncols_upper] = i; 28570be760fbSHong Zhang ncols_upper++; 28580be760fbSHong Zhang } 28590be760fbSHong Zhang } 28600be760fbSHong Zhang ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 28610be760fbSHong Zhang nzk += nlnk; 28620be760fbSHong Zhang 28630be760fbSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 28640be760fbSHong Zhang prow = jl[k]; /* 1st pivot row */ 28650be760fbSHong Zhang 28660be760fbSHong Zhang while (prow < k){ 28670be760fbSHong Zhang nextprow = jl[prow]; 28680be760fbSHong Zhang /* merge prow into k-th row */ 28690be760fbSHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 28700be760fbSHong Zhang jmax = ui[prow+1]; 28710be760fbSHong Zhang ncols = jmax-jmin; 28720be760fbSHong Zhang uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 28730be760fbSHong Zhang ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 28740be760fbSHong Zhang nzk += nlnk; 28750be760fbSHong Zhang 28760be760fbSHong Zhang /* update il and jl for prow */ 28770be760fbSHong Zhang if (jmin < jmax){ 28780be760fbSHong Zhang il[prow] = jmin; 28790be760fbSHong Zhang j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow; 28800be760fbSHong Zhang } 28810be760fbSHong Zhang prow = nextprow; 28820be760fbSHong Zhang } 28830be760fbSHong Zhang 28840be760fbSHong Zhang /* if free space is not available, make more free space */ 28850be760fbSHong Zhang if (current_space->local_remaining<nzk) { 28860be760fbSHong Zhang i = am - k + 1; /* num of unfactored rows */ 2887c6ae9bfcSHong Zhang i *= PetscMin(nzk,i-1); /* i*nzk, i*(i-1): estimated and max additional space needed */ 28880be760fbSHong Zhang ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 28890be760fbSHong Zhang reallocs++; 28900be760fbSHong Zhang } 28910be760fbSHong Zhang 28920be760fbSHong Zhang /* copy data into free space, then initialize lnk */ 28930be760fbSHong Zhang ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 28940be760fbSHong Zhang 28950be760fbSHong Zhang /* add the k-th row into il and jl */ 28960be760fbSHong Zhang if (nzk-1 > 0){ 28970be760fbSHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 28980be760fbSHong Zhang jl[k] = jl[i]; jl[i] = k; 28990be760fbSHong Zhang il[k] = ui[k] + 1; 29000be760fbSHong Zhang } 29010be760fbSHong Zhang ui_ptr[k] = current_space->array; 29020be760fbSHong Zhang current_space->array += nzk; 29030be760fbSHong Zhang current_space->local_used += nzk; 29040be760fbSHong Zhang current_space->local_remaining -= nzk; 29050be760fbSHong Zhang 29060be760fbSHong Zhang ui[k+1] = ui[k] + nzk; 29070be760fbSHong Zhang } 29080be760fbSHong Zhang 29090be760fbSHong Zhang #if defined(PETSC_USE_INFO) 29100be760fbSHong Zhang if (ai[am] != 0) { 29110be760fbSHong Zhang PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]); 29120be760fbSHong Zhang ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 29130be760fbSHong Zhang ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 29140be760fbSHong Zhang ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 29150be760fbSHong Zhang } else { 29160be760fbSHong Zhang ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 29170be760fbSHong Zhang } 29180be760fbSHong Zhang #endif 29190be760fbSHong Zhang 29200be760fbSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 29210be760fbSHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 29220be760fbSHong Zhang ierr = PetscFree4(ui_ptr,jl,il,cols);CHKERRQ(ierr); 29230be760fbSHong Zhang 29240be760fbSHong Zhang /* destroy list of free space and other temporary array(s) */ 29250be760fbSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 292635233d99SShri Abhyankar ierr = PetscFreeSpaceContiguous_Cholesky(&free_space,uj,am,ui,udiag);CHKERRQ(ierr); /* store matrix factor */ 29270be760fbSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 29280be760fbSHong Zhang 29290be760fbSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 29300be760fbSHong Zhang 2931f284f12aSHong Zhang b = (Mat_SeqSBAIJ*)fact->data; 29320be760fbSHong Zhang b->singlemalloc = PETSC_FALSE; 29330be760fbSHong Zhang b->free_a = PETSC_TRUE; 29340be760fbSHong Zhang b->free_ij = PETSC_TRUE; 29350be760fbSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 29360be760fbSHong Zhang b->j = uj; 29370be760fbSHong Zhang b->i = ui; 29380be760fbSHong Zhang b->diag = udiag; 29390be760fbSHong Zhang b->free_diag = PETSC_TRUE; 29400be760fbSHong Zhang b->ilen = 0; 29410be760fbSHong Zhang b->imax = 0; 29420be760fbSHong Zhang b->row = perm; 29430be760fbSHong Zhang b->col = perm; 29440be760fbSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 29450be760fbSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 29460be760fbSHong Zhang b->icol = iperm; 29470be760fbSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 29480be760fbSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 29490be760fbSHong Zhang ierr = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 29500be760fbSHong Zhang b->maxnz = b->nz = ui[am]; 29510be760fbSHong Zhang 2952f284f12aSHong Zhang fact->info.factor_mallocs = reallocs; 2953f284f12aSHong Zhang fact->info.fill_ratio_given = fill; 29540be760fbSHong Zhang if (ai[am] != 0) { 2955f284f12aSHong Zhang fact->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 29560be760fbSHong Zhang } else { 2957f284f12aSHong Zhang fact->info.fill_ratio_needed = 0.0; 29580be760fbSHong Zhang } 295935233d99SShri Abhyankar fact->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 29600be760fbSHong Zhang PetscFunctionReturn(0); 29610be760fbSHong Zhang } 29620be760fbSHong Zhang 2963f76d2b81SHong Zhang #undef __FUNCT__ 2964ad04f41aSHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ_inplace" 2965ad04f41aSHong Zhang PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ_inplace(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 2966f76d2b81SHong Zhang { 2967f76d2b81SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 296810c27e3dSHong Zhang Mat_SeqSBAIJ *b; 2969dfbe8321SBarry Smith PetscErrorCode ierr; 2970f76d2b81SHong Zhang PetscTruth perm_identity; 297110c27e3dSHong Zhang PetscReal fill = info->fill; 29725d0c19d7SBarry Smith const PetscInt *rip,*riip; 29735d0c19d7SBarry Smith PetscInt i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow; 297410c27e3dSHong Zhang PetscInt *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow; 29752ed133dbSHong Zhang PetscInt nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr; 2976a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 297710c27e3dSHong Zhang PetscBT lnkbt; 29782ed133dbSHong Zhang IS iperm; 2979f76d2b81SHong Zhang 2980f76d2b81SHong Zhang PetscFunctionBegin; 2981d0f46423SBarry 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); 29822ed133dbSHong Zhang /* check whether perm is the identity mapping */ 2983f76d2b81SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 29842ed133dbSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 29852ed133dbSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 29869bfd6278SHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 298710c27e3dSHong Zhang 298810c27e3dSHong Zhang /* initialization */ 29891393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 299010c27e3dSHong Zhang ui[0] = 0; 299110c27e3dSHong Zhang 299210c27e3dSHong Zhang /* jl: linked list for storing indices of the pivot rows 29931393bc97SHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 29940e83c824SBarry Smith ierr = PetscMalloc4(am,PetscInt*,&ui_ptr,am,PetscInt,&jl,am,PetscInt,&il,am,PetscInt,&cols);CHKERRQ(ierr); 29951393bc97SHong Zhang for (i=0; i<am; i++){ 29961393bc97SHong Zhang jl[i] = am; il[i] = 0; 2997f76d2b81SHong Zhang } 299810c27e3dSHong Zhang 299910c27e3dSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 30001393bc97SHong Zhang nlnk = am + 1; 30011393bc97SHong Zhang ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 300210c27e3dSHong Zhang 30031393bc97SHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 3004a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 300510c27e3dSHong Zhang current_space = free_space; 300610c27e3dSHong Zhang 30071393bc97SHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 300810c27e3dSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 300910c27e3dSHong Zhang nzk = 0; 30102ed133dbSHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 30113b4a8b6dSBarry 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); 30122ed133dbSHong Zhang ncols_upper = 0; 30132ed133dbSHong Zhang for (j=0; j<ncols; j++){ 30149bfd6278SHong Zhang i = riip[*(aj + ai[rip[k]] + j)]; 30152ed133dbSHong Zhang if (i >= k){ /* only take upper triangular entry */ 30162ed133dbSHong Zhang cols[ncols_upper] = i; 30172ed133dbSHong Zhang ncols_upper++; 30182ed133dbSHong Zhang } 30192ed133dbSHong Zhang } 30201393bc97SHong Zhang ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 302110c27e3dSHong Zhang nzk += nlnk; 302210c27e3dSHong Zhang 302310c27e3dSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 302410c27e3dSHong Zhang prow = jl[k]; /* 1st pivot row */ 302510c27e3dSHong Zhang 302610c27e3dSHong Zhang while (prow < k){ 302710c27e3dSHong Zhang nextprow = jl[prow]; 302810c27e3dSHong Zhang /* merge prow into k-th row */ 30291393bc97SHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 303010c27e3dSHong Zhang jmax = ui[prow+1]; 303110c27e3dSHong Zhang ncols = jmax-jmin; 30321393bc97SHong Zhang uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 30335a8e39fbSHong Zhang ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 303410c27e3dSHong Zhang nzk += nlnk; 303510c27e3dSHong Zhang 303610c27e3dSHong Zhang /* update il and jl for prow */ 303710c27e3dSHong Zhang if (jmin < jmax){ 303810c27e3dSHong Zhang il[prow] = jmin; 30392ed133dbSHong Zhang j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow; 304010c27e3dSHong Zhang } 304110c27e3dSHong Zhang prow = nextprow; 304210c27e3dSHong Zhang } 304310c27e3dSHong Zhang 304410c27e3dSHong Zhang /* if free space is not available, make more free space */ 304510c27e3dSHong Zhang if (current_space->local_remaining<nzk) { 30461393bc97SHong Zhang i = am - k + 1; /* num of unfactored rows */ 304710c27e3dSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 3048a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 304910c27e3dSHong Zhang reallocs++; 305010c27e3dSHong Zhang } 305110c27e3dSHong Zhang 305210c27e3dSHong Zhang /* copy data into free space, then initialize lnk */ 30531393bc97SHong Zhang ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 305410c27e3dSHong Zhang 305510c27e3dSHong Zhang /* add the k-th row into il and jl */ 305610c27e3dSHong Zhang if (nzk-1 > 0){ 30571393bc97SHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 305810c27e3dSHong Zhang jl[k] = jl[i]; jl[i] = k; 305910c27e3dSHong Zhang il[k] = ui[k] + 1; 306010c27e3dSHong Zhang } 30612ed133dbSHong Zhang ui_ptr[k] = current_space->array; 306210c27e3dSHong Zhang current_space->array += nzk; 306310c27e3dSHong Zhang current_space->local_used += nzk; 306410c27e3dSHong Zhang current_space->local_remaining -= nzk; 306510c27e3dSHong Zhang 306610c27e3dSHong Zhang ui[k+1] = ui[k] + nzk; 306710c27e3dSHong Zhang } 306810c27e3dSHong Zhang 30696cf91177SBarry Smith #if defined(PETSC_USE_INFO) 30701393bc97SHong Zhang if (ai[am] != 0) { 30711393bc97SHong Zhang PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]); 3072ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 3073ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 3074ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 307510c27e3dSHong Zhang } else { 3076ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 307710c27e3dSHong Zhang } 307863ba0a88SBarry Smith #endif 307910c27e3dSHong Zhang 308010c27e3dSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 30819bfd6278SHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 30820e83c824SBarry Smith ierr = PetscFree4(ui_ptr,jl,il,cols);CHKERRQ(ierr); 308310c27e3dSHong Zhang 308410c27e3dSHong Zhang /* destroy list of free space and other temporary array(s) */ 30851393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 3086a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 308710c27e3dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 308810c27e3dSHong Zhang 308910c27e3dSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 309010c27e3dSHong Zhang 3091f284f12aSHong Zhang b = (Mat_SeqSBAIJ*)fact->data; 309210c27e3dSHong Zhang b->singlemalloc = PETSC_FALSE; 3093e6b907acSBarry Smith b->free_a = PETSC_TRUE; 3094e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 30951393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 309610c27e3dSHong Zhang b->j = uj; 309710c27e3dSHong Zhang b->i = ui; 309810c27e3dSHong Zhang b->diag = 0; 309910c27e3dSHong Zhang b->ilen = 0; 310010c27e3dSHong Zhang b->imax = 0; 310110c27e3dSHong Zhang b->row = perm; 31029bfd6278SHong Zhang b->col = perm; 31039bfd6278SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 31049bfd6278SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 31059bfd6278SHong Zhang b->icol = iperm; 310610c27e3dSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 31071393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 3108719d5645SBarry Smith ierr = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 31091393bc97SHong Zhang b->maxnz = b->nz = ui[am]; 311010c27e3dSHong Zhang 3111f284f12aSHong Zhang fact->info.factor_mallocs = reallocs; 3112f284f12aSHong Zhang fact->info.fill_ratio_given = fill; 31131393bc97SHong Zhang if (ai[am] != 0) { 3114f284f12aSHong Zhang fact->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 311510c27e3dSHong Zhang } else { 3116f284f12aSHong Zhang fact->info.fill_ratio_needed = 0.0; 311710c27e3dSHong Zhang } 31180a3c351aSHong Zhang fact->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ_inplace; 3119f76d2b81SHong Zhang PetscFunctionReturn(0); 3120f76d2b81SHong Zhang } 3121599ef60dSHong Zhang 31221d098868SHong Zhang #undef __FUNCT__ 312335233d99SShri Abhyankar #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering" 312435233d99SShri Abhyankar PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx) 3125813a1f2bSShri Abhyankar { 3126813a1f2bSShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 3127813a1f2bSShri Abhyankar PetscErrorCode ierr; 3128813a1f2bSShri Abhyankar PetscInt n = A->rmap->n; 3129813a1f2bSShri Abhyankar const PetscInt *ai = a->i,*aj = a->j,*adiag = a->diag,*vi; 3130813a1f2bSShri Abhyankar PetscScalar *x,sum; 3131813a1f2bSShri Abhyankar const PetscScalar *b; 3132813a1f2bSShri Abhyankar const MatScalar *aa = a->a,*v; 3133813a1f2bSShri Abhyankar PetscInt i,nz; 3134813a1f2bSShri Abhyankar 3135813a1f2bSShri Abhyankar PetscFunctionBegin; 3136813a1f2bSShri Abhyankar if (!n) PetscFunctionReturn(0); 3137813a1f2bSShri Abhyankar 3138813a1f2bSShri Abhyankar ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 3139813a1f2bSShri Abhyankar ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 3140813a1f2bSShri Abhyankar 3141813a1f2bSShri Abhyankar /* forward solve the lower triangular */ 3142813a1f2bSShri Abhyankar x[0] = b[0]; 3143813a1f2bSShri Abhyankar v = aa; 3144813a1f2bSShri Abhyankar vi = aj; 3145813a1f2bSShri Abhyankar for (i=1; i<n; i++) { 3146813a1f2bSShri Abhyankar nz = ai[i+1] - ai[i]; 3147813a1f2bSShri Abhyankar sum = b[i]; 3148813a1f2bSShri Abhyankar PetscSparseDenseMinusDot(sum,x,v,vi,nz); 3149813a1f2bSShri Abhyankar v += nz; 3150813a1f2bSShri Abhyankar vi += nz; 3151813a1f2bSShri Abhyankar x[i] = sum; 3152813a1f2bSShri Abhyankar } 3153813a1f2bSShri Abhyankar 3154813a1f2bSShri Abhyankar /* backward solve the upper triangular */ 315562fbd6afSShri Abhyankar for (i=n-1; i>=0; i--){ 31563c0119dfSShri Abhyankar v = aa + adiag[i+1] + 1; 31573c0119dfSShri Abhyankar vi = aj + adiag[i+1] + 1; 3158813a1f2bSShri Abhyankar nz = adiag[i] - adiag[i+1]-1; 3159813a1f2bSShri Abhyankar sum = x[i]; 3160813a1f2bSShri Abhyankar PetscSparseDenseMinusDot(sum,x,v,vi,nz); 31613c0119dfSShri Abhyankar x[i] = sum*v[nz]; /* x[i]=aa[adiag[i]]*sum; v++; */ 3162813a1f2bSShri Abhyankar } 3163813a1f2bSShri Abhyankar 3164813a1f2bSShri Abhyankar ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 3165813a1f2bSShri Abhyankar ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 3166813a1f2bSShri Abhyankar ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 3167813a1f2bSShri Abhyankar PetscFunctionReturn(0); 3168813a1f2bSShri Abhyankar } 3169813a1f2bSShri Abhyankar 31701d098868SHong Zhang #undef __FUNCT__ 317135233d99SShri Abhyankar #define __FUNCT__ "MatSolve_SeqAIJ" 317235233d99SShri Abhyankar PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx) 3173f268cba8SShri Abhyankar { 3174f268cba8SShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 3175f268cba8SShri Abhyankar IS iscol = a->col,isrow = a->row; 3176f268cba8SShri Abhyankar PetscErrorCode ierr; 3177f268cba8SShri Abhyankar PetscInt i,n=A->rmap->n,*vi,*ai=a->i,*aj=a->j,*adiag = a->diag,nz; 3178f268cba8SShri Abhyankar const PetscInt *rout,*cout,*r,*c; 3179f268cba8SShri Abhyankar PetscScalar *x,*tmp,sum; 3180f268cba8SShri Abhyankar const PetscScalar *b; 3181f268cba8SShri Abhyankar const MatScalar *aa = a->a,*v; 3182f268cba8SShri Abhyankar 3183f268cba8SShri Abhyankar PetscFunctionBegin; 3184f268cba8SShri Abhyankar if (!n) PetscFunctionReturn(0); 3185f268cba8SShri Abhyankar 3186f268cba8SShri Abhyankar ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 3187f268cba8SShri Abhyankar ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 3188f268cba8SShri Abhyankar tmp = a->solve_work; 3189f268cba8SShri Abhyankar 3190f268cba8SShri Abhyankar ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 3191f268cba8SShri Abhyankar ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 3192f268cba8SShri Abhyankar 3193f268cba8SShri Abhyankar /* forward solve the lower triangular */ 3194f268cba8SShri Abhyankar tmp[0] = b[r[0]]; 3195f268cba8SShri Abhyankar v = aa; 3196f268cba8SShri Abhyankar vi = aj; 3197f268cba8SShri Abhyankar for (i=1; i<n; i++) { 3198f268cba8SShri Abhyankar nz = ai[i+1] - ai[i]; 3199f268cba8SShri Abhyankar sum = b[r[i]]; 3200f268cba8SShri Abhyankar PetscSparseDenseMinusDot(sum,tmp,v,vi,nz); 3201f268cba8SShri Abhyankar tmp[i] = sum; 3202f268cba8SShri Abhyankar v += nz; vi += nz; 3203f268cba8SShri Abhyankar } 3204f268cba8SShri Abhyankar 3205f268cba8SShri Abhyankar /* backward solve the upper triangular */ 3206f268cba8SShri Abhyankar for (i=n-1; i>=0; i--){ 32073c0119dfSShri Abhyankar v = aa + adiag[i+1]+1; 32083c0119dfSShri Abhyankar vi = aj + adiag[i+1]+1; 3209f268cba8SShri Abhyankar nz = adiag[i]-adiag[i+1]-1; 3210f268cba8SShri Abhyankar sum = tmp[i]; 3211f268cba8SShri Abhyankar PetscSparseDenseMinusDot(sum,tmp,v,vi,nz); 3212f268cba8SShri Abhyankar x[c[i]] = tmp[i] = sum*v[nz]; /* v[nz] = aa[adiag[i]] */ 3213f268cba8SShri Abhyankar } 3214f268cba8SShri Abhyankar 3215f268cba8SShri Abhyankar ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 3216f268cba8SShri Abhyankar ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 3217f268cba8SShri Abhyankar ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 3218f268cba8SShri Abhyankar ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 3219f268cba8SShri Abhyankar ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr); 3220f268cba8SShri Abhyankar PetscFunctionReturn(0); 3221f268cba8SShri Abhyankar } 3222f268cba8SShri Abhyankar 3223f268cba8SShri Abhyankar #undef __FUNCT__ 32241d098868SHong Zhang #define __FUNCT__ "MatILUDTFactor_SeqAIJ" 3225*fe97e370SBarry Smith /* 3226*fe97e370SBarry Smith This will get a new name and become a varient of MatILUFactor_SeqAIJ() there is no longer seperate functions in the matrix function table for dt factors 3227*fe97e370SBarry Smith */ 32281d098868SHong Zhang PetscErrorCode MatILUDTFactor_SeqAIJ(Mat A,IS isrow,IS iscol,const MatFactorInfo *info,Mat *fact) 32291d098868SHong Zhang { 32301d098868SHong Zhang Mat B = *fact; 3231599ef60dSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b; 3232599ef60dSHong Zhang IS isicol; 3233599ef60dSHong Zhang PetscErrorCode ierr; 32341d098868SHong Zhang const PetscInt *r,*ic; 32351d098868SHong Zhang PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j,*ajtmp,*adiag; 3236dc3a2fd3SHong Zhang PetscInt *bi,*bj,*bdiag,*bdiag_rev; 3237f61a948aSLisandro Dalcin PetscInt row,nzi,nzi_bl,nzi_bu,*im,nzi_al,nzi_au; 32381d098868SHong Zhang PetscInt nlnk,*lnk; 32391d098868SHong Zhang PetscBT lnkbt; 32401d098868SHong Zhang PetscTruth row_identity,icol_identity,both_identity; 32418aee2decSHong Zhang MatScalar *aatmp,*pv,*batmp,*ba,*rtmp,*pc,multiplier,*vtmp,diag_tmp; 32421d098868SHong Zhang const PetscInt *ics; 32431d098868SHong Zhang PetscInt j,nz,*pj,*bjtmp,k,ncut,*jtmp; 3244f61a948aSLisandro Dalcin PetscReal dt=info->dt,dtcol=info->dtcol,shift=info->shiftinblocks; 3245f61a948aSLisandro Dalcin PetscInt dtcount=(PetscInt)info->dtcount,nnz_max; 3246599ef60dSHong Zhang PetscTruth missing; 3247599ef60dSHong Zhang 3248599ef60dSHong Zhang PetscFunctionBegin; 3249f61a948aSLisandro Dalcin 3250f61a948aSLisandro Dalcin if (dt == PETSC_DEFAULT) dt = 0.005; 3251f61a948aSLisandro Dalcin if (dtcol == PETSC_DEFAULT) dtcol = 0.01; /* XXX unused! */ 3252f61a948aSLisandro Dalcin if (dtcount == PETSC_DEFAULT) dtcount = (PetscInt)(1.5*a->rmax); 3253f61a948aSLisandro Dalcin 32541d098868SHong Zhang /* ------- symbolic factorization, can be reused ---------*/ 32551d098868SHong Zhang ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr); 32561d098868SHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",i); 32571d098868SHong Zhang adiag=a->diag; 3258599ef60dSHong Zhang 3259599ef60dSHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 3260599ef60dSHong Zhang 3261599ef60dSHong Zhang /* bdiag is location of diagonal in factor */ 32621bfa06eaSJed Brown ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); /* becomes b->diag */ 32631bfa06eaSJed Brown ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag_rev);CHKERRQ(ierr); /* temporary */ 3264599ef60dSHong Zhang 32651d098868SHong Zhang /* allocate row pointers bi */ 32668fc3a347SHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 32671d098868SHong Zhang 32681d098868SHong Zhang /* allocate bj and ba; max num of nonzero entries is (ai[n]+2*n*dtcount+2) */ 3269393d3a68SHong Zhang if (dtcount > n-1) dtcount = n-1; /* diagonal is excluded */ 32701d098868SHong Zhang nnz_max = ai[n]+2*n*dtcount+2; 32718fc3a347SHong Zhang 32728fc3a347SHong Zhang ierr = PetscMalloc((nnz_max+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 32738fc3a347SHong Zhang ierr = PetscMalloc((nnz_max+1)*sizeof(MatScalar),&ba);CHKERRQ(ierr); 3274599ef60dSHong Zhang 3275599ef60dSHong Zhang /* put together the new matrix */ 3276599ef60dSHong Zhang ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 3277599ef60dSHong Zhang ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 3278f284f12aSHong Zhang b = (Mat_SeqAIJ*)B->data; 3279599ef60dSHong Zhang b->free_a = PETSC_TRUE; 3280599ef60dSHong Zhang b->free_ij = PETSC_TRUE; 3281599ef60dSHong Zhang b->singlemalloc = PETSC_FALSE; 3282599ef60dSHong Zhang b->a = ba; 3283599ef60dSHong Zhang b->j = bj; 3284599ef60dSHong Zhang b->i = bi; 3285599ef60dSHong Zhang b->diag = bdiag; 3286599ef60dSHong Zhang b->ilen = 0; 3287599ef60dSHong Zhang b->imax = 0; 3288599ef60dSHong Zhang b->row = isrow; 3289599ef60dSHong Zhang b->col = iscol; 3290599ef60dSHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 3291599ef60dSHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 3292599ef60dSHong Zhang b->icol = isicol; 3293599ef60dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 3294599ef60dSHong Zhang 32951d098868SHong Zhang ierr = PetscLogObjectMemory(B,nnz_max*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 32961d098868SHong Zhang b->maxnz = nnz_max; 3297599ef60dSHong Zhang 3298f284f12aSHong Zhang B->factor = MAT_FACTOR_ILUDT; 3299f284f12aSHong Zhang B->info.factor_mallocs = 0; 3300f284f12aSHong Zhang B->info.fill_ratio_given = ((PetscReal)nnz_max)/((PetscReal)ai[n]); 33011d098868SHong Zhang CHKMEMQ; 33021d098868SHong Zhang /* ------- end of symbolic factorization ---------*/ 3303599ef60dSHong Zhang 3304599ef60dSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 3305599ef60dSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 3306599ef60dSHong Zhang ics = ic; 3307599ef60dSHong Zhang 3308599ef60dSHong Zhang /* linked list for storing column indices of the active row */ 3309599ef60dSHong Zhang nlnk = n + 1; 3310599ef60dSHong Zhang ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 33111d098868SHong Zhang 33121d098868SHong Zhang /* im: used by PetscLLAddSortedLU(); jtmp: working array for column indices of active row */ 33130e83c824SBarry Smith ierr = PetscMalloc2(n,PetscInt,&im,n,PetscInt,&jtmp);CHKERRQ(ierr); 33141d098868SHong Zhang /* rtmp, vtmp: working arrays for sparse and contiguous row entries of active row */ 33150e83c824SBarry Smith ierr = PetscMalloc2(n,MatScalar,&rtmp,n,MatScalar,&vtmp);CHKERRQ(ierr); 33160e83c824SBarry Smith ierr = PetscMemzero(rtmp,n*sizeof(MatScalar));CHKERRQ(ierr); 3317599ef60dSHong Zhang 3318599ef60dSHong Zhang bi[0] = 0; 33198fc3a347SHong Zhang bdiag[0] = nnz_max-1; /* location of diag[0] in factor B */ 3320dc3a2fd3SHong Zhang bdiag_rev[n] = bdiag[0]; 33218fc3a347SHong Zhang bi[2*n+1] = bdiag[0]+1; /* endof bj and ba array */ 3322599ef60dSHong Zhang for (i=0; i<n; i++) { 3323599ef60dSHong Zhang /* copy initial fill into linked list */ 3324599ef60dSHong Zhang nzi = 0; /* nonzeros for active row i */ 33258369b28dSHong Zhang nzi = ai[r[i]+1] - ai[r[i]]; 33268369b28dSHong 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); 33278369b28dSHong Zhang nzi_al = adiag[r[i]] - ai[r[i]]; 33288369b28dSHong Zhang nzi_au = ai[r[i]+1] - adiag[r[i]] -1; 3329599ef60dSHong Zhang ajtmp = aj + ai[r[i]]; 33308369b28dSHong Zhang ierr = PetscLLAddPerm(nzi,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 3331599ef60dSHong Zhang 3332599ef60dSHong Zhang /* load in initial (unfactored row) */ 33331d098868SHong Zhang aatmp = a->a + ai[r[i]]; 33348369b28dSHong Zhang for (j=0; j<nzi; j++) { 33351d098868SHong Zhang rtmp[ics[*ajtmp++]] = *aatmp++; 3336599ef60dSHong Zhang } 3337599ef60dSHong Zhang 3338599ef60dSHong Zhang /* add pivot rows into linked list */ 3339599ef60dSHong Zhang row = lnk[n]; 3340599ef60dSHong Zhang while (row < i ) { 33411d098868SHong Zhang nzi_bl = bi[row+1] - bi[row] + 1; 33421d098868SHong Zhang bjtmp = bj + bdiag[row+1]+1; /* points to 1st column next to the diagonal in U */ 33431d098868SHong Zhang ierr = PetscLLAddSortedLU(bjtmp,row,nlnk,lnk,lnkbt,i,nzi_bl,im);CHKERRQ(ierr); 3344599ef60dSHong Zhang nzi += nlnk; 3345599ef60dSHong Zhang row = lnk[row]; 3346599ef60dSHong Zhang } 3347599ef60dSHong Zhang 33488369b28dSHong Zhang /* copy data from lnk into jtmp, then initialize lnk */ 33498369b28dSHong Zhang ierr = PetscLLClean(n,n,nzi,lnk,jtmp,lnkbt);CHKERRQ(ierr); 3350599ef60dSHong Zhang 3351599ef60dSHong Zhang /* numerical factorization */ 33528369b28dSHong Zhang bjtmp = jtmp; 3353599ef60dSHong Zhang row = *bjtmp++; /* 1st pivot row */ 3354599ef60dSHong Zhang while ( row < i ) { 3355599ef60dSHong Zhang pc = rtmp + row; 33563c2a7987SHong Zhang pv = ba + bdiag[row]; /* 1./(diag of the pivot row) */ 33573c2a7987SHong Zhang multiplier = (*pc) * (*pv); 3358599ef60dSHong Zhang *pc = multiplier; 33593c2a7987SHong Zhang if (PetscAbsScalar(*pc) > dt){ /* apply tolerance dropping rule */ 33601d098868SHong Zhang pj = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */ 33611d098868SHong Zhang pv = ba + bdiag[row+1] + 1; 33621d098868SHong Zhang /* if (multiplier < -1.0 or multiplier >1.0) printf("row/prow %d, %d, multiplier %g\n",i,row,multiplier); */ 33631d098868SHong Zhang nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */ 33641d098868SHong Zhang for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++); 3365dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 3366599ef60dSHong Zhang } 3367599ef60dSHong Zhang row = *bjtmp++; 3368599ef60dSHong Zhang } 3369599ef60dSHong Zhang 33708369b28dSHong Zhang /* copy sparse rtmp into contiguous vtmp; separate L and U part */ 33718aee2decSHong Zhang diag_tmp = rtmp[i]; /* save diagonal value - may not needed?? */ 33728369b28dSHong Zhang nzi_bl = 0; j = 0; 33738369b28dSHong Zhang while (jtmp[j] < i){ /* Note: jtmp is sorted */ 33748aee2decSHong Zhang vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0; 33758369b28dSHong Zhang nzi_bl++; j++; 33768369b28dSHong Zhang } 33778369b28dSHong Zhang nzi_bu = nzi - nzi_bl -1; 33788369b28dSHong Zhang while (j < nzi){ 33798aee2decSHong Zhang vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0; 33808369b28dSHong Zhang j++; 33818369b28dSHong Zhang } 33828369b28dSHong Zhang 3383599ef60dSHong Zhang bjtmp = bj + bi[i]; 3384599ef60dSHong Zhang batmp = ba + bi[i]; 33858369b28dSHong Zhang /* apply level dropping rule to L part */ 33868369b28dSHong Zhang ncut = nzi_al + dtcount; 33878369b28dSHong Zhang if (ncut < nzi_bl){ 33888369b28dSHong Zhang ierr = PetscSortSplit(ncut,nzi_bl,vtmp,jtmp);CHKERRQ(ierr); 33898369b28dSHong Zhang ierr = PetscSortIntWithScalarArray(ncut,jtmp,vtmp);CHKERRQ(ierr); 3390599ef60dSHong Zhang } else { 33918369b28dSHong Zhang ncut = nzi_bl; 33928369b28dSHong Zhang } 33938369b28dSHong Zhang for (j=0; j<ncut; j++){ 33948369b28dSHong Zhang bjtmp[j] = jtmp[j]; 33958369b28dSHong Zhang batmp[j] = vtmp[j]; 33966da515a1SHong Zhang /* printf(" (%d,%g),",bjtmp[j],batmp[j]); */ 33978369b28dSHong Zhang } 33981d098868SHong Zhang bi[i+1] = bi[i] + ncut; 33998369b28dSHong Zhang nzi = ncut + 1; 34008369b28dSHong Zhang 34018369b28dSHong Zhang /* apply level dropping rule to U part */ 34028369b28dSHong Zhang ncut = nzi_au + dtcount; 34038369b28dSHong Zhang if (ncut < nzi_bu){ 34048369b28dSHong Zhang ierr = PetscSortSplit(ncut,nzi_bu,vtmp+nzi_bl+1,jtmp+nzi_bl+1);CHKERRQ(ierr); 34058369b28dSHong Zhang ierr = PetscSortIntWithScalarArray(ncut,jtmp+nzi_bl+1,vtmp+nzi_bl+1);CHKERRQ(ierr); 34068369b28dSHong Zhang } else { 34078369b28dSHong Zhang ncut = nzi_bu; 34088369b28dSHong Zhang } 34098369b28dSHong Zhang nzi += ncut; 34101d098868SHong Zhang 34111d098868SHong Zhang /* mark bdiagonal */ 34121d098868SHong Zhang bdiag[i+1] = bdiag[i] - (ncut + 1); 3413dc3a2fd3SHong Zhang bdiag_rev[n-i-1] = bdiag[i+1]; 34148fc3a347SHong Zhang bi[2*n - i] = bi[2*n - i +1] - (ncut + 1); 34151d098868SHong Zhang bjtmp = bj + bdiag[i]; 34161d098868SHong Zhang batmp = ba + bdiag[i]; 34171d098868SHong Zhang *bjtmp = i; 34188aee2decSHong Zhang *batmp = diag_tmp; /* rtmp[i]; */ 3419c9c72f8fSHong Zhang if (*batmp == 0.0) { 3420c9c72f8fSHong Zhang *batmp = dt+shift; 3421bd1bc851SBarry Smith /* printf(" row %d add shift %g\n",i,shift); */ 3422c9c72f8fSHong Zhang } 3423b78a477dSHong Zhang *batmp = 1.0/(*batmp); /* invert diagonal entries for simplier triangular solves */ 34246da515a1SHong Zhang /* printf(" (%d,%g),",*bjtmp,*batmp); */ 34251d098868SHong Zhang 34261d098868SHong Zhang bjtmp = bj + bdiag[i+1]+1; 34271d098868SHong Zhang batmp = ba + bdiag[i+1]+1; 34288369b28dSHong Zhang for (k=0; k<ncut; k++){ 34291d098868SHong Zhang bjtmp[k] = jtmp[nzi_bl+1+k]; 34301d098868SHong Zhang batmp[k] = vtmp[nzi_bl+1+k]; 34316da515a1SHong Zhang /* printf(" (%d,%g),",bjtmp[k],batmp[k]); */ 3432599ef60dSHong Zhang } 34336da515a1SHong Zhang /* printf("\n"); */ 3434599ef60dSHong Zhang 3435599ef60dSHong Zhang im[i] = nzi; /* used by PetscLLAddSortedLU() */ 3436599ef60dSHong Zhang /* 34371d098868SHong Zhang printf("row %d: bi %d, bdiag %d\n",i,bi[i],bdiag[i]); 34388369b28dSHong Zhang printf(" ----------------------------\n"); 3439599ef60dSHong Zhang */ 34408369b28dSHong Zhang } /* for (i=0; i<n; i++) */ 34411d098868SHong Zhang /* printf("end of L %d, beginning of U %d\n",bi[n],bdiag[n]); */ 34421d098868SHong 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]); 3443599ef60dSHong Zhang 3444599ef60dSHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 3445599ef60dSHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 3446599ef60dSHong Zhang 3447599ef60dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 34480e83c824SBarry Smith ierr = PetscFree2(im,jtmp);CHKERRQ(ierr); 34490e83c824SBarry Smith ierr = PetscFree2(rtmp,vtmp);CHKERRQ(ierr); 34501bfa06eaSJed Brown ierr = PetscFree(bdiag_rev);CHKERRQ(ierr); 3451599ef60dSHong Zhang 3452599ef60dSHong Zhang ierr = PetscLogFlops(B->cmap->n);CHKERRQ(ierr); 34531d098868SHong Zhang b->maxnz = b->nz = bi[n] + bdiag[0] - bdiag[n]; 3454599ef60dSHong Zhang 3455599ef60dSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 3456599ef60dSHong Zhang ierr = ISIdentity(isicol,&icol_identity);CHKERRQ(ierr); 3457599ef60dSHong Zhang both_identity = (PetscTruth) (row_identity && icol_identity); 3458599ef60dSHong Zhang if (row_identity && icol_identity) { 345935233d99SShri Abhyankar B->ops->solve = MatSolve_SeqAIJ_NaturalOrdering; 3460599ef60dSHong Zhang } else { 346135233d99SShri Abhyankar B->ops->solve = MatSolve_SeqAIJ; 3462599ef60dSHong Zhang } 3463599ef60dSHong Zhang 34641d098868SHong Zhang B->ops->solveadd = 0; 34651d098868SHong Zhang B->ops->solvetranspose = 0; 34661d098868SHong Zhang B->ops->solvetransposeadd = 0; 34671d098868SHong Zhang B->ops->matsolve = 0; 3468599ef60dSHong Zhang B->assembled = PETSC_TRUE; 3469599ef60dSHong Zhang B->preallocated = PETSC_TRUE; 3470599ef60dSHong Zhang PetscFunctionReturn(0); 3471599ef60dSHong Zhang } 3472599ef60dSHong Zhang 34733c2a7987SHong Zhang /* a wraper of MatILUDTFactor_SeqAIJ() */ 34743c2a7987SHong Zhang #undef __FUNCT__ 34753c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorSymbolic_SeqAIJ" 3476*fe97e370SBarry Smith /* 3477*fe97e370SBarry Smith This will get a new name and become a varient of MatILUFactor_SeqAIJ() there is no longer seperate functions in the matrix function table for dt factors 3478*fe97e370SBarry Smith */ 3479*fe97e370SBarry Smith 34803c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS row,IS col,const MatFactorInfo *info) 34813c2a7987SHong Zhang { 34823c2a7987SHong Zhang PetscErrorCode ierr; 34833c2a7987SHong Zhang 34843c2a7987SHong Zhang PetscFunctionBegin; 34853c2a7987SHong Zhang ierr = MatILUDTFactor_SeqAIJ(A,row,col,info,&fact);CHKERRQ(ierr); 34863c2a7987SHong Zhang PetscFunctionReturn(0); 34873c2a7987SHong Zhang } 34883c2a7987SHong Zhang 34893c2a7987SHong Zhang /* 34903c2a7987SHong Zhang same as MatLUFactorNumeric_SeqAIJ(), except using contiguous array matrix factors 34913c2a7987SHong Zhang - intend to replace existing MatLUFactorNumeric_SeqAIJ() 34923c2a7987SHong Zhang */ 34933c2a7987SHong Zhang #undef __FUNCT__ 34943c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorNumeric_SeqAIJ" 3495*fe97e370SBarry Smith /* 3496*fe97e370SBarry Smith This will get a new name and become a varient of MatILUFactor_SeqAIJ() there is no longer seperate functions in the matrix function table for dt factors 3497*fe97e370SBarry Smith */ 3498*fe97e370SBarry Smith 34993c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorNumeric_SeqAIJ(Mat fact,Mat A,const MatFactorInfo *info) 35003c2a7987SHong Zhang { 35013c2a7987SHong Zhang Mat C=fact; 35023c2a7987SHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 35033c2a7987SHong Zhang IS isrow = b->row,isicol = b->icol; 35043c2a7987SHong Zhang PetscErrorCode ierr; 35053c2a7987SHong Zhang const PetscInt *r,*ic,*ics; 3506b78a477dSHong Zhang PetscInt i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 3507b78a477dSHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzl,nzu,row,*bdiag = b->diag,*pj; 35083c2a7987SHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,*aa=a->a; 3509b78a477dSHong Zhang PetscReal dt=info->dt,shift=info->shiftinblocks; 3510b78a477dSHong Zhang PetscTruth row_identity, col_identity; 35113c2a7987SHong Zhang 35123c2a7987SHong Zhang PetscFunctionBegin; 35133c2a7987SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 35143c2a7987SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 3515b78a477dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 35163c2a7987SHong Zhang ics = ic; 35173c2a7987SHong Zhang 35183c2a7987SHong Zhang for (i=0; i<n; i++){ 3519b78a477dSHong Zhang /* initialize rtmp array */ 3520b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; /* num of nozeros in L(i,:) */ 35213c2a7987SHong Zhang bjtmp = bj + bi[i]; 3522b78a477dSHong Zhang for (j=0; j<nzl; j++) rtmp[*bjtmp++] = 0.0; 3523b78a477dSHong Zhang rtmp[i] = 0.0; 3524b78a477dSHong Zhang nzu = bdiag[i] - bdiag[i+1]; /* num of nozeros in U(i,:) */ 3525b78a477dSHong Zhang bjtmp = bj + bdiag[i+1] + 1; 3526b78a477dSHong Zhang for (j=0; j<nzu; j++) rtmp[*bjtmp++] = 0.0; 35273c2a7987SHong Zhang 3528b78a477dSHong Zhang /* load in initial unfactored row of A */ 35296da515a1SHong Zhang /* printf("row %d\n",i); */ 35303c2a7987SHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 35313c2a7987SHong Zhang ajtmp = aj + ai[r[i]]; 35323c2a7987SHong Zhang v = aa + ai[r[i]]; 35333c2a7987SHong Zhang for (j=0; j<nz; j++) { 3534b78a477dSHong Zhang rtmp[ics[*ajtmp++]] = v[j]; 35356da515a1SHong Zhang /* printf(" (%d,%g),",ics[ajtmp[j]],rtmp[ics[ajtmp[j]]]); */ 35363c2a7987SHong Zhang } 35376da515a1SHong Zhang /* printf("\n"); */ 35383c2a7987SHong Zhang 3539b78a477dSHong Zhang /* numerical factorization */ 3540b78a477dSHong Zhang bjtmp = bj + bi[i]; /* point to 1st entry of L(i,:) */ 3541b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; /* num of entries in L(i,:) */ 3542b78a477dSHong Zhang k = 0; 3543b78a477dSHong Zhang while (k < nzl){ 35443c2a7987SHong Zhang row = *bjtmp++; 35456da515a1SHong Zhang /* printf(" prow %d\n",row); */ 35463c2a7987SHong Zhang pc = rtmp + row; 3547b78a477dSHong Zhang pv = b->a + bdiag[row]; /* 1./(diag of the pivot row) */ 3548b78a477dSHong Zhang multiplier = (*pc) * (*pv); 35493c2a7987SHong Zhang *pc = multiplier; 3550b78a477dSHong Zhang if (PetscAbsScalar(multiplier) > dt){ 3551b78a477dSHong Zhang pj = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */ 3552b78a477dSHong Zhang pv = b->a + bdiag[row+1] + 1; 3553b78a477dSHong Zhang nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */ 3554b78a477dSHong Zhang for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++); 35556da515a1SHong Zhang /* ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); */ 35563c2a7987SHong Zhang } 3557b78a477dSHong Zhang k++; 35583c2a7987SHong Zhang } 35593c2a7987SHong Zhang 3560b78a477dSHong Zhang /* finished row so stick it into b->a */ 3561b78a477dSHong Zhang /* L-part */ 3562b78a477dSHong Zhang pv = b->a + bi[i] ; 3563b78a477dSHong Zhang pj = bj + bi[i] ; 3564b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; 3565b78a477dSHong Zhang for (j=0; j<nzl; j++) { 3566b78a477dSHong Zhang pv[j] = rtmp[pj[j]]; 35676da515a1SHong Zhang /* printf(" (%d,%g),",pj[j],pv[j]); */ 35683c2a7987SHong Zhang } 3569b78a477dSHong Zhang 3570b78a477dSHong Zhang /* diagonal: invert diagonal entries for simplier triangular solves */ 3571b78a477dSHong Zhang if (rtmp[i] == 0.0) rtmp[i] = dt+shift; 3572b78a477dSHong Zhang b->a[bdiag[i]] = 1.0/rtmp[i]; 35736da515a1SHong Zhang /* printf(" (%d,%g),",i,b->a[bdiag[i]]); */ 3574b78a477dSHong Zhang 3575b78a477dSHong Zhang /* U-part */ 3576b78a477dSHong Zhang pv = b->a + bdiag[i+1] + 1; 3577b78a477dSHong Zhang pj = bj + bdiag[i+1] + 1; 3578b78a477dSHong Zhang nzu = bdiag[i] - bdiag[i+1] - 1; 3579b78a477dSHong Zhang for (j=0; j<nzu; j++) { 3580b78a477dSHong Zhang pv[j] = rtmp[pj[j]]; 35816da515a1SHong Zhang /* printf(" (%d,%g),",pj[j],pv[j]); */ 3582b78a477dSHong Zhang } 35836da515a1SHong Zhang /* printf("\n"); */ 3584b78a477dSHong Zhang } 3585b78a477dSHong Zhang 35863c2a7987SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 35873c2a7987SHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 35883c2a7987SHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 3589b78a477dSHong Zhang 35903c2a7987SHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 35913c2a7987SHong Zhang ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 35923c2a7987SHong Zhang if (row_identity && col_identity) { 359335233d99SShri Abhyankar C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering; 35943c2a7987SHong Zhang } else { 359535233d99SShri Abhyankar C->ops->solve = MatSolve_SeqAIJ; 35963c2a7987SHong Zhang } 3597b78a477dSHong Zhang C->ops->solveadd = 0; 3598b78a477dSHong Zhang C->ops->solvetranspose = 0; 3599b78a477dSHong Zhang C->ops->solvetransposeadd = 0; 3600b78a477dSHong Zhang C->ops->matsolve = 0; 36013c2a7987SHong Zhang C->assembled = PETSC_TRUE; 36023c2a7987SHong Zhang C->preallocated = PETSC_TRUE; 36033c2a7987SHong Zhang ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 36043c2a7987SHong Zhang PetscFunctionReturn(0); 36053c2a7987SHong Zhang } 3606