1be1d678aSKris Buschelman #define PETSCMAT_DLL 2289bc588SBarry Smith 3b377110cSBarry Smith 47c4f633dSBarry Smith #include "../src/mat/impls/aij/seq/aij.h" 51393bc97SHong Zhang #include "petscbt.h" 67c4f633dSBarry Smith #include "../src/mat/utils/freespace.h" 73b2fbd54SBarry Smith 8f6a26d55SMatthew Knepley EXTERN_C_BEGIN 94a2ae208SSatish Balay #undef __FUNCT__ 104a2ae208SSatish Balay #define __FUNCT__ "MatOrdering_Flow_SeqAIJ" 118fa24674SBarry Smith /* 128fa24674SBarry Smith Computes an ordering to get most of the large numerical values in the lower triangular part of the matrix 138fa24674SBarry Smith */ 14dfbe8321SBarry Smith PetscErrorCode MatOrdering_Flow_SeqAIJ(Mat mat,const MatOrderingType type,IS *irow,IS *icol) 153b2fbd54SBarry Smith { 168fa24674SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)mat->data; 178fa24674SBarry Smith PetscErrorCode ierr; 18889a8dedSBarry Smith PetscInt i,j,jj,k, kk,n = mat->rmap->n, current = 0, newcurrent = 0,*order; 198fa24674SBarry Smith const PetscInt *ai = a->i, *aj = a->j; 208fa24674SBarry Smith const PetscScalar *aa = a->a; 218fa24674SBarry Smith PetscTruth *done; 22889a8dedSBarry Smith PetscReal best,past = 0,future; 233a40ed3dSBarry Smith 248fa24674SBarry Smith PetscFunctionBegin; 258fa24674SBarry Smith /* pick initial row */ 268fa24674SBarry Smith best = -1; 278fa24674SBarry Smith for (i=0; i<n; i++) { 288fa24674SBarry Smith future = 0; 298fa24674SBarry Smith for (j=ai[i]; j<ai[i+1]; j++) { 308fa24674SBarry Smith if (aj[j] != i) future += PetscAbsScalar(aa[j]); else past = PetscAbsScalar(aa[j]); 318fa24674SBarry Smith } 328fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 338fa24674SBarry Smith if (past/future > best) { 348fa24674SBarry Smith best = past/future; 358fa24674SBarry Smith current = i; 368fa24674SBarry Smith } 378fa24674SBarry Smith } 388fa24674SBarry Smith 398fa24674SBarry Smith ierr = PetscMalloc(n*sizeof(PetscTruth),&done);CHKERRQ(ierr); 408fa24674SBarry Smith ierr = PetscMalloc(n*sizeof(PetscInt),&order);CHKERRQ(ierr); 418fa24674SBarry Smith ierr = PetscMemzero(done,n*sizeof(PetscTruth));CHKERRQ(ierr); 428fa24674SBarry Smith order[0] = current; 438fa24674SBarry Smith for (i=0; i<n-1; i++) { 448fa24674SBarry Smith done[current] = PETSC_TRUE; 458fa24674SBarry Smith best = -1; 468fa24674SBarry Smith /* loop over all neighbors of current pivot */ 478fa24674SBarry Smith for (j=ai[current]; j<ai[current+1]; j++) { 488fa24674SBarry Smith jj = aj[j]; 498fa24674SBarry Smith if (done[jj]) continue; 508fa24674SBarry Smith /* loop over columns of potential next row computing weights for below and above diagonal */ 518fa24674SBarry Smith past = future = 0.0; 528fa24674SBarry Smith for (k=ai[jj]; k<ai[jj+1]; k++) { 538fa24674SBarry Smith kk = aj[k]; 548fa24674SBarry Smith if (done[kk]) past += PetscAbsScalar(aa[k]); 558fa24674SBarry Smith else if (kk != jj) future += PetscAbsScalar(aa[k]); 568fa24674SBarry Smith } 578fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 588fa24674SBarry Smith if (past/future > best) { 598fa24674SBarry Smith best = past/future; 608fa24674SBarry Smith newcurrent = jj; 618fa24674SBarry Smith } 628fa24674SBarry Smith } 638fa24674SBarry Smith if (best == -1) { /* no neighbors to select from so select best of all that remain */ 648fa24674SBarry Smith best = -1; 658fa24674SBarry Smith for (k=0; k<n; k++) { 668fa24674SBarry Smith if (done[k]) continue; 678fa24674SBarry Smith future = 0; 688fa24674SBarry Smith past = 0; 698fa24674SBarry Smith for (j=ai[k]; j<ai[k+1]; j++) { 708fa24674SBarry Smith kk = aj[j]; 718fa24674SBarry Smith if (done[kk]) past += PetscAbsScalar(aa[j]); 728fa24674SBarry Smith else if (kk != k) future += PetscAbsScalar(aa[j]); 738fa24674SBarry Smith } 748fa24674SBarry Smith if (!future) future = 1.e-10; /* if there is zero in the upper diagonal part want to rank this row high */ 758fa24674SBarry Smith if (past/future > best) { 768fa24674SBarry Smith best = past/future; 778fa24674SBarry Smith newcurrent = k; 788fa24674SBarry Smith } 798fa24674SBarry Smith } 808fa24674SBarry Smith } 818fa24674SBarry Smith if (current == newcurrent) SETERRQ(PETSC_ERR_PLIB,"newcurrent cannot be current"); 828fa24674SBarry Smith current = newcurrent; 838fa24674SBarry Smith order[i+1] = current; 848fa24674SBarry Smith } 858fa24674SBarry Smith ierr = ISCreateGeneral(PETSC_COMM_SELF,n,order,irow);CHKERRQ(ierr); 868fa24674SBarry Smith *icol = *irow; 878fa24674SBarry Smith ierr = PetscObjectReference((PetscObject)*irow);CHKERRQ(ierr); 888fa24674SBarry Smith ierr = PetscFree(done);CHKERRQ(ierr); 898fa24674SBarry Smith ierr = PetscFree(order);CHKERRQ(ierr); 90d64ed03dSBarry Smith PetscFunctionReturn(0); 913b2fbd54SBarry Smith } 92f6a26d55SMatthew Knepley EXTERN_C_END 933b2fbd54SBarry Smith 94e631078cSBarry Smith EXTERN_C_BEGIN 954a2ae208SSatish Balay #undef __FUNCT__ 96db4efbfdSBarry Smith #define __FUNCT__ "MatGetFactorAvailable_seqaij_petsc" 97db4efbfdSBarry Smith PetscErrorCode MatGetFactorAvailable_seqaij_petsc(Mat A,MatFactorType ftype,PetscTruth *flg) 98db4efbfdSBarry Smith { 99db4efbfdSBarry Smith PetscFunctionBegin; 100db4efbfdSBarry Smith *flg = PETSC_TRUE; 101db4efbfdSBarry Smith PetscFunctionReturn(0); 102db4efbfdSBarry Smith } 103db4efbfdSBarry Smith EXTERN_C_END 104db4efbfdSBarry Smith 105db4efbfdSBarry Smith EXTERN_C_BEGIN 106db4efbfdSBarry Smith #undef __FUNCT__ 107b24902e0SBarry Smith #define __FUNCT__ "MatGetFactor_seqaij_petsc" 108b24902e0SBarry Smith PetscErrorCode MatGetFactor_seqaij_petsc(Mat A,MatFactorType ftype,Mat *B) 109b24902e0SBarry Smith { 110d0f46423SBarry Smith PetscInt n = A->rmap->n; 111b24902e0SBarry Smith PetscErrorCode ierr; 112b24902e0SBarry Smith 113b24902e0SBarry Smith PetscFunctionBegin; 114b24902e0SBarry Smith ierr = MatCreate(((PetscObject)A)->comm,B);CHKERRQ(ierr); 115b24902e0SBarry Smith ierr = MatSetSizes(*B,n,n,n,n);CHKERRQ(ierr); 116599ef60dSHong Zhang if (ftype == MAT_FACTOR_LU || ftype == MAT_FACTOR_ILU || ftype == MAT_FACTOR_ILUDT){ 117b24902e0SBarry Smith ierr = MatSetType(*B,MATSEQAIJ);CHKERRQ(ierr); 118db4efbfdSBarry Smith (*B)->ops->ilufactorsymbolic = MatILUFactorSymbolic_SeqAIJ; 11935bd34faSBarry Smith (*B)->ops->lufactorsymbolic = MatLUFactorSymbolic_SeqAIJ; 1201da05e5aSHong Zhang (*B)->ops->iludtfactor = MatILUDTFactor_SeqAIJ; 121b24902e0SBarry Smith } else if (ftype == MAT_FACTOR_CHOLESKY || ftype == MAT_FACTOR_ICC) { 122b24902e0SBarry Smith ierr = MatSetType(*B,MATSEQSBAIJ);CHKERRQ(ierr); 123b24902e0SBarry Smith ierr = MatSeqSBAIJSetPreallocation(*B,1,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 1245c9eb25fSBarry Smith (*B)->ops->iccfactorsymbolic = MatICCFactorSymbolic_SeqAIJ; 1255c9eb25fSBarry Smith (*B)->ops->choleskyfactorsymbolic = MatCholeskyFactorSymbolic_SeqAIJ; 126b24902e0SBarry Smith } else SETERRQ(PETSC_ERR_SUP,"Factor type not supported"); 127db4efbfdSBarry Smith (*B)->factor = ftype; 128b24902e0SBarry Smith PetscFunctionReturn(0); 129b24902e0SBarry Smith } 130e631078cSBarry Smith EXTERN_C_END 131b24902e0SBarry Smith 132b24902e0SBarry Smith #undef __FUNCT__ 133b9617806SBarry Smith #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ" 1340481f469SBarry Smith PetscErrorCode MatLUFactorSymbolic_SeqAIJ(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 135289bc588SBarry Smith { 136416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 137289bc588SBarry Smith IS isicol; 1386849ba73SBarry Smith PetscErrorCode ierr; 1395d0c19d7SBarry Smith const PetscInt *r,*ic; 1405d0c19d7SBarry Smith PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j; 1411393bc97SHong Zhang PetscInt *bi,*bj,*ajtmp; 1421393bc97SHong Zhang PetscInt *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im; 1439e046878SBarry Smith PetscReal f; 1444875ba38SHong Zhang PetscInt nlnk,*lnk,k,**bi_ptr; 145a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1461393bc97SHong Zhang PetscBT lnkbt; 147ce3d78c0SShri Abhyankar PetscTruth newdatastruct=PETSC_FALSE; 148289bc588SBarry Smith 1493a40ed3dSBarry Smith PetscFunctionBegin; 150ce3d78c0SShri Abhyankar ierr = PetscOptionsGetTruth(PETSC_NULL,"-lu_new",&newdatastruct,PETSC_NULL);CHKERRQ(ierr); 151ce3d78c0SShri Abhyankar if(newdatastruct){ 152ce3d78c0SShri Abhyankar ierr = MatLUFactorSymbolic_SeqAIJ_newdatastruct(B,A,isrow,iscol,info);CHKERRQ(ierr); 153ce3d78c0SShri Abhyankar PetscFunctionReturn(0); 154ce3d78c0SShri Abhyankar } 155ce3d78c0SShri Abhyankar 156d0f46423SBarry Smith if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square"); 1574c49b128SBarry Smith ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 158ac121b3dSBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 159ac121b3dSBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 160289bc588SBarry Smith 161289bc588SBarry Smith /* get new row pointers */ 1621393bc97SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 1631393bc97SHong Zhang bi[0] = 0; 1641393bc97SHong Zhang 1651393bc97SHong Zhang /* bdiag is location of diagonal in factor */ 1661393bc97SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 1671393bc97SHong Zhang bdiag[0] = 0; 1681393bc97SHong Zhang 1691393bc97SHong Zhang /* linked list for storing column indices of the active row */ 1701393bc97SHong Zhang nlnk = n + 1; 1711393bc97SHong Zhang ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 1721393bc97SHong Zhang 17335baf27eSSatish Balay ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr); 1741393bc97SHong Zhang 1751393bc97SHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 176d3d32019SBarry Smith f = info->fill; 177a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 1781393bc97SHong Zhang current_space = free_space; 179289bc588SBarry Smith 180289bc588SBarry Smith for (i=0; i<n; i++) { 1811393bc97SHong Zhang /* copy previous fill into linked list */ 182289bc588SBarry Smith nzi = 0; 1831393bc97SHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 1843b4a8b6dSBarry 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); 1851393bc97SHong Zhang ajtmp = aj + ai[r[i]]; 186afcc9904SHong Zhang ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 1871393bc97SHong Zhang nzi += nlnk; 1881393bc97SHong Zhang 1891393bc97SHong Zhang /* add pivot rows into linked list */ 1901393bc97SHong Zhang row = lnk[n]; 1911393bc97SHong Zhang while (row < i) { 192d1170560SHong Zhang nzbd = bdiag[row] - bi[row] + 1; /* num of entries in the row with column index <= row */ 193d1170560SHong Zhang ajtmp = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */ 194d1170560SHong Zhang ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr); 1951393bc97SHong Zhang nzi += nlnk; 1961393bc97SHong Zhang row = lnk[row]; 197289bc588SBarry Smith } 1981393bc97SHong Zhang bi[i+1] = bi[i] + nzi; 1991393bc97SHong Zhang im[i] = nzi; 2001393bc97SHong Zhang 2011393bc97SHong Zhang /* mark bdiag */ 2021393bc97SHong Zhang nzbd = 0; 2031393bc97SHong Zhang nnz = nzi; 2041393bc97SHong Zhang k = lnk[n]; 2051393bc97SHong Zhang while (nnz-- && k < i){ 2061393bc97SHong Zhang nzbd++; 2071393bc97SHong Zhang k = lnk[k]; 2081393bc97SHong Zhang } 2091393bc97SHong Zhang bdiag[i] = bi[i] + nzbd; 2101393bc97SHong Zhang 2111393bc97SHong Zhang /* if free space is not available, make more free space */ 2121393bc97SHong Zhang if (current_space->local_remaining<nzi) { 2131393bc97SHong Zhang nnz = (n - i)*nzi; /* estimated and max additional space needed */ 214a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 2151393bc97SHong Zhang reallocs++; 2161393bc97SHong Zhang } 2171393bc97SHong Zhang 2181393bc97SHong Zhang /* copy data into free space, then initialize lnk */ 2191393bc97SHong Zhang ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 2201393bc97SHong Zhang bi_ptr[i] = current_space->array; 2211393bc97SHong Zhang current_space->array += nzi; 2221393bc97SHong Zhang current_space->local_used += nzi; 2231393bc97SHong Zhang current_space->local_remaining -= nzi; 224289bc588SBarry Smith } 2256cf91177SBarry Smith #if defined(PETSC_USE_INFO) 226464e8d44SSatish Balay if (ai[n] != 0) { 2271393bc97SHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 228ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 229ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 230ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr); 231ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 23205bf559cSSatish Balay } else { 233ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr); 23405bf559cSSatish Balay } 23563ba0a88SBarry Smith #endif 2362fb3ed76SBarry Smith 237898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 238898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 2391987afe7SBarry Smith 2401393bc97SHong Zhang /* destroy list of free space and other temporary array(s) */ 2411393bc97SHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 242a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); 2431393bc97SHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 24435baf27eSSatish Balay ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr); 245289bc588SBarry Smith 246289bc588SBarry Smith /* put together the new matrix */ 247719d5645SBarry Smith ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 248719d5645SBarry Smith ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 249719d5645SBarry Smith b = (Mat_SeqAIJ*)(B)->data; 250e6b907acSBarry Smith b->free_a = PETSC_TRUE; 251e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 2527c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 2531393bc97SHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 2541393bc97SHong Zhang b->j = bj; 2551393bc97SHong Zhang b->i = bi; 2561393bc97SHong Zhang b->diag = bdiag; 257416022c9SBarry Smith b->ilen = 0; 258416022c9SBarry Smith b->imax = 0; 259416022c9SBarry Smith b->row = isrow; 260416022c9SBarry Smith b->col = iscol; 261c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 262c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 26382bf6240SBarry Smith b->icol = isicol; 26487828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2651393bc97SHong Zhang 2661393bc97SHong Zhang /* In b structure: Free imax, ilen, old a, old j. Allocate solve_work, new a, new j */ 267719d5645SBarry Smith ierr = PetscLogObjectMemory(B,(bi[n]-n)*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 2681393bc97SHong Zhang b->maxnz = b->nz = bi[n] ; 2697fd98bd6SLois Curfman McInnes 270719d5645SBarry Smith (B)->factor = MAT_FACTOR_LU; 271719d5645SBarry Smith (B)->info.factor_mallocs = reallocs; 272719d5645SBarry Smith (B)->info.fill_ratio_given = f; 273703deb49SSatish Balay 2749f7d0b68SHong Zhang if (ai[n]) { 275719d5645SBarry Smith (B)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 276eea2913aSSatish Balay } else { 277719d5645SBarry Smith (B)->info.fill_ratio_needed = 0.0; 278eea2913aSSatish Balay } 279719d5645SBarry Smith (B)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 280719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqAIJ; 281719d5645SBarry Smith (B)->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 282db4efbfdSBarry Smith /* switch to inodes if appropriate */ 283719d5645SBarry Smith ierr = MatLUFactorSymbolic_Inode(B,A,isrow,iscol,info);CHKERRQ(ierr); 2843a40ed3dSBarry Smith PetscFunctionReturn(0); 285289bc588SBarry Smith } 2861393bc97SHong Zhang 287ce3d78c0SShri Abhyankar #undef __FUNCT__ 288ce3d78c0SShri Abhyankar #define __FUNCT__ "MatLUFactorSymbolic_SeqAIJ_newdatastruct" 289ce3d78c0SShri Abhyankar PetscErrorCode MatLUFactorSymbolic_SeqAIJ_newdatastruct(Mat B,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 290ce3d78c0SShri Abhyankar { 291ce3d78c0SShri Abhyankar Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 292ce3d78c0SShri Abhyankar IS isicol; 293ce3d78c0SShri Abhyankar PetscErrorCode ierr; 294ce3d78c0SShri Abhyankar const PetscInt *r,*ic; 295ce3d78c0SShri Abhyankar PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j; 296ce3d78c0SShri Abhyankar PetscInt *bi,*bj,*ajtmp; 297ce3d78c0SShri Abhyankar PetscInt *bdiag,row,nnz,nzi,reallocs=0,nzbd,*im; 298ce3d78c0SShri Abhyankar PetscReal f; 299ce3d78c0SShri Abhyankar PetscInt nlnk,*lnk,k,**bi_ptr; 300ce3d78c0SShri Abhyankar PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 301ce3d78c0SShri Abhyankar PetscBT lnkbt; 302ce3d78c0SShri Abhyankar 303ce3d78c0SShri Abhyankar PetscFunctionBegin; 304ce3d78c0SShri Abhyankar if (A->rmap->N != A->cmap->N) SETERRQ(PETSC_ERR_ARG_WRONG,"matrix must be square"); 305ce3d78c0SShri Abhyankar ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 306ce3d78c0SShri Abhyankar ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 307ce3d78c0SShri Abhyankar ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 308ce3d78c0SShri Abhyankar 309ce3d78c0SShri Abhyankar /* get new row pointers */ 310ce3d78c0SShri Abhyankar ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 311ce3d78c0SShri Abhyankar bi[0] = 0; 312ce3d78c0SShri Abhyankar 313ce3d78c0SShri Abhyankar /* bdiag is location of diagonal in factor */ 314ce3d78c0SShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 315ce3d78c0SShri Abhyankar bdiag[0] = 0; 316ce3d78c0SShri Abhyankar 317ce3d78c0SShri Abhyankar /* linked list for storing column indices of the active row */ 318ce3d78c0SShri Abhyankar nlnk = n + 1; 319ce3d78c0SShri Abhyankar ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 320ce3d78c0SShri Abhyankar 321ce3d78c0SShri Abhyankar ierr = PetscMalloc2(n+1,PetscInt**,&bi_ptr,n+1,PetscInt,&im);CHKERRQ(ierr); 322ce3d78c0SShri Abhyankar 323ce3d78c0SShri Abhyankar /* initial FreeSpace size is f*(ai[n]+1) */ 324ce3d78c0SShri Abhyankar f = info->fill; 325ce3d78c0SShri Abhyankar ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 326ce3d78c0SShri Abhyankar current_space = free_space; 327ce3d78c0SShri Abhyankar 328ce3d78c0SShri Abhyankar for (i=0; i<n; i++) { 329ce3d78c0SShri Abhyankar /* copy previous fill into linked list */ 330ce3d78c0SShri Abhyankar nzi = 0; 331ce3d78c0SShri Abhyankar nnz = ai[r[i]+1] - ai[r[i]]; 332ce3d78c0SShri 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); 333ce3d78c0SShri Abhyankar ajtmp = aj + ai[r[i]]; 334ce3d78c0SShri Abhyankar ierr = PetscLLAddPerm(nnz,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 335ce3d78c0SShri Abhyankar nzi += nlnk; 336ce3d78c0SShri Abhyankar 337ce3d78c0SShri Abhyankar /* add pivot rows into linked list */ 338ce3d78c0SShri Abhyankar row = lnk[n]; 339ce3d78c0SShri Abhyankar while (row < i){ 34070319c84SHong Zhang nzbd = bdiag[row] + 1; /* num of entries in the row with column index <= row */ 341ce3d78c0SShri Abhyankar ajtmp = bi_ptr[row] + nzbd; /* points to the entry next to the diagonal */ 342ce3d78c0SShri Abhyankar ierr = PetscLLAddSortedLU(ajtmp,row,nlnk,lnk,lnkbt,i,nzbd,im);CHKERRQ(ierr); 343ce3d78c0SShri Abhyankar nzi += nlnk; 344ce3d78c0SShri Abhyankar row = lnk[row]; 345ce3d78c0SShri Abhyankar } 346ce3d78c0SShri Abhyankar bi[i+1] = bi[i] + nzi; 347ce3d78c0SShri Abhyankar im[i] = nzi; 348ce3d78c0SShri Abhyankar 349ce3d78c0SShri Abhyankar /* mark bdiag */ 350ce3d78c0SShri Abhyankar nzbd = 0; 351ce3d78c0SShri Abhyankar nnz = nzi; 352ce3d78c0SShri Abhyankar k = lnk[n]; 353ce3d78c0SShri Abhyankar while (nnz-- && k < i){ 354ce3d78c0SShri Abhyankar nzbd++; 355ce3d78c0SShri Abhyankar k = lnk[k]; 356ce3d78c0SShri Abhyankar } 35770319c84SHong Zhang bdiag[i] = nzbd; /* note: bdiag[i] = nnzL as input for PetscFreeSpaceContiguous_newdatastruct() */ 358ce3d78c0SShri Abhyankar 359ce3d78c0SShri Abhyankar /* if free space is not available, make more free space */ 360ce3d78c0SShri Abhyankar if (current_space->local_remaining<nzi) { 361ce3d78c0SShri Abhyankar nnz = 2*(n - i)*nzi; /* estimated and max additional space needed */ 362ce3d78c0SShri Abhyankar ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 363ce3d78c0SShri Abhyankar reallocs++; 364ce3d78c0SShri Abhyankar } 365ce3d78c0SShri Abhyankar 366ce3d78c0SShri Abhyankar /* copy data into free space, then initialize lnk */ 367ce3d78c0SShri Abhyankar ierr = PetscLLClean(n,n,nzi,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 368ce3d78c0SShri Abhyankar bi_ptr[i] = current_space->array; 369ce3d78c0SShri Abhyankar current_space->array += nzi; 370ce3d78c0SShri Abhyankar current_space->local_used += nzi; 371ce3d78c0SShri Abhyankar current_space->local_remaining -= nzi; 372ce3d78c0SShri Abhyankar } 373ce3d78c0SShri Abhyankar #if defined(PETSC_USE_INFO) 374ce3d78c0SShri Abhyankar if (ai[n] != 0) { 375ce3d78c0SShri Abhyankar PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 376ce3d78c0SShri Abhyankar ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 377ce3d78c0SShri Abhyankar ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 378ce3d78c0SShri Abhyankar ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G);\n",af);CHKERRQ(ierr); 379ce3d78c0SShri Abhyankar ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 380ce3d78c0SShri Abhyankar } else { 381ce3d78c0SShri Abhyankar ierr = PetscInfo(A,"Empty matrix\n");CHKERRQ(ierr); 382ce3d78c0SShri Abhyankar } 383ce3d78c0SShri Abhyankar #endif 384ce3d78c0SShri Abhyankar 385ce3d78c0SShri Abhyankar ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 386ce3d78c0SShri Abhyankar ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 387ce3d78c0SShri Abhyankar 388ce3d78c0SShri Abhyankar /* destroy list of free space and other temporary array(s) */ 389ce3d78c0SShri Abhyankar ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 390ce3d78c0SShri Abhyankar ierr = PetscFreeSpaceContiguous_newdatastruct(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr); 391ce3d78c0SShri Abhyankar ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 392ce3d78c0SShri Abhyankar ierr = PetscFree2(bi_ptr,im);CHKERRQ(ierr); 393ce3d78c0SShri Abhyankar 394ce3d78c0SShri Abhyankar /* put together the new matrix */ 395ce3d78c0SShri Abhyankar ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 396ce3d78c0SShri Abhyankar ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 397ce3d78c0SShri Abhyankar b = (Mat_SeqAIJ*)(B)->data; 398ce3d78c0SShri Abhyankar b->free_a = PETSC_TRUE; 399ce3d78c0SShri Abhyankar b->free_ij = PETSC_TRUE; 400ce3d78c0SShri Abhyankar b->singlemalloc = PETSC_FALSE; 401ce3d78c0SShri Abhyankar ierr = PetscMalloc((bi[2*n+1])*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 402ce3d78c0SShri Abhyankar b->j = bj; 403ce3d78c0SShri Abhyankar b->i = bi; 404ce3d78c0SShri Abhyankar b->diag = bdiag; 405ce3d78c0SShri Abhyankar b->ilen = 0; 406ce3d78c0SShri Abhyankar b->imax = 0; 407ce3d78c0SShri Abhyankar b->row = isrow; 408ce3d78c0SShri Abhyankar b->col = iscol; 409ce3d78c0SShri Abhyankar ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 410ce3d78c0SShri Abhyankar ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 411ce3d78c0SShri Abhyankar b->icol = isicol; 412ce3d78c0SShri Abhyankar ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 413ce3d78c0SShri Abhyankar 414ce3d78c0SShri Abhyankar /* In b structure: Free imax, ilen, old a, old j. Allocate solve_work, new a, new j */ 415ce3d78c0SShri Abhyankar ierr = PetscLogObjectMemory(B,bi[2*n+1]*(sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 416ce3d78c0SShri Abhyankar b->maxnz = b->nz = bi[2*n+1] ; 417ce3d78c0SShri Abhyankar 418ce3d78c0SShri Abhyankar (B)->factor = MAT_FACTOR_LU; 419ce3d78c0SShri Abhyankar (B)->info.factor_mallocs = reallocs; 420ce3d78c0SShri Abhyankar (B)->info.fill_ratio_given = f; 421ce3d78c0SShri Abhyankar 422ce3d78c0SShri Abhyankar if (ai[n]) { 423*894a2336SHong Zhang (B)->info.fill_ratio_needed = ((PetscReal)bi[2*n+1])/((PetscReal)ai[n]); 424ce3d78c0SShri Abhyankar } else { 425ce3d78c0SShri Abhyankar (B)->info.fill_ratio_needed = 0.0; 426ce3d78c0SShri Abhyankar } 427ce3d78c0SShri Abhyankar (B)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_newdatastruct; 428ce3d78c0SShri Abhyankar PetscFunctionReturn(0); 429ce3d78c0SShri Abhyankar } 430ce3d78c0SShri Abhyankar 4315b5bc046SBarry Smith /* 4325b5bc046SBarry Smith Trouble in factorization, should we dump the original matrix? 4335b5bc046SBarry Smith */ 4345b5bc046SBarry Smith #undef __FUNCT__ 4355b5bc046SBarry Smith #define __FUNCT__ "MatFactorDumpMatrix" 4365b5bc046SBarry Smith PetscErrorCode MatFactorDumpMatrix(Mat A) 4375b5bc046SBarry Smith { 4385b5bc046SBarry Smith PetscErrorCode ierr; 43990d69ab7SBarry Smith PetscTruth flg = PETSC_FALSE; 4405b5bc046SBarry Smith 4415b5bc046SBarry Smith PetscFunctionBegin; 44290d69ab7SBarry Smith ierr = PetscOptionsGetTruth(PETSC_NULL,"-mat_factor_dump_on_error",&flg,PETSC_NULL);CHKERRQ(ierr); 4435b5bc046SBarry Smith if (flg) { 4445b5bc046SBarry Smith PetscViewer viewer; 4455b5bc046SBarry Smith char filename[PETSC_MAX_PATH_LEN]; 4465b5bc046SBarry Smith 4475b5bc046SBarry Smith ierr = PetscSNPrintf(filename,PETSC_MAX_PATH_LEN,"matrix_factor_error.%d",PetscGlobalRank);CHKERRQ(ierr); 4487adad957SLisandro Dalcin ierr = PetscViewerBinaryOpen(((PetscObject)A)->comm,filename,FILE_MODE_WRITE,&viewer);CHKERRQ(ierr); 4495b5bc046SBarry Smith ierr = MatView(A,viewer);CHKERRQ(ierr); 4505b5bc046SBarry Smith ierr = PetscViewerDestroy(viewer);CHKERRQ(ierr); 4515b5bc046SBarry Smith } 4525b5bc046SBarry Smith PetscFunctionReturn(0); 4535b5bc046SBarry Smith } 4545b5bc046SBarry Smith 455db4efbfdSBarry Smith extern PetscErrorCode MatSolve_Inode(Mat,Vec,Vec); 456db4efbfdSBarry Smith 4570a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 458*894a2336SHong Zhang extern PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_newdatastruct(Mat,Vec,Vec); 459*894a2336SHong Zhang extern PetscErrorCode MatSolve_SeqAIJ_newdatastruct(Mat,Vec,Vec); 460c9c72f8fSHong Zhang 461c9c72f8fSHong Zhang #undef __FUNCT__ 462c9c72f8fSHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_newdatastruct" 463c9c72f8fSHong Zhang PetscErrorCode MatLUFactorNumeric_SeqAIJ_newdatastruct(Mat B,Mat A,const MatFactorInfo *info) 464c9c72f8fSHong Zhang { 465c9c72f8fSHong Zhang Mat C=B; 466c9c72f8fSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 467c9c72f8fSHong Zhang IS isrow = b->row,isicol = b->icol; 468c9c72f8fSHong Zhang PetscErrorCode ierr; 469c9c72f8fSHong Zhang const PetscInt *r,*ic,*ics; 470c9c72f8fSHong Zhang PetscInt i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 471c9c72f8fSHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzL,row,*bdiag=b->diag,*pj; 472c9c72f8fSHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,*aa=a->a; 473c9c72f8fSHong Zhang PetscReal shift=info->shiftinblocks; 474c9c72f8fSHong Zhang PetscTruth row_identity, col_identity; 475c9c72f8fSHong Zhang 476c9c72f8fSHong Zhang PetscFunctionBegin; 477c9c72f8fSHong Zhang /* printf("MatLUFactorNumeric_SeqAIJ_newdatastruct is called ...\n"); */ 478c9c72f8fSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 479c9c72f8fSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 480c9c72f8fSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 481c9c72f8fSHong Zhang ics = ic; 482c9c72f8fSHong Zhang 483c9c72f8fSHong Zhang for (i=0; i<n; i++){ 484c9c72f8fSHong Zhang /* zero rtmp */ 485c9c72f8fSHong Zhang /* L part */ 486c9c72f8fSHong Zhang nz = bi[i+1] - bi[i]; 487c9c72f8fSHong Zhang bjtmp = bj + bi[i]; 488c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 489c9c72f8fSHong Zhang 490c9c72f8fSHong Zhang /* U part */ 4918fc3a347SHong Zhang nz = bi[2*n-i+1] - bi[2*n-i]; 4928fc3a347SHong Zhang bjtmp = bj + bi[2*n-i]; 493c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 494c9c72f8fSHong Zhang 495c9c72f8fSHong Zhang /* load in initial (unfactored row) */ 496c9c72f8fSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 497c9c72f8fSHong Zhang ajtmp = aj + ai[r[i]]; 498c9c72f8fSHong Zhang v = aa + ai[r[i]]; 499c9c72f8fSHong Zhang for (j=0; j<nz; j++) { 500c9c72f8fSHong Zhang rtmp[ics[ajtmp[j]]] = v[j]; 501c9c72f8fSHong Zhang } 502c9c72f8fSHong Zhang if (rtmp[ics[r[i]]] == 0.0){ 503c9c72f8fSHong Zhang rtmp[ics[r[i]]] += shift; /* shift the diagonal of the matrix */ 504c9c72f8fSHong Zhang /* printf("row %d, shift %g\n",i,shift); */ 505c9c72f8fSHong Zhang } 506c9c72f8fSHong Zhang 507c9c72f8fSHong Zhang /* elimination */ 508c9c72f8fSHong Zhang bjtmp = bj + bi[i]; 509c9c72f8fSHong Zhang row = *bjtmp++; 510c9c72f8fSHong Zhang nzL = bi[i+1] - bi[i]; 511c9c72f8fSHong Zhang k = 0; 512c9c72f8fSHong Zhang while (k < nzL) { 513c9c72f8fSHong Zhang pc = rtmp + row; 514c9c72f8fSHong Zhang if (*pc != 0.0) { 515c9c72f8fSHong Zhang pv = b->a + bdiag[row]; 516c9c72f8fSHong Zhang multiplier = *pc * (*pv); 517c9c72f8fSHong Zhang *pc = multiplier; 5188fc3a347SHong Zhang pj = b->j + bi[2*n-row]; /* begining of U(row,:) */ 5198fc3a347SHong Zhang pv = b->a + bi[2*n-row]; 5208fc3a347SHong Zhang nz = bi[2*n-row+1] - bi[2*n-row] - 1; /* num of entries in U(row,:), excluding diag */ 521c9c72f8fSHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 522c9c72f8fSHong Zhang ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 523c9c72f8fSHong Zhang } 524c9c72f8fSHong Zhang row = *bjtmp++; k++; 525c9c72f8fSHong Zhang } 526c9c72f8fSHong Zhang 527c9c72f8fSHong Zhang /* finished row so stick it into b->a */ 528c9c72f8fSHong Zhang /* L part */ 529c9c72f8fSHong Zhang pv = b->a + bi[i] ; 530c9c72f8fSHong Zhang pj = b->j + bi[i] ; 531c9c72f8fSHong Zhang nz = bi[i+1] - bi[i]; 532c9c72f8fSHong Zhang for (j=0; j<nz; j++) { 533c9c72f8fSHong Zhang pv[j] = rtmp[pj[j]]; 534c9c72f8fSHong Zhang } 535c9c72f8fSHong Zhang 536c9c72f8fSHong Zhang /* Mark diagonal and invert diagonal for simplier triangular solves */ 537c9c72f8fSHong Zhang pv = b->a + bdiag[i]; 538c9c72f8fSHong Zhang pj = b->j + bdiag[i]; 539c9c72f8fSHong Zhang /* if (*pj != i)SETERRQ2(PETSC_ERR_SUP,"row %d != *pj %d",i,*pj) */ 540c9c72f8fSHong Zhang *pv = 1.0/rtmp[*pj]; 541c9c72f8fSHong Zhang 542c9c72f8fSHong Zhang /* U part */ 5438fc3a347SHong Zhang pv = b->a + bi[2*n-i]; 5448fc3a347SHong Zhang pj = b->j + bi[2*n-i]; 5458fc3a347SHong Zhang nz = bi[2*n-i+1] - bi[2*n-i] - 1; 5468fc3a347SHong Zhang for (j=0; j<nz; j++) pv[j] = rtmp[pj[j]]; 547c9c72f8fSHong Zhang } 548c9c72f8fSHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 549c9c72f8fSHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 550c9c72f8fSHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 551c9c72f8fSHong Zhang 552c9c72f8fSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 553c9c72f8fSHong Zhang ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 554c9c72f8fSHong Zhang if (row_identity && col_identity) { 555*894a2336SHong Zhang C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_newdatastruct; 556c9c72f8fSHong Zhang } else { 557*894a2336SHong Zhang C->ops->solve = MatSolve_SeqAIJ_newdatastruct; 558c9c72f8fSHong Zhang } 559c9c72f8fSHong Zhang 560c9c72f8fSHong Zhang C->ops->solveadd = 0; 561c9c72f8fSHong Zhang C->ops->solvetranspose = 0; 562c9c72f8fSHong Zhang C->ops->solvetransposeadd = 0; 563c9c72f8fSHong Zhang C->ops->matsolve = 0; 564c9c72f8fSHong Zhang C->assembled = PETSC_TRUE; 565c9c72f8fSHong Zhang C->preallocated = PETSC_TRUE; 566c9c72f8fSHong Zhang ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 567c9c72f8fSHong Zhang PetscFunctionReturn(0); 568c9c72f8fSHong Zhang } 569c9c72f8fSHong Zhang 5704a2ae208SSatish Balay #undef __FUNCT__ 5714a2ae208SSatish Balay #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ" 5720481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info) 573289bc588SBarry Smith { 574719d5645SBarry Smith Mat C=B; 575416022c9SBarry Smith Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 57682bf6240SBarry Smith IS isrow = b->row,isicol = b->icol; 5776849ba73SBarry Smith PetscErrorCode ierr; 5785d0c19d7SBarry Smith const PetscInt *r,*ic,*ics; 579d278edc7SBarry Smith PetscInt nz,row,i,j,n=A->rmap->n,diag; 580d278edc7SBarry Smith const PetscInt *ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 581d278edc7SBarry Smith const PetscInt *ajtmp,*bjtmp,*diag_offset = b->diag,*pj; 582d278edc7SBarry Smith MatScalar *pv,*rtmp,*pc,multiplier,d; 583d278edc7SBarry Smith const MatScalar *v,*aa=a->a; 58433f9893dSHong Zhang PetscReal rs=0.0; 585b3bf805bSHong Zhang LUShift_Ctx sctx; 58642898933SHong Zhang PetscInt newshift,*ddiag; 587289bc588SBarry Smith 5883a40ed3dSBarry Smith PetscFunctionBegin; 58978b31e54SBarry Smith ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 59078b31e54SBarry Smith ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 591b78a477dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 5929f7d0b68SHong Zhang ics = ic; 593289bc588SBarry Smith 594ada7143aSSatish Balay sctx.shift_top = 0; 595ada7143aSSatish Balay sctx.nshift_max = 0; 596ada7143aSSatish Balay sctx.shift_lo = 0; 597ada7143aSSatish Balay sctx.shift_hi = 0; 5980481f469SBarry Smith sctx.shift_fraction = 0; 599ada7143aSSatish Balay 600118f5789SBarry Smith /* if both shift schemes are chosen by user, only use info->shiftpd */ 6011a890ab1SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 60242898933SHong Zhang ddiag = a->diag; 6039f7d0b68SHong Zhang sctx.shift_top = info->zeropivot; 6046cc28720Svictorle for (i=0; i<n; i++) { 6059f95998fSHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 6069f7d0b68SHong Zhang d = (aa)[ddiag[i]]; 6071a890ab1SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 6089f7d0b68SHong Zhang v = aa+ai[i]; 6099f7d0b68SHong Zhang nz = ai[i+1] - ai[i]; 610e24cfe64SHong Zhang for (j=0; j<nz; j++) 6111a890ab1SHong Zhang rs += PetscAbsScalar(v[j]); 6121a890ab1SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 6136cc28720Svictorle } 614118f5789SBarry Smith sctx.shift_top *= 1.1; 615d2276718SHong Zhang sctx.nshift_max = 5; 616d2276718SHong Zhang sctx.shift_lo = 0.; 617d2276718SHong Zhang sctx.shift_hi = 1.; 618a0a356efSHong Zhang } 619a0a356efSHong Zhang 6209f7d0b68SHong Zhang sctx.shift_amount = 0.0; 621a0a356efSHong Zhang sctx.nshift = 0; 622085256b3SBarry Smith do { 623d2276718SHong Zhang sctx.lushift = PETSC_FALSE; 624289bc588SBarry Smith for (i=0; i<n; i++){ 625b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 626b3bf805bSHong Zhang bjtmp = bj + bi[i]; 6279f7d0b68SHong Zhang for (j=0; j<nz; j++) rtmp[bjtmp[j]] = 0.0; 628289bc588SBarry Smith 629289bc588SBarry Smith /* load in initial (unfactored row) */ 6309f7d0b68SHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 6319f7d0b68SHong Zhang ajtmp = aj + ai[r[i]]; 6329f7d0b68SHong Zhang v = aa + ai[r[i]]; 633085256b3SBarry Smith for (j=0; j<nz; j++) { 634b3bf805bSHong Zhang rtmp[ics[ajtmp[j]]] = v[j]; 635085256b3SBarry Smith } 636d2276718SHong Zhang rtmp[ics[r[i]]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 637bd1bc851SBarry Smith /* if (sctx.shift_amount > 0.0) printf("row %d, shift %g\n",i,sctx.shift_amount); */ 638289bc588SBarry Smith 639b3bf805bSHong Zhang row = *bjtmp++; 640f2582111SSatish Balay while (row < i) { 6418c37ef55SBarry Smith pc = rtmp + row; 6428c37ef55SBarry Smith if (*pc != 0.0) { 643010a20caSHong Zhang pv = b->a + diag_offset[row]; 644010a20caSHong Zhang pj = b->j + diag_offset[row] + 1; 64535aab85fSBarry Smith multiplier = *pc / *pv++; 6468c37ef55SBarry Smith *pc = multiplier; 647b3bf805bSHong Zhang nz = bi[row+1] - diag_offset[row] - 1; 6489f7d0b68SHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 649dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 650289bc588SBarry Smith } 651b3bf805bSHong Zhang row = *bjtmp++; 652289bc588SBarry Smith } 653416022c9SBarry Smith /* finished row so stick it into b->a */ 654b3bf805bSHong Zhang pv = b->a + bi[i] ; 655b3bf805bSHong Zhang pj = b->j + bi[i] ; 656b3bf805bSHong Zhang nz = bi[i+1] - bi[i]; 657b3bf805bSHong Zhang diag = diag_offset[i] - bi[i]; 658e57ff13aSBarry Smith rs = 0.0; 659d3d32019SBarry Smith for (j=0; j<nz; j++) { 6609f7d0b68SHong Zhang pv[j] = rtmp[pj[j]]; 6619f7d0b68SHong Zhang rs += PetscAbsScalar(pv[j]); 662d3d32019SBarry Smith } 663e57ff13aSBarry Smith rs -= PetscAbsScalar(pv[diag]); 664d2276718SHong Zhang 665b3bf805bSHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 666d2276718SHong Zhang sctx.rs = rs; 667d2276718SHong Zhang sctx.pv = pv[diag]; 668c6b1f410SHong Zhang ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); 6695b5bc046SBarry Smith if (newshift == 1) break; 67035aab85fSBarry Smith } 671d2276718SHong Zhang 6720481f469SBarry Smith if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 6736cc28720Svictorle /* 6746c037d1bSvictorle * if no shift in this attempt & shifting & started shifting & can refine, 6756cc28720Svictorle * then try lower shift 6766cc28720Svictorle */ 6770481f469SBarry Smith sctx.shift_hi = sctx.shift_fraction; 6780481f469SBarry Smith sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 6790481f469SBarry Smith sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 680d2276718SHong Zhang sctx.lushift = PETSC_TRUE; 681d2276718SHong Zhang sctx.nshift++; 6826cc28720Svictorle } 683d2276718SHong Zhang } while (sctx.lushift); 6840f11f9aeSSatish Balay 68535aab85fSBarry Smith /* invert diagonal entries for simplier triangular solves */ 68635aab85fSBarry Smith for (i=0; i<n; i++) { 687010a20caSHong Zhang b->a[diag_offset[i]] = 1.0/b->a[diag_offset[i]]; 68835aab85fSBarry Smith } 689606d414cSSatish Balay ierr = PetscFree(rtmp);CHKERRQ(ierr); 69078b31e54SBarry Smith ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 69178b31e54SBarry Smith ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 692db4efbfdSBarry Smith if (b->inode.use) { 693db4efbfdSBarry Smith C->ops->solve = MatSolve_Inode; 694db4efbfdSBarry Smith } else { 6958d8c7c43SBarry Smith PetscTruth row_identity, col_identity; 6968d8c7c43SBarry Smith ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 6978d8c7c43SBarry Smith ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 6988d8c7c43SBarry Smith if (row_identity && col_identity) { 6998d8c7c43SBarry Smith C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering; 7008d8c7c43SBarry Smith } else { 701db4efbfdSBarry Smith C->ops->solve = MatSolve_SeqAIJ; 702db4efbfdSBarry Smith } 7038d8c7c43SBarry Smith } 704db4efbfdSBarry Smith C->ops->solveadd = MatSolveAdd_SeqAIJ; 705db4efbfdSBarry Smith C->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 706db4efbfdSBarry Smith C->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ; 707de26497bSBarry Smith C->ops->matsolve = MatMatSolve_SeqAIJ; 708c456f294SBarry Smith C->assembled = PETSC_TRUE; 7095c9eb25fSBarry Smith C->preallocated = PETSC_TRUE; 710d0f46423SBarry Smith ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 711d2276718SHong Zhang if (sctx.nshift){ 712e738e422SBarry Smith if (info->shiftpd) { 7130481f469SBarry 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); 714e738e422SBarry Smith } else if (info->shiftnz) { 715e738e422SBarry Smith ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 7166cc28720Svictorle } 7170697b6caSHong Zhang } 7183a40ed3dSBarry Smith PetscFunctionReturn(0); 719289bc588SBarry Smith } 7200889b5dcSvictorle 721137fb511SHong Zhang /* 722137fb511SHong Zhang This routine implements inplace ILU(0) with row or/and column permutations. 723137fb511SHong Zhang Input: 724137fb511SHong Zhang A - original matrix 725137fb511SHong Zhang Output; 726137fb511SHong Zhang A - a->i (rowptr) is same as original rowptr, but factored i-the row is stored in rowperm[i] 727137fb511SHong Zhang a->j (col index) is permuted by the inverse of colperm, then sorted 728137fb511SHong Zhang a->a reordered accordingly with a->j 729137fb511SHong Zhang a->diag (ptr to diagonal elements) is updated. 730137fb511SHong Zhang */ 731137fb511SHong Zhang #undef __FUNCT__ 732137fb511SHong Zhang #define __FUNCT__ "MatLUFactorNumeric_SeqAIJ_InplaceWithPerm" 7330481f469SBarry Smith PetscErrorCode MatLUFactorNumeric_SeqAIJ_InplaceWithPerm(Mat B,Mat A,const MatFactorInfo *info) 734137fb511SHong Zhang { 735b051339dSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 736b051339dSHong Zhang IS isrow = a->row,isicol = a->icol; 737137fb511SHong Zhang PetscErrorCode ierr; 7385d0c19d7SBarry Smith const PetscInt *r,*ic,*ics; 7395d0c19d7SBarry Smith PetscInt i,j,n=A->rmap->n,*ai=a->i,*aj=a->j; 7405d0c19d7SBarry Smith PetscInt *ajtmp,nz,row; 741b051339dSHong Zhang PetscInt *diag = a->diag,nbdiag,*pj; 742a77337e4SBarry Smith PetscScalar *rtmp,*pc,multiplier,d; 743a77337e4SBarry Smith MatScalar *v,*pv; 744137fb511SHong Zhang PetscReal rs; 745137fb511SHong Zhang LUShift_Ctx sctx; 746b051339dSHong Zhang PetscInt newshift; 747137fb511SHong Zhang 748137fb511SHong Zhang PetscFunctionBegin; 749719d5645SBarry Smith if (A != B) SETERRQ(PETSC_ERR_ARG_INCOMP,"input and output matrix must have same address"); 750137fb511SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 751137fb511SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 752137fb511SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&rtmp);CHKERRQ(ierr); 753137fb511SHong Zhang ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr); 754b051339dSHong Zhang ics = ic; 755137fb511SHong Zhang 756137fb511SHong Zhang sctx.shift_top = 0; 757137fb511SHong Zhang sctx.nshift_max = 0; 758137fb511SHong Zhang sctx.shift_lo = 0; 759137fb511SHong Zhang sctx.shift_hi = 0; 7600481f469SBarry Smith sctx.shift_fraction = 0; 761137fb511SHong Zhang 762137fb511SHong Zhang /* if both shift schemes are chosen by user, only use info->shiftpd */ 763137fb511SHong Zhang if (info->shiftpd) { /* set sctx.shift_top=max{rs} */ 764137fb511SHong Zhang sctx.shift_top = 0; 765137fb511SHong Zhang for (i=0; i<n; i++) { 766137fb511SHong Zhang /* calculate sum(|aij|)-RealPart(aii), amt of shift needed for this row */ 767b051339dSHong Zhang d = (a->a)[diag[i]]; 768137fb511SHong Zhang rs = -PetscAbsScalar(d) - PetscRealPart(d); 769b051339dSHong Zhang v = a->a+ai[i]; 770b051339dSHong Zhang nz = ai[i+1] - ai[i]; 771137fb511SHong Zhang for (j=0; j<nz; j++) 772137fb511SHong Zhang rs += PetscAbsScalar(v[j]); 773137fb511SHong Zhang if (rs>sctx.shift_top) sctx.shift_top = rs; 774137fb511SHong Zhang } 775137fb511SHong Zhang if (sctx.shift_top < info->zeropivot) sctx.shift_top = info->zeropivot; 776137fb511SHong Zhang sctx.shift_top *= 1.1; 777137fb511SHong Zhang sctx.nshift_max = 5; 778137fb511SHong Zhang sctx.shift_lo = 0.; 779137fb511SHong Zhang sctx.shift_hi = 1.; 780137fb511SHong Zhang } 781137fb511SHong Zhang 782137fb511SHong Zhang sctx.shift_amount = 0; 783137fb511SHong Zhang sctx.nshift = 0; 784137fb511SHong Zhang do { 785137fb511SHong Zhang sctx.lushift = PETSC_FALSE; 786137fb511SHong Zhang for (i=0; i<n; i++){ 787b051339dSHong Zhang /* load in initial unfactored row */ 788b051339dSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 789b051339dSHong Zhang ajtmp = aj + ai[r[i]]; 790b051339dSHong Zhang v = a->a + ai[r[i]]; 791137fb511SHong Zhang /* sort permuted ajtmp and values v accordingly */ 792b051339dSHong Zhang for (j=0; j<nz; j++) ajtmp[j] = ics[ajtmp[j]]; 793137fb511SHong Zhang ierr = PetscSortIntWithScalarArray(nz,ajtmp,v);CHKERRQ(ierr); 794137fb511SHong Zhang 795b051339dSHong Zhang diag[r[i]] = ai[r[i]]; 796137fb511SHong Zhang for (j=0; j<nz; j++) { 797137fb511SHong Zhang rtmp[ajtmp[j]] = v[j]; 798b051339dSHong Zhang if (ajtmp[j] < i) diag[r[i]]++; /* update a->diag */ 799137fb511SHong Zhang } 800137fb511SHong Zhang rtmp[r[i]] += sctx.shift_amount; /* shift the diagonal of the matrix */ 801137fb511SHong Zhang 802b051339dSHong Zhang row = *ajtmp++; 803137fb511SHong Zhang while (row < i) { 804137fb511SHong Zhang pc = rtmp + row; 805137fb511SHong Zhang if (*pc != 0.0) { 806b051339dSHong Zhang pv = a->a + diag[r[row]]; 807b051339dSHong Zhang pj = aj + diag[r[row]] + 1; 808137fb511SHong Zhang 809137fb511SHong Zhang multiplier = *pc / *pv++; 810137fb511SHong Zhang *pc = multiplier; 811b051339dSHong Zhang nz = ai[r[row]+1] - diag[r[row]] - 1; 812b051339dSHong Zhang for (j=0; j<nz; j++) rtmp[pj[j]] -= multiplier * pv[j]; 813dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 814137fb511SHong Zhang } 815b051339dSHong Zhang row = *ajtmp++; 816137fb511SHong Zhang } 817b051339dSHong Zhang /* finished row so overwrite it onto a->a */ 818b051339dSHong Zhang pv = a->a + ai[r[i]] ; 819b051339dSHong Zhang pj = aj + ai[r[i]] ; 820b051339dSHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 821b051339dSHong Zhang nbdiag = diag[r[i]] - ai[r[i]]; /* num of entries before the diagonal */ 822137fb511SHong Zhang 823137fb511SHong Zhang rs = 0.0; 824137fb511SHong Zhang for (j=0; j<nz; j++) { 825b051339dSHong Zhang pv[j] = rtmp[pj[j]]; 826b051339dSHong Zhang if (j != nbdiag) rs += PetscAbsScalar(pv[j]); 827137fb511SHong Zhang } 828137fb511SHong Zhang 829137fb511SHong Zhang /* 9/13/02 Victor Eijkhout suggested scaling zeropivot by rs for matrices with funny scalings */ 830137fb511SHong Zhang sctx.rs = rs; 831b051339dSHong Zhang sctx.pv = pv[nbdiag]; 832c6b1f410SHong Zhang ierr = MatLUCheckShift_inline(info,sctx,i,newshift);CHKERRQ(ierr); 833137fb511SHong Zhang if (newshift == 1) break; 834137fb511SHong Zhang } 835137fb511SHong Zhang 8360481f469SBarry Smith if (info->shiftpd && !sctx.lushift && sctx.shift_fraction>0 && sctx.nshift<sctx.nshift_max) { 837137fb511SHong Zhang /* 838137fb511SHong Zhang * if no shift in this attempt & shifting & started shifting & can refine, 839137fb511SHong Zhang * then try lower shift 840137fb511SHong Zhang */ 8410481f469SBarry Smith sctx.shift_hi = sctx.shift_fraction; 8420481f469SBarry Smith sctx.shift_fraction = (sctx.shift_hi+sctx.shift_lo)/2.; 8430481f469SBarry Smith sctx.shift_amount = sctx.shift_fraction * sctx.shift_top; 844137fb511SHong Zhang sctx.lushift = PETSC_TRUE; 845137fb511SHong Zhang sctx.nshift++; 846137fb511SHong Zhang } 847137fb511SHong Zhang } while (sctx.lushift); 848137fb511SHong Zhang 849137fb511SHong Zhang /* invert diagonal entries for simplier triangular solves */ 850137fb511SHong Zhang for (i=0; i<n; i++) { 851b051339dSHong Zhang a->a[diag[r[i]]] = 1.0/a->a[diag[r[i]]]; 852137fb511SHong Zhang } 853137fb511SHong Zhang 854137fb511SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 855137fb511SHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 856137fb511SHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 857b051339dSHong Zhang A->ops->solve = MatSolve_SeqAIJ_InplaceWithPerm; 858db4efbfdSBarry Smith A->ops->solveadd = MatSolveAdd_SeqAIJ; 859db4efbfdSBarry Smith A->ops->solvetranspose = MatSolveTranspose_SeqAIJ; 860db4efbfdSBarry Smith A->ops->solvetransposeadd = MatSolveTransposeAdd_SeqAIJ; 861b051339dSHong Zhang A->assembled = PETSC_TRUE; 8625c9eb25fSBarry Smith A->preallocated = PETSC_TRUE; 863d0f46423SBarry Smith ierr = PetscLogFlops(A->cmap->n);CHKERRQ(ierr); 864137fb511SHong Zhang if (sctx.nshift){ 865e738e422SBarry Smith if (info->shiftpd) { 8660481f469SBarry 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); 867e738e422SBarry Smith } else if (info->shiftnz) { 868e738e422SBarry Smith ierr = PetscInfo2(A,"number of shift_nz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 869137fb511SHong Zhang } 870137fb511SHong Zhang } 871137fb511SHong Zhang PetscFunctionReturn(0); 872137fb511SHong Zhang } 873137fb511SHong Zhang 8740a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 8754a2ae208SSatish Balay #undef __FUNCT__ 8764a2ae208SSatish Balay #define __FUNCT__ "MatLUFactor_SeqAIJ" 8770481f469SBarry Smith PetscErrorCode MatLUFactor_SeqAIJ(Mat A,IS row,IS col,const MatFactorInfo *info) 878da3a660dSBarry Smith { 879dfbe8321SBarry Smith PetscErrorCode ierr; 880416022c9SBarry Smith Mat C; 881416022c9SBarry Smith 8823a40ed3dSBarry Smith PetscFunctionBegin; 88343244d56SBarry Smith ierr = MatGetFactor(A,MAT_SOLVER_PETSC,MAT_FACTOR_LU,&C);CHKERRQ(ierr); 884719d5645SBarry Smith ierr = MatLUFactorSymbolic(C,A,row,col,info);CHKERRQ(ierr); 885719d5645SBarry Smith ierr = MatLUFactorNumeric(C,A,info);CHKERRQ(ierr); 886db4efbfdSBarry Smith A->ops->solve = C->ops->solve; 887db4efbfdSBarry Smith A->ops->solvetranspose = C->ops->solvetranspose; 888273d9f13SBarry Smith ierr = MatHeaderCopy(A,C);CHKERRQ(ierr); 88952e6d16bSBarry Smith ierr = PetscLogObjectParent(A,((Mat_SeqAIJ*)(A->data))->icol);CHKERRQ(ierr); 8903a40ed3dSBarry Smith PetscFunctionReturn(0); 891da3a660dSBarry Smith } 8920a6dbcc7SLois Curfman McInnes /* ----------------------------------------------------------- */ 8931d098868SHong Zhang 894889a8dedSBarry Smith 8954a2ae208SSatish Balay #undef __FUNCT__ 8964a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ" 897dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ(Mat A,Vec bb,Vec xx) 8988c37ef55SBarry Smith { 899416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 900416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 9016849ba73SBarry Smith PetscErrorCode ierr; 9025d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 9035d0c19d7SBarry Smith PetscInt nz; 9045d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 905dd6ea824SBarry Smith PetscScalar *x,*tmp,*tmps,sum; 906d9fead3dSBarry Smith const PetscScalar *b; 907dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 9088c37ef55SBarry Smith 9093a40ed3dSBarry Smith PetscFunctionBegin; 9103a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 91191bf9adeSBarry Smith 912d9fead3dSBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 9131ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 914416022c9SBarry Smith tmp = a->solve_work; 9158c37ef55SBarry Smith 9163b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 9173b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 9188c37ef55SBarry Smith 9198c37ef55SBarry Smith /* forward solve the lower triangular */ 9208c37ef55SBarry Smith tmp[0] = b[*r++]; 921010a20caSHong Zhang tmps = tmp; 9228c37ef55SBarry Smith for (i=1; i<n; i++) { 923010a20caSHong Zhang v = aa + ai[i] ; 924010a20caSHong Zhang vi = aj + ai[i] ; 92553e7425aSBarry Smith nz = a->diag[i] - ai[i]; 92653e7425aSBarry Smith sum = b[*r++]; 927003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 9288c37ef55SBarry Smith tmp[i] = sum; 9298c37ef55SBarry Smith } 9308c37ef55SBarry Smith 9318c37ef55SBarry Smith /* backward solve the upper triangular */ 9328c37ef55SBarry Smith for (i=n-1; i>=0; i--){ 933010a20caSHong Zhang v = aa + a->diag[i] + 1; 934010a20caSHong Zhang vi = aj + a->diag[i] + 1; 935416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 9368c37ef55SBarry Smith sum = tmp[i]; 937003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 938010a20caSHong Zhang x[*c--] = tmp[i] = sum*aa[a->diag[i]]; 9398c37ef55SBarry Smith } 9408c37ef55SBarry Smith 9413b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 9423b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 943d9fead3dSBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 9441ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 945dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 9463a40ed3dSBarry Smith PetscFunctionReturn(0); 9478c37ef55SBarry Smith } 948026e39d0SSatish Balay 9492bebee5dSHong Zhang #undef __FUNCT__ 9502bebee5dSHong Zhang #define __FUNCT__ "MatMatSolve_SeqAIJ" 9512bebee5dSHong Zhang PetscErrorCode MatMatSolve_SeqAIJ(Mat A,Mat B,Mat X) 9522bebee5dSHong Zhang { 9532bebee5dSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 9542bebee5dSHong Zhang IS iscol = a->col,isrow = a->row; 9552bebee5dSHong Zhang PetscErrorCode ierr; 9565d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 9575d0c19d7SBarry Smith PetscInt nz,neq; 9585d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 959dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,*tmps,sum; 960dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 961db4efbfdSBarry Smith PetscTruth bisdense,xisdense; 9622bebee5dSHong Zhang 9632bebee5dSHong Zhang PetscFunctionBegin; 9642bebee5dSHong Zhang if (!n) PetscFunctionReturn(0); 9652bebee5dSHong Zhang 966db4efbfdSBarry Smith ierr = PetscTypeCompare((PetscObject)B,MATSEQDENSE,&bisdense);CHKERRQ(ierr); 967db4efbfdSBarry Smith if (!bisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"B matrix must be a SeqDense matrix"); 968db4efbfdSBarry Smith ierr = PetscTypeCompare((PetscObject)X,MATSEQDENSE,&xisdense);CHKERRQ(ierr); 969db4efbfdSBarry Smith if (!xisdense) SETERRQ(PETSC_ERR_ARG_INCOMP,"X matrix must be a SeqDense matrix"); 970db4efbfdSBarry Smith 9712bebee5dSHong Zhang ierr = MatGetArray(B,&b);CHKERRQ(ierr); 9722bebee5dSHong Zhang ierr = MatGetArray(X,&x);CHKERRQ(ierr); 9732bebee5dSHong Zhang 9742bebee5dSHong Zhang tmp = a->solve_work; 9752bebee5dSHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 9762bebee5dSHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 9772bebee5dSHong Zhang 978a36b22ccSSatish Balay for (neq=0; neq<B->cmap->n; neq++){ 9792bebee5dSHong Zhang /* forward solve the lower triangular */ 9802bebee5dSHong Zhang tmp[0] = b[r[0]]; 9812bebee5dSHong Zhang tmps = tmp; 9822bebee5dSHong Zhang for (i=1; i<n; i++) { 9832bebee5dSHong Zhang v = aa + ai[i] ; 9842bebee5dSHong Zhang vi = aj + ai[i] ; 9852bebee5dSHong Zhang nz = a->diag[i] - ai[i]; 9862bebee5dSHong Zhang sum = b[r[i]]; 987003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 9882bebee5dSHong Zhang tmp[i] = sum; 9892bebee5dSHong Zhang } 9902bebee5dSHong Zhang /* backward solve the upper triangular */ 9912bebee5dSHong Zhang for (i=n-1; i>=0; i--){ 9922bebee5dSHong Zhang v = aa + a->diag[i] + 1; 9932bebee5dSHong Zhang vi = aj + a->diag[i] + 1; 9942bebee5dSHong Zhang nz = ai[i+1] - a->diag[i] - 1; 9952bebee5dSHong Zhang sum = tmp[i]; 996003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 9972bebee5dSHong Zhang x[c[i]] = tmp[i] = sum*aa[a->diag[i]]; 9982bebee5dSHong Zhang } 9992bebee5dSHong Zhang 10002bebee5dSHong Zhang b += n; 10012bebee5dSHong Zhang x += n; 10022bebee5dSHong Zhang } 10032bebee5dSHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 10042bebee5dSHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 10052bebee5dSHong Zhang ierr = MatRestoreArray(B,&b);CHKERRQ(ierr); 10062bebee5dSHong Zhang ierr = MatRestoreArray(X,&x);CHKERRQ(ierr); 1007dc0b31edSSatish Balay ierr = PetscLogFlops(B->cmap->n*(2.0*a->nz - n));CHKERRQ(ierr); 10082bebee5dSHong Zhang PetscFunctionReturn(0); 10092bebee5dSHong Zhang } 10102bebee5dSHong Zhang 1011137fb511SHong Zhang #undef __FUNCT__ 1012137fb511SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_InplaceWithPerm" 1013137fb511SHong Zhang PetscErrorCode MatSolve_SeqAIJ_InplaceWithPerm(Mat A,Vec bb,Vec xx) 1014137fb511SHong Zhang { 1015137fb511SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1016137fb511SHong Zhang IS iscol = a->col,isrow = a->row; 1017137fb511SHong Zhang PetscErrorCode ierr; 10185d0c19d7SBarry Smith const PetscInt *r,*c,*rout,*cout; 10195d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 10205d0c19d7SBarry Smith PetscInt nz,row; 1021dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,*tmps,sum; 1022dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1023137fb511SHong Zhang 1024137fb511SHong Zhang PetscFunctionBegin; 1025137fb511SHong Zhang if (!n) PetscFunctionReturn(0); 1026137fb511SHong Zhang 1027137fb511SHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 1028137fb511SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1029137fb511SHong Zhang tmp = a->solve_work; 1030137fb511SHong Zhang 1031137fb511SHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 1032137fb511SHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 1033137fb511SHong Zhang 1034137fb511SHong Zhang /* forward solve the lower triangular */ 1035137fb511SHong Zhang tmp[0] = b[*r++]; 1036137fb511SHong Zhang tmps = tmp; 1037137fb511SHong Zhang for (row=1; row<n; row++) { 1038137fb511SHong Zhang i = rout[row]; /* permuted row */ 1039137fb511SHong Zhang v = aa + ai[i] ; 1040137fb511SHong Zhang vi = aj + ai[i] ; 1041137fb511SHong Zhang nz = a->diag[i] - ai[i]; 1042137fb511SHong Zhang sum = b[*r++]; 1043003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 1044137fb511SHong Zhang tmp[row] = sum; 1045137fb511SHong Zhang } 1046137fb511SHong Zhang 1047137fb511SHong Zhang /* backward solve the upper triangular */ 1048137fb511SHong Zhang for (row=n-1; row>=0; row--){ 1049137fb511SHong Zhang i = rout[row]; /* permuted row */ 1050137fb511SHong Zhang v = aa + a->diag[i] + 1; 1051137fb511SHong Zhang vi = aj + a->diag[i] + 1; 1052137fb511SHong Zhang nz = ai[i+1] - a->diag[i] - 1; 1053137fb511SHong Zhang sum = tmp[row]; 1054003131ecSBarry Smith PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 1055137fb511SHong Zhang x[*c--] = tmp[row] = sum*aa[a->diag[i]]; 1056137fb511SHong Zhang } 1057137fb511SHong Zhang 1058137fb511SHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 1059137fb511SHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 1060137fb511SHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 1061137fb511SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1062dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 1063137fb511SHong Zhang PetscFunctionReturn(0); 1064137fb511SHong Zhang } 1065137fb511SHong Zhang 1066930ae53cSBarry Smith /* ----------------------------------------------------------- */ 1067a4005a5dSBarry Smith #include "../src/mat/impls/aij/seq/ftn-kernels/fsolve.h" 10684a2ae208SSatish Balay #undef __FUNCT__ 10694a2ae208SSatish Balay #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering" 1070dfbe8321SBarry Smith PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering(Mat A,Vec bb,Vec xx) 1071930ae53cSBarry Smith { 1072930ae53cSBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 10736849ba73SBarry Smith PetscErrorCode ierr; 1074d0f46423SBarry Smith PetscInt n = A->rmap->n; 1075b377110cSBarry Smith const PetscInt *ai = a->i,*aj = a->j,*adiag = a->diag; 1076356650c2SBarry Smith PetscScalar *x; 1077356650c2SBarry Smith const PetscScalar *b; 1078dd6ea824SBarry Smith const MatScalar *aa = a->a; 1079aa482453SBarry Smith #if !defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 1080356650c2SBarry Smith PetscInt adiag_i,i,nz,ai_i; 1081b377110cSBarry Smith const PetscInt *vi; 1082dd6ea824SBarry Smith const MatScalar *v; 1083dd6ea824SBarry Smith PetscScalar sum; 1084d85afc42SSatish Balay #endif 1085930ae53cSBarry Smith 10863a40ed3dSBarry Smith PetscFunctionBegin; 10873a40ed3dSBarry Smith if (!n) PetscFunctionReturn(0); 1088930ae53cSBarry Smith 1089356650c2SBarry Smith ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 10901ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1091930ae53cSBarry Smith 1092aa482453SBarry Smith #if defined(PETSC_USE_FORTRAN_KERNEL_SOLVEAIJ) 10931c4feecaSSatish Balay fortransolveaij_(&n,x,ai,aj,adiag,aa,b); 10941c4feecaSSatish Balay #else 1095930ae53cSBarry Smith /* forward solve the lower triangular */ 1096930ae53cSBarry Smith x[0] = b[0]; 1097930ae53cSBarry Smith for (i=1; i<n; i++) { 1098930ae53cSBarry Smith ai_i = ai[i]; 1099930ae53cSBarry Smith v = aa + ai_i; 1100930ae53cSBarry Smith vi = aj + ai_i; 1101930ae53cSBarry Smith nz = adiag[i] - ai_i; 1102930ae53cSBarry Smith sum = b[i]; 1103003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 1104930ae53cSBarry Smith x[i] = sum; 1105930ae53cSBarry Smith } 1106930ae53cSBarry Smith 1107930ae53cSBarry Smith /* backward solve the upper triangular */ 1108930ae53cSBarry Smith for (i=n-1; i>=0; i--){ 1109930ae53cSBarry Smith adiag_i = adiag[i]; 1110d708749eSBarry Smith v = aa + adiag_i + 1; 1111d708749eSBarry Smith vi = aj + adiag_i + 1; 1112930ae53cSBarry Smith nz = ai[i+1] - adiag_i - 1; 1113930ae53cSBarry Smith sum = x[i]; 1114003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 1115930ae53cSBarry Smith x[i] = sum*aa[adiag_i]; 1116930ae53cSBarry Smith } 11171c4feecaSSatish Balay #endif 1118dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 1119356650c2SBarry Smith ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 11201ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 11213a40ed3dSBarry Smith PetscFunctionReturn(0); 1122930ae53cSBarry Smith } 1123930ae53cSBarry Smith 11244a2ae208SSatish Balay #undef __FUNCT__ 11254a2ae208SSatish Balay #define __FUNCT__ "MatSolveAdd_SeqAIJ" 1126dfbe8321SBarry Smith PetscErrorCode MatSolveAdd_SeqAIJ(Mat A,Vec bb,Vec yy,Vec xx) 1127da3a660dSBarry Smith { 1128416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1129416022c9SBarry Smith IS iscol = a->col,isrow = a->row; 11306849ba73SBarry Smith PetscErrorCode ierr; 11315d0c19d7SBarry Smith PetscInt i, n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 11325d0c19d7SBarry Smith PetscInt nz; 11335d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 1134dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,sum; 1135dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1136da3a660dSBarry Smith 11373a40ed3dSBarry Smith PetscFunctionBegin; 113878b31e54SBarry Smith if (yy != xx) {ierr = VecCopy(yy,xx);CHKERRQ(ierr);} 1139da3a660dSBarry Smith 11401ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 11411ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1142416022c9SBarry Smith tmp = a->solve_work; 1143da3a660dSBarry Smith 11443b2fbd54SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 11453b2fbd54SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout + (n-1); 1146da3a660dSBarry Smith 1147da3a660dSBarry Smith /* forward solve the lower triangular */ 1148da3a660dSBarry Smith tmp[0] = b[*r++]; 1149da3a660dSBarry Smith for (i=1; i<n; i++) { 1150010a20caSHong Zhang v = aa + ai[i] ; 1151010a20caSHong Zhang vi = aj + ai[i] ; 1152416022c9SBarry Smith nz = a->diag[i] - ai[i]; 1153da3a660dSBarry Smith sum = b[*r++]; 1154010a20caSHong Zhang while (nz--) sum -= *v++ * tmp[*vi++ ]; 1155da3a660dSBarry Smith tmp[i] = sum; 1156da3a660dSBarry Smith } 1157da3a660dSBarry Smith 1158da3a660dSBarry Smith /* backward solve the upper triangular */ 1159da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 1160010a20caSHong Zhang v = aa + a->diag[i] + 1; 1161010a20caSHong Zhang vi = aj + a->diag[i] + 1; 1162416022c9SBarry Smith nz = ai[i+1] - a->diag[i] - 1; 1163da3a660dSBarry Smith sum = tmp[i]; 1164010a20caSHong Zhang while (nz--) sum -= *v++ * tmp[*vi++ ]; 1165010a20caSHong Zhang tmp[i] = sum*aa[a->diag[i]]; 1166da3a660dSBarry Smith x[*c--] += tmp[i]; 1167da3a660dSBarry Smith } 1168da3a660dSBarry Smith 11693b2fbd54SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 11703b2fbd54SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 11711ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 11721ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1173dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr); 1174898183ecSLois Curfman McInnes 11753a40ed3dSBarry Smith PetscFunctionReturn(0); 1176da3a660dSBarry Smith } 1177da3a660dSBarry Smith /* -------------------------------------------------------------------*/ 11784a2ae208SSatish Balay #undef __FUNCT__ 11794a2ae208SSatish Balay #define __FUNCT__ "MatSolveTranspose_SeqAIJ" 1180dfbe8321SBarry Smith PetscErrorCode MatSolveTranspose_SeqAIJ(Mat A,Vec bb,Vec xx) 1181da3a660dSBarry Smith { 1182416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 11832235e667SBarry Smith IS iscol = a->col,isrow = a->row; 11846849ba73SBarry Smith PetscErrorCode ierr; 11855d0c19d7SBarry Smith const PetscInt *rout,*cout,*r,*c; 11865d0c19d7SBarry Smith PetscInt i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 11875d0c19d7SBarry Smith PetscInt nz,*diag = a->diag; 1188dd6ea824SBarry Smith PetscScalar *x,*b,*tmp,s1; 1189dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 1190da3a660dSBarry Smith 11913a40ed3dSBarry Smith PetscFunctionBegin; 11921ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 11931ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1194416022c9SBarry Smith tmp = a->solve_work; 1195da3a660dSBarry Smith 11962235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 11972235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 1198da3a660dSBarry Smith 1199da3a660dSBarry Smith /* copy the b into temp work space according to permutation */ 12002235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 1201da3a660dSBarry Smith 1202da3a660dSBarry Smith /* forward solve the U^T */ 1203da3a660dSBarry Smith for (i=0; i<n; i++) { 1204010a20caSHong Zhang v = aa + diag[i] ; 1205010a20caSHong Zhang vi = aj + diag[i] + 1; 1206f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 1207c38d4ed2SBarry Smith s1 = tmp[i]; 1208ef66eb69SBarry Smith s1 *= (*v++); /* multiply by inverse of diagonal entry */ 1209da3a660dSBarry Smith while (nz--) { 1210010a20caSHong Zhang tmp[*vi++ ] -= (*v++)*s1; 1211da3a660dSBarry Smith } 1212c38d4ed2SBarry Smith tmp[i] = s1; 1213da3a660dSBarry Smith } 1214da3a660dSBarry Smith 1215da3a660dSBarry Smith /* backward solve the L^T */ 1216da3a660dSBarry Smith for (i=n-1; i>=0; i--){ 1217010a20caSHong Zhang v = aa + diag[i] - 1 ; 1218010a20caSHong Zhang vi = aj + diag[i] - 1 ; 1219f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 1220f1af5d2fSBarry Smith s1 = tmp[i]; 1221da3a660dSBarry Smith while (nz--) { 1222010a20caSHong Zhang tmp[*vi-- ] -= (*v--)*s1; 1223da3a660dSBarry Smith } 1224da3a660dSBarry Smith } 1225da3a660dSBarry Smith 1226da3a660dSBarry Smith /* copy tmp into x according to permutation */ 1227da3a660dSBarry Smith for (i=0; i<n; i++) x[r[i]] = tmp[i]; 1228da3a660dSBarry Smith 12292235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 12302235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 12311ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 12321ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 1233da3a660dSBarry Smith 1234dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz-A->cmap->n);CHKERRQ(ierr); 12353a40ed3dSBarry Smith PetscFunctionReturn(0); 1236da3a660dSBarry Smith } 1237da3a660dSBarry Smith 12384a2ae208SSatish Balay #undef __FUNCT__ 12394a2ae208SSatish Balay #define __FUNCT__ "MatSolveTransposeAdd_SeqAIJ" 1240dfbe8321SBarry Smith PetscErrorCode MatSolveTransposeAdd_SeqAIJ(Mat A,Vec bb,Vec zz,Vec xx) 1241da3a660dSBarry Smith { 1242416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 12432235e667SBarry Smith IS iscol = a->col,isrow = a->row; 12446849ba73SBarry Smith PetscErrorCode ierr; 12455d0c19d7SBarry Smith const PetscInt *r,*c,*rout,*cout; 12465d0c19d7SBarry Smith PetscInt i,n = A->rmap->n,*vi,*ai = a->i,*aj = a->j; 12475d0c19d7SBarry Smith PetscInt nz,*diag = a->diag; 1248dd6ea824SBarry Smith PetscScalar *x,*b,*tmp; 1249dd6ea824SBarry Smith const MatScalar *aa = a->a,*v; 12506abc6512SBarry Smith 12513a40ed3dSBarry Smith PetscFunctionBegin; 125223bc6035SMatthew Knepley if (zz != xx) {ierr = VecCopy(zz,xx);CHKERRQ(ierr);} 12536abc6512SBarry Smith 12541ebc52fbSHong Zhang ierr = VecGetArray(bb,&b);CHKERRQ(ierr); 12551ebc52fbSHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 1256416022c9SBarry Smith tmp = a->solve_work; 12576abc6512SBarry Smith 12582235e667SBarry Smith ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 12592235e667SBarry Smith ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 12606abc6512SBarry Smith 12616abc6512SBarry Smith /* copy the b into temp work space according to permutation */ 12622235e667SBarry Smith for (i=0; i<n; i++) tmp[i] = b[c[i]]; 12636abc6512SBarry Smith 12646abc6512SBarry Smith /* forward solve the U^T */ 12656abc6512SBarry Smith for (i=0; i<n; i++) { 1266010a20caSHong Zhang v = aa + diag[i] ; 1267010a20caSHong Zhang vi = aj + diag[i] + 1; 1268f1af5d2fSBarry Smith nz = ai[i+1] - diag[i] - 1; 12696abc6512SBarry Smith tmp[i] *= *v++; 12706abc6512SBarry Smith while (nz--) { 1271010a20caSHong Zhang tmp[*vi++ ] -= (*v++)*tmp[i]; 12726abc6512SBarry Smith } 12736abc6512SBarry Smith } 12746abc6512SBarry Smith 12756abc6512SBarry Smith /* backward solve the L^T */ 12766abc6512SBarry Smith for (i=n-1; i>=0; i--){ 1277010a20caSHong Zhang v = aa + diag[i] - 1 ; 1278010a20caSHong Zhang vi = aj + diag[i] - 1 ; 1279f1af5d2fSBarry Smith nz = diag[i] - ai[i]; 12806abc6512SBarry Smith while (nz--) { 1281010a20caSHong Zhang tmp[*vi-- ] -= (*v--)*tmp[i]; 12826abc6512SBarry Smith } 12836abc6512SBarry Smith } 12846abc6512SBarry Smith 12856abc6512SBarry Smith /* copy tmp into x according to permutation */ 12866abc6512SBarry Smith for (i=0; i<n; i++) x[r[i]] += tmp[i]; 12876abc6512SBarry Smith 12882235e667SBarry Smith ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 12892235e667SBarry Smith ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 12901ebc52fbSHong Zhang ierr = VecRestoreArray(bb,&b);CHKERRQ(ierr); 12911ebc52fbSHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 12926abc6512SBarry Smith 1293dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*a->nz);CHKERRQ(ierr); 12943a40ed3dSBarry Smith PetscFunctionReturn(0); 1295da3a660dSBarry Smith } 12969e25ed09SBarry Smith /* ----------------------------------------------------------------*/ 12973c5fc038SBarry Smith EXTERN PetscErrorCode Mat_CheckInode(Mat,PetscTruth); 1298f77e22a1SHong Zhang EXTERN PetscErrorCode MatDuplicateNoCreate_SeqAIJ(Mat,Mat,MatDuplicateOption,PetscTruth); 129908480c60SBarry Smith 13008fc3a347SHong Zhang /* 13018fc3a347SHong Zhang ilu(0) with natural ordering under new data structure. 13028fc3a347SHong Zhang Factored arrays bj and ba are stored as 13038fc3a347SHong Zhang L(0,:), L(1,:), ...,L(n-1,:), U(n-1,:),...,U(i,:),U(i-1,:),...,U(0,:) 13048fc3a347SHong Zhang 13058fc3a347SHong Zhang bi=fact->i is an array of size 2n+2, in which 13068fc3a347SHong Zhang bi+ 13078fc3a347SHong Zhang bi[i] -> 1st entry of L(i,:),i=0,...,i-1 1308f77e22a1SHong Zhang bi[n] -> points to L(n-1,:)+1 13098fc3a347SHong Zhang bi[n+1] -> 1st entry of U(n-1,:) 13108fc3a347SHong Zhang bi[2n-i] -> 1st entry of U(i,:) 13118fc3a347SHong Zhang bi[2n-i+1] -> end of U(i,:)+1, the 1st entry of U(i-1,:) 1312f77e22a1SHong Zhang bi[2n] -> 1st entry of U(0,:) 1313f77e22a1SHong Zhang bi[2n+1] -> points to U(0,:)+1 13148fc3a347SHong Zhang 13158fc3a347SHong Zhang U(i,:) contains diag[i] as its last entry, i.e., 13168fc3a347SHong Zhang U(i,:) = (u[i,i+1],...,u[i,n-1],diag[i]) 13178fc3a347SHong Zhang */ 1318c9c72f8fSHong Zhang #undef __FUNCT__ 13198fc3a347SHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct" 13208fc3a347SHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 1321c9c72f8fSHong Zhang { 1322c9c72f8fSHong Zhang 1323c9c72f8fSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 1324c9c72f8fSHong Zhang PetscErrorCode ierr; 1325c9c72f8fSHong Zhang PetscInt n=A->rmap->n,*ai=a->i,*aj,*adiag=a->diag; 13268fc3a347SHong Zhang PetscInt i,j,nz,*bi,*bj,*bdiag; 1327c9c72f8fSHong Zhang 1328c9c72f8fSHong Zhang PetscFunctionBegin; 1329f77e22a1SHong Zhang ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_FALSE);CHKERRQ(ierr); 1330c9c72f8fSHong Zhang b = (Mat_SeqAIJ*)(fact)->data; 1331c9c72f8fSHong Zhang 1332f77e22a1SHong Zhang /* allocate matrix arrays for new data structure */ 1333f77e22a1SHong Zhang ierr = PetscMalloc3(ai[n]+1,PetscScalar,&b->a,ai[n]+1,PetscInt,&b->j,2*n+2,PetscInt,&b->i);CHKERRQ(ierr); 1334f77e22a1SHong Zhang ierr = PetscLogObjectMemory(fact,ai[n]*(sizeof(PetscScalar)+sizeof(PetscInt))+(2*n+2)*sizeof(PetscInt));CHKERRQ(ierr); 1335f77e22a1SHong Zhang b->singlemalloc = PETSC_TRUE; 1336f77e22a1SHong Zhang if (!b->diag){ 13378fc3a347SHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&b->diag);CHKERRQ(ierr); 1338f77e22a1SHong Zhang } 1339c9c72f8fSHong Zhang bdiag = b->diag; 1340c9c72f8fSHong Zhang 1341c9c72f8fSHong Zhang if (n > 0) { 134216a2bf60SHong Zhang ierr = PetscMemzero(b->a,(ai[n])*sizeof(MatScalar));CHKERRQ(ierr); 1343c9c72f8fSHong Zhang } 1344c9c72f8fSHong Zhang 1345c9c72f8fSHong Zhang /* set bi and bj with new data structure */ 1346c9c72f8fSHong Zhang bi = b->i; 1347c9c72f8fSHong Zhang bj = b->j; 1348c9c72f8fSHong Zhang 1349c9c72f8fSHong Zhang /* L part */ 1350c9c72f8fSHong Zhang bi[0] = 0; 1351c9c72f8fSHong Zhang for (i=0; i<n; i++){ 1352c9c72f8fSHong Zhang nz = adiag[i] - ai[i]; 1353c9c72f8fSHong Zhang bi[i+1] = bi[i] + nz; 1354c9c72f8fSHong Zhang aj = a->j + ai[i]; 1355c9c72f8fSHong Zhang for (j=0; j<nz; j++){ 1356c9c72f8fSHong Zhang *bj = aj[j]; bj++; 1357c9c72f8fSHong Zhang } 1358c9c72f8fSHong Zhang } 1359c9c72f8fSHong Zhang 1360c9c72f8fSHong Zhang /* U part */ 13618fc3a347SHong Zhang bi[n+1] = bi[n]; 1362c9c72f8fSHong Zhang for (i=n-1; i>=0; i--){ 1363c9c72f8fSHong Zhang nz = ai[i+1] - adiag[i] - 1; 13648fc3a347SHong Zhang bi[2*n-i+1] = bi[2*n-i] + nz + 1; 1365c9c72f8fSHong Zhang aj = a->j + adiag[i] + 1; 1366c9c72f8fSHong Zhang for (j=0; j<nz; j++){ 1367c9c72f8fSHong Zhang *bj = aj[j]; bj++; 1368c9c72f8fSHong Zhang } 1369c9c72f8fSHong Zhang /* diag[i] */ 1370c9c72f8fSHong Zhang *bj = i; bj++; 13718fc3a347SHong Zhang bdiag[i] = bi[2*n-i+1]-1; 1372c9c72f8fSHong Zhang } 1373c9c72f8fSHong Zhang PetscFunctionReturn(0); 1374c9c72f8fSHong Zhang } 1375c9c72f8fSHong Zhang 13764a2ae208SSatish Balay #undef __FUNCT__ 13776516239fSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ_newdatastruct" 13786516239fSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ_newdatastruct(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 13799e25ed09SBarry Smith { 1380416022c9SBarry Smith Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 13819e25ed09SBarry Smith IS isicol; 13826849ba73SBarry Smith PetscErrorCode ierr; 13835d0c19d7SBarry Smith const PetscInt *r,*ic; 13845d0c19d7SBarry Smith PetscInt n=A->rmap->n,*ai=a->i,*aj=a->j,d; 13855a8e39fbSHong Zhang PetscInt *bi,*cols,nnz,*cols_lvl; 1386052f0c41SBarry Smith PetscInt *bdiag,prow,fm,nzbd,reallocs=0,dcount=0; 13875a8e39fbSHong Zhang PetscInt i,levels,diagonal_fill; 138877c4ece6SBarry Smith PetscTruth col_identity,row_identity; 1389329f5518SBarry Smith PetscReal f; 13905a8e39fbSHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 13915a8e39fbSHong Zhang PetscBT lnkbt; 13925a8e39fbSHong Zhang PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 1393a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1394a1a86e44SBarry Smith PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 139509f38230SBarry Smith PetscTruth missing; 13969e25ed09SBarry Smith 13973a40ed3dSBarry Smith PetscFunctionBegin; 13986516239fSHong Zhang //printf("MatILUFactorSymbolic_SeqAIJ_newdatastruct ...\n"); 1399d0f46423SBarry 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); 14006cf997b0SBarry Smith f = info->fill; 140138baddfdSBarry Smith levels = (PetscInt)info->levels; 140238baddfdSBarry Smith diagonal_fill = (PetscInt)info->diagonal_fill; 14034c49b128SBarry Smith ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 140482bf6240SBarry Smith 1405be0abb6dSBarry Smith ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 1406be0abb6dSBarry Smith ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 1407c9c72f8fSHong Zhang 14086516239fSHong Zhang if (!levels && row_identity && col_identity) { 14096516239fSHong Zhang /* special case: ilu(0) with natural ordering */ 14108fc3a347SHong Zhang ierr = MatILUFactorSymbolic_SeqAIJ_ilu0_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr); 1411c9c72f8fSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_newdatastruct; 14126516239fSHong Zhang 14136516239fSHong Zhang fact->factor = MAT_FACTOR_ILU; 14146516239fSHong Zhang (fact)->info.factor_mallocs = 0; 14156516239fSHong Zhang (fact)->info.fill_ratio_given = info->fill; 14166516239fSHong Zhang (fact)->info.fill_ratio_needed = 1.0; 14176516239fSHong Zhang b = (Mat_SeqAIJ*)(fact)->data; 14186516239fSHong Zhang ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 14196516239fSHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 14206516239fSHong Zhang b->row = isrow; 14216516239fSHong Zhang b->col = iscol; 14226516239fSHong Zhang b->icol = isicol; 14236516239fSHong Zhang ierr = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 14246516239fSHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 14256516239fSHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 14266516239fSHong Zhang /* ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); */ 14276516239fSHong Zhang PetscFunctionReturn(0); 14286516239fSHong Zhang } 14296516239fSHong Zhang 14306516239fSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 14316516239fSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 14326516239fSHong Zhang 14336516239fSHong Zhang /* get new row pointers */ 14346516239fSHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 14356516239fSHong Zhang bi[0] = 0; 14366516239fSHong Zhang /* bdiag is location of diagonal in factor */ 14376516239fSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 14386516239fSHong Zhang bdiag[0] = 0; 14396516239fSHong Zhang 14406516239fSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr); 14416516239fSHong Zhang bjlvl_ptr = (PetscInt**)(bj_ptr + n); 14426516239fSHong Zhang 14436516239fSHong Zhang /* create a linked list for storing column indices of the active row */ 14446516239fSHong Zhang nlnk = n + 1; 14456516239fSHong Zhang ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 14466516239fSHong Zhang 14476516239fSHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 14486516239fSHong Zhang ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 14496516239fSHong Zhang current_space = free_space; 14506516239fSHong Zhang ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr); 14516516239fSHong Zhang current_space_lvl = free_space_lvl; 14526516239fSHong Zhang 14536516239fSHong Zhang for (i=0; i<n; i++) { 14546516239fSHong Zhang nzi = 0; 14556516239fSHong Zhang /* copy current row into linked list */ 14566516239fSHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 14576516239fSHong Zhang if (!nnz) SETERRQ2(PETSC_ERR_MAT_LU_ZRPVT,"Empty row in matrix: row in original ordering %D in permuted ordering %D",r[i],i); 14586516239fSHong Zhang cols = aj + ai[r[i]]; 14596516239fSHong Zhang lnk[i] = -1; /* marker to indicate if diagonal exists */ 14606516239fSHong Zhang ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 14616516239fSHong Zhang nzi += nlnk; 14626516239fSHong Zhang 14636516239fSHong Zhang /* make sure diagonal entry is included */ 14646516239fSHong Zhang if (diagonal_fill && lnk[i] == -1) { 14656516239fSHong Zhang fm = n; 14666516239fSHong Zhang while (lnk[fm] < i) fm = lnk[fm]; 14676516239fSHong Zhang lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 14686516239fSHong Zhang lnk[fm] = i; 14696516239fSHong Zhang lnk_lvl[i] = 0; 14706516239fSHong Zhang nzi++; dcount++; 14716516239fSHong Zhang } 14726516239fSHong Zhang 14736516239fSHong Zhang /* add pivot rows into the active row */ 14746516239fSHong Zhang nzbd = 0; 14756516239fSHong Zhang prow = lnk[n]; 14766516239fSHong Zhang while (prow < i) { 14776516239fSHong Zhang nnz = bdiag[prow]; 14786516239fSHong Zhang cols = bj_ptr[prow] + nnz + 1; 14796516239fSHong Zhang cols_lvl = bjlvl_ptr[prow] + nnz + 1; 14806516239fSHong Zhang nnz = bi[prow+1] - bi[prow] - nnz - 1; 14816516239fSHong Zhang ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 14826516239fSHong Zhang nzi += nlnk; 14836516239fSHong Zhang prow = lnk[prow]; 14846516239fSHong Zhang nzbd++; 14856516239fSHong Zhang } 14866516239fSHong Zhang bdiag[i] = nzbd; 14876516239fSHong Zhang bi[i+1] = bi[i] + nzi; 14886516239fSHong Zhang 14896516239fSHong Zhang /* if free space is not available, make more free space */ 14906516239fSHong Zhang if (current_space->local_remaining<nzi) { 14916516239fSHong Zhang nnz = 2*nzi*(n - i); /* estimated and max additional space needed */ 14926516239fSHong Zhang ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 14936516239fSHong Zhang ierr = PetscFreeSpaceGet(nnz,¤t_space_lvl);CHKERRQ(ierr); 14946516239fSHong Zhang reallocs++; 14956516239fSHong Zhang } 14966516239fSHong Zhang 14976516239fSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 14986516239fSHong Zhang ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 14996516239fSHong Zhang bj_ptr[i] = current_space->array; 15006516239fSHong Zhang bjlvl_ptr[i] = current_space_lvl->array; 15016516239fSHong Zhang 15026516239fSHong Zhang /* make sure the active row i has diagonal entry */ 15036516239fSHong Zhang if (*(bj_ptr[i]+bdiag[i]) != i) { 15046516239fSHong Zhang SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 15056516239fSHong Zhang try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i); 15066516239fSHong Zhang } 15076516239fSHong Zhang 15086516239fSHong Zhang current_space->array += nzi; 15096516239fSHong Zhang current_space->local_used += nzi; 15106516239fSHong Zhang current_space->local_remaining -= nzi; 15116516239fSHong Zhang current_space_lvl->array += nzi; 15126516239fSHong Zhang current_space_lvl->local_used += nzi; 15136516239fSHong Zhang current_space_lvl->local_remaining -= nzi; 15146516239fSHong Zhang } 15156516239fSHong Zhang 15166516239fSHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 15176516239fSHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 15186516239fSHong Zhang 15196516239fSHong Zhang /* destroy list of free space and other temporary arrays */ 15206516239fSHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 15216516239fSHong Zhang 15226516239fSHong Zhang /* copy free_space into bj and free free_space; set bi, bj, bdiag in new datastructure; */ 15236516239fSHong Zhang ierr = PetscFreeSpaceContiguous_newdatastruct(&free_space,bj,n,bi,bdiag);CHKERRQ(ierr); 15246516239fSHong Zhang 15256516239fSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 15266516239fSHong Zhang ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 15276516239fSHong Zhang ierr = PetscFree(bj_ptr);CHKERRQ(ierr); 15286516239fSHong Zhang 15296516239fSHong Zhang #if defined(PETSC_USE_INFO) 15306516239fSHong Zhang { 15316516239fSHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 15326516239fSHong Zhang ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 15336516239fSHong Zhang ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 15346516239fSHong Zhang ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr); 15356516239fSHong Zhang ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 15366516239fSHong Zhang if (diagonal_fill) { 15376516239fSHong Zhang ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr); 15386516239fSHong Zhang } 15396516239fSHong Zhang } 15406516239fSHong Zhang #endif 15416516239fSHong Zhang 15426516239fSHong Zhang /* put together the new matrix */ 15436516239fSHong Zhang ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 15446516239fSHong Zhang ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr); 15456516239fSHong Zhang b = (Mat_SeqAIJ*)(fact)->data; 15466516239fSHong Zhang b->free_a = PETSC_TRUE; 15476516239fSHong Zhang b->free_ij = PETSC_TRUE; 15486516239fSHong Zhang b->singlemalloc = PETSC_FALSE; 15496516239fSHong Zhang ierr = PetscMalloc( (bi[2*n+1] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 15506516239fSHong Zhang b->j = bj; 15516516239fSHong Zhang b->i = bi; 15526516239fSHong Zhang b->diag = bdiag; 15536516239fSHong Zhang b->ilen = 0; 15546516239fSHong Zhang b->imax = 0; 15556516239fSHong Zhang b->row = isrow; 15566516239fSHong Zhang b->col = iscol; 15576516239fSHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 15586516239fSHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 15596516239fSHong Zhang b->icol = isicol; 15606516239fSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 15616516239fSHong Zhang /* In b structure: Free imax, ilen, old a, old j. 15626516239fSHong Zhang Allocate bdiag, solve_work, new a, new j */ 15636516239fSHong Zhang ierr = PetscLogObjectMemory(fact,bi[2*n+1] * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 15646516239fSHong Zhang b->maxnz = b->nz = bi[2*n+1] ; 15656516239fSHong Zhang (fact)->info.factor_mallocs = reallocs; 15666516239fSHong Zhang (fact)->info.fill_ratio_given = f; 15676516239fSHong Zhang (fact)->info.fill_ratio_needed = ((PetscReal)bi[2*n+1])/((PetscReal)ai[n]); 15686516239fSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ_newdatastruct; 15696516239fSHong Zhang /* ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); */ 15706516239fSHong Zhang PetscFunctionReturn(0); 15716516239fSHong Zhang } 15726516239fSHong Zhang 15736516239fSHong Zhang #undef __FUNCT__ 15746516239fSHong Zhang #define __FUNCT__ "MatILUFactorSymbolic_SeqAIJ" 15756516239fSHong Zhang PetscErrorCode MatILUFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS isrow,IS iscol,const MatFactorInfo *info) 15766516239fSHong Zhang { 15776516239fSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data,*b; 15786516239fSHong Zhang IS isicol; 15796516239fSHong Zhang PetscErrorCode ierr; 15806516239fSHong Zhang const PetscInt *r,*ic; 15816516239fSHong Zhang PetscInt n=A->rmap->n,*ai=a->i,*aj=a->j,d; 15826516239fSHong Zhang PetscInt *bi,*cols,nnz,*cols_lvl; 15836516239fSHong Zhang PetscInt *bdiag,prow,fm,nzbd,reallocs=0,dcount=0; 15846516239fSHong Zhang PetscInt i,levels,diagonal_fill; 15856516239fSHong Zhang PetscTruth col_identity,row_identity; 15866516239fSHong Zhang PetscReal f; 15876516239fSHong Zhang PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL; 15886516239fSHong Zhang PetscBT lnkbt; 15896516239fSHong Zhang PetscInt nzi,*bj,**bj_ptr,**bjlvl_ptr; 15906516239fSHong Zhang PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 15916516239fSHong Zhang PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 15926516239fSHong Zhang PetscTruth missing; 15936516239fSHong Zhang PetscTruth newdatastruct=PETSC_FALSE; 15946516239fSHong Zhang 15956516239fSHong Zhang PetscFunctionBegin; 15966516239fSHong Zhang ierr = PetscOptionsGetTruth(PETSC_NULL,"-ilu_new",&newdatastruct,PETSC_NULL);CHKERRQ(ierr); 15976516239fSHong Zhang if (newdatastruct){ 15986516239fSHong Zhang ierr = MatILUFactorSymbolic_SeqAIJ_newdatastruct(fact,A,isrow,iscol,info);CHKERRQ(ierr); 15996516239fSHong Zhang PetscFunctionReturn(0); 16006516239fSHong Zhang } 16016516239fSHong Zhang 16026516239fSHong 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); 16036516239fSHong Zhang f = info->fill; 16046516239fSHong Zhang levels = (PetscInt)info->levels; 16056516239fSHong Zhang diagonal_fill = (PetscInt)info->diagonal_fill; 16066516239fSHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 16076516239fSHong Zhang 16086516239fSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 16096516239fSHong Zhang ierr = ISIdentity(iscol,&col_identity);CHKERRQ(ierr); 16106516239fSHong Zhang if (!levels && row_identity && col_identity) { /* special case: ilu(0) with natural ordering */ 1611f77e22a1SHong Zhang ierr = MatDuplicateNoCreate_SeqAIJ(fact,A,MAT_DO_NOT_COPY_VALUES,PETSC_TRUE);CHKERRQ(ierr); 1612c9c72f8fSHong Zhang (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 1613c9c72f8fSHong Zhang 1614719d5645SBarry Smith fact->factor = MAT_FACTOR_ILU; 1615719d5645SBarry Smith (fact)->info.factor_mallocs = 0; 1616719d5645SBarry Smith (fact)->info.fill_ratio_given = info->fill; 1617719d5645SBarry Smith (fact)->info.fill_ratio_needed = 1.0; 1618719d5645SBarry Smith b = (Mat_SeqAIJ*)(fact)->data; 16198ef3462fSBarry Smith ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 162009f38230SBarry Smith if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 162108480c60SBarry Smith b->row = isrow; 162208480c60SBarry Smith b->col = iscol; 162382bf6240SBarry Smith b->icol = isicol; 1624719d5645SBarry Smith ierr = PetscMalloc(((fact)->rmap->n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1625c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1626c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 1627719d5645SBarry Smith ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); 16283a40ed3dSBarry Smith PetscFunctionReturn(0); 162908480c60SBarry Smith } 163008480c60SBarry Smith 1631898183ecSLois Curfman McInnes ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 1632898183ecSLois Curfman McInnes ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 16339e25ed09SBarry Smith 16349e25ed09SBarry Smith /* get new row pointers */ 16355a8e39fbSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 16365a8e39fbSHong Zhang bi[0] = 0; 16375a8e39fbSHong Zhang /* bdiag is location of diagonal in factor */ 16385a8e39fbSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 16395a8e39fbSHong Zhang bdiag[0] = 0; 16406cf997b0SBarry Smith 16415a8e39fbSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt**),&bj_ptr);CHKERRQ(ierr); 16425a8e39fbSHong Zhang bjlvl_ptr = (PetscInt**)(bj_ptr + n); 16435a8e39fbSHong Zhang 16445a8e39fbSHong Zhang /* create a linked list for storing column indices of the active row */ 16455a8e39fbSHong Zhang nlnk = n + 1; 16465a8e39fbSHong Zhang ierr = PetscIncompleteLLCreate(n,n,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 16475a8e39fbSHong Zhang 16485a8e39fbSHong Zhang /* initial FreeSpace size is f*(ai[n]+1) */ 1649a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space);CHKERRQ(ierr); 16505a8e39fbSHong Zhang current_space = free_space; 1651a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(f*(ai[n]+1)),&free_space_lvl);CHKERRQ(ierr); 16525a8e39fbSHong Zhang current_space_lvl = free_space_lvl; 16535a8e39fbSHong Zhang 16545a8e39fbSHong Zhang for (i=0; i<n; i++) { 16555a8e39fbSHong Zhang nzi = 0; 16566cf997b0SBarry Smith /* copy current row into linked list */ 16575a8e39fbSHong Zhang nnz = ai[r[i]+1] - ai[r[i]]; 16583b4a8b6dSBarry 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); 16595a8e39fbSHong Zhang cols = aj + ai[r[i]]; 16605a8e39fbSHong Zhang lnk[i] = -1; /* marker to indicate if diagonal exists */ 16615a8e39fbSHong Zhang ierr = PetscIncompleteLLInit(nnz,cols,n,ic,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 16625a8e39fbSHong Zhang nzi += nlnk; 16636cf997b0SBarry Smith 16646cf997b0SBarry Smith /* make sure diagonal entry is included */ 16655a8e39fbSHong Zhang if (diagonal_fill && lnk[i] == -1) { 16666cf997b0SBarry Smith fm = n; 16675a8e39fbSHong Zhang while (lnk[fm] < i) fm = lnk[fm]; 16685a8e39fbSHong Zhang lnk[i] = lnk[fm]; /* insert diagonal into linked list */ 16695a8e39fbSHong Zhang lnk[fm] = i; 16705a8e39fbSHong Zhang lnk_lvl[i] = 0; 16715a8e39fbSHong Zhang nzi++; dcount++; 16726cf997b0SBarry Smith } 16736cf997b0SBarry Smith 16745a8e39fbSHong Zhang /* add pivot rows into the active row */ 16755a8e39fbSHong Zhang nzbd = 0; 16765a8e39fbSHong Zhang prow = lnk[n]; 16775a8e39fbSHong Zhang while (prow < i) { 16785a8e39fbSHong Zhang nnz = bdiag[prow]; 16795a8e39fbSHong Zhang cols = bj_ptr[prow] + nnz + 1; 16805a8e39fbSHong Zhang cols_lvl = bjlvl_ptr[prow] + nnz + 1; 16815a8e39fbSHong Zhang nnz = bi[prow+1] - bi[prow] - nnz - 1; 16825a8e39fbSHong Zhang ierr = PetscILULLAddSorted(nnz,cols,levels,cols_lvl,prow,nlnk,lnk,lnk_lvl,lnkbt,prow);CHKERRQ(ierr); 16835a8e39fbSHong Zhang nzi += nlnk; 16845a8e39fbSHong Zhang prow = lnk[prow]; 16855a8e39fbSHong Zhang nzbd++; 168656beaf04SBarry Smith } 16875a8e39fbSHong Zhang bdiag[i] = nzbd; 16885a8e39fbSHong Zhang bi[i+1] = bi[i] + nzi; 1689ecf371e4SBarry Smith 16905a8e39fbSHong Zhang /* if free space is not available, make more free space */ 16915a8e39fbSHong Zhang if (current_space->local_remaining<nzi) { 16925a8e39fbSHong Zhang nnz = nzi*(n - i); /* estimated and max additional space needed */ 1693a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space);CHKERRQ(ierr); 1694a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(nnz,¤t_space_lvl);CHKERRQ(ierr); 16955a8e39fbSHong Zhang reallocs++; 16965a8e39fbSHong Zhang } 1697ecf371e4SBarry Smith 16985a8e39fbSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 16995a8e39fbSHong Zhang ierr = PetscIncompleteLLClean(n,n,nzi,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 17005a8e39fbSHong Zhang bj_ptr[i] = current_space->array; 17015a8e39fbSHong Zhang bjlvl_ptr[i] = current_space_lvl->array; 17025a8e39fbSHong Zhang 17035a8e39fbSHong Zhang /* make sure the active row i has diagonal entry */ 17045a8e39fbSHong Zhang if (*(bj_ptr[i]+bdiag[i]) != i) { 170577431f27SBarry Smith SETERRQ1(PETSC_ERR_MAT_LU_ZRPVT,"Row %D has missing diagonal in factored matrix\n\ 1706d7ee0231SBarry Smith try running with -pc_factor_nonzeros_along_diagonal or -pc_factor_diagonal_fill",i); 17076cf997b0SBarry Smith } 17085a8e39fbSHong Zhang 17095a8e39fbSHong Zhang current_space->array += nzi; 17105a8e39fbSHong Zhang current_space->local_used += nzi; 17115a8e39fbSHong Zhang current_space->local_remaining -= nzi; 17125a8e39fbSHong Zhang current_space_lvl->array += nzi; 17135a8e39fbSHong Zhang current_space_lvl->local_used += nzi; 17145a8e39fbSHong Zhang current_space_lvl->local_remaining -= nzi; 17159e25ed09SBarry Smith } 17165a8e39fbSHong Zhang 1717898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 1718898183ecSLois Curfman McInnes ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 17195a8e39fbSHong Zhang 17205a8e39fbSHong Zhang /* destroy list of free space and other temporary arrays */ 17215a8e39fbSHong Zhang ierr = PetscMalloc((bi[n]+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 17226516239fSHong Zhang ierr = PetscFreeSpaceContiguous(&free_space,bj);CHKERRQ(ierr); /* copy free_space -> bj */ 17235a8e39fbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 1724a1a86e44SBarry Smith ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 17255a8e39fbSHong Zhang ierr = PetscFree(bj_ptr);CHKERRQ(ierr); 17269e25ed09SBarry Smith 17276cf91177SBarry Smith #if defined(PETSC_USE_INFO) 1728f64065bbSBarry Smith { 17295a8e39fbSHong Zhang PetscReal af = ((PetscReal)bi[n])/((PetscReal)ai[n]); 1730ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,f,af);CHKERRQ(ierr); 1731ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -[sub_]pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 1732ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill([sub]pc,%G);\n",af);CHKERRQ(ierr); 1733ae15b995SBarry Smith ierr = PetscInfo(A,"for best performance.\n");CHKERRQ(ierr); 1734335d9088SBarry Smith if (diagonal_fill) { 1735ae15b995SBarry Smith ierr = PetscInfo1(A,"Detected and replaced %D missing diagonals",dcount);CHKERRQ(ierr); 1736335d9088SBarry Smith } 1737f64065bbSBarry Smith } 173863ba0a88SBarry Smith #endif 1739bbb6d6a8SBarry Smith 17409e25ed09SBarry Smith /* put together the new matrix */ 174107dbf95fSBarry Smith ierr = MatSeqAIJSetPreallocation_SeqAIJ(fact,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 1742719d5645SBarry Smith ierr = PetscLogObjectParent(fact,isicol);CHKERRQ(ierr); 1743719d5645SBarry Smith b = (Mat_SeqAIJ*)(fact)->data; 1744e6b907acSBarry Smith b->free_a = PETSC_TRUE; 1745e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 17467c922b88SBarry Smith b->singlemalloc = PETSC_FALSE; 1747052f0c41SBarry Smith ierr = PetscMalloc( (bi[n] )*sizeof(PetscScalar),&b->a);CHKERRQ(ierr); 17485a8e39fbSHong Zhang b->j = bj; 17495a8e39fbSHong Zhang b->i = bi; 17505a8e39fbSHong Zhang for (i=0; i<n; i++) bdiag[i] += bi[i]; 17515a8e39fbSHong Zhang b->diag = bdiag; 1752416022c9SBarry Smith b->ilen = 0; 1753416022c9SBarry Smith b->imax = 0; 1754416022c9SBarry Smith b->row = isrow; 1755416022c9SBarry Smith b->col = iscol; 1756c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 1757c38d4ed2SBarry Smith ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 175882bf6240SBarry Smith b->icol = isicol; 175987828ca2SBarry Smith ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 1760416022c9SBarry Smith /* In b structure: Free imax, ilen, old a, old j. 17615a8e39fbSHong Zhang Allocate bdiag, solve_work, new a, new j */ 1762719d5645SBarry Smith ierr = PetscLogObjectMemory(fact,(bi[n]-n) * (sizeof(PetscInt)+sizeof(PetscScalar)));CHKERRQ(ierr); 17635a8e39fbSHong Zhang b->maxnz = b->nz = bi[n] ; 1764719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 1765719d5645SBarry Smith (fact)->info.fill_ratio_given = f; 1766719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)bi[n])/((PetscReal)ai[n]); 1767719d5645SBarry Smith (fact)->ops->lufactornumeric = MatLUFactorNumeric_SeqAIJ; 1768719d5645SBarry Smith ierr = MatILUFactorSymbolic_Inode(fact,A,isrow,iscol,info);CHKERRQ(ierr); 17693a40ed3dSBarry Smith PetscFunctionReturn(0); 17709e25ed09SBarry Smith } 1771d5d45c9bSBarry Smith 17727c4f633dSBarry Smith #include "../src/mat/impls/sbaij/seq/sbaij.h" 1773a6175056SHong Zhang #undef __FUNCT__ 1774a6175056SHong Zhang #define __FUNCT__ "MatCholeskyFactorNumeric_SeqAIJ" 17750481f469SBarry Smith PetscErrorCode MatCholeskyFactorNumeric_SeqAIJ(Mat B,Mat A,const MatFactorInfo *info) 1776a6175056SHong Zhang { 1777719d5645SBarry Smith Mat C = B; 17780968510aSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data; 17792ed133dbSHong Zhang Mat_SeqSBAIJ *b=(Mat_SeqSBAIJ*)C->data; 17809bfd6278SHong Zhang IS ip=b->row,iip = b->icol; 17812ed133dbSHong Zhang PetscErrorCode ierr; 17825d0c19d7SBarry Smith const PetscInt *rip,*riip; 17835d0c19d7SBarry Smith PetscInt i,j,mbs=A->rmap->n,*bi=b->i,*bj=b->j,*bcol; 17842ed133dbSHong Zhang PetscInt *ai=a->i,*aj=a->j; 17852ed133dbSHong Zhang PetscInt k,jmin,jmax,*jl,*il,col,nexti,ili,nz; 1786622e2028SHong Zhang MatScalar *rtmp,*ba=b->a,*bval,*aa=a->a,dk,uikdi; 1787540703acSHong Zhang PetscReal zeropivot,rs,shiftnz; 1788fbf22428SSatish Balay PetscReal shiftpd; 1789540703acSHong Zhang ChShift_Ctx sctx; 1790540703acSHong Zhang PetscInt newshift; 1791db4efbfdSBarry Smith PetscTruth perm_identity; 1792d5d45c9bSBarry Smith 1793a6175056SHong Zhang PetscFunctionBegin; 1794117f1891Stmunson 1795540703acSHong Zhang shiftnz = info->shiftnz; 1796540703acSHong Zhang shiftpd = info->shiftpd; 1797ee45ca4aSHong Zhang zeropivot = info->zeropivot; 1798ee45ca4aSHong Zhang 17992ed133dbSHong Zhang ierr = ISGetIndices(ip,&rip);CHKERRQ(ierr); 18009bfd6278SHong Zhang ierr = ISGetIndices(iip,&riip);CHKERRQ(ierr); 18012ed133dbSHong Zhang 18022ed133dbSHong Zhang /* initialization */ 18032ed133dbSHong Zhang nz = (2*mbs+1)*sizeof(PetscInt)+mbs*sizeof(MatScalar); 18042ed133dbSHong Zhang ierr = PetscMalloc(nz,&il);CHKERRQ(ierr); 18052ed133dbSHong Zhang jl = il + mbs; 18062ed133dbSHong Zhang rtmp = (MatScalar*)(jl + mbs); 18072ed133dbSHong Zhang 1808540703acSHong Zhang sctx.shift_amount = 0; 1809540703acSHong Zhang sctx.nshift = 0; 18102ed133dbSHong Zhang do { 1811540703acSHong Zhang sctx.chshift = PETSC_FALSE; 18122ed133dbSHong Zhang for (i=0; i<mbs; i++) { 18132ed133dbSHong Zhang rtmp[i] = 0.0; jl[i] = mbs; il[0] = 0; 1814a6175056SHong Zhang } 18152ed133dbSHong Zhang 18162ed133dbSHong Zhang for (k = 0; k<mbs; k++){ 1817c05c3958SHong Zhang bval = ba + bi[k]; 18182ed133dbSHong Zhang /* initialize k-th row by the perm[k]-th row of A */ 18192ed133dbSHong Zhang jmin = ai[rip[k]]; jmax = ai[rip[k]+1]; 18202ed133dbSHong Zhang for (j = jmin; j < jmax; j++){ 18219bfd6278SHong Zhang col = riip[aj[j]]; 18222ed133dbSHong Zhang if (col >= k){ /* only take upper triangular entry */ 18232ed133dbSHong Zhang rtmp[col] = aa[j]; 1824c05c3958SHong Zhang *bval++ = 0.0; /* for in-place factorization */ 18252ed133dbSHong Zhang } 18262ed133dbSHong Zhang } 182739e3d630SHong Zhang /* shift the diagonal of the matrix */ 1828540703acSHong Zhang if (sctx.nshift) rtmp[k] += sctx.shift_amount; 18292ed133dbSHong Zhang 18302ed133dbSHong Zhang /* modify k-th row by adding in those rows i with U(i,k)!=0 */ 18312ed133dbSHong Zhang dk = rtmp[k]; 18322ed133dbSHong Zhang i = jl[k]; /* first row to be added to k_th row */ 18332ed133dbSHong Zhang 18342ed133dbSHong Zhang while (i < k){ 18352ed133dbSHong Zhang nexti = jl[i]; /* next row to be added to k_th row */ 18362ed133dbSHong Zhang 18372ed133dbSHong Zhang /* compute multiplier, update diag(k) and U(i,k) */ 18382ed133dbSHong Zhang ili = il[i]; /* index of first nonzero element in U(i,k:bms-1) */ 18392ed133dbSHong Zhang uikdi = - ba[ili]*ba[bi[i]]; /* diagonal(k) */ 18402ed133dbSHong Zhang dk += uikdi*ba[ili]; 18412ed133dbSHong Zhang ba[ili] = uikdi; /* -U(i,k) */ 18422ed133dbSHong Zhang 18432ed133dbSHong Zhang /* add multiple of row i to k-th row */ 18442ed133dbSHong Zhang jmin = ili + 1; jmax = bi[i+1]; 18452ed133dbSHong Zhang if (jmin < jmax){ 18462ed133dbSHong Zhang for (j=jmin; j<jmax; j++) rtmp[bj[j]] += uikdi*ba[j]; 18472ed133dbSHong Zhang /* update il and jl for row i */ 18482ed133dbSHong Zhang il[i] = jmin; 18492ed133dbSHong Zhang j = bj[jmin]; jl[i] = jl[j]; jl[j] = i; 18502ed133dbSHong Zhang } 18512ed133dbSHong Zhang i = nexti; 18522ed133dbSHong Zhang } 18532ed133dbSHong Zhang 18540697b6caSHong Zhang /* shift the diagonals when zero pivot is detected */ 18550697b6caSHong Zhang /* compute rs=sum of abs(off-diagonal) */ 18560697b6caSHong Zhang rs = 0.0; 18573c9e8598SHong Zhang jmin = bi[k]+1; 18583c9e8598SHong Zhang nz = bi[k+1] - jmin; 18593c9e8598SHong Zhang bcol = bj + jmin; 18603c9e8598SHong Zhang while (nz--){ 186189f845c8SHong Zhang rs += PetscAbsScalar(rtmp[*bcol]); 186289f845c8SHong Zhang bcol++; 18633c9e8598SHong Zhang } 1864540703acSHong Zhang 1865540703acSHong Zhang sctx.rs = rs; 1866540703acSHong Zhang sctx.pv = dk; 18675b5bc046SBarry Smith ierr = MatCholeskyCheckShift_inline(info,sctx,k,newshift);CHKERRQ(ierr); 1868117f1891Stmunson 1869117f1891Stmunson if (newshift == 1) { 1870117f1891Stmunson if (!sctx.shift_amount) { 1871117f1891Stmunson sctx.shift_amount = 1e-5; 1872117f1891Stmunson } 1873117f1891Stmunson break; 1874117f1891Stmunson } 18753c9e8598SHong Zhang 18763c9e8598SHong Zhang /* copy data into U(k,:) */ 187739e3d630SHong Zhang ba[bi[k]] = 1.0/dk; /* U(k,k) */ 187839e3d630SHong Zhang jmin = bi[k]+1; jmax = bi[k+1]; 187939e3d630SHong Zhang if (jmin < jmax) { 188039e3d630SHong Zhang for (j=jmin; j<jmax; j++){ 188139e3d630SHong Zhang col = bj[j]; ba[j] = rtmp[col]; rtmp[col] = 0.0; 18823c9e8598SHong Zhang } 188339e3d630SHong Zhang /* add the k-th row into il and jl */ 18843c9e8598SHong Zhang il[k] = jmin; 18853c9e8598SHong Zhang i = bj[jmin]; jl[k] = jl[i]; jl[i] = k; 18863c9e8598SHong Zhang } 18873c9e8598SHong Zhang } 1888540703acSHong Zhang } while (sctx.chshift); 18893c9e8598SHong Zhang ierr = PetscFree(il);CHKERRQ(ierr); 18903c9e8598SHong Zhang 189139e3d630SHong Zhang ierr = ISRestoreIndices(ip,&rip);CHKERRQ(ierr); 18929bfd6278SHong Zhang ierr = ISRestoreIndices(iip,&riip);CHKERRQ(ierr); 1893db4efbfdSBarry Smith 1894db4efbfdSBarry Smith ierr = ISIdentity(ip,&perm_identity);CHKERRQ(ierr); 1895db4efbfdSBarry Smith if (perm_identity){ 1896719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqSBAIJ_1_NaturalOrdering; 1897719d5645SBarry Smith (B)->ops->solvetranspose = MatSolve_SeqSBAIJ_1_NaturalOrdering; 1898719d5645SBarry Smith (B)->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1_NaturalOrdering; 1899719d5645SBarry Smith (B)->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1_NaturalOrdering; 1900db4efbfdSBarry Smith } else { 1901719d5645SBarry Smith (B)->ops->solve = MatSolve_SeqSBAIJ_1; 1902719d5645SBarry Smith (B)->ops->solvetranspose = MatSolve_SeqSBAIJ_1; 1903719d5645SBarry Smith (B)->ops->forwardsolve = MatForwardSolve_SeqSBAIJ_1; 1904719d5645SBarry Smith (B)->ops->backwardsolve = MatBackwardSolve_SeqSBAIJ_1; 1905db4efbfdSBarry Smith } 1906db4efbfdSBarry Smith 19073c9e8598SHong Zhang C->assembled = PETSC_TRUE; 19083c9e8598SHong Zhang C->preallocated = PETSC_TRUE; 1909d0f46423SBarry Smith ierr = PetscLogFlops(C->rmap->n);CHKERRQ(ierr); 1910540703acSHong Zhang if (sctx.nshift){ 1911540703acSHong Zhang if (shiftnz) { 19121e2582c4SBarry Smith ierr = PetscInfo2(A,"number of shiftnz tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 1913540703acSHong Zhang } else if (shiftpd) { 19141e2582c4SBarry Smith ierr = PetscInfo2(A,"number of shiftpd tries %D, shift_amount %G\n",sctx.nshift,sctx.shift_amount);CHKERRQ(ierr); 19150697b6caSHong Zhang } 19163c9e8598SHong Zhang } 19173c9e8598SHong Zhang PetscFunctionReturn(0); 19183c9e8598SHong Zhang } 1919a6175056SHong Zhang 1920a6175056SHong Zhang #undef __FUNCT__ 1921a6175056SHong Zhang #define __FUNCT__ "MatICCFactorSymbolic_SeqAIJ" 19220481f469SBarry Smith PetscErrorCode MatICCFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 1923a6175056SHong Zhang { 19240968510aSHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 1925ed59401aSHong Zhang Mat_SeqSBAIJ *b; 1926dfbe8321SBarry Smith PetscErrorCode ierr; 192758ebbce7SBarry Smith PetscTruth perm_identity,missing; 19285d0c19d7SBarry Smith PetscInt reallocs=0,i,*ai=a->i,*aj=a->j,am=A->rmap->n,*ui; 19295d0c19d7SBarry Smith const PetscInt *rip,*riip; 1930ed59401aSHong Zhang PetscInt jmin,jmax,nzk,k,j,*jl,prow,*il,nextprow; 193158ebbce7SBarry Smith PetscInt nlnk,*lnk,*lnk_lvl=PETSC_NULL,d; 19325a8e39fbSHong Zhang PetscInt ncols,ncols_upper,*cols,*ajtmp,*uj,**uj_ptr,**uj_lvl_ptr; 1933ed59401aSHong Zhang PetscReal fill=info->fill,levels=info->levels; 1934a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 1935a1a86e44SBarry Smith PetscFreeSpaceList free_space_lvl=PETSC_NULL,current_space_lvl=PETSC_NULL; 19367a48dd6fSHong Zhang PetscBT lnkbt; 1937b635d36bSHong Zhang IS iperm; 1938a6175056SHong Zhang 1939a6175056SHong Zhang PetscFunctionBegin; 1940d0f46423SBarry 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); 194158ebbce7SBarry Smith ierr = MatMissingDiagonal(A,&missing,&d);CHKERRQ(ierr); 194258ebbce7SBarry Smith if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",d); 1943653a6975SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 1944b635d36bSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 19457a48dd6fSHong Zhang 194639e3d630SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 194739e3d630SHong Zhang ui[0] = 0; 194839e3d630SHong Zhang 1949b635d36bSHong Zhang /* ICC(0) without matrix ordering: simply copies fill pattern */ 1950622e2028SHong Zhang if (!levels && perm_identity) { 195158ebbce7SBarry Smith 1952ed59401aSHong Zhang for (i=0; i<am; i++) { 195339e3d630SHong Zhang ui[i+1] = ui[i] + ai[i+1] - a->diag[i]; 1954ed59401aSHong Zhang } 195539e3d630SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 195639e3d630SHong Zhang cols = uj; 1957ed59401aSHong Zhang for (i=0; i<am; i++) { 1958ed59401aSHong Zhang aj = a->j + a->diag[i]; 195939e3d630SHong Zhang ncols = ui[i+1] - ui[i]; 196039e3d630SHong Zhang for (j=0; j<ncols; j++) *cols++ = *aj++; 1961ed59401aSHong Zhang } 196239e3d630SHong Zhang } else { /* case: levels>0 || (levels=0 && !perm_identity) */ 1963b635d36bSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 1964b635d36bSHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 1965b635d36bSHong Zhang 19667a48dd6fSHong Zhang /* initialization */ 19675a8e39fbSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ajtmp);CHKERRQ(ierr); 19687a48dd6fSHong Zhang 19697a48dd6fSHong Zhang /* jl: linked list for storing indices of the pivot rows 19707a48dd6fSHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 19711393bc97SHong Zhang ierr = PetscMalloc((2*am+1)*sizeof(PetscInt)+2*am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 19727a48dd6fSHong Zhang il = jl + am; 19737a48dd6fSHong Zhang uj_ptr = (PetscInt**)(il + am); 19747a48dd6fSHong Zhang uj_lvl_ptr = (PetscInt**)(uj_ptr + am); 19757a48dd6fSHong Zhang for (i=0; i<am; i++){ 19767a48dd6fSHong Zhang jl[i] = am; il[i] = 0; 19777a48dd6fSHong Zhang } 19787a48dd6fSHong Zhang 19797a48dd6fSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 19807a48dd6fSHong Zhang nlnk = am + 1; 19812ed133dbSHong Zhang ierr = PetscIncompleteLLCreate(am,am,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 19827a48dd6fSHong Zhang 19837a48dd6fSHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 1984a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 19857a48dd6fSHong Zhang current_space = free_space; 1986a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space_lvl);CHKERRQ(ierr); 19877a48dd6fSHong Zhang current_space_lvl = free_space_lvl; 19887a48dd6fSHong Zhang 19897a48dd6fSHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 19907a48dd6fSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 19917a48dd6fSHong Zhang nzk = 0; 1992622e2028SHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 19933b4a8b6dSBarry 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); 1994622e2028SHong Zhang ncols_upper = 0; 1995622e2028SHong Zhang for (j=0; j<ncols; j++){ 1996b635d36bSHong Zhang i = *(aj + ai[rip[k]] + j); /* unpermuted column index */ 1997b635d36bSHong Zhang if (riip[i] >= k){ /* only take upper triangular entry */ 19985a8e39fbSHong Zhang ajtmp[ncols_upper] = i; 1999622e2028SHong Zhang ncols_upper++; 2000622e2028SHong Zhang } 2001622e2028SHong Zhang } 2002b635d36bSHong Zhang ierr = PetscIncompleteLLInit(ncols_upper,ajtmp,am,riip,nlnk,lnk,lnk_lvl,lnkbt);CHKERRQ(ierr); 20037a48dd6fSHong Zhang nzk += nlnk; 20047a48dd6fSHong Zhang 20057a48dd6fSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 20067a48dd6fSHong Zhang prow = jl[k]; /* 1st pivot row */ 20077a48dd6fSHong Zhang 20087a48dd6fSHong Zhang while (prow < k){ 20097a48dd6fSHong Zhang nextprow = jl[prow]; 20107a48dd6fSHong Zhang 20117a48dd6fSHong Zhang /* merge prow into k-th row */ 20127a48dd6fSHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 20137a48dd6fSHong Zhang jmax = ui[prow+1]; 20147a48dd6fSHong Zhang ncols = jmax-jmin; 2015ed59401aSHong Zhang i = jmin - ui[prow]; 2016ed59401aSHong Zhang cols = uj_ptr[prow] + i; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 20175a8e39fbSHong Zhang uj = uj_lvl_ptr[prow] + i; /* levels of cols */ 20185a8e39fbSHong Zhang j = *(uj - 1); 20195a8e39fbSHong Zhang ierr = PetscICCLLAddSorted(ncols,cols,levels,uj,am,nlnk,lnk,lnk_lvl,lnkbt,j);CHKERRQ(ierr); 20207a48dd6fSHong Zhang nzk += nlnk; 20217a48dd6fSHong Zhang 20227a48dd6fSHong Zhang /* update il and jl for prow */ 20237a48dd6fSHong Zhang if (jmin < jmax){ 20247a48dd6fSHong Zhang il[prow] = jmin; 20257a48dd6fSHong Zhang j = *cols; jl[prow] = jl[j]; jl[j] = prow; 20267a48dd6fSHong Zhang } 20277a48dd6fSHong Zhang prow = nextprow; 20287a48dd6fSHong Zhang } 20297a48dd6fSHong Zhang 20307a48dd6fSHong Zhang /* if free space is not available, make more free space */ 20317a48dd6fSHong Zhang if (current_space->local_remaining<nzk) { 20327a48dd6fSHong Zhang i = am - k + 1; /* num of unfactored rows */ 20337a48dd6fSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 2034a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 2035a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space_lvl);CHKERRQ(ierr); 20367a48dd6fSHong Zhang reallocs++; 20377a48dd6fSHong Zhang } 20387a48dd6fSHong Zhang 20397a48dd6fSHong Zhang /* copy data into free_space and free_space_lvl, then initialize lnk */ 2040b635d36bSHong Zhang if (nzk == 0) SETERRQ1(PETSC_ERR_ARG_WRONG,"Empty row %D in ICC matrix factor",k); 20412ed133dbSHong Zhang ierr = PetscIncompleteLLClean(am,am,nzk,lnk,lnk_lvl,current_space->array,current_space_lvl->array,lnkbt);CHKERRQ(ierr); 20427a48dd6fSHong Zhang 20437a48dd6fSHong Zhang /* add the k-th row into il and jl */ 204439e3d630SHong Zhang if (nzk > 1){ 20457a48dd6fSHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 20467a48dd6fSHong Zhang jl[k] = jl[i]; jl[i] = k; 20477a48dd6fSHong Zhang il[k] = ui[k] + 1; 20487a48dd6fSHong Zhang } 20497a48dd6fSHong Zhang uj_ptr[k] = current_space->array; 20507a48dd6fSHong Zhang uj_lvl_ptr[k] = current_space_lvl->array; 20517a48dd6fSHong Zhang 20527a48dd6fSHong Zhang current_space->array += nzk; 20537a48dd6fSHong Zhang current_space->local_used += nzk; 20547a48dd6fSHong Zhang current_space->local_remaining -= nzk; 20557a48dd6fSHong Zhang 20567a48dd6fSHong Zhang current_space_lvl->array += nzk; 20577a48dd6fSHong Zhang current_space_lvl->local_used += nzk; 20587a48dd6fSHong Zhang current_space_lvl->local_remaining -= nzk; 20597a48dd6fSHong Zhang 20607a48dd6fSHong Zhang ui[k+1] = ui[k] + nzk; 20617a48dd6fSHong Zhang } 20627a48dd6fSHong Zhang 20636cf91177SBarry Smith #if defined(PETSC_USE_INFO) 20647a48dd6fSHong Zhang if (ai[am] != 0) { 206539e3d630SHong Zhang PetscReal af = (PetscReal)ui[am]/((PetscReal)ai[am]); 2066ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 2067ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 2068ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 20697a48dd6fSHong Zhang } else { 2070ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 20717a48dd6fSHong Zhang } 207263ba0a88SBarry Smith #endif 20737a48dd6fSHong Zhang 20747a48dd6fSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 2075b635d36bSHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 20767a48dd6fSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 20775a8e39fbSHong Zhang ierr = PetscFree(ajtmp);CHKERRQ(ierr); 20787a48dd6fSHong Zhang 20797a48dd6fSHong Zhang /* destroy list of free space and other temporary array(s) */ 20807a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 2081a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 20822ed133dbSHong Zhang ierr = PetscIncompleteLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 2083a1a86e44SBarry Smith ierr = PetscFreeSpaceDestroy(free_space_lvl);CHKERRQ(ierr); 20847a48dd6fSHong Zhang 208539e3d630SHong Zhang } /* end of case: levels>0 || (levels=0 && !perm_identity) */ 208639e3d630SHong Zhang 20877a48dd6fSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 20887a48dd6fSHong Zhang 2089719d5645SBarry Smith b = (Mat_SeqSBAIJ*)(fact)->data; 20907a48dd6fSHong Zhang b->singlemalloc = PETSC_FALSE; 20917a48dd6fSHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 20927a48dd6fSHong Zhang b->j = uj; 20937a48dd6fSHong Zhang b->i = ui; 20947a48dd6fSHong Zhang b->diag = 0; 20957a48dd6fSHong Zhang b->ilen = 0; 20967a48dd6fSHong Zhang b->imax = 0; 20977a48dd6fSHong Zhang b->row = perm; 2098b635d36bSHong Zhang b->col = perm; 2099b635d36bSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 2100b635d36bSHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 2101b635d36bSHong Zhang b->icol = iperm; 21027a48dd6fSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 21037a48dd6fSHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2104719d5645SBarry Smith ierr = PetscLogObjectMemory((fact),(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 21057a48dd6fSHong Zhang b->maxnz = b->nz = ui[am]; 2106e6b907acSBarry Smith b->free_a = PETSC_TRUE; 2107e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 21087a48dd6fSHong Zhang 2109719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 2110719d5645SBarry Smith (fact)->info.fill_ratio_given = fill; 21117a48dd6fSHong Zhang if (ai[am] != 0) { 2112719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 21137a48dd6fSHong Zhang } else { 2114719d5645SBarry Smith (fact)->info.fill_ratio_needed = 0.0; 21157a48dd6fSHong Zhang } 2116719d5645SBarry Smith (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 2117a6175056SHong Zhang PetscFunctionReturn(0); 2118a6175056SHong Zhang } 2119d5d45c9bSBarry Smith 2120f76d2b81SHong Zhang #undef __FUNCT__ 2121f76d2b81SHong Zhang #define __FUNCT__ "MatCholeskyFactorSymbolic_SeqAIJ" 21220481f469SBarry Smith PetscErrorCode MatCholeskyFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS perm,const MatFactorInfo *info) 2123f76d2b81SHong Zhang { 2124f76d2b81SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 212510c27e3dSHong Zhang Mat_SeqSBAIJ *b; 2126dfbe8321SBarry Smith PetscErrorCode ierr; 2127f76d2b81SHong Zhang PetscTruth perm_identity; 212810c27e3dSHong Zhang PetscReal fill = info->fill; 21295d0c19d7SBarry Smith const PetscInt *rip,*riip; 21305d0c19d7SBarry Smith PetscInt i,am=A->rmap->n,*ai=a->i,*aj=a->j,reallocs=0,prow; 213110c27e3dSHong Zhang PetscInt *jl,jmin,jmax,nzk,*ui,k,j,*il,nextprow; 21322ed133dbSHong Zhang PetscInt nlnk,*lnk,ncols,ncols_upper,*cols,*uj,**ui_ptr,*uj_ptr; 2133a1a86e44SBarry Smith PetscFreeSpaceList free_space=PETSC_NULL,current_space=PETSC_NULL; 213410c27e3dSHong Zhang PetscBT lnkbt; 21352ed133dbSHong Zhang IS iperm; 2136f76d2b81SHong Zhang 2137f76d2b81SHong Zhang PetscFunctionBegin; 2138d0f46423SBarry 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); 21392ed133dbSHong Zhang /* check whether perm is the identity mapping */ 2140f76d2b81SHong Zhang ierr = ISIdentity(perm,&perm_identity);CHKERRQ(ierr); 21412ed133dbSHong Zhang ierr = ISInvertPermutation(perm,PETSC_DECIDE,&iperm);CHKERRQ(ierr); 21422ed133dbSHong Zhang ierr = ISGetIndices(iperm,&riip);CHKERRQ(ierr); 21439bfd6278SHong Zhang ierr = ISGetIndices(perm,&rip);CHKERRQ(ierr); 214410c27e3dSHong Zhang 214510c27e3dSHong Zhang /* initialization */ 21461393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscInt),&ui);CHKERRQ(ierr); 214710c27e3dSHong Zhang ui[0] = 0; 214810c27e3dSHong Zhang 214910c27e3dSHong Zhang /* jl: linked list for storing indices of the pivot rows 21501393bc97SHong Zhang il: il[i] points to the 1st nonzero entry of U(i,k:am-1) */ 21511393bc97SHong Zhang ierr = PetscMalloc((3*am+1)*sizeof(PetscInt)+am*sizeof(PetscInt**),&jl);CHKERRQ(ierr); 21521393bc97SHong Zhang il = jl + am; 21531393bc97SHong Zhang cols = il + am; 21541393bc97SHong Zhang ui_ptr = (PetscInt**)(cols + am); 21551393bc97SHong Zhang for (i=0; i<am; i++){ 21561393bc97SHong Zhang jl[i] = am; il[i] = 0; 2157f76d2b81SHong Zhang } 215810c27e3dSHong Zhang 215910c27e3dSHong Zhang /* create and initialize a linked list for storing column indices of the active row k */ 21601393bc97SHong Zhang nlnk = am + 1; 21611393bc97SHong Zhang ierr = PetscLLCreate(am,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 216210c27e3dSHong Zhang 21631393bc97SHong Zhang /* initial FreeSpace size is fill*(ai[am]+1) */ 2164a1a86e44SBarry Smith ierr = PetscFreeSpaceGet((PetscInt)(fill*(ai[am]+1)),&free_space);CHKERRQ(ierr); 216510c27e3dSHong Zhang current_space = free_space; 216610c27e3dSHong Zhang 21671393bc97SHong Zhang for (k=0; k<am; k++){ /* for each active row k */ 216810c27e3dSHong Zhang /* initialize lnk by the column indices of row rip[k] of A */ 216910c27e3dSHong Zhang nzk = 0; 21702ed133dbSHong Zhang ncols = ai[rip[k]+1] - ai[rip[k]]; 21713b4a8b6dSBarry 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); 21722ed133dbSHong Zhang ncols_upper = 0; 21732ed133dbSHong Zhang for (j=0; j<ncols; j++){ 21749bfd6278SHong Zhang i = riip[*(aj + ai[rip[k]] + j)]; 21752ed133dbSHong Zhang if (i >= k){ /* only take upper triangular entry */ 21762ed133dbSHong Zhang cols[ncols_upper] = i; 21772ed133dbSHong Zhang ncols_upper++; 21782ed133dbSHong Zhang } 21792ed133dbSHong Zhang } 21801393bc97SHong Zhang ierr = PetscLLAdd(ncols_upper,cols,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 218110c27e3dSHong Zhang nzk += nlnk; 218210c27e3dSHong Zhang 218310c27e3dSHong Zhang /* update lnk by computing fill-in for each pivot row to be merged in */ 218410c27e3dSHong Zhang prow = jl[k]; /* 1st pivot row */ 218510c27e3dSHong Zhang 218610c27e3dSHong Zhang while (prow < k){ 218710c27e3dSHong Zhang nextprow = jl[prow]; 218810c27e3dSHong Zhang /* merge prow into k-th row */ 21891393bc97SHong Zhang jmin = il[prow] + 1; /* index of the 2nd nzero entry in U(prow,k:am-1) */ 219010c27e3dSHong Zhang jmax = ui[prow+1]; 219110c27e3dSHong Zhang ncols = jmax-jmin; 21921393bc97SHong Zhang uj_ptr = ui_ptr[prow] + jmin - ui[prow]; /* points to the 2nd nzero entry in U(prow,k:am-1) */ 21935a8e39fbSHong Zhang ierr = PetscLLAddSorted(ncols,uj_ptr,am,nlnk,lnk,lnkbt);CHKERRQ(ierr); 219410c27e3dSHong Zhang nzk += nlnk; 219510c27e3dSHong Zhang 219610c27e3dSHong Zhang /* update il and jl for prow */ 219710c27e3dSHong Zhang if (jmin < jmax){ 219810c27e3dSHong Zhang il[prow] = jmin; 21992ed133dbSHong Zhang j = *uj_ptr; jl[prow] = jl[j]; jl[j] = prow; 220010c27e3dSHong Zhang } 220110c27e3dSHong Zhang prow = nextprow; 220210c27e3dSHong Zhang } 220310c27e3dSHong Zhang 220410c27e3dSHong Zhang /* if free space is not available, make more free space */ 220510c27e3dSHong Zhang if (current_space->local_remaining<nzk) { 22061393bc97SHong Zhang i = am - k + 1; /* num of unfactored rows */ 220710c27e3dSHong Zhang i = PetscMin(i*nzk, i*(i-1)); /* i*nzk, i*(i-1): estimated and max additional space needed */ 2208a1a86e44SBarry Smith ierr = PetscFreeSpaceGet(i,¤t_space);CHKERRQ(ierr); 220910c27e3dSHong Zhang reallocs++; 221010c27e3dSHong Zhang } 221110c27e3dSHong Zhang 221210c27e3dSHong Zhang /* copy data into free space, then initialize lnk */ 22131393bc97SHong Zhang ierr = PetscLLClean(am,am,nzk,lnk,current_space->array,lnkbt);CHKERRQ(ierr); 221410c27e3dSHong Zhang 221510c27e3dSHong Zhang /* add the k-th row into il and jl */ 221610c27e3dSHong Zhang if (nzk-1 > 0){ 22171393bc97SHong Zhang i = current_space->array[1]; /* col value of the first nonzero element in U(k, k+1:am-1) */ 221810c27e3dSHong Zhang jl[k] = jl[i]; jl[i] = k; 221910c27e3dSHong Zhang il[k] = ui[k] + 1; 222010c27e3dSHong Zhang } 22212ed133dbSHong Zhang ui_ptr[k] = current_space->array; 222210c27e3dSHong Zhang current_space->array += nzk; 222310c27e3dSHong Zhang current_space->local_used += nzk; 222410c27e3dSHong Zhang current_space->local_remaining -= nzk; 222510c27e3dSHong Zhang 222610c27e3dSHong Zhang ui[k+1] = ui[k] + nzk; 222710c27e3dSHong Zhang } 222810c27e3dSHong Zhang 22296cf91177SBarry Smith #if defined(PETSC_USE_INFO) 22301393bc97SHong Zhang if (ai[am] != 0) { 22311393bc97SHong Zhang PetscReal af = (PetscReal)(ui[am])/((PetscReal)ai[am]); 2232ae15b995SBarry Smith ierr = PetscInfo3(A,"Reallocs %D Fill ratio:given %G needed %G\n",reallocs,fill,af);CHKERRQ(ierr); 2233ae15b995SBarry Smith ierr = PetscInfo1(A,"Run with -pc_factor_fill %G or use \n",af);CHKERRQ(ierr); 2234ae15b995SBarry Smith ierr = PetscInfo1(A,"PCFactorSetFill(pc,%G) for best performance.\n",af);CHKERRQ(ierr); 223510c27e3dSHong Zhang } else { 2236ae15b995SBarry Smith ierr = PetscInfo(A,"Empty matrix.\n");CHKERRQ(ierr); 223710c27e3dSHong Zhang } 223863ba0a88SBarry Smith #endif 223910c27e3dSHong Zhang 224010c27e3dSHong Zhang ierr = ISRestoreIndices(perm,&rip);CHKERRQ(ierr); 22419bfd6278SHong Zhang ierr = ISRestoreIndices(iperm,&riip);CHKERRQ(ierr); 224210c27e3dSHong Zhang ierr = PetscFree(jl);CHKERRQ(ierr); 224310c27e3dSHong Zhang 224410c27e3dSHong Zhang /* destroy list of free space and other temporary array(s) */ 22451393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(PetscInt),&uj);CHKERRQ(ierr); 2246a1a86e44SBarry Smith ierr = PetscFreeSpaceContiguous(&free_space,uj);CHKERRQ(ierr); 224710c27e3dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 224810c27e3dSHong Zhang 224910c27e3dSHong Zhang /* put together the new matrix in MATSEQSBAIJ format */ 225010c27e3dSHong Zhang 2251719d5645SBarry Smith b = (Mat_SeqSBAIJ*)(fact)->data; 225210c27e3dSHong Zhang b->singlemalloc = PETSC_FALSE; 2253e6b907acSBarry Smith b->free_a = PETSC_TRUE; 2254e6b907acSBarry Smith b->free_ij = PETSC_TRUE; 22551393bc97SHong Zhang ierr = PetscMalloc((ui[am]+1)*sizeof(MatScalar),&b->a);CHKERRQ(ierr); 225610c27e3dSHong Zhang b->j = uj; 225710c27e3dSHong Zhang b->i = ui; 225810c27e3dSHong Zhang b->diag = 0; 225910c27e3dSHong Zhang b->ilen = 0; 226010c27e3dSHong Zhang b->imax = 0; 226110c27e3dSHong Zhang b->row = perm; 22629bfd6278SHong Zhang b->col = perm; 22639bfd6278SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 22649bfd6278SHong Zhang ierr = PetscObjectReference((PetscObject)perm);CHKERRQ(ierr); 22659bfd6278SHong Zhang b->icol = iperm; 226610c27e3dSHong Zhang b->pivotinblocks = PETSC_FALSE; /* need to get from MatFactorInfo */ 22671393bc97SHong Zhang ierr = PetscMalloc((am+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2268719d5645SBarry Smith ierr = PetscLogObjectMemory(fact,(ui[am]-am)*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 22691393bc97SHong Zhang b->maxnz = b->nz = ui[am]; 227010c27e3dSHong Zhang 2271719d5645SBarry Smith (fact)->info.factor_mallocs = reallocs; 2272719d5645SBarry Smith (fact)->info.fill_ratio_given = fill; 22731393bc97SHong Zhang if (ai[am] != 0) { 2274719d5645SBarry Smith (fact)->info.fill_ratio_needed = ((PetscReal)ui[am])/((PetscReal)ai[am]); 227510c27e3dSHong Zhang } else { 2276719d5645SBarry Smith (fact)->info.fill_ratio_needed = 0.0; 227710c27e3dSHong Zhang } 2278719d5645SBarry Smith (fact)->ops->choleskyfactornumeric = MatCholeskyFactorNumeric_SeqAIJ; 2279f76d2b81SHong Zhang PetscFunctionReturn(0); 2280f76d2b81SHong Zhang } 2281599ef60dSHong Zhang 2282599ef60dSHong Zhang #undef __FUNCT__ 2283*894a2336SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_NaturalOrdering_newdatastruct" 2284*894a2336SHong Zhang PetscErrorCode MatSolve_SeqAIJ_NaturalOrdering_newdatastruct(Mat A,Vec bb,Vec xx) 2285599ef60dSHong Zhang { 22861d098868SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 22871d098868SHong Zhang PetscErrorCode ierr; 22881d098868SHong Zhang PetscInt n = A->rmap->n; 22898fc3a347SHong Zhang const PetscInt *ai = a->i,*aj = a->j,*vi; 22901d098868SHong Zhang PetscScalar *x,sum; 22911d098868SHong Zhang const PetscScalar *b; 22921d098868SHong Zhang const MatScalar *aa = a->a,*v; 22938fc3a347SHong Zhang PetscInt i,nz; 22941d098868SHong Zhang 22951d098868SHong Zhang PetscFunctionBegin; 22961d098868SHong Zhang if (!n) PetscFunctionReturn(0); 22971d098868SHong Zhang 22981d098868SHong Zhang ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 22991d098868SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 23001d098868SHong Zhang 23011d098868SHong Zhang /* forward solve the lower triangular */ 23021d098868SHong Zhang x[0] = b[0]; 23031d098868SHong Zhang v = aa; 23041d098868SHong Zhang vi = aj; 23051d098868SHong Zhang for (i=1; i<n; i++) { 23061d098868SHong Zhang nz = ai[i+1] - ai[i]; 23071d098868SHong Zhang sum = b[i]; 2308003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 2309e09e08ccSBarry Smith /* while (nz--) sum -= *v++ * x[*vi++];*/ 2310e0e43300SBarry Smith v += nz; 2311e0e43300SBarry Smith vi += nz; 23121d098868SHong Zhang x[i] = sum; 23131d098868SHong Zhang } 23141d098868SHong Zhang 23151d098868SHong Zhang /* backward solve the upper triangular */ 23168fc3a347SHong Zhang v = aa + ai[n+1]; 23178fc3a347SHong Zhang vi = aj + ai[n+1]; 23181d098868SHong Zhang for (i=n-1; i>=0; i--){ 23198fc3a347SHong Zhang nz = ai[2*n-i +1] - ai[2*n-i]-1; 23201d098868SHong Zhang sum = x[i]; 2321003131ecSBarry Smith PetscSparseDenseMinusDot(sum,x,v,vi,nz); 2322e09e08ccSBarry Smith /* while (nz--) sum -= *v++ * x[*vi++]; */ 2323e0e43300SBarry Smith v += nz; 23248fc3a347SHong Zhang vi += nz; vi++; 2325fe31b70dSHong Zhang x[i] = *v++ *sum; /* x[i]=aa[adiag[i]]*sum; v++; */ 23261d098868SHong Zhang } 23271d098868SHong Zhang 23281d098868SHong Zhang ierr = PetscLogFlops(2.0*a->nz - A->cmap->n);CHKERRQ(ierr); 23291d098868SHong Zhang ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 23301d098868SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 23311d098868SHong Zhang PetscFunctionReturn(0); 23321d098868SHong Zhang } 23331d098868SHong Zhang 23341d098868SHong Zhang #undef __FUNCT__ 2335*894a2336SHong Zhang #define __FUNCT__ "MatSolve_SeqAIJ_newdatastruct" 2336*894a2336SHong Zhang PetscErrorCode MatSolve_SeqAIJ_newdatastruct(Mat A,Vec bb,Vec xx) 23371d098868SHong Zhang { 23381d098868SHong Zhang Mat_SeqAIJ *a = (Mat_SeqAIJ*)A->data; 23391d098868SHong Zhang IS iscol = a->col,isrow = a->row; 23401d098868SHong Zhang PetscErrorCode ierr; 2341*894a2336SHong Zhang PetscInt i,n=A->rmap->n,*vi,*ai=a->i,*aj=a->j,nz,k; 23421d098868SHong Zhang const PetscInt *rout,*cout,*r,*c; 2343*894a2336SHong Zhang PetscScalar *x,*tmp,*tmps,sum; 23441d098868SHong Zhang const PetscScalar *b; 23451d098868SHong Zhang const MatScalar *aa = a->a,*v; 23461d098868SHong Zhang 23471d098868SHong Zhang PetscFunctionBegin; 23481d098868SHong Zhang if (!n) PetscFunctionReturn(0); 23491d098868SHong Zhang 23501d098868SHong Zhang ierr = VecGetArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 23511d098868SHong Zhang ierr = VecGetArray(xx,&x);CHKERRQ(ierr); 23521d098868SHong Zhang tmp = a->solve_work; 23531d098868SHong Zhang 23541d098868SHong Zhang ierr = ISGetIndices(isrow,&rout);CHKERRQ(ierr); r = rout; 2355*894a2336SHong Zhang ierr = ISGetIndices(iscol,&cout);CHKERRQ(ierr); c = cout; 23561d098868SHong Zhang 23571d098868SHong Zhang /* forward solve the lower triangular */ 23581d098868SHong Zhang tmp[0] = b[*r++]; 23591d098868SHong Zhang tmps = tmp; 23601d098868SHong Zhang v = aa; 23611d098868SHong Zhang vi = aj; 23621d098868SHong Zhang for (i=1; i<n; i++) { 23631d098868SHong Zhang nz = ai[i+1] - ai[i]; 2364*894a2336SHong Zhang sum = b[*r++]; 2365*894a2336SHong Zhang PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 2366*894a2336SHong Zhang tmp[i] = sum; 23671d098868SHong Zhang v += nz; vi += nz; 23681d098868SHong Zhang } 23691d098868SHong Zhang 23701d098868SHong Zhang /* backward solve the upper triangular */ 2371*894a2336SHong Zhang k = n+1; 2372*894a2336SHong Zhang v = aa + ai[k]; /* 1st entry of U(n-1,:) */ 2373*894a2336SHong Zhang vi = aj + ai[k]; 23741d098868SHong Zhang for (i=n-1; i>=0; i--){ 2375*894a2336SHong Zhang k = 2*n-i; 2376*894a2336SHong Zhang nz = ai[k +1] - ai[k] - 1; 2377*894a2336SHong Zhang sum = tmp[i]; 2378*894a2336SHong Zhang PetscSparseDenseMinusDot(sum,tmps,v,vi,nz); 2379*894a2336SHong Zhang x[c[i]] = tmp[i] = sum*v[nz]; /* v[nz] = aa[adiag[i]] */ 23801d098868SHong Zhang v += nz+1; vi += nz+1; 23811d098868SHong Zhang } 23821d098868SHong Zhang 23831d098868SHong Zhang ierr = ISRestoreIndices(isrow,&rout);CHKERRQ(ierr); 23841d098868SHong Zhang ierr = ISRestoreIndices(iscol,&cout);CHKERRQ(ierr); 23851d098868SHong Zhang ierr = VecRestoreArray(bb,(PetscScalar**)&b);CHKERRQ(ierr); 23861d098868SHong Zhang ierr = VecRestoreArray(xx,&x);CHKERRQ(ierr); 23871d098868SHong Zhang ierr = PetscLogFlops(2*a->nz - A->cmap->n);CHKERRQ(ierr); 23881d098868SHong Zhang PetscFunctionReturn(0); 23891d098868SHong Zhang } 23901d098868SHong Zhang 23911d098868SHong Zhang #undef __FUNCT__ 23921d098868SHong Zhang #define __FUNCT__ "MatILUDTFactor_SeqAIJ" 23931d098868SHong Zhang PetscErrorCode MatILUDTFactor_SeqAIJ(Mat A,IS isrow,IS iscol,const MatFactorInfo *info,Mat *fact) 23941d098868SHong Zhang { 23951d098868SHong Zhang Mat B = *fact; 2396599ef60dSHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b; 2397599ef60dSHong Zhang IS isicol; 2398599ef60dSHong Zhang PetscErrorCode ierr; 23991d098868SHong Zhang const PetscInt *r,*ic; 24001d098868SHong Zhang PetscInt i,n=A->rmap->n,*ai=a->i,*aj=a->j,*ajtmp,*adiag; 2401dc3a2fd3SHong Zhang PetscInt *bi,*bj,*bdiag,*bdiag_rev; 2402f61a948aSLisandro Dalcin PetscInt row,nzi,nzi_bl,nzi_bu,*im,nzi_al,nzi_au; 24031d098868SHong Zhang PetscInt nlnk,*lnk; 24041d098868SHong Zhang PetscBT lnkbt; 24051d098868SHong Zhang PetscTruth row_identity,icol_identity,both_identity; 24068aee2decSHong Zhang MatScalar *aatmp,*pv,*batmp,*ba,*rtmp,*pc,multiplier,*vtmp,diag_tmp; 24071d098868SHong Zhang const PetscInt *ics; 24081d098868SHong Zhang PetscInt j,nz,*pj,*bjtmp,k,ncut,*jtmp; 2409f61a948aSLisandro Dalcin PetscReal dt=info->dt,dtcol=info->dtcol,shift=info->shiftinblocks; 2410f61a948aSLisandro Dalcin PetscInt dtcount=(PetscInt)info->dtcount,nnz_max; 2411599ef60dSHong Zhang PetscTruth missing; 2412599ef60dSHong Zhang 2413599ef60dSHong Zhang PetscFunctionBegin; 2414f61a948aSLisandro Dalcin 2415f61a948aSLisandro Dalcin if (dt == PETSC_DEFAULT) dt = 0.005; 2416f61a948aSLisandro Dalcin if (dtcol == PETSC_DEFAULT) dtcol = 0.01; /* XXX unused! */ 2417f61a948aSLisandro Dalcin if (dtcount == PETSC_DEFAULT) dtcount = (PetscInt)(1.5*a->rmax); 2418f61a948aSLisandro Dalcin 24191d098868SHong Zhang /* ------- symbolic factorization, can be reused ---------*/ 24201d098868SHong Zhang ierr = MatMissingDiagonal(A,&missing,&i);CHKERRQ(ierr); 24211d098868SHong Zhang if (missing) SETERRQ1(PETSC_ERR_ARG_WRONGSTATE,"Matrix is missing diagonal entry %D",i); 24221d098868SHong Zhang adiag=a->diag; 2423599ef60dSHong Zhang 2424599ef60dSHong Zhang ierr = ISInvertPermutation(iscol,PETSC_DECIDE,&isicol);CHKERRQ(ierr); 2425599ef60dSHong Zhang 2426599ef60dSHong Zhang /* bdiag is location of diagonal in factor */ 2427a6226a1aSHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bdiag);CHKERRQ(ierr); 2428a6226a1aSHong Zhang bdiag_rev = bdiag + n+1; 2429599ef60dSHong Zhang 24301d098868SHong Zhang /* allocate row pointers bi */ 24318fc3a347SHong Zhang ierr = PetscMalloc((2*n+2)*sizeof(PetscInt),&bi);CHKERRQ(ierr); 24321d098868SHong Zhang 24331d098868SHong Zhang /* allocate bj and ba; max num of nonzero entries is (ai[n]+2*n*dtcount+2) */ 2434393d3a68SHong Zhang if (dtcount > n-1) dtcount = n-1; /* diagonal is excluded */ 24351d098868SHong Zhang nnz_max = ai[n]+2*n*dtcount+2; 24368fc3a347SHong Zhang 24378fc3a347SHong Zhang ierr = PetscMalloc((nnz_max+1)*sizeof(PetscInt),&bj);CHKERRQ(ierr); 24388fc3a347SHong Zhang ierr = PetscMalloc((nnz_max+1)*sizeof(MatScalar),&ba);CHKERRQ(ierr); 2439599ef60dSHong Zhang 2440599ef60dSHong Zhang /* put together the new matrix */ 2441599ef60dSHong Zhang ierr = MatSeqAIJSetPreallocation_SeqAIJ(B,MAT_SKIP_ALLOCATION,PETSC_NULL);CHKERRQ(ierr); 2442599ef60dSHong Zhang ierr = PetscLogObjectParent(B,isicol);CHKERRQ(ierr); 2443599ef60dSHong Zhang b = (Mat_SeqAIJ*)(B)->data; 2444599ef60dSHong Zhang b->free_a = PETSC_TRUE; 2445599ef60dSHong Zhang b->free_ij = PETSC_TRUE; 2446599ef60dSHong Zhang b->singlemalloc = PETSC_FALSE; 2447599ef60dSHong Zhang b->a = ba; 2448599ef60dSHong Zhang b->j = bj; 2449599ef60dSHong Zhang b->i = bi; 2450599ef60dSHong Zhang b->diag = bdiag; 2451599ef60dSHong Zhang b->ilen = 0; 2452599ef60dSHong Zhang b->imax = 0; 2453599ef60dSHong Zhang b->row = isrow; 2454599ef60dSHong Zhang b->col = iscol; 2455599ef60dSHong Zhang ierr = PetscObjectReference((PetscObject)isrow);CHKERRQ(ierr); 2456599ef60dSHong Zhang ierr = PetscObjectReference((PetscObject)iscol);CHKERRQ(ierr); 2457599ef60dSHong Zhang b->icol = isicol; 2458599ef60dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(PetscScalar),&b->solve_work);CHKERRQ(ierr); 2459599ef60dSHong Zhang 24601d098868SHong Zhang ierr = PetscLogObjectMemory(B,nnz_max*(sizeof(PetscInt)+sizeof(MatScalar)));CHKERRQ(ierr); 24611d098868SHong Zhang b->maxnz = nnz_max; 2462599ef60dSHong Zhang 2463599ef60dSHong Zhang (B)->factor = MAT_FACTOR_ILUDT; 2464599ef60dSHong Zhang (B)->info.factor_mallocs = 0; 24651d098868SHong Zhang (B)->info.fill_ratio_given = ((PetscReal)nnz_max)/((PetscReal)ai[n]); 24661d098868SHong Zhang CHKMEMQ; 24671d098868SHong Zhang /* ------- end of symbolic factorization ---------*/ 2468599ef60dSHong Zhang 2469599ef60dSHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 2470599ef60dSHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 2471599ef60dSHong Zhang ics = ic; 2472599ef60dSHong Zhang 2473599ef60dSHong Zhang /* linked list for storing column indices of the active row */ 2474599ef60dSHong Zhang nlnk = n + 1; 2475599ef60dSHong Zhang ierr = PetscLLCreate(n,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 24761d098868SHong Zhang 24771d098868SHong Zhang /* im: used by PetscLLAddSortedLU(); jtmp: working array for column indices of active row */ 24781d098868SHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(PetscInt),&im);CHKERRQ(ierr); 24791d098868SHong Zhang jtmp = im + n; 24801d098868SHong Zhang /* rtmp, vtmp: working arrays for sparse and contiguous row entries of active row */ 24818369b28dSHong Zhang ierr = PetscMalloc((2*n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 24828aee2decSHong Zhang ierr = PetscMemzero(rtmp,(n+1)*sizeof(PetscScalar));CHKERRQ(ierr); 24838369b28dSHong Zhang vtmp = rtmp + n; 2484599ef60dSHong Zhang 2485599ef60dSHong Zhang bi[0] = 0; 24868fc3a347SHong Zhang bdiag[0] = nnz_max-1; /* location of diag[0] in factor B */ 2487dc3a2fd3SHong Zhang bdiag_rev[n] = bdiag[0]; 24888fc3a347SHong Zhang bi[2*n+1] = bdiag[0]+1; /* endof bj and ba array */ 2489599ef60dSHong Zhang for (i=0; i<n; i++) { 2490599ef60dSHong Zhang /* copy initial fill into linked list */ 2491599ef60dSHong Zhang nzi = 0; /* nonzeros for active row i */ 24928369b28dSHong Zhang nzi = ai[r[i]+1] - ai[r[i]]; 24938369b28dSHong 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); 24948369b28dSHong Zhang nzi_al = adiag[r[i]] - ai[r[i]]; 24958369b28dSHong Zhang nzi_au = ai[r[i]+1] - adiag[r[i]] -1; 2496599ef60dSHong Zhang ajtmp = aj + ai[r[i]]; 24978369b28dSHong Zhang ierr = PetscLLAddPerm(nzi,ajtmp,ic,n,nlnk,lnk,lnkbt);CHKERRQ(ierr); 2498599ef60dSHong Zhang 2499599ef60dSHong Zhang /* load in initial (unfactored row) */ 25001d098868SHong Zhang aatmp = a->a + ai[r[i]]; 25018369b28dSHong Zhang for (j=0; j<nzi; j++) { 25021d098868SHong Zhang rtmp[ics[*ajtmp++]] = *aatmp++; 2503599ef60dSHong Zhang } 2504599ef60dSHong Zhang 2505599ef60dSHong Zhang /* add pivot rows into linked list */ 2506599ef60dSHong Zhang row = lnk[n]; 2507599ef60dSHong Zhang while (row < i ) { 25081d098868SHong Zhang nzi_bl = bi[row+1] - bi[row] + 1; 25091d098868SHong Zhang bjtmp = bj + bdiag[row+1]+1; /* points to 1st column next to the diagonal in U */ 25101d098868SHong Zhang ierr = PetscLLAddSortedLU(bjtmp,row,nlnk,lnk,lnkbt,i,nzi_bl,im);CHKERRQ(ierr); 2511599ef60dSHong Zhang nzi += nlnk; 2512599ef60dSHong Zhang row = lnk[row]; 2513599ef60dSHong Zhang } 2514599ef60dSHong Zhang 25158369b28dSHong Zhang /* copy data from lnk into jtmp, then initialize lnk */ 25168369b28dSHong Zhang ierr = PetscLLClean(n,n,nzi,lnk,jtmp,lnkbt);CHKERRQ(ierr); 2517599ef60dSHong Zhang 2518599ef60dSHong Zhang /* numerical factorization */ 25198369b28dSHong Zhang bjtmp = jtmp; 2520599ef60dSHong Zhang row = *bjtmp++; /* 1st pivot row */ 2521599ef60dSHong Zhang while ( row < i ) { 2522599ef60dSHong Zhang pc = rtmp + row; 25233c2a7987SHong Zhang pv = ba + bdiag[row]; /* 1./(diag of the pivot row) */ 25243c2a7987SHong Zhang multiplier = (*pc) * (*pv); 2525599ef60dSHong Zhang *pc = multiplier; 25263c2a7987SHong Zhang if (PetscAbsScalar(*pc) > dt){ /* apply tolerance dropping rule */ 25271d098868SHong Zhang pj = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */ 25281d098868SHong Zhang pv = ba + bdiag[row+1] + 1; 25291d098868SHong Zhang /* if (multiplier < -1.0 or multiplier >1.0) printf("row/prow %d, %d, multiplier %g\n",i,row,multiplier); */ 25301d098868SHong Zhang nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */ 25311d098868SHong Zhang for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++); 2532dc0b31edSSatish Balay ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); 2533599ef60dSHong Zhang } 2534599ef60dSHong Zhang row = *bjtmp++; 2535599ef60dSHong Zhang } 2536599ef60dSHong Zhang 25378369b28dSHong Zhang /* copy sparse rtmp into contiguous vtmp; separate L and U part */ 25388aee2decSHong Zhang diag_tmp = rtmp[i]; /* save diagonal value - may not needed?? */ 25398369b28dSHong Zhang nzi_bl = 0; j = 0; 25408369b28dSHong Zhang while (jtmp[j] < i){ /* Note: jtmp is sorted */ 25418aee2decSHong Zhang vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0; 25428369b28dSHong Zhang nzi_bl++; j++; 25438369b28dSHong Zhang } 25448369b28dSHong Zhang nzi_bu = nzi - nzi_bl -1; 25458369b28dSHong Zhang while (j < nzi){ 25468aee2decSHong Zhang vtmp[j] = rtmp[jtmp[j]]; rtmp[jtmp[j]]=0.0; 25478369b28dSHong Zhang j++; 25488369b28dSHong Zhang } 25498369b28dSHong Zhang 2550599ef60dSHong Zhang bjtmp = bj + bi[i]; 2551599ef60dSHong Zhang batmp = ba + bi[i]; 25528369b28dSHong Zhang /* apply level dropping rule to L part */ 25538369b28dSHong Zhang ncut = nzi_al + dtcount; 25548369b28dSHong Zhang if (ncut < nzi_bl){ 25558369b28dSHong Zhang ierr = PetscSortSplit(ncut,nzi_bl,vtmp,jtmp);CHKERRQ(ierr); 25568369b28dSHong Zhang ierr = PetscSortIntWithScalarArray(ncut,jtmp,vtmp);CHKERRQ(ierr); 2557599ef60dSHong Zhang } else { 25588369b28dSHong Zhang ncut = nzi_bl; 25598369b28dSHong Zhang } 25608369b28dSHong Zhang for (j=0; j<ncut; j++){ 25618369b28dSHong Zhang bjtmp[j] = jtmp[j]; 25628369b28dSHong Zhang batmp[j] = vtmp[j]; 25636da515a1SHong Zhang /* printf(" (%d,%g),",bjtmp[j],batmp[j]); */ 25648369b28dSHong Zhang } 25651d098868SHong Zhang bi[i+1] = bi[i] + ncut; 25668369b28dSHong Zhang nzi = ncut + 1; 25678369b28dSHong Zhang 25688369b28dSHong Zhang /* apply level dropping rule to U part */ 25698369b28dSHong Zhang ncut = nzi_au + dtcount; 25708369b28dSHong Zhang if (ncut < nzi_bu){ 25718369b28dSHong Zhang ierr = PetscSortSplit(ncut,nzi_bu,vtmp+nzi_bl+1,jtmp+nzi_bl+1);CHKERRQ(ierr); 25728369b28dSHong Zhang ierr = PetscSortIntWithScalarArray(ncut,jtmp+nzi_bl+1,vtmp+nzi_bl+1);CHKERRQ(ierr); 25738369b28dSHong Zhang } else { 25748369b28dSHong Zhang ncut = nzi_bu; 25758369b28dSHong Zhang } 25768369b28dSHong Zhang nzi += ncut; 25771d098868SHong Zhang 25781d098868SHong Zhang /* mark bdiagonal */ 25791d098868SHong Zhang bdiag[i+1] = bdiag[i] - (ncut + 1); 2580dc3a2fd3SHong Zhang bdiag_rev[n-i-1] = bdiag[i+1]; 25818fc3a347SHong Zhang bi[2*n - i] = bi[2*n - i +1] - (ncut + 1); 25821d098868SHong Zhang bjtmp = bj + bdiag[i]; 25831d098868SHong Zhang batmp = ba + bdiag[i]; 25841d098868SHong Zhang *bjtmp = i; 25858aee2decSHong Zhang *batmp = diag_tmp; /* rtmp[i]; */ 2586c9c72f8fSHong Zhang if (*batmp == 0.0) { 2587c9c72f8fSHong Zhang *batmp = dt+shift; 2588bd1bc851SBarry Smith /* printf(" row %d add shift %g\n",i,shift); */ 2589c9c72f8fSHong Zhang } 2590b78a477dSHong Zhang *batmp = 1.0/(*batmp); /* invert diagonal entries for simplier triangular solves */ 25916da515a1SHong Zhang /* printf(" (%d,%g),",*bjtmp,*batmp); */ 25921d098868SHong Zhang 25931d098868SHong Zhang bjtmp = bj + bdiag[i+1]+1; 25941d098868SHong Zhang batmp = ba + bdiag[i+1]+1; 25958369b28dSHong Zhang for (k=0; k<ncut; k++){ 25961d098868SHong Zhang bjtmp[k] = jtmp[nzi_bl+1+k]; 25971d098868SHong Zhang batmp[k] = vtmp[nzi_bl+1+k]; 25986da515a1SHong Zhang /* printf(" (%d,%g),",bjtmp[k],batmp[k]); */ 2599599ef60dSHong Zhang } 26006da515a1SHong Zhang /* printf("\n"); */ 2601599ef60dSHong Zhang 2602599ef60dSHong Zhang im[i] = nzi; /* used by PetscLLAddSortedLU() */ 2603599ef60dSHong Zhang /* 26041d098868SHong Zhang printf("row %d: bi %d, bdiag %d\n",i,bi[i],bdiag[i]); 26058369b28dSHong Zhang printf(" ----------------------------\n"); 2606599ef60dSHong Zhang */ 26078369b28dSHong Zhang } /* for (i=0; i<n; i++) */ 26081d098868SHong Zhang /* printf("end of L %d, beginning of U %d\n",bi[n],bdiag[n]); */ 26091d098868SHong 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]); 2610599ef60dSHong Zhang 2611599ef60dSHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 2612599ef60dSHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 2613599ef60dSHong Zhang 2614599ef60dSHong Zhang ierr = PetscLLDestroy(lnk,lnkbt);CHKERRQ(ierr); 2615599ef60dSHong Zhang ierr = PetscFree(im);CHKERRQ(ierr); 2616599ef60dSHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 2617599ef60dSHong Zhang 2618599ef60dSHong Zhang ierr = PetscLogFlops(B->cmap->n);CHKERRQ(ierr); 26191d098868SHong Zhang b->maxnz = b->nz = bi[n] + bdiag[0] - bdiag[n]; 2620599ef60dSHong Zhang 2621599ef60dSHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 2622599ef60dSHong Zhang ierr = ISIdentity(isicol,&icol_identity);CHKERRQ(ierr); 2623599ef60dSHong Zhang both_identity = (PetscTruth) (row_identity && icol_identity); 2624599ef60dSHong Zhang if (row_identity && icol_identity) { 2625*894a2336SHong Zhang B->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_newdatastruct; 2626599ef60dSHong Zhang } else { 2627*894a2336SHong Zhang B->ops->solve = MatSolve_SeqAIJ_newdatastruct; 2628599ef60dSHong Zhang } 2629599ef60dSHong Zhang 2630b78a477dSHong Zhang B->ops->lufactorsymbolic = MatILUDTFactorSymbolic_SeqAIJ; 2631b78a477dSHong Zhang B->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ; 26321d098868SHong Zhang B->ops->solveadd = 0; 26331d098868SHong Zhang B->ops->solvetranspose = 0; 26341d098868SHong Zhang B->ops->solvetransposeadd = 0; 26351d098868SHong Zhang B->ops->matsolve = 0; 2636599ef60dSHong Zhang B->assembled = PETSC_TRUE; 2637599ef60dSHong Zhang B->preallocated = PETSC_TRUE; 2638599ef60dSHong Zhang PetscFunctionReturn(0); 2639599ef60dSHong Zhang } 2640599ef60dSHong Zhang 26413c2a7987SHong Zhang /* a wraper of MatILUDTFactor_SeqAIJ() */ 26423c2a7987SHong Zhang #undef __FUNCT__ 26433c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorSymbolic_SeqAIJ" 26443c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorSymbolic_SeqAIJ(Mat fact,Mat A,IS row,IS col,const MatFactorInfo *info) 26453c2a7987SHong Zhang { 26463c2a7987SHong Zhang PetscErrorCode ierr; 26473c2a7987SHong Zhang 26483c2a7987SHong Zhang PetscFunctionBegin; 26493c2a7987SHong Zhang ierr = MatILUDTFactor_SeqAIJ(A,row,col,info,&fact);CHKERRQ(ierr); 26503c2a7987SHong Zhang 26513c2a7987SHong Zhang fact->ops->lufactornumeric = MatILUDTFactorNumeric_SeqAIJ; 26523c2a7987SHong Zhang PetscFunctionReturn(0); 26533c2a7987SHong Zhang } 26543c2a7987SHong Zhang 26553c2a7987SHong Zhang /* 26563c2a7987SHong Zhang same as MatLUFactorNumeric_SeqAIJ(), except using contiguous array matrix factors 26573c2a7987SHong Zhang - intend to replace existing MatLUFactorNumeric_SeqAIJ() 26583c2a7987SHong Zhang */ 26593c2a7987SHong Zhang #undef __FUNCT__ 26603c2a7987SHong Zhang #define __FUNCT__ "MatILUDTFactorNumeric_SeqAIJ" 26613c2a7987SHong Zhang PetscErrorCode PETSCMAT_DLLEXPORT MatILUDTFactorNumeric_SeqAIJ(Mat fact,Mat A,const MatFactorInfo *info) 26623c2a7987SHong Zhang { 26633c2a7987SHong Zhang Mat C=fact; 26643c2a7987SHong Zhang Mat_SeqAIJ *a=(Mat_SeqAIJ*)A->data,*b=(Mat_SeqAIJ *)C->data; 26653c2a7987SHong Zhang IS isrow = b->row,isicol = b->icol; 26663c2a7987SHong Zhang PetscErrorCode ierr; 26673c2a7987SHong Zhang const PetscInt *r,*ic,*ics; 2668b78a477dSHong Zhang PetscInt i,j,k,n=A->rmap->n,*ai=a->i,*aj=a->j,*bi=b->i,*bj=b->j; 2669b78a477dSHong Zhang PetscInt *ajtmp,*bjtmp,nz,nzl,nzu,row,*bdiag = b->diag,*pj; 26703c2a7987SHong Zhang MatScalar *rtmp,*pc,multiplier,*v,*pv,*aa=a->a; 2671b78a477dSHong Zhang PetscReal dt=info->dt,shift=info->shiftinblocks; 2672b78a477dSHong Zhang PetscTruth row_identity, col_identity; 26733c2a7987SHong Zhang 26743c2a7987SHong Zhang PetscFunctionBegin; 26753c2a7987SHong Zhang ierr = ISGetIndices(isrow,&r);CHKERRQ(ierr); 26763c2a7987SHong Zhang ierr = ISGetIndices(isicol,&ic);CHKERRQ(ierr); 2677b78a477dSHong Zhang ierr = PetscMalloc((n+1)*sizeof(MatScalar),&rtmp);CHKERRQ(ierr); 26783c2a7987SHong Zhang ics = ic; 26793c2a7987SHong Zhang 26803c2a7987SHong Zhang for (i=0; i<n; i++){ 2681b78a477dSHong Zhang /* initialize rtmp array */ 2682b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; /* num of nozeros in L(i,:) */ 26833c2a7987SHong Zhang bjtmp = bj + bi[i]; 2684b78a477dSHong Zhang for (j=0; j<nzl; j++) rtmp[*bjtmp++] = 0.0; 2685b78a477dSHong Zhang rtmp[i] = 0.0; 2686b78a477dSHong Zhang nzu = bdiag[i] - bdiag[i+1]; /* num of nozeros in U(i,:) */ 2687b78a477dSHong Zhang bjtmp = bj + bdiag[i+1] + 1; 2688b78a477dSHong Zhang for (j=0; j<nzu; j++) rtmp[*bjtmp++] = 0.0; 26893c2a7987SHong Zhang 2690b78a477dSHong Zhang /* load in initial unfactored row of A */ 26916da515a1SHong Zhang /* printf("row %d\n",i); */ 26923c2a7987SHong Zhang nz = ai[r[i]+1] - ai[r[i]]; 26933c2a7987SHong Zhang ajtmp = aj + ai[r[i]]; 26943c2a7987SHong Zhang v = aa + ai[r[i]]; 26953c2a7987SHong Zhang for (j=0; j<nz; j++) { 2696b78a477dSHong Zhang rtmp[ics[*ajtmp++]] = v[j]; 26976da515a1SHong Zhang /* printf(" (%d,%g),",ics[ajtmp[j]],rtmp[ics[ajtmp[j]]]); */ 26983c2a7987SHong Zhang } 26996da515a1SHong Zhang /* printf("\n"); */ 27003c2a7987SHong Zhang 2701b78a477dSHong Zhang /* numerical factorization */ 2702b78a477dSHong Zhang bjtmp = bj + bi[i]; /* point to 1st entry of L(i,:) */ 2703b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; /* num of entries in L(i,:) */ 2704b78a477dSHong Zhang k = 0; 2705b78a477dSHong Zhang while (k < nzl){ 27063c2a7987SHong Zhang row = *bjtmp++; 27076da515a1SHong Zhang /* printf(" prow %d\n",row); */ 27083c2a7987SHong Zhang pc = rtmp + row; 2709b78a477dSHong Zhang pv = b->a + bdiag[row]; /* 1./(diag of the pivot row) */ 2710b78a477dSHong Zhang multiplier = (*pc) * (*pv); 27113c2a7987SHong Zhang *pc = multiplier; 2712b78a477dSHong Zhang if (PetscAbsScalar(multiplier) > dt){ 2713b78a477dSHong Zhang pj = bj + bdiag[row+1] + 1; /* point to 1st entry of U(row,:) */ 2714b78a477dSHong Zhang pv = b->a + bdiag[row+1] + 1; 2715b78a477dSHong Zhang nz = bdiag[row] - bdiag[row+1] - 1; /* num of entries in U(row,:), excluding diagonal */ 2716b78a477dSHong Zhang for (j=0; j<nz; j++) rtmp[*pj++] -= multiplier * (*pv++); 27176da515a1SHong Zhang /* ierr = PetscLogFlops(2.0*nz);CHKERRQ(ierr); */ 27183c2a7987SHong Zhang } 2719b78a477dSHong Zhang k++; 27203c2a7987SHong Zhang } 27213c2a7987SHong Zhang 2722b78a477dSHong Zhang /* finished row so stick it into b->a */ 2723b78a477dSHong Zhang /* L-part */ 2724b78a477dSHong Zhang pv = b->a + bi[i] ; 2725b78a477dSHong Zhang pj = bj + bi[i] ; 2726b78a477dSHong Zhang nzl = bi[i+1] - bi[i]; 2727b78a477dSHong Zhang for (j=0; j<nzl; j++) { 2728b78a477dSHong Zhang pv[j] = rtmp[pj[j]]; 27296da515a1SHong Zhang /* printf(" (%d,%g),",pj[j],pv[j]); */ 27303c2a7987SHong Zhang } 2731b78a477dSHong Zhang 2732b78a477dSHong Zhang /* diagonal: invert diagonal entries for simplier triangular solves */ 2733b78a477dSHong Zhang if (rtmp[i] == 0.0) rtmp[i] = dt+shift; 2734b78a477dSHong Zhang b->a[bdiag[i]] = 1.0/rtmp[i]; 27356da515a1SHong Zhang /* printf(" (%d,%g),",i,b->a[bdiag[i]]); */ 2736b78a477dSHong Zhang 2737b78a477dSHong Zhang /* U-part */ 2738b78a477dSHong Zhang pv = b->a + bdiag[i+1] + 1; 2739b78a477dSHong Zhang pj = bj + bdiag[i+1] + 1; 2740b78a477dSHong Zhang nzu = bdiag[i] - bdiag[i+1] - 1; 2741b78a477dSHong Zhang for (j=0; j<nzu; j++) { 2742b78a477dSHong Zhang pv[j] = rtmp[pj[j]]; 27436da515a1SHong Zhang /* printf(" (%d,%g),",pj[j],pv[j]); */ 2744b78a477dSHong Zhang } 27456da515a1SHong Zhang /* printf("\n"); */ 2746b78a477dSHong Zhang } 2747b78a477dSHong Zhang 27483c2a7987SHong Zhang ierr = PetscFree(rtmp);CHKERRQ(ierr); 27493c2a7987SHong Zhang ierr = ISRestoreIndices(isicol,&ic);CHKERRQ(ierr); 27503c2a7987SHong Zhang ierr = ISRestoreIndices(isrow,&r);CHKERRQ(ierr); 2751b78a477dSHong Zhang 27523c2a7987SHong Zhang ierr = ISIdentity(isrow,&row_identity);CHKERRQ(ierr); 27533c2a7987SHong Zhang ierr = ISIdentity(isicol,&col_identity);CHKERRQ(ierr); 27543c2a7987SHong Zhang if (row_identity && col_identity) { 2755*894a2336SHong Zhang C->ops->solve = MatSolve_SeqAIJ_NaturalOrdering_newdatastruct; 27563c2a7987SHong Zhang } else { 2757*894a2336SHong Zhang C->ops->solve = MatSolve_SeqAIJ_newdatastruct; 27583c2a7987SHong Zhang } 2759b78a477dSHong Zhang C->ops->solveadd = 0; 2760b78a477dSHong Zhang C->ops->solvetranspose = 0; 2761b78a477dSHong Zhang C->ops->solvetransposeadd = 0; 2762b78a477dSHong Zhang C->ops->matsolve = 0; 27633c2a7987SHong Zhang C->assembled = PETSC_TRUE; 27643c2a7987SHong Zhang C->preallocated = PETSC_TRUE; 27653c2a7987SHong Zhang ierr = PetscLogFlops(C->cmap->n);CHKERRQ(ierr); 27663c2a7987SHong Zhang PetscFunctionReturn(0); 27673c2a7987SHong Zhang } 2768