xref: /petsc/src/snes/tests/ex241.cxx (revision dfd57a172ac9fa6c7b5fe6de6ab5df85cefc2996)
1c4762a1bSJed Brown static char help[] = "Artificial test to check that snes->domainerror is being reset appropriately";
2c4762a1bSJed Brown 
3c4762a1bSJed Brown /* ------------------------------------------------------------------------
4c4762a1bSJed Brown 
5c4762a1bSJed Brown     Artificial test to check that snes->domainerror is being reset appropriately
6c4762a1bSJed Brown 
7c4762a1bSJed Brown   ------------------------------------------------------------------------- */
8c4762a1bSJed Brown 
9c4762a1bSJed Brown #define PETSC_SKIP_COMPLEX
10c4762a1bSJed Brown #include <petscsnes.h>
11c4762a1bSJed Brown 
12c4762a1bSJed Brown typedef struct {
13c4762a1bSJed Brown   PetscReal value;              /* parameter in nonlinear function */
14c4762a1bSJed Brown } AppCtx;
15c4762a1bSJed Brown 
16c4762a1bSJed Brown PetscErrorCode UserFunction(SNES,Vec,Vec,void*);
17c4762a1bSJed Brown PetscErrorCode UserJacobian(SNES,Vec,Mat,Mat,void*);
18c4762a1bSJed Brown 
19c4762a1bSJed Brown int main(int argc,char **argv)
20c4762a1bSJed Brown {
21c4762a1bSJed Brown   SNES           snes;
22c4762a1bSJed Brown   Vec            x,r;
23c4762a1bSJed Brown   Mat            J;
24c4762a1bSJed Brown   PetscErrorCode ierr;
25c4762a1bSJed Brown   PetscInt       its;
26c4762a1bSJed Brown   AppCtx         user;
27c4762a1bSJed Brown   PetscMPIInt    size;
28c4762a1bSJed Brown 
29c4762a1bSJed Brown   ierr = PetscInitialize(&argc,&argv,(char*)0,help);if (ierr) return ierr;
30ffc4695bSBarry Smith   ierr = MPI_Comm_size(PETSC_COMM_WORLD,&size);CHKERRMPI(ierr);
31c4762a1bSJed Brown   if (size != 1) SETERRQ(PETSC_COMM_WORLD,PETSC_ERR_WRONG_MPI_SIZE,"This is a uniprocessor example only!");
32c4762a1bSJed Brown 
33c4762a1bSJed Brown   /* Allocate vectors / matrix */
34c4762a1bSJed Brown   ierr = VecCreate(PETSC_COMM_WORLD,&x);CHKERRQ(ierr);
35c4762a1bSJed Brown   ierr = VecSetSizes(x,PETSC_DECIDE,1);CHKERRQ(ierr);
36c4762a1bSJed Brown   ierr = VecSetFromOptions(x);CHKERRQ(ierr);
37c4762a1bSJed Brown   ierr = VecDuplicate(x,&r);CHKERRQ(ierr);
38c4762a1bSJed Brown 
39c4762a1bSJed Brown   ierr = MatCreateSeqAIJ(PETSC_COMM_WORLD,1,1,1,NULL,&J);CHKERRQ(ierr);
40c4762a1bSJed Brown 
41c4762a1bSJed Brown   /* Create / set-up SNES */
42c4762a1bSJed Brown   ierr = SNESCreate(PETSC_COMM_WORLD,&snes);CHKERRQ(ierr);
43c4762a1bSJed Brown   ierr = SNESSetFunction(snes,r,UserFunction,&user);CHKERRQ(ierr);
44c4762a1bSJed Brown   ierr = SNESSetJacobian(snes,J,J,UserJacobian,&user);CHKERRQ(ierr);
45c4762a1bSJed Brown   ierr = SNESSetFromOptions(snes);CHKERRQ(ierr);
46c4762a1bSJed Brown 
47c4762a1bSJed Brown   /* Set initial guess (=1) and target value */
48c4762a1bSJed Brown   user.value = 1e-4;
49c4762a1bSJed Brown 
50c4762a1bSJed Brown   ierr = VecSet(x,1.0);CHKERRQ(ierr);
51c4762a1bSJed Brown 
52c4762a1bSJed Brown   /* Set initial guess / solve */
53c4762a1bSJed Brown   ierr = SNESSolve(snes,NULL,x);CHKERRQ(ierr);
54c4762a1bSJed Brown   ierr = SNESGetIterationNumber(snes,&its);CHKERRQ(ierr);
55c4762a1bSJed Brown   ierr = PetscPrintf(PETSC_COMM_WORLD,"Number of SNES iterations = %D\n",its);CHKERRQ(ierr);
56c4762a1bSJed Brown   ierr = VecView(x,PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
57c4762a1bSJed Brown 
58c4762a1bSJed Brown   /* Done */
59c4762a1bSJed Brown   ierr = VecDestroy(&x);CHKERRQ(ierr);
60c4762a1bSJed Brown   ierr = VecDestroy(&r);CHKERRQ(ierr);
61c4762a1bSJed Brown   ierr = MatDestroy(&J);CHKERRQ(ierr);
62c4762a1bSJed Brown   ierr = SNESDestroy(&snes);CHKERRQ(ierr);
63c4762a1bSJed Brown   ierr = PetscFinalize();
64c4762a1bSJed Brown   return ierr;
65c4762a1bSJed Brown }
66c4762a1bSJed Brown 
67c4762a1bSJed Brown /*
68c4762a1bSJed Brown     UserFunction - for nonlinear function x^2 - value = 0
69c4762a1bSJed Brown */
70c4762a1bSJed Brown PetscErrorCode UserFunction(SNES snes,Vec X,Vec F,void *ptr)
71c4762a1bSJed Brown {
72c4762a1bSJed Brown   AppCtx            *user = (AppCtx*)ptr;
73c4762a1bSJed Brown   PetscInt          N,i;
74c4762a1bSJed Brown   PetscScalar       *f;
75c4762a1bSJed Brown   PetscReal         half;
76c4762a1bSJed Brown   const PetscScalar *x;
77c4762a1bSJed Brown   PetscErrorCode    ierr;
78c4762a1bSJed Brown 
79c4762a1bSJed Brown   half = 0.5;
80c4762a1bSJed Brown 
81c4762a1bSJed Brown   ierr = VecGetSize(X,&N);CHKERRQ(ierr);
82c4762a1bSJed Brown   ierr = VecGetArrayRead(X,&x);CHKERRQ(ierr);
83c4762a1bSJed Brown   ierr = VecGetArray(F,&f);CHKERRQ(ierr);
84c4762a1bSJed Brown 
85c4762a1bSJed Brown   /* Calculate residual */
86c4762a1bSJed Brown   for (i=0; i<N; ++i) {
87c4762a1bSJed Brown     /*
88c4762a1bSJed Brown        Test for domain error.
89c4762a1bSJed Brown        Artifical test is applied.  With starting value 1.0, first iterate will be 0.5 + user->value/2.
90c4762a1bSJed Brown        Declare (0.5-value,0.5+value) to be infeasible.
91c4762a1bSJed Brown        In later iterations, snes->domainerror should be cleared, allowing iterations in the feasible region to be accepted.
92c4762a1bSJed Brown     */
93c4762a1bSJed Brown     if ((half-user->value) < PetscRealPart(x[i]) && PetscRealPart(x[i]) < (half+user->value)) {
94c4762a1bSJed Brown       ierr = PetscPrintf(PETSC_COMM_WORLD,"DOMAIN ERROR: x=%g\n",(double)PetscRealPart(x[i]));CHKERRQ(ierr);
95c4762a1bSJed Brown       ierr = SNESSetFunctionDomainError(snes);CHKERRQ(ierr);
96c4762a1bSJed Brown     }
97c4762a1bSJed Brown     f[i] = x[i]*x[i] - user->value;
98c4762a1bSJed Brown   }
99c4762a1bSJed Brown   ierr = VecRestoreArrayRead(X,&x);CHKERRQ(ierr);
100c4762a1bSJed Brown   ierr = VecRestoreArray(F,&f);CHKERRQ(ierr);
101c4762a1bSJed Brown   return 0;
102c4762a1bSJed Brown }
103c4762a1bSJed Brown 
104c4762a1bSJed Brown /*
105c4762a1bSJed Brown     UserJacobian - for nonlinear function x^2 - value = 0
106c4762a1bSJed Brown */
107c4762a1bSJed Brown PetscErrorCode UserJacobian(SNES snes,Vec X,Mat J,Mat jac,void *ptr)
108c4762a1bSJed Brown {
109c4762a1bSJed Brown   PetscInt          N,i,row,col;
110c4762a1bSJed Brown   const PetscScalar *x;
111c4762a1bSJed Brown   PetscScalar       v;
112c4762a1bSJed Brown   PetscErrorCode    ierr;
113c4762a1bSJed Brown 
114c4762a1bSJed Brown   ierr = VecGetSize(X,&N);CHKERRQ(ierr);
115c4762a1bSJed Brown   ierr = VecGetArrayRead(X,&x);CHKERRQ(ierr);
116c4762a1bSJed Brown 
117c4762a1bSJed Brown   /* Calculate Jacobian */
118c4762a1bSJed Brown   for (i=0; i<N; ++i) {
119c4762a1bSJed Brown     row = i;
120c4762a1bSJed Brown     col = i;
121c4762a1bSJed Brown     v = 2*x[i];
122c4762a1bSJed Brown     ierr = MatSetValues(jac,1,&row,1,&col,&v,INSERT_VALUES);CHKERRQ(ierr);
123c4762a1bSJed Brown   }
124c4762a1bSJed Brown   ierr = VecRestoreArrayRead(X,&x);CHKERRQ(ierr);
125c4762a1bSJed Brown   ierr = MatAssemblyBegin(jac,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
126c4762a1bSJed Brown   ierr = MatAssemblyEnd(jac,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
127c4762a1bSJed Brown 
128c4762a1bSJed Brown   if (jac != J) {
129c4762a1bSJed Brown     ierr = MatAssemblyBegin(J,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
130c4762a1bSJed Brown     ierr = MatAssemblyEnd(J,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
131c4762a1bSJed Brown   }
132c4762a1bSJed Brown   return 0;
133c4762a1bSJed Brown }
134c4762a1bSJed Brown 
135c4762a1bSJed Brown /*TEST
136c4762a1bSJed Brown 
137c4762a1bSJed Brown    build:
138*dfd57a17SPierre Jolivet       requires: !single !defined(PETSC_HAVE_SUN_CXX) !complex
139c4762a1bSJed Brown 
140c4762a1bSJed Brown    test:
141c4762a1bSJed Brown       args:  -snes_monitor_solution -snes_linesearch_monitor
142c4762a1bSJed Brown 
143c4762a1bSJed Brown TEST*/
144