xref: /petsc/src/snes/interface/snes.c (revision 18be62a5feccf172f7bc80c15c4be8f6d6443e8b)
1 #define PETSCSNES_DLL
2 
3 #include "src/snes/snesimpl.h"      /*I "petscsnes.h"  I*/
4 
5 PetscTruth SNESRegisterAllCalled = PETSC_FALSE;
6 PetscFList SNESList              = PETSC_NULL;
7 
8 /* Logging support */
9 PetscCookie PETSCSNES_DLLEXPORT SNES_COOKIE = 0;
10 PetscEvent  SNES_Solve = 0, SNES_LineSearch = 0, SNES_FunctionEval = 0, SNES_JacobianEval = 0;
11 
12 #undef __FUNCT__
13 #define __FUNCT__ "SNESView"
14 /*@C
15    SNESView - Prints the SNES data structure.
16 
17    Collective on SNES
18 
19    Input Parameters:
20 +  SNES - the SNES context
21 -  viewer - visualization context
22 
23    Options Database Key:
24 .  -snes_view - Calls SNESView() at end of SNESSolve()
25 
26    Notes:
27    The available visualization contexts include
28 +     PETSC_VIEWER_STDOUT_SELF - standard output (default)
29 -     PETSC_VIEWER_STDOUT_WORLD - synchronized standard
30          output where only the first processor opens
31          the file.  All other processors send their
32          data to the first processor to print.
33 
34    The user can open an alternative visualization context with
35    PetscViewerASCIIOpen() - output to a specified file.
36 
37    Level: beginner
38 
39 .keywords: SNES, view
40 
41 .seealso: PetscViewerASCIIOpen()
42 @*/
43 PetscErrorCode PETSCSNES_DLLEXPORT SNESView(SNES snes,PetscViewer viewer)
44 {
45   SNES_KSP_EW_ConvCtx *kctx;
46   PetscErrorCode      ierr;
47   KSP                 ksp;
48   SNESType            type;
49   PetscTruth          iascii,isstring;
50 
51   PetscFunctionBegin;
52   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
53   if (!viewer) viewer = PETSC_VIEWER_STDOUT_(snes->comm);
54   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_COOKIE,2);
55   PetscCheckSameComm(snes,1,viewer,2);
56 
57   ierr = PetscTypeCompare((PetscObject)viewer,PETSC_VIEWER_ASCII,&iascii);CHKERRQ(ierr);
58   ierr = PetscTypeCompare((PetscObject)viewer,PETSC_VIEWER_STRING,&isstring);CHKERRQ(ierr);
59   if (iascii) {
60     if (snes->prefix) {
61       ierr = PetscViewerASCIIPrintf(viewer,"SNES Object:(%s)\n",snes->prefix);CHKERRQ(ierr);
62     } else {
63       ierr = PetscViewerASCIIPrintf(viewer,"SNES Object:\n");CHKERRQ(ierr);
64     }
65     ierr = SNESGetType(snes,&type);CHKERRQ(ierr);
66     if (type) {
67       ierr = PetscViewerASCIIPrintf(viewer,"  type: %s\n",type);CHKERRQ(ierr);
68     } else {
69       ierr = PetscViewerASCIIPrintf(viewer,"  type: not set yet\n");CHKERRQ(ierr);
70     }
71     if (snes->view) {
72       ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
73       ierr = (*snes->view)(snes,viewer);CHKERRQ(ierr);
74       ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
75     }
76     ierr = PetscViewerASCIIPrintf(viewer,"  maximum iterations=%D, maximum function evaluations=%D\n",snes->max_its,snes->max_funcs);CHKERRQ(ierr);
77     ierr = PetscViewerASCIIPrintf(viewer,"  tolerances: relative=%g, absolute=%g, solution=%g\n",
78                  snes->rtol,snes->abstol,snes->xtol);CHKERRQ(ierr);
79     ierr = PetscViewerASCIIPrintf(viewer,"  total number of linear solver iterations=%D\n",snes->linear_its);CHKERRQ(ierr);
80     ierr = PetscViewerASCIIPrintf(viewer,"  total number of function evaluations=%D\n",snes->nfuncs);CHKERRQ(ierr);
81     if (snes->ksp_ewconv) {
82       kctx = (SNES_KSP_EW_ConvCtx *)snes->kspconvctx;
83       if (kctx) {
84         ierr = PetscViewerASCIIPrintf(viewer,"  Eisenstat-Walker computation of KSP relative tolerance (version %D)\n",kctx->version);CHKERRQ(ierr);
85         ierr = PetscViewerASCIIPrintf(viewer,"    rtol_0=%g, rtol_max=%g, threshold=%g\n",kctx->rtol_0,kctx->rtol_max,kctx->threshold);CHKERRQ(ierr);
86         ierr = PetscViewerASCIIPrintf(viewer,"    gamma=%g, alpha=%g, alpha2=%g\n",kctx->gamma,kctx->alpha,kctx->alpha2);CHKERRQ(ierr);
87       }
88     }
89   } else if (isstring) {
90     ierr = SNESGetType(snes,&type);CHKERRQ(ierr);
91     ierr = PetscViewerStringSPrintf(viewer," %-3.3s",type);CHKERRQ(ierr);
92   }
93   ierr = SNESGetKSP(snes,&ksp);CHKERRQ(ierr);
94   ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
95   ierr = KSPView(ksp,viewer);CHKERRQ(ierr);
96   ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
97   PetscFunctionReturn(0);
98 }
99 
100 /*
101   We retain a list of functions that also take SNES command
102   line options. These are called at the end SNESSetFromOptions()
103 */
104 #define MAXSETFROMOPTIONS 5
105 static PetscInt numberofsetfromoptions;
106 static PetscErrorCode (*othersetfromoptions[MAXSETFROMOPTIONS])(SNES);
107 
108 #undef __FUNCT__
109 #define __FUNCT__ "SNESAddOptionsChecker"
110 /*@C
111   SNESAddOptionsChecker - Adds an additional function to check for SNES options.
112 
113   Not Collective
114 
115   Input Parameter:
116 . snescheck - function that checks for options
117 
118   Level: developer
119 
120 .seealso: SNESSetFromOptions()
121 @*/
122 PetscErrorCode PETSCSNES_DLLEXPORT SNESAddOptionsChecker(PetscErrorCode (*snescheck)(SNES))
123 {
124   PetscFunctionBegin;
125   if (numberofsetfromoptions >= MAXSETFROMOPTIONS) {
126     SETERRQ1(PETSC_ERR_ARG_OUTOFRANGE, "Too many options checkers, only %D allowed", MAXSETFROMOPTIONS);
127   }
128   othersetfromoptions[numberofsetfromoptions++] = snescheck;
129   PetscFunctionReturn(0);
130 }
131 
132 #undef __FUNCT__
133 #define __FUNCT__ "SNESSetFromOptions"
134 /*@
135    SNESSetFromOptions - Sets various SNES and KSP parameters from user options.
136 
137    Collective on SNES
138 
139    Input Parameter:
140 .  snes - the SNES context
141 
142    Options Database Keys:
143 +  -snes_type <type> - ls, tr, umls, umtr, test
144 .  -snes_stol - convergence tolerance in terms of the norm
145                 of the change in the solution between steps
146 .  -snes_atol <abstol> - absolute tolerance of residual norm
147 .  -snes_rtol <rtol> - relative decrease in tolerance norm from initial
148 .  -snes_max_it <max_it> - maximum number of iterations
149 .  -snes_max_funcs <max_funcs> - maximum number of function evaluations
150 .  -snes_max_fail <max_fail> - maximum number of failures
151 .  -snes_trtol <trtol> - trust region tolerance
152 .  -snes_no_convergence_test - skip convergence test in nonlinear
153                                solver; hence iterations will continue until max_it
154                                or some other criterion is reached. Saves expense
155                                of convergence test
156 .  -snes_monitor - prints residual norm at each iteration
157 .  -snes_vecmonitor - plots solution at each iteration
158 .  -snes_vecmonitor_update - plots update to solution at each iteration
159 .  -snes_xmonitor - plots residual norm at each iteration
160 .  -snes_fd - use finite differences to compute Jacobian; very slow, only for testing
161 .  -snes_mf_ksp_monitor - if using matrix-free multiply then print h at each KSP iteration
162 -  -snes_print_converged_reason - print the reason for convergence/divergence after each solve
163 
164     Options Database for Eisenstat-Walker method:
165 +  -snes_ksp_ew_conv - use Eisenstat-Walker method for determining linear system convergence
166 .  -snes_ksp_ew_version ver - version of  Eisenstat-Walker method
167 .  -snes_ksp_ew_rtol0 <rtol0> - Sets rtol0
168 .  -snes_ksp_ew_rtolmax <rtolmax> - Sets rtolmax
169 .  -snes_ksp_ew_gamma <gamma> - Sets gamma
170 .  -snes_ksp_ew_alpha <alpha> - Sets alpha
171 .  -snes_ksp_ew_alpha2 <alpha2> - Sets alpha2
172 -  -snes_ksp_ew_threshold <threshold> - Sets threshold
173 
174    Notes:
175    To see all options, run your program with the -help option or consult
176    the users manual.
177 
178    Level: beginner
179 
180 .keywords: SNES, nonlinear, set, options, database
181 
182 .seealso: SNESSetOptionsPrefix()
183 @*/
184 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetFromOptions(SNES snes)
185 {
186   KSP                 ksp;
187   SNES_KSP_EW_ConvCtx *kctx = (SNES_KSP_EW_ConvCtx *)snes->kspconvctx;
188   PetscTruth          flg;
189   PetscErrorCode      ierr;
190   PetscInt            i;
191   const char          *deft;
192   char                type[256];
193 
194   PetscFunctionBegin;
195   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
196 
197   ierr = PetscOptionsBegin(snes->comm,snes->prefix,"Nonlinear solver (SNES) options","SNES");CHKERRQ(ierr);
198     if (snes->type_name) {
199       deft = snes->type_name;
200     } else {
201       deft = SNESLS;
202     }
203 
204     if (!SNESRegisterAllCalled) {ierr = SNESRegisterAll(PETSC_NULL);CHKERRQ(ierr);}
205     ierr = PetscOptionsList("-snes_type","Nonlinear solver method","SNESSetType",SNESList,deft,type,256,&flg);CHKERRQ(ierr);
206     if (flg) {
207       ierr = SNESSetType(snes,type);CHKERRQ(ierr);
208     } else if (!snes->type_name) {
209       ierr = SNESSetType(snes,deft);CHKERRQ(ierr);
210     }
211     ierr = PetscOptionsName("-snes_view","Print detailed information on solver used","SNESView",0);CHKERRQ(ierr);
212 
213     ierr = PetscOptionsReal("-snes_stol","Stop if step length less then","SNESSetTolerances",snes->xtol,&snes->xtol,0);CHKERRQ(ierr);
214     ierr = PetscOptionsReal("-snes_atol","Stop if function norm less then","SNESSetTolerances",snes->abstol,&snes->abstol,0);CHKERRQ(ierr);
215 
216     ierr = PetscOptionsReal("-snes_rtol","Stop if decrease in function norm less then","SNESSetTolerances",snes->rtol,&snes->rtol,0);CHKERRQ(ierr);
217     ierr = PetscOptionsInt("-snes_max_it","Maximum iterations","SNESSetTolerances",snes->max_its,&snes->max_its,PETSC_NULL);CHKERRQ(ierr);
218     ierr = PetscOptionsInt("-snes_max_funcs","Maximum function evaluations","SNESSetTolerances",snes->max_funcs,&snes->max_funcs,PETSC_NULL);CHKERRQ(ierr);
219     ierr = PetscOptionsInt("-snes_max_fail","Maximum failures","SNESSetTolerances",snes->maxFailures,&snes->maxFailures,PETSC_NULL);CHKERRQ(ierr);
220     ierr = PetscOptionsName("-snes_converged_reason","Print reason for converged or diverged","SNESSolve",&flg);CHKERRQ(ierr);
221     if (flg) {
222       snes->printreason = PETSC_TRUE;
223     }
224 
225     ierr = PetscOptionsTruth("-snes_ksp_ew_conv","Use Eisentat-Walker linear system convergence test","SNES_KSP_SetParametersEW",snes->ksp_ewconv,&snes->ksp_ewconv,PETSC_NULL);CHKERRQ(ierr);
226 
227     ierr = PetscOptionsInt("-snes_ksp_ew_version","Version 1 or 2","SNES_KSP_SetParametersEW",kctx->version,&kctx->version,0);CHKERRQ(ierr);
228     ierr = PetscOptionsReal("-snes_ksp_ew_rtol0","0 <= rtol0 < 1","SNES_KSP_SetParametersEW",kctx->rtol_0,&kctx->rtol_0,0);CHKERRQ(ierr);
229     ierr = PetscOptionsReal("-snes_ksp_ew_rtolmax","0 <= rtolmax < 1","SNES_KSP_SetParametersEW",kctx->rtol_max,&kctx->rtol_max,0);CHKERRQ(ierr);
230     ierr = PetscOptionsReal("-snes_ksp_ew_gamma","0 <= gamma <= 1","SNES_KSP_SetParametersEW",kctx->gamma,&kctx->gamma,0);CHKERRQ(ierr);
231     ierr = PetscOptionsReal("-snes_ksp_ew_alpha","1 < alpha <= 2","SNES_KSP_SetParametersEW",kctx->alpha,&kctx->alpha,0);CHKERRQ(ierr);
232     ierr = PetscOptionsReal("-snes_ksp_ew_alpha2","alpha2","SNES_KSP_SetParametersEW",kctx->alpha2,&kctx->alpha2,0);CHKERRQ(ierr);
233     ierr = PetscOptionsReal("-snes_ksp_ew_threshold","0 < threshold < 1","SNES_KSP_SetParametersEW",kctx->threshold,&kctx->threshold,0);CHKERRQ(ierr);
234 
235     ierr = PetscOptionsName("-snes_no_convergence_test","Don't test for convergence","None",&flg);CHKERRQ(ierr);
236     if (flg) {snes->converged = 0;}
237     ierr = PetscOptionsName("-snes_cancelmonitors","Remove all monitors","SNESClearMonitor",&flg);CHKERRQ(ierr);
238     if (flg) {ierr = SNESClearMonitor(snes);CHKERRQ(ierr);}
239     ierr = PetscOptionsName("-snes_monitor","Monitor norm of function","SNESDefaultMonitor",&flg);CHKERRQ(ierr);
240     if (flg) {ierr = SNESSetMonitor(snes,SNESDefaultMonitor,0,0);CHKERRQ(ierr);}
241     ierr = PetscOptionsName("-snes_ratiomonitor","Monitor norm of function","SNESSetRatioMonitor",&flg);CHKERRQ(ierr);
242     if (flg) {ierr = SNESSetRatioMonitor(snes);CHKERRQ(ierr);}
243     ierr = PetscOptionsName("-snes_smonitor","Monitor norm of function (fewer digits)","SNESDefaultSMonitor",&flg);CHKERRQ(ierr);
244     if (flg) {ierr = SNESSetMonitor(snes,SNESDefaultSMonitor,0,0);CHKERRQ(ierr);}
245     ierr = PetscOptionsName("-snes_vecmonitor","Plot solution at each iteration","SNESVecViewMonitor",&flg);CHKERRQ(ierr);
246     if (flg) {ierr = SNESSetMonitor(snes,SNESVecViewMonitor,0,0);CHKERRQ(ierr);}
247     ierr = PetscOptionsName("-snes_vecmonitor_update","Plot correction at each iteration","SNESVecViewUpdateMonitor",&flg);CHKERRQ(ierr);
248     if (flg) {ierr = SNESSetMonitor(snes,SNESVecViewUpdateMonitor,0,0);CHKERRQ(ierr);}
249     ierr = PetscOptionsName("-snes_vecmonitor_residual","Plot residual at each iteration","SNESVecViewResidualMonitor",&flg);CHKERRQ(ierr);
250     if (flg) {ierr = SNESSetMonitor(snes,SNESVecViewResidualMonitor,0,0);CHKERRQ(ierr);}
251     ierr = PetscOptionsName("-snes_xmonitor","Plot function norm at each iteration","SNESLGMonitor",&flg);CHKERRQ(ierr);
252     if (flg) {ierr = SNESSetMonitor(snes,SNESLGMonitor,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);}
253 
254     ierr = PetscOptionsName("-snes_fd","Use finite differences (slow) to compute Jacobian","SNESDefaultComputeJacobian",&flg);CHKERRQ(ierr);
255     if (flg) {
256       ierr = SNESSetJacobian(snes,snes->jacobian,snes->jacobian_pre,SNESDefaultComputeJacobian,snes->funP);CHKERRQ(ierr);
257       ierr = PetscLogInfo((snes,"SNESSetFromOptions: Setting default finite difference Jacobian matrix\n"));CHKERRQ(ierr);
258     }
259 
260     for(i = 0; i < numberofsetfromoptions; i++) {
261       ierr = (*othersetfromoptions[i])(snes);CHKERRQ(ierr);
262     }
263 
264     if (snes->setfromoptions) {
265       ierr = (*snes->setfromoptions)(snes);CHKERRQ(ierr);
266     }
267 
268   ierr = PetscOptionsEnd();CHKERRQ(ierr);
269 
270   ierr = SNESGetKSP(snes,&ksp);CHKERRQ(ierr);
271   ierr = KSPSetFromOptions(ksp);CHKERRQ(ierr);
272 
273   PetscFunctionReturn(0);
274 }
275 
276 
277 #undef __FUNCT__
278 #define __FUNCT__ "SNESSetApplicationContext"
279 /*@
280    SNESSetApplicationContext - Sets the optional user-defined context for
281    the nonlinear solvers.
282 
283    Collective on SNES
284 
285    Input Parameters:
286 +  snes - the SNES context
287 -  usrP - optional user context
288 
289    Level: intermediate
290 
291 .keywords: SNES, nonlinear, set, application, context
292 
293 .seealso: SNESGetApplicationContext()
294 @*/
295 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetApplicationContext(SNES snes,void *usrP)
296 {
297   PetscFunctionBegin;
298   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
299   snes->user		= usrP;
300   PetscFunctionReturn(0);
301 }
302 
303 #undef __FUNCT__
304 #define __FUNCT__ "SNESGetApplicationContext"
305 /*@C
306    SNESGetApplicationContext - Gets the user-defined context for the
307    nonlinear solvers.
308 
309    Not Collective
310 
311    Input Parameter:
312 .  snes - SNES context
313 
314    Output Parameter:
315 .  usrP - user context
316 
317    Level: intermediate
318 
319 .keywords: SNES, nonlinear, get, application, context
320 
321 .seealso: SNESSetApplicationContext()
322 @*/
323 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetApplicationContext(SNES snes,void **usrP)
324 {
325   PetscFunctionBegin;
326   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
327   *usrP = snes->user;
328   PetscFunctionReturn(0);
329 }
330 
331 #undef __FUNCT__
332 #define __FUNCT__ "SNESGetIterationNumber"
333 /*@
334    SNESGetIterationNumber - Gets the number of nonlinear iterations completed
335    at this time.
336 
337    Not Collective
338 
339    Input Parameter:
340 .  snes - SNES context
341 
342    Output Parameter:
343 .  iter - iteration number
344 
345    Notes:
346    For example, during the computation of iteration 2 this would return 1.
347 
348    This is useful for using lagged Jacobians (where one does not recompute the
349    Jacobian at each SNES iteration). For example, the code
350 .vb
351       ierr = SNESGetIterationNumber(snes,&it);
352       if (!(it % 2)) {
353         [compute Jacobian here]
354       }
355 .ve
356    can be used in your ComputeJacobian() function to cause the Jacobian to be
357    recomputed every second SNES iteration.
358 
359    Level: intermediate
360 
361 .keywords: SNES, nonlinear, get, iteration, number
362 @*/
363 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetIterationNumber(SNES snes,PetscInt* iter)
364 {
365   PetscFunctionBegin;
366   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
367   PetscValidIntPointer(iter,2);
368   *iter = snes->iter;
369   PetscFunctionReturn(0);
370 }
371 
372 #undef __FUNCT__
373 #define __FUNCT__ "SNESGetFunctionNorm"
374 /*@
375    SNESGetFunctionNorm - Gets the norm of the current function that was set
376    with SNESSSetFunction().
377 
378    Collective on SNES
379 
380    Input Parameter:
381 .  snes - SNES context
382 
383    Output Parameter:
384 .  fnorm - 2-norm of function
385 
386    Level: intermediate
387 
388 .keywords: SNES, nonlinear, get, function, norm
389 
390 .seealso: SNESGetFunction()
391 @*/
392 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetFunctionNorm(SNES snes,PetscScalar *fnorm)
393 {
394   PetscFunctionBegin;
395   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
396   PetscValidScalarPointer(fnorm,2);
397   *fnorm = snes->norm;
398   PetscFunctionReturn(0);
399 }
400 
401 #undef __FUNCT__
402 #define __FUNCT__ "SNESGetNumberUnsuccessfulSteps"
403 /*@
404    SNESGetNumberUnsuccessfulSteps - Gets the number of unsuccessful steps
405    attempted by the nonlinear solver.
406 
407    Not Collective
408 
409    Input Parameter:
410 .  snes - SNES context
411 
412    Output Parameter:
413 .  nfails - number of unsuccessful steps attempted
414 
415    Notes:
416    This counter is reset to zero for each successive call to SNESSolve().
417 
418    Level: intermediate
419 
420 .keywords: SNES, nonlinear, get, number, unsuccessful, steps
421 @*/
422 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetNumberUnsuccessfulSteps(SNES snes,PetscInt* nfails)
423 {
424   PetscFunctionBegin;
425   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
426   PetscValidIntPointer(nfails,2);
427   *nfails = snes->numFailures;
428   PetscFunctionReturn(0);
429 }
430 
431 #undef __FUNCT__
432 #define __FUNCT__ "SNESSetMaximumUnsuccessfulSteps"
433 /*@
434    SNESSetMaximumUnsuccessfulSteps - Sets the maximum number of unsuccessful steps
435    attempted by the nonlinear solver before it gives up.
436 
437    Not Collective
438 
439    Input Parameters:
440 +  snes     - SNES context
441 -  maxFails - maximum of unsuccessful steps
442 
443    Level: intermediate
444 
445 .keywords: SNES, nonlinear, set, maximum, unsuccessful, steps
446 @*/
447 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetMaximumUnsuccessfulSteps(SNES snes, PetscInt maxFails)
448 {
449   PetscFunctionBegin;
450   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
451   snes->maxFailures = maxFails;
452   PetscFunctionReturn(0);
453 }
454 
455 #undef __FUNCT__
456 #define __FUNCT__ "SNESGetMaximumUnsuccessfulSteps"
457 /*@
458    SNESGetMaximumUnsuccessfulSteps - Gets the maximum number of unsuccessful steps
459    attempted by the nonlinear solver before it gives up.
460 
461    Not Collective
462 
463    Input Parameter:
464 .  snes     - SNES context
465 
466    Output Parameter:
467 .  maxFails - maximum of unsuccessful steps
468 
469    Level: intermediate
470 
471 .keywords: SNES, nonlinear, get, maximum, unsuccessful, steps
472 @*/
473 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetMaximumUnsuccessfulSteps(SNES snes, PetscInt *maxFails)
474 {
475   PetscFunctionBegin;
476   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
477   PetscValidIntPointer(maxFails,2);
478   *maxFails = snes->maxFailures;
479   PetscFunctionReturn(0);
480 }
481 
482 #undef __FUNCT__
483 #define __FUNCT__ "SNESGetNumberLinearIterations"
484 /*@
485    SNESGetNumberLinearIterations - Gets the total number of linear iterations
486    used by the nonlinear solver.
487 
488    Not Collective
489 
490    Input Parameter:
491 .  snes - SNES context
492 
493    Output Parameter:
494 .  lits - number of linear iterations
495 
496    Notes:
497    This counter is reset to zero for each successive call to SNESSolve().
498 
499    Level: intermediate
500 
501 .keywords: SNES, nonlinear, get, number, linear, iterations
502 @*/
503 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetNumberLinearIterations(SNES snes,PetscInt* lits)
504 {
505   PetscFunctionBegin;
506   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
507   PetscValidIntPointer(lits,2);
508   *lits = snes->linear_its;
509   PetscFunctionReturn(0);
510 }
511 
512 #undef __FUNCT__
513 #define __FUNCT__ "SNESGetKSP"
514 /*@C
515    SNESGetKSP - Returns the KSP context for a SNES solver.
516 
517    Not Collective, but if SNES object is parallel, then KSP object is parallel
518 
519    Input Parameter:
520 .  snes - the SNES context
521 
522    Output Parameter:
523 .  ksp - the KSP context
524 
525    Notes:
526    The user can then directly manipulate the KSP context to set various
527    options, etc.  Likewise, the user can then extract and manipulate the
528    KSP and PC contexts as well.
529 
530    Level: beginner
531 
532 .keywords: SNES, nonlinear, get, KSP, context
533 
534 .seealso: KSPGetPC()
535 @*/
536 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetKSP(SNES snes,KSP *ksp)
537 {
538   PetscFunctionBegin;
539   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
540   PetscValidPointer(ksp,2);
541   *ksp = snes->ksp;
542   PetscFunctionReturn(0);
543 }
544 
545 #undef __FUNCT__
546 #define __FUNCT__ "SNESPublish_Petsc"
547 static PetscErrorCode SNESPublish_Petsc(PetscObject obj)
548 {
549   PetscFunctionBegin;
550   PetscFunctionReturn(0);
551 }
552 
553 /* -----------------------------------------------------------*/
554 #undef __FUNCT__
555 #define __FUNCT__ "SNESCreate"
556 /*@C
557    SNESCreate - Creates a nonlinear solver context.
558 
559    Collective on MPI_Comm
560 
561    Input Parameters:
562 +  comm - MPI communicator
563 
564    Output Parameter:
565 .  outsnes - the new SNES context
566 
567    Options Database Keys:
568 +   -snes_mf - Activates default matrix-free Jacobian-vector products,
569                and no preconditioning matrix
570 .   -snes_mf_operator - Activates default matrix-free Jacobian-vector
571                products, and a user-provided preconditioning matrix
572                as set by SNESSetJacobian()
573 -   -snes_fd - Uses (slow!) finite differences to compute Jacobian
574 
575    Level: beginner
576 
577 .keywords: SNES, nonlinear, create, context
578 
579 .seealso: SNESSolve(), SNESDestroy(), SNES
580 @*/
581 PetscErrorCode PETSCSNES_DLLEXPORT SNESCreate(MPI_Comm comm,SNES *outsnes)
582 {
583   PetscErrorCode      ierr;
584   SNES                snes;
585   SNES_KSP_EW_ConvCtx *kctx;
586 
587   PetscFunctionBegin;
588   PetscValidPointer(outsnes,2);
589   *outsnes = PETSC_NULL;
590 #ifndef PETSC_USE_DYNAMIC_LIBRARIES
591   ierr = SNESInitializePackage(PETSC_NULL);CHKERRQ(ierr);
592 #endif
593 
594   ierr = PetscHeaderCreate(snes,_p_SNES,PetscInt,SNES_COOKIE,0,"SNES",comm,SNESDestroy,SNESView);CHKERRQ(ierr);
595   snes->bops->publish     = SNESPublish_Petsc;
596   snes->max_its           = 50;
597   snes->max_funcs	  = 10000;
598   snes->norm		  = 0.0;
599   snes->rtol		  = 1.e-8;
600   snes->ttol              = 0.0;
601   snes->abstol		  = 1.e-50;
602   snes->xtol		  = 1.e-8;
603   snes->deltatol	  = 1.e-12;
604   snes->nfuncs            = 0;
605   snes->numFailures       = 0;
606   snes->maxFailures       = 1;
607   snes->linear_its        = 0;
608   snes->numbermonitors    = 0;
609   snes->data              = 0;
610   snes->view              = 0;
611   snes->setupcalled       = PETSC_FALSE;
612   snes->ksp_ewconv        = PETSC_FALSE;
613   snes->vwork             = 0;
614   snes->nwork             = 0;
615   snes->conv_hist_len     = 0;
616   snes->conv_hist_max     = 0;
617   snes->conv_hist         = PETSC_NULL;
618   snes->conv_hist_its     = PETSC_NULL;
619   snes->conv_hist_reset   = PETSC_TRUE;
620   snes->reason            = SNES_CONVERGED_ITERATING;
621 
622   /* Create context to compute Eisenstat-Walker relative tolerance for KSP */
623   ierr = PetscNew(SNES_KSP_EW_ConvCtx,&kctx);CHKERRQ(ierr);
624   ierr = PetscLogObjectMemory(snes,sizeof(SNES_KSP_EW_ConvCtx));CHKERRQ(ierr);
625   snes->kspconvctx  = (void*)kctx;
626   kctx->version     = 2;
627   kctx->rtol_0      = .3; /* Eisenstat and Walker suggest rtol_0=.5, but
628                              this was too large for some test cases */
629   kctx->rtol_last   = 0;
630   kctx->rtol_max    = .9;
631   kctx->gamma       = 1.0;
632   kctx->alpha2      = .5*(1.0 + sqrt(5.0));
633   kctx->alpha       = kctx->alpha2;
634   kctx->threshold   = .1;
635   kctx->lresid_last = 0;
636   kctx->norm_last   = 0;
637 
638   ierr = KSPCreate(comm,&snes->ksp);CHKERRQ(ierr);
639   ierr = PetscLogObjectParent(snes,snes->ksp);CHKERRQ(ierr);
640 
641   *outsnes = snes;
642   ierr = PetscPublishAll(snes);CHKERRQ(ierr);
643   PetscFunctionReturn(0);
644 }
645 
646 #undef __FUNCT__
647 #define __FUNCT__ "SNESSetFunction"
648 /*@C
649    SNESSetFunction - Sets the function evaluation routine and function
650    vector for use by the SNES routines in solving systems of nonlinear
651    equations.
652 
653    Collective on SNES
654 
655    Input Parameters:
656 +  snes - the SNES context
657 .  func - function evaluation routine
658 .  r - vector to store function value
659 -  ctx - [optional] user-defined context for private data for the
660          function evaluation routine (may be PETSC_NULL)
661 
662    Calling sequence of func:
663 $    func (SNES snes,Vec x,Vec f,void *ctx);
664 
665 .  f - function vector
666 -  ctx - optional user-defined function context
667 
668    Notes:
669    The Newton-like methods typically solve linear systems of the form
670 $      f'(x) x = -f(x),
671    where f'(x) denotes the Jacobian matrix and f(x) is the function.
672 
673    Level: beginner
674 
675 .keywords: SNES, nonlinear, set, function
676 
677 .seealso: SNESGetFunction(), SNESComputeFunction(), SNESSetJacobian()
678 @*/
679 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetFunction(SNES snes,Vec r,PetscErrorCode (*func)(SNES,Vec,Vec,void*),void *ctx)
680 {
681   PetscFunctionBegin;
682   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
683   PetscValidHeaderSpecific(r,VEC_COOKIE,2);
684   PetscCheckSameComm(snes,1,r,2);
685 
686   snes->computefunction     = func;
687   snes->vec_func            = snes->vec_func_always = r;
688   snes->funP                = ctx;
689   PetscFunctionReturn(0);
690 }
691 
692 /* --------------------------------------------------------------- */
693 #undef __FUNCT__
694 #define __FUNCT__ "SNESSetRhs"
695 /*@C
696    SNESSetRhs - Sets the vector for solving F(x) = rhs. If rhs is not set
697    it assumes a zero right hand side.
698 
699    Collective on SNES
700 
701    Input Parameters:
702 +  snes - the SNES context
703 -  rhs - the right hand side vector or PETSC_NULL for a zero right hand side
704 
705    Level: intermediate
706 
707 .keywords: SNES, nonlinear, set, function, right hand side
708 
709 .seealso: SNESGetRhs(), SNESGetFunction(), SNESComputeFunction(), SNESSetJacobian(), SNESSetFunction()
710 @*/
711 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetRhs(SNES snes,Vec rhs)
712 {
713   PetscErrorCode ierr;
714 
715   PetscFunctionBegin;
716   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
717   if (rhs) {
718     PetscValidHeaderSpecific(rhs,VEC_COOKIE,2);
719     PetscCheckSameComm(snes,1,rhs,2);
720     ierr = PetscObjectReference((PetscObject)rhs);CHKERRQ(ierr);
721   }
722   if (snes->afine) {
723     ierr = VecDestroy(snes->afine);CHKERRQ(ierr);
724   }
725   snes->afine = rhs;
726   PetscFunctionReturn(0);
727 }
728 
729 #undef __FUNCT__
730 #define __FUNCT__ "SNESGetRhs"
731 /*@C
732    SNESGetRhs - Gets the vector for solving F(x) = rhs. If rhs is not set
733    it assumes a zero right hand side.
734 
735    Collective on SNES
736 
737    Input Parameter:
738 .  snes - the SNES context
739 
740    Output Parameter:
741 .  rhs - the right hand side vector or PETSC_NULL for a zero right hand side
742 
743    Level: intermediate
744 
745 .keywords: SNES, nonlinear, get, function, right hand side
746 
747 .seealso: SNESSetRhs(), SNESGetFunction(), SNESComputeFunction(), SNESSetJacobian(), SNESSetFunction()
748 @*/
749 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetRhs(SNES snes,Vec *rhs)
750 {
751   PetscFunctionBegin;
752   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
753   PetscValidPointer(rhs,2);
754   *rhs = snes->afine;
755   PetscFunctionReturn(0);
756 }
757 
758 #undef __FUNCT__
759 #define __FUNCT__ "SNESComputeFunction"
760 /*@
761    SNESComputeFunction - Calls the function that has been set with
762                          SNESSetFunction().
763 
764    Collective on SNES
765 
766    Input Parameters:
767 +  snes - the SNES context
768 -  x - input vector
769 
770    Output Parameter:
771 .  y - function vector, as set by SNESSetFunction()
772 
773    Notes:
774    SNESComputeFunction() is typically used within nonlinear solvers
775    implementations, so most users would not generally call this routine
776    themselves.
777 
778    Level: developer
779 
780 .keywords: SNES, nonlinear, compute, function
781 
782 .seealso: SNESSetFunction(), SNESGetFunction()
783 @*/
784 PetscErrorCode PETSCSNES_DLLEXPORT SNESComputeFunction(SNES snes,Vec x,Vec y)
785 {
786   PetscErrorCode ierr;
787 
788   PetscFunctionBegin;
789   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
790   PetscValidHeaderSpecific(x,VEC_COOKIE,2);
791   PetscValidHeaderSpecific(y,VEC_COOKIE,3);
792   PetscCheckSameComm(snes,1,x,2);
793   PetscCheckSameComm(snes,1,y,3);
794 
795   ierr = PetscLogEventBegin(SNES_FunctionEval,snes,x,y,0);CHKERRQ(ierr);
796   if (snes->computefunction) {
797     PetscStackPush("SNES user function");
798     ierr = (*snes->computefunction)(snes,x,y,snes->funP);
799     PetscStackPop;
800     if (PetscExceptionValue(ierr)) {
801       PetscErrorCode pierr = PetscLogEventEnd(SNES_FunctionEval,snes,x,y,0);CHKERRQ(pierr);
802     }
803     CHKERRQ(ierr);
804   } else if (snes->afine) {
805     ierr = MatMult(snes->jacobian, x, y);CHKERRQ(ierr);
806   } else {
807     SETERRQ(PETSC_ERR_ARG_WRONGSTATE, "Must call SNESSetFunction() before SNESComputeFunction(), likely called from SNESSolve().");
808   }
809   if (snes->afine) {
810     PetscScalar mone = -1.0;
811     ierr = VecAXPY(y,mone,snes->afine);CHKERRQ(ierr);
812   }
813   snes->nfuncs++;
814   ierr = PetscLogEventEnd(SNES_FunctionEval,snes,x,y,0);CHKERRQ(ierr);
815   PetscFunctionReturn(0);
816 }
817 
818 #undef __FUNCT__
819 #define __FUNCT__ "SNESComputeJacobian"
820 /*@
821    SNESComputeJacobian - Computes the Jacobian matrix that has been
822    set with SNESSetJacobian().
823 
824    Collective on SNES and Mat
825 
826    Input Parameters:
827 +  snes - the SNES context
828 -  x - input vector
829 
830    Output Parameters:
831 +  A - Jacobian matrix
832 .  B - optional preconditioning matrix
833 -  flag - flag indicating matrix structure
834 
835    Notes:
836    Most users should not need to explicitly call this routine, as it
837    is used internally within the nonlinear solvers.
838 
839    See KSPSetOperators() for important information about setting the
840    flag parameter.
841 
842    Level: developer
843 
844 .keywords: SNES, compute, Jacobian, matrix
845 
846 .seealso:  SNESSetJacobian(), KSPSetOperators()
847 @*/
848 PetscErrorCode PETSCSNES_DLLEXPORT SNESComputeJacobian(SNES snes,Vec X,Mat *A,Mat *B,MatStructure *flg)
849 {
850   PetscErrorCode ierr;
851 
852   PetscFunctionBegin;
853   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
854   PetscValidHeaderSpecific(X,VEC_COOKIE,2);
855   PetscValidPointer(flg,5);
856   PetscCheckSameComm(snes,1,X,2);
857   if (!snes->computejacobian) PetscFunctionReturn(0);
858   ierr = PetscLogEventBegin(SNES_JacobianEval,snes,X,*A,*B);CHKERRQ(ierr);
859   *flg = DIFFERENT_NONZERO_PATTERN;
860   PetscStackPush("SNES user Jacobian function");
861   ierr = (*snes->computejacobian)(snes,X,A,B,flg,snes->jacP);CHKERRQ(ierr);
862   PetscStackPop;
863   ierr = PetscLogEventEnd(SNES_JacobianEval,snes,X,*A,*B);CHKERRQ(ierr);
864   /* make sure user returned a correct Jacobian and preconditioner */
865   PetscValidHeaderSpecific(*A,MAT_COOKIE,3);
866   PetscValidHeaderSpecific(*B,MAT_COOKIE,4);
867   PetscFunctionReturn(0);
868 }
869 
870 #undef __FUNCT__
871 #define __FUNCT__ "SNESSetJacobian"
872 /*@C
873    SNESSetJacobian - Sets the function to compute Jacobian as well as the
874    location to store the matrix.
875 
876    Collective on SNES and Mat
877 
878    Input Parameters:
879 +  snes - the SNES context
880 .  A - Jacobian matrix
881 .  B - preconditioner matrix (usually same as the Jacobian)
882 .  func - Jacobian evaluation routine
883 -  ctx - [optional] user-defined context for private data for the
884          Jacobian evaluation routine (may be PETSC_NULL)
885 
886    Calling sequence of func:
887 $     func (SNES snes,Vec x,Mat *A,Mat *B,int *flag,void *ctx);
888 
889 +  x - input vector
890 .  A - Jacobian matrix
891 .  B - preconditioner matrix, usually the same as A
892 .  flag - flag indicating information about the preconditioner matrix
893    structure (same as flag in KSPSetOperators())
894 -  ctx - [optional] user-defined Jacobian context
895 
896    Notes:
897    See KSPSetOperators() for important information about setting the flag
898    output parameter in the routine func().  Be sure to read this information!
899 
900    The routine func() takes Mat * as the matrix arguments rather than Mat.
901    This allows the Jacobian evaluation routine to replace A and/or B with a
902    completely new new matrix structure (not just different matrix elements)
903    when appropriate, for instance, if the nonzero structure is changing
904    throughout the global iterations.
905 
906    Level: beginner
907 
908 .keywords: SNES, nonlinear, set, Jacobian, matrix
909 
910 .seealso: KSPSetOperators(), SNESSetFunction(), , MatSNESMFComputeJacobian(), SNESDefaultComputeJacobianColor()
911 @*/
912 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetJacobian(SNES snes,Mat A,Mat B,PetscErrorCode (*func)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void *ctx)
913 {
914   PetscErrorCode ierr;
915 
916   PetscFunctionBegin;
917   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
918   if (A) PetscValidHeaderSpecific(A,MAT_COOKIE,2);
919   if (B) PetscValidHeaderSpecific(B,MAT_COOKIE,3);
920   if (A) PetscCheckSameComm(snes,1,A,2);
921   if (B) PetscCheckSameComm(snes,1,B,2);
922   if (func) snes->computejacobian = func;
923   if (ctx)  snes->jacP            = ctx;
924   if (A) {
925     if (snes->jacobian) {ierr = MatDestroy(snes->jacobian);CHKERRQ(ierr);}
926     snes->jacobian = A;
927     ierr           = PetscObjectReference((PetscObject)A);CHKERRQ(ierr);
928   }
929   if (B) {
930     if (snes->jacobian_pre) {ierr = MatDestroy(snes->jacobian_pre);CHKERRQ(ierr);}
931     snes->jacobian_pre = B;
932     ierr               = PetscObjectReference((PetscObject)B);CHKERRQ(ierr);
933   }
934   ierr = KSPSetOperators(snes->ksp,A,B,SAME_NONZERO_PATTERN);CHKERRQ(ierr);
935   PetscFunctionReturn(0);
936 }
937 
938 #undef __FUNCT__
939 #define __FUNCT__ "SNESGetJacobian"
940 /*@C
941    SNESGetJacobian - Returns the Jacobian matrix and optionally the user
942    provided context for evaluating the Jacobian.
943 
944    Not Collective, but Mat object will be parallel if SNES object is
945 
946    Input Parameter:
947 .  snes - the nonlinear solver context
948 
949    Output Parameters:
950 +  A - location to stash Jacobian matrix (or PETSC_NULL)
951 .  B - location to stash preconditioner matrix (or PETSC_NULL)
952 .  func - location to put Jacobian function (or PETSC_NULL)
953 -  ctx - location to stash Jacobian ctx (or PETSC_NULL)
954 
955    Level: advanced
956 
957 .seealso: SNESSetJacobian(), SNESComputeJacobian()
958 @*/
959 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetJacobian(SNES snes,Mat *A,Mat *B,PetscErrorCode (**func)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void **ctx)
960 {
961   PetscFunctionBegin;
962   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
963   if (A)    *A    = snes->jacobian;
964   if (B)    *B    = snes->jacobian_pre;
965   if (func) *func = snes->computejacobian;
966   if (ctx)  *ctx  = snes->jacP;
967   PetscFunctionReturn(0);
968 }
969 
970 /* ----- Routines to initialize and destroy a nonlinear solver ---- */
971 EXTERN PetscErrorCode PETSCSNES_DLLEXPORT SNESDefaultMatrixFreeCreate2(SNES,Vec,Mat*);
972 
973 #undef __FUNCT__
974 #define __FUNCT__ "SNESSetUp"
975 /*@
976    SNESSetUp - Sets up the internal data structures for the later use
977    of a nonlinear solver.
978 
979    Collective on SNES
980 
981    Input Parameters:
982 .  snes - the SNES context
983 
984    Notes:
985    For basic use of the SNES solvers the user need not explicitly call
986    SNESSetUp(), since these actions will automatically occur during
987    the call to SNESSolve().  However, if one wishes to control this
988    phase separately, SNESSetUp() should be called after SNESCreate()
989    and optional routines of the form SNESSetXXX(), but before SNESSolve().
990 
991    Level: advanced
992 
993 .keywords: SNES, nonlinear, setup
994 
995 .seealso: SNESCreate(), SNESSolve(), SNESDestroy()
996 @*/
997 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetUp(SNES snes)
998 {
999   PetscErrorCode ierr;
1000   PetscTruth     flg, iseqtr;
1001 
1002   PetscFunctionBegin;
1003   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1004   if (snes->setupcalled) PetscFunctionReturn(0);
1005 
1006   ierr = PetscOptionsHasName(snes->prefix,"-snes_mf_operator",&flg);CHKERRQ(ierr);
1007   /*
1008       This version replaces the user provided Jacobian matrix with a
1009       matrix-free version but still employs the user-provided preconditioner matrix
1010   */
1011   if (flg) {
1012     Mat J;
1013     ierr = MatCreateSNESMF(snes,snes->vec_sol,&J);CHKERRQ(ierr);
1014     ierr = MatSNESMFSetFromOptions(J);CHKERRQ(ierr);
1015     ierr = PetscLogInfo((snes,"SNESSetUp: Setting default matrix-free operator routines\n"));CHKERRQ(ierr);
1016     ierr = SNESSetJacobian(snes,J,0,0,0);CHKERRQ(ierr);
1017     ierr = MatDestroy(J);CHKERRQ(ierr);
1018   }
1019 
1020 #if !defined(PETSC_USE_COMPLEX) && !defined(PETSC_USE_SINGLE) && !defined(PETSC_USE_MAT_SINGLE)
1021   ierr = PetscOptionsHasName(snes->prefix,"-snes_mf_operator2",&flg);CHKERRQ(ierr);
1022   if (flg) {
1023     Mat J;
1024     ierr = SNESDefaultMatrixFreeCreate2(snes,snes->vec_sol,&J);CHKERRQ(ierr);
1025     ierr = SNESSetJacobian(snes,J,0,0,0);CHKERRQ(ierr);
1026     ierr = MatDestroy(J);CHKERRQ(ierr);
1027   }
1028 #endif
1029 
1030   ierr = PetscOptionsHasName(snes->prefix,"-snes_mf",&flg);CHKERRQ(ierr);
1031   /*
1032       This version replaces both the user-provided Jacobian and the user-
1033       provided preconditioner matrix with the default matrix free version.
1034    */
1035   if (flg) {
1036     Mat  J;
1037     KSP ksp;
1038     PC   pc;
1039 
1040     ierr = MatCreateSNESMF(snes,snes->vec_sol,&J);CHKERRQ(ierr);
1041     ierr = MatSNESMFSetFromOptions(J);CHKERRQ(ierr);
1042     ierr = PetscLogInfo((snes,"SNESSetUp: Setting default matrix-free operator and preconditioner routines\n"));CHKERRQ(ierr);
1043     ierr = SNESSetJacobian(snes,J,J,MatSNESMFComputeJacobian,snes->funP);CHKERRQ(ierr);
1044     ierr = MatDestroy(J);CHKERRQ(ierr);
1045 
1046     /* force no preconditioner */
1047     ierr = SNESGetKSP(snes,&ksp);CHKERRQ(ierr);
1048     ierr = KSPGetPC(ksp,&pc);CHKERRQ(ierr);
1049     ierr = PetscTypeCompare((PetscObject)pc,PCSHELL,&flg);CHKERRQ(ierr);
1050     if (!flg) {
1051       ierr = PCSetType(pc,PCNONE);CHKERRQ(ierr);
1052     }
1053   }
1054 
1055   if (!snes->vec_func && !snes->afine) {
1056     SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Must call SNESSetFunction() first");
1057   }
1058   if (!snes->computefunction && !snes->afine) {
1059     SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Must call SNESSetFunction() first");
1060   }
1061   if (!snes->jacobian) SETERRQ(PETSC_ERR_ARG_WRONGSTATE,"Must call SNESSetJacobian() first \n or use -snes_mf option");
1062   if (snes->vec_func == snes->vec_sol) {
1063     SETERRQ(PETSC_ERR_ARG_IDN,"Solution vector cannot be function vector");
1064   }
1065 
1066   /* Set the KSP stopping criterion to use the Eisenstat-Walker method */
1067   ierr = PetscTypeCompare((PetscObject)snes,SNESTR,&iseqtr);CHKERRQ(ierr);
1068   if (snes->ksp_ewconv && !iseqtr) {
1069     KSP ksp;
1070     ierr = SNESGetKSP(snes,&ksp);CHKERRQ(ierr);
1071     ierr = KSPSetConvergenceTest(ksp,SNES_KSP_EW_Converged_Private,snes);CHKERRQ(ierr);
1072   }
1073 
1074   if (snes->setup) {ierr = (*snes->setup)(snes);CHKERRQ(ierr);}
1075   snes->setupcalled = PETSC_TRUE;
1076   PetscFunctionReturn(0);
1077 }
1078 
1079 #undef __FUNCT__
1080 #define __FUNCT__ "SNESDestroy"
1081 /*@C
1082    SNESDestroy - Destroys the nonlinear solver context that was created
1083    with SNESCreate().
1084 
1085    Collective on SNES
1086 
1087    Input Parameter:
1088 .  snes - the SNES context
1089 
1090    Level: beginner
1091 
1092 .keywords: SNES, nonlinear, destroy
1093 
1094 .seealso: SNESCreate(), SNESSolve()
1095 @*/
1096 PetscErrorCode PETSCSNES_DLLEXPORT SNESDestroy(SNES snes)
1097 {
1098   PetscErrorCode ierr;
1099 
1100   PetscFunctionBegin;
1101   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1102   if (--snes->refct > 0) PetscFunctionReturn(0);
1103 
1104   /* if memory was published with AMS then destroy it */
1105   ierr = PetscObjectDepublish(snes);CHKERRQ(ierr);
1106 
1107   if (snes->destroy) {ierr = (*(snes)->destroy)(snes);CHKERRQ(ierr);}
1108   if (snes->kspconvctx) {ierr = PetscFree(snes->kspconvctx);CHKERRQ(ierr);}
1109   if (snes->jacobian) {ierr = MatDestroy(snes->jacobian);CHKERRQ(ierr);}
1110   if (snes->jacobian_pre) {ierr = MatDestroy(snes->jacobian_pre);CHKERRQ(ierr);}
1111   if (snes->afine) {ierr = VecDestroy(snes->afine);CHKERRQ(ierr);}
1112   ierr = KSPDestroy(snes->ksp);CHKERRQ(ierr);
1113   if (snes->vwork) {ierr = VecDestroyVecs(snes->vwork,snes->nvwork);CHKERRQ(ierr);}
1114   ierr = SNESClearMonitor(snes);CHKERRQ(ierr);
1115   ierr = PetscHeaderDestroy(snes);CHKERRQ(ierr);
1116   PetscFunctionReturn(0);
1117 }
1118 
1119 /* ----------- Routines to set solver parameters ---------- */
1120 
1121 #undef __FUNCT__
1122 #define __FUNCT__ "SNESSetTolerances"
1123 /*@
1124    SNESSetTolerances - Sets various parameters used in convergence tests.
1125 
1126    Collective on SNES
1127 
1128    Input Parameters:
1129 +  snes - the SNES context
1130 .  abstol - absolute convergence tolerance
1131 .  rtol - relative convergence tolerance
1132 .  stol -  convergence tolerance in terms of the norm
1133            of the change in the solution between steps
1134 .  maxit - maximum number of iterations
1135 -  maxf - maximum number of function evaluations
1136 
1137    Options Database Keys:
1138 +    -snes_atol <abstol> - Sets abstol
1139 .    -snes_rtol <rtol> - Sets rtol
1140 .    -snes_stol <stol> - Sets stol
1141 .    -snes_max_it <maxit> - Sets maxit
1142 -    -snes_max_funcs <maxf> - Sets maxf
1143 
1144    Notes:
1145    The default maximum number of iterations is 50.
1146    The default maximum number of function evaluations is 1000.
1147 
1148    Level: intermediate
1149 
1150 .keywords: SNES, nonlinear, set, convergence, tolerances
1151 
1152 .seealso: SNESSetTrustRegionTolerance()
1153 @*/
1154 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetTolerances(SNES snes,PetscReal abstol,PetscReal rtol,PetscReal stol,PetscInt maxit,PetscInt maxf)
1155 {
1156   PetscFunctionBegin;
1157   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1158   if (abstol != PETSC_DEFAULT)  snes->abstol      = abstol;
1159   if (rtol != PETSC_DEFAULT)  snes->rtol      = rtol;
1160   if (stol != PETSC_DEFAULT)  snes->xtol      = stol;
1161   if (maxit != PETSC_DEFAULT) snes->max_its   = maxit;
1162   if (maxf != PETSC_DEFAULT)  snes->max_funcs = maxf;
1163   PetscFunctionReturn(0);
1164 }
1165 
1166 #undef __FUNCT__
1167 #define __FUNCT__ "SNESGetTolerances"
1168 /*@
1169    SNESGetTolerances - Gets various parameters used in convergence tests.
1170 
1171    Not Collective
1172 
1173    Input Parameters:
1174 +  snes - the SNES context
1175 .  abstol - absolute convergence tolerance
1176 .  rtol - relative convergence tolerance
1177 .  stol -  convergence tolerance in terms of the norm
1178            of the change in the solution between steps
1179 .  maxit - maximum number of iterations
1180 -  maxf - maximum number of function evaluations
1181 
1182    Notes:
1183    The user can specify PETSC_NULL for any parameter that is not needed.
1184 
1185    Level: intermediate
1186 
1187 .keywords: SNES, nonlinear, get, convergence, tolerances
1188 
1189 .seealso: SNESSetTolerances()
1190 @*/
1191 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetTolerances(SNES snes,PetscReal *abstol,PetscReal *rtol,PetscReal *stol,PetscInt *maxit,PetscInt *maxf)
1192 {
1193   PetscFunctionBegin;
1194   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1195   if (abstol)  *abstol  = snes->abstol;
1196   if (rtol)  *rtol  = snes->rtol;
1197   if (stol)  *stol  = snes->xtol;
1198   if (maxit) *maxit = snes->max_its;
1199   if (maxf)  *maxf  = snes->max_funcs;
1200   PetscFunctionReturn(0);
1201 }
1202 
1203 #undef __FUNCT__
1204 #define __FUNCT__ "SNESSetTrustRegionTolerance"
1205 /*@
1206    SNESSetTrustRegionTolerance - Sets the trust region parameter tolerance.
1207 
1208    Collective on SNES
1209 
1210    Input Parameters:
1211 +  snes - the SNES context
1212 -  tol - tolerance
1213 
1214    Options Database Key:
1215 .  -snes_trtol <tol> - Sets tol
1216 
1217    Level: intermediate
1218 
1219 .keywords: SNES, nonlinear, set, trust region, tolerance
1220 
1221 .seealso: SNESSetTolerances()
1222 @*/
1223 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetTrustRegionTolerance(SNES snes,PetscReal tol)
1224 {
1225   PetscFunctionBegin;
1226   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1227   snes->deltatol = tol;
1228   PetscFunctionReturn(0);
1229 }
1230 
1231 /*
1232    Duplicate the lg monitors for SNES from KSP; for some reason with
1233    dynamic libraries things don't work under Sun4 if we just use
1234    macros instead of functions
1235 */
1236 #undef __FUNCT__
1237 #define __FUNCT__ "SNESLGMonitor"
1238 PetscErrorCode PETSCSNES_DLLEXPORT SNESLGMonitor(SNES snes,PetscInt it,PetscReal norm,void *ctx)
1239 {
1240   PetscErrorCode ierr;
1241 
1242   PetscFunctionBegin;
1243   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1244   ierr = KSPLGMonitor((KSP)snes,it,norm,ctx);CHKERRQ(ierr);
1245   PetscFunctionReturn(0);
1246 }
1247 
1248 #undef __FUNCT__
1249 #define __FUNCT__ "SNESLGMonitorCreate"
1250 PetscErrorCode PETSCSNES_DLLEXPORT SNESLGMonitorCreate(const char host[],const char label[],int x,int y,int m,int n,PetscDrawLG *draw)
1251 {
1252   PetscErrorCode ierr;
1253 
1254   PetscFunctionBegin;
1255   ierr = KSPLGMonitorCreate(host,label,x,y,m,n,draw);CHKERRQ(ierr);
1256   PetscFunctionReturn(0);
1257 }
1258 
1259 #undef __FUNCT__
1260 #define __FUNCT__ "SNESLGMonitorDestroy"
1261 PetscErrorCode PETSCSNES_DLLEXPORT SNESLGMonitorDestroy(PetscDrawLG draw)
1262 {
1263   PetscErrorCode ierr;
1264 
1265   PetscFunctionBegin;
1266   ierr = KSPLGMonitorDestroy(draw);CHKERRQ(ierr);
1267   PetscFunctionReturn(0);
1268 }
1269 
1270 /* ------------ Routines to set performance monitoring options ----------- */
1271 
1272 #undef __FUNCT__
1273 #define __FUNCT__ "SNESSetMonitor"
1274 /*@C
1275    SNESSetMonitor - Sets an ADDITIONAL function that is to be used at every
1276    iteration of the nonlinear solver to display the iteration's
1277    progress.
1278 
1279    Collective on SNES
1280 
1281    Input Parameters:
1282 +  snes - the SNES context
1283 .  func - monitoring routine
1284 .  mctx - [optional] user-defined context for private data for the
1285           monitor routine (use PETSC_NULL if no context is desitre)
1286 -  monitordestroy - [optional] routine that frees monitor context
1287           (may be PETSC_NULL)
1288 
1289    Calling sequence of func:
1290 $     int func(SNES snes,PetscInt its, PetscReal norm,void *mctx)
1291 
1292 +    snes - the SNES context
1293 .    its - iteration number
1294 .    norm - 2-norm function value (may be estimated)
1295 -    mctx - [optional] monitoring context
1296 
1297    Options Database Keys:
1298 +    -snes_monitor        - sets SNESDefaultMonitor()
1299 .    -snes_xmonitor       - sets line graph monitor,
1300                             uses SNESLGMonitorCreate()
1301 _    -snes_cancelmonitors - cancels all monitors that have
1302                             been hardwired into a code by
1303                             calls to SNESSetMonitor(), but
1304                             does not cancel those set via
1305                             the options database.
1306 
1307    Notes:
1308    Several different monitoring routines may be set by calling
1309    SNESSetMonitor() multiple times; all will be called in the
1310    order in which they were set.
1311 
1312    Level: intermediate
1313 
1314 .keywords: SNES, nonlinear, set, monitor
1315 
1316 .seealso: SNESDefaultMonitor(), SNESClearMonitor()
1317 @*/
1318 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetMonitor(SNES snes,PetscErrorCode (*func)(SNES,PetscInt,PetscReal,void*),void *mctx,PetscErrorCode (*monitordestroy)(void*))
1319 {
1320   PetscFunctionBegin;
1321   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1322   if (snes->numbermonitors >= MAXSNESMONITORS) {
1323     SETERRQ(PETSC_ERR_ARG_OUTOFRANGE,"Too many monitors set");
1324   }
1325   snes->monitor[snes->numbermonitors]           = func;
1326   snes->monitordestroy[snes->numbermonitors]    = monitordestroy;
1327   snes->monitorcontext[snes->numbermonitors++]  = (void*)mctx;
1328   PetscFunctionReturn(0);
1329 }
1330 
1331 #undef __FUNCT__
1332 #define __FUNCT__ "SNESClearMonitor"
1333 /*@C
1334    SNESClearMonitor - Clears all the monitor functions for a SNES object.
1335 
1336    Collective on SNES
1337 
1338    Input Parameters:
1339 .  snes - the SNES context
1340 
1341    Options Database Key:
1342 .  -snes_cancelmonitors - cancels all monitors that have been hardwired
1343     into a code by calls to SNESSetMonitor(), but does not cancel those
1344     set via the options database
1345 
1346    Notes:
1347    There is no way to clear one specific monitor from a SNES object.
1348 
1349    Level: intermediate
1350 
1351 .keywords: SNES, nonlinear, set, monitor
1352 
1353 .seealso: SNESDefaultMonitor(), SNESSetMonitor()
1354 @*/
1355 PetscErrorCode PETSCSNES_DLLEXPORT SNESClearMonitor(SNES snes)
1356 {
1357   PetscErrorCode ierr;
1358   PetscInt       i;
1359 
1360   PetscFunctionBegin;
1361   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1362   for (i=0; i<snes->numbermonitors; i++) {
1363     if (snes->monitordestroy[i]) {
1364       ierr = (*snes->monitordestroy[i])(snes->monitorcontext[i]);CHKERRQ(ierr);
1365     }
1366   }
1367   snes->numbermonitors = 0;
1368   PetscFunctionReturn(0);
1369 }
1370 
1371 #undef __FUNCT__
1372 #define __FUNCT__ "SNESSetConvergenceTest"
1373 /*@C
1374    SNESSetConvergenceTest - Sets the function that is to be used
1375    to test for convergence of the nonlinear iterative solution.
1376 
1377    Collective on SNES
1378 
1379    Input Parameters:
1380 +  snes - the SNES context
1381 .  func - routine to test for convergence
1382 -  cctx - [optional] context for private data for the convergence routine
1383           (may be PETSC_NULL)
1384 
1385    Calling sequence of func:
1386 $     PetscErrorCode func (SNES snes,PetscReal xnorm,PetscReal gnorm,PetscReal f,SNESConvergedReason *reason,void *cctx)
1387 
1388 +    snes - the SNES context
1389 .    cctx - [optional] convergence context
1390 .    reason - reason for convergence/divergence
1391 .    xnorm - 2-norm of current iterate
1392 .    gnorm - 2-norm of current step
1393 -    f - 2-norm of function
1394 
1395    Level: advanced
1396 
1397 .keywords: SNES, nonlinear, set, convergence, test
1398 
1399 .seealso: SNESConverged_LS(), SNESConverged_TR()
1400 @*/
1401 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetConvergenceTest(SNES snes,PetscErrorCode (*func)(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*),void *cctx)
1402 {
1403   PetscFunctionBegin;
1404   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1405   (snes)->converged = func;
1406   (snes)->cnvP      = cctx;
1407   PetscFunctionReturn(0);
1408 }
1409 
1410 #undef __FUNCT__
1411 #define __FUNCT__ "SNESGetConvergedReason"
1412 /*@C
1413    SNESGetConvergedReason - Gets the reason the SNES iteration was stopped.
1414 
1415    Not Collective
1416 
1417    Input Parameter:
1418 .  snes - the SNES context
1419 
1420    Output Parameter:
1421 .  reason - negative value indicates diverged, positive value converged, see petscsnes.h or the
1422             manual pages for the individual convergence tests for complete lists
1423 
1424    Level: intermediate
1425 
1426    Notes: Can only be called after the call the SNESSolve() is complete.
1427 
1428 .keywords: SNES, nonlinear, set, convergence, test
1429 
1430 .seealso: SNESSetConvergenceTest(), SNESConverged_LS(), SNESConverged_TR(), SNESConvergedReason
1431 @*/
1432 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetConvergedReason(SNES snes,SNESConvergedReason *reason)
1433 {
1434   PetscFunctionBegin;
1435   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1436   PetscValidPointer(reason,2);
1437   *reason = snes->reason;
1438   PetscFunctionReturn(0);
1439 }
1440 
1441 #undef __FUNCT__
1442 #define __FUNCT__ "SNESSetConvergenceHistory"
1443 /*@
1444    SNESSetConvergenceHistory - Sets the array used to hold the convergence history.
1445 
1446    Collective on SNES
1447 
1448    Input Parameters:
1449 +  snes - iterative context obtained from SNESCreate()
1450 .  a   - array to hold history
1451 .  its - integer array holds the number of linear iterations for each solve.
1452 .  na  - size of a and its
1453 -  reset - PETSC_TRUE indicates each new nonlinear solve resets the history counter to zero,
1454            else it continues storing new values for new nonlinear solves after the old ones
1455 
1456    Notes:
1457    If set, this array will contain the function norms computed
1458    at each step.
1459 
1460    This routine is useful, e.g., when running a code for purposes
1461    of accurate performance monitoring, when no I/O should be done
1462    during the section of code that is being timed.
1463 
1464    Level: intermediate
1465 
1466 .keywords: SNES, set, convergence, history
1467 
1468 .seealso: SNESGetConvergenceHistory()
1469 
1470 @*/
1471 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetConvergenceHistory(SNES snes,PetscReal a[],PetscInt *its,PetscInt na,PetscTruth reset)
1472 {
1473   PetscFunctionBegin;
1474   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1475   if (na) PetscValidScalarPointer(a,2);
1476   snes->conv_hist       = a;
1477   snes->conv_hist_its   = its;
1478   snes->conv_hist_max   = na;
1479   snes->conv_hist_reset = reset;
1480   PetscFunctionReturn(0);
1481 }
1482 
1483 #undef __FUNCT__
1484 #define __FUNCT__ "SNESGetConvergenceHistory"
1485 /*@C
1486    SNESGetConvergenceHistory - Gets the array used to hold the convergence history.
1487 
1488    Collective on SNES
1489 
1490    Input Parameter:
1491 .  snes - iterative context obtained from SNESCreate()
1492 
1493    Output Parameters:
1494 .  a   - array to hold history
1495 .  its - integer array holds the number of linear iterations (or
1496          negative if not converged) for each solve.
1497 -  na  - size of a and its
1498 
1499    Notes:
1500     The calling sequence for this routine in Fortran is
1501 $   call SNESGetConvergenceHistory(SNES snes, integer na, integer ierr)
1502 
1503    This routine is useful, e.g., when running a code for purposes
1504    of accurate performance monitoring, when no I/O should be done
1505    during the section of code that is being timed.
1506 
1507    Level: intermediate
1508 
1509 .keywords: SNES, get, convergence, history
1510 
1511 .seealso: SNESSetConvergencHistory()
1512 
1513 @*/
1514 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetConvergenceHistory(SNES snes,PetscReal *a[],PetscInt *its[],PetscInt *na)
1515 {
1516   PetscFunctionBegin;
1517   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1518   if (a)   *a   = snes->conv_hist;
1519   if (its) *its = snes->conv_hist_its;
1520   if (na) *na   = snes->conv_hist_len;
1521   PetscFunctionReturn(0);
1522 }
1523 
1524 #undef __FUNCT__
1525 #define __FUNCT__ "SNESSetUpdate"
1526 /*@C
1527   SNESSetUpdate - Sets the general-purpose update function called
1528   at the beginning of every step of the iteration.
1529 
1530   Collective on SNES
1531 
1532   Input Parameters:
1533 . snes - The nonlinear solver context
1534 . func - The function
1535 
1536   Calling sequence of func:
1537 . func (SNES snes, PetscInt step);
1538 
1539 . step - The current step of the iteration
1540 
1541   Level: intermediate
1542 
1543 .keywords: SNES, update
1544 
1545 .seealso SNESDefaultUpdate(), SNESSetRhsBC(), SNESSetSolutionBC()
1546 @*/
1547 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetUpdate(SNES snes, PetscErrorCode (*func)(SNES, PetscInt))
1548 {
1549   PetscFunctionBegin;
1550   PetscValidHeaderSpecific(snes, SNES_COOKIE,1);
1551   snes->update = func;
1552   PetscFunctionReturn(0);
1553 }
1554 
1555 #undef __FUNCT__
1556 #define __FUNCT__ "SNESDefaultUpdate"
1557 /*@
1558   SNESDefaultUpdate - The default update function which does nothing.
1559 
1560   Not collective
1561 
1562   Input Parameters:
1563 . snes - The nonlinear solver context
1564 . step - The current step of the iteration
1565 
1566   Level: intermediate
1567 
1568 .keywords: SNES, update
1569 .seealso SNESSetUpdate(), SNESDefaultRhsBC(), SNESDefaultSolutionBC()
1570 @*/
1571 PetscErrorCode PETSCSNES_DLLEXPORT SNESDefaultUpdate(SNES snes, PetscInt step)
1572 {
1573   PetscFunctionBegin;
1574   PetscFunctionReturn(0);
1575 }
1576 
1577 #undef __FUNCT__
1578 #define __FUNCT__ "SNESScaleStep_Private"
1579 /*
1580    SNESScaleStep_Private - Scales a step so that its length is less than the
1581    positive parameter delta.
1582 
1583     Input Parameters:
1584 +   snes - the SNES context
1585 .   y - approximate solution of linear system
1586 .   fnorm - 2-norm of current function
1587 -   delta - trust region size
1588 
1589     Output Parameters:
1590 +   gpnorm - predicted function norm at the new point, assuming local
1591     linearization.  The value is zero if the step lies within the trust
1592     region, and exceeds zero otherwise.
1593 -   ynorm - 2-norm of the step
1594 
1595     Note:
1596     For non-trust region methods such as SNESLS, the parameter delta
1597     is set to be the maximum allowable step size.
1598 
1599 .keywords: SNES, nonlinear, scale, step
1600 */
1601 PetscErrorCode SNESScaleStep_Private(SNES snes,Vec y,PetscReal *fnorm,PetscReal *delta,PetscReal *gpnorm,PetscReal *ynorm)
1602 {
1603   PetscReal      nrm;
1604   PetscScalar    cnorm;
1605   PetscErrorCode ierr;
1606 
1607   PetscFunctionBegin;
1608   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1609   PetscValidHeaderSpecific(y,VEC_COOKIE,2);
1610   PetscCheckSameComm(snes,1,y,2);
1611 
1612   ierr = VecNorm(y,NORM_2,&nrm);CHKERRQ(ierr);
1613   if (nrm > *delta) {
1614      nrm = *delta/nrm;
1615      *gpnorm = (1.0 - nrm)*(*fnorm);
1616      cnorm = nrm;
1617      ierr = VecScale(y,cnorm);CHKERRQ(ierr);
1618      *ynorm = *delta;
1619   } else {
1620      *gpnorm = 0.0;
1621      *ynorm = nrm;
1622   }
1623   PetscFunctionReturn(0);
1624 }
1625 
1626 #undef __FUNCT__
1627 #define __FUNCT__ "SNESSolve"
1628 /*@
1629    SNESSolve - Solves a nonlinear system F(x) = b.
1630    Call SNESSolve() after calling SNESCreate() and optional routines of the form SNESSetXXX().
1631 
1632    Collective on SNES
1633 
1634    Input Parameters:
1635 +  snes - the SNES context
1636 .  b - the constant part of the equation, or PETSC_NULL to use zero.
1637 -  x - the solution vector, or PETSC_NULL if it was set with SNESSetSolution()
1638 
1639    Notes:
1640    The user should initialize the vector,x, with the initial guess
1641    for the nonlinear solve prior to calling SNESSolve.  In particular,
1642    to employ an initial guess of zero, the user should explicitly set
1643    this vector to zero by calling VecSet().
1644 
1645    Level: beginner
1646 
1647 .keywords: SNES, nonlinear, solve
1648 
1649 .seealso: SNESCreate(), SNESDestroy(), SNESSetFunction(), SNESSetJacobian(), SNESSetRhs(), SNESSetSolution()
1650 @*/
1651 PetscErrorCode PETSCSNES_DLLEXPORT SNESSolve(SNES snes,Vec b,Vec x)
1652 {
1653   PetscErrorCode ierr;
1654   PetscTruth     flg;
1655 
1656   PetscFunctionBegin;
1657   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1658   if (!snes->solve) SETERRQ(PETSC_ERR_ORDER,"SNESSetType() or SNESSetFromOptions() must be called before SNESSolve()");
1659 
1660   if (b) {
1661     ierr = SNESSetRhs(snes, b); CHKERRQ(ierr);
1662     if (!snes->vec_func) {
1663       Vec r;
1664 
1665       ierr = VecDuplicate(b, &r); CHKERRQ(ierr);
1666       ierr = SNESSetFunction(snes, r, PETSC_NULL, PETSC_NULL); CHKERRQ(ierr);
1667     }
1668   }
1669   if (x) {
1670     PetscValidHeaderSpecific(x,VEC_COOKIE,3);
1671     PetscCheckSameComm(snes,1,x,3);
1672   } else {
1673     ierr = SNESGetSolution(snes, &x); CHKERRQ(ierr);
1674     if (!x) {
1675       ierr = VecDuplicate(snes->vec_func_always, &x); CHKERRQ(ierr);
1676     }
1677   }
1678   snes->vec_sol = snes->vec_sol_always = x;
1679   if (!snes->setupcalled) {
1680     ierr = SNESSetUp(snes);CHKERRQ(ierr);
1681   }
1682   if (snes->conv_hist_reset) snes->conv_hist_len = 0;
1683   ierr = PetscLogEventBegin(SNES_Solve,snes,0,0,0);CHKERRQ(ierr);
1684   snes->nfuncs = 0; snes->linear_its = 0; snes->numFailures = 0;
1685 
1686   ierr = PetscExceptionTry1((*(snes)->solve)(snes),PETSC_ERR_ARG_DOMAIN);
1687   if (PetscExceptionValue(ierr)) {
1688     /* this means that a caller above me has also tryed this exception so I don't handle it here, pass it up */
1689     PetscErrorCode pierr = PetscLogEventEnd(SNES_Solve,snes,0,0,0);CHKERRQ(pierr);
1690   } else if (PetscExceptionCaught(ierr,PETSC_ERR_ARG_DOMAIN)) {
1691     /* translate exception into SNES not converged reason */
1692     snes->reason = SNES_DIVERGED_FUNCTION_DOMAIN;
1693     ierr = 0;
1694   }
1695   CHKERRQ(ierr);
1696 
1697   ierr = PetscLogEventEnd(SNES_Solve,snes,0,0,0);CHKERRQ(ierr);
1698   ierr = PetscOptionsHasName(snes->prefix,"-snes_view",&flg);CHKERRQ(ierr);
1699   if (flg && !PetscPreLoadingOn) { ierr = SNESView(snes,PETSC_VIEWER_STDOUT_(snes->comm));CHKERRQ(ierr); }
1700   ierr = PetscOptionsHasName(snes->prefix,"-snes_test_local_min",&flg);CHKERRQ(ierr);
1701   if (flg && !PetscPreLoadingOn) { ierr = SNESTestLocalMin(snes);CHKERRQ(ierr); }
1702   if (snes->printreason) {
1703     if (snes->reason > 0) {
1704       ierr = PetscPrintf(snes->comm,"Nonlinear solve converged due to %s\n",SNESConvergedReasons[snes->reason]);CHKERRQ(ierr);
1705     } else {
1706       ierr = PetscPrintf(snes->comm,"Nonlinear solve did not converge due to %s\n",SNESConvergedReasons[snes->reason]);CHKERRQ(ierr);
1707     }
1708   }
1709 
1710   PetscFunctionReturn(0);
1711 }
1712 
1713 /* --------- Internal routines for SNES Package --------- */
1714 
1715 #undef __FUNCT__
1716 #define __FUNCT__ "SNESSetType"
1717 /*@C
1718    SNESSetType - Sets the method for the nonlinear solver.
1719 
1720    Collective on SNES
1721 
1722    Input Parameters:
1723 +  snes - the SNES context
1724 -  type - a known method
1725 
1726    Options Database Key:
1727 .  -snes_type <type> - Sets the method; use -help for a list
1728    of available methods (for instance, ls or tr)
1729 
1730    Notes:
1731    See "petsc/include/petscsnes.h" for available methods (for instance)
1732 +    SNESLS - Newton's method with line search
1733      (systems of nonlinear equations)
1734 .    SNESTR - Newton's method with trust region
1735      (systems of nonlinear equations)
1736 
1737   Normally, it is best to use the SNESSetFromOptions() command and then
1738   set the SNES solver type from the options database rather than by using
1739   this routine.  Using the options database provides the user with
1740   maximum flexibility in evaluating the many nonlinear solvers.
1741   The SNESSetType() routine is provided for those situations where it
1742   is necessary to set the nonlinear solver independently of the command
1743   line or options database.  This might be the case, for example, when
1744   the choice of solver changes during the execution of the program,
1745   and the user's application is taking responsibility for choosing the
1746   appropriate method.
1747 
1748   Level: intermediate
1749 
1750 .keywords: SNES, set, type
1751 
1752 .seealso: SNESType, SNESCreate()
1753 
1754 @*/
1755 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetType(SNES snes,SNESType type)
1756 {
1757   PetscErrorCode ierr,(*r)(SNES);
1758   PetscTruth     match;
1759 
1760   PetscFunctionBegin;
1761   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1762   PetscValidCharPointer(type,2);
1763 
1764   ierr = PetscTypeCompare((PetscObject)snes,type,&match);CHKERRQ(ierr);
1765   if (match) PetscFunctionReturn(0);
1766 
1767   if (snes->setupcalled) {
1768     snes->setupcalled = PETSC_FALSE;
1769     ierr              = (*(snes)->destroy)(snes);CHKERRQ(ierr);
1770     snes->data        = 0;
1771   }
1772 
1773   /* Get the function pointers for the iterative method requested */
1774   if (!SNESRegisterAllCalled) {ierr = SNESRegisterAll(PETSC_NULL);CHKERRQ(ierr);}
1775   ierr =  PetscFListFind(snes->comm,SNESList,type,(void (**)(void)) &r);CHKERRQ(ierr);
1776   if (!r) SETERRQ1(PETSC_ERR_ARG_UNKNOWN_TYPE,"Unable to find requested SNES type %s",type);
1777   if (snes->data) {ierr = PetscFree(snes->data);CHKERRQ(ierr);}
1778   snes->data = 0;
1779   ierr = (*r)(snes);CHKERRQ(ierr);
1780   ierr = PetscObjectChangeTypeName((PetscObject)snes,type);CHKERRQ(ierr);
1781   PetscFunctionReturn(0);
1782 }
1783 
1784 
1785 /* --------------------------------------------------------------------- */
1786 #undef __FUNCT__
1787 #define __FUNCT__ "SNESRegisterDestroy"
1788 /*@C
1789    SNESRegisterDestroy - Frees the list of nonlinear solvers that were
1790    registered by SNESRegisterDynamic().
1791 
1792    Not Collective
1793 
1794    Level: advanced
1795 
1796 .keywords: SNES, nonlinear, register, destroy
1797 
1798 .seealso: SNESRegisterAll(), SNESRegisterAll()
1799 @*/
1800 PetscErrorCode PETSCSNES_DLLEXPORT SNESRegisterDestroy(void)
1801 {
1802   PetscErrorCode ierr;
1803 
1804   PetscFunctionBegin;
1805   if (SNESList) {
1806     ierr = PetscFListDestroy(&SNESList);CHKERRQ(ierr);
1807     SNESList = 0;
1808   }
1809   SNESRegisterAllCalled = PETSC_FALSE;
1810   PetscFunctionReturn(0);
1811 }
1812 
1813 #undef __FUNCT__
1814 #define __FUNCT__ "SNESGetType"
1815 /*@C
1816    SNESGetType - Gets the SNES method type and name (as a string).
1817 
1818    Not Collective
1819 
1820    Input Parameter:
1821 .  snes - nonlinear solver context
1822 
1823    Output Parameter:
1824 .  type - SNES method (a character string)
1825 
1826    Level: intermediate
1827 
1828 .keywords: SNES, nonlinear, get, type, name
1829 @*/
1830 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetType(SNES snes,SNESType *type)
1831 {
1832   PetscFunctionBegin;
1833   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1834   PetscValidPointer(type,2);
1835   *type = snes->type_name;
1836   PetscFunctionReturn(0);
1837 }
1838 
1839 #undef __FUNCT__
1840 #define __FUNCT__ "SNESGetSolution"
1841 /*@C
1842    SNESGetSolution - Returns the vector where the approximate solution is
1843    stored.
1844 
1845    Not Collective, but Vec is parallel if SNES is parallel
1846 
1847    Input Parameter:
1848 .  snes - the SNES context
1849 
1850    Output Parameter:
1851 .  x - the solution
1852 
1853    Level: intermediate
1854 
1855 .keywords: SNES, nonlinear, get, solution
1856 
1857 .seealso: SNESSetSolution(), SNESGetFunction(), SNESGetSolutionUpdate()
1858 @*/
1859 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetSolution(SNES snes,Vec *x)
1860 {
1861   PetscFunctionBegin;
1862   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1863   PetscValidPointer(x,2);
1864   *x = snes->vec_sol_always;
1865   PetscFunctionReturn(0);
1866 }
1867 
1868 #undef __FUNCT__
1869 #define __FUNCT__ "SNESSetSolution"
1870 /*@C
1871    SNESSetSolution - Sets the vector where the approximate solution is stored.
1872 
1873    Not Collective, but Vec is parallel if SNES is parallel
1874 
1875    Input Parameters:
1876 +  snes - the SNES context
1877 -  x - the solution
1878 
1879    Output Parameter:
1880 
1881    Level: intermediate
1882 
1883 .keywords: SNES, nonlinear, set, solution
1884 
1885 .seealso: SNESGetSolution(), SNESGetFunction(), SNESGetSolutionUpdate()
1886 @*/
1887 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetSolution(SNES snes,Vec x)
1888 {
1889   PetscFunctionBegin;
1890   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1891   PetscValidHeaderSpecific(x,VEC_COOKIE,2);
1892   PetscCheckSameComm(snes,1,x,2);
1893   snes->vec_sol_always = x;
1894   PetscFunctionReturn(0);
1895 }
1896 
1897 #undef __FUNCT__
1898 #define __FUNCT__ "SNESGetSolutionUpdate"
1899 /*@C
1900    SNESGetSolutionUpdate - Returns the vector where the solution update is
1901    stored.
1902 
1903    Not Collective, but Vec is parallel if SNES is parallel
1904 
1905    Input Parameter:
1906 .  snes - the SNES context
1907 
1908    Output Parameter:
1909 .  x - the solution update
1910 
1911    Level: advanced
1912 
1913 .keywords: SNES, nonlinear, get, solution, update
1914 
1915 .seealso: SNESGetSolution(), SNESGetFunction
1916 @*/
1917 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetSolutionUpdate(SNES snes,Vec *x)
1918 {
1919   PetscFunctionBegin;
1920   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1921   PetscValidPointer(x,2);
1922   *x = snes->vec_sol_update_always;
1923   PetscFunctionReturn(0);
1924 }
1925 
1926 #undef __FUNCT__
1927 #define __FUNCT__ "SNESGetFunction"
1928 /*@C
1929    SNESGetFunction - Returns the vector where the function is stored.
1930 
1931    Not Collective, but Vec is parallel if SNES is parallel
1932 
1933    Input Parameter:
1934 .  snes - the SNES context
1935 
1936    Output Parameter:
1937 +  r - the function (or PETSC_NULL)
1938 .  func - the function (or PETSC_NULL)
1939 -  ctx - the function context (or PETSC_NULL)
1940 
1941    Level: advanced
1942 
1943 .keywords: SNES, nonlinear, get, function
1944 
1945 .seealso: SNESSetFunction(), SNESGetSolution()
1946 @*/
1947 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetFunction(SNES snes,Vec *r,PetscErrorCode (**func)(SNES,Vec,Vec,void*),void **ctx)
1948 {
1949   PetscFunctionBegin;
1950   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1951   if (r)    *r    = snes->vec_func_always;
1952   if (func) *func = snes->computefunction;
1953   if (ctx)  *ctx  = snes->funP;
1954   PetscFunctionReturn(0);
1955 }
1956 
1957 #undef __FUNCT__
1958 #define __FUNCT__ "SNESSetOptionsPrefix"
1959 /*@C
1960    SNESSetOptionsPrefix - Sets the prefix used for searching for all
1961    SNES options in the database.
1962 
1963    Collective on SNES
1964 
1965    Input Parameter:
1966 +  snes - the SNES context
1967 -  prefix - the prefix to prepend to all option names
1968 
1969    Notes:
1970    A hyphen (-) must NOT be given at the beginning of the prefix name.
1971    The first character of all runtime options is AUTOMATICALLY the hyphen.
1972 
1973    Level: advanced
1974 
1975 .keywords: SNES, set, options, prefix, database
1976 
1977 .seealso: SNESSetFromOptions()
1978 @*/
1979 PetscErrorCode PETSCSNES_DLLEXPORT SNESSetOptionsPrefix(SNES snes,const char prefix[])
1980 {
1981   PetscErrorCode ierr;
1982 
1983   PetscFunctionBegin;
1984   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
1985   ierr = PetscObjectSetOptionsPrefix((PetscObject)snes,prefix);CHKERRQ(ierr);
1986   ierr = KSPSetOptionsPrefix(snes->ksp,prefix);CHKERRQ(ierr);
1987   PetscFunctionReturn(0);
1988 }
1989 
1990 #undef __FUNCT__
1991 #define __FUNCT__ "SNESAppendOptionsPrefix"
1992 /*@C
1993    SNESAppendOptionsPrefix - Appends to the prefix used for searching for all
1994    SNES options in the database.
1995 
1996    Collective on SNES
1997 
1998    Input Parameters:
1999 +  snes - the SNES context
2000 -  prefix - the prefix to prepend to all option names
2001 
2002    Notes:
2003    A hyphen (-) must NOT be given at the beginning of the prefix name.
2004    The first character of all runtime options is AUTOMATICALLY the hyphen.
2005 
2006    Level: advanced
2007 
2008 .keywords: SNES, append, options, prefix, database
2009 
2010 .seealso: SNESGetOptionsPrefix()
2011 @*/
2012 PetscErrorCode PETSCSNES_DLLEXPORT SNESAppendOptionsPrefix(SNES snes,const char prefix[])
2013 {
2014   PetscErrorCode ierr;
2015 
2016   PetscFunctionBegin;
2017   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
2018   ierr = PetscObjectAppendOptionsPrefix((PetscObject)snes,prefix);CHKERRQ(ierr);
2019   ierr = KSPAppendOptionsPrefix(snes->ksp,prefix);CHKERRQ(ierr);
2020   PetscFunctionReturn(0);
2021 }
2022 
2023 #undef __FUNCT__
2024 #define __FUNCT__ "SNESGetOptionsPrefix"
2025 /*@C
2026    SNESGetOptionsPrefix - Sets the prefix used for searching for all
2027    SNES options in the database.
2028 
2029    Not Collective
2030 
2031    Input Parameter:
2032 .  snes - the SNES context
2033 
2034    Output Parameter:
2035 .  prefix - pointer to the prefix string used
2036 
2037    Notes: On the fortran side, the user should pass in a string 'prifix' of
2038    sufficient length to hold the prefix.
2039 
2040    Level: advanced
2041 
2042 .keywords: SNES, get, options, prefix, database
2043 
2044 .seealso: SNESAppendOptionsPrefix()
2045 @*/
2046 PetscErrorCode PETSCSNES_DLLEXPORT SNESGetOptionsPrefix(SNES snes,const char *prefix[])
2047 {
2048   PetscErrorCode ierr;
2049 
2050   PetscFunctionBegin;
2051   PetscValidHeaderSpecific(snes,SNES_COOKIE,1);
2052   ierr = PetscObjectGetOptionsPrefix((PetscObject)snes,prefix);CHKERRQ(ierr);
2053   PetscFunctionReturn(0);
2054 }
2055 
2056 
2057 #undef __FUNCT__
2058 #define __FUNCT__ "SNESRegister"
2059 /*@C
2060   SNESRegister - See SNESRegisterDynamic()
2061 
2062   Level: advanced
2063 @*/
2064 PetscErrorCode PETSCSNES_DLLEXPORT SNESRegister(const char sname[],const char path[],const char name[],PetscErrorCode (*function)(SNES))
2065 {
2066   char           fullname[PETSC_MAX_PATH_LEN];
2067   PetscErrorCode ierr;
2068 
2069   PetscFunctionBegin;
2070   ierr = PetscFListConcat(path,name,fullname);CHKERRQ(ierr);
2071   ierr = PetscFListAdd(&SNESList,sname,fullname,(void (*)(void))function);CHKERRQ(ierr);
2072   PetscFunctionReturn(0);
2073 }
2074 
2075 #undef __FUNCT__
2076 #define __FUNCT__ "SNESTestLocalMin"
2077 PetscErrorCode PETSCSNES_DLLEXPORT SNESTestLocalMin(SNES snes)
2078 {
2079   PetscErrorCode ierr;
2080   PetscInt       N,i,j;
2081   Vec            u,uh,fh;
2082   PetscScalar    value;
2083   PetscReal      norm;
2084 
2085   PetscFunctionBegin;
2086   ierr = SNESGetSolution(snes,&u);CHKERRQ(ierr);
2087   ierr = VecDuplicate(u,&uh);CHKERRQ(ierr);
2088   ierr = VecDuplicate(u,&fh);CHKERRQ(ierr);
2089 
2090   /* currently only works for sequential */
2091   ierr = PetscPrintf(PETSC_COMM_WORLD,"Testing FormFunction() for local min\n");
2092   ierr = VecGetSize(u,&N);CHKERRQ(ierr);
2093   for (i=0; i<N; i++) {
2094     ierr = VecCopy(u,uh);CHKERRQ(ierr);
2095     ierr  = PetscPrintf(PETSC_COMM_WORLD,"i = %D\n",i);CHKERRQ(ierr);
2096     for (j=-10; j<11; j++) {
2097       value = PetscSign(j)*exp(PetscAbs(j)-10.0);
2098       ierr  = VecSetValue(uh,i,value,ADD_VALUES);CHKERRQ(ierr);
2099       ierr  = SNESComputeFunction(snes,uh,fh);CHKERRQ(ierr);
2100       ierr  = VecNorm(fh,NORM_2,&norm);CHKERRQ(ierr);
2101       ierr  = PetscPrintf(PETSC_COMM_WORLD,"       j norm %D %18.16e\n",j,norm);CHKERRQ(ierr);
2102       value = -value;
2103       ierr  = VecSetValue(uh,i,value,ADD_VALUES);CHKERRQ(ierr);
2104     }
2105   }
2106   ierr = VecDestroy(uh);CHKERRQ(ierr);
2107   ierr = VecDestroy(fh);CHKERRQ(ierr);
2108   PetscFunctionReturn(0);
2109 }
2110