1dba47a55SKris Buschelman 2c6db04a5SJed Brown #include <../src/ksp/pc/impls/factor/icc/icc.h> /*I "petscpc.h" I*/ 39b54502bSHong Zhang 49b54502bSHong Zhang #undef __FUNCT__ 54cccfbddSHong Zhang #define __FUNCT__ "PCSetUp_ICC" 64cccfbddSHong Zhang static PetscErrorCode PCSetUp_ICC(PC pc) 79b54502bSHong Zhang { 89b54502bSHong Zhang PC_ICC *icc = (PC_ICC*)pc->data; 99b54502bSHong Zhang IS perm,cperm; 109b54502bSHong Zhang PetscErrorCode ierr; 11f3a39becSBarry Smith MatInfo info; 124cccfbddSHong Zhang Mat F; 1300c67f3bSHong Zhang const MatSolverPackage stype; 149b54502bSHong Zhang 159b54502bSHong Zhang PetscFunctionBegin; 16*c6e4fdc6SHong Zhang pc->failedreason = PC_NOERROR; 17075768bcSBarry Smith ierr = MatGetOrdering(pc->pmat, ((PC_Factor*)icc)->ordering,&perm,&cperm);CHKERRQ(ierr); 189b54502bSHong Zhang 1984d44b13SHong Zhang ierr = MatSetErrorIfFailure(pc->pmat,pc->erroriffailure);CHKERRQ(ierr); 209b54502bSHong Zhang if (!pc->setupcalled) { 21d09a07f4SBarry Smith if (!((PC_Factor*)icc)->fact) { 22174acd27SBarry Smith ierr = MatGetFactor(pc->pmat,((PC_Factor*)icc)->solvertype,MAT_FACTOR_ICC,&((PC_Factor*)icc)->fact);CHKERRQ(ierr); 23a1f19f5aSHong Zhang } 24075768bcSBarry Smith ierr = MatICCFactorSymbolic(((PC_Factor*)icc)->fact,pc->pmat,perm,&((PC_Factor*)icc)->info);CHKERRQ(ierr); 259b54502bSHong Zhang } else if (pc->flag != SAME_NONZERO_PATTERN) { 266bf464f9SBarry Smith ierr = MatDestroy(&((PC_Factor*)icc)->fact);CHKERRQ(ierr); 2714798fb4SJed Brown ierr = MatGetFactor(pc->pmat,((PC_Factor*)icc)->solvertype,MAT_FACTOR_ICC,&((PC_Factor*)icc)->fact);CHKERRQ(ierr); 28075768bcSBarry Smith ierr = MatICCFactorSymbolic(((PC_Factor*)icc)->fact,pc->pmat,perm,&((PC_Factor*)icc)->info);CHKERRQ(ierr); 299b54502bSHong Zhang } 30075768bcSBarry Smith ierr = MatGetInfo(((PC_Factor*)icc)->fact,MAT_LOCAL,&info);CHKERRQ(ierr); 31f3a39becSBarry Smith icc->actualfill = info.fill_ratio_needed; 32f3a39becSBarry Smith 33fcfd50ebSBarry Smith ierr = ISDestroy(&cperm);CHKERRQ(ierr); 34fcfd50ebSBarry Smith ierr = ISDestroy(&perm);CHKERRQ(ierr); 356baea169SHong Zhang 364cccfbddSHong Zhang F = ((PC_Factor*)icc)->fact; 374cccfbddSHong Zhang if (F->errortype) { /* FactorSymbolic() fails */ 384cccfbddSHong Zhang pc->failedreason = (PCFailedReason)F->errortype; 396baea169SHong Zhang PetscFunctionReturn(0); 406baea169SHong Zhang } 416baea169SHong Zhang 42075768bcSBarry Smith ierr = MatCholeskyFactorNumeric(((PC_Factor*)icc)->fact,pc->pmat,&((PC_Factor*)icc)->info);CHKERRQ(ierr); 434cccfbddSHong Zhang if (F->errortype) { /* FactorNumeric() fails */ 444cccfbddSHong Zhang pc->failedreason = (PCFailedReason)F->errortype; 456baea169SHong Zhang } 4600c67f3bSHong Zhang 4700c67f3bSHong Zhang ierr = PCFactorGetMatSolverPackage(pc,&stype);CHKERRQ(ierr); 4800c67f3bSHong Zhang if (!stype) { 4900c67f3bSHong Zhang ierr = PCFactorSetMatSolverPackage(pc,((PC_Factor*)icc)->fact->solvertype);CHKERRQ(ierr); 5000c67f3bSHong Zhang } 519b54502bSHong Zhang PetscFunctionReturn(0); 529b54502bSHong Zhang } 539b54502bSHong Zhang 549b54502bSHong Zhang #undef __FUNCT__ 55574deadeSBarry Smith #define __FUNCT__ "PCReset_ICC" 56574deadeSBarry Smith static PetscErrorCode PCReset_ICC(PC pc) 57574deadeSBarry Smith { 58574deadeSBarry Smith PC_ICC *icc = (PC_ICC*)pc->data; 59574deadeSBarry Smith PetscErrorCode ierr; 60574deadeSBarry Smith 61574deadeSBarry Smith PetscFunctionBegin; 626bf464f9SBarry Smith ierr = MatDestroy(&((PC_Factor*)icc)->fact);CHKERRQ(ierr); 63574deadeSBarry Smith PetscFunctionReturn(0); 64574deadeSBarry Smith } 65574deadeSBarry Smith 66574deadeSBarry Smith #undef __FUNCT__ 679b54502bSHong Zhang #define __FUNCT__ "PCDestroy_ICC" 689b54502bSHong Zhang static PetscErrorCode PCDestroy_ICC(PC pc) 699b54502bSHong Zhang { 709b54502bSHong Zhang PC_ICC *icc = (PC_ICC*)pc->data; 719b54502bSHong Zhang PetscErrorCode ierr; 729b54502bSHong Zhang 739b54502bSHong Zhang PetscFunctionBegin; 74574deadeSBarry Smith ierr = PCReset_ICC(pc);CHKERRQ(ierr); 75503cfb0cSBarry Smith ierr = PetscFree(((PC_Factor*)icc)->ordering);CHKERRQ(ierr); 76503cfb0cSBarry Smith ierr = PetscFree(((PC_Factor*)icc)->solvertype);CHKERRQ(ierr); 77c31cb41cSBarry Smith ierr = PetscFree(pc->data);CHKERRQ(ierr); 789b54502bSHong Zhang PetscFunctionReturn(0); 799b54502bSHong Zhang } 809b54502bSHong Zhang 819b54502bSHong Zhang #undef __FUNCT__ 829b54502bSHong Zhang #define __FUNCT__ "PCApply_ICC" 839b54502bSHong Zhang static PetscErrorCode PCApply_ICC(PC pc,Vec x,Vec y) 849b54502bSHong Zhang { 859b54502bSHong Zhang PC_ICC *icc = (PC_ICC*)pc->data; 869b54502bSHong Zhang PetscErrorCode ierr; 879b54502bSHong Zhang 889b54502bSHong Zhang PetscFunctionBegin; 89075768bcSBarry Smith ierr = MatSolve(((PC_Factor*)icc)->fact,x,y);CHKERRQ(ierr); 909b54502bSHong Zhang PetscFunctionReturn(0); 919b54502bSHong Zhang } 929b54502bSHong Zhang 939b54502bSHong Zhang #undef __FUNCT__ 949b54502bSHong Zhang #define __FUNCT__ "PCApplySymmetricLeft_ICC" 959b54502bSHong Zhang static PetscErrorCode PCApplySymmetricLeft_ICC(PC pc,Vec x,Vec y) 969b54502bSHong Zhang { 979b54502bSHong Zhang PetscErrorCode ierr; 989b54502bSHong Zhang PC_ICC *icc = (PC_ICC*)pc->data; 999b54502bSHong Zhang 1009b54502bSHong Zhang PetscFunctionBegin; 101075768bcSBarry Smith ierr = MatForwardSolve(((PC_Factor*)icc)->fact,x,y);CHKERRQ(ierr); 1029b54502bSHong Zhang PetscFunctionReturn(0); 1039b54502bSHong Zhang } 1049b54502bSHong Zhang 1059b54502bSHong Zhang #undef __FUNCT__ 1069b54502bSHong Zhang #define __FUNCT__ "PCApplySymmetricRight_ICC" 1079b54502bSHong Zhang static PetscErrorCode PCApplySymmetricRight_ICC(PC pc,Vec x,Vec y) 1089b54502bSHong Zhang { 1099b54502bSHong Zhang PetscErrorCode ierr; 1109b54502bSHong Zhang PC_ICC *icc = (PC_ICC*)pc->data; 1119b54502bSHong Zhang 1129b54502bSHong Zhang PetscFunctionBegin; 113075768bcSBarry Smith ierr = MatBackwardSolve(((PC_Factor*)icc)->fact,x,y);CHKERRQ(ierr); 1149b54502bSHong Zhang PetscFunctionReturn(0); 1159b54502bSHong Zhang } 1169b54502bSHong Zhang 1179b54502bSHong Zhang #undef __FUNCT__ 1189b54502bSHong Zhang #define __FUNCT__ "PCSetFromOptions_ICC" 1194416b707SBarry Smith static PetscErrorCode PCSetFromOptions_ICC(PetscOptionItems *PetscOptionsObject,PC pc) 1209b54502bSHong Zhang { 1219b54502bSHong Zhang PC_ICC *icc = (PC_ICC*)pc->data; 122ace3abfcSBarry Smith PetscBool flg; 1239b54502bSHong Zhang PetscErrorCode ierr; 1242fa5cd67SKarl Rupp /* PetscReal dt[3];*/ 1259b54502bSHong Zhang 1269b54502bSHong Zhang PetscFunctionBegin; 127e55864a3SBarry Smith ierr = PetscOptionsHead(PetscOptionsObject,"ICC Options");CHKERRQ(ierr); 128e55864a3SBarry Smith ierr = PCSetFromOptions_Factor(PetscOptionsObject,pc);CHKERRQ(ierr); 1299b54502bSHong Zhang 1308ff23777SHong Zhang ierr = PetscOptionsReal("-pc_factor_levels","levels of fill","PCFactorSetLevels",((PC_Factor*)icc)->info.levels,&((PC_Factor*)icc)->info.levels,&flg);CHKERRQ(ierr); 1315a586d82SBarry Smith /*dt[0] = ((PC_Factor*)icc)->info.dt; 1324c9036c7SBarry Smith dt[1] = ((PC_Factor*)icc)->info.dtcol; 1334c9036c7SBarry Smith dt[2] = ((PC_Factor*)icc)->info.dtcount; 13478fc6b22SHong Zhang PetscInt dtmax = 3; 135b7c853c4SBarry Smith ierr = PetscOptionsRealArray("-pc_factor_drop_tolerance","<dt,dtcol,maxrowcount>","PCFactorSetDropTolerance",dt,&dtmax,&flg);CHKERRQ(ierr); 1364c9036c7SBarry Smith if (flg) { 137b7c853c4SBarry Smith ierr = PCFactorSetDropTolerance(pc,dt[0],dt[1],(PetscInt)dt[2]);CHKERRQ(ierr); 1384c9036c7SBarry Smith } 13978fc6b22SHong Zhang */ 1409b54502bSHong Zhang ierr = PetscOptionsTail();CHKERRQ(ierr); 1419b54502bSHong Zhang PetscFunctionReturn(0); 1429b54502bSHong Zhang } 1439b54502bSHong Zhang 1449b54502bSHong Zhang #undef __FUNCT__ 1459b54502bSHong Zhang #define __FUNCT__ "PCView_ICC" 1469b54502bSHong Zhang static PetscErrorCode PCView_ICC(PC pc,PetscViewer viewer) 1479b54502bSHong Zhang { 1489b54502bSHong Zhang PetscErrorCode ierr; 1499b54502bSHong Zhang 1509b54502bSHong Zhang PetscFunctionBegin; 151914a5d51SHong Zhang ierr = PCView_Factor(pc,viewer);CHKERRQ(ierr); 1529b54502bSHong Zhang PetscFunctionReturn(0); 1539b54502bSHong Zhang } 1549b54502bSHong Zhang 1557087cfbeSBarry Smith extern PetscErrorCode PCFactorSetDropTolerance_ILU(PC,PetscReal,PetscReal,PetscInt); 1564c9036c7SBarry Smith 157c60c7ad4SBarry Smith #undef __FUNCT__ 158c60c7ad4SBarry Smith #define __FUNCT__ "PCFactorGetUseInPlace_ICC" 159c60c7ad4SBarry Smith PetscErrorCode PCFactorGetUseInPlace_ICC(PC pc,PetscBool *flg) 160c60c7ad4SBarry Smith { 161c60c7ad4SBarry Smith PetscFunctionBegin; 162c60c7ad4SBarry Smith *flg = PETSC_FALSE; 163c60c7ad4SBarry Smith PetscFunctionReturn(0); 164c60c7ad4SBarry Smith } 165c60c7ad4SBarry Smith 1669b54502bSHong Zhang /*MC 1679b54502bSHong Zhang PCICC - Incomplete Cholesky factorization preconditioners. 1689b54502bSHong Zhang 1699b54502bSHong Zhang Options Database Keys: 1702401956bSBarry Smith + -pc_factor_levels <k> - number of levels of fill for ICC(k) 1712401956bSBarry Smith . -pc_factor_in_place - only for ICC(0) with natural ordering, reuses the space of the matrix for 1729b54502bSHong Zhang its factorization (overwrites original matrix) 17355ba2a51SBarry Smith . -pc_factor_fill <nfill> - expected amount of fill in factored matrix compared to original matrix, nfill > 1 174145b9266SHong Zhang - -pc_factor_mat_ordering_type <natural,nd,1wd,rcm,qmd> - set the row/column ordering of the factored matrix 1759b54502bSHong Zhang 1769b54502bSHong Zhang Level: beginner 1779b54502bSHong Zhang 1789b54502bSHong Zhang Concepts: incomplete Cholesky factorization 1799b54502bSHong Zhang 180d9ba8547SBarry Smith Notes: Only implemented for some matrix formats. Not implemented in parallel. 1819b54502bSHong Zhang 1829b54502bSHong Zhang For BAIJ matrices this implements a point block ICC. 1839b54502bSHong Zhang 1849b54502bSHong Zhang The Manteuffel shift is only implemented for matrices with block size 1 1859b54502bSHong Zhang 18614d2772eSHong Zhang By default, the Manteuffel is applied (for matrices with block size 1). Call PCFactorSetShiftType(pc,MAT_SHIFT_POSITIVE_DEFINITE); 1879b54502bSHong Zhang to turn off the shift. 1889b54502bSHong Zhang 189c582cd25SBarry Smith References: 19096a0c994SBarry Smith . 1. - TONY F. CHAN AND HENK A. VAN DER VORST, Review article: APPROXIMATE AND INCOMPLETE FACTORIZATIONS, 19196a0c994SBarry Smith Chapter in Parallel Numerical Algorithms, edited by D. Keyes, A. Semah, V. Venkatakrishnan, ICASE/LaRC Interdisciplinary Series in 19296a0c994SBarry Smith Science and Engineering, Kluwer. 193c582cd25SBarry Smith 1949b54502bSHong Zhang 1959b54502bSHong Zhang .seealso: PCCreate(), PCSetType(), PCType (for list of available types), PC, PCSOR, MatOrderingType, 19681f96dccSHong Zhang PCFactorSetZeroPivot(), PCFactorSetShiftType(), PCFactorSetShiftAmount(), 197e5a9bf91SBarry Smith PCFactorSetFill(), PCFactorSetMatOrderingType(), PCFactorSetReuseOrdering(), 1988ff23777SHong Zhang PCFactorSetLevels() 1999b54502bSHong Zhang 2009b54502bSHong Zhang M*/ 2019b54502bSHong Zhang 2029b54502bSHong Zhang #undef __FUNCT__ 2039b54502bSHong Zhang #define __FUNCT__ "PCCreate_ICC" 2048cc058d9SJed Brown PETSC_EXTERN PetscErrorCode PCCreate_ICC(PC pc) 2059b54502bSHong Zhang { 2069b54502bSHong Zhang PetscErrorCode ierr; 2079b54502bSHong Zhang PC_ICC *icc; 2089b54502bSHong Zhang 2099b54502bSHong Zhang PetscFunctionBegin; 210b00a9115SJed Brown ierr = PetscNewLog(pc,&icc);CHKERRQ(ierr); 2119b54502bSHong Zhang 212075768bcSBarry Smith ((PC_Factor*)icc)->fact = 0; 2132fa5cd67SKarl Rupp 21419fd82e9SBarry Smith ierr = PetscStrallocpy(MATORDERINGNATURAL,(char**)&((PC_Factor*)icc)->ordering);CHKERRQ(ierr); 215075768bcSBarry Smith ierr = MatFactorInfoInitialize(&((PC_Factor*)icc)->info);CHKERRQ(ierr); 2162fa5cd67SKarl Rupp 217879e8a4dSBarry Smith ((PC_Factor*)icc)->factortype = MAT_FACTOR_ICC; 21875567043SBarry Smith ((PC_Factor*)icc)->info.levels = 0.; 219075768bcSBarry Smith ((PC_Factor*)icc)->info.fill = 1.0; 2209b54502bSHong Zhang icc->implctx = 0; 2219b54502bSHong Zhang 222075768bcSBarry Smith ((PC_Factor*)icc)->info.dtcol = PETSC_DEFAULT; 223f4db908eSBarry Smith ((PC_Factor*)icc)->info.shifttype = (PetscReal) MAT_SHIFT_POSITIVE_DEFINITE; 2240ed735ceSHong Zhang ((PC_Factor*)icc)->info.shiftamount = 100.0*PETSC_MACHINE_EPSILON; 2250ed735ceSHong Zhang ((PC_Factor*)icc)->info.zeropivot = 100.0*PETSC_MACHINE_EPSILON; 2269b54502bSHong Zhang 227915743fcSHong Zhang pc->data = (void*)icc; 2289b54502bSHong Zhang pc->ops->apply = PCApply_ICC; 229d674540eSJed Brown pc->ops->applytranspose = PCApply_ICC; 2304cccfbddSHong Zhang pc->ops->setup = PCSetUp_ICC; 231574deadeSBarry Smith pc->ops->reset = PCReset_ICC; 2329b54502bSHong Zhang pc->ops->destroy = PCDestroy_ICC; 2339b54502bSHong Zhang pc->ops->setfromoptions = PCSetFromOptions_ICC; 2349b54502bSHong Zhang pc->ops->view = PCView_ICC; 23585317021SBarry Smith pc->ops->getfactoredmatrix = PCFactorGetMatrix_Factor; 2369b54502bSHong Zhang pc->ops->applysymmetricleft = PCApplySymmetricLeft_ICC; 2379b54502bSHong Zhang pc->ops->applysymmetricright = PCApplySymmetricRight_ICC; 2389b54502bSHong Zhang 239c7f610a1SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetZeroPivot_C",PCFactorSetZeroPivot_Factor);CHKERRQ(ierr); 240c7f610a1SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetZeroPivot_C",PCFactorGetZeroPivot_Factor);CHKERRQ(ierr); 241c7f610a1SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetShiftType_C",PCFactorSetShiftType_Factor);CHKERRQ(ierr); 242c7f610a1SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetShiftType_C",PCFactorGetShiftType_Factor);CHKERRQ(ierr); 243c7f610a1SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetShiftAmount_C",PCFactorSetShiftAmount_Factor);CHKERRQ(ierr); 244c7f610a1SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetShiftAmount_C",PCFactorGetShiftAmount_Factor);CHKERRQ(ierr); 245bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetUpMatSolverPackage_C",PCFactorSetUpMatSolverPackage_Factor);CHKERRQ(ierr); 246bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetMatSolverPackage_C",PCFactorGetMatSolverPackage_Factor);CHKERRQ(ierr); 247bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetLevels_C",PCFactorSetLevels_Factor);CHKERRQ(ierr); 2482591b318SToby Isaac ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetLevels_C",PCFactorGetLevels_Factor);CHKERRQ(ierr); 249bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetFill_C",PCFactorSetFill_Factor);CHKERRQ(ierr); 250bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetMatOrderingType_C",PCFactorSetMatOrderingType_Factor);CHKERRQ(ierr); 251bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetMatSolverPackage_C",PCFactorSetMatSolverPackage_Factor);CHKERRQ(ierr); 252bdf89e91SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetDropTolerance_C",PCFactorSetDropTolerance_ILU);CHKERRQ(ierr); 253c60c7ad4SBarry Smith ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetUseInPlace_C",PCFactorGetUseInPlace_ICC);CHKERRQ(ierr); 2549b54502bSHong Zhang PetscFunctionReturn(0); 2559b54502bSHong Zhang } 2569b54502bSHong Zhang 2579b54502bSHong Zhang 258