xref: /petsc/src/mat/impls/aij/seq/superlu/superlu.c (revision 675d1226b20ac8919c1796def33e8f989fab8abb)
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