1*76c63389SBarry Smith static char help[] = "Artificial test to check that snes->functiondomainerror is being reset appropriately";
2c4762a1bSJed Brown
3c4762a1bSJed Brown /* ------------------------------------------------------------------------
4c4762a1bSJed Brown
5*76c63389SBarry Smith Artificial test to check that snes->functiondomainerror is being reset appropriately
6c4762a1bSJed Brown
7c4762a1bSJed Brown ------------------------------------------------------------------------- */
8c4762a1bSJed Brown
974c01ffaSSatish Balay #if !defined(PETSC_SKIP_COMPLEX)
10c4762a1bSJed Brown #define PETSC_SKIP_COMPLEX
1174c01ffaSSatish Balay #endif
12c4762a1bSJed Brown #include <petscsnes.h>
13c4762a1bSJed Brown
14c4762a1bSJed Brown typedef struct {
15c4762a1bSJed Brown PetscReal value; /* parameter in nonlinear function */
16c4762a1bSJed Brown } AppCtx;
17c4762a1bSJed Brown
18c4762a1bSJed Brown PetscErrorCode UserFunction(SNES, Vec, Vec, void *);
19c4762a1bSJed Brown PetscErrorCode UserJacobian(SNES, Vec, Mat, Mat, void *);
20c4762a1bSJed Brown
main(int argc,char ** argv)21d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv)
22d71ae5a4SJacob Faibussowitsch {
23c4762a1bSJed Brown SNES snes;
24c4762a1bSJed Brown Vec x, r;
25c4762a1bSJed Brown Mat J;
26c4762a1bSJed Brown PetscInt its;
27c4762a1bSJed Brown AppCtx user;
28c4762a1bSJed Brown PetscMPIInt size;
29c4762a1bSJed Brown
30327415f7SBarry Smith PetscFunctionBeginUser;
31c8025a54SPierre Jolivet PetscCall(PetscInitialize(&argc, &argv, nullptr, help));
329566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &size));
3308401ef6SPierre Jolivet PetscCheck(size == 1, PETSC_COMM_WORLD, PETSC_ERR_WRONG_MPI_SIZE, "This is a uniprocessor example only!");
34c4762a1bSJed Brown
35c4762a1bSJed Brown /* Allocate vectors / matrix */
369566063dSJacob Faibussowitsch PetscCall(VecCreate(PETSC_COMM_WORLD, &x));
379566063dSJacob Faibussowitsch PetscCall(VecSetSizes(x, PETSC_DECIDE, 1));
389566063dSJacob Faibussowitsch PetscCall(VecSetFromOptions(x));
399566063dSJacob Faibussowitsch PetscCall(VecDuplicate(x, &r));
40c4762a1bSJed Brown
419566063dSJacob Faibussowitsch PetscCall(MatCreateSeqAIJ(PETSC_COMM_WORLD, 1, 1, 1, NULL, &J));
42c4762a1bSJed Brown
43c4762a1bSJed Brown /* Create / set-up SNES */
449566063dSJacob Faibussowitsch PetscCall(SNESCreate(PETSC_COMM_WORLD, &snes));
459566063dSJacob Faibussowitsch PetscCall(SNESSetFunction(snes, r, UserFunction, &user));
469566063dSJacob Faibussowitsch PetscCall(SNESSetJacobian(snes, J, J, UserJacobian, &user));
479566063dSJacob Faibussowitsch PetscCall(SNESSetFromOptions(snes));
48c4762a1bSJed Brown
49c4762a1bSJed Brown /* Set initial guess (=1) and target value */
50c4762a1bSJed Brown user.value = 1e-4;
51c4762a1bSJed Brown
529566063dSJacob Faibussowitsch PetscCall(VecSet(x, 1.0));
53c4762a1bSJed Brown
54c4762a1bSJed Brown /* Set initial guess / solve */
559566063dSJacob Faibussowitsch PetscCall(SNESSolve(snes, NULL, x));
569566063dSJacob Faibussowitsch PetscCall(SNESGetIterationNumber(snes, &its));
5763a3b9bcSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Number of SNES iterations = %" PetscInt_FMT "\n", its));
589566063dSJacob Faibussowitsch PetscCall(VecView(x, PETSC_VIEWER_STDOUT_WORLD));
59c4762a1bSJed Brown
60c4762a1bSJed Brown /* Done */
619566063dSJacob Faibussowitsch PetscCall(VecDestroy(&x));
629566063dSJacob Faibussowitsch PetscCall(VecDestroy(&r));
639566063dSJacob Faibussowitsch PetscCall(MatDestroy(&J));
649566063dSJacob Faibussowitsch PetscCall(SNESDestroy(&snes));
659566063dSJacob Faibussowitsch PetscCall(PetscFinalize());
66b122ec5aSJacob Faibussowitsch return 0;
67c4762a1bSJed Brown }
68c4762a1bSJed Brown
69c4762a1bSJed Brown /*
70c4762a1bSJed Brown UserFunction - for nonlinear function x^2 - value = 0
71c4762a1bSJed Brown */
UserFunction(SNES snes,Vec X,Vec F,void * ptr)72d71ae5a4SJacob Faibussowitsch PetscErrorCode UserFunction(SNES snes, Vec X, Vec F, void *ptr)
73d71ae5a4SJacob Faibussowitsch {
74c4762a1bSJed Brown AppCtx *user = (AppCtx *)ptr;
75c4762a1bSJed Brown PetscInt N, i;
76c4762a1bSJed Brown PetscScalar *f;
774d86920dSPierre Jolivet PetscReal half = 0.5;
78c4762a1bSJed Brown const PetscScalar *x;
79c4762a1bSJed Brown
803ba16761SJacob Faibussowitsch PetscFunctionBeginUser;
819566063dSJacob Faibussowitsch PetscCall(VecGetSize(X, &N));
829566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(X, &x));
839566063dSJacob Faibussowitsch PetscCall(VecGetArray(F, &f));
84c4762a1bSJed Brown
85c4762a1bSJed Brown /* Calculate residual */
86c4762a1bSJed Brown for (i = 0; i < N; ++i) {
87c4762a1bSJed Brown /*
88c4762a1bSJed Brown Test for domain error.
89d5b43468SJose E. Roman Artificial 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.
91*76c63389SBarry Smith In later iterations, snes->functiondomainerror 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)) {
949566063dSJacob Faibussowitsch PetscCall(PetscPrintf(PETSC_COMM_WORLD, "DOMAIN ERROR: x=%g\n", (double)PetscRealPart(x[i])));
959566063dSJacob Faibussowitsch PetscCall(SNESSetFunctionDomainError(snes));
96c4762a1bSJed Brown }
97c4762a1bSJed Brown f[i] = x[i] * x[i] - user->value;
98c4762a1bSJed Brown }
999566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(X, &x));
1009566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(F, &f));
1013ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS);
102c4762a1bSJed Brown }
103c4762a1bSJed Brown
104c4762a1bSJed Brown /*
105c4762a1bSJed Brown UserJacobian - for nonlinear function x^2 - value = 0
106c4762a1bSJed Brown */
UserJacobian(SNES snes,Vec X,Mat J,Mat jac,void * ptr)107d71ae5a4SJacob Faibussowitsch PetscErrorCode UserJacobian(SNES snes, Vec X, Mat J, Mat jac, void *ptr)
108d71ae5a4SJacob Faibussowitsch {
109c4762a1bSJed Brown PetscInt N, i, row, col;
110c4762a1bSJed Brown const PetscScalar *x;
111c4762a1bSJed Brown PetscScalar v;
112c4762a1bSJed Brown
1133ba16761SJacob Faibussowitsch PetscFunctionBeginUser;
1149566063dSJacob Faibussowitsch PetscCall(VecGetSize(X, &N));
1159566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(X, &x));
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];
1229566063dSJacob Faibussowitsch PetscCall(MatSetValues(jac, 1, &row, 1, &col, &v, INSERT_VALUES));
123c4762a1bSJed Brown }
1249566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(X, &x));
1259566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(jac, MAT_FINAL_ASSEMBLY));
1269566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(jac, MAT_FINAL_ASSEMBLY));
127c4762a1bSJed Brown
128c4762a1bSJed Brown if (jac != J) {
1299566063dSJacob Faibussowitsch PetscCall(MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY));
1309566063dSJacob Faibussowitsch PetscCall(MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY));
131c4762a1bSJed Brown }
1323ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS);
133c4762a1bSJed Brown }
134c4762a1bSJed Brown
135c4762a1bSJed Brown /*TEST
136c4762a1bSJed Brown
137c4762a1bSJed Brown build:
138dfd57a17SPierre 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