xref: /petsc/src/ksp/pc/impls/factor/icc/icc.c (revision f8260c8f9a86972e69213fdea9e81a0caf515f42)
1dba47a55SKris Buschelman #define PETSCKSP_DLL
2dba47a55SKris Buschelman 
37c4f633dSBarry Smith #include "../src/ksp/pc/impls/factor/icc/icc.h"   /*I "petscpc.h" I*/
49b54502bSHong Zhang 
59b54502bSHong Zhang #undef __FUNCT__
69b54502bSHong Zhang #define __FUNCT__ "PCSetup_ICC"
79b54502bSHong Zhang static PetscErrorCode PCSetup_ICC(PC pc)
89b54502bSHong Zhang {
99b54502bSHong Zhang   PC_ICC         *icc = (PC_ICC*)pc->data;
109b54502bSHong Zhang   IS             perm,cperm;
119b54502bSHong Zhang   PetscErrorCode ierr;
12f3a39becSBarry Smith   MatInfo        info;
139b54502bSHong Zhang 
149b54502bSHong Zhang   PetscFunctionBegin;
15075768bcSBarry Smith   ierr = MatGetOrdering(pc->pmat, ((PC_Factor*)icc)->ordering,&perm,&cperm);CHKERRQ(ierr);
169b54502bSHong Zhang 
179b54502bSHong Zhang   if (!pc->setupcalled) {
18d09a07f4SBarry Smith     if (!((PC_Factor*)icc)->fact){
19174acd27SBarry Smith       ierr = MatGetFactor(pc->pmat,((PC_Factor*)icc)->solvertype,MAT_FACTOR_ICC,& ((PC_Factor*)icc)->fact);CHKERRQ(ierr);
20a1f19f5aSHong Zhang     }
21075768bcSBarry Smith     ierr = MatICCFactorSymbolic(((PC_Factor*)icc)->fact,pc->pmat,perm,&((PC_Factor*)icc)->info);CHKERRQ(ierr);
229b54502bSHong Zhang   } else if (pc->flag != SAME_NONZERO_PATTERN) {
23075768bcSBarry Smith     ierr = MatDestroy(((PC_Factor*)icc)->fact);CHKERRQ(ierr);
242692d6eeSBarry Smith     ierr = MatGetFactor(pc->pmat,MATSOLVERPETSC,MAT_FACTOR_ICC,&((PC_Factor*)icc)->fact);CHKERRQ(ierr);
25075768bcSBarry Smith     ierr = MatICCFactorSymbolic(((PC_Factor*)icc)->fact,pc->pmat,perm,&((PC_Factor*)icc)->info);CHKERRQ(ierr);
269b54502bSHong Zhang   }
27075768bcSBarry Smith   ierr = MatGetInfo(((PC_Factor*)icc)->fact,MAT_LOCAL,&info);CHKERRQ(ierr);
28f3a39becSBarry Smith   icc->actualfill = info.fill_ratio_needed;
29f3a39becSBarry Smith 
309b54502bSHong Zhang   ierr = ISDestroy(cperm);CHKERRQ(ierr);
319b54502bSHong Zhang   ierr = ISDestroy(perm);CHKERRQ(ierr);
32075768bcSBarry Smith   ierr = MatCholeskyFactorNumeric(((PC_Factor*)icc)->fact,pc->pmat,&((PC_Factor*)icc)->info);CHKERRQ(ierr);
339b54502bSHong Zhang   PetscFunctionReturn(0);
349b54502bSHong Zhang }
359b54502bSHong Zhang 
369b54502bSHong Zhang #undef __FUNCT__
379b54502bSHong Zhang #define __FUNCT__ "PCDestroy_ICC"
389b54502bSHong Zhang static PetscErrorCode PCDestroy_ICC(PC pc)
399b54502bSHong Zhang {
409b54502bSHong Zhang   PC_ICC         *icc = (PC_ICC*)pc->data;
419b54502bSHong Zhang   PetscErrorCode ierr;
429b54502bSHong Zhang 
439b54502bSHong Zhang   PetscFunctionBegin;
44075768bcSBarry Smith   if (((PC_Factor*)icc)->fact) {ierr = MatDestroy(((PC_Factor*)icc)->fact);CHKERRQ(ierr);}
45503cfb0cSBarry Smith   ierr = PetscFree(((PC_Factor*)icc)->ordering);CHKERRQ(ierr);
46503cfb0cSBarry Smith   ierr = PetscFree(((PC_Factor*)icc)->solvertype);CHKERRQ(ierr);
479b54502bSHong Zhang   ierr = PetscFree(icc);CHKERRQ(ierr);
489b54502bSHong Zhang   PetscFunctionReturn(0);
499b54502bSHong Zhang }
509b54502bSHong Zhang 
519b54502bSHong Zhang #undef __FUNCT__
529b54502bSHong Zhang #define __FUNCT__ "PCApply_ICC"
539b54502bSHong Zhang static PetscErrorCode PCApply_ICC(PC pc,Vec x,Vec y)
549b54502bSHong Zhang {
559b54502bSHong Zhang   PC_ICC         *icc = (PC_ICC*)pc->data;
569b54502bSHong Zhang   PetscErrorCode ierr;
579b54502bSHong Zhang 
589b54502bSHong Zhang   PetscFunctionBegin;
59075768bcSBarry Smith   ierr = MatSolve(((PC_Factor*)icc)->fact,x,y);CHKERRQ(ierr);
609b54502bSHong Zhang   PetscFunctionReturn(0);
619b54502bSHong Zhang }
629b54502bSHong Zhang 
639b54502bSHong Zhang #undef __FUNCT__
649b54502bSHong Zhang #define __FUNCT__ "PCApplySymmetricLeft_ICC"
659b54502bSHong Zhang static PetscErrorCode PCApplySymmetricLeft_ICC(PC pc,Vec x,Vec y)
669b54502bSHong Zhang {
679b54502bSHong Zhang   PetscErrorCode ierr;
689b54502bSHong Zhang   PC_ICC         *icc = (PC_ICC*)pc->data;
699b54502bSHong Zhang 
709b54502bSHong Zhang   PetscFunctionBegin;
71075768bcSBarry Smith   ierr = MatForwardSolve(((PC_Factor*)icc)->fact,x,y);CHKERRQ(ierr);
729b54502bSHong Zhang   PetscFunctionReturn(0);
739b54502bSHong Zhang }
749b54502bSHong Zhang 
759b54502bSHong Zhang #undef __FUNCT__
769b54502bSHong Zhang #define __FUNCT__ "PCApplySymmetricRight_ICC"
779b54502bSHong Zhang static PetscErrorCode PCApplySymmetricRight_ICC(PC pc,Vec x,Vec y)
789b54502bSHong Zhang {
799b54502bSHong Zhang   PetscErrorCode ierr;
809b54502bSHong Zhang   PC_ICC         *icc = (PC_ICC*)pc->data;
819b54502bSHong Zhang 
829b54502bSHong Zhang   PetscFunctionBegin;
83075768bcSBarry Smith   ierr = MatBackwardSolve(((PC_Factor*)icc)->fact,x,y);CHKERRQ(ierr);
849b54502bSHong Zhang   PetscFunctionReturn(0);
859b54502bSHong Zhang }
869b54502bSHong Zhang 
879b54502bSHong Zhang #undef __FUNCT__
889b54502bSHong Zhang #define __FUNCT__ "PCSetFromOptions_ICC"
899b54502bSHong Zhang static PetscErrorCode PCSetFromOptions_ICC(PC pc)
909b54502bSHong Zhang {
919b54502bSHong Zhang   PC_ICC         *icc = (PC_ICC*)pc->data;
92ace3abfcSBarry Smith   PetscBool      flg;
935a586d82SBarry Smith   /* PetscReal      dt[3];*/
949b54502bSHong Zhang   PetscErrorCode ierr;
959b54502bSHong Zhang 
969b54502bSHong Zhang   PetscFunctionBegin;
979b54502bSHong Zhang   ierr = PetscOptionsHead("ICC Options");CHKERRQ(ierr);
988ff23777SHong Zhang     ierr = PCSetFromOptions_Factor(pc);CHKERRQ(ierr);
999b54502bSHong Zhang 
1008ff23777SHong Zhang     ierr = PetscOptionsReal("-pc_factor_levels","levels of fill","PCFactorSetLevels",((PC_Factor*)icc)->info.levels,&((PC_Factor*)icc)->info.levels,&flg);CHKERRQ(ierr);
1015a586d82SBarry Smith     /*dt[0] = ((PC_Factor*)icc)->info.dt;
1024c9036c7SBarry Smith     dt[1] = ((PC_Factor*)icc)->info.dtcol;
1034c9036c7SBarry Smith     dt[2] = ((PC_Factor*)icc)->info.dtcount;
10478fc6b22SHong Zhang     PetscInt       dtmax = 3;
105b7c853c4SBarry Smith     ierr = PetscOptionsRealArray("-pc_factor_drop_tolerance","<dt,dtcol,maxrowcount>","PCFactorSetDropTolerance",dt,&dtmax,&flg);CHKERRQ(ierr);
1064c9036c7SBarry Smith     if (flg) {
107b7c853c4SBarry Smith       ierr = PCFactorSetDropTolerance(pc,dt[0],dt[1],(PetscInt)dt[2]);CHKERRQ(ierr);
1084c9036c7SBarry Smith     }
10978fc6b22SHong Zhang     */
1109b54502bSHong Zhang   ierr = PetscOptionsTail();CHKERRQ(ierr);
1119b54502bSHong Zhang   PetscFunctionReturn(0);
1129b54502bSHong Zhang }
1139b54502bSHong Zhang 
1149b54502bSHong Zhang #undef __FUNCT__
1159b54502bSHong Zhang #define __FUNCT__ "PCView_ICC"
1169b54502bSHong Zhang static PetscErrorCode PCView_ICC(PC pc,PetscViewer viewer)
1179b54502bSHong Zhang {
1189b54502bSHong Zhang   PetscErrorCode ierr;
1199b54502bSHong Zhang 
1209b54502bSHong Zhang   PetscFunctionBegin;
121914a5d51SHong Zhang   ierr = PCView_Factor(pc,viewer);CHKERRQ(ierr);
1229b54502bSHong Zhang   PetscFunctionReturn(0);
1239b54502bSHong Zhang }
1249b54502bSHong Zhang 
125295a483bSBarry Smith EXTERN_C_BEGIN
1267087cfbeSBarry Smith extern PetscErrorCode  PCFactorSetDropTolerance_ILU(PC,PetscReal,PetscReal,PetscInt);
127295a483bSBarry Smith EXTERN_C_END
1284c9036c7SBarry Smith 
1299b54502bSHong Zhang /*MC
1309b54502bSHong Zhang      PCICC - Incomplete Cholesky factorization preconditioners.
1319b54502bSHong Zhang 
1329b54502bSHong Zhang    Options Database Keys:
1332401956bSBarry Smith +  -pc_factor_levels <k> - number of levels of fill for ICC(k)
1342401956bSBarry Smith .  -pc_factor_in_place - only for ICC(0) with natural ordering, reuses the space of the matrix for
1359b54502bSHong Zhang                       its factorization (overwrites original matrix)
13655ba2a51SBarry Smith .  -pc_factor_fill <nfill> - expected amount of fill in factored matrix compared to original matrix, nfill > 1
137145b9266SHong Zhang -  -pc_factor_mat_ordering_type <natural,nd,1wd,rcm,qmd> - set the row/column ordering of the factored matrix
1389b54502bSHong Zhang 
1399b54502bSHong Zhang    Level: beginner
1409b54502bSHong Zhang 
1419b54502bSHong Zhang   Concepts: incomplete Cholesky factorization
1429b54502bSHong Zhang 
143d9ba8547SBarry Smith    Notes: Only implemented for some matrix formats. Not implemented in parallel.
1449b54502bSHong Zhang 
1459b54502bSHong Zhang           For BAIJ matrices this implements a point block ICC.
1469b54502bSHong Zhang 
1479b54502bSHong Zhang           The Manteuffel shift is only implemented for matrices with block size 1
1489b54502bSHong Zhang 
14914d2772eSHong Zhang           By default, the Manteuffel is applied (for matrices with block size 1). Call PCFactorSetShiftType(pc,MAT_SHIFT_POSITIVE_DEFINITE);
1509b54502bSHong Zhang           to turn off the shift.
1519b54502bSHong Zhang 
152c582cd25SBarry Smith    References:
153c582cd25SBarry Smith    Review article: APPROXIMATE AND INCOMPLETE FACTORIZATIONS, TONY F. CHAN AND HENK A. VAN DER VORST
154c582cd25SBarry Smith       http://igitur-archive.library.uu.nl/math/2001-0621-115821/proc.pdf chapter in Parallel Numerical
155c582cd25SBarry Smith       Algorithms, edited by D. Keyes, A. Semah, V. Venkatakrishnan, ICASE/LaRC Interdisciplinary Series in
156c582cd25SBarry Smith       Science and Engineering, Kluwer, pp. 167--202.
157c582cd25SBarry Smith 
1589b54502bSHong Zhang 
1599b54502bSHong Zhang .seealso:  PCCreate(), PCSetType(), PCType (for list of available types), PC, PCSOR, MatOrderingType,
16081f96dccSHong Zhang            PCFactorSetZeroPivot(), PCFactorSetShiftType(), PCFactorSetShiftAmount(),
161e5a9bf91SBarry Smith            PCFactorSetFill(), PCFactorSetMatOrderingType(), PCFactorSetReuseOrdering(),
1628ff23777SHong Zhang            PCFactorSetLevels()
1639b54502bSHong Zhang 
1649b54502bSHong Zhang M*/
1659b54502bSHong Zhang 
1669b54502bSHong Zhang EXTERN_C_BEGIN
1679b54502bSHong Zhang #undef __FUNCT__
1689b54502bSHong Zhang #define __FUNCT__ "PCCreate_ICC"
1697087cfbeSBarry Smith PetscErrorCode  PCCreate_ICC(PC pc)
1709b54502bSHong Zhang {
1719b54502bSHong Zhang   PetscErrorCode ierr;
1729b54502bSHong Zhang   PC_ICC         *icc;
1739b54502bSHong Zhang 
1749b54502bSHong Zhang   PetscFunctionBegin;
17538f2d2fdSLisandro Dalcin   ierr = PetscNewLog(pc,PC_ICC,&icc);CHKERRQ(ierr);
1769b54502bSHong Zhang 
177075768bcSBarry Smith   ((PC_Factor*)icc)->fact	          = 0;
1782692d6eeSBarry Smith   ierr = PetscStrallocpy(MATORDERINGNATURAL,&((PC_Factor*)icc)->ordering);CHKERRQ(ierr);
1792692d6eeSBarry Smith   ierr = PetscStrallocpy(MATSOLVERPETSC,&((PC_Factor*)icc)->solvertype);CHKERRQ(ierr);
180075768bcSBarry Smith   ierr = MatFactorInfoInitialize(&((PC_Factor*)icc)->info);CHKERRQ(ierr);
181879e8a4dSBarry Smith   ((PC_Factor*)icc)->factortype         = MAT_FACTOR_ICC;
18275567043SBarry Smith   ((PC_Factor*)icc)->info.levels	= 0.;
183075768bcSBarry Smith   ((PC_Factor*)icc)->info.fill          = 1.0;
1849b54502bSHong Zhang   icc->implctx            = 0;
1859b54502bSHong Zhang 
186075768bcSBarry Smith   ((PC_Factor*)icc)->info.dtcol       = PETSC_DEFAULT;
187f4db908eSBarry Smith   ((PC_Factor*)icc)->info.shifttype   = (PetscReal) MAT_SHIFT_POSITIVE_DEFINITE;
188daa17b54SHong Zhang   ((PC_Factor*)icc)->info.shiftamount = 1.e-12;
189075768bcSBarry Smith   ((PC_Factor*)icc)->info.zeropivot   = 1.e-12;
1909b54502bSHong Zhang 
191915743fcSHong Zhang   pc->data	               = (void*)icc;
1929b54502bSHong Zhang   pc->ops->apply	       = PCApply_ICC;
1939b54502bSHong Zhang   pc->ops->setup               = PCSetup_ICC;
1949b54502bSHong Zhang   pc->ops->destroy	       = PCDestroy_ICC;
1959b54502bSHong Zhang   pc->ops->setfromoptions      = PCSetFromOptions_ICC;
1969b54502bSHong Zhang   pc->ops->view                = PCView_ICC;
19785317021SBarry Smith   pc->ops->getfactoredmatrix   = PCFactorGetMatrix_Factor;
1989b54502bSHong Zhang   pc->ops->applysymmetricleft  = PCApplySymmetricLeft_ICC;
1999b54502bSHong Zhang   pc->ops->applysymmetricright = PCApplySymmetricRight_ICC;
2009b54502bSHong Zhang 
201*f8260c8fSBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCFactorSetUpMatSolverPackage_C","PCFactorSetUpMatSolverPackage_Factor",
202*f8260c8fSBarry Smith                     PCFactorSetUpMatSolverPackage_Factor);CHKERRQ(ierr);
2037112b564SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCFactorGetMatSolverPackage_C","PCFactorGetMatSolverPackage_Factor",
2047112b564SBarry Smith                     PCFactorGetMatSolverPackage_Factor);CHKERRQ(ierr);
20585317021SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCFactorSetZeroPivot_C","PCFactorSetZeroPivot_Factor",
20685317021SBarry Smith                     PCFactorSetZeroPivot_Factor);CHKERRQ(ierr);
207d90ac83dSHong Zhang   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCFactorSetShiftType_C","PCFactorSetShiftType_Factor",
208d90ac83dSHong Zhang                     PCFactorSetShiftType_Factor);CHKERRQ(ierr);
209d90ac83dSHong Zhang   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCFactorSetShiftAmount_C","PCFactorSetShiftAmount_Factor",
210d90ac83dSHong Zhang                     PCFactorSetShiftAmount_Factor);CHKERRQ(ierr);
21185317021SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCFactorSetLevels_C","PCFactorSetLevels_Factor",
21285317021SBarry Smith                     PCFactorSetLevels_Factor);CHKERRQ(ierr);
21385317021SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCFactorSetFill_C","PCFactorSetFill_Factor",
21485317021SBarry Smith                     PCFactorSetFill_Factor);CHKERRQ(ierr);
21585317021SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCFactorSetMatOrderingType_C","PCFactorSetMatOrderingType_Factor",
21685317021SBarry Smith                     PCFactorSetMatOrderingType_Factor);CHKERRQ(ierr);
217174acd27SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCFactorSetMatSolverPackage_C","PCFactorSetMatSolverPackage_Factor",
218174acd27SBarry Smith                     PCFactorSetMatSolverPackage_Factor);CHKERRQ(ierr);
219b7c853c4SBarry Smith   ierr = PetscObjectComposeFunctionDynamic((PetscObject)pc,"PCFactorSetDropTolerance_C","PCFactorSetDropTolerance_ILU",
220b7c853c4SBarry Smith                     PCFactorSetDropTolerance_ILU);CHKERRQ(ierr);
2219b54502bSHong Zhang   PetscFunctionReturn(0);
2229b54502bSHong Zhang }
2239b54502bSHong Zhang EXTERN_C_END
2249b54502bSHong Zhang 
2259b54502bSHong Zhang 
226