xref: /petsc/src/ksp/pc/impls/factor/cholesky/cholesky.c (revision c6e4fdc6cd3657a39cd296b432bf7685bf018768)
19b54502bSHong Zhang 
29b54502bSHong Zhang /*
39b54502bSHong Zhang    Defines a direct factorization preconditioner for any Mat implementation
49b54502bSHong Zhang    Note: this need not be consided a preconditioner since it supplies
59b54502bSHong Zhang          a direct solver.
69b54502bSHong Zhang */
7c6db04a5SJed Brown #include <../src/ksp/pc/impls/factor/factor.h>         /*I "petscpc.h" I*/
89b54502bSHong Zhang 
99b54502bSHong Zhang typedef struct {
10075768bcSBarry Smith   PC_Factor hdr;
119b54502bSHong Zhang   PetscReal actualfill;              /* actual fill in factor */
12ace3abfcSBarry Smith   PetscBool inplace;                 /* flag indicating in-place factorization */
139b54502bSHong Zhang   IS        row,col;                 /* index sets used for reordering */
14ace3abfcSBarry Smith   PetscBool reuseordering;           /* reuses previous reordering computed */
15ace3abfcSBarry Smith   PetscBool reusefill;               /* reuse fill from previous Cholesky */
169b54502bSHong Zhang } PC_Cholesky;
179b54502bSHong Zhang 
189b54502bSHong Zhang #undef __FUNCT__
192401956bSBarry Smith #define __FUNCT__ "PCFactorSetReuseOrdering_Cholesky"
20b2573a8aSBarry Smith static PetscErrorCode  PCFactorSetReuseOrdering_Cholesky(PC pc,PetscBool flag)
219b54502bSHong Zhang {
2285a85e9cSBarry Smith   PC_Cholesky *lu = (PC_Cholesky*)pc->data;
239b54502bSHong Zhang 
249b54502bSHong Zhang   PetscFunctionBegin;
259b54502bSHong Zhang   lu->reuseordering = flag;
269b54502bSHong Zhang   PetscFunctionReturn(0);
279b54502bSHong Zhang }
289b54502bSHong Zhang 
299b54502bSHong Zhang #undef __FUNCT__
302401956bSBarry Smith #define __FUNCT__ "PCFactorSetReuseFill_Cholesky"
31b2573a8aSBarry Smith static PetscErrorCode  PCFactorSetReuseFill_Cholesky(PC pc,PetscBool flag)
329b54502bSHong Zhang {
3385a85e9cSBarry Smith   PC_Cholesky *lu = (PC_Cholesky*)pc->data;
349b54502bSHong Zhang 
359b54502bSHong Zhang   PetscFunctionBegin;
369b54502bSHong Zhang   lu->reusefill = flag;
379b54502bSHong Zhang   PetscFunctionReturn(0);
389b54502bSHong Zhang }
399b54502bSHong Zhang 
409b54502bSHong Zhang #undef __FUNCT__
419b54502bSHong Zhang #define __FUNCT__ "PCSetFromOptions_Cholesky"
424416b707SBarry Smith static PetscErrorCode PCSetFromOptions_Cholesky(PetscOptionItems *PetscOptionsObject,PC pc)
439b54502bSHong Zhang {
449b54502bSHong Zhang   PetscErrorCode ierr;
459b54502bSHong Zhang 
469b54502bSHong Zhang   PetscFunctionBegin;
47e55864a3SBarry Smith   ierr = PetscOptionsHead(PetscOptionsObject,"Cholesky options");CHKERRQ(ierr);
48e55864a3SBarry Smith   ierr = PCSetFromOptions_Factor(PetscOptionsObject,pc);CHKERRQ(ierr);
499b54502bSHong Zhang   ierr = PetscOptionsTail();CHKERRQ(ierr);
509b54502bSHong Zhang   PetscFunctionReturn(0);
519b54502bSHong Zhang }
529b54502bSHong Zhang 
539b54502bSHong Zhang #undef __FUNCT__
549b54502bSHong Zhang #define __FUNCT__ "PCView_Cholesky"
559b54502bSHong Zhang static PetscErrorCode PCView_Cholesky(PC pc,PetscViewer viewer)
569b54502bSHong Zhang {
57145b9266SHong Zhang   PC_Cholesky    *chol = (PC_Cholesky*)pc->data;
589b54502bSHong Zhang   PetscErrorCode ierr;
59ace3abfcSBarry Smith   PetscBool      iascii;
609b54502bSHong Zhang 
619b54502bSHong Zhang   PetscFunctionBegin;
62251f4c67SDmitry Karpeev   ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr);
639b54502bSHong Zhang   if (iascii) {
64914a5d51SHong Zhang     if (chol->inplace) {
65914a5d51SHong Zhang       ierr = PetscViewerASCIIPrintf(viewer,"  Cholesky: in-place factorization\n");CHKERRQ(ierr);
66914a5d51SHong Zhang     } else {
67914a5d51SHong Zhang       ierr = PetscViewerASCIIPrintf(viewer,"  Cholesky: out-of-place factorization\n");CHKERRQ(ierr);
68145b9266SHong Zhang     }
699b54502bSHong Zhang 
70145b9266SHong Zhang     if (chol->reusefill)    {ierr = PetscViewerASCIIPrintf(viewer,"  Reusing fill from past factorization\n");CHKERRQ(ierr);}
71145b9266SHong Zhang     if (chol->reuseordering) {ierr = PetscViewerASCIIPrintf(viewer,"  Reusing reordering from past factorization\n");CHKERRQ(ierr);}
729b54502bSHong Zhang   }
73914a5d51SHong Zhang   ierr = PCView_Factor(pc,viewer);CHKERRQ(ierr);
749b54502bSHong Zhang   PetscFunctionReturn(0);
759b54502bSHong Zhang }
769b54502bSHong Zhang 
779b54502bSHong Zhang #undef __FUNCT__
789b54502bSHong Zhang #define __FUNCT__ "PCSetUp_Cholesky"
799b54502bSHong Zhang static PetscErrorCode PCSetUp_Cholesky(PC pc)
809b54502bSHong Zhang {
819b54502bSHong Zhang   PetscErrorCode         ierr;
82ace3abfcSBarry Smith   PetscBool              flg;
839b54502bSHong Zhang   PC_Cholesky            *dir = (PC_Cholesky*)pc->data;
8400c67f3bSHong Zhang   const MatSolverPackage stype;
859b54502bSHong Zhang 
869b54502bSHong Zhang   PetscFunctionBegin;
87*c6e4fdc6SHong Zhang   pc->failedreason = PC_NOERROR;
88075768bcSBarry Smith   if (dir->reusefill && pc->setupcalled) ((PC_Factor*)dir)->info.fill = dir->actualfill;
899b54502bSHong Zhang 
9084d44b13SHong Zhang   ierr = MatSetErrorIfFailure(pc->pmat,pc->erroriffailure);CHKERRQ(ierr);
919b54502bSHong Zhang   if (dir->inplace) {
929b54502bSHong Zhang     if (dir->row && dir->col && (dir->row != dir->col)) {
93fcfd50ebSBarry Smith       ierr = ISDestroy(&dir->row);CHKERRQ(ierr);
949b54502bSHong Zhang     }
95fcfd50ebSBarry Smith     ierr = ISDestroy(&dir->col);CHKERRQ(ierr);
96075768bcSBarry Smith     ierr = MatGetOrdering(pc->pmat,((PC_Factor*)dir)->ordering,&dir->row,&dir->col);CHKERRQ(ierr);
979b54502bSHong Zhang     if (dir->col && (dir->row != dir->col)) {  /* only use row ordering for SBAIJ */
98fcfd50ebSBarry Smith       ierr = ISDestroy(&dir->col);CHKERRQ(ierr);
999b54502bSHong Zhang     }
1003bb1ff40SBarry Smith     if (dir->row) {ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)dir->row);CHKERRQ(ierr);}
101075768bcSBarry Smith     ierr = MatCholeskyFactor(pc->pmat,dir->row,&((PC_Factor*)dir)->info);CHKERRQ(ierr);
102680c5173SHong Zhang     if (pc->pmat->errortype) { /* Factor() fails */
103680c5173SHong Zhang       pc->failedreason = (PCFailedReason)pc->pmat->errortype;
1046baea169SHong Zhang       PetscFunctionReturn(0);
1056baea169SHong Zhang     }
1062fa5cd67SKarl Rupp 
107075768bcSBarry Smith     ((PC_Factor*)dir)->fact = pc->pmat;
1089b54502bSHong Zhang   } else {
1099b54502bSHong Zhang     MatInfo info;
110680c5173SHong Zhang     Mat     F;
1119b54502bSHong Zhang     if (!pc->setupcalled) {
112075768bcSBarry Smith       ierr = MatGetOrdering(pc->pmat,((PC_Factor*)dir)->ordering,&dir->row,&dir->col);CHKERRQ(ierr);
1139bfd6278SHong Zhang       /* check if dir->row == dir->col */
1149bfd6278SHong Zhang       ierr = ISEqual(dir->row,dir->col,&flg);CHKERRQ(ierr);
115e32f2f54SBarry Smith       if (!flg) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_INCOMP,"row and column permutations must equal");
116fcfd50ebSBarry Smith       ierr = ISDestroy(&dir->col);CHKERRQ(ierr); /* only pass one ordering into CholeskyFactor */
1179bfd6278SHong Zhang 
11890d69ab7SBarry Smith       flg  = PETSC_FALSE;
119c5929fdfSBarry Smith       ierr = PetscOptionsGetBool(((PetscObject)pc)->options,((PetscObject)pc)->prefix,"-pc_factor_nonzeros_along_diagonal",&flg,NULL);CHKERRQ(ierr);
1209b54502bSHong Zhang       if (flg) {
1219b54502bSHong Zhang         PetscReal tol = 1.e-10;
122c5929fdfSBarry Smith         ierr = PetscOptionsGetReal(((PetscObject)pc)->options,((PetscObject)pc)->prefix,"-pc_factor_nonzeros_along_diagonal",&tol,NULL);CHKERRQ(ierr);
1239b54502bSHong Zhang         ierr = MatReorderForNonzeroDiagonal(pc->pmat,tol,dir->row,dir->row);CHKERRQ(ierr);
1249b54502bSHong Zhang       }
1253bb1ff40SBarry Smith       if (dir->row) {ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)dir->row);CHKERRQ(ierr);}
126d09a07f4SBarry Smith       if (!((PC_Factor*)dir)->fact) {
127075768bcSBarry Smith         ierr = MatGetFactor(pc->pmat,((PC_Factor*)dir)->solvertype,MAT_FACTOR_CHOLESKY,&((PC_Factor*)dir)->fact);CHKERRQ(ierr);
128a1f19f5aSHong Zhang       }
129075768bcSBarry Smith       ierr            = MatCholeskyFactorSymbolic(((PC_Factor*)dir)->fact,pc->pmat,dir->row,&((PC_Factor*)dir)->info);CHKERRQ(ierr);
130075768bcSBarry Smith       ierr            = MatGetInfo(((PC_Factor*)dir)->fact,MAT_LOCAL,&info);CHKERRQ(ierr);
1319b54502bSHong Zhang       dir->actualfill = info.fill_ratio_needed;
1323bb1ff40SBarry Smith       ierr            = PetscLogObjectParent((PetscObject)pc,(PetscObject)((PC_Factor*)dir)->fact);CHKERRQ(ierr);
1339b54502bSHong Zhang     } else if (pc->flag != SAME_NONZERO_PATTERN) {
1349b54502bSHong Zhang       if (!dir->reuseordering) {
135fcfd50ebSBarry Smith         ierr = ISDestroy(&dir->row);CHKERRQ(ierr);
136075768bcSBarry Smith         ierr = MatGetOrdering(pc->pmat,((PC_Factor*)dir)->ordering,&dir->row,&dir->col);CHKERRQ(ierr);
1379d61c4f5SHong Zhang         ierr = ISDestroy(&dir->col);CHKERRQ(ierr); /* only use dir->row ordering in CholeskyFactor */
1389d61c4f5SHong Zhang 
13990d69ab7SBarry Smith         flg  = PETSC_FALSE;
140c5929fdfSBarry Smith         ierr = PetscOptionsGetBool(((PetscObject)pc)->options,((PetscObject)pc)->prefix,"-pc_factor_nonzeros_along_diagonal",&flg,NULL);CHKERRQ(ierr);
1419b54502bSHong Zhang         if (flg) {
1429b54502bSHong Zhang           PetscReal tol = 1.e-10;
143c5929fdfSBarry Smith           ierr = PetscOptionsGetReal(((PetscObject)pc)->options,((PetscObject)pc)->prefix,"-pc_factor_nonzeros_along_diagonal",&tol,NULL);CHKERRQ(ierr);
1449b54502bSHong Zhang           ierr = MatReorderForNonzeroDiagonal(pc->pmat,tol,dir->row,dir->row);CHKERRQ(ierr);
1459b54502bSHong Zhang         }
1463bb1ff40SBarry Smith         if (dir->row) {ierr = PetscLogObjectParent((PetscObject)pc,(PetscObject)dir->row);CHKERRQ(ierr);}
1479b54502bSHong Zhang       }
1486bf464f9SBarry Smith       ierr            = MatDestroy(&((PC_Factor*)dir)->fact);CHKERRQ(ierr);
149075768bcSBarry Smith       ierr            = MatGetFactor(pc->pmat,((PC_Factor*)dir)->solvertype,MAT_FACTOR_CHOLESKY,&((PC_Factor*)dir)->fact);CHKERRQ(ierr);
150075768bcSBarry Smith       ierr            = MatCholeskyFactorSymbolic(((PC_Factor*)dir)->fact,pc->pmat,dir->row,&((PC_Factor*)dir)->info);CHKERRQ(ierr);
151075768bcSBarry Smith       ierr            = MatGetInfo(((PC_Factor*)dir)->fact,MAT_LOCAL,&info);CHKERRQ(ierr);
1529b54502bSHong Zhang       dir->actualfill = info.fill_ratio_needed;
1533bb1ff40SBarry Smith       ierr            = PetscLogObjectParent((PetscObject)pc,(PetscObject)((PC_Factor*)dir)->fact);CHKERRQ(ierr);
15404545d6dSBarry Smith     } else {
15504545d6dSBarry Smith       F = ((PC_Factor*)dir)->fact;
15604545d6dSBarry Smith       if ((PCFailedReason)F->errortype == PC_FACTOR_NUMERIC_ZEROPIVOT) {
15704545d6dSBarry Smith         F->errortype     = MAT_FACTOR_NOERROR;
15804545d6dSBarry Smith         pc->failedreason = (PCFailedReason)F->errortype;
15904545d6dSBarry Smith       }
1609b54502bSHong Zhang     }
161680c5173SHong Zhang     F = ((PC_Factor*)dir)->fact;
162680c5173SHong Zhang     if (F->errortype) { /* FactorSymbolic() fails */
163680c5173SHong Zhang       pc->failedreason = (PCFailedReason)F->errortype;
1646baea169SHong Zhang       PetscFunctionReturn(0);
1656baea169SHong Zhang     }
1666baea169SHong Zhang 
167075768bcSBarry Smith     ierr = MatCholeskyFactorNumeric(((PC_Factor*)dir)->fact,pc->pmat,&((PC_Factor*)dir)->info);CHKERRQ(ierr);
168680c5173SHong Zhang     if (F->errortype) { /* FactorNumeric() fails */
169680c5173SHong Zhang       pc->failedreason = (PCFailedReason)F->errortype;
1706baea169SHong Zhang     }
1719b54502bSHong Zhang   }
17200c67f3bSHong Zhang 
17300c67f3bSHong Zhang   ierr = PCFactorGetMatSolverPackage(pc,&stype);CHKERRQ(ierr);
17400c67f3bSHong Zhang   if (!stype) {
17500c67f3bSHong Zhang     ierr = PCFactorSetMatSolverPackage(pc,((PC_Factor*)dir)->fact->solvertype);CHKERRQ(ierr);
17600c67f3bSHong Zhang   }
1779b54502bSHong Zhang   PetscFunctionReturn(0);
1789b54502bSHong Zhang }
1799b54502bSHong Zhang 
1809b54502bSHong Zhang #undef __FUNCT__
18169d2c0f9SBarry Smith #define __FUNCT__ "PCReset_Cholesky"
18269d2c0f9SBarry Smith static PetscErrorCode PCReset_Cholesky(PC pc)
1839b54502bSHong Zhang {
1849b54502bSHong Zhang   PC_Cholesky    *dir = (PC_Cholesky*)pc->data;
1859b54502bSHong Zhang   PetscErrorCode ierr;
1869b54502bSHong Zhang 
1879b54502bSHong Zhang   PetscFunctionBegin;
1886bf464f9SBarry Smith   if (!dir->inplace && ((PC_Factor*)dir)->fact) {ierr = MatDestroy(&((PC_Factor*)dir)->fact);CHKERRQ(ierr);}
189fcfd50ebSBarry Smith   ierr = ISDestroy(&dir->row);CHKERRQ(ierr);
190fcfd50ebSBarry Smith   ierr = ISDestroy(&dir->col);CHKERRQ(ierr);
19169d2c0f9SBarry Smith   PetscFunctionReturn(0);
19269d2c0f9SBarry Smith }
19369d2c0f9SBarry Smith 
19469d2c0f9SBarry Smith #undef __FUNCT__
19569d2c0f9SBarry Smith #define __FUNCT__ "PCDestroy_Cholesky"
19669d2c0f9SBarry Smith static PetscErrorCode PCDestroy_Cholesky(PC pc)
19769d2c0f9SBarry Smith {
19869d2c0f9SBarry Smith   PC_Cholesky    *dir = (PC_Cholesky*)pc->data;
19969d2c0f9SBarry Smith   PetscErrorCode ierr;
20069d2c0f9SBarry Smith 
20169d2c0f9SBarry Smith   PetscFunctionBegin;
20269d2c0f9SBarry Smith   ierr = PCReset_Cholesky(pc);CHKERRQ(ierr);
203503cfb0cSBarry Smith   ierr = PetscFree(((PC_Factor*)dir)->ordering);CHKERRQ(ierr);
204503cfb0cSBarry Smith   ierr = PetscFree(((PC_Factor*)dir)->solvertype);CHKERRQ(ierr);
205c31cb41cSBarry Smith   ierr = PetscFree(pc->data);CHKERRQ(ierr);
2069b54502bSHong Zhang   PetscFunctionReturn(0);
2079b54502bSHong Zhang }
2089b54502bSHong Zhang 
2099b54502bSHong Zhang #undef __FUNCT__
2109b54502bSHong Zhang #define __FUNCT__ "PCApply_Cholesky"
2119b54502bSHong Zhang static PetscErrorCode PCApply_Cholesky(PC pc,Vec x,Vec y)
2129b54502bSHong Zhang {
2139b54502bSHong Zhang   PC_Cholesky    *dir = (PC_Cholesky*)pc->data;
2149b54502bSHong Zhang   PetscErrorCode ierr;
2159b54502bSHong Zhang 
2169b54502bSHong Zhang   PetscFunctionBegin;
2172fa5cd67SKarl Rupp   if (dir->inplace) {
2182fa5cd67SKarl Rupp     ierr = MatSolve(pc->pmat,x,y);CHKERRQ(ierr);
2192fa5cd67SKarl Rupp   } else {
2202fa5cd67SKarl Rupp     ierr = MatSolve(((PC_Factor*)dir)->fact,x,y);CHKERRQ(ierr);
2212fa5cd67SKarl Rupp   }
2229b54502bSHong Zhang   PetscFunctionReturn(0);
2239b54502bSHong Zhang }
2249b54502bSHong Zhang 
2259b54502bSHong Zhang #undef __FUNCT__
2269b54502bSHong Zhang #define __FUNCT__ "PCApplyTranspose_Cholesky"
2279b54502bSHong Zhang static PetscErrorCode PCApplyTranspose_Cholesky(PC pc,Vec x,Vec y)
2289b54502bSHong Zhang {
2299b54502bSHong Zhang   PC_Cholesky    *dir = (PC_Cholesky*)pc->data;
2309b54502bSHong Zhang   PetscErrorCode ierr;
2319b54502bSHong Zhang 
2329b54502bSHong Zhang   PetscFunctionBegin;
2332fa5cd67SKarl Rupp   if (dir->inplace) {
2342fa5cd67SKarl Rupp     ierr = MatSolveTranspose(pc->pmat,x,y);CHKERRQ(ierr);
2352fa5cd67SKarl Rupp   } else {
2362fa5cd67SKarl Rupp     ierr = MatSolveTranspose(((PC_Factor*)dir)->fact,x,y);CHKERRQ(ierr);
2372fa5cd67SKarl Rupp   }
2389b54502bSHong Zhang   PetscFunctionReturn(0);
2399b54502bSHong Zhang }
2409b54502bSHong Zhang 
2419b54502bSHong Zhang /* -----------------------------------------------------------------------------------*/
2429b54502bSHong Zhang 
2439b54502bSHong Zhang #undef __FUNCT__
2442401956bSBarry Smith #define __FUNCT__ "PCFactorSetUseInPlace_Cholesky"
2458e37d05fSBarry Smith static PetscErrorCode  PCFactorSetUseInPlace_Cholesky(PC pc,PetscBool flg)
2469b54502bSHong Zhang {
2478e37d05fSBarry Smith   PC_Cholesky *dir = (PC_Cholesky*)pc->data;
2489b54502bSHong Zhang 
2499b54502bSHong Zhang   PetscFunctionBegin;
2508e37d05fSBarry Smith   dir->inplace = flg;
2518e37d05fSBarry Smith   PetscFunctionReturn(0);
2528e37d05fSBarry Smith }
2538e37d05fSBarry Smith 
2548e37d05fSBarry Smith #undef __FUNCT__
2558e37d05fSBarry Smith #define __FUNCT__ "PCFactorGetUseInPlace_Cholesky"
2568e37d05fSBarry Smith static PetscErrorCode  PCFactorGetUseInPlace_Cholesky(PC pc,PetscBool *flg)
2578e37d05fSBarry Smith {
2588e37d05fSBarry Smith   PC_Cholesky *dir = (PC_Cholesky*)pc->data;
2598e37d05fSBarry Smith 
2608e37d05fSBarry Smith   PetscFunctionBegin;
2618e37d05fSBarry Smith   *flg = dir->inplace;
2629b54502bSHong Zhang   PetscFunctionReturn(0);
2639b54502bSHong Zhang }
2649b54502bSHong Zhang 
2659b54502bSHong Zhang /* -----------------------------------------------------------------------------------*/
2669b54502bSHong Zhang 
2679b54502bSHong Zhang #undef __FUNCT__
2682401956bSBarry Smith #define __FUNCT__ "PCFactorSetReuseOrdering"
2699b54502bSHong Zhang /*@
2702401956bSBarry Smith    PCFactorSetReuseOrdering - When similar matrices are factored, this
2719b54502bSHong Zhang    causes the ordering computed in the first factor to be used for all
2729b54502bSHong Zhang    following factors.
2739b54502bSHong Zhang 
274ad4df100SBarry Smith    Logically Collective on PC
2759b54502bSHong Zhang 
2769b54502bSHong Zhang    Input Parameters:
2779b54502bSHong Zhang +  pc - the preconditioner context
2789b54502bSHong Zhang -  flag - PETSC_TRUE to reuse else PETSC_FALSE
2799b54502bSHong Zhang 
2809b54502bSHong Zhang    Options Database Key:
2812401956bSBarry Smith .  -pc_factor_reuse_ordering - Activate PCFactorSetReuseOrdering()
2829b54502bSHong Zhang 
2839b54502bSHong Zhang    Level: intermediate
2849b54502bSHong Zhang 
2859b54502bSHong Zhang .keywords: PC, levels, reordering, factorization, incomplete, LU
2869b54502bSHong Zhang 
2872401956bSBarry Smith .seealso: PCFactorSetReuseFill()
2889b54502bSHong Zhang @*/
2897087cfbeSBarry Smith PetscErrorCode  PCFactorSetReuseOrdering(PC pc,PetscBool flag)
2909b54502bSHong Zhang {
2914ac538c5SBarry Smith   PetscErrorCode ierr;
2929b54502bSHong Zhang 
2939b54502bSHong Zhang   PetscFunctionBegin;
2940700a824SBarry Smith   PetscValidHeaderSpecific(pc,PC_CLASSID,1);
295acfcf0e5SJed Brown   PetscValidLogicalCollectiveBool(pc,flag,2);
2964ac538c5SBarry Smith   ierr = PetscTryMethod(pc,"PCFactorSetReuseOrdering_C",(PC,PetscBool),(pc,flag));CHKERRQ(ierr);
2979b54502bSHong Zhang   PetscFunctionReturn(0);
2989b54502bSHong Zhang }
2999b54502bSHong Zhang 
3009b54502bSHong Zhang /*MC
30196fc60bcSBarry Smith    PCCHOLESKY - Uses a direct solver, based on Cholesky factorization, as a preconditioner
3029b54502bSHong Zhang 
3039b54502bSHong Zhang    Options Database Keys:
3042401956bSBarry Smith +  -pc_factor_reuse_ordering - Activate PCFactorSetReuseOrdering()
305f60c3dc2SHong Zhang .  -pc_factor_mat_solver_package - Actives PCFactorSetMatSolverPackage() to choose the direct solver, like superlu
3062401956bSBarry Smith .  -pc_factor_reuse_fill - Activates PCFactorSetReuseFill()
30755ba2a51SBarry Smith .  -pc_factor_fill <fill> - Sets fill amount
3082401956bSBarry Smith .  -pc_factor_in_place - Activates in-place factorization
309145b9266SHong Zhang -  -pc_factor_mat_ordering_type <nd,rcm,...> - Sets ordering routine
3109b54502bSHong Zhang 
3119b54502bSHong Zhang    Notes: Not all options work for all matrix formats
3129b54502bSHong Zhang 
3139b54502bSHong Zhang    Level: beginner
3149b54502bSHong Zhang 
3159b54502bSHong Zhang    Concepts: Cholesky factorization, direct solver
3169b54502bSHong Zhang 
3179b54502bSHong Zhang    Notes: Usually this will compute an "exact" solution in one iteration and does
3189b54502bSHong Zhang           not need a Krylov method (i.e. you can use -ksp_type preonly, or
3199b54502bSHong Zhang           KSPSetType(ksp,KSPPREONLY) for the Krylov method
3209b54502bSHong Zhang 
3219b54502bSHong Zhang .seealso:  PCCreate(), PCSetType(), PCType (for list of available types), PC,
322a4fd02acSBarry Smith            PCILU, PCLU, PCICC, PCFactorSetReuseOrdering(), PCFactorSetReuseFill(), PCFactorGetMatrix(),
323145b9266SHong Zhang            PCFactorSetFill(), PCFactorSetShiftNonzero(), PCFactorSetShiftType(), PCFactorSetShiftAmount()
3248e37d05fSBarry Smith            PCFactorSetUseInPlace(), PCFactorGetUseInPlace(), PCFactorSetMatOrderingType()
3259b54502bSHong Zhang 
3269b54502bSHong Zhang M*/
3279b54502bSHong Zhang 
3289b54502bSHong Zhang #undef __FUNCT__
3299b54502bSHong Zhang #define __FUNCT__ "PCCreate_Cholesky"
3308cc058d9SJed Brown PETSC_EXTERN PetscErrorCode PCCreate_Cholesky(PC pc)
3319b54502bSHong Zhang {
3329b54502bSHong Zhang   PetscErrorCode ierr;
3339b54502bSHong Zhang   PC_Cholesky    *dir;
3349b54502bSHong Zhang 
3359b54502bSHong Zhang   PetscFunctionBegin;
336b00a9115SJed Brown   ierr = PetscNewLog(pc,&dir);CHKERRQ(ierr);
3379b54502bSHong Zhang 
338075768bcSBarry Smith   ((PC_Factor*)dir)->fact = 0;
3399b54502bSHong Zhang   dir->inplace            = PETSC_FALSE;
3402fa5cd67SKarl Rupp 
341075768bcSBarry Smith   ierr = MatFactorInfoInitialize(&((PC_Factor*)dir)->info);CHKERRQ(ierr);
3422fa5cd67SKarl Rupp 
343879e8a4dSBarry Smith   ((PC_Factor*)dir)->factortype         = MAT_FACTOR_CHOLESKY;
344075768bcSBarry Smith   ((PC_Factor*)dir)->info.fill          = 5.0;
345f4db908eSBarry Smith   ((PC_Factor*)dir)->info.shifttype     = (PetscReal) MAT_SHIFT_NONE;
346915743fcSHong Zhang   ((PC_Factor*)dir)->info.shiftamount   = 0.0;
3470ed735ceSHong Zhang   ((PC_Factor*)dir)->info.zeropivot     = 100.0*PETSC_MACHINE_EPSILON;
348075768bcSBarry Smith   ((PC_Factor*)dir)->info.pivotinblocks = 1.0;
3492fa5cd67SKarl Rupp 
3509b54502bSHong Zhang   dir->col = 0;
3519b54502bSHong Zhang   dir->row = 0;
3522fa5cd67SKarl Rupp 
35319fd82e9SBarry Smith   ierr = PetscStrallocpy(MATORDERINGNATURAL,(char**)&((PC_Factor*)dir)->ordering);CHKERRQ(ierr);
3549b54502bSHong Zhang   dir->reusefill        = PETSC_FALSE;
3559b54502bSHong Zhang   dir->reuseordering    = PETSC_FALSE;
3569b54502bSHong Zhang   pc->data              = (void*)dir;
3579b54502bSHong Zhang 
3589b54502bSHong Zhang   pc->ops->destroy           = PCDestroy_Cholesky;
35969d2c0f9SBarry Smith   pc->ops->reset             = PCReset_Cholesky;
3609b54502bSHong Zhang   pc->ops->apply             = PCApply_Cholesky;
3619b54502bSHong Zhang   pc->ops->applytranspose    = PCApplyTranspose_Cholesky;
3629b54502bSHong Zhang   pc->ops->setup             = PCSetUp_Cholesky;
3639b54502bSHong Zhang   pc->ops->setfromoptions    = PCSetFromOptions_Cholesky;
3649b54502bSHong Zhang   pc->ops->view              = PCView_Cholesky;
3659b54502bSHong Zhang   pc->ops->applyrichardson   = 0;
36685317021SBarry Smith   pc->ops->getfactoredmatrix = PCFactorGetMatrix_Factor;
3679b54502bSHong Zhang 
368c7f610a1SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetZeroPivot_C",PCFactorSetZeroPivot_Factor);CHKERRQ(ierr);
369c7f610a1SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetZeroPivot_C",PCFactorGetZeroPivot_Factor);CHKERRQ(ierr);
370c7f610a1SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetShiftType_C",PCFactorSetShiftType_Factor);CHKERRQ(ierr);
371c7f610a1SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetShiftType_C",PCFactorGetShiftType_Factor);CHKERRQ(ierr);
372c7f610a1SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetShiftAmount_C",PCFactorSetShiftAmount_Factor);CHKERRQ(ierr);
373c7f610a1SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetShiftAmount_C",PCFactorGetShiftAmount_Factor);CHKERRQ(ierr);
374c7f610a1SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetUpMatSolverPackage_C",PCFactorSetUpMatSolverPackage_Factor);CHKERRQ(ierr);
375bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetUpMatSolverPackage_C",PCFactorSetUpMatSolverPackage_Factor);CHKERRQ(ierr);
376bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetMatSolverPackage_C",PCFactorSetMatSolverPackage_Factor);CHKERRQ(ierr);
377bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetMatSolverPackage_C",PCFactorGetMatSolverPackage_Factor);CHKERRQ(ierr);
378bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetFill_C",PCFactorSetFill_Factor);CHKERRQ(ierr);
379bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetUseInPlace_C",PCFactorSetUseInPlace_Cholesky);CHKERRQ(ierr);
3808e37d05fSBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorGetUseInPlace_C",PCFactorGetUseInPlace_Cholesky);CHKERRQ(ierr);
381bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetMatOrderingType_C",PCFactorSetMatOrderingType_Factor);CHKERRQ(ierr);
382bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetReuseOrdering_C",PCFactorSetReuseOrdering_Cholesky);CHKERRQ(ierr);
383bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)pc,"PCFactorSetReuseFill_C",PCFactorSetReuseFill_Cholesky);CHKERRQ(ierr);
3849b54502bSHong Zhang   PetscFunctionReturn(0);
3859b54502bSHong Zhang }
386