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