1c4762a1bSJed Brown! 2c4762a1bSJed Brown! 3c4762a1bSJed Brown! Description: Uses the Newton method to solve a two-variable system. 4c4762a1bSJed Brown! 5c4762a1bSJed Brown!!/*T 6c4762a1bSJed Brown! Concepts: SNES^basic uniprocessor example 7c4762a1bSJed Brown! Processors: 1 8c4762a1bSJed Brown!T*/ 9c4762a1bSJed Brown 10c4762a1bSJed Brown program main 11c4762a1bSJed Brown#include <petsc/finclude/petsc.h> 12c4762a1bSJed Brown use petsc 13c4762a1bSJed Brown implicit none 14c4762a1bSJed Brown 15c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 16c4762a1bSJed Brown! Variable declarations 17c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 18c4762a1bSJed Brown! 19c4762a1bSJed Brown! Variables: 20c4762a1bSJed Brown! snes - nonlinear solver 21c4762a1bSJed Brown! ksp - linear solver 22c4762a1bSJed Brown! pc - preconditioner context 23c4762a1bSJed Brown! ksp - Krylov subspace method context 24c4762a1bSJed Brown! x, r - solution, residual vectors 25c4762a1bSJed Brown! J - Jacobian matrix 26c4762a1bSJed Brown! its - iterations for convergence 27c4762a1bSJed Brown! 28c4762a1bSJed Brown SNES snes 29c4762a1bSJed Brown PC pc 30c4762a1bSJed Brown KSP ksp 31c4762a1bSJed Brown Vec x,r 32c4762a1bSJed Brown Mat J 33c4762a1bSJed Brown SNESLineSearch linesearch 34c4762a1bSJed Brown PetscErrorCode ierr 35c4762a1bSJed Brown PetscInt its,i2,i20 36c4762a1bSJed Brown PetscMPIInt size,rank 37c4762a1bSJed Brown PetscScalar pfive 38c4762a1bSJed Brown PetscReal tol 39c4762a1bSJed Brown PetscBool setls 40*956f8c0dSBarry Smith#if defined(PETSC_USE_LOG) 41c4762a1bSJed Brown PetscViewer viewer 42*956f8c0dSBarry Smith#endif 43c4762a1bSJed Brown double precision threshold,oldthreshold 44c4762a1bSJed Brown 45c4762a1bSJed Brown! Note: Any user-defined Fortran routines (such as FormJacobian) 46c4762a1bSJed Brown! MUST be declared as external. 47c4762a1bSJed Brown 48c4762a1bSJed Brown external FormFunction, FormJacobian, MyLineSearch 49c4762a1bSJed Brown 50c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 51c4762a1bSJed Brown! Macro definitions 52c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 53c4762a1bSJed Brown! 54c4762a1bSJed Brown! Macros to make clearer the process of setting values in vectors and 55c4762a1bSJed Brown! getting values from vectors. These vectors are used in the routines 56c4762a1bSJed Brown! FormFunction() and FormJacobian(). 57c4762a1bSJed Brown! - The element lx_a(ib) is element ib in the vector x 58c4762a1bSJed Brown! 59c4762a1bSJed Brown#define lx_a(ib) lx_v(lx_i + (ib)) 60c4762a1bSJed Brown#define lf_a(ib) lf_v(lf_i + (ib)) 61c4762a1bSJed Brown! 62c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 63c4762a1bSJed Brown! Beginning of program 64c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 65c4762a1bSJed Brown 66c4762a1bSJed Brown call PetscInitialize(PETSC_NULL_CHARACTER,ierr) 67c4762a1bSJed Brown if (ierr .ne. 0) then 68c4762a1bSJed Brown print*,'Unable to initialize PETSc' 69c4762a1bSJed Brown stop 70c4762a1bSJed Brown endif 71d21b9a37SPierre Jolivet call PetscLogNestedBegin(ierr);CHKERRA(ierr) 72c4762a1bSJed Brown threshold = 1.0 73c4762a1bSJed Brown call PetscLogSetThreshold(threshold,oldthreshold,ierr) 74c4762a1bSJed Brown! dummy test of logging a reduction 75*956f8c0dSBarry Smith#if defined(PETSC_USE_LOG) 76c4762a1bSJed Brown ierr = PetscAReduce() 77*956f8c0dSBarry Smith#endif 78c4762a1bSJed Brown call MPI_Comm_size(PETSC_COMM_WORLD,size,ierr) 79c4762a1bSJed Brown call MPI_Comm_rank(PETSC_COMM_WORLD,rank,ierr) 80c4762a1bSJed Brown if (size .ne. 1) then; SETERRA(PETSC_COMM_SELF,PETSC_ERR_WRONG_MPI_SIZE,'Uniprocessor example'); endif 81c4762a1bSJed Brown 82c4762a1bSJed Brown i2 = 2 83c4762a1bSJed Brown i20 = 20 84c4762a1bSJed Brown! - - - - - - - - - -- - - - - - - - - - - - - - - - - - - - - - - - - - 85c4762a1bSJed Brown! Create nonlinear solver context 86c4762a1bSJed Brown! - - - - - - - - - -- - - - - - - - - - - - - - - - - - - - - - - - - - 87c4762a1bSJed Brown 88c4762a1bSJed Brown call SNESCreate(PETSC_COMM_WORLD,snes,ierr) 89c4762a1bSJed Brown 90c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 91c4762a1bSJed Brown! Create matrix and vector data structures; set corresponding routines 92c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 93c4762a1bSJed Brown 94c4762a1bSJed Brown! Create vectors for solution and nonlinear function 95c4762a1bSJed Brown 96c4762a1bSJed Brown call VecCreateSeq(PETSC_COMM_SELF,i2,x,ierr) 97c4762a1bSJed Brown call VecDuplicate(x,r,ierr) 98c4762a1bSJed Brown 99c4762a1bSJed Brown! Create Jacobian matrix data structure 100c4762a1bSJed Brown 101c4762a1bSJed Brown call MatCreate(PETSC_COMM_SELF,J,ierr) 102c4762a1bSJed Brown call MatSetSizes(J,PETSC_DECIDE,PETSC_DECIDE,i2,i2,ierr) 103c4762a1bSJed Brown call MatSetFromOptions(J,ierr) 104c4762a1bSJed Brown call MatSetUp(J,ierr) 105c4762a1bSJed Brown 106c4762a1bSJed Brown! Set function evaluation routine and vector 107c4762a1bSJed Brown 108c4762a1bSJed Brown call SNESSetFunction(snes,r,FormFunction,0,ierr) 109c4762a1bSJed Brown 110c4762a1bSJed Brown! Set Jacobian matrix data structure and Jacobian evaluation routine 111c4762a1bSJed Brown 112c4762a1bSJed Brown call SNESSetJacobian(snes,J,J,FormJacobian,0,ierr) 113c4762a1bSJed Brown 114c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 115c4762a1bSJed Brown! Customize nonlinear solver; set runtime options 116c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 117c4762a1bSJed Brown 118c4762a1bSJed Brown! Set linear solver defaults for this problem. By extracting the 119c4762a1bSJed Brown! KSP, KSP, and PC contexts from the SNES context, we can then 120c4762a1bSJed Brown! directly call any KSP, KSP, and PC routines to set various options. 121c4762a1bSJed Brown 122c4762a1bSJed Brown call SNESGetKSP(snes,ksp,ierr) 123c4762a1bSJed Brown call KSPGetPC(ksp,pc,ierr) 124c4762a1bSJed Brown call PCSetType(pc,PCNONE,ierr) 125c4762a1bSJed Brown tol = 1.e-4 126c4762a1bSJed Brown call KSPSetTolerances(ksp,tol,PETSC_DEFAULT_REAL, & 127c4762a1bSJed Brown & PETSC_DEFAULT_REAL,i20,ierr) 128c4762a1bSJed Brown 129c4762a1bSJed Brown! Set SNES/KSP/KSP/PC runtime options, e.g., 130c4762a1bSJed Brown! -snes_view -snes_monitor -ksp_type <ksp> -pc_type <pc> 131c4762a1bSJed Brown! These options will override those specified above as long as 132c4762a1bSJed Brown! SNESSetFromOptions() is called _after_ any other customization 133c4762a1bSJed Brown! routines. 134c4762a1bSJed Brown 135c4762a1bSJed Brown 136c4762a1bSJed Brown call SNESSetFromOptions(snes,ierr) 137c4762a1bSJed Brown 138c4762a1bSJed Brown call PetscOptionsHasName(PETSC_NULL_OPTIONS,PETSC_NULL_CHARACTER, & 139c4762a1bSJed Brown & '-setls',setls,ierr) 140c4762a1bSJed Brown 141c4762a1bSJed Brown if (setls) then 142c4762a1bSJed Brown call SNESGetLineSearch(snes, linesearch, ierr) 143c4762a1bSJed Brown call SNESLineSearchSetType(linesearch, 'shell', ierr) 144c4762a1bSJed Brown call SNESLineSearchShellSetUserFunc(linesearch, MyLineSearch, & 145c4762a1bSJed Brown & 0, ierr) 146c4762a1bSJed Brown endif 147c4762a1bSJed Brown 148c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 149c4762a1bSJed Brown! Evaluate initial guess; then solve nonlinear system 150c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 151c4762a1bSJed Brown 152c4762a1bSJed Brown! Note: The user should initialize the vector, x, with the initial guess 153c4762a1bSJed Brown! for the nonlinear solver prior to calling SNESSolve(). In particular, 154c4762a1bSJed Brown! to employ an initial guess of zero, the user should explicitly set 155c4762a1bSJed Brown! this vector to zero by calling VecSet(). 156c4762a1bSJed Brown 157c4762a1bSJed Brown pfive = 0.5 158c4762a1bSJed Brown call VecSet(x,pfive,ierr) 159c4762a1bSJed Brown call SNESSolve(snes,PETSC_NULL_VEC,x,ierr) 16091f3e32bSBarry Smith 16191f3e32bSBarry Smith! View solver converged reason; we could instead use the option -snes_converged_reason 16291f3e32bSBarry Smith call SNESConvergedReasonView(snes,PETSC_VIEWER_STDOUT_WORLD,ierr) 16391f3e32bSBarry Smith 164c4762a1bSJed Brown call SNESGetIterationNumber(snes,its,ierr); 165c4762a1bSJed Brown if (rank .eq. 0) then 166c4762a1bSJed Brown write(6,100) its 167c4762a1bSJed Brown endif 168c4762a1bSJed Brown 100 format('Number of SNES iterations = ',i5) 169c4762a1bSJed Brown 170c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 171c4762a1bSJed Brown! Free work space. All PETSc objects should be destroyed when they 172c4762a1bSJed Brown! are no longer needed. 173c4762a1bSJed Brown! - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - - 174c4762a1bSJed Brown 175c4762a1bSJed Brown call VecDestroy(x,ierr) 176c4762a1bSJed Brown call VecDestroy(r,ierr) 177c4762a1bSJed Brown call MatDestroy(J,ierr) 178c4762a1bSJed Brown call SNESDestroy(snes,ierr) 179*956f8c0dSBarry Smith#if defined(PETSC_USE_LOG) 180c4762a1bSJed Brown call PetscViewerASCIIOpen(PETSC_COMM_WORLD,'filename.xml',viewer,ierr) 181c4762a1bSJed Brown call PetscViewerPushFormat(viewer,PETSC_VIEWER_ASCII_XML,ierr) 182c4762a1bSJed Brown call PetscLogView(viewer,ierr) 183c4762a1bSJed Brown call PetscViewerDestroy(viewer,ierr) 184*956f8c0dSBarry Smith#endif 185c4762a1bSJed Brown call PetscFinalize(ierr) 186c4762a1bSJed Brown end 187c4762a1bSJed Brown! 188c4762a1bSJed Brown! ------------------------------------------------------------------------ 189c4762a1bSJed Brown! 190c4762a1bSJed Brown! FormFunction - Evaluates nonlinear function, F(x). 191c4762a1bSJed Brown! 192c4762a1bSJed Brown! Input Parameters: 193c4762a1bSJed Brown! snes - the SNES context 194c4762a1bSJed Brown! x - input vector 195c4762a1bSJed Brown! dummy - optional user-defined context (not used here) 196c4762a1bSJed Brown! 197c4762a1bSJed Brown! Output Parameter: 198c4762a1bSJed Brown! f - function vector 199c4762a1bSJed Brown! 200c4762a1bSJed Brown subroutine FormFunction(snes,x,f,dummy,ierr) 201c4762a1bSJed Brown use petscsnes 202c4762a1bSJed Brown implicit none 203c4762a1bSJed Brown 204c4762a1bSJed Brown SNES snes 205c4762a1bSJed Brown Vec x,f 206c4762a1bSJed Brown PetscErrorCode ierr 207c4762a1bSJed Brown integer dummy(*) 208c4762a1bSJed Brown 209c4762a1bSJed Brown! Declarations for use with local arrays 210c4762a1bSJed Brown 211c4762a1bSJed Brown PetscScalar lx_v(2),lf_v(2) 212c4762a1bSJed Brown PetscOffset lx_i,lf_i 213c4762a1bSJed Brown 214c4762a1bSJed Brown! Get pointers to vector data. 215c4762a1bSJed Brown! - For default PETSc vectors, VecGetArray() returns a pointer to 216c4762a1bSJed Brown! the data array. Otherwise, the routine is implementation dependent. 217c4762a1bSJed Brown! - You MUST call VecRestoreArray() when you no longer need access to 218c4762a1bSJed Brown! the array. 219c4762a1bSJed Brown! - Note that the Fortran interface to VecGetArray() differs from the 220c4762a1bSJed Brown! C version. See the Fortran chapter of the users manual for details. 221c4762a1bSJed Brown 222c4762a1bSJed Brown call VecGetArrayRead(x,lx_v,lx_i,ierr) 223c4762a1bSJed Brown call VecGetArray(f,lf_v,lf_i,ierr) 224c4762a1bSJed Brown 225c4762a1bSJed Brown! Compute function 226c4762a1bSJed Brown 227c4762a1bSJed Brown lf_a(1) = lx_a(1)*lx_a(1) & 228c4762a1bSJed Brown & + lx_a(1)*lx_a(2) - 3.0 229c4762a1bSJed Brown lf_a(2) = lx_a(1)*lx_a(2) & 230c4762a1bSJed Brown & + lx_a(2)*lx_a(2) - 6.0 231c4762a1bSJed Brown 232c4762a1bSJed Brown! Restore vectors 233c4762a1bSJed Brown 234c4762a1bSJed Brown call VecRestoreArrayRead(x,lx_v,lx_i,ierr) 235c4762a1bSJed Brown call VecRestoreArray(f,lf_v,lf_i,ierr) 236c4762a1bSJed Brown 237c4762a1bSJed Brown return 238c4762a1bSJed Brown end 239c4762a1bSJed Brown 240c4762a1bSJed Brown! --------------------------------------------------------------------- 241c4762a1bSJed Brown! 242c4762a1bSJed Brown! FormJacobian - Evaluates Jacobian matrix. 243c4762a1bSJed Brown! 244c4762a1bSJed Brown! Input Parameters: 245c4762a1bSJed Brown! snes - the SNES context 246c4762a1bSJed Brown! x - input vector 247c4762a1bSJed Brown! dummy - optional user-defined context (not used here) 248c4762a1bSJed Brown! 249c4762a1bSJed Brown! Output Parameters: 250c4762a1bSJed Brown! A - Jacobian matrix 251c4762a1bSJed Brown! B - optionally different preconditioning matrix 252c4762a1bSJed Brown! flag - flag indicating matrix structure 253c4762a1bSJed Brown! 254c4762a1bSJed Brown subroutine FormJacobian(snes,X,jac,B,dummy,ierr) 255c4762a1bSJed Brown use petscsnes 256c4762a1bSJed Brown implicit none 257c4762a1bSJed Brown 258c4762a1bSJed Brown SNES snes 259c4762a1bSJed Brown Vec X 260c4762a1bSJed Brown Mat jac,B 261c4762a1bSJed Brown PetscScalar A(4) 262c4762a1bSJed Brown PetscErrorCode ierr 263c4762a1bSJed Brown PetscInt idx(2),i2 264c4762a1bSJed Brown integer dummy(*) 265c4762a1bSJed Brown 266c4762a1bSJed Brown! Declarations for use with local arrays 267c4762a1bSJed Brown 268c4762a1bSJed Brown PetscScalar lx_v(2) 269c4762a1bSJed Brown PetscOffset lx_i 270c4762a1bSJed Brown 271c4762a1bSJed Brown! Get pointer to vector data 272c4762a1bSJed Brown 273c4762a1bSJed Brown i2 = 2 274c4762a1bSJed Brown call VecGetArrayRead(x,lx_v,lx_i,ierr) 275c4762a1bSJed Brown 276c4762a1bSJed Brown! Compute Jacobian entries and insert into matrix. 277c4762a1bSJed Brown! - Since this is such a small problem, we set all entries for 278c4762a1bSJed Brown! the matrix at once. 279c4762a1bSJed Brown! - Note that MatSetValues() uses 0-based row and column numbers 280c4762a1bSJed Brown! in Fortran as well as in C (as set here in the array idx). 281c4762a1bSJed Brown 282c4762a1bSJed Brown idx(1) = 0 283c4762a1bSJed Brown idx(2) = 1 284c4762a1bSJed Brown A(1) = 2.0*lx_a(1) + lx_a(2) 285c4762a1bSJed Brown A(2) = lx_a(1) 286c4762a1bSJed Brown A(3) = lx_a(2) 287c4762a1bSJed Brown A(4) = lx_a(1) + 2.0*lx_a(2) 288c4762a1bSJed Brown call MatSetValues(B,i2,idx,i2,idx,A,INSERT_VALUES,ierr) 289c4762a1bSJed Brown 290c4762a1bSJed Brown! Restore vector 291c4762a1bSJed Brown 292c4762a1bSJed Brown call VecRestoreArrayRead(x,lx_v,lx_i,ierr) 293c4762a1bSJed Brown 294c4762a1bSJed Brown! Assemble matrix 295c4762a1bSJed Brown 296c4762a1bSJed Brown call MatAssemblyBegin(B,MAT_FINAL_ASSEMBLY,ierr) 297c4762a1bSJed Brown call MatAssemblyEnd(B,MAT_FINAL_ASSEMBLY,ierr) 298c4762a1bSJed Brown if (B .ne. jac) then 299c4762a1bSJed Brown call MatAssemblyBegin(jac,MAT_FINAL_ASSEMBLY,ierr) 300c4762a1bSJed Brown call MatAssemblyEnd(jac,MAT_FINAL_ASSEMBLY,ierr) 301c4762a1bSJed Brown endif 302c4762a1bSJed Brown 303c4762a1bSJed Brown return 304c4762a1bSJed Brown end 305c4762a1bSJed Brown 306c4762a1bSJed Brown 307c4762a1bSJed Brown subroutine MyLineSearch(linesearch, lctx, ierr) 308c4762a1bSJed Brown use petscsnes 309c4762a1bSJed Brown implicit none 310c4762a1bSJed Brown 311c4762a1bSJed Brown SNESLineSearch linesearch 312c4762a1bSJed Brown SNES snes 313c4762a1bSJed Brown integer lctx 314c4762a1bSJed Brown Vec x, f,g, y, w 315c4762a1bSJed Brown PetscReal ynorm,gnorm,xnorm 316c4762a1bSJed Brown PetscBool flag 317c4762a1bSJed Brown PetscErrorCode ierr 318c4762a1bSJed Brown 319c4762a1bSJed Brown PetscScalar mone 320c4762a1bSJed Brown 321c4762a1bSJed Brown mone = -1.0 322c4762a1bSJed Brown call SNESLineSearchGetSNES(linesearch, snes, ierr) 323c4762a1bSJed Brown call SNESLineSearchGetVecs(linesearch, x, f, y, w, g, ierr) 324c4762a1bSJed Brown call VecNorm(y,NORM_2,ynorm,ierr) 325c4762a1bSJed Brown call VecAXPY(x,mone,y,ierr) 326c4762a1bSJed Brown call SNESComputeFunction(snes,x,f,ierr) 327c4762a1bSJed Brown call VecNorm(f,NORM_2,gnorm,ierr) 328c4762a1bSJed Brown call VecNorm(x,NORM_2,xnorm,ierr) 329c4762a1bSJed Brown call VecNorm(y,NORM_2,ynorm,ierr) 330c4762a1bSJed Brown call SNESLineSearchSetNorms(linesearch, xnorm, gnorm, ynorm, & 331c4762a1bSJed Brown & ierr) 332c4762a1bSJed Brown flag = PETSC_FALSE 333c4762a1bSJed Brown return 334c4762a1bSJed Brown end 335c4762a1bSJed Brown 336c4762a1bSJed Brown!/*TEST 337c4762a1bSJed Brown! 338c4762a1bSJed Brown! test: 339c4762a1bSJed Brown! args: -ksp_gmres_cgs_refinement_type refine_always -snes_monitor_short 340c4762a1bSJed Brown! requires: !single 341c4762a1bSJed Brown! 342c4762a1bSJed Brown!TEST*/ 343