114b396bbSKris Buschelman 25a46d3faSBarry Smith /* -------------------------------------------------------------------- 35a46d3faSBarry Smith 45a46d3faSBarry Smith This file implements a subclass of the SeqAIJ matrix class that uses 5c2b89b5dSBarry Smith the SuperLU sparse solver. 614b396bbSKris Buschelman */ 714b396bbSKris Buschelman 85a46d3faSBarry Smith /* 95a46d3faSBarry Smith Defines the data structure for the base matrix type (SeqAIJ) 105a46d3faSBarry Smith */ 11c6db04a5SJed Brown #include <../src/mat/impls/aij/seq/aij.h> /*I "petscmat.h" I*/ 1214b396bbSKris Buschelman 135a46d3faSBarry Smith /* 145a46d3faSBarry Smith SuperLU include files 155a46d3faSBarry Smith */ 1614b396bbSKris Buschelman EXTERN_C_BEGIN 1714b396bbSKris Buschelman #if defined(PETSC_USE_COMPLEX) 183cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 193cb270beSHong Zhang #include <slu_cdefs.h> 203cb270beSHong Zhang #else 21c6db04a5SJed Brown #include <slu_zdefs.h> 223cb270beSHong Zhang #endif 233cb270beSHong Zhang #else 243cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 253cb270beSHong Zhang #include <slu_sdefs.h> 2614b396bbSKris Buschelman #else 27c6db04a5SJed Brown #include <slu_ddefs.h> 2814b396bbSKris Buschelman #endif 293cb270beSHong Zhang #endif 30c6db04a5SJed Brown #include <slu_util.h> 3114b396bbSKris Buschelman EXTERN_C_END 3214b396bbSKris Buschelman 335a46d3faSBarry Smith /* 345a46d3faSBarry Smith This is the data we are "ADDING" to the SeqAIJ matrix type to get the SuperLU matrix type 355a46d3faSBarry Smith */ 3614b396bbSKris Buschelman typedef struct { 3775af56d4SHong Zhang SuperMatrix A,L,U,B,X; 3875af56d4SHong Zhang superlu_options_t options; 39da7a1d00SHong Zhang PetscInt *perm_c; /* column permutation vector */ 40da7a1d00SHong Zhang PetscInt *perm_r; /* row permutations from partial pivoting */ 41da7a1d00SHong Zhang PetscInt *etree; 42da7a1d00SHong Zhang PetscReal *R, *C; 4375af56d4SHong Zhang char equed[1]; 44da7a1d00SHong Zhang PetscInt lwork; 4575af56d4SHong Zhang void *work; 46da7a1d00SHong Zhang PetscReal rpg, rcond; 4775af56d4SHong Zhang mem_usage_t mem_usage; 4875af56d4SHong Zhang MatStructure flg; 495d8b2efaSHong Zhang SuperLUStat_t stat; 50cae5a23dSHong Zhang Mat A_dup; 51cae5a23dSHong Zhang PetscScalar *rhs_dup; 52c147c726SHong Zhang GlobalLU_t Glu; 5314b396bbSKris Buschelman 5414b396bbSKris Buschelman /* Flag to clean up (non-global) SuperLU objects during Destroy */ 55ace3abfcSBarry Smith PetscBool CleanUpSuperLU; 56f0c56d0fSKris Buschelman } Mat_SuperLU; 5714b396bbSKris Buschelman 58e0e586b9SHong Zhang extern PetscErrorCode MatFactorInfo_SuperLU(Mat,PetscViewer); 599a625307SHong Zhang extern PetscErrorCode MatLUFactorNumeric_SuperLU(Mat,Mat,const MatFactorInfo*); 60e0e586b9SHong Zhang extern PetscErrorCode MatDestroy_SuperLU(Mat); 61e0e586b9SHong Zhang extern PetscErrorCode MatView_SuperLU(Mat,PetscViewer); 62e0e586b9SHong Zhang extern PetscErrorCode MatAssemblyEnd_SuperLU(Mat,MatAssemblyType); 63e0e586b9SHong Zhang extern PetscErrorCode MatSolve_SuperLU(Mat,Vec,Vec); 64e0b74bf9SHong Zhang extern PetscErrorCode MatMatSolve_SuperLU(Mat,Mat,Mat); 65e0e586b9SHong Zhang extern PetscErrorCode MatSolveTranspose_SuperLU(Mat,Vec,Vec); 669a625307SHong Zhang extern PetscErrorCode MatLUFactorSymbolic_SuperLU(Mat,Mat,IS,IS,const MatFactorInfo*); 67e0e586b9SHong Zhang extern PetscErrorCode MatDuplicate_SuperLU(Mat, MatDuplicateOption, Mat*); 68e0e586b9SHong Zhang 695a46d3faSBarry Smith /* 705a46d3faSBarry Smith Utility function 715a46d3faSBarry Smith */ 725a46d3faSBarry Smith #undef __FUNCT__ 735a46d3faSBarry Smith #define __FUNCT__ "MatFactorInfo_SuperLU" 745a46d3faSBarry Smith PetscErrorCode MatFactorInfo_SuperLU(Mat A,PetscViewer viewer) 755a46d3faSBarry Smith { 765a46d3faSBarry Smith Mat_SuperLU *lu= (Mat_SuperLU*)A->spptr; 775a46d3faSBarry Smith PetscErrorCode ierr; 785a46d3faSBarry Smith superlu_options_t options; 795a46d3faSBarry Smith 805a46d3faSBarry Smith PetscFunctionBegin; 815a46d3faSBarry Smith /* check if matrix is superlu_dist type */ 825a46d3faSBarry Smith if (A->ops->solve != MatSolve_SuperLU) PetscFunctionReturn(0); 835a46d3faSBarry Smith 845a46d3faSBarry Smith options = lu->options; 852205254eSKarl Rupp 865a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer,"SuperLU run parameters:\n");CHKERRQ(ierr); 875a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," Equil: %s\n",(options.Equil != NO) ? "YES" : "NO");CHKERRQ(ierr); 885a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," ColPerm: %D\n",options.ColPerm);CHKERRQ(ierr); 895a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," IterRefine: %D\n",options.IterRefine);CHKERRQ(ierr); 905a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," SymmetricMode: %s\n",(options.SymmetricMode != NO) ? "YES" : "NO");CHKERRQ(ierr); 915a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," DiagPivotThresh: %g\n",options.DiagPivotThresh);CHKERRQ(ierr); 925a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," PivotGrowth: %s\n",(options.PivotGrowth != NO) ? "YES" : "NO");CHKERRQ(ierr); 935a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," ConditionNumber: %s\n",(options.ConditionNumber != NO) ? "YES" : "NO");CHKERRQ(ierr); 945a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," RowPerm: %D\n",options.RowPerm);CHKERRQ(ierr); 955a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," ReplaceTinyPivot: %s\n",(options.ReplaceTinyPivot != NO) ? "YES" : "NO");CHKERRQ(ierr); 965a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," PrintStat: %s\n",(options.PrintStat != NO) ? "YES" : "NO");CHKERRQ(ierr); 975a46d3faSBarry Smith ierr = PetscViewerASCIIPrintf(viewer," lwork: %D\n",lu->lwork);CHKERRQ(ierr); 98d5f3da31SBarry Smith if (A->factortype == MAT_FACTOR_ILU) { 99cffbb591SHong Zhang ierr = PetscViewerASCIIPrintf(viewer," ILU_DropTol: %g\n",options.ILU_DropTol);CHKERRQ(ierr); 100cffbb591SHong Zhang ierr = PetscViewerASCIIPrintf(viewer," ILU_FillTol: %g\n",options.ILU_FillTol);CHKERRQ(ierr); 101cffbb591SHong Zhang ierr = PetscViewerASCIIPrintf(viewer," ILU_FillFactor: %g\n",options.ILU_FillFactor);CHKERRQ(ierr); 102cffbb591SHong Zhang ierr = PetscViewerASCIIPrintf(viewer," ILU_DropRule: %D\n",options.ILU_DropRule);CHKERRQ(ierr); 103cffbb591SHong Zhang ierr = PetscViewerASCIIPrintf(viewer," ILU_Norm: %D\n",options.ILU_Norm);CHKERRQ(ierr); 104cffbb591SHong Zhang ierr = PetscViewerASCIIPrintf(viewer," ILU_MILU: %D\n",options.ILU_MILU);CHKERRQ(ierr); 105cffbb591SHong Zhang } 1065a46d3faSBarry Smith PetscFunctionReturn(0); 1075a46d3faSBarry Smith } 1085a46d3faSBarry Smith 1095a46d3faSBarry Smith /* 1105a46d3faSBarry Smith These are the methods provided to REPLACE the corresponding methods of the 1115a46d3faSBarry Smith SeqAIJ matrix class. Other methods of SeqAIJ are not replaced 1125a46d3faSBarry Smith */ 1135a46d3faSBarry Smith #undef __FUNCT__ 1145a46d3faSBarry Smith #define __FUNCT__ "MatLUFactorNumeric_SuperLU" 1159a625307SHong Zhang PetscErrorCode MatLUFactorNumeric_SuperLU(Mat F,Mat A,const MatFactorInfo *info) 1165a46d3faSBarry Smith { 1171d5ca7f3SHong Zhang Mat_SuperLU *lu = (Mat_SuperLU*)F->spptr; 118cae5a23dSHong Zhang Mat_SeqAIJ *aa; 1195a46d3faSBarry Smith PetscErrorCode ierr; 1205a46d3faSBarry Smith PetscInt sinfo; 1215a46d3faSBarry Smith PetscReal ferr, berr; 1225a46d3faSBarry Smith NCformat *Ustore; 1235a46d3faSBarry Smith SCformat *Lstore; 1245a46d3faSBarry Smith 1255a46d3faSBarry Smith PetscFunctionBegin; 1265a46d3faSBarry Smith if (lu->flg == SAME_NONZERO_PATTERN) { /* successing numerical factorization */ 1275a46d3faSBarry Smith lu->options.Fact = SamePattern; 1285a46d3faSBarry Smith /* Ref: ~SuperLU_3.0/EXAMPLE/dlinsolx2.c */ 1295a46d3faSBarry Smith Destroy_SuperMatrix_Store(&lu->A); 130cae5a23dSHong Zhang if (lu->options.Equil) { 131cae5a23dSHong Zhang ierr = MatCopy_SeqAIJ(A,lu->A_dup,SAME_NONZERO_PATTERN);CHKERRQ(ierr); 132cae5a23dSHong Zhang } 1335a46d3faSBarry Smith if (lu->lwork >= 0) { 134d387c056SBarry Smith PetscStackCall("SuperLU:Destroy_SuperNode_Matrix",Destroy_SuperNode_Matrix(&lu->L)); 135d387c056SBarry Smith PetscStackCall("SuperLU:Destroy_CompCol_Matrix",Destroy_CompCol_Matrix(&lu->U)); 1365a46d3faSBarry Smith lu->options.Fact = SamePattern; 1375a46d3faSBarry Smith } 1385a46d3faSBarry Smith } 1395a46d3faSBarry Smith 1405a46d3faSBarry Smith /* Create the SuperMatrix for lu->A=A^T: 1415a46d3faSBarry Smith Since SuperLU likes column-oriented matrices,we pass it the transpose, 1425a46d3faSBarry Smith and then solve A^T X = B in MatSolve(). */ 143cae5a23dSHong Zhang if (lu->options.Equil) { 144cae5a23dSHong Zhang aa = (Mat_SeqAIJ*)(lu->A_dup)->data; 145cae5a23dSHong Zhang } else { 146cae5a23dSHong Zhang aa = (Mat_SeqAIJ*)(A)->data; 147cae5a23dSHong Zhang } 1485a46d3faSBarry Smith #if defined(PETSC_USE_COMPLEX) 1493cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 150d387c056SBarry Smith PetscStackCall("SuperLU:cCreate_CompCol_Matrix",cCreate_CompCol_Matrix(&lu->A,A->cmap->n,A->rmap->n,aa->nz,(singlecomplex*)aa->a,aa->j,aa->i,SLU_NC,SLU_C,SLU_GE)); 1513cb270beSHong Zhang #else 152d387c056SBarry Smith PetscStackCall("SuperLU:zCreate_CompCol_Matrix",zCreate_CompCol_Matrix(&lu->A,A->cmap->n,A->rmap->n,aa->nz,(doublecomplex*)aa->a,aa->j,aa->i,SLU_NC,SLU_Z,SLU_GE)); 1533cb270beSHong Zhang #endif 1543cb270beSHong Zhang #else 1553cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 156d387c056SBarry Smith PetscStackCall("SuperLU:sCreate_CompCol_Matrix",sCreate_CompCol_Matrix(&lu->A,A->cmap->n,A->rmap->n,aa->nz,aa->a,aa->j,aa->i,SLU_NC,SLU_S,SLU_GE)); 1575a46d3faSBarry Smith #else 158d387c056SBarry Smith PetscStackCall("SuperLU:dCreate_CompCol_Matrix",dCreate_CompCol_Matrix(&lu->A,A->cmap->n,A->rmap->n,aa->nz,aa->a,aa->j,aa->i,SLU_NC,SLU_D,SLU_GE)); 1595a46d3faSBarry Smith #endif 1603cb270beSHong Zhang #endif 1615a46d3faSBarry Smith 1625a46d3faSBarry Smith /* Numerical factorization */ 1635a46d3faSBarry Smith lu->B.ncol = 0; /* Indicate not to solve the system */ 164d5f3da31SBarry Smith if (F->factortype == MAT_FACTOR_LU) { 1655a46d3faSBarry Smith #if defined(PETSC_USE_COMPLEX) 1663cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 167d387c056SBarry Smith PetscStackCall("SuperLU:cgssvx",cgssvx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 1683cb270beSHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, &ferr, &berr, 1695db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &sinfo)); 1703cb270beSHong Zhang #else 171d387c056SBarry Smith PetscStackCall("SuperLU:zgssvx",zgssvx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 1725a46d3faSBarry Smith &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, &ferr, &berr, 1735db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &sinfo)); 1743cb270beSHong Zhang #endif 1753cb270beSHong Zhang #else 1763cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 177d387c056SBarry Smith PetscStackCall("SuperLU:sgssvx",sgssvx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 1783cb270beSHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, &ferr, &berr, 1795db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &sinfo)); 1805a46d3faSBarry Smith #else 181d387c056SBarry Smith PetscStackCall("SuperLU:dgssvx",dgssvx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 1825a46d3faSBarry Smith &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, &ferr, &berr, 183c147c726SHong Zhang &lu->Glu,&lu->mem_usage, &lu->stat, &sinfo)); 1845a46d3faSBarry Smith #endif 1853cb270beSHong Zhang #endif 186d5f3da31SBarry Smith } else if (F->factortype == MAT_FACTOR_ILU) { 187cffbb591SHong Zhang /* Compute the incomplete factorization, condition number and pivot growth */ 188cffbb591SHong Zhang #if defined(PETSC_USE_COMPLEX) 1893cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 190d387c056SBarry Smith PetscStackCall("SuperLU:cgsisx",cgsisx(&lu->options, &lu->A, lu->perm_c, lu->perm_r,lu->etree, lu->equed, lu->R, lu->C, 1913cb270beSHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, 1925db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &sinfo)); 1933cb270beSHong Zhang #else 194d387c056SBarry Smith PetscStackCall("SuperLU:zgsisx",zgsisx(&lu->options, &lu->A, lu->perm_c, lu->perm_r,lu->etree, lu->equed, lu->R, lu->C, 195cffbb591SHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, 1965db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &sinfo)); 1973cb270beSHong Zhang #endif 1983cb270beSHong Zhang #else 1993cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 200d387c056SBarry Smith PetscStackCall("SuperLU:sgsisx",sgsisx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 2013cb270beSHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, 2025db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &sinfo)); 203cffbb591SHong Zhang #else 204d387c056SBarry Smith PetscStackCall("SuperLU:dgsisx",dgsisx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 205cffbb591SHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, 206c147c726SHong Zhang &lu->Glu, &lu->mem_usage, &lu->stat, &sinfo)); 207cffbb591SHong Zhang #endif 2083cb270beSHong Zhang #endif 209f23aa3ddSBarry Smith } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Factor type not supported"); 2105a46d3faSBarry Smith if (!sinfo || sinfo == lu->A.ncol+1) { 2112205254eSKarl Rupp if (lu->options.PivotGrowth) { 212*675d1226SHong Zhang ierr = PetscPrintf(PETSC_COMM_SELF," Recip. pivot growth = %e\n", lu->rpg);CHKERRQ(ierr); 2132205254eSKarl Rupp } 2142205254eSKarl Rupp if (lu->options.ConditionNumber) { 215*675d1226SHong Zhang ierr = PetscPrintf(PETSC_COMM_SELF," Recip. condition number = %e\n", lu->rcond);CHKERRQ(ierr); 2162205254eSKarl Rupp } 2175a46d3faSBarry Smith } else if (sinfo > 0) { 218*675d1226SHong Zhang if (A->erroriffailure) { 219*675d1226SHong Zhang SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_MAT_LU_ZRPVT,"Zero pivot in row %D",sinfo); 220*675d1226SHong Zhang } else { 221*675d1226SHong Zhang if (sinfo <= lu->A.ncol) { 222*675d1226SHong Zhang if (lu->options.ILU_FillTol == 0.0) { 223*675d1226SHong Zhang F->errortype = MAT_FACTOR_NUMERIC_ZEROPIVOT; 224*675d1226SHong Zhang } 225*675d1226SHong Zhang ierr = PetscInfo2(F,"Number of zero pivots %D, ILU_FillTol %g\n",sinfo,lu->options.ILU_FillTol);CHKERRQ(ierr); 226*675d1226SHong Zhang } else if (sinfo == lu->A.ncol + 1) { 227*675d1226SHong Zhang /* 228*675d1226SHong Zhang U is nonsingular, but RCOND is less than machine 229*675d1226SHong Zhang precision, meaning that the matrix is singular to 230*675d1226SHong Zhang working precision. Nevertheless, the solution and 231*675d1226SHong Zhang error bounds are computed because there are a number 232*675d1226SHong Zhang of situations where the computed solution can be more 233*675d1226SHong Zhang accurate than the value of RCOND would suggest. 234*675d1226SHong Zhang */ 235*675d1226SHong Zhang ierr = PetscInfo1(F,"Matrix factor U is nonsingular, but is singular to working precision. The solution is computed. info %D",sinfo);CHKERRQ(ierr); 236*675d1226SHong Zhang } else { /* sinfo > lu->A.ncol + 1 */ 237*675d1226SHong Zhang F->errortype = MAT_FACTOR_OUTMEMORY; 238*675d1226SHong Zhang ierr = PetscInfo1(F,"Number of bytes allocated when memory allocation fails %D\n",sinfo);CHKERRQ(ierr); 239*675d1226SHong Zhang } 240*675d1226SHong Zhang } 241f23aa3ddSBarry Smith } else SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_LIB, "info = %D, the %D-th argument in gssvx() had an illegal value", sinfo,-sinfo); 2425a46d3faSBarry Smith 2435a46d3faSBarry Smith if (lu->options.PrintStat) { 244*675d1226SHong Zhang ierr = PetscPrintf(PETSC_COMM_SELF,"MatLUFactorNumeric_SuperLU():\n");CHKERRQ(ierr); 245d387c056SBarry Smith PetscStackCall("SuperLU:StatPrint",StatPrint(&lu->stat)); 2465a46d3faSBarry Smith Lstore = (SCformat*) lu->L.Store; 2475a46d3faSBarry Smith Ustore = (NCformat*) lu->U.Store; 2485a46d3faSBarry Smith ierr = PetscPrintf(PETSC_COMM_SELF," No of nonzeros in factor L = %D\n", Lstore->nnz); 2495a46d3faSBarry Smith ierr = PetscPrintf(PETSC_COMM_SELF," No of nonzeros in factor U = %D\n", Ustore->nnz); 2505a46d3faSBarry Smith ierr = PetscPrintf(PETSC_COMM_SELF," No of nonzeros in L+U = %D\n", Lstore->nnz + Ustore->nnz - lu->A.ncol); 2516da386baSHong Zhang ierr = PetscPrintf(PETSC_COMM_SELF," L\\U MB %.3f\ttotal MB needed %.3f\n", 2526da386baSHong Zhang lu->mem_usage.for_lu/1e6, lu->mem_usage.total_needed/1e6); 2535a46d3faSBarry Smith } 2545a46d3faSBarry Smith 2555a46d3faSBarry Smith lu->flg = SAME_NONZERO_PATTERN; 2561d5ca7f3SHong Zhang F->ops->solve = MatSolve_SuperLU; 2571d5ca7f3SHong Zhang F->ops->solvetranspose = MatSolveTranspose_SuperLU; 2581aef8b4cSStefano Zampini F->ops->matsolve = NULL; 2595a46d3faSBarry Smith PetscFunctionReturn(0); 2605a46d3faSBarry Smith } 2615a46d3faSBarry Smith 26214b396bbSKris Buschelman #undef __FUNCT__ 26320be8e61SHong Zhang #define __FUNCT__ "MatGetDiagonal_SuperLU" 26420be8e61SHong Zhang PetscErrorCode MatGetDiagonal_SuperLU(Mat A,Vec v) 26520be8e61SHong Zhang { 26620be8e61SHong Zhang PetscFunctionBegin; 26720be8e61SHong Zhang SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_SUP,"Mat type: SuperLU factor"); 26820be8e61SHong Zhang PetscFunctionReturn(0); 26920be8e61SHong Zhang } 27020be8e61SHong Zhang 27120be8e61SHong Zhang #undef __FUNCT__ 272f0c56d0fSKris Buschelman #define __FUNCT__ "MatDestroy_SuperLU" 273dfbe8321SBarry Smith PetscErrorCode MatDestroy_SuperLU(Mat A) 27414b396bbSKris Buschelman { 275dfbe8321SBarry Smith PetscErrorCode ierr; 276f0c56d0fSKris Buschelman Mat_SuperLU *lu=(Mat_SuperLU*)A->spptr; 27714b396bbSKris Buschelman 27814b396bbSKris Buschelman PetscFunctionBegin; 279bf0cc555SLisandro Dalcin if (lu && lu->CleanUpSuperLU) { /* Free the SuperLU datastructures */ 280d387c056SBarry Smith PetscStackCall("SuperLU:Destroy_SuperMatrix_Store",Destroy_SuperMatrix_Store(&lu->A)); 281d387c056SBarry Smith PetscStackCall("SuperLU:Destroy_SuperMatrix_Store",Destroy_SuperMatrix_Store(&lu->B)); 282d387c056SBarry Smith PetscStackCall("SuperLU:Destroy_SuperMatrix_Store",Destroy_SuperMatrix_Store(&lu->X)); 283d387c056SBarry Smith PetscStackCall("SuperLU:StatFree",StatFree(&lu->stat)); 2840e742b69SHong Zhang if (lu->lwork >= 0) { 285d387c056SBarry Smith PetscStackCall("SuperLU:Destroy_SuperNode_Matrix",Destroy_SuperNode_Matrix(&lu->L)); 286d387c056SBarry Smith PetscStackCall("SuperLU:Destroy_CompCol_Matrix",Destroy_CompCol_Matrix(&lu->U)); 2870e742b69SHong Zhang } 2880e742b69SHong Zhang } 289bf0cc555SLisandro Dalcin if (lu) { 2909ce50919SHong Zhang ierr = PetscFree(lu->etree);CHKERRQ(ierr); 2919ce50919SHong Zhang ierr = PetscFree(lu->perm_r);CHKERRQ(ierr); 2929ce50919SHong Zhang ierr = PetscFree(lu->perm_c);CHKERRQ(ierr); 2939ce50919SHong Zhang ierr = PetscFree(lu->R);CHKERRQ(ierr); 2949ce50919SHong Zhang ierr = PetscFree(lu->C);CHKERRQ(ierr); 295bf0cc555SLisandro Dalcin ierr = PetscFree(lu->rhs_dup);CHKERRQ(ierr); 296bf0cc555SLisandro Dalcin ierr = MatDestroy(&lu->A_dup);CHKERRQ(ierr); 297bf0cc555SLisandro Dalcin } 298bf0cc555SLisandro Dalcin ierr = PetscFree(A->spptr);CHKERRQ(ierr); 2990e742b69SHong Zhang 300d954db57SHong Zhang /* clear composed functions */ 301bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)A,"MatFactorGetSolverPackage_C",NULL);CHKERRQ(ierr); 302bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)A,"MatSuperluSetILUDropTol_C",NULL);CHKERRQ(ierr); 303d954db57SHong Zhang 304b24902e0SBarry Smith ierr = MatDestroy_SeqAIJ(A);CHKERRQ(ierr); 30514b396bbSKris Buschelman PetscFunctionReturn(0); 30614b396bbSKris Buschelman } 30714b396bbSKris Buschelman 30814b396bbSKris Buschelman #undef __FUNCT__ 309f0c56d0fSKris Buschelman #define __FUNCT__ "MatView_SuperLU" 310dfbe8321SBarry Smith PetscErrorCode MatView_SuperLU(Mat A,PetscViewer viewer) 31114b396bbSKris Buschelman { 312dfbe8321SBarry Smith PetscErrorCode ierr; 313ace3abfcSBarry Smith PetscBool iascii; 31414b396bbSKris Buschelman PetscViewerFormat format; 31514b396bbSKris Buschelman 31614b396bbSKris Buschelman PetscFunctionBegin; 317251f4c67SDmitry Karpeev ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr); 31832077d6dSBarry Smith if (iascii) { 31914b396bbSKris Buschelman ierr = PetscViewerGetFormat(viewer,&format);CHKERRQ(ierr); 3202f59403fSHong Zhang if (format == PETSC_VIEWER_ASCII_INFO) { 321f0c56d0fSKris Buschelman ierr = MatFactorInfo_SuperLU(A,viewer);CHKERRQ(ierr); 32214b396bbSKris Buschelman } 32314b396bbSKris Buschelman } 32414b396bbSKris Buschelman PetscFunctionReturn(0); 32514b396bbSKris Buschelman } 32614b396bbSKris Buschelman 32714b396bbSKris Buschelman 32814b396bbSKris Buschelman #undef __FUNCT__ 329c29e884eSHong Zhang #define __FUNCT__ "MatSolve_SuperLU_Private" 330c29e884eSHong Zhang PetscErrorCode MatSolve_SuperLU_Private(Mat A,Vec b,Vec x) 33114b396bbSKris Buschelman { 332f0c56d0fSKris Buschelman Mat_SuperLU *lu = (Mat_SuperLU*)A->spptr; 333d9ca1df4SBarry Smith const PetscScalar *barray; 334d9ca1df4SBarry Smith PetscScalar *xarray; 335dfbe8321SBarry Smith PetscErrorCode ierr; 336077aedafSJed Brown PetscInt info,i,n; 337da7a1d00SHong Zhang PetscReal ferr,berr; 338dff31646SBarry Smith static PetscBool cite = PETSC_FALSE; 33914b396bbSKris Buschelman 34014b396bbSKris Buschelman PetscFunctionBegin; 3412205254eSKarl Rupp if (lu->lwork == -1) PetscFunctionReturn(0); 342dff31646SBarry Smith ierr = PetscCitationsRegister("@article{superlu99,\n author = {James W. Demmel and Stanley C. Eisenstat and\n John R. Gilbert and Xiaoye S. Li and Joseph W. H. Liu},\n title = {A supernodal approach to sparse partial pivoting},\n journal = {SIAM J. Matrix Analysis and Applications},\n year = {1999},\n volume = {20},\n number = {3},\n pages = {720-755}\n}\n",&cite);CHKERRQ(ierr); 343cae5a23dSHong Zhang 344077aedafSJed Brown ierr = VecGetLocalSize(x,&n);CHKERRQ(ierr); 34575af56d4SHong Zhang lu->B.ncol = 1; /* Set the number of right-hand side */ 346cae5a23dSHong Zhang if (lu->options.Equil && !lu->rhs_dup) { 347cae5a23dSHong Zhang /* superlu overwrites b when Equil is used, thus create rhs_dup to keep user's b unchanged */ 348785e854fSJed Brown ierr = PetscMalloc1(n,&lu->rhs_dup);CHKERRQ(ierr); 349cae5a23dSHong Zhang } 350cae5a23dSHong Zhang if (lu->options.Equil) { 351cae5a23dSHong Zhang /* Copy b into rsh_dup */ 352d9ca1df4SBarry Smith ierr = VecGetArrayRead(b,&barray);CHKERRQ(ierr); 353cae5a23dSHong Zhang ierr = PetscMemcpy(lu->rhs_dup,barray,n*sizeof(PetscScalar));CHKERRQ(ierr); 354d9ca1df4SBarry Smith ierr = VecRestoreArrayRead(b,&barray);CHKERRQ(ierr); 355cae5a23dSHong Zhang barray = lu->rhs_dup; 356cae5a23dSHong Zhang } else { 357d9ca1df4SBarry Smith ierr = VecGetArrayRead(b,&barray);CHKERRQ(ierr); 358cae5a23dSHong Zhang } 35975af56d4SHong Zhang ierr = VecGetArray(x,&xarray);CHKERRQ(ierr); 3605fe6150dSHong Zhang 3615fe6150dSHong Zhang #if defined(PETSC_USE_COMPLEX) 3623cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 3633cb270beSHong Zhang ((DNformat*)lu->B.Store)->nzval = (singlecomplex*)barray; 3643cb270beSHong Zhang ((DNformat*)lu->X.Store)->nzval = (singlecomplex*)xarray; 3653cb270beSHong Zhang #else 3665fe6150dSHong Zhang ((DNformat*)lu->B.Store)->nzval = (doublecomplex*)barray; 3675fe6150dSHong Zhang ((DNformat*)lu->X.Store)->nzval = (doublecomplex*)xarray; 3683cb270beSHong Zhang #endif 3695fe6150dSHong Zhang #else 370d9ca1df4SBarry Smith ((DNformat*)lu->B.Store)->nzval = (void*)barray; 37175af56d4SHong Zhang ((DNformat*)lu->X.Store)->nzval = xarray; 3725fe6150dSHong Zhang #endif 37375af56d4SHong Zhang 37475af56d4SHong Zhang lu->options.Fact = FACTORED; /* Indicate the factored form of A is supplied. */ 375d5f3da31SBarry Smith if (A->factortype == MAT_FACTOR_LU) { 3768914a3f7SHong Zhang #if defined(PETSC_USE_COMPLEX) 3773cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 378d387c056SBarry Smith PetscStackCall("SuperLU:cgssvx",cgssvx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 3793cb270beSHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, &ferr, &berr, 3805db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &info)); 3813cb270beSHong Zhang #else 382d387c056SBarry Smith PetscStackCall("SuperLU:zgssvx",zgssvx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 3838914a3f7SHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, &ferr, &berr, 3845db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &info)); 3853cb270beSHong Zhang #endif 3863cb270beSHong Zhang #else 3873cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 388d387c056SBarry Smith PetscStackCall("SuperLU:sgssvx",sgssvx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 3893cb270beSHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, &ferr, &berr, 3905db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &info)); 3918914a3f7SHong Zhang #else 392d387c056SBarry Smith PetscStackCall("SuperLU:dgssvx",dgssvx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 39375af56d4SHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, &ferr, &berr, 394c147c726SHong Zhang &lu->Glu,&lu->mem_usage, &lu->stat, &info)); 3958914a3f7SHong Zhang #endif 3963cb270beSHong Zhang #endif 397d5f3da31SBarry Smith } else if (A->factortype == MAT_FACTOR_ILU) { 398cffbb591SHong Zhang #if defined(PETSC_USE_COMPLEX) 3993cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 400d387c056SBarry Smith PetscStackCall("SuperLU:cgsisx",cgsisx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 4013cb270beSHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, 4025db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &info)); 4033cb270beSHong Zhang #else 404d387c056SBarry Smith PetscStackCall("SuperLU:zgsisx",zgsisx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 405cffbb591SHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, 4065db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &info)); 4073cb270beSHong Zhang #endif 4083cb270beSHong Zhang #else 4093cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 410d387c056SBarry Smith PetscStackCall("SuperLU:sgsisx",sgsisx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 4113cb270beSHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, 4125db81dd2SSatish Balay &lu->Glu, &lu->mem_usage, &lu->stat, &info)); 413cffbb591SHong Zhang #else 414d387c056SBarry Smith PetscStackCall("SuperLU:dgsisx",dgsisx(&lu->options, &lu->A, lu->perm_c, lu->perm_r, lu->etree, lu->equed, lu->R, lu->C, 415cffbb591SHong Zhang &lu->L, &lu->U, lu->work, lu->lwork, &lu->B, &lu->X, &lu->rpg, &lu->rcond, 416c147c726SHong Zhang &lu->Glu, &lu->mem_usage, &lu->stat, &info)); 417cffbb591SHong Zhang #endif 4183cb270beSHong Zhang #endif 419f23aa3ddSBarry Smith } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Factor type not supported"); 420cae5a23dSHong Zhang if (!lu->options.Equil) { 421d9ca1df4SBarry Smith ierr = VecRestoreArrayRead(b,&barray);CHKERRQ(ierr); 422cae5a23dSHong Zhang } 42375af56d4SHong Zhang ierr = VecRestoreArray(x,&xarray);CHKERRQ(ierr); 42475af56d4SHong Zhang 425958c9bccSBarry Smith if (!info || info == lu->A.ncol+1) { 42675af56d4SHong Zhang if (lu->options.IterRefine) { 4278914a3f7SHong Zhang ierr = PetscPrintf(PETSC_COMM_SELF,"Iterative Refinement:\n"); 4288914a3f7SHong Zhang ierr = PetscPrintf(PETSC_COMM_SELF," %8s%8s%16s%16s\n", "rhs", "Steps", "FERR", "BERR"); 4292205254eSKarl Rupp for (i = 0; i < 1; ++i) { 4305d8b2efaSHong Zhang ierr = PetscPrintf(PETSC_COMM_SELF," %8d%8d%16e%16e\n", i+1, lu->stat.RefineSteps, ferr, berr); 43175af56d4SHong Zhang } 4322205254eSKarl Rupp } 4338914a3f7SHong Zhang } else if (info > 0) { 4348914a3f7SHong Zhang if (lu->lwork == -1) { 43577431f27SBarry Smith ierr = PetscPrintf(PETSC_COMM_SELF," ** Estimated memory: %D bytes\n", info - lu->A.ncol); 4368914a3f7SHong Zhang } else { 43777431f27SBarry Smith ierr = PetscPrintf(PETSC_COMM_SELF," Warning: gssvx() returns info %D\n",info); 4388914a3f7SHong Zhang } 439f23aa3ddSBarry Smith } else if (info < 0) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_LIB, "info = %D, the %D-th argument in gssvx() had an illegal value", info,-info); 44014b396bbSKris Buschelman 4418914a3f7SHong Zhang if (lu->options.PrintStat) { 4428914a3f7SHong Zhang ierr = PetscPrintf(PETSC_COMM_SELF,"MatSolve__SuperLU():\n"); 443d387c056SBarry Smith PetscStackCall("SuperLU:StatPrint",StatPrint(&lu->stat)); 4448914a3f7SHong Zhang } 44575af56d4SHong Zhang PetscFunctionReturn(0); 44675af56d4SHong Zhang } 44714b396bbSKris Buschelman 44814b396bbSKris Buschelman #undef __FUNCT__ 449c29e884eSHong Zhang #define __FUNCT__ "MatSolve_SuperLU" 450c29e884eSHong Zhang PetscErrorCode MatSolve_SuperLU(Mat A,Vec b,Vec x) 451c29e884eSHong Zhang { 452c29e884eSHong Zhang Mat_SuperLU *lu = (Mat_SuperLU*)A->spptr; 453c29e884eSHong Zhang PetscErrorCode ierr; 454c29e884eSHong Zhang 455c29e884eSHong Zhang PetscFunctionBegin; 456c29e884eSHong Zhang lu->options.Trans = TRANS; 4572205254eSKarl Rupp 458c29e884eSHong Zhang ierr = MatSolve_SuperLU_Private(A,b,x);CHKERRQ(ierr); 459c29e884eSHong Zhang PetscFunctionReturn(0); 460c29e884eSHong Zhang } 461c29e884eSHong Zhang 462c29e884eSHong Zhang #undef __FUNCT__ 463c7c1fe80SHong Zhang #define __FUNCT__ "MatSolveTranspose_SuperLU" 464c7c1fe80SHong Zhang PetscErrorCode MatSolveTranspose_SuperLU(Mat A,Vec b,Vec x) 465c7c1fe80SHong Zhang { 466c7c1fe80SHong Zhang Mat_SuperLU *lu = (Mat_SuperLU*)A->spptr; 467c7c1fe80SHong Zhang PetscErrorCode ierr; 468c7c1fe80SHong Zhang 469c7c1fe80SHong Zhang PetscFunctionBegin; 470c7c1fe80SHong Zhang lu->options.Trans = NOTRANS; 4712205254eSKarl Rupp 472c29e884eSHong Zhang ierr = MatSolve_SuperLU_Private(A,b,x);CHKERRQ(ierr); 473c7c1fe80SHong Zhang PetscFunctionReturn(0); 474c7c1fe80SHong Zhang } 475c7c1fe80SHong Zhang 476e0b74bf9SHong Zhang #undef __FUNCT__ 477e0b74bf9SHong Zhang #define __FUNCT__ "MatMatSolve_SuperLU" 478e0b74bf9SHong Zhang PetscErrorCode MatMatSolve_SuperLU(Mat A,Mat B,Mat X) 479e0b74bf9SHong Zhang { 480e0b74bf9SHong Zhang Mat_SuperLU *lu = (Mat_SuperLU*)A->spptr; 481cd723cd1SBarry Smith PetscBool flg; 482cd723cd1SBarry Smith PetscErrorCode ierr; 483e0b74bf9SHong Zhang 484e0b74bf9SHong Zhang PetscFunctionBegin; 4850298fd71SBarry Smith ierr = PetscObjectTypeCompareAny((PetscObject)B,&flg,MATSEQDENSE,MATMPIDENSE,NULL);CHKERRQ(ierr); 486ce94432eSBarry Smith if (!flg) SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_ARG_WRONG,"Matrix B must be MATDENSE matrix"); 4870298fd71SBarry Smith ierr = PetscObjectTypeCompareAny((PetscObject)X,&flg,MATSEQDENSE,MATMPIDENSE,NULL);CHKERRQ(ierr); 488ce94432eSBarry Smith if (!flg) SETERRQ(PetscObjectComm((PetscObject)A),PETSC_ERR_ARG_WRONG,"Matrix X must be MATDENSE matrix"); 4892205254eSKarl Rupp lu->options.Trans = TRANS; 490e0b74bf9SHong Zhang SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"MatMatSolve_SuperLU() is not implemented yet"); 491e0b74bf9SHong Zhang PetscFunctionReturn(0); 492e0b74bf9SHong Zhang } 493e0b74bf9SHong Zhang 49414b396bbSKris Buschelman /* 49514b396bbSKris Buschelman Note the r permutation is ignored 49614b396bbSKris Buschelman */ 49714b396bbSKris Buschelman #undef __FUNCT__ 498f0c56d0fSKris Buschelman #define __FUNCT__ "MatLUFactorSymbolic_SuperLU" 4999a625307SHong Zhang PetscErrorCode MatLUFactorSymbolic_SuperLU(Mat F,Mat A,IS r,IS c,const MatFactorInfo *info) 50014b396bbSKris Buschelman { 5011d5ca7f3SHong Zhang Mat_SuperLU *lu = (Mat_SuperLU*)(F->spptr); 502b24902e0SBarry Smith 503b24902e0SBarry Smith PetscFunctionBegin; 504b24902e0SBarry Smith lu->flg = DIFFERENT_NONZERO_PATTERN; 505b24902e0SBarry Smith lu->CleanUpSuperLU = PETSC_TRUE; 5061d5ca7f3SHong Zhang F->ops->lufactornumeric = MatLUFactorNumeric_SuperLU; 507b24902e0SBarry Smith PetscFunctionReturn(0); 508b24902e0SBarry Smith } 509b24902e0SBarry Smith 51035bd34faSBarry Smith #undef __FUNCT__ 5115ccb76cbSHong Zhang #define __FUNCT__ "MatSuperluSetILUDropTol_SuperLU" 512b2573a8aSBarry Smith static PetscErrorCode MatSuperluSetILUDropTol_SuperLU(Mat F,PetscReal dtol) 5135ccb76cbSHong Zhang { 5145ccb76cbSHong Zhang Mat_SuperLU *lu= (Mat_SuperLU*)F->spptr; 5155ccb76cbSHong Zhang 5165ccb76cbSHong Zhang PetscFunctionBegin; 5175ccb76cbSHong Zhang lu->options.ILU_DropTol = dtol; 5185ccb76cbSHong Zhang PetscFunctionReturn(0); 5195ccb76cbSHong Zhang } 5205ccb76cbSHong Zhang 5215ccb76cbSHong Zhang #undef __FUNCT__ 5225ccb76cbSHong Zhang #define __FUNCT__ "MatSuperluSetILUDropTol" 5235ccb76cbSHong Zhang /*@ 5245ccb76cbSHong Zhang MatSuperluSetILUDropTol - Set SuperLU ILU drop tolerance 5255ccb76cbSHong Zhang Logically Collective on Mat 5265ccb76cbSHong Zhang 5275ccb76cbSHong Zhang Input Parameters: 5285ccb76cbSHong Zhang + F - the factored matrix obtained by calling MatGetFactor() from PETSc-SuperLU interface 5295ccb76cbSHong Zhang - dtol - drop tolerance 5305ccb76cbSHong Zhang 5315ccb76cbSHong Zhang Options Database: 5325ccb76cbSHong Zhang . -mat_superlu_ilu_droptol <dtol> 5335ccb76cbSHong Zhang 5345ccb76cbSHong Zhang Level: beginner 5355ccb76cbSHong Zhang 5365ccb76cbSHong Zhang References: SuperLU Users' Guide 5375ccb76cbSHong Zhang 5385ccb76cbSHong Zhang .seealso: MatGetFactor() 5395ccb76cbSHong Zhang @*/ 5405ccb76cbSHong Zhang PetscErrorCode MatSuperluSetILUDropTol(Mat F,PetscReal dtol) 5415ccb76cbSHong Zhang { 5425ccb76cbSHong Zhang PetscErrorCode ierr; 5435ccb76cbSHong Zhang 5445ccb76cbSHong Zhang PetscFunctionBegin; 5455ccb76cbSHong Zhang PetscValidHeaderSpecific(F,MAT_CLASSID,1); 54669fbec6eSBarry Smith PetscValidLogicalCollectiveReal(F,dtol,2); 5475ccb76cbSHong Zhang ierr = PetscTryMethod(F,"MatSuperluSetILUDropTol_C",(Mat,PetscReal),(F,dtol));CHKERRQ(ierr); 5485ccb76cbSHong Zhang PetscFunctionReturn(0); 5495ccb76cbSHong Zhang } 5505ccb76cbSHong Zhang 5515ccb76cbSHong Zhang #undef __FUNCT__ 55235bd34faSBarry Smith #define __FUNCT__ "MatFactorGetSolverPackage_seqaij_superlu" 55335bd34faSBarry Smith PetscErrorCode MatFactorGetSolverPackage_seqaij_superlu(Mat A,const MatSolverPackage *type) 55435bd34faSBarry Smith { 55535bd34faSBarry Smith PetscFunctionBegin; 5562692d6eeSBarry Smith *type = MATSOLVERSUPERLU; 55735bd34faSBarry Smith PetscFunctionReturn(0); 55835bd34faSBarry Smith } 55935bd34faSBarry Smith 560b24902e0SBarry Smith 561b24902e0SBarry Smith /*MC 562ba992d64SSatish Balay MATSOLVERSUPERLU = "superlu" - A solver package providing solvers LU and ILU for sequential matrices 563b24902e0SBarry Smith via the external package SuperLU. 564b24902e0SBarry Smith 565e2e64c6bSBarry Smith Use ./configure --download-superlu to have PETSc installed with SuperLU 566b24902e0SBarry Smith 567c2b89b5dSBarry Smith Use -pc_type lu -pc_factor_mat_solver_package superlu to us this direct solver 568c2b89b5dSBarry Smith 569b24902e0SBarry Smith Options Database Keys: 570e08999f5SMatthew G Knepley + -mat_superlu_equil <FALSE> - Equil (None) 571e08999f5SMatthew G Knepley . -mat_superlu_colperm <COLAMD> - (choose one of) NATURAL MMD_ATA MMD_AT_PLUS_A COLAMD 572e08999f5SMatthew G Knepley . -mat_superlu_iterrefine <NOREFINE> - (choose one of) NOREFINE SINGLE DOUBLE EXTRA 573e08999f5SMatthew G Knepley . -mat_superlu_symmetricmode: <FALSE> - SymmetricMode (None) 574e08999f5SMatthew G Knepley . -mat_superlu_diagpivotthresh <1> - DiagPivotThresh (None) 575e08999f5SMatthew G Knepley . -mat_superlu_pivotgrowth <FALSE> - PivotGrowth (None) 576e08999f5SMatthew G Knepley . -mat_superlu_conditionnumber <FALSE> - ConditionNumber (None) 577e08999f5SMatthew G Knepley . -mat_superlu_rowperm <NOROWPERM> - (choose one of) NOROWPERM LargeDiag 578e08999f5SMatthew G Knepley . -mat_superlu_replacetinypivot <FALSE> - ReplaceTinyPivot (None) 579e08999f5SMatthew G Knepley . -mat_superlu_printstat <FALSE> - PrintStat (None) 580e08999f5SMatthew G Knepley . -mat_superlu_lwork <0> - size of work array in bytes used by factorization (None) 581e08999f5SMatthew G Knepley . -mat_superlu_ilu_droptol <0> - ILU_DropTol (None) 582e08999f5SMatthew G Knepley . -mat_superlu_ilu_filltol <0> - ILU_FillTol (None) 583e08999f5SMatthew G Knepley . -mat_superlu_ilu_fillfactor <0> - ILU_FillFactor (None) 584e08999f5SMatthew G Knepley . -mat_superlu_ilu_droprull <0> - ILU_DropRule (None) 585e08999f5SMatthew G Knepley . -mat_superlu_ilu_norm <0> - ILU_Norm (None) 586e08999f5SMatthew G Knepley - -mat_superlu_ilu_milu <0> - ILU_MILU (None) 587b24902e0SBarry Smith 5882692d6eeSBarry Smith Notes: Do not confuse this with MATSOLVERSUPERLU_DIST which is for parallel sparse solves 5895c9eb25fSBarry Smith 590b24902e0SBarry Smith Level: beginner 591b24902e0SBarry Smith 592d45987f3SHong Zhang .seealso: PCLU, PCILU, MATSOLVERSUPERLU_DIST, MATSOLVERMUMPS, PCFactorSetMatSolverPackage(), MatSolverPackage 593b24902e0SBarry Smith M*/ 594b24902e0SBarry Smith 595b24902e0SBarry Smith #undef __FUNCT__ 596b24902e0SBarry Smith #define __FUNCT__ "MatGetFactor_seqaij_superlu" 5978cc058d9SJed Brown PETSC_EXTERN PetscErrorCode MatGetFactor_seqaij_superlu(Mat A,MatFactorType ftype,Mat *F) 598b24902e0SBarry Smith { 59914b396bbSKris Buschelman Mat B; 600f0c56d0fSKris Buschelman Mat_SuperLU *lu; 6016849ba73SBarry Smith PetscErrorCode ierr; 6025d8b2efaSHong Zhang PetscInt indx,m=A->rmap->n,n=A->cmap->n; 6038afaa268SBarry Smith PetscBool flg,set; 6043cb270beSHong Zhang PetscReal real_input; 6055ca28756SHong Zhang const char *colperm[] ={"NATURAL","MMD_ATA","MMD_AT_PLUS_A","COLAMD"}; /* MY_PERMC - not supported by the petsc interface yet */ 6065ca28756SHong Zhang const char *iterrefine[]={"NOREFINE", "SINGLE", "DOUBLE", "EXTRA"}; 6075ca28756SHong Zhang const char *rowperm[] ={"NOROWPERM", "LargeDiag"}; /* MY_PERMC - not supported by the petsc interface yet */ 60814b396bbSKris Buschelman 60914b396bbSKris Buschelman PetscFunctionBegin; 610ce94432eSBarry Smith ierr = MatCreate(PetscObjectComm((PetscObject)A),&B);CHKERRQ(ierr); 611d0f46423SBarry Smith ierr = MatSetSizes(B,A->rmap->n,A->cmap->n,PETSC_DETERMINE,PETSC_DETERMINE);CHKERRQ(ierr); 6127adad957SLisandro Dalcin ierr = MatSetType(B,((PetscObject)A)->type_name);CHKERRQ(ierr); 6130298fd71SBarry Smith ierr = MatSeqAIJSetPreallocation(B,0,NULL);CHKERRQ(ierr); 614f0c56d0fSKris Buschelman 615cffbb591SHong Zhang if (ftype == MAT_FACTOR_LU || ftype == MAT_FACTOR_ILU) { 616b24902e0SBarry Smith B->ops->lufactorsymbolic = MatLUFactorSymbolic_SuperLU; 617cffbb591SHong Zhang B->ops->ilufactorsymbolic = MatLUFactorSymbolic_SuperLU; 618b3a44c85SBarry Smith } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Factor type not supported"); 619cffbb591SHong Zhang 620b24902e0SBarry Smith B->ops->destroy = MatDestroy_SuperLU; 6213519fcdcSHong Zhang B->ops->view = MatView_SuperLU; 62220be8e61SHong Zhang B->ops->getdiagonal = MatGetDiagonal_SuperLU; 623d5f3da31SBarry Smith B->factortype = ftype; 62494b7f48cSBarry Smith B->assembled = PETSC_TRUE; /* required by -ksp_view */ 6255c9eb25fSBarry Smith B->preallocated = PETSC_TRUE; 62614b396bbSKris Buschelman 627b00a9115SJed Brown ierr = PetscNewLog(B,&lu);CHKERRQ(ierr); 628cae5a23dSHong Zhang 629cffbb591SHong Zhang if (ftype == MAT_FACTOR_LU) { 6309ce50919SHong Zhang set_default_options(&lu->options); 6313d6581fbSHong Zhang /* Comments from SuperLU_4.0/SRC/dgssvx.c: 6323d6581fbSHong Zhang "Whether or not the system will be equilibrated depends on the 6333d6581fbSHong Zhang scaling of the matrix A, but if equilibration is used, A is 6343d6581fbSHong Zhang overwritten by diag(R)*A*diag(C) and B by diag(R)*B 6353d6581fbSHong Zhang (if options->Trans=NOTRANS) or diag(C)*B (if options->Trans = TRANS or CONJ)." 6363d6581fbSHong Zhang We set 'options.Equil = NO' as default because additional space is needed for it. 6373d6581fbSHong Zhang */ 6383d6581fbSHong Zhang lu->options.Equil = NO; 639cffbb591SHong Zhang } else if (ftype == MAT_FACTOR_ILU) { 6400c74a584SJed Brown /* Set the default input options of ilu: */ 641d387c056SBarry Smith PetscStackCall("SuperLU:ilu_set_default_options",ilu_set_default_options(&lu->options)); 642cffbb591SHong Zhang } 6439ce50919SHong Zhang lu->options.PrintStat = NO; 6441a2e2f44SHong Zhang 6455d8b2efaSHong Zhang /* Initialize the statistics variables. */ 646d387c056SBarry Smith PetscStackCall("SuperLU:StatInit",StatInit(&lu->stat)); 6478914a3f7SHong Zhang lu->lwork = 0; /* allocate space internally by system malloc */ 6489ce50919SHong Zhang 649ce94432eSBarry Smith ierr = PetscOptionsBegin(PetscObjectComm((PetscObject)A),((PetscObject)A)->prefix,"SuperLU Options","Mat");CHKERRQ(ierr); 6508afaa268SBarry Smith ierr = PetscOptionsBool("-mat_superlu_equil","Equil","None",(PetscBool)lu->options.Equil,(PetscBool*)&lu->options.Equil,NULL);CHKERRQ(ierr); 6518914a3f7SHong Zhang ierr = PetscOptionsEList("-mat_superlu_colperm","ColPerm","None",colperm,4,colperm[3],&indx,&flg);CHKERRQ(ierr); 6522205254eSKarl Rupp if (flg) lu->options.ColPerm = (colperm_t)indx; 6538914a3f7SHong Zhang ierr = PetscOptionsEList("-mat_superlu_iterrefine","IterRefine","None",iterrefine,4,iterrefine[0],&indx,&flg);CHKERRQ(ierr); 6542205254eSKarl Rupp if (flg) lu->options.IterRefine = (IterRefine_t)indx; 6558afaa268SBarry Smith ierr = PetscOptionsBool("-mat_superlu_symmetricmode","SymmetricMode","None",(PetscBool)lu->options.SymmetricMode,&flg,&set);CHKERRQ(ierr); 6568afaa268SBarry Smith if (set && flg) lu->options.SymmetricMode = YES; 6573cb270beSHong Zhang ierr = PetscOptionsReal("-mat_superlu_diagpivotthresh","DiagPivotThresh","None",lu->options.DiagPivotThresh,&real_input,&flg);CHKERRQ(ierr); 6583cb270beSHong Zhang if (flg) lu->options.DiagPivotThresh = (double) real_input; 6598afaa268SBarry Smith ierr = PetscOptionsBool("-mat_superlu_pivotgrowth","PivotGrowth","None",(PetscBool)lu->options.PivotGrowth,&flg,&set);CHKERRQ(ierr); 6608afaa268SBarry Smith if (set && flg) lu->options.PivotGrowth = YES; 6618afaa268SBarry Smith ierr = PetscOptionsBool("-mat_superlu_conditionnumber","ConditionNumber","None",(PetscBool)lu->options.ConditionNumber,&flg,&set);CHKERRQ(ierr); 6628afaa268SBarry Smith if (set && flg) lu->options.ConditionNumber = YES; 663d7ebd59bSHong Zhang ierr = PetscOptionsEList("-mat_superlu_rowperm","rowperm","None",rowperm,2,rowperm[lu->options.RowPerm],&indx,&flg);CHKERRQ(ierr); 6642205254eSKarl Rupp if (flg) lu->options.RowPerm = (rowperm_t)indx; 6658afaa268SBarry Smith ierr = PetscOptionsBool("-mat_superlu_replacetinypivot","ReplaceTinyPivot","None",(PetscBool)lu->options.ReplaceTinyPivot,&flg,&set);CHKERRQ(ierr); 6668afaa268SBarry Smith if (set && flg) lu->options.ReplaceTinyPivot = YES; 6678afaa268SBarry Smith ierr = PetscOptionsBool("-mat_superlu_printstat","PrintStat","None",(PetscBool)lu->options.PrintStat,&flg,&set);CHKERRQ(ierr); 6688afaa268SBarry Smith if (set && flg) lu->options.PrintStat = YES; 6690298fd71SBarry Smith ierr = PetscOptionsInt("-mat_superlu_lwork","size of work array in bytes used by factorization","None",lu->lwork,&lu->lwork,NULL);CHKERRQ(ierr); 6705fe6150dSHong Zhang if (lu->lwork > 0) { 671d87de817SBarry Smith /* lwork is in bytes, hence PetscMalloc() is used here, not PetscMalloc1()*/ 6725fe6150dSHong Zhang ierr = PetscMalloc(lu->lwork,&lu->work);CHKERRQ(ierr); 6735fe6150dSHong Zhang } else if (lu->lwork != 0 && lu->lwork != -1) { 67477431f27SBarry Smith ierr = PetscPrintf(PETSC_COMM_SELF," Warning: lwork %D is not supported by SUPERLU. The default lwork=0 is used.\n",lu->lwork); 6758914a3f7SHong Zhang lu->lwork = 0; 6768914a3f7SHong Zhang } 677cffbb591SHong Zhang /* ilu options */ 6783cb270beSHong Zhang ierr = PetscOptionsReal("-mat_superlu_ilu_droptol","ILU_DropTol","None",lu->options.ILU_DropTol,&real_input,&flg);CHKERRQ(ierr); 6793cb270beSHong Zhang if (flg) lu->options.ILU_DropTol = (double) real_input; 6803cb270beSHong Zhang ierr = PetscOptionsReal("-mat_superlu_ilu_filltol","ILU_FillTol","None",lu->options.ILU_FillTol,&real_input,&flg);CHKERRQ(ierr); 6813cb270beSHong Zhang if (flg) lu->options.ILU_FillTol = (double) real_input; 6823cb270beSHong Zhang ierr = PetscOptionsReal("-mat_superlu_ilu_fillfactor","ILU_FillFactor","None",lu->options.ILU_FillFactor,&real_input,&flg);CHKERRQ(ierr); 6833cb270beSHong Zhang if (flg) lu->options.ILU_FillFactor = (double) real_input; 6840298fd71SBarry Smith ierr = PetscOptionsInt("-mat_superlu_ilu_droprull","ILU_DropRule","None",lu->options.ILU_DropRule,&lu->options.ILU_DropRule,NULL);CHKERRQ(ierr); 685cffbb591SHong Zhang ierr = PetscOptionsInt("-mat_superlu_ilu_norm","ILU_Norm","None",lu->options.ILU_Norm,&indx,&flg);CHKERRQ(ierr); 6862205254eSKarl Rupp if (flg) lu->options.ILU_Norm = (norm_t)indx; 687cffbb591SHong Zhang ierr = PetscOptionsInt("-mat_superlu_ilu_milu","ILU_MILU","None",lu->options.ILU_MILU,&indx,&flg);CHKERRQ(ierr); 6882205254eSKarl Rupp if (flg) lu->options.ILU_MILU = (milu_t)indx; 6899ce50919SHong Zhang PetscOptionsEnd(); 69038abfdaeSHong Zhang if (lu->options.Equil == YES) { 69138abfdaeSHong Zhang /* superlu overwrites input matrix and rhs when Equil is used, thus create A_dup to keep user's A unchanged */ 69238abfdaeSHong Zhang ierr = MatDuplicate_SeqAIJ(A,MAT_COPY_VALUES,&lu->A_dup);CHKERRQ(ierr); 69338abfdaeSHong Zhang } 6949ce50919SHong Zhang 6955d8b2efaSHong Zhang /* Allocate spaces (notice sizes are for the transpose) */ 696785e854fSJed Brown ierr = PetscMalloc1(m,&lu->etree);CHKERRQ(ierr); 697785e854fSJed Brown ierr = PetscMalloc1(n,&lu->perm_r);CHKERRQ(ierr); 698785e854fSJed Brown ierr = PetscMalloc1(m,&lu->perm_c);CHKERRQ(ierr); 699785e854fSJed Brown ierr = PetscMalloc1(n,&lu->R);CHKERRQ(ierr); 700785e854fSJed Brown ierr = PetscMalloc1(m,&lu->C);CHKERRQ(ierr); 7015d8b2efaSHong Zhang 7025d8b2efaSHong Zhang /* create rhs and solution x without allocate space for .Store */ 7035d8b2efaSHong Zhang #if defined(PETSC_USE_COMPLEX) 7043cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 705d387c056SBarry Smith PetscStackCall("SuperLU:cCreate_Dense_Matrix(",cCreate_Dense_Matrix(&lu->B, m, 1, NULL, m, SLU_DN, SLU_C, SLU_GE)); 706d387c056SBarry Smith PetscStackCall("SuperLU:cCreate_Dense_Matrix(",cCreate_Dense_Matrix(&lu->X, m, 1, NULL, m, SLU_DN, SLU_C, SLU_GE)); 7073cb270beSHong Zhang #else 708d387c056SBarry Smith PetscStackCall("SuperLU:zCreate_Dense_Matrix",zCreate_Dense_Matrix(&lu->B, m, 1, NULL, m, SLU_DN, SLU_Z, SLU_GE)); 709d387c056SBarry Smith PetscStackCall("SuperLU:zCreate_Dense_Matrix",zCreate_Dense_Matrix(&lu->X, m, 1, NULL, m, SLU_DN, SLU_Z, SLU_GE)); 7103cb270beSHong Zhang #endif 7113cb270beSHong Zhang #else 7123cb270beSHong Zhang #if defined(PETSC_USE_REAL_SINGLE) 713d387c056SBarry Smith PetscStackCall("SuperLU:sCreate_Dense_Matrix",sCreate_Dense_Matrix(&lu->B, m, 1, NULL, m, SLU_DN, SLU_S, SLU_GE)); 714d387c056SBarry Smith PetscStackCall("SuperLU:sCreate_Dense_Matrix",sCreate_Dense_Matrix(&lu->X, m, 1, NULL, m, SLU_DN, SLU_S, SLU_GE)); 7155d8b2efaSHong Zhang #else 716d387c056SBarry Smith PetscStackCall("SuperLU:dCreate_Dense_Matrix",dCreate_Dense_Matrix(&lu->B, m, 1, NULL, m, SLU_DN, SLU_D, SLU_GE)); 717d387c056SBarry Smith PetscStackCall("SuperLU:dCreate_Dense_Matrix",dCreate_Dense_Matrix(&lu->X, m, 1, NULL, m, SLU_DN, SLU_D, SLU_GE)); 7185d8b2efaSHong Zhang #endif 7193cb270beSHong Zhang #endif 7205d8b2efaSHong Zhang 721bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)B,"MatFactorGetSolverPackage_C",MatFactorGetSolverPackage_seqaij_superlu);CHKERRQ(ierr); 722bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)B,"MatSuperluSetILUDropTol_C",MatSuperluSetILUDropTol_SuperLU);CHKERRQ(ierr); 7235c9eb25fSBarry Smith B->spptr = lu; 72420be8e61SHong Zhang 725899d7b4fSKris Buschelman *F = B; 72614b396bbSKris Buschelman PetscFunctionReturn(0); 72714b396bbSKris Buschelman } 728d954db57SHong Zhang 72942c9c57cSBarry Smith #undef __FUNCT__ 73042c9c57cSBarry Smith #define __FUNCT__ "MatSolverPackageRegister_SuperLU" 73129b38603SBarry Smith PETSC_EXTERN PetscErrorCode MatSolverPackageRegister_SuperLU(void) 73242c9c57cSBarry Smith { 73342c9c57cSBarry Smith PetscErrorCode ierr; 73442c9c57cSBarry Smith 73542c9c57cSBarry Smith PetscFunctionBegin; 73642c9c57cSBarry Smith ierr = MatSolverPackageRegister(MATSOLVERSUPERLU,MATSEQAIJ, MAT_FACTOR_LU,MatGetFactor_seqaij_superlu);CHKERRQ(ierr); 73742c9c57cSBarry Smith ierr = MatSolverPackageRegister(MATSOLVERSUPERLU,MATSEQAIJ, MAT_FACTOR_ILU,MatGetFactor_seqaij_superlu);CHKERRQ(ierr); 73842c9c57cSBarry Smith PetscFunctionReturn(0); 73942c9c57cSBarry Smith } 740