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