19b54502bSHong Zhang /* 29b54502bSHong Zhang Defines a direct factorization preconditioner for any Mat implementation 3c14e9f00SDavid Andrs Note: this need not be considered a preconditioner since it supplies 49b54502bSHong Zhang a direct solver. 59b54502bSHong Zhang */ 6ee45ca4aSHong Zhang 7c6db04a5SJed Brown #include <../src/ksp/pc/impls/factor/lu/lu.h> /*I "petscpc.h" I*/ 89b54502bSHong Zhang 966976f2fSJacob Faibussowitsch static PetscErrorCode PCFactorReorderForNonzeroDiagonal_LU(PC pc, PetscReal z) 10d71ae5a4SJacob Faibussowitsch { 119b54502bSHong Zhang PC_LU *lu = (PC_LU *)pc->data; 129b54502bSHong Zhang 139b54502bSHong Zhang PetscFunctionBegin; 149b54502bSHong Zhang lu->nonzerosalongdiagonal = PETSC_TRUE; 1513bcc0bdSJacob Faibussowitsch if (z == (PetscReal)PETSC_DECIDE) lu->nonzerosalongdiagonaltol = 1.e-10; 162fa5cd67SKarl Rupp else lu->nonzerosalongdiagonaltol = z; 173ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 189b54502bSHong Zhang } 199b54502bSHong Zhang 20ce78bad3SBarry Smith static PetscErrorCode PCSetFromOptions_LU(PC pc, PetscOptionItems PetscOptionsObject) 21d71ae5a4SJacob Faibussowitsch { 229b54502bSHong Zhang PC_LU *lu = (PC_LU *)pc->data; 23ace3abfcSBarry Smith PetscBool flg = PETSC_FALSE; 249b54502bSHong Zhang PetscReal tol; 259b54502bSHong Zhang 269b54502bSHong Zhang PetscFunctionBegin; 27d0609cedSBarry Smith PetscOptionsHeadBegin(PetscOptionsObject, "LU options"); 28dbbe0bcdSBarry Smith PetscCall(PCSetFromOptions_Factor(pc, PetscOptionsObject)); 295c9eb25fSBarry Smith 309566063dSJacob Faibussowitsch PetscCall(PetscOptionsName("-pc_factor_nonzeros_along_diagonal", "Reorder to remove zeros from diagonal", "PCFactorReorderForNonzeroDiagonal", &flg)); 319b54502bSHong Zhang if (flg) { 329b54502bSHong Zhang tol = PETSC_DECIDE; 339566063dSJacob Faibussowitsch PetscCall(PetscOptionsReal("-pc_factor_nonzeros_along_diagonal", "Reorder to remove zeros from diagonal", "PCFactorReorderForNonzeroDiagonal", lu->nonzerosalongdiagonaltol, &tol, NULL)); 349566063dSJacob Faibussowitsch PetscCall(PCFactorReorderForNonzeroDiagonal(pc, tol)); 359b54502bSHong Zhang } 36d0609cedSBarry Smith PetscOptionsHeadEnd(); 373ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 389b54502bSHong Zhang } 399b54502bSHong Zhang 40d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCSetUp_LU(PC pc) 41d71ae5a4SJacob Faibussowitsch { 429b54502bSHong Zhang PC_LU *dir = (PC_LU *)pc->data; 43ea799195SBarry Smith MatSolverType stype; 4400e125f8SBarry Smith MatFactorError err; 45f023e1d5SPierre Jolivet const char *prefix; 463d1c1ea0SBarry Smith 479b54502bSHong Zhang PetscFunctionBegin; 48c6e4fdc6SHong Zhang pc->failedreason = PC_NOERROR; 493d1c1ea0SBarry Smith if (dir->hdr.reusefill && pc->setupcalled) ((PC_Factor *)dir)->info.fill = dir->hdr.actualfill; 509b54502bSHong Zhang 5126cc229bSBarry Smith PetscCall(PCGetOptionsPrefix(pc, &prefix)); 5226cc229bSBarry Smith PetscCall(MatSetOptionsPrefixFactor(pc->pmat, prefix)); 5326cc229bSBarry Smith 549566063dSJacob Faibussowitsch PetscCall(MatSetErrorIfFailure(pc->pmat, pc->erroriffailure)); 553d1c1ea0SBarry Smith if (dir->hdr.inplace) { 569d76b4d0SMatthew G. Knepley MatFactorType ftype; 579d76b4d0SMatthew G. Knepley 589566063dSJacob Faibussowitsch PetscCall(MatGetFactorType(pc->pmat, &ftype)); 599d76b4d0SMatthew G. Knepley if (ftype == MAT_FACTOR_NONE) { 609566063dSJacob Faibussowitsch if (dir->row && dir->col && dir->row != dir->col) PetscCall(ISDestroy(&dir->row)); 619566063dSJacob Faibussowitsch PetscCall(ISDestroy(&dir->col)); 622c7c0729SBarry Smith /* This should only get the ordering if needed, but since MatGetFactor() is not called we can't know if it is needed */ 639566063dSJacob Faibussowitsch PetscCall(PCFactorSetDefaultOrdering_Factor(pc)); 649566063dSJacob Faibussowitsch PetscCall(MatGetOrdering(pc->pmat, ((PC_Factor *)dir)->ordering, &dir->row, &dir->col)); 654dfa11a4SJacob Faibussowitsch if (dir->row) { } 669566063dSJacob Faibussowitsch PetscCall(MatLUFactor(pc->pmat, dir->row, dir->col, &((PC_Factor *)dir)->info)); 679566063dSJacob Faibussowitsch PetscCall(MatFactorGetError(pc->pmat, &err)); 6800e125f8SBarry Smith if (err) { /* Factor() fails */ 6900e125f8SBarry Smith pc->failedreason = (PCFailedReason)err; 703ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 716baea169SHong Zhang } 729d76b4d0SMatthew G. Knepley } 73075768bcSBarry Smith ((PC_Factor *)dir)->fact = pc->pmat; 749b54502bSHong Zhang } else { 759b54502bSHong Zhang MatInfo info; 7600e125f8SBarry Smith 779b54502bSHong Zhang if (!pc->setupcalled) { 78f73b0415SBarry Smith PetscBool canuseordering; 7903e5aca4SStefano Zampini 8003e5aca4SStefano Zampini PetscCall(PCFactorSetUpMatSolverType(pc)); 819566063dSJacob Faibussowitsch PetscCall(MatFactorGetCanUseOrdering(((PC_Factor *)dir)->fact, &canuseordering)); 82f73b0415SBarry Smith if (canuseordering) { 839566063dSJacob Faibussowitsch PetscCall(PCFactorSetDefaultOrdering_Factor(pc)); 849566063dSJacob Faibussowitsch PetscCall(MatGetOrdering(pc->pmat, ((PC_Factor *)dir)->ordering, &dir->row, &dir->col)); 851baa6e33SBarry Smith if (dir->nonzerosalongdiagonal) PetscCall(MatReorderForNonzeroDiagonal(pc->pmat, dir->nonzerosalongdiagonaltol, dir->row, dir->col)); 8603c60df9SBarry Smith } 879566063dSJacob Faibussowitsch PetscCall(MatLUFactorSymbolic(((PC_Factor *)dir)->fact, pc->pmat, dir->row, dir->col, &((PC_Factor *)dir)->info)); 889566063dSJacob Faibussowitsch PetscCall(MatGetInfo(((PC_Factor *)dir)->fact, MAT_LOCAL, &info)); 893d1c1ea0SBarry Smith dir->hdr.actualfill = info.fill_ratio_needed; 909b54502bSHong Zhang } else if (pc->flag != SAME_NONZERO_PATTERN) { 91f73b0415SBarry Smith PetscBool canuseordering; 9203e5aca4SStefano Zampini 933d1c1ea0SBarry Smith if (!dir->hdr.reuseordering) { 949566063dSJacob Faibussowitsch PetscCall(MatDestroy(&((PC_Factor *)dir)->fact)); 9503e5aca4SStefano Zampini PetscCall(PCFactorSetUpMatSolverType(pc)); 969566063dSJacob Faibussowitsch PetscCall(MatFactorGetCanUseOrdering(((PC_Factor *)dir)->fact, &canuseordering)); 97f73b0415SBarry Smith if (canuseordering) { 989566063dSJacob Faibussowitsch if (dir->row && dir->col && dir->row != dir->col) PetscCall(ISDestroy(&dir->row)); 999566063dSJacob Faibussowitsch PetscCall(ISDestroy(&dir->col)); 1009566063dSJacob Faibussowitsch PetscCall(PCFactorSetDefaultOrdering_Factor(pc)); 1019566063dSJacob Faibussowitsch PetscCall(MatGetOrdering(pc->pmat, ((PC_Factor *)dir)->ordering, &dir->row, &dir->col)); 1021baa6e33SBarry Smith if (dir->nonzerosalongdiagonal) PetscCall(MatReorderForNonzeroDiagonal(pc->pmat, dir->nonzerosalongdiagonaltol, dir->row, dir->col)); 10303c60df9SBarry Smith } 1049b54502bSHong Zhang } 1059566063dSJacob Faibussowitsch PetscCall(MatLUFactorSymbolic(((PC_Factor *)dir)->fact, pc->pmat, dir->row, dir->col, &((PC_Factor *)dir)->info)); 1069566063dSJacob Faibussowitsch PetscCall(MatGetInfo(((PC_Factor *)dir)->fact, MAT_LOCAL, &info)); 1073d1c1ea0SBarry Smith dir->hdr.actualfill = info.fill_ratio_needed; 10804545d6dSBarry Smith } else { 1099566063dSJacob Faibussowitsch PetscCall(MatFactorGetError(((PC_Factor *)dir)->fact, &err)); 110160a8794SBarry Smith if (err == MAT_FACTOR_NUMERIC_ZEROPIVOT) { 1119566063dSJacob Faibussowitsch PetscCall(MatFactorClearError(((PC_Factor *)dir)->fact)); 112b8b68cfdSBarry Smith pc->failedreason = PC_NOERROR; 11304545d6dSBarry Smith } 1149b54502bSHong Zhang } 1159566063dSJacob Faibussowitsch PetscCall(MatFactorGetError(((PC_Factor *)dir)->fact, &err)); 11600e125f8SBarry Smith if (err) { /* FactorSymbolic() fails */ 11700e125f8SBarry Smith pc->failedreason = (PCFailedReason)err; 1183ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1198c1cd74cSHong Zhang } 1208c1cd74cSHong Zhang 1219566063dSJacob Faibussowitsch PetscCall(MatLUFactorNumeric(((PC_Factor *)dir)->fact, pc->pmat, &((PC_Factor *)dir)->info)); 1229566063dSJacob Faibussowitsch PetscCall(MatFactorGetError(((PC_Factor *)dir)->fact, &err)); 12300e125f8SBarry Smith if (err) { /* FactorNumeric() fails */ 12400e125f8SBarry Smith pc->failedreason = (PCFailedReason)err; 1258c1cd74cSHong Zhang } 1269b54502bSHong Zhang } 12700c67f3bSHong Zhang 1289566063dSJacob Faibussowitsch PetscCall(PCFactorGetMatSolverType(pc, &stype)); 12900c67f3bSHong Zhang if (!stype) { 130ea799195SBarry Smith MatSolverType solverpackage; 1319566063dSJacob Faibussowitsch PetscCall(MatFactorGetSolverType(((PC_Factor *)dir)->fact, &solverpackage)); 1329566063dSJacob Faibussowitsch PetscCall(PCFactorSetMatSolverType(pc, solverpackage)); 13300c67f3bSHong Zhang } 1343ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1359b54502bSHong Zhang } 1369b54502bSHong Zhang 137d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCReset_LU(PC pc) 138d71ae5a4SJacob Faibussowitsch { 1399b54502bSHong Zhang PC_LU *dir = (PC_LU *)pc->data; 1409b54502bSHong Zhang 1419b54502bSHong Zhang PetscFunctionBegin; 1429566063dSJacob Faibussowitsch if (!dir->hdr.inplace && ((PC_Factor *)dir)->fact) PetscCall(MatDestroy(&((PC_Factor *)dir)->fact)); 1439566063dSJacob Faibussowitsch if (dir->row && dir->col && dir->row != dir->col) PetscCall(ISDestroy(&dir->row)); 1449566063dSJacob Faibussowitsch PetscCall(ISDestroy(&dir->col)); 1453ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 146574deadeSBarry Smith } 147574deadeSBarry Smith 148d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCDestroy_LU(PC pc) 149d71ae5a4SJacob Faibussowitsch { 150574deadeSBarry Smith PC_LU *dir = (PC_LU *)pc->data; 151574deadeSBarry Smith 152574deadeSBarry Smith PetscFunctionBegin; 1539566063dSJacob Faibussowitsch PetscCall(PCReset_LU(pc)); 1549566063dSJacob Faibussowitsch PetscCall(PetscFree(((PC_Factor *)dir)->ordering)); 1559566063dSJacob Faibussowitsch PetscCall(PetscFree(((PC_Factor *)dir)->solvertype)); 1562e956fe4SStefano Zampini PetscCall(PCFactorClearComposedFunctions(pc)); 1579566063dSJacob Faibussowitsch PetscCall(PetscFree(pc->data)); 1583ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1599b54502bSHong Zhang } 1609b54502bSHong Zhang 161d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCApply_LU(PC pc, Vec x, Vec y) 162d71ae5a4SJacob Faibussowitsch { 1639b54502bSHong Zhang PC_LU *dir = (PC_LU *)pc->data; 1649b54502bSHong Zhang 1659b54502bSHong Zhang PetscFunctionBegin; 1663d1c1ea0SBarry Smith if (dir->hdr.inplace) { 1679566063dSJacob Faibussowitsch PetscCall(MatSolve(pc->pmat, x, y)); 1682fa5cd67SKarl Rupp } else { 1699566063dSJacob Faibussowitsch PetscCall(MatSolve(((PC_Factor *)dir)->fact, x, y)); 1702fa5cd67SKarl Rupp } 1713ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1729b54502bSHong Zhang } 1739b54502bSHong Zhang 174d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCMatApply_LU(PC pc, Mat X, Mat Y) 175d71ae5a4SJacob Faibussowitsch { 1767b6e2003SPierre Jolivet PC_LU *dir = (PC_LU *)pc->data; 1777b6e2003SPierre Jolivet 1787b6e2003SPierre Jolivet PetscFunctionBegin; 1797b6e2003SPierre Jolivet if (dir->hdr.inplace) { 1809566063dSJacob Faibussowitsch PetscCall(MatMatSolve(pc->pmat, X, Y)); 1817b6e2003SPierre Jolivet } else { 1829566063dSJacob Faibussowitsch PetscCall(MatMatSolve(((PC_Factor *)dir)->fact, X, Y)); 1837b6e2003SPierre Jolivet } 1843ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1857b6e2003SPierre Jolivet } 1867b6e2003SPierre Jolivet 187d71ae5a4SJacob Faibussowitsch static PetscErrorCode PCApplyTranspose_LU(PC pc, Vec x, Vec y) 188d71ae5a4SJacob Faibussowitsch { 1899b54502bSHong Zhang PC_LU *dir = (PC_LU *)pc->data; 1909b54502bSHong Zhang 1919b54502bSHong Zhang PetscFunctionBegin; 1923d1c1ea0SBarry Smith if (dir->hdr.inplace) { 1939566063dSJacob Faibussowitsch PetscCall(MatSolveTranspose(pc->pmat, x, y)); 1942fa5cd67SKarl Rupp } else { 1959566063dSJacob Faibussowitsch PetscCall(MatSolveTranspose(((PC_Factor *)dir)->fact, x, y)); 1962fa5cd67SKarl Rupp } 1973ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 1989b54502bSHong Zhang } 1999b54502bSHong Zhang 200*4dbf25a8SPierre Jolivet static PetscErrorCode PCMatApplyTranspose_LU(PC pc, Mat X, Mat Y) 201*4dbf25a8SPierre Jolivet { 202*4dbf25a8SPierre Jolivet PC_LU *dir = (PC_LU *)pc->data; 203*4dbf25a8SPierre Jolivet 204*4dbf25a8SPierre Jolivet PetscFunctionBegin; 205*4dbf25a8SPierre Jolivet if (dir->hdr.inplace) { 206*4dbf25a8SPierre Jolivet PetscCall(MatMatSolveTranspose(pc->pmat, X, Y)); 207*4dbf25a8SPierre Jolivet } else { 208*4dbf25a8SPierre Jolivet PetscCall(MatMatSolveTranspose(((PC_Factor *)dir)->fact, X, Y)); 209*4dbf25a8SPierre Jolivet } 210*4dbf25a8SPierre Jolivet PetscFunctionReturn(PETSC_SUCCESS); 211*4dbf25a8SPierre Jolivet } 212*4dbf25a8SPierre Jolivet 2139b54502bSHong Zhang /*MC 2149b54502bSHong Zhang PCLU - Uses a direct solver, based on LU factorization, as a preconditioner 2159b54502bSHong Zhang 2169b54502bSHong Zhang Options Database Keys: 217f1580f4eSBarry Smith + -pc_factor_reuse_ordering - Activate `PCFactorSetReuseOrdering()` 218f1580f4eSBarry Smith . -pc_factor_mat_solver_type - Actives `PCFactorSetMatSolverType()` to choose the direct solver, like superlu 219f1580f4eSBarry Smith . -pc_factor_reuse_fill - Activates `PCFactorSetReuseFill()` 22055ba2a51SBarry Smith . -pc_factor_fill <fill> - Sets fill amount 2212401956bSBarry Smith . -pc_factor_in_place - Activates in-place factorization 2222401956bSBarry Smith . -pc_factor_mat_ordering_type <nd,rcm,...> - Sets ordering routine 2232401956bSBarry Smith . -pc_factor_pivot_in_blocks <true,false> - allow pivoting within the small blocks during factorization (may increase 2249b54502bSHong Zhang stability of factorization. 225f1580f4eSBarry Smith . -pc_factor_shift_type <shifttype> - Sets shift type or -1 for the default; use '-help' for a list of available types 226f1580f4eSBarry Smith . -pc_factor_shift_amount <shiftamount> - Sets shift amount or -1 for the default 22726cc229bSBarry Smith . -pc_factor_nonzeros_along_diagonal - permutes the rows and columns to try to put nonzero value along the diagonal. 228f1580f4eSBarry Smith . -pc_factor_mat_solver_type <packagename> - use an external package for the solve, see `MatSolverType` for possibilities 22926cc229bSBarry Smith - -mat_solvertype_optionname - options for a specific solver package, for example -mat_mumps_cntl_1 2309b54502bSHong Zhang 2319b54502bSHong Zhang Level: beginner 2329b54502bSHong Zhang 23395452b02SPatrick Sanan Notes: 234f1580f4eSBarry Smith Not all options work for all matrix formats 235f1580f4eSBarry Smith 2360b4b7b1cSBarry Smith Run with `-help` to see additional options for particular matrix formats or factorization algorithms 2370b4b7b1cSBarry Smith 2380b4b7b1cSBarry Smith The Cholesky factorization direct solver, `PCCHOLESKY` will be more efficient than `PCLU` for symmetric positive-definite (SPD) matrices 239f1580f4eSBarry Smith 24095452b02SPatrick Sanan Usually this will compute an "exact" solution in one iteration and does 2419b54502bSHong Zhang not need a Krylov method (i.e. you can use -ksp_type preonly, or 2420b4b7b1cSBarry Smith `KSPSetType`(ksp,`KSPPREONLY`) for the Krylov method. 2439b54502bSHong Zhang 244562efe2eSBarry Smith .seealso: [](ch_ksp), `PCCreate()`, `PCSetType()`, `PCType`, `PC`, `MatSolverType`, `MatGetFactor()`, `PCQR`, `PCSVD`, 245db781477SPatrick Sanan `PCILU`, `PCCHOLESKY`, `PCICC`, `PCFactorSetReuseOrdering()`, `PCFactorSetReuseFill()`, `PCFactorGetMatrix()`, 246db781477SPatrick Sanan `PCFactorSetFill()`, `PCFactorSetUseInPlace()`, `PCFactorSetMatOrderingType()`, `PCFactorSetColumnPivot()`, 247c2e3fba1SPatrick Sanan `PCFactorSetPivotInBlocks()`, `PCFactorSetShiftType()`, `PCFactorSetShiftAmount()` 248db781477SPatrick Sanan `PCFactorReorderForNonzeroDiagonal()` 2499b54502bSHong Zhang M*/ 2509b54502bSHong Zhang 251d71ae5a4SJacob Faibussowitsch PETSC_EXTERN PetscErrorCode PCCreate_LU(PC pc) 252d71ae5a4SJacob Faibussowitsch { 2539b54502bSHong Zhang PC_LU *dir; 2549b54502bSHong Zhang 2559b54502bSHong Zhang PetscFunctionBegin; 2564dfa11a4SJacob Faibussowitsch PetscCall(PetscNew(&dir)); 2573d1c1ea0SBarry Smith pc->data = (void *)dir; 2589566063dSJacob Faibussowitsch PetscCall(PCFactorInitialize(pc, MAT_FACTOR_LU)); 2599b54502bSHong Zhang dir->nonzerosalongdiagonal = PETSC_FALSE; 2609b54502bSHong Zhang 261075768bcSBarry Smith ((PC_Factor *)dir)->info.fill = 5.0; 262075768bcSBarry Smith ((PC_Factor *)dir)->info.dtcol = 1.e-6; /* default to pivoting; this is only thing PETSc LU supports */ 263f4db908eSBarry Smith ((PC_Factor *)dir)->info.shifttype = (PetscReal)MAT_SHIFT_NONE; 2640a545947SLisandro Dalcin dir->col = NULL; 2650a545947SLisandro Dalcin dir->row = NULL; 2665c9eb25fSBarry Smith 267574deadeSBarry Smith pc->ops->reset = PCReset_LU; 2689b54502bSHong Zhang pc->ops->destroy = PCDestroy_LU; 2699b54502bSHong Zhang pc->ops->apply = PCApply_LU; 2707b6e2003SPierre Jolivet pc->ops->matapply = PCMatApply_LU; 2719b54502bSHong Zhang pc->ops->applytranspose = PCApplyTranspose_LU; 272*4dbf25a8SPierre Jolivet pc->ops->matapplytranspose = PCMatApplyTranspose_LU; 2739b54502bSHong Zhang pc->ops->setup = PCSetUp_LU; 2749b54502bSHong Zhang pc->ops->setfromoptions = PCSetFromOptions_LU; 27592e08861SBarry Smith pc->ops->view = PCView_Factor; 2760a545947SLisandro Dalcin pc->ops->applyrichardson = NULL; 2779566063dSJacob Faibussowitsch PetscCall(PetscObjectComposeFunction((PetscObject)pc, "PCFactorReorderForNonzeroDiagonal_C", PCFactorReorderForNonzeroDiagonal_LU)); 2783ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 2799b54502bSHong Zhang } 280