xref: /petsc/src/snes/interface/snespc.c (revision d8d19677bbccf95218448bee62e6b87f4513e133)
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 
23be95d8f1SBarry Smith .seealso: SNESGetNPC(),SNESSetNPC(),SNESComputeFunction()
2432f3f7c2SPeter Brune @*/
25be95d8f1SBarry Smith PetscErrorCode  SNESApplyNPC(SNES snes,Vec x,Vec f,Vec y)
2632f3f7c2SPeter Brune {
2732f3f7c2SPeter Brune   PetscErrorCode ierr;
2832f3f7c2SPeter Brune 
2932f3f7c2SPeter Brune   PetscFunctionBegin;
3032f3f7c2SPeter Brune   PetscValidHeaderSpecific(snes,SNES_CLASSID,1);
3132f3f7c2SPeter Brune   PetscValidHeaderSpecific(x,VEC_CLASSID,2);
32064a246eSJacob Faibussowitsch   PetscValidHeaderSpecific(y,VEC_CLASSID,4);
3332f3f7c2SPeter Brune   PetscCheckSameComm(snes,1,x,2);
34064a246eSJacob Faibussowitsch   PetscCheckSameComm(snes,1,y,4);
3532f3f7c2SPeter Brune   ierr = VecValidValues(x,2,PETSC_TRUE);CHKERRQ(ierr);
36efd4aadfSBarry Smith   if (snes->npc) {
3732f3f7c2SPeter Brune     if (f) {
38efd4aadfSBarry Smith       ierr = SNESSetInitialFunction(snes->npc,f);CHKERRQ(ierr);
3932f3f7c2SPeter Brune     }
4032f3f7c2SPeter Brune     ierr = VecCopy(x,y);CHKERRQ(ierr);
41efd4aadfSBarry Smith     ierr = PetscLogEventBegin(SNES_NPCSolve,snes->npc,x,y,0);CHKERRQ(ierr);
42efd4aadfSBarry Smith     ierr = SNESSolve(snes->npc,snes->vec_rhs,y);CHKERRQ(ierr);
43efd4aadfSBarry Smith     ierr = PetscLogEventEnd(SNES_NPCSolve,snes->npc,x,y,0);CHKERRQ(ierr);
4432f3f7c2SPeter Brune     ierr = VecAYPX(y,-1.0,x);CHKERRQ(ierr);
4532f3f7c2SPeter Brune     PetscFunctionReturn(0);
4632f3f7c2SPeter Brune   }
4732f3f7c2SPeter Brune   PetscFunctionReturn(0);
4832f3f7c2SPeter Brune }
4932f3f7c2SPeter Brune 
50be95d8f1SBarry Smith PetscErrorCode SNESComputeFunctionDefaultNPC(SNES snes,Vec X,Vec F)
51be95d8f1SBarry Smith {
5232f3f7c2SPeter Brune /* This is to be used as an argument to SNESMF -- NOT as a "function" */
53b7281c8aSPeter Brune   SNESConvergedReason reason;
5432f3f7c2SPeter Brune   PetscErrorCode      ierr;
55b7281c8aSPeter Brune 
5632f3f7c2SPeter Brune   PetscFunctionBegin;
57efd4aadfSBarry Smith   if (snes->npc) {
58be95d8f1SBarry Smith     ierr = SNESApplyNPC(snes,X,NULL,F);CHKERRQ(ierr);
59efd4aadfSBarry Smith     ierr = SNESGetConvergedReason(snes->npc,&reason);CHKERRQ(ierr);
60b7281c8aSPeter Brune     if (reason < 0  && reason != SNES_DIVERGED_MAX_IT) {
61b7281c8aSPeter Brune       ierr = SNESSetFunctionDomainError(snes);CHKERRQ(ierr);
62b7281c8aSPeter Brune     }
63b7281c8aSPeter Brune   } else {
64b7281c8aSPeter Brune     ierr = SNESComputeFunction(snes,X,F);CHKERRQ(ierr);
65b7281c8aSPeter Brune   }
6632f3f7c2SPeter Brune   PetscFunctionReturn(0);
6732f3f7c2SPeter Brune }
68ddd40ce5SPeter Brune 
69ddd40ce5SPeter Brune /*@
70be95d8f1SBarry Smith    SNESGetNPCFunction - Gets the function from a preconditioner after SNESSolve() has been called.
71ddd40ce5SPeter Brune 
72ddd40ce5SPeter Brune    Collective on SNES
73ddd40ce5SPeter Brune 
74ddd40ce5SPeter Brune    Input Parameters:
75ddd40ce5SPeter Brune .  snes - the SNES context
76ddd40ce5SPeter Brune 
77*d8d19677SJose E. Roman    Output Parameters:
78a2b725a8SWilliam Gropp +  F - function vector
79a2b725a8SWilliam Gropp -  fnorm - the norm of F
80ddd40ce5SPeter Brune 
81ddd40ce5SPeter Brune    Level: developer
82ddd40ce5SPeter Brune 
83be95d8f1SBarry Smith .seealso: SNESGetNPC(),SNESSetNPC(),SNESComputeFunction(),SNESApplyNPC(),SNESSolve()
84ddd40ce5SPeter Brune @*/
85be95d8f1SBarry Smith PetscErrorCode SNESGetNPCFunction(SNES snes,Vec F,PetscReal *fnorm)
86ddd40ce5SPeter Brune {
87ddd40ce5SPeter Brune   PetscErrorCode   ierr;
88ddd40ce5SPeter Brune   PCSide           npcside;
89ddd40ce5SPeter Brune   SNESFunctionType functype;
90ddd40ce5SPeter Brune   SNESNormSchedule normschedule;
91ddd40ce5SPeter Brune   Vec              FPC,XPC;
92ddd40ce5SPeter Brune 
93ddd40ce5SPeter Brune   PetscFunctionBegin;
94efd4aadfSBarry Smith   if (snes->npc) {
95efd4aadfSBarry Smith     ierr = SNESGetNPCSide(snes->npc,&npcside);CHKERRQ(ierr);
96efd4aadfSBarry Smith     ierr = SNESGetFunctionType(snes->npc,&functype);CHKERRQ(ierr);
97efd4aadfSBarry Smith     ierr = SNESGetNormSchedule(snes->npc,&normschedule);CHKERRQ(ierr);
98ddd40ce5SPeter Brune 
99ddd40ce5SPeter Brune     /* check if the function is valid based upon how the inner solver is preconditioned */
100ddd40ce5SPeter Brune     if (normschedule != SNES_NORM_NONE && normschedule != SNES_NORM_INITIAL_ONLY && (npcside == PC_RIGHT || functype == SNES_FUNCTION_UNPRECONDITIONED)) {
101efd4aadfSBarry Smith       ierr = SNESGetFunction(snes->npc,&FPC,NULL,NULL);CHKERRQ(ierr);
1021d3ed18cSPeter Brune       if (FPC) {
10371dbe336SPeter Brune         if (fnorm) {ierr = VecNorm(FPC,NORM_2,fnorm);CHKERRQ(ierr);}
104ddd40ce5SPeter Brune         ierr = VecCopy(FPC,F);CHKERRQ(ierr);
1056c4ed002SBarry Smith       } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Preconditioner has no function");
106ddd40ce5SPeter Brune     } else {
107efd4aadfSBarry Smith       ierr = SNESGetSolution(snes->npc,&XPC);CHKERRQ(ierr);
108ddd40ce5SPeter Brune       if (XPC) {
109efd4aadfSBarry Smith         ierr = SNESComputeFunction(snes->npc,XPC,F);CHKERRQ(ierr);
110ddd40ce5SPeter Brune         if (fnorm) {ierr = VecNorm(F,NORM_2,fnorm);CHKERRQ(ierr);}
11137703b41SBarry Smith       } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Preconditioner has no solution");
112ddd40ce5SPeter Brune     }
11337703b41SBarry Smith   } else SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"No preconditioner set");
114ddd40ce5SPeter Brune   PetscFunctionReturn(0);
115ddd40ce5SPeter Brune }
116