xref: /petsc/src/snes/interface/snespc.c (revision 1baa6e3354bfe224b33a0c158f482508792a8a6e)
132f3f7c2SPeter Brune 
2af0996ceSBarry Smith #include <petsc/private/snesimpl.h>      /*I "petscsnes.h"  I*/
332f3f7c2SPeter Brune 
432f3f7c2SPeter Brune /*@
5be95d8f1SBarry Smith    SNESApplyNPC - Calls SNESSolve() on preconditioner for the SNES
632f3f7c2SPeter Brune 
732f3f7c2SPeter Brune    Collective on SNES
832f3f7c2SPeter Brune 
932f3f7c2SPeter Brune    Input Parameters:
1032f3f7c2SPeter Brune +  snes - the SNES context
116a63999bSPeter Brune .  x - input vector
126a63999bSPeter Brune -  f - optional; the function evaluation on x
1332f3f7c2SPeter Brune 
1432f3f7c2SPeter Brune    Output Parameter:
1532f3f7c2SPeter Brune .  y - function vector, as set by SNESSetFunction()
1632f3f7c2SPeter Brune 
1732f3f7c2SPeter Brune    Notes:
18be95d8f1SBarry Smith    SNESComputeFunction() should be called on x before SNESApplyNPC() is called, as it is
1932f3f7c2SPeter Brune    with SNESComuteJacobian().
2032f3f7c2SPeter Brune 
2132f3f7c2SPeter Brune    Level: developer
2232f3f7c2SPeter Brune 
23c2e3fba1SPatrick Sanan .seealso: `SNESGetNPC()`, `SNESSetNPC()`, `SNESComputeFunction()`
2432f3f7c2SPeter Brune @*/
25be95d8f1SBarry Smith PetscErrorCode  SNESApplyNPC(SNES snes,Vec x,Vec f,Vec y)
2632f3f7c2SPeter Brune {
2732f3f7c2SPeter Brune   PetscFunctionBegin;
2832f3f7c2SPeter Brune   PetscValidHeaderSpecific(snes,SNES_CLASSID,1);
2932f3f7c2SPeter Brune   PetscValidHeaderSpecific(x,VEC_CLASSID,2);
30064a246eSJacob Faibussowitsch   PetscValidHeaderSpecific(y,VEC_CLASSID,4);
3132f3f7c2SPeter Brune   PetscCheckSameComm(snes,1,x,2);
32064a246eSJacob Faibussowitsch   PetscCheckSameComm(snes,1,y,4);
339566063dSJacob Faibussowitsch   PetscCall(VecValidValues(x,2,PETSC_TRUE));
34efd4aadfSBarry Smith   if (snes->npc) {
35*1baa6e33SBarry Smith     if (f) PetscCall(SNESSetInitialFunction(snes->npc,f));
369566063dSJacob Faibussowitsch     PetscCall(VecCopy(x,y));
379566063dSJacob Faibussowitsch     PetscCall(PetscLogEventBegin(SNES_NPCSolve,snes->npc,x,y,0));
389566063dSJacob Faibussowitsch     PetscCall(SNESSolve(snes->npc,snes->vec_rhs,y));
399566063dSJacob Faibussowitsch     PetscCall(PetscLogEventEnd(SNES_NPCSolve,snes->npc,x,y,0));
409566063dSJacob Faibussowitsch     PetscCall(VecAYPX(y,-1.0,x));
4132f3f7c2SPeter Brune     PetscFunctionReturn(0);
4232f3f7c2SPeter Brune   }
4332f3f7c2SPeter Brune   PetscFunctionReturn(0);
4432f3f7c2SPeter Brune }
4532f3f7c2SPeter Brune 
46be95d8f1SBarry Smith PetscErrorCode SNESComputeFunctionDefaultNPC(SNES snes,Vec X,Vec F)
47be95d8f1SBarry Smith {
4832f3f7c2SPeter Brune /* This is to be used as an argument to SNESMF -- NOT as a "function" */
49b7281c8aSPeter Brune   SNESConvergedReason reason;
50b7281c8aSPeter Brune 
5132f3f7c2SPeter Brune   PetscFunctionBegin;
52efd4aadfSBarry Smith   if (snes->npc) {
539566063dSJacob Faibussowitsch     PetscCall(SNESApplyNPC(snes,X,NULL,F));
549566063dSJacob Faibussowitsch     PetscCall(SNESGetConvergedReason(snes->npc,&reason));
55b7281c8aSPeter Brune     if (reason < 0  && reason != SNES_DIVERGED_MAX_IT) {
569566063dSJacob Faibussowitsch       PetscCall(SNESSetFunctionDomainError(snes));
57b7281c8aSPeter Brune     }
58b7281c8aSPeter Brune   } else {
599566063dSJacob Faibussowitsch     PetscCall(SNESComputeFunction(snes,X,F));
60b7281c8aSPeter Brune   }
6132f3f7c2SPeter Brune   PetscFunctionReturn(0);
6232f3f7c2SPeter Brune }
63ddd40ce5SPeter Brune 
64ddd40ce5SPeter Brune /*@
65be95d8f1SBarry Smith    SNESGetNPCFunction - Gets the function from a preconditioner after SNESSolve() has been called.
66ddd40ce5SPeter Brune 
67ddd40ce5SPeter Brune    Collective on SNES
68ddd40ce5SPeter Brune 
69f899ff85SJose E. Roman    Input Parameter:
70ddd40ce5SPeter Brune .  snes - the SNES context
71ddd40ce5SPeter Brune 
72d8d19677SJose E. Roman    Output Parameters:
73a2b725a8SWilliam Gropp +  F - function vector
74a2b725a8SWilliam Gropp -  fnorm - the norm of F
75ddd40ce5SPeter Brune 
76ddd40ce5SPeter Brune    Level: developer
77ddd40ce5SPeter Brune 
78c2e3fba1SPatrick Sanan .seealso: `SNESGetNPC()`, `SNESSetNPC()`, `SNESComputeFunction()`, `SNESApplyNPC()`, `SNESSolve()`
79ddd40ce5SPeter Brune @*/
80be95d8f1SBarry Smith PetscErrorCode SNESGetNPCFunction(SNES snes,Vec F,PetscReal *fnorm)
81ddd40ce5SPeter Brune {
82ddd40ce5SPeter Brune   PCSide           npcside;
83ddd40ce5SPeter Brune   SNESFunctionType functype;
84ddd40ce5SPeter Brune   SNESNormSchedule normschedule;
85ddd40ce5SPeter Brune   Vec              FPC,XPC;
86ddd40ce5SPeter Brune 
87ddd40ce5SPeter Brune   PetscFunctionBegin;
88efd4aadfSBarry Smith   if (snes->npc) {
899566063dSJacob Faibussowitsch     PetscCall(SNESGetNPCSide(snes->npc,&npcside));
909566063dSJacob Faibussowitsch     PetscCall(SNESGetFunctionType(snes->npc,&functype));
919566063dSJacob Faibussowitsch     PetscCall(SNESGetNormSchedule(snes->npc,&normschedule));
92ddd40ce5SPeter Brune 
93ddd40ce5SPeter Brune     /* check if the function is valid based upon how the inner solver is preconditioned */
94ddd40ce5SPeter Brune     if (normschedule != SNES_NORM_NONE && normschedule != SNES_NORM_INITIAL_ONLY && (npcside == PC_RIGHT || functype == SNES_FUNCTION_UNPRECONDITIONED)) {
959566063dSJacob Faibussowitsch       PetscCall(SNESGetFunction(snes->npc,&FPC,NULL,NULL));
961d3ed18cSPeter Brune       if (FPC) {
979566063dSJacob Faibussowitsch         if (fnorm) PetscCall(VecNorm(FPC,NORM_2,fnorm));
989566063dSJacob Faibussowitsch         PetscCall(VecCopy(FPC,F));
996c4ed002SBarry Smith       } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Preconditioner has no function");
100ddd40ce5SPeter Brune     } else {
1019566063dSJacob Faibussowitsch       PetscCall(SNESGetSolution(snes->npc,&XPC));
102ddd40ce5SPeter Brune       if (XPC) {
1039566063dSJacob Faibussowitsch         PetscCall(SNESComputeFunction(snes->npc,XPC,F));
1049566063dSJacob Faibussowitsch         if (fnorm) PetscCall(VecNorm(F,NORM_2,fnorm));
10537703b41SBarry Smith       } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Preconditioner has no solution");
106ddd40ce5SPeter Brune     }
10737703b41SBarry Smith   } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"No preconditioner set");
108ddd40ce5SPeter Brune   PetscFunctionReturn(0);
109ddd40ce5SPeter Brune }
110