xref: /petsc/src/ksp/pc/impls/factor/icc/icc.c (revision c6e4fdc6cd3657a39cd296b432bf7685bf018768)
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