xref: /petsc/src/snes/linesearch/interface/linesearch.c (revision 5a9b6599d0ff68ab5f0ec64c3d9dcd7c90db1bfb)
1b45d2f2cSJed Brown #include <petsc-private/linesearchimpl.h> /*I "petscsnes.h" I*/
2bf7f4e0aSPeter Brune 
3f1c6b773SPeter Brune PetscBool  SNESLineSearchRegisterAllCalled = PETSC_FALSE;
4f1c6b773SPeter Brune PetscFList SNESLineSearchList              = PETSC_NULL;
5bf7f4e0aSPeter Brune 
6f1c6b773SPeter Brune PetscClassId   SNESLINESEARCH_CLASSID;
7f1c6b773SPeter Brune PetscLogEvent  SNESLineSearch_Apply;
8bf7f4e0aSPeter Brune 
9bf7f4e0aSPeter Brune #undef __FUNCT__
10f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchCreate"
11f40b411bSPeter Brune /*@
12cd7522eaSPeter Brune    SNESLineSearchCreate - Creates the line search context.
13f40b411bSPeter Brune 
14cd7522eaSPeter Brune    Logically Collective on Comm
15f40b411bSPeter Brune 
16f40b411bSPeter Brune    Input Parameters:
17cd7522eaSPeter Brune .  comm - MPI communicator for the line search (typically from the associated SNES context).
18f40b411bSPeter Brune 
19f40b411bSPeter Brune    Output Parameters:
208e557f58SPeter Brune .  outlinesearch - the new linesearch context
21f40b411bSPeter Brune 
2278bcb3b5SPeter Brune    Level: beginner
23f40b411bSPeter Brune 
24cd7522eaSPeter Brune .keywords: LineSearch, create, context
25f40b411bSPeter Brune 
26f40b411bSPeter Brune .seealso: LineSearchDestroy()
27f40b411bSPeter Brune @*/
28f40b411bSPeter Brune 
29f1c6b773SPeter Brune PetscErrorCode SNESLineSearchCreate(MPI_Comm comm, SNESLineSearch *outlinesearch) {
30bf7f4e0aSPeter Brune   PetscErrorCode      ierr;
31f1c6b773SPeter Brune   SNESLineSearch     linesearch;
32bf7f4e0aSPeter Brune   PetscFunctionBegin;
33ea5d4fccSPeter Brune   PetscValidPointer(outlinesearch,2);
34ea5d4fccSPeter Brune   *outlinesearch = PETSC_NULL;
35f1c6b773SPeter Brune   ierr = PetscHeaderCreate(linesearch,_p_LineSearch,struct _LineSearchOps,SNESLINESEARCH_CLASSID, 0,
363c7d6663SPeter Brune                            "SNESLineSearch","Linesearch","SNESLineSearch",comm,SNESLineSearchDestroy,SNESLineSearchView);CHKERRQ(ierr);
37bf7f4e0aSPeter Brune 
38bf7f4e0aSPeter Brune   linesearch->ops->precheckstep = PETSC_NULL;
39bf7f4e0aSPeter Brune   linesearch->ops->postcheckstep = PETSC_NULL;
40bf7f4e0aSPeter Brune 
419bd66eb0SPeter Brune   linesearch->vec_sol_new   = PETSC_NULL;
429bd66eb0SPeter Brune   linesearch->vec_func_new  = PETSC_NULL;
439bd66eb0SPeter Brune   linesearch->vec_sol       = PETSC_NULL;
449bd66eb0SPeter Brune   linesearch->vec_func      = PETSC_NULL;
459bd66eb0SPeter Brune   linesearch->vec_update    = PETSC_NULL;
469bd66eb0SPeter Brune 
47bf7f4e0aSPeter Brune   linesearch->lambda        = 1.0;
48bf7f4e0aSPeter Brune   linesearch->fnorm         = 1.0;
49bf7f4e0aSPeter Brune   linesearch->ynorm         = 1.0;
50bf7f4e0aSPeter Brune   linesearch->xnorm         = 1.0;
51bf7f4e0aSPeter Brune   linesearch->success       = PETSC_TRUE;
52bf7f4e0aSPeter Brune   linesearch->norms         = PETSC_TRUE;
53bf7f4e0aSPeter Brune   linesearch->keeplambda    = PETSC_FALSE;
54bf7f4e0aSPeter Brune   linesearch->damping       = 1.0;
55bf7f4e0aSPeter Brune   linesearch->maxstep       = 1e8;
56bf7f4e0aSPeter Brune   linesearch->steptol       = 1e-12;
57516fe3c3SPeter Brune   linesearch->rtol          = 1e-8;
58516fe3c3SPeter Brune   linesearch->atol          = 1e-15;
59516fe3c3SPeter Brune   linesearch->ltol          = 1e-8;
60bf7f4e0aSPeter Brune   linesearch->precheckctx   = PETSC_NULL;
61bf7f4e0aSPeter Brune   linesearch->postcheckctx  = PETSC_NULL;
6259405d5eSPeter Brune   linesearch->max_its       = 1;
63bf7f4e0aSPeter Brune   linesearch->setupcalled   = PETSC_FALSE;
64bf7f4e0aSPeter Brune   *outlinesearch            = linesearch;
65bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
66bf7f4e0aSPeter Brune }
67bf7f4e0aSPeter Brune 
68bf7f4e0aSPeter Brune #undef __FUNCT__
69f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetUp"
70f40b411bSPeter Brune /*@
7178bcb3b5SPeter Brune    SNESLineSearchSetUp - Prepares the line search for being applied by allocating
7278bcb3b5SPeter Brune    any required vectors.
73f40b411bSPeter Brune 
74cd7522eaSPeter Brune    Collective on SNESLineSearch
75f40b411bSPeter Brune 
76f40b411bSPeter Brune    Input Parameters:
77f40b411bSPeter Brune .  linesearch - The LineSearch instance.
78f40b411bSPeter Brune 
79cd7522eaSPeter Brune    Notes:
80cd7522eaSPeter Brune    For most cases, this needn't be called outside of SNESLineSearchApply().
81cd7522eaSPeter Brune    The only current case where this is called outside of this is for the VI
8278bcb3b5SPeter Brune    solvers, which modify the solution and work vectors before the first call
83cd7522eaSPeter Brune    of SNESLineSearchApply, requiring the SNESLineSearch work vectors to be
84cd7522eaSPeter Brune    allocated upfront.
85cd7522eaSPeter Brune 
86cd7522eaSPeter Brune 
8778bcb3b5SPeter Brune    Level: advanced
88f40b411bSPeter Brune 
89f1c6b773SPeter Brune .keywords: SNESLineSearch, SetUp
90f40b411bSPeter Brune 
91f1c6b773SPeter Brune .seealso: SNESLineSearchReset()
92f40b411bSPeter Brune @*/
93f40b411bSPeter Brune 
94f1c6b773SPeter Brune PetscErrorCode SNESLineSearchSetUp(SNESLineSearch linesearch) {
95bf7f4e0aSPeter Brune   PetscErrorCode ierr;
96bf7f4e0aSPeter Brune   PetscFunctionBegin;
97bf7f4e0aSPeter Brune   if (!((PetscObject)linesearch)->type_name) {
981a4f838cSPeter Brune     ierr = SNESLineSearchSetType(linesearch,SNESLINESEARCHBASIC);CHKERRQ(ierr);
99bf7f4e0aSPeter Brune   }
100bf7f4e0aSPeter Brune   if (!linesearch->setupcalled) {
1019bd66eb0SPeter Brune     if (!linesearch->vec_sol_new) {
102bf7f4e0aSPeter Brune       ierr = VecDuplicate(linesearch->vec_sol, &linesearch->vec_sol_new);CHKERRQ(ierr);
1039bd66eb0SPeter Brune     }
1049bd66eb0SPeter Brune     if (!linesearch->vec_func_new) {
1059bd66eb0SPeter Brune       ierr = VecDuplicate(linesearch->vec_sol, &linesearch->vec_func_new);CHKERRQ(ierr);
1069bd66eb0SPeter Brune     }
107bf7f4e0aSPeter Brune     if (linesearch->ops->setup) {
108bf7f4e0aSPeter Brune       ierr = (*linesearch->ops->setup)(linesearch);CHKERRQ(ierr);
109bf7f4e0aSPeter Brune     }
110bf7f4e0aSPeter Brune     linesearch->lambda = linesearch->damping;
111bf7f4e0aSPeter Brune     linesearch->setupcalled = PETSC_TRUE;
112bf7f4e0aSPeter Brune   }
113bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
114bf7f4e0aSPeter Brune }
115bf7f4e0aSPeter Brune 
116bf7f4e0aSPeter Brune #undef __FUNCT__
117f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchReset"
118f40b411bSPeter Brune 
119f40b411bSPeter Brune /*@
12078bcb3b5SPeter Brune    SNESLineSearchReset - Undoes the SetUp and deletes any Vecs or Mats allocated by the line search.
121f40b411bSPeter Brune 
122f1c6b773SPeter Brune    Collective on SNESLineSearch
123f40b411bSPeter Brune 
124f40b411bSPeter Brune    Input Parameters:
125f40b411bSPeter Brune .  linesearch - The LineSearch instance.
126f40b411bSPeter Brune 
12778bcb3b5SPeter Brune    Level: intermediate
128f40b411bSPeter Brune 
129cd7522eaSPeter Brune .keywords: SNESLineSearch, Reset
130f40b411bSPeter Brune 
131f1c6b773SPeter Brune .seealso: SNESLineSearchSetUp()
132f40b411bSPeter Brune @*/
133f40b411bSPeter Brune 
134f1c6b773SPeter Brune PetscErrorCode SNESLineSearchReset(SNESLineSearch linesearch) {
135bf7f4e0aSPeter Brune   PetscErrorCode ierr;
136bf7f4e0aSPeter Brune   PetscFunctionBegin;
137bf7f4e0aSPeter Brune   if (linesearch->ops->reset) {
138bf7f4e0aSPeter Brune     (*linesearch->ops->reset)(linesearch);
139bf7f4e0aSPeter Brune   }
140bf7f4e0aSPeter Brune   ierr = VecDestroy(&linesearch->vec_sol_new);CHKERRQ(ierr);
141bf7f4e0aSPeter Brune   ierr = VecDestroy(&linesearch->vec_func_new);CHKERRQ(ierr);
142bf7f4e0aSPeter Brune 
143bf7f4e0aSPeter Brune   ierr = VecDestroyVecs(linesearch->nwork, &linesearch->work);CHKERRQ(ierr);
144bf7f4e0aSPeter Brune   linesearch->nwork = 0;
145bf7f4e0aSPeter Brune   linesearch->setupcalled = PETSC_FALSE;
146bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
147bf7f4e0aSPeter Brune }
148bf7f4e0aSPeter Brune 
14986d74e61SPeter Brune 
15086d74e61SPeter Brune #undef __FUNCT__
151f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetPreCheck"
15286d74e61SPeter Brune /*@C
153f1c6b773SPeter Brune    SNESLineSearchSetPreCheck - Sets a pre-check function for the line search routine.
15486d74e61SPeter Brune 
155f1c6b773SPeter Brune    Logically Collective on SNESLineSearch
15686d74e61SPeter Brune 
15786d74e61SPeter Brune    Input Parameters:
158f1c6b773SPeter Brune +  linesearch - the SNESLineSearch context
15986d74e61SPeter Brune .  func       - [optional] function evaluation routine
16086d74e61SPeter Brune -  ctx        - [optional] user-defined context for private data for the
16186d74e61SPeter Brune                 function evaluation routine (may be PETSC_NULL)
16286d74e61SPeter Brune 
16386d74e61SPeter Brune    Calling sequence of func:
164f1c6b773SPeter Brune $    func (SNESLineSearch snes,Vec x,Vec y, PetscBool *changed);
16586d74e61SPeter Brune 
16686d74e61SPeter Brune +  x - solution vector
16786d74e61SPeter Brune .  y - search direction vector
168cd7522eaSPeter Brune -  changed - flag to indicate the precheck changed x or y.
16986d74e61SPeter Brune 
17086d74e61SPeter Brune    Level: intermediate
17186d74e61SPeter Brune 
17286d74e61SPeter Brune .keywords: set, linesearch, pre-check
17386d74e61SPeter Brune 
174f1c6b773SPeter Brune .seealso: SNESLineSearchSetPostCheck()
17586d74e61SPeter Brune @*/
176f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchSetPreCheck(SNESLineSearch linesearch, SNESLineSearchPreCheckFunc func,void *ctx)
17786d74e61SPeter Brune {
1789bd66eb0SPeter Brune   PetscFunctionBegin;
179f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
18086d74e61SPeter Brune   if (func) linesearch->ops->precheckstep = func;
18186d74e61SPeter Brune   if (ctx) linesearch->precheckctx = ctx;
18286d74e61SPeter Brune   PetscFunctionReturn(0);
18386d74e61SPeter Brune }
18486d74e61SPeter Brune 
18586d74e61SPeter Brune 
18686d74e61SPeter Brune #undef __FUNCT__
187f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetPreCheck"
18886d74e61SPeter Brune /*@C
189cd7522eaSPeter Brune    SNESLineSearchSetPreCheck - Gets the pre-check function for the line search routine.
19086d74e61SPeter Brune 
19186d74e61SPeter Brune    Input Parameters:
192f1c6b773SPeter Brune .  linesearch - the SNESLineSearch context
19386d74e61SPeter Brune 
19486d74e61SPeter Brune    Output Parameters:
19586d74e61SPeter Brune +  func       - [optional] function evaluation routine
19686d74e61SPeter Brune -  ctx        - [optional] user-defined context for private data for the
19786d74e61SPeter Brune                 function evaluation routine (may be PETSC_NULL)
19886d74e61SPeter Brune 
19986d74e61SPeter Brune    Level: intermediate
20086d74e61SPeter Brune 
20186d74e61SPeter Brune .keywords: get, linesearch, pre-check
20286d74e61SPeter Brune 
203f1c6b773SPeter Brune .seealso: SNESLineSearchGetPostCheck(), SNESLineSearchSetPreCheck()
20486d74e61SPeter Brune @*/
205f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetPreCheck(SNESLineSearch linesearch, SNESLineSearchPreCheckFunc *func,void **ctx)
20686d74e61SPeter Brune {
2079bd66eb0SPeter Brune   PetscFunctionBegin;
208f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
20986d74e61SPeter Brune   if (func) *func = linesearch->ops->precheckstep;
21086d74e61SPeter Brune   if (ctx) *ctx = linesearch->precheckctx;
21186d74e61SPeter Brune   PetscFunctionReturn(0);
21286d74e61SPeter Brune }
21386d74e61SPeter Brune 
21486d74e61SPeter Brune 
21586d74e61SPeter Brune #undef __FUNCT__
216f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetPostCheck"
21786d74e61SPeter Brune /*@C
218f1c6b773SPeter Brune    SNESLineSearchSetPostCheck - Sets a post-check function for the line search routine.
21986d74e61SPeter Brune 
220f1c6b773SPeter Brune    Logically Collective on SNESLineSearch
22186d74e61SPeter Brune 
22286d74e61SPeter Brune    Input Parameters:
223f1c6b773SPeter Brune +  linesearch - the SNESLineSearch context
22486d74e61SPeter Brune .  func       - [optional] function evaluation routine
22586d74e61SPeter Brune -  ctx        - [optional] user-defined context for private data for the
22686d74e61SPeter Brune                 function evaluation routine (may be PETSC_NULL)
22786d74e61SPeter Brune 
22886d74e61SPeter Brune    Calling sequence of func:
229f1c6b773SPeter Brune $    func (SNESLineSearch linesearch,Vec x, Vec w, Vec y, PetscBool *changed_w, *changed_y);
23086d74e61SPeter Brune 
23186d74e61SPeter Brune +  x - old solution vector
23286d74e61SPeter Brune .  y - search direction vector
23386d74e61SPeter Brune .  w - new solution vector
2348e557f58SPeter Brune .  changed_y - indicates that the line search changed y
2358e557f58SPeter Brune .  changed_w - indicates that the line search changed w
23686d74e61SPeter Brune 
23786d74e61SPeter Brune    Level: intermediate
23886d74e61SPeter Brune 
23986d74e61SPeter Brune .keywords: set, linesearch, post-check
24086d74e61SPeter Brune 
241f1c6b773SPeter Brune .seealso: SNESLineSearchSetPreCheck()
24286d74e61SPeter Brune @*/
243f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchSetPostCheck(SNESLineSearch linesearch, SNESLineSearchPostCheckFunc func,void *ctx)
24486d74e61SPeter Brune {
24586d74e61SPeter Brune   PetscFunctionBegin;
246f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
24786d74e61SPeter Brune   if (func) linesearch->ops->postcheckstep = func;
24886d74e61SPeter Brune   if (ctx) linesearch->postcheckctx = ctx;
24986d74e61SPeter Brune   PetscFunctionReturn(0);
25086d74e61SPeter Brune }
25186d74e61SPeter Brune 
25286d74e61SPeter Brune 
25386d74e61SPeter Brune #undef __FUNCT__
254f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetPostCheck"
25586d74e61SPeter Brune /*@C
256f1c6b773SPeter Brune    SNESLineSearchGetPostCheck - Gets the post-check function for the line search routine.
25786d74e61SPeter Brune 
25886d74e61SPeter Brune    Input Parameters:
259f1c6b773SPeter Brune .  linesearch - the SNESLineSearch context
26086d74e61SPeter Brune 
26186d74e61SPeter Brune    Output Parameters:
26286d74e61SPeter Brune +  func       - [optional] function evaluation routine
26386d74e61SPeter Brune -  ctx        - [optional] user-defined context for private data for the
26486d74e61SPeter Brune                 function evaluation routine (may be PETSC_NULL)
26586d74e61SPeter Brune 
26686d74e61SPeter Brune    Level: intermediate
26786d74e61SPeter Brune 
26886d74e61SPeter Brune .keywords: get, linesearch, post-check
26986d74e61SPeter Brune 
270f1c6b773SPeter Brune .seealso: SNESLineSearchGetPreCheck(), SNESLineSearchSetPostCheck()
27186d74e61SPeter Brune @*/
272f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetPostCheck(SNESLineSearch linesearch, SNESLineSearchPostCheckFunc *func,void **ctx)
27386d74e61SPeter Brune {
2749bd66eb0SPeter Brune   PetscFunctionBegin;
275f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
27686d74e61SPeter Brune   if (func) *func = linesearch->ops->postcheckstep;
27786d74e61SPeter Brune   if (ctx) *ctx = linesearch->postcheckctx;
27886d74e61SPeter Brune   PetscFunctionReturn(0);
27986d74e61SPeter Brune }
28086d74e61SPeter Brune 
28186d74e61SPeter Brune 
282bf7f4e0aSPeter Brune #undef __FUNCT__
283f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchPreCheck"
284f40b411bSPeter Brune /*@
285f1c6b773SPeter Brune    SNESLineSearchPreCheck - Prepares the line search for being applied.
286f40b411bSPeter Brune 
287cd7522eaSPeter Brune    Logically Collective on SNESLineSearch
288f40b411bSPeter Brune 
289f40b411bSPeter Brune    Input Parameters:
2907b1df9c1SPeter Brune +  linesearch - The linesearch instance.
2917b1df9c1SPeter Brune .  X - The current solution
2927b1df9c1SPeter Brune -  Y - The step direction
293f40b411bSPeter Brune 
294f40b411bSPeter Brune    Output Parameters:
2958e557f58SPeter Brune .  changed - Indicator that the precheck routine has changed anything
296f40b411bSPeter Brune 
297f40b411bSPeter Brune    Level: Beginner
298f40b411bSPeter Brune 
299f1c6b773SPeter Brune .keywords: SNESLineSearch, Create
300f40b411bSPeter Brune 
301f1c6b773SPeter Brune .seealso: SNESLineSearchPostCheck()
302f40b411bSPeter Brune @*/
3037b1df9c1SPeter Brune PetscErrorCode SNESLineSearchPreCheck(SNESLineSearch linesearch,Vec X,Vec Y,PetscBool *changed)
304bf7f4e0aSPeter Brune {
305bf7f4e0aSPeter Brune   PetscErrorCode ierr;
306bf7f4e0aSPeter Brune   PetscFunctionBegin;
307bf7f4e0aSPeter Brune   *changed = PETSC_FALSE;
308bf7f4e0aSPeter Brune   if (linesearch->ops->precheckstep) {
3097b1df9c1SPeter Brune     ierr = (*linesearch->ops->precheckstep)(linesearch, X, Y, changed, linesearch->precheckctx);CHKERRQ(ierr);
310bf7f4e0aSPeter Brune   }
311bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
312bf7f4e0aSPeter Brune }
313bf7f4e0aSPeter Brune 
314bf7f4e0aSPeter Brune #undef __FUNCT__
315f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchPostCheck"
316f40b411bSPeter Brune /*@
317f1c6b773SPeter Brune    SNESLineSearchPostCheck - Prepares the line search for being applied.
318f40b411bSPeter Brune 
319cd7522eaSPeter Brune    Logically Collective on SNESLineSearch
320f40b411bSPeter Brune 
321f40b411bSPeter Brune    Input Parameters:
3227b1df9c1SPeter Brune +  linesearch - The linesearch context
3237b1df9c1SPeter Brune .  X - The last solution
3247b1df9c1SPeter Brune .  Y - The step direction
3257b1df9c1SPeter Brune -  W - The updated solution, W = X + lambda*Y for some lambda
326f40b411bSPeter Brune 
327f40b411bSPeter Brune    Output Parameters:
32878bcb3b5SPeter Brune +  changed_Y - Indicator if the direction Y has been changed.
32978bcb3b5SPeter Brune -  changed_W - Indicator if the new candidate solution W has been changed.
330f40b411bSPeter Brune 
331f40b411bSPeter Brune    Level: Intermediate
332f40b411bSPeter Brune 
333f1c6b773SPeter Brune .keywords: SNESLineSearch, Create
334f40b411bSPeter Brune 
335f1c6b773SPeter Brune .seealso: SNESLineSearchPreCheck()
336f40b411bSPeter Brune @*/
3377b1df9c1SPeter Brune PetscErrorCode SNESLineSearchPostCheck(SNESLineSearch linesearch,Vec X,Vec Y,Vec W,PetscBool *changed_Y,PetscBool *changed_W)
338bf7f4e0aSPeter Brune {
339bf7f4e0aSPeter Brune   PetscErrorCode ierr;
340bf7f4e0aSPeter Brune   PetscFunctionBegin;
341bf7f4e0aSPeter Brune   *changed_Y = PETSC_FALSE;
342bf7f4e0aSPeter Brune   *changed_W = PETSC_FALSE;
343bf7f4e0aSPeter Brune   if (linesearch->ops->postcheckstep) {
3447b1df9c1SPeter Brune     ierr = (*linesearch->ops->postcheckstep)(linesearch,X,Y,W,changed_Y,changed_W,linesearch->postcheckctx);CHKERRQ(ierr);
34586d74e61SPeter Brune   }
34686d74e61SPeter Brune   PetscFunctionReturn(0);
34786d74e61SPeter Brune }
34886d74e61SPeter Brune 
34986d74e61SPeter Brune 
35086d74e61SPeter Brune #undef __FUNCT__
351f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchPreCheckPicard"
35286d74e61SPeter Brune /*@C
35386d74e61SPeter Brune    SNESLineSearchPreCheckPicard - Implements a correction that is sometimes useful to improve the convergence rate of Picard iteration
35486d74e61SPeter Brune 
355cd7522eaSPeter Brune    Logically Collective on SNESLineSearch
35686d74e61SPeter Brune 
35786d74e61SPeter Brune    Input Arguments:
35886d74e61SPeter Brune +  linesearch - linesearch context
35986d74e61SPeter Brune .  X - base state for this step
36086d74e61SPeter Brune .  Y - initial correction
36186d74e61SPeter Brune 
36286d74e61SPeter Brune    Output Arguments:
36386d74e61SPeter Brune +  Y - correction, possibly modified
36486d74e61SPeter Brune -  changed - flag indicating that Y was modified
36586d74e61SPeter Brune 
36686d74e61SPeter Brune    Options Database Key:
367cd7522eaSPeter Brune +  -snes_linesearch_precheck_picard - activate this routine
368cd7522eaSPeter Brune -  -snes_linesearch_precheck_picard_angle - angle
36986d74e61SPeter Brune 
37086d74e61SPeter Brune    Level: advanced
37186d74e61SPeter Brune 
37286d74e61SPeter Brune    Notes:
37386d74e61SPeter Brune    This function should be passed to SNESLineSearchSetPreCheck()
37486d74e61SPeter Brune 
37586d74e61SPeter Brune    The justification for this method involves the linear convergence of a Picard iteration
37686d74e61SPeter Brune    so the Picard linearization should be provided in place of the "Jacobian". This correction
37786d74e61SPeter Brune    is generally not useful when using a Newton linearization.
37886d74e61SPeter Brune 
37986d74e61SPeter Brune    Reference:
38086d74e61SPeter Brune    Hindmarsh and Payne (1996) Time step limits for stable solutions of the ice sheet equation, Annals of Glaciology.
38186d74e61SPeter Brune 
38286d74e61SPeter Brune .seealso: SNESLineSearchSetPreCheck()
38386d74e61SPeter Brune @*/
384f1c6b773SPeter Brune PetscErrorCode SNESLineSearchPreCheckPicard(SNESLineSearch linesearch,Vec X,Vec Y,PetscBool *changed,void *ctx)
38586d74e61SPeter Brune {
38686d74e61SPeter Brune   PetscErrorCode ierr;
38786d74e61SPeter Brune   PetscReal      angle = *(PetscReal*)linesearch->precheckctx;
38886d74e61SPeter Brune   Vec            Ylast;
38986d74e61SPeter Brune   PetscScalar    dot;
390c87759e9SPeter Brune 
39186d74e61SPeter Brune   PetscInt       iter;
39286d74e61SPeter Brune   PetscReal      ynorm,ylastnorm,theta,angle_radians;
39386d74e61SPeter Brune   SNES           snes;
39486d74e61SPeter Brune 
39586d74e61SPeter Brune   PetscFunctionBegin;
396f1c6b773SPeter Brune   ierr = SNESLineSearchGetSNES(linesearch, &snes);CHKERRQ(ierr);
39786d74e61SPeter Brune   ierr = PetscObjectQuery((PetscObject)snes,"SNESLineSearchPreCheckPicard_Ylast",(PetscObject*)&Ylast);CHKERRQ(ierr);
39886d74e61SPeter Brune   if (!Ylast) {
39986d74e61SPeter Brune     ierr = VecDuplicate(Y,&Ylast);CHKERRQ(ierr);
40086d74e61SPeter Brune     ierr = PetscObjectCompose((PetscObject)snes,"SNESLineSearchPreCheckPicard_Ylast",(PetscObject)Ylast);CHKERRQ(ierr);
40186d74e61SPeter Brune     ierr = PetscObjectDereference((PetscObject)Ylast);CHKERRQ(ierr);
40286d74e61SPeter Brune   }
40386d74e61SPeter Brune   ierr = SNESGetIterationNumber(snes,&iter);CHKERRQ(ierr);
40486d74e61SPeter Brune   if (iter < 2) {
40586d74e61SPeter Brune     ierr = VecCopy(Y,Ylast);CHKERRQ(ierr);
40686d74e61SPeter Brune     *changed = PETSC_FALSE;
40786d74e61SPeter Brune     PetscFunctionReturn(0);
40886d74e61SPeter Brune   }
40986d74e61SPeter Brune 
41086d74e61SPeter Brune   ierr = VecDot(Y,Ylast,&dot);CHKERRQ(ierr);
41186d74e61SPeter Brune   ierr = VecNorm(Y,NORM_2,&ynorm);CHKERRQ(ierr);
41286d74e61SPeter Brune   ierr = VecNorm(Ylast,NORM_2,&ylastnorm);CHKERRQ(ierr);
41386d74e61SPeter Brune   /* Compute the angle between the vectors Y and Ylast, clip to keep inside the domain of acos() */
41486d74e61SPeter Brune   theta = acos((double)PetscClipInterval(PetscAbsScalar(dot) / (ynorm * ylastnorm),-1.0,1.0));
41586d74e61SPeter Brune   angle_radians = angle * PETSC_PI / 180.;
41686d74e61SPeter Brune   if (PetscAbsReal(theta) < angle_radians || PetscAbsReal(theta - PETSC_PI) < angle_radians) {
41786d74e61SPeter Brune     /* Modify the step Y */
41886d74e61SPeter Brune     PetscReal alpha,ydiffnorm;
41986d74e61SPeter Brune     ierr = VecAXPY(Ylast,-1.0,Y);CHKERRQ(ierr);
42086d74e61SPeter Brune     ierr = VecNorm(Ylast,NORM_2,&ydiffnorm);CHKERRQ(ierr);
42186d74e61SPeter Brune     alpha = ylastnorm / ydiffnorm;
42286d74e61SPeter Brune     ierr = VecCopy(Y,Ylast);CHKERRQ(ierr);
42386d74e61SPeter Brune     ierr = VecScale(Y,alpha);CHKERRQ(ierr);
42486d74e61SPeter Brune     ierr = PetscInfo3(snes,"Angle %G degrees less than threshold %G, corrected step by alpha=%G\n",theta*180./PETSC_PI,angle,alpha);CHKERRQ(ierr);
42586d74e61SPeter Brune   } else {
42686d74e61SPeter Brune     ierr = PetscInfo2(snes,"Angle %G degrees exceeds threshold %G, no correction applied\n",theta*180./PETSC_PI,angle);CHKERRQ(ierr);
42786d74e61SPeter Brune     ierr = VecCopy(Y,Ylast);CHKERRQ(ierr);
42886d74e61SPeter Brune     *changed = PETSC_FALSE;
429bf7f4e0aSPeter Brune   }
430bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
431bf7f4e0aSPeter Brune }
432bf7f4e0aSPeter Brune 
433bf7f4e0aSPeter Brune #undef __FUNCT__
434f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchApply"
435f40b411bSPeter Brune /*@
436cd7522eaSPeter Brune    SNESLineSearchApply - Computes the line-search update.
437f40b411bSPeter Brune 
438f1c6b773SPeter Brune    Collective on SNESLineSearch
439f40b411bSPeter Brune 
440f40b411bSPeter Brune    Input Parameters:
4418e557f58SPeter Brune +  linesearch - The linesearch context
4428e557f58SPeter Brune .  X - The current solution
4438e557f58SPeter Brune .  F - The current function
4448e557f58SPeter Brune .  fnorm - The current norm
4458e557f58SPeter Brune -  Y - The search direction
446f40b411bSPeter Brune 
447f40b411bSPeter Brune    Output Parameters:
4488e557f58SPeter Brune +  X - The new solution
4498e557f58SPeter Brune .  F - The new function
4508e557f58SPeter Brune -  fnorm - The new function norm
451f40b411bSPeter Brune 
452cd7522eaSPeter Brune    Options Database Keys:
4533c7d6663SPeter Brune + -snes_linesearch_type - basic, bt, l2, cp, shell
454cd7522eaSPeter Brune . -snes_linesearch_monitor - Print progress of line searches
4553c7d6663SPeter Brune . -snes_linesearch_damping - The linesearch damping parameter
456cd7522eaSPeter Brune . -snes_linesearch_norms   - Turn on/off the linesearch norms
4573c7d6663SPeter Brune . -snes_linesearch_keeplambda - Keep the previous search length as the initial guess
4583c7d6663SPeter Brune - -snes_linesearch_max_it - The number of iterations for iterative line searches
459cd7522eaSPeter Brune 
460cd7522eaSPeter Brune    Notes:
461cd7522eaSPeter Brune    This is typically called from within a SNESSolve() implementation in order to
462cd7522eaSPeter Brune    help with convergence of the nonlinear method.  Various SNES types use line searches
463cd7522eaSPeter Brune    in different ways, but the overarching theme is that a line search is used to determine
464cd7522eaSPeter Brune    an optimal damping parameter of a step at each iteration of the method.  Each
465cd7522eaSPeter Brune    application of the line search may invoke SNESComputeFunction several times, and
466cd7522eaSPeter Brune    therefore may be fairly expensive.
467cd7522eaSPeter Brune 
468f40b411bSPeter Brune    Level: Intermediate
469f40b411bSPeter Brune 
470f1c6b773SPeter Brune .keywords: SNESLineSearch, Create
471f40b411bSPeter Brune 
472cd7522eaSPeter Brune .seealso: SNESLineSearchCreate(), SNESLineSearchPreCheck(), SNESLineSearchPostCheck(), SNESSolve(), SNESComputeFunction()
473f40b411bSPeter Brune @*/
474f1c6b773SPeter Brune PetscErrorCode SNESLineSearchApply(SNESLineSearch linesearch, Vec X, Vec F, PetscReal * fnorm, Vec Y) {
475bf7f4e0aSPeter Brune   PetscErrorCode ierr;
476bf7f4e0aSPeter Brune   PetscFunctionBegin;
477bf7f4e0aSPeter Brune 
478bf7f4e0aSPeter Brune   /* check the pointers */
479f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
480bf7f4e0aSPeter Brune   PetscValidHeaderSpecific(X,VEC_CLASSID,2);
481bf7f4e0aSPeter Brune   PetscValidHeaderSpecific(F,VEC_CLASSID,3);
482bf7f4e0aSPeter Brune   PetscValidHeaderSpecific(Y,VEC_CLASSID,4);
483bf7f4e0aSPeter Brune 
484bf7f4e0aSPeter Brune   linesearch->success = PETSC_TRUE;
485bf7f4e0aSPeter Brune 
486bf7f4e0aSPeter Brune   linesearch->vec_sol = X;
487bf7f4e0aSPeter Brune   linesearch->vec_update = Y;
488bf7f4e0aSPeter Brune   linesearch->vec_func = F;
489bf7f4e0aSPeter Brune 
490f1c6b773SPeter Brune   ierr = SNESLineSearchSetUp(linesearch);CHKERRQ(ierr);
491bf7f4e0aSPeter Brune 
492bf7f4e0aSPeter Brune   if (!linesearch->keeplambda)
493bf7f4e0aSPeter Brune     linesearch->lambda = linesearch->damping; /* set the initial guess to lambda */
494bf7f4e0aSPeter Brune 
495bf7f4e0aSPeter Brune   if (fnorm) {
496bf7f4e0aSPeter Brune     linesearch->fnorm = *fnorm;
497bf7f4e0aSPeter Brune   } else {
498bf7f4e0aSPeter Brune     ierr = VecNorm(F, NORM_2, &linesearch->fnorm);CHKERRQ(ierr);
499bf7f4e0aSPeter Brune   }
500bf7f4e0aSPeter Brune 
501f1c6b773SPeter Brune   ierr = PetscLogEventBegin(SNESLineSearch_Apply,linesearch,X,F,Y);CHKERRQ(ierr);
502bf7f4e0aSPeter Brune 
503bf7f4e0aSPeter Brune   ierr = (*linesearch->ops->apply)(linesearch);CHKERRQ(ierr);
504bf7f4e0aSPeter Brune 
505f1c6b773SPeter Brune   ierr = PetscLogEventEnd(SNESLineSearch_Apply,linesearch,X,F,Y);CHKERRQ(ierr);
506bf7f4e0aSPeter Brune 
507bf7f4e0aSPeter Brune   if (fnorm)
508bf7f4e0aSPeter Brune     *fnorm = linesearch->fnorm;
509bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
510bf7f4e0aSPeter Brune }
511bf7f4e0aSPeter Brune 
512bf7f4e0aSPeter Brune #undef __FUNCT__
513f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchDestroy"
514f40b411bSPeter Brune /*@
515f1c6b773SPeter Brune    SNESLineSearchDestroy - Destroys the line search instance.
516f40b411bSPeter Brune 
517f1c6b773SPeter Brune    Collective on SNESLineSearch
518f40b411bSPeter Brune 
519f40b411bSPeter Brune    Input Parameters:
5208e557f58SPeter Brune .  linesearch - The linesearch context
521f40b411bSPeter Brune 
522f40b411bSPeter Brune    Level: Intermediate
523f40b411bSPeter Brune 
52478bcb3b5SPeter Brune .keywords: SNESLineSearch, Destroy
525f40b411bSPeter Brune 
526cd7522eaSPeter Brune .seealso: SNESLineSearchCreate(), SNESLineSearchReset(), SNESDestroy()
527f40b411bSPeter Brune @*/
528f1c6b773SPeter Brune PetscErrorCode SNESLineSearchDestroy(SNESLineSearch * linesearch) {
529bf7f4e0aSPeter Brune   PetscErrorCode ierr;
530bf7f4e0aSPeter Brune   PetscFunctionBegin;
531bf7f4e0aSPeter Brune   if (!*linesearch) PetscFunctionReturn(0);
532f1c6b773SPeter Brune   PetscValidHeaderSpecific((*linesearch),SNESLINESEARCH_CLASSID,1);
533bf7f4e0aSPeter Brune   if (--((PetscObject)(*linesearch))->refct > 0) {*linesearch = 0; PetscFunctionReturn(0);}
534bf7f4e0aSPeter Brune   ierr = PetscObjectDepublish((*linesearch));CHKERRQ(ierr);
535f1c6b773SPeter Brune   ierr = SNESLineSearchReset(*linesearch);
536bf7f4e0aSPeter Brune   if ((*linesearch)->ops->destroy) {
537bf7f4e0aSPeter Brune     (*linesearch)->ops->destroy(*linesearch);
538bf7f4e0aSPeter Brune   }
539bf7f4e0aSPeter Brune   ierr = PetscViewerDestroy(&(*linesearch)->monitor);CHKERRQ(ierr);
540e7058c64SPeter Brune   ierr = PetscHeaderDestroy(linesearch);CHKERRQ(ierr);
541bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
542bf7f4e0aSPeter Brune }
543bf7f4e0aSPeter Brune 
544bf7f4e0aSPeter Brune #undef __FUNCT__
545f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetMonitor"
546f40b411bSPeter Brune /*@
547cd7522eaSPeter Brune    SNESLineSearchSetMonitor - Turns on/off printing useful information and debugging output about the line search.
548bf7f4e0aSPeter Brune 
549bf7f4e0aSPeter Brune    Input Parameters:
550bf7f4e0aSPeter Brune +  snes - nonlinear context obtained from SNESCreate()
551bf7f4e0aSPeter Brune -  flg - PETSC_TRUE to monitor the line search
552bf7f4e0aSPeter Brune 
553bf7f4e0aSPeter Brune    Logically Collective on SNES
554bf7f4e0aSPeter Brune 
555bf7f4e0aSPeter Brune    Options Database:
5568e557f58SPeter Brune .   -snes_linesearch_monitor - enables the monitor
557bf7f4e0aSPeter Brune 
558bf7f4e0aSPeter Brune    Level: intermediate
559bf7f4e0aSPeter Brune 
560bf7f4e0aSPeter Brune 
561cd7522eaSPeter Brune .seealso: SNESLineSearchGetMonitor(), PetscViewer
562bf7f4e0aSPeter Brune @*/
563f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchSetMonitor(SNESLineSearch linesearch, PetscBool flg)
564bf7f4e0aSPeter Brune {
565bf7f4e0aSPeter Brune 
566bf7f4e0aSPeter Brune   PetscErrorCode ierr;
567bf7f4e0aSPeter Brune   PetscFunctionBegin;
568bf7f4e0aSPeter Brune   if (flg && !linesearch->monitor) {
569bf7f4e0aSPeter Brune     ierr = PetscViewerASCIIOpen(((PetscObject)linesearch)->comm,"stdout",&linesearch->monitor);CHKERRQ(ierr);
570bf7f4e0aSPeter Brune   } else if (!flg && linesearch->monitor) {
571bf7f4e0aSPeter Brune     ierr = PetscViewerDestroy(&linesearch->monitor);CHKERRQ(ierr);
572bf7f4e0aSPeter Brune   }
573bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
574bf7f4e0aSPeter Brune }
575bf7f4e0aSPeter Brune 
576bf7f4e0aSPeter Brune #undef __FUNCT__
577f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetMonitor"
578f40b411bSPeter Brune /*@
579cd7522eaSPeter Brune    SNESLineSearchGetMonitor - Gets the PetscViewer instance for the line search monitor.
5806a388c36SPeter Brune 
581f40b411bSPeter Brune    Input Parameters:
5828e557f58SPeter Brune .  linesearch - linesearch context
583f40b411bSPeter Brune 
584f40b411bSPeter Brune    Input Parameters:
5858e557f58SPeter Brune .  monitor - monitor context
586f40b411bSPeter Brune 
587f40b411bSPeter Brune    Logically Collective on SNES
588f40b411bSPeter Brune 
589f40b411bSPeter Brune 
590f40b411bSPeter Brune    Options Database Keys:
5918e557f58SPeter Brune .   -snes_linesearch_monitor - enables the monitor
592f40b411bSPeter Brune 
593f40b411bSPeter Brune    Level: intermediate
594f40b411bSPeter Brune 
595f40b411bSPeter Brune 
596cd7522eaSPeter Brune .seealso: SNESLineSearchSetMonitor(), PetscViewer
597f40b411bSPeter Brune @*/
598f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetMonitor(SNESLineSearch linesearch, PetscViewer *monitor)
5996a388c36SPeter Brune {
6006a388c36SPeter Brune 
6016a388c36SPeter Brune   PetscFunctionBegin;
602f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
6036a388c36SPeter Brune   if (monitor) {
6046a388c36SPeter Brune     PetscValidPointer(monitor, 2);
6056a388c36SPeter Brune     *monitor = linesearch->monitor;
6066a388c36SPeter Brune   }
6076a388c36SPeter Brune   PetscFunctionReturn(0);
6086a388c36SPeter Brune }
6096a388c36SPeter Brune 
6106a388c36SPeter Brune #undef __FUNCT__
611f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetFromOptions"
612f40b411bSPeter Brune /*@
613f1c6b773SPeter Brune    SNESLineSearchSetFromOptions - Sets options for the line search
614f40b411bSPeter Brune 
615f40b411bSPeter Brune    Input Parameters:
6168e557f58SPeter Brune .  linesearch - linesearch context
617f40b411bSPeter Brune 
618f40b411bSPeter Brune    Options Database Keys:
6193c7d6663SPeter Brune + -snes_linesearch_type <type> - basic, bt, l2, cp, shell
6203c7d6663SPeter Brune . -snes_linesearch_order <order> - 1, 2, 3.  Most types only support certain orders (bt supports 2 or 3)
621*5a9b6599SPeter Brune . -snes_linesearch_norms   - Turn on/off the linesearch norms for the basic linesearch type
62271eef1aeSPeter Brune . -snes_linesearch_minlambda - The minimum step length
6231a9b3a06SPeter Brune . -snes_linesearch_maxstep - The maximum step size
6241a9b3a06SPeter Brune . -snes_linesearch_rtol - Relative tolerance for iterative line searches
6251a9b3a06SPeter Brune . -snes_linesearch_atol - Absolute tolerance for iterative line searches
6261a9b3a06SPeter Brune . -snes_linesearch_ltol - Change in lambda tolerance for iterative line searches
6271a9b3a06SPeter Brune . -snes_linesearch_max_it - The number of iterations for iterative line searches
628cd7522eaSPeter Brune . -snes_linesearch_monitor - Print progress of line searches
6298e557f58SPeter Brune . -snes_linesearch_damping - The linesearch damping parameter
630cd7522eaSPeter Brune . -snes_linesearch_keeplambda - Keep the previous search length as the initial guess.
6311a9b3a06SPeter Brune . -snes_linesearch_precheck_picard - Use precheck that speeds up convergence of picard method
6321a9b3a06SPeter Brune - -snes_linesearch_precheck_picard_angle - Angle used in picard precheck method
633f40b411bSPeter Brune 
634f1c6b773SPeter Brune    Logically Collective on SNESLineSearch
635f40b411bSPeter Brune 
636f40b411bSPeter Brune    Level: intermediate
637f40b411bSPeter Brune 
638f40b411bSPeter Brune 
6393c7d6663SPeter Brune .seealso: SNESLineSearchCreate(), SNESLineSearchSetOrder(), SNESLineSearchSetType(), SNESLineSearchSetTolerances(), SNESLineSearchSetDamping(), SNESLineSearchPreCheckPicard()
640f40b411bSPeter Brune @*/
641f1c6b773SPeter Brune PetscErrorCode SNESLineSearchSetFromOptions(SNESLineSearch linesearch) {
642bf7f4e0aSPeter Brune   PetscErrorCode ierr;
6431a4f838cSPeter Brune   const char     *deft = SNESLINESEARCHBASIC;
644bf7f4e0aSPeter Brune   char           type[256];
645bf7f4e0aSPeter Brune   PetscBool      flg, set;
646bf7f4e0aSPeter Brune   PetscFunctionBegin;
647f1c6b773SPeter Brune   if (!SNESLineSearchRegisterAllCalled) {ierr = SNESLineSearchRegisterAll(PETSC_NULL);CHKERRQ(ierr);}
648bf7f4e0aSPeter Brune 
649bf7f4e0aSPeter Brune   ierr = PetscObjectOptionsBegin((PetscObject)linesearch);CHKERRQ(ierr);
650bf7f4e0aSPeter Brune   if (((PetscObject)linesearch)->type_name) {
651bf7f4e0aSPeter Brune     deft = ((PetscObject)linesearch)->type_name;
652bf7f4e0aSPeter Brune   }
6533c7d6663SPeter Brune   ierr = PetscOptionsList("-snes_linesearch_type","Linesearch type","SNESLineSearchSetType",SNESLineSearchList,deft,type,256,&flg);CHKERRQ(ierr);
654bf7f4e0aSPeter Brune   if (flg) {
655f1c6b773SPeter Brune     ierr = SNESLineSearchSetType(linesearch,type);CHKERRQ(ierr);
656bf7f4e0aSPeter Brune   } else if (!((PetscObject)linesearch)->type_name) {
657f1c6b773SPeter Brune     ierr = SNESLineSearchSetType(linesearch,deft);CHKERRQ(ierr);
658bf7f4e0aSPeter Brune   }
659bf7f4e0aSPeter Brune 
6607a35526eSPeter Brune   ierr = PetscOptionsBool("-snes_linesearch_monitor","Print progress of line searches","SNESSNESLineSearchSetMonitor",
661bf7f4e0aSPeter Brune                           linesearch->monitor ? PETSC_TRUE : PETSC_FALSE,&flg,&set);CHKERRQ(ierr);
662f1c6b773SPeter Brune   if (set) {ierr = SNESLineSearchSetMonitor(linesearch,flg);CHKERRQ(ierr);}
663bf7f4e0aSPeter Brune 
6641a9b3a06SPeter Brune   /* tolerances */
66571eef1aeSPeter Brune   ierr = PetscOptionsReal("-snes_linesearch_minlambda","Minimum step length","SNESLineSearchSetTolerances",linesearch->steptol,&linesearch->steptol,0);CHKERRQ(ierr);
6661a9b3a06SPeter Brune   ierr = PetscOptionsReal("-snes_linesearch_maxstep","Maximum step size","SNESLineSearchSetTolerances",linesearch->maxstep,&linesearch->maxstep,0);CHKERRQ(ierr);
6671a9b3a06SPeter Brune   ierr = PetscOptionsReal("-snes_linesearch_rtol","Relative tolerance for iterative line search","SNESLineSearchSetTolerances",linesearch->rtol,&linesearch->rtol,0);CHKERRQ(ierr);
6681a9b3a06SPeter Brune   ierr = PetscOptionsReal("-snes_linesearch_atol","Absolute tolerance for iterative line search","SNESLineSearchSetTolerances",linesearch->atol,&linesearch->atol,0);CHKERRQ(ierr);
6691a9b3a06SPeter Brune   ierr = PetscOptionsReal("-snes_linesearch_ltol","Change in lambda tolerance for iterative line search","SNESLineSearchSetTolerances",linesearch->ltol,&linesearch->ltol,0);CHKERRQ(ierr);
6708e557f58SPeter Brune   ierr = PetscOptionsInt("-snes_linesearch_max_it","Maximum iterations for iterative line searches","SNESLineSearchSetTolerances",linesearch->max_its,&linesearch->max_its,0);CHKERRQ(ierr);
6717a35526eSPeter Brune 
6721a9b3a06SPeter Brune   /* damping parameters */
6731a9b3a06SPeter Brune   ierr = PetscOptionsReal("-snes_linesearch_damping","Line search damping and initial step guess","SNESLineSearchSetDamping",linesearch->damping,&linesearch->damping,0);CHKERRQ(ierr);
6741a9b3a06SPeter Brune 
6751a9b3a06SPeter Brune   ierr = PetscOptionsBool("-snes_linesearch_keeplambda","Use previous lambda as damping","SNESLineSearchSetKeepLambda",linesearch->keeplambda,&linesearch->keeplambda,0);CHKERRQ(ierr);
6761a9b3a06SPeter Brune 
6771a9b3a06SPeter Brune   /* precheck */
6787a35526eSPeter Brune   ierr = PetscOptionsBool("-snes_linesearch_precheck_picard","Use a correction that sometimes improves convergence of Picard iteration","SNESLineSearchPreCheckPicard",flg,&flg,&set);CHKERRQ(ierr);
6797a35526eSPeter Brune   if (set) {
6807a35526eSPeter Brune     if (flg) {
6817a35526eSPeter Brune       linesearch->precheck_picard_angle = 10.; /* correction only active if angle is less than 10 degrees */
6827a35526eSPeter Brune       ierr = PetscOptionsReal("-snes_linesearch_precheck_picard_angle","Maximum angle at which to activate the correction",
6837a35526eSPeter Brune                               "none",linesearch->precheck_picard_angle,&linesearch->precheck_picard_angle,PETSC_NULL);CHKERRQ(ierr);
6847a35526eSPeter Brune       ierr = SNESLineSearchSetPreCheck(linesearch,SNESLineSearchPreCheckPicard,&linesearch->precheck_picard_angle);CHKERRQ(ierr);
6857a35526eSPeter Brune     } else {
6867a35526eSPeter Brune       ierr = SNESLineSearchSetPreCheck(linesearch,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
6877a35526eSPeter Brune     }
6887a35526eSPeter Brune   }
689b000cd8dSPeter Brune   ierr = PetscOptionsInt("-snes_linesearch_order","Order of approximation used in the line search","SNESLineSearchSetOrder",linesearch->order,&linesearch->order,0);CHKERRQ(ierr);
6901a9b3a06SPeter Brune   ierr = PetscOptionsBool("-snes_linesearch_norms","Compute final norms in line search","SNESLineSearchSetComputeNorms",linesearch->norms,&linesearch->norms,0);CHKERRQ(ierr);
6917a35526eSPeter Brune 
692*5a9b6599SPeter Brune   if (linesearch->ops->setfromoptions) {
693*5a9b6599SPeter Brune     (*linesearch->ops->setfromoptions)(linesearch);CHKERRQ(ierr);
694*5a9b6599SPeter Brune   }
695*5a9b6599SPeter Brune 
696bf7f4e0aSPeter Brune   ierr = PetscObjectProcessOptionsHandlers((PetscObject)linesearch);CHKERRQ(ierr);
697bf7f4e0aSPeter Brune   ierr = PetscOptionsEnd();CHKERRQ(ierr);
698bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
699bf7f4e0aSPeter Brune }
700bf7f4e0aSPeter Brune 
701bf7f4e0aSPeter Brune #undef __FUNCT__
702f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchView"
703f40b411bSPeter Brune /*@
704cd7522eaSPeter Brune    SNESLineSearchView - Prints useful information about the line search not
705cd7522eaSPeter Brune    related to an individual call.
706f40b411bSPeter Brune 
707f40b411bSPeter Brune    Input Parameters:
7088e557f58SPeter Brune .  linesearch - linesearch context
709f40b411bSPeter Brune 
710f1c6b773SPeter Brune    Logically Collective on SNESLineSearch
711f40b411bSPeter Brune 
712f40b411bSPeter Brune    Level: intermediate
713f40b411bSPeter Brune 
714f1c6b773SPeter Brune .seealso: SNESLineSearchCreate()
715f40b411bSPeter Brune @*/
7167f1410a3SPeter Brune PetscErrorCode SNESLineSearchView(SNESLineSearch linesearch, PetscViewer viewer) {
7177f1410a3SPeter Brune   PetscErrorCode ierr;
7187f1410a3SPeter Brune   PetscBool      iascii;
719bf7f4e0aSPeter Brune   PetscFunctionBegin;
7207f1410a3SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
7217f1410a3SPeter Brune   if (!viewer) {
7227f1410a3SPeter Brune     ierr = PetscViewerASCIIGetStdout(((PetscObject)linesearch)->comm,&viewer);CHKERRQ(ierr);
7237f1410a3SPeter Brune   }
7247f1410a3SPeter Brune   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
7257f1410a3SPeter Brune   PetscCheckSameComm(linesearch,1,viewer,2);
726f40b411bSPeter Brune 
727251f4c67SDmitry Karpeev   ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr);
7287f1410a3SPeter Brune   if (iascii) {
7297f1410a3SPeter Brune     ierr = PetscObjectPrintClassNamePrefixType((PetscObject)linesearch,viewer,"SNESLineSearch Object");CHKERRQ(ierr);
7307f1410a3SPeter Brune     if (linesearch->ops->view) {
7317f1410a3SPeter Brune       ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
7327f1410a3SPeter Brune       ierr = (*linesearch->ops->view)(linesearch,viewer);CHKERRQ(ierr);
7337f1410a3SPeter Brune       ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
7347f1410a3SPeter Brune     }
735007b6e36SPeter Brune     ierr = PetscViewerASCIIPrintf(viewer,"  maxstep=%e, minlambda=%e\n", linesearch->maxstep,linesearch->steptol);CHKERRQ(ierr);
736007b6e36SPeter Brune     ierr = PetscViewerASCIIPrintf(viewer,"  tolerances: relative=%e, absolute=%e, lambda=%e\n", linesearch->rtol,linesearch->atol,linesearch->ltol);CHKERRQ(ierr);
7377f1410a3SPeter Brune     ierr = PetscViewerASCIIPrintf(viewer,"  maximum iterations=%D\n", linesearch->max_its);CHKERRQ(ierr);
7387f1410a3SPeter Brune     if (linesearch->ops->precheckstep) {
7397f1410a3SPeter Brune       if (linesearch->ops->precheckstep == SNESLineSearchPreCheckPicard) {
7407f1410a3SPeter Brune         ierr = PetscViewerASCIIPrintf(viewer,"  using precheck step to speed up Picard convergence\n", linesearch->max_its);CHKERRQ(ierr);
7417f1410a3SPeter Brune       } else {
7427f1410a3SPeter Brune         ierr = PetscViewerASCIIPrintf(viewer,"  using user-defined precheck step\n", linesearch->max_its);CHKERRQ(ierr);
7437f1410a3SPeter Brune       }
7447f1410a3SPeter Brune     }
7457f1410a3SPeter Brune     if (linesearch->ops->postcheckstep) {
7467f1410a3SPeter Brune       ierr = PetscViewerASCIIPrintf(viewer,"  using user-defined postcheck step\n", linesearch->max_its);CHKERRQ(ierr);
7477f1410a3SPeter Brune     }
7487f1410a3SPeter Brune   }
749bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
750bf7f4e0aSPeter Brune }
751bf7f4e0aSPeter Brune 
752bf7f4e0aSPeter Brune #undef __FUNCT__
753f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetType"
754ea5d4fccSPeter Brune /*@C
755f1c6b773SPeter Brune    SNESLineSearchSetType - Sets the linesearch type
756f40b411bSPeter Brune 
757f40b411bSPeter Brune    Input Parameters:
7588e557f58SPeter Brune +  linesearch - linesearch context
759f40b411bSPeter Brune -  type - The type of line search to be used
760f40b411bSPeter Brune 
761cd7522eaSPeter Brune    Available Types:
762cd7522eaSPeter Brune +  basic - Simple damping line search.
7638e557f58SPeter Brune .  bt - Backtracking line search over the L2 norm of the function
7648e557f58SPeter Brune .  l2 - Secant line search over the L2 norm of the function
7658e557f58SPeter Brune .  cp - Critical point secant line search assuming F(x) = grad G(x) for some unknown G(x)
7668e557f58SPeter Brune -  shell - User provided SNESLineSearch implementation
767cd7522eaSPeter Brune 
768f1c6b773SPeter Brune    Logically Collective on SNESLineSearch
769f40b411bSPeter Brune 
770f40b411bSPeter Brune    Level: intermediate
771f40b411bSPeter Brune 
772f40b411bSPeter Brune 
773f1c6b773SPeter Brune .seealso: SNESLineSearchCreate()
774f40b411bSPeter Brune @*/
775f1c6b773SPeter Brune PetscErrorCode SNESLineSearchSetType(SNESLineSearch linesearch, const SNESLineSearchType type)
776bf7f4e0aSPeter Brune {
777bf7f4e0aSPeter Brune 
778f1c6b773SPeter Brune   PetscErrorCode ierr,(*r)(SNESLineSearch);
779bf7f4e0aSPeter Brune   PetscBool      match;
780bf7f4e0aSPeter Brune 
781bf7f4e0aSPeter Brune   PetscFunctionBegin;
782f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
783bf7f4e0aSPeter Brune   PetscValidCharPointer(type,2);
784bf7f4e0aSPeter Brune 
785251f4c67SDmitry Karpeev   ierr = PetscObjectTypeCompare((PetscObject)linesearch,type,&match);CHKERRQ(ierr);
786bf7f4e0aSPeter Brune   if (match) PetscFunctionReturn(0);
787bf7f4e0aSPeter Brune 
788f1c6b773SPeter Brune   ierr =  PetscFListFind(SNESLineSearchList,((PetscObject)linesearch)->comm,type,PETSC_TRUE,(void (**)(void)) &r);CHKERRQ(ierr);
789bf7f4e0aSPeter Brune   if (!r) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_UNKNOWN_TYPE,"Unable to find requested Line Search type %s",type);
790bf7f4e0aSPeter Brune   /* Destroy the previous private linesearch context */
791bf7f4e0aSPeter Brune   if (linesearch->ops->destroy) {
792bf7f4e0aSPeter Brune     ierr = (*(linesearch)->ops->destroy)(linesearch);CHKERRQ(ierr);
793bf7f4e0aSPeter Brune     linesearch->ops->destroy = PETSC_NULL;
794bf7f4e0aSPeter Brune   }
795f1c6b773SPeter Brune   /* Reinitialize function pointers in SNESLineSearchOps structure */
796bf7f4e0aSPeter Brune   linesearch->ops->apply          = 0;
797bf7f4e0aSPeter Brune   linesearch->ops->view           = 0;
798bf7f4e0aSPeter Brune   linesearch->ops->setfromoptions = 0;
799bf7f4e0aSPeter Brune   linesearch->ops->destroy        = 0;
800bf7f4e0aSPeter Brune 
801bf7f4e0aSPeter Brune   ierr = PetscObjectChangeTypeName((PetscObject)linesearch,type);CHKERRQ(ierr);
802bf7f4e0aSPeter Brune   ierr = (*r)(linesearch);CHKERRQ(ierr);
803bf7f4e0aSPeter Brune #if defined(PETSC_HAVE_AMS)
804bf7f4e0aSPeter Brune   if (PetscAMSPublishAll) {
805bf7f4e0aSPeter Brune     ierr = PetscObjectAMSPublish((PetscObject)linesearch);CHKERRQ(ierr);
806bf7f4e0aSPeter Brune   }
807bf7f4e0aSPeter Brune #endif
808bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
809bf7f4e0aSPeter Brune }
810bf7f4e0aSPeter Brune 
811bf7f4e0aSPeter Brune #undef __FUNCT__
812f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetSNES"
813f40b411bSPeter Brune /*@
81478bcb3b5SPeter Brune    SNESLineSearchSetSNES - Sets the SNES for the linesearch for function evaluation.
815f40b411bSPeter Brune 
816f40b411bSPeter Brune    Input Parameters:
8178e557f58SPeter Brune +  linesearch - linesearch context
818f40b411bSPeter Brune -  snes - The snes instance
819f40b411bSPeter Brune 
82078bcb3b5SPeter Brune    Level: developer
82178bcb3b5SPeter Brune 
82278bcb3b5SPeter Brune    Notes:
82378bcb3b5SPeter Brune    This happens automatically when the line search is gotten/created with
82478bcb3b5SPeter Brune    SNESGetSNESLineSearch().  This routine is therefore mainly called within SNES
82578bcb3b5SPeter Brune    implementations.
826f40b411bSPeter Brune 
8278141a3b9SPeter Brune    Level: developer
828f40b411bSPeter Brune 
829cd7522eaSPeter Brune .seealso: SNESLineSearchGetSNES(), SNESLineSearchSetVecs(), SNES
830f40b411bSPeter Brune @*/
831f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchSetSNES(SNESLineSearch linesearch, SNES snes){
832bf7f4e0aSPeter Brune   PetscFunctionBegin;
833f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
834bf7f4e0aSPeter Brune   PetscValidHeaderSpecific(snes,SNES_CLASSID,2);
835bf7f4e0aSPeter Brune   linesearch->snes = snes;
836bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
837bf7f4e0aSPeter Brune }
838bf7f4e0aSPeter Brune 
839bf7f4e0aSPeter Brune #undef __FUNCT__
840f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetSNES"
841f40b411bSPeter Brune /*@
8428141a3b9SPeter Brune    SNESLineSearchGetSNES - Gets the SNES instance associated with the line search.
8438141a3b9SPeter Brune    Having an associated SNES is necessary because most line search implementations must be able to
8448141a3b9SPeter Brune    evaluate the function using SNESComputeFunction() for the associated SNES.  This routine
8458141a3b9SPeter Brune    is used in the line search implementations when one must get this associated SNES instance.
846f40b411bSPeter Brune 
847f40b411bSPeter Brune    Input Parameters:
8488e557f58SPeter Brune .  linesearch - linesearch context
849f40b411bSPeter Brune 
850f40b411bSPeter Brune    Output Parameters:
851f40b411bSPeter Brune .  snes - The snes instance
852f40b411bSPeter Brune 
8538141a3b9SPeter Brune    Level: developer
854f40b411bSPeter Brune 
855cd7522eaSPeter Brune .seealso: SNESLineSearchGetSNES(), SNESLineSearchSetVecs(), SNES
856f40b411bSPeter Brune @*/
857f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetSNES(SNESLineSearch linesearch, SNES *snes){
858bf7f4e0aSPeter Brune   PetscFunctionBegin;
859f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
8606a388c36SPeter Brune   PetscValidPointer(snes, 2);
861bf7f4e0aSPeter Brune   *snes = linesearch->snes;
862bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
863bf7f4e0aSPeter Brune }
864bf7f4e0aSPeter Brune 
8656a388c36SPeter Brune #undef __FUNCT__
866f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetLambda"
867f40b411bSPeter Brune /*@
868f1c6b773SPeter Brune    SNESLineSearchGetLambda - Gets the last linesearch steplength discovered.
869f40b411bSPeter Brune 
870f40b411bSPeter Brune    Input Parameters:
8718e557f58SPeter Brune .  linesearch - linesearch context
872f40b411bSPeter Brune 
873f40b411bSPeter Brune    Output Parameters:
874cd7522eaSPeter Brune .  lambda - The last steplength computed during SNESLineSearchApply()
875f40b411bSPeter Brune 
87678bcb3b5SPeter Brune    Level: advanced
87778bcb3b5SPeter Brune 
8788e557f58SPeter Brune    Notes:
8798e557f58SPeter Brune    This is useful in methods where the solver is ill-scaled and
88078bcb3b5SPeter Brune    requires some adaptive notion of the difference in scale between the
88178bcb3b5SPeter Brune    solution and the function.  For instance, SNESQN may be scaled by the
88278bcb3b5SPeter Brune    line search lambda using the argument -snes_qn_scaling ls.
88378bcb3b5SPeter Brune 
884f40b411bSPeter Brune 
885cd7522eaSPeter Brune .seealso: SNESLineSearchSetLambda(), SNESLineSearchGetDamping(), SNESLineSearchApply()
886f40b411bSPeter Brune @*/
887f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetLambda(SNESLineSearch linesearch,PetscReal *lambda)
8886a388c36SPeter Brune {
8896a388c36SPeter Brune   PetscFunctionBegin;
890f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
8916a388c36SPeter Brune   PetscValidPointer(lambda, 2);
8926a388c36SPeter Brune   *lambda = linesearch->lambda;
8936a388c36SPeter Brune   PetscFunctionReturn(0);
8946a388c36SPeter Brune }
8956a388c36SPeter Brune 
8966a388c36SPeter Brune #undef __FUNCT__
897f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetLambda"
898f40b411bSPeter Brune /*@
899f1c6b773SPeter Brune    SNESLineSearchSetLambda - Sets the linesearch steplength.
900f40b411bSPeter Brune 
901f40b411bSPeter Brune    Input Parameters:
9028e557f58SPeter Brune +  linesearch - linesearch context
903f40b411bSPeter Brune -  lambda - The last steplength.
904f40b411bSPeter Brune 
905cd7522eaSPeter Brune    Notes:
906cd7522eaSPeter Brune    This routine is typically used within implementations of SNESLineSearchApply
907cd7522eaSPeter Brune    to set the final steplength.  This routine (and SNESLineSearchGetLambda()) were
908cd7522eaSPeter Brune    added in order to facilitate Quasi-Newton methods that use the previous steplength
909cd7522eaSPeter Brune    as an inner scaling parameter.
910cd7522eaSPeter Brune 
91178bcb3b5SPeter Brune    Level: advanced
912f40b411bSPeter Brune 
913f1c6b773SPeter Brune .seealso: SNESLineSearchGetLambda()
914f40b411bSPeter Brune @*/
915f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchSetLambda(SNESLineSearch linesearch, PetscReal lambda)
9166a388c36SPeter Brune {
9176a388c36SPeter Brune   PetscFunctionBegin;
918f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
9196a388c36SPeter Brune   linesearch->lambda = lambda;
9206a388c36SPeter Brune   PetscFunctionReturn(0);
9216a388c36SPeter Brune }
9226a388c36SPeter Brune 
9236a388c36SPeter Brune #undef  __FUNCT__
924f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetTolerances"
925f40b411bSPeter Brune /*@
9263c7d6663SPeter Brune    SNESLineSearchGetTolerances - Gets the tolerances for the linesearch.  These include
92778bcb3b5SPeter Brune    tolerances for the relative and absolute change in the function norm, the change
92878bcb3b5SPeter Brune    in lambda for iterative line searches, the minimum steplength, the maximum steplength,
92978bcb3b5SPeter Brune    and the maximum number of iterations the line search procedure may take.
930f40b411bSPeter Brune 
931f40b411bSPeter Brune    Input Parameters:
9328e557f58SPeter Brune .  linesearch - linesearch context
933f40b411bSPeter Brune 
934f40b411bSPeter Brune    Output Parameters:
935516fe3c3SPeter Brune +  steptol - The minimum steplength
9366cc8e53bSPeter Brune .  maxstep - The maximum steplength
937516fe3c3SPeter Brune .  rtol    - The relative tolerance for iterative line searches
938516fe3c3SPeter Brune .  atol    - The absolute tolerance for iterative line searches
939516fe3c3SPeter Brune .  ltol    - The change in lambda tolerance for iterative line searches
940516fe3c3SPeter Brune -  max_it  - The maximum number of iterations of the line search
941f40b411bSPeter Brune 
94278bcb3b5SPeter Brune    Level: intermediate
94378bcb3b5SPeter Brune 
94478bcb3b5SPeter Brune    Notes:
94578bcb3b5SPeter Brune    Different line searches may implement these parameters slightly differently as
9463c7d6663SPeter Brune    the type requires.
947516fe3c3SPeter Brune 
948f1c6b773SPeter Brune .seealso: SNESLineSearchSetTolerances()
949f40b411bSPeter Brune @*/
950f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetTolerances(SNESLineSearch linesearch,PetscReal *steptol,PetscReal *maxstep, PetscReal *rtol, PetscReal *atol, PetscReal *ltol, PetscInt *max_its)
9516a388c36SPeter Brune {
9526a388c36SPeter Brune   PetscFunctionBegin;
953f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
954516fe3c3SPeter Brune   if (steptol) {
9556a388c36SPeter Brune     PetscValidPointer(steptol, 2);
9566a388c36SPeter Brune     *steptol = linesearch->steptol;
957516fe3c3SPeter Brune   }
958516fe3c3SPeter Brune   if (maxstep) {
959516fe3c3SPeter Brune     PetscValidPointer(maxstep, 3);
960516fe3c3SPeter Brune     *maxstep = linesearch->maxstep;
961516fe3c3SPeter Brune   }
962516fe3c3SPeter Brune   if (rtol) {
963516fe3c3SPeter Brune     PetscValidPointer(rtol, 4);
964516fe3c3SPeter Brune     *rtol = linesearch->rtol;
965516fe3c3SPeter Brune   }
966516fe3c3SPeter Brune   if (atol) {
967516fe3c3SPeter Brune     PetscValidPointer(atol, 5);
968516fe3c3SPeter Brune     *atol = linesearch->atol;
969516fe3c3SPeter Brune   }
970516fe3c3SPeter Brune   if (ltol) {
971516fe3c3SPeter Brune     PetscValidPointer(ltol, 6);
972516fe3c3SPeter Brune     *ltol = linesearch->ltol;
973516fe3c3SPeter Brune   }
974516fe3c3SPeter Brune   if (max_its) {
975516fe3c3SPeter Brune     PetscValidPointer(max_its, 7);
976516fe3c3SPeter Brune     *max_its = linesearch->max_its;
977516fe3c3SPeter Brune   }
9786a388c36SPeter Brune   PetscFunctionReturn(0);
9796a388c36SPeter Brune }
9806a388c36SPeter Brune 
9816a388c36SPeter Brune #undef  __FUNCT__
982f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetTolerances"
983f40b411bSPeter Brune /*@
9843c7d6663SPeter Brune    SNESLineSearchSetTolerances -  Gets the tolerances for the linesearch.  These include
98578bcb3b5SPeter Brune    tolerances for the relative and absolute change in the function norm, the change
98678bcb3b5SPeter Brune    in lambda for iterative line searches, the minimum steplength, the maximum steplength,
98778bcb3b5SPeter Brune    and the maximum number of iterations the line search procedure may take.
988f40b411bSPeter Brune 
989f40b411bSPeter Brune    Input Parameters:
9908e557f58SPeter Brune +  linesearch - linesearch context
991516fe3c3SPeter Brune .  steptol - The minimum steplength
9926cc8e53bSPeter Brune .  maxstep - The maximum steplength
993516fe3c3SPeter Brune .  rtol    - The relative tolerance for iterative line searches
994516fe3c3SPeter Brune .  atol    - The absolute tolerance for iterative line searches
995516fe3c3SPeter Brune .  ltol    - The change in lambda tolerance for iterative line searches
996516fe3c3SPeter Brune -  max_it  - The maximum number of iterations of the line search
997f40b411bSPeter Brune 
99878bcb3b5SPeter Brune    Notes:
9993c7d6663SPeter Brune    The user may choose to not set any of the tolerances using PETSC_DEFAULT in
100078bcb3b5SPeter Brune    place of an argument.
1001f40b411bSPeter Brune 
100278bcb3b5SPeter Brune    Level: intermediate
1003516fe3c3SPeter Brune 
1004f1c6b773SPeter Brune .seealso: SNESLineSearchGetTolerances()
1005f40b411bSPeter Brune @*/
1006f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchSetTolerances(SNESLineSearch linesearch,PetscReal steptol,PetscReal maxstep, PetscReal rtol, PetscReal atol, PetscReal ltol, PetscInt max_its)
10076a388c36SPeter Brune {
10086a388c36SPeter Brune   PetscFunctionBegin;
1009f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
1010d3952184SSatish Balay   PetscValidLogicalCollectiveReal(linesearch,steptol,2);
1011d3952184SSatish Balay   PetscValidLogicalCollectiveReal(linesearch,maxstep,3);
1012d3952184SSatish Balay   PetscValidLogicalCollectiveReal(linesearch,rtol,4);
1013d3952184SSatish Balay   PetscValidLogicalCollectiveReal(linesearch,atol,5);
1014d3952184SSatish Balay   PetscValidLogicalCollectiveReal(linesearch,ltol,6);
1015d3952184SSatish Balay   PetscValidLogicalCollectiveInt(linesearch,max_its,7);
1016d3952184SSatish Balay 
1017d3952184SSatish Balay   if ( steptol!= PETSC_DEFAULT) {
1018d3952184SSatish Balay     if ( steptol < 0.0) SETERRQ1(((PetscObject)linesearch)->comm,PETSC_ERR_ARG_OUTOFRANGE,"Minimum step length %G must be non-negative",steptol);
10196a388c36SPeter Brune     linesearch->steptol = steptol;
1020d3952184SSatish Balay   }
1021d3952184SSatish Balay 
1022d3952184SSatish Balay   if ( maxstep!= PETSC_DEFAULT) {
1023d3952184SSatish Balay     if ( maxstep < 0.0) SETERRQ1(((PetscObject)linesearch)->comm,PETSC_ERR_ARG_OUTOFRANGE,"Maximum step length %G must be non-negative",maxstep);
1024516fe3c3SPeter Brune     linesearch->maxstep = maxstep;
1025d3952184SSatish Balay   }
1026d3952184SSatish Balay 
1027d3952184SSatish Balay   if (rtol != PETSC_DEFAULT) {
1028d3952184SSatish Balay     if (rtol < 0.0 || 1.0 <= rtol) SETERRQ1(((PetscObject)linesearch)->comm,PETSC_ERR_ARG_OUTOFRANGE,"Relative tolerance %G must be non-negative and less than 1.0",rtol);
1029516fe3c3SPeter Brune     linesearch->rtol = rtol;
1030d3952184SSatish Balay   }
1031d3952184SSatish Balay 
1032d3952184SSatish Balay   if (atol != PETSC_DEFAULT) {
1033d3952184SSatish Balay     if (atol < 0.0) SETERRQ1(((PetscObject)linesearch)->comm,PETSC_ERR_ARG_OUTOFRANGE,"Absolute tolerance %G must be non-negative",atol);
1034516fe3c3SPeter Brune     linesearch->atol = atol;
1035d3952184SSatish Balay   }
1036d3952184SSatish Balay 
1037d3952184SSatish Balay   if (ltol != PETSC_DEFAULT) {
1038d3952184SSatish Balay     if (ltol < 0.0) SETERRQ1(((PetscObject)linesearch)->comm,PETSC_ERR_ARG_OUTOFRANGE,"Labmda tolerance %G must be non-negative",ltol);
1039516fe3c3SPeter Brune   linesearch->ltol = ltol;
1040d3952184SSatish Balay   }
1041d3952184SSatish Balay 
1042d3952184SSatish Balay   if (max_its != PETSC_DEFAULT) {
1043d3952184SSatish Balay     if (max_its < 0) SETERRQ1(((PetscObject)linesearch)->comm,PETSC_ERR_ARG_OUTOFRANGE,"Maximum number of iterations %D must be non-negative",max_its);
1044516fe3c3SPeter Brune     linesearch->max_its = max_its;
1045d3952184SSatish Balay   }
1046d3952184SSatish Balay 
10476a388c36SPeter Brune   PetscFunctionReturn(0);
10486a388c36SPeter Brune }
10496a388c36SPeter Brune 
1050516fe3c3SPeter Brune 
10516a388c36SPeter Brune #undef __FUNCT__
1052f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetDamping"
1053f40b411bSPeter Brune /*@
1054f1c6b773SPeter Brune    SNESLineSearchGetDamping - Gets the line search damping parameter.
1055f40b411bSPeter Brune 
1056f40b411bSPeter Brune    Input Parameters:
10578e557f58SPeter Brune .  linesearch - linesearch context
1058f40b411bSPeter Brune 
1059f40b411bSPeter Brune    Output Parameters:
10608e557f58SPeter Brune .  damping - The damping parameter
1061f40b411bSPeter Brune 
106278bcb3b5SPeter Brune    Level: advanced
1063f40b411bSPeter Brune 
106478bcb3b5SPeter Brune .seealso: SNESLineSearchGetStepTolerance(), SNESQN
1065f40b411bSPeter Brune @*/
1066f40b411bSPeter Brune 
1067f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetDamping(SNESLineSearch linesearch,PetscReal *damping)
10686a388c36SPeter Brune {
10696a388c36SPeter Brune   PetscFunctionBegin;
1070f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
10716a388c36SPeter Brune   PetscValidPointer(damping, 2);
10726a388c36SPeter Brune   *damping = linesearch->damping;
10736a388c36SPeter Brune   PetscFunctionReturn(0);
10746a388c36SPeter Brune }
10756a388c36SPeter Brune 
10766a388c36SPeter Brune #undef __FUNCT__
1077f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetDamping"
1078f40b411bSPeter Brune /*@
1079f1c6b773SPeter Brune    SNESLineSearchSetDamping - Sets the line search damping paramter.
1080f40b411bSPeter Brune 
1081f40b411bSPeter Brune    Input Parameters:
108278bcb3b5SPeter Brune .  linesearch - linesearch context
108378bcb3b5SPeter Brune .  damping - The damping parameter
1084f40b411bSPeter Brune 
1085f40b411bSPeter Brune    Level: intermediate
1086f40b411bSPeter Brune 
1087cd7522eaSPeter Brune    Notes:
1088cd7522eaSPeter Brune    The basic line search merely takes the update step scaled by the damping parameter.
1089cd7522eaSPeter Brune    The use of the damping parameter in the l2 and cp line searches is much more subtle;
109078bcb3b5SPeter Brune    it is used as a starting point in calculating the secant step. However, the eventual
1091cd7522eaSPeter Brune    step may be of greater length than the damping parameter.  In the bt line search it is
1092cd7522eaSPeter Brune    used as the maximum possible step length, as the bt line search only backtracks.
1093cd7522eaSPeter Brune 
1094f1c6b773SPeter Brune .seealso: SNESLineSearchGetDamping()
1095f40b411bSPeter Brune @*/
1096f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchSetDamping(SNESLineSearch linesearch,PetscReal damping)
10976a388c36SPeter Brune {
10986a388c36SPeter Brune   PetscFunctionBegin;
1099f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
11006a388c36SPeter Brune   linesearch->damping = damping;
11016a388c36SPeter Brune   PetscFunctionReturn(0);
11026a388c36SPeter Brune }
11036a388c36SPeter Brune 
11046a388c36SPeter Brune #undef __FUNCT__
110559405d5eSPeter Brune #define __FUNCT__ "SNESLineSearchGetOrder"
110659405d5eSPeter Brune /*@
110759405d5eSPeter Brune    SNESLineSearchGetOrder - Gets the line search approximation order.
110859405d5eSPeter Brune 
110959405d5eSPeter Brune    Input Parameters:
111078bcb3b5SPeter Brune .  linesearch - linesearch context
111159405d5eSPeter Brune 
111259405d5eSPeter Brune    Output Parameters:
11138e557f58SPeter Brune .  order - The order
111459405d5eSPeter Brune 
111578bcb3b5SPeter Brune    Possible Values for order:
11163c7d6663SPeter Brune +  1 or SNES_LINESEARCH_ORDER_LINEAR - linear order
11173c7d6663SPeter Brune .  2 or SNES_LINESEARCH_ORDER_QUADRATIC - quadratic order
11183c7d6663SPeter Brune -  3 or SNES_LINESEARCH_ORDER_CUBIC - cubic order
111978bcb3b5SPeter Brune 
112059405d5eSPeter Brune    Level: intermediate
112159405d5eSPeter Brune 
112259405d5eSPeter Brune .seealso: SNESLineSearchSetOrder()
112359405d5eSPeter Brune @*/
112459405d5eSPeter Brune 
1125b000cd8dSPeter Brune PetscErrorCode  SNESLineSearchGetOrder(SNESLineSearch linesearch,PetscInt *order)
112659405d5eSPeter Brune {
112759405d5eSPeter Brune   PetscFunctionBegin;
112859405d5eSPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
112959405d5eSPeter Brune   PetscValidPointer(order, 2);
113059405d5eSPeter Brune   *order = linesearch->order;
113159405d5eSPeter Brune   PetscFunctionReturn(0);
113259405d5eSPeter Brune }
113359405d5eSPeter Brune 
113459405d5eSPeter Brune #undef __FUNCT__
113559405d5eSPeter Brune #define __FUNCT__ "SNESLineSearchSetOrder"
113659405d5eSPeter Brune /*@
113759405d5eSPeter Brune    SNESLineSearchSetOrder - Sets the line search damping paramter.
113859405d5eSPeter Brune 
113959405d5eSPeter Brune    Input Parameters:
114078bcb3b5SPeter Brune .  linesearch - linesearch context
114178bcb3b5SPeter Brune .  order - The damping parameter
114259405d5eSPeter Brune 
114359405d5eSPeter Brune    Level: intermediate
114459405d5eSPeter Brune 
114578bcb3b5SPeter Brune    Possible Values for order:
11463c7d6663SPeter Brune +  1 or SNES_LINESEARCH_ORDER_LINEAR - linear order
11473c7d6663SPeter Brune .  2 or SNES_LINESEARCH_ORDER_QUADRATIC - quadratic order
11483c7d6663SPeter Brune -  3 or SNES_LINESEARCH_ORDER_CUBIC - cubic order
114978bcb3b5SPeter Brune 
115059405d5eSPeter Brune    Notes:
115159405d5eSPeter Brune    Variable orders are supported by the following line searches:
115278bcb3b5SPeter Brune +  bt - cubic and quadratic
115378bcb3b5SPeter Brune -  cp - linear and quadratic
115459405d5eSPeter Brune 
115559405d5eSPeter Brune .seealso: SNESLineSearchGetOrder()
115659405d5eSPeter Brune @*/
1157b000cd8dSPeter Brune PetscErrorCode  SNESLineSearchSetOrder(SNESLineSearch linesearch,PetscInt order)
115859405d5eSPeter Brune {
115959405d5eSPeter Brune   PetscFunctionBegin;
116059405d5eSPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
116159405d5eSPeter Brune   linesearch->order = order;
116259405d5eSPeter Brune   PetscFunctionReturn(0);
116359405d5eSPeter Brune }
116459405d5eSPeter Brune 
116559405d5eSPeter Brune #undef __FUNCT__
1166f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetNorms"
1167f40b411bSPeter Brune /*@
1168f1c6b773SPeter Brune    SNESLineSearchGetNorms - Gets the norms for for X, Y, and F.
1169f40b411bSPeter Brune 
1170f40b411bSPeter Brune    Input Parameters:
117178bcb3b5SPeter Brune .  linesearch - linesearch context
1172f40b411bSPeter Brune 
1173f40b411bSPeter Brune    Output Parameters:
1174f40b411bSPeter Brune +  xnorm - The norm of the current solution
1175f40b411bSPeter Brune .  fnorm - The norm of the current function
1176f40b411bSPeter Brune -  ynorm - The norm of the current update
1177f40b411bSPeter Brune 
1178cd7522eaSPeter Brune    Notes:
1179cd7522eaSPeter Brune    This function is mainly called from SNES implementations.
1180cd7522eaSPeter Brune 
118178bcb3b5SPeter Brune    Level: developer
1182f40b411bSPeter Brune 
1183f1c6b773SPeter Brune .seealso: SNESLineSearchSetNorms() SNESLineSearchGetVecs()
1184f40b411bSPeter Brune @*/
1185f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetNorms(SNESLineSearch linesearch, PetscReal * xnorm, PetscReal * fnorm, PetscReal * ynorm)
1186bf7f4e0aSPeter Brune {
1187bf7f4e0aSPeter Brune   PetscFunctionBegin;
1188f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
1189bf7f4e0aSPeter Brune   if (xnorm) {
1190bf7f4e0aSPeter Brune     *xnorm = linesearch->xnorm;
1191bf7f4e0aSPeter Brune   }
1192bf7f4e0aSPeter Brune   if (fnorm) {
1193bf7f4e0aSPeter Brune     *fnorm = linesearch->fnorm;
1194bf7f4e0aSPeter Brune   }
1195bf7f4e0aSPeter Brune   if (ynorm) {
1196bf7f4e0aSPeter Brune     *ynorm = linesearch->ynorm;
1197bf7f4e0aSPeter Brune   }
1198bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
1199bf7f4e0aSPeter Brune }
1200bf7f4e0aSPeter Brune 
1201e7058c64SPeter Brune #undef __FUNCT__
1202f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetNorms"
1203f40b411bSPeter Brune /*@
1204f1c6b773SPeter Brune    SNESLineSearchSetNorms - Gets the computed norms for for X, Y, and F.
1205f40b411bSPeter Brune 
1206f40b411bSPeter Brune    Input Parameters:
120778bcb3b5SPeter Brune +  linesearch - linesearch context
1208f40b411bSPeter Brune .  xnorm - The norm of the current solution
1209f40b411bSPeter Brune .  fnorm - The norm of the current function
1210f40b411bSPeter Brune -  ynorm - The norm of the current update
1211f40b411bSPeter Brune 
121278bcb3b5SPeter Brune    Level: advanced
1213f40b411bSPeter Brune 
1214f1c6b773SPeter Brune .seealso: SNESLineSearchGetNorms(), SNESLineSearchSetVecs()
1215f40b411bSPeter Brune @*/
1216f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchSetNorms(SNESLineSearch linesearch, PetscReal xnorm, PetscReal fnorm, PetscReal ynorm)
12176a388c36SPeter Brune {
12186a388c36SPeter Brune   PetscFunctionBegin;
1219f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
12206a388c36SPeter Brune   linesearch->xnorm = xnorm;
12216a388c36SPeter Brune   linesearch->fnorm = fnorm;
12226a388c36SPeter Brune   linesearch->ynorm = ynorm;
12236a388c36SPeter Brune   PetscFunctionReturn(0);
12246a388c36SPeter Brune }
12256a388c36SPeter Brune 
12266a388c36SPeter Brune #undef __FUNCT__
1227f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchComputeNorms"
1228f40b411bSPeter Brune /*@
1229f1c6b773SPeter Brune    SNESLineSearchComputeNorms - Computes the norms of X, F, and Y.
1230f40b411bSPeter Brune 
1231f40b411bSPeter Brune    Input Parameters:
123278bcb3b5SPeter Brune .  linesearch - linesearch context
1233f40b411bSPeter Brune 
1234f40b411bSPeter Brune    Options Database Keys:
12358e557f58SPeter Brune .   -snes_linesearch_norms - turn norm computation on or off
1236f40b411bSPeter Brune 
1237f40b411bSPeter Brune    Level: intermediate
1238f40b411bSPeter Brune 
123978bcb3b5SPeter Brune .seealso: SNESLineSearchGetNorms, SNESLineSearchSetNorms(), SNESLineSearchSetComputeNorms()
1240f40b411bSPeter Brune @*/
1241f1c6b773SPeter Brune PetscErrorCode SNESLineSearchComputeNorms(SNESLineSearch linesearch)
12426a388c36SPeter Brune {
12436a388c36SPeter Brune   PetscErrorCode ierr;
12449bd66eb0SPeter Brune   SNES snes;
12456a388c36SPeter Brune   PetscFunctionBegin;
12466a388c36SPeter Brune   if (linesearch->norms) {
12479bd66eb0SPeter Brune     if (linesearch->ops->vinorm) {
1248f1c6b773SPeter Brune       ierr = SNESLineSearchGetSNES(linesearch, &snes);CHKERRQ(ierr);
12499bd66eb0SPeter Brune       ierr = VecNorm(linesearch->vec_sol, NORM_2, &linesearch->xnorm);CHKERRQ(ierr);
12509bd66eb0SPeter Brune       ierr = VecNorm(linesearch->vec_update, NORM_2, &linesearch->ynorm);CHKERRQ(ierr);
12519bd66eb0SPeter Brune       ierr = (*linesearch->ops->vinorm)(snes, linesearch->vec_func, linesearch->vec_sol, &linesearch->fnorm);CHKERRQ(ierr);
12529bd66eb0SPeter Brune     } else {
12536a388c36SPeter Brune       ierr = VecNormBegin(linesearch->vec_func,   NORM_2, &linesearch->fnorm);CHKERRQ(ierr);
12546a388c36SPeter Brune       ierr = VecNormBegin(linesearch->vec_sol,    NORM_2, &linesearch->xnorm);CHKERRQ(ierr);
12556a388c36SPeter Brune       ierr = VecNormBegin(linesearch->vec_update, NORM_2, &linesearch->ynorm);CHKERRQ(ierr);
12566a388c36SPeter Brune       ierr = VecNormEnd(linesearch->vec_func,     NORM_2, &linesearch->fnorm);CHKERRQ(ierr);
12576a388c36SPeter Brune       ierr = VecNormEnd(linesearch->vec_sol,      NORM_2, &linesearch->xnorm);CHKERRQ(ierr);
12586a388c36SPeter Brune       ierr = VecNormEnd(linesearch->vec_update,   NORM_2, &linesearch->ynorm);CHKERRQ(ierr);
12596a388c36SPeter Brune     }
12609bd66eb0SPeter Brune   }
12616a388c36SPeter Brune   PetscFunctionReturn(0);
12626a388c36SPeter Brune }
12636a388c36SPeter Brune 
12646f263ca3SPeter Brune 
12656f263ca3SPeter Brune #undef __FUNCT__
12666f263ca3SPeter Brune #define __FUNCT__ "SNESLineSearchSetComputeNorms"
12676f263ca3SPeter Brune /*@
12686f263ca3SPeter Brune    SNESLineSearchSetComputeNorms - Turns on or off the computation of final norms in the line search.
12696f263ca3SPeter Brune 
12706f263ca3SPeter Brune    Input Parameters:
127178bcb3b5SPeter Brune +  linesearch  - linesearch context
127278bcb3b5SPeter Brune -  flg  - indicates whether or not to compute norms
12736f263ca3SPeter Brune 
12746f263ca3SPeter Brune    Options Database Keys:
12758e557f58SPeter Brune .   -snes_linesearch_norms - turn norm computation on or off
12766f263ca3SPeter Brune 
12776f263ca3SPeter Brune    Notes:
12781a4f838cSPeter Brune    This is most relevant to the SNESLINESEARCHBASIC line search type.
12796f263ca3SPeter Brune 
12806f263ca3SPeter Brune    Level: intermediate
12816f263ca3SPeter Brune 
12821a4f838cSPeter Brune .seealso: SNESLineSearchGetNorms(), SNESLineSearchSetNorms(), SNESLineSearchComputeNorms(), SNESLINESEARCHBASIC
12836f263ca3SPeter Brune @*/
12846f263ca3SPeter Brune PetscErrorCode SNESLineSearchSetComputeNorms(SNESLineSearch linesearch, PetscBool flg)
12856f263ca3SPeter Brune {
12866f263ca3SPeter Brune   PetscFunctionBegin;
12876f263ca3SPeter Brune   linesearch->norms = flg;
12886f263ca3SPeter Brune   PetscFunctionReturn(0);
12896f263ca3SPeter Brune }
12906f263ca3SPeter Brune 
12916a388c36SPeter Brune #undef __FUNCT__
1292f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetVecs"
1293f40b411bSPeter Brune /*@
1294f1c6b773SPeter Brune    SNESLineSearchGetVecs - Gets the vectors from the SNESLineSearch context
1295f40b411bSPeter Brune 
1296f40b411bSPeter Brune    Input Parameters:
129778bcb3b5SPeter Brune .  linesearch - linesearch context
1298f40b411bSPeter Brune 
1299f40b411bSPeter Brune    Output Parameters:
1300f40b411bSPeter Brune +  X - The old solution
1301f40b411bSPeter Brune .  F - The old function
1302f40b411bSPeter Brune .  Y - The search direction
1303f40b411bSPeter Brune .  W - The new solution
1304f40b411bSPeter Brune -  G - The new function
1305f40b411bSPeter Brune 
130678bcb3b5SPeter Brune    Level: advanced
1307f40b411bSPeter Brune 
1308f1c6b773SPeter Brune .seealso: SNESLineSearchGetNorms(), SNESLineSearchSetVecs()
1309f40b411bSPeter Brune @*/
1310f1c6b773SPeter Brune PetscErrorCode SNESLineSearchGetVecs(SNESLineSearch linesearch,Vec *X,Vec *F, Vec *Y,Vec *W,Vec *G) {
13116a388c36SPeter Brune   PetscFunctionBegin;
1312f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
13136a388c36SPeter Brune   if (X) {
13146a388c36SPeter Brune     PetscValidPointer(X, 2);
13156a388c36SPeter Brune     *X = linesearch->vec_sol;
13166a388c36SPeter Brune   }
13176a388c36SPeter Brune   if (F) {
13186a388c36SPeter Brune     PetscValidPointer(F, 3);
13196a388c36SPeter Brune     *F = linesearch->vec_func;
13206a388c36SPeter Brune   }
13216a388c36SPeter Brune   if (Y) {
13226a388c36SPeter Brune     PetscValidPointer(Y, 4);
13236a388c36SPeter Brune     *Y = linesearch->vec_update;
13246a388c36SPeter Brune   }
13256a388c36SPeter Brune   if (W) {
13266a388c36SPeter Brune     PetscValidPointer(W, 5);
13276a388c36SPeter Brune     *W = linesearch->vec_sol_new;
13286a388c36SPeter Brune   }
13296a388c36SPeter Brune   if (G) {
13306a388c36SPeter Brune     PetscValidPointer(G, 6);
13316a388c36SPeter Brune     *G = linesearch->vec_func_new;
13326a388c36SPeter Brune   }
13336a388c36SPeter Brune 
13346a388c36SPeter Brune   PetscFunctionReturn(0);
13356a388c36SPeter Brune }
13366a388c36SPeter Brune 
13376a388c36SPeter Brune #undef __FUNCT__
1338f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetVecs"
1339f40b411bSPeter Brune /*@
1340f1c6b773SPeter Brune    SNESLineSearchSetVecs - Sets the vectors on the SNESLineSearch context
1341f40b411bSPeter Brune 
1342f40b411bSPeter Brune    Input Parameters:
134378bcb3b5SPeter Brune +  linesearch - linesearch context
1344f40b411bSPeter Brune .  X - The old solution
1345f40b411bSPeter Brune .  F - The old function
1346f40b411bSPeter Brune .  Y - The search direction
1347f40b411bSPeter Brune .  W - The new solution
1348f40b411bSPeter Brune -  G - The new function
1349f40b411bSPeter Brune 
135078bcb3b5SPeter Brune    Level: advanced
1351f40b411bSPeter Brune 
1352f1c6b773SPeter Brune .seealso: SNESLineSearchSetNorms(), SNESLineSearchGetVecs()
1353f40b411bSPeter Brune @*/
1354f1c6b773SPeter Brune PetscErrorCode SNESLineSearchSetVecs(SNESLineSearch linesearch,Vec X,Vec F,Vec Y,Vec W, Vec G) {
13556a388c36SPeter Brune   PetscFunctionBegin;
1356f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
13576a388c36SPeter Brune   if (X) {
13586a388c36SPeter Brune     PetscValidHeaderSpecific(X,VEC_CLASSID,2);
13596a388c36SPeter Brune     linesearch->vec_sol = X;
13606a388c36SPeter Brune   }
13616a388c36SPeter Brune   if (F) {
13626a388c36SPeter Brune     PetscValidHeaderSpecific(F,VEC_CLASSID,3);
13636a388c36SPeter Brune     linesearch->vec_func = F;
13646a388c36SPeter Brune   }
13656a388c36SPeter Brune   if (Y) {
13666a388c36SPeter Brune     PetscValidHeaderSpecific(Y,VEC_CLASSID,4);
13676a388c36SPeter Brune     linesearch->vec_update = Y;
13686a388c36SPeter Brune   }
13696a388c36SPeter Brune   if (W) {
13706a388c36SPeter Brune     PetscValidHeaderSpecific(W,VEC_CLASSID,5);
13716a388c36SPeter Brune     linesearch->vec_sol_new = W;
13726a388c36SPeter Brune   }
13736a388c36SPeter Brune   if (G) {
13746a388c36SPeter Brune     PetscValidHeaderSpecific(G,VEC_CLASSID,6);
13756a388c36SPeter Brune     linesearch->vec_func_new = G;
13766a388c36SPeter Brune   }
13776a388c36SPeter Brune 
13786a388c36SPeter Brune   PetscFunctionReturn(0);
13796a388c36SPeter Brune }
13806a388c36SPeter Brune 
13816a388c36SPeter Brune #undef __FUNCT__
1382f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchAppendOptionsPrefix"
1383e7058c64SPeter Brune /*@C
1384f1c6b773SPeter Brune    SNESLineSearchAppendOptionsPrefix - Appends to the prefix used for searching for all
1385e7058c64SPeter Brune    SNES options in the database.
1386e7058c64SPeter Brune 
1387cd7522eaSPeter Brune    Logically Collective on SNESLineSearch
1388e7058c64SPeter Brune 
1389e7058c64SPeter Brune    Input Parameters:
1390e7058c64SPeter Brune +  snes - the SNES context
1391e7058c64SPeter Brune -  prefix - the prefix to prepend to all option names
1392e7058c64SPeter Brune 
1393e7058c64SPeter Brune    Notes:
1394e7058c64SPeter Brune    A hyphen (-) must NOT be given at the beginning of the prefix name.
1395e7058c64SPeter Brune    The first character of all runtime options is AUTOMATICALLY the hyphen.
1396e7058c64SPeter Brune 
1397e7058c64SPeter Brune    Level: advanced
1398e7058c64SPeter Brune 
1399f1c6b773SPeter Brune .keywords: SNESLineSearch, append, options, prefix, database
1400e7058c64SPeter Brune 
1401e7058c64SPeter Brune .seealso: SNESGetOptionsPrefix()
1402e7058c64SPeter Brune @*/
1403f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchAppendOptionsPrefix(SNESLineSearch linesearch,const char prefix[])
1404e7058c64SPeter Brune {
1405e7058c64SPeter Brune   PetscErrorCode ierr;
1406e7058c64SPeter Brune 
1407e7058c64SPeter Brune   PetscFunctionBegin;
1408f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
1409e7058c64SPeter Brune   ierr = PetscObjectAppendOptionsPrefix((PetscObject)linesearch,prefix);CHKERRQ(ierr);
1410e7058c64SPeter Brune   PetscFunctionReturn(0);
1411e7058c64SPeter Brune }
1412e7058c64SPeter Brune 
1413e7058c64SPeter Brune #undef __FUNCT__
1414f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetOptionsPrefix"
1415e7058c64SPeter Brune /*@C
1416f1c6b773SPeter Brune    SNESLineSearchGetOptionsPrefix - Sets the prefix used for searching for all
1417f1c6b773SPeter Brune    SNESLineSearch options in the database.
1418e7058c64SPeter Brune 
1419e7058c64SPeter Brune    Not Collective
1420e7058c64SPeter Brune 
1421e7058c64SPeter Brune    Input Parameter:
1422cd7522eaSPeter Brune .  linesearch - the SNESLineSearch context
1423e7058c64SPeter Brune 
1424e7058c64SPeter Brune    Output Parameter:
1425e7058c64SPeter Brune .  prefix - pointer to the prefix string used
1426e7058c64SPeter Brune 
14278e557f58SPeter Brune    Notes:
14288e557f58SPeter Brune    On the fortran side, the user should pass in a string 'prefix' of
1429e7058c64SPeter Brune    sufficient length to hold the prefix.
1430e7058c64SPeter Brune 
1431e7058c64SPeter Brune    Level: advanced
1432e7058c64SPeter Brune 
1433f1c6b773SPeter Brune .keywords: SNESLineSearch, get, options, prefix, database
1434e7058c64SPeter Brune 
1435e7058c64SPeter Brune .seealso: SNESAppendOptionsPrefix()
1436e7058c64SPeter Brune @*/
1437f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetOptionsPrefix(SNESLineSearch linesearch,const char *prefix[])
1438e7058c64SPeter Brune {
1439e7058c64SPeter Brune   PetscErrorCode ierr;
1440e7058c64SPeter Brune 
1441e7058c64SPeter Brune   PetscFunctionBegin;
1442f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
1443e7058c64SPeter Brune   ierr = PetscObjectGetOptionsPrefix((PetscObject)linesearch,prefix);CHKERRQ(ierr);
1444e7058c64SPeter Brune   PetscFunctionReturn(0);
1445e7058c64SPeter Brune }
1446bf7f4e0aSPeter Brune 
1447bf7f4e0aSPeter Brune #undef __FUNCT__
1448f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetWork"
1449f40b411bSPeter Brune /*@
1450f1c6b773SPeter Brune    SNESLineSearchGetWork - Gets work vectors for the line search.
1451f40b411bSPeter Brune 
1452f40b411bSPeter Brune    Input Parameter:
1453f1c6b773SPeter Brune +  linesearch - the SNESLineSearch context
1454f40b411bSPeter Brune -  nwork - the number of work vectors
1455f40b411bSPeter Brune 
1456f40b411bSPeter Brune    Level: developer
1457f40b411bSPeter Brune 
1458cd7522eaSPeter Brune    Notes:
1459cd7522eaSPeter Brune    This is typically called at the beginning of a SNESLineSearch or SNESLineSearchShell implementation.
1460cd7522eaSPeter Brune 
1461f1c6b773SPeter Brune .keywords: SNESLineSearch, work, vector
1462f40b411bSPeter Brune 
1463f40b411bSPeter Brune .seealso: SNESDefaultGetWork()
1464f40b411bSPeter Brune @*/
1465f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetWork(SNESLineSearch linesearch, PetscInt nwork)
1466bf7f4e0aSPeter Brune {
1467bf7f4e0aSPeter Brune   PetscErrorCode ierr;
1468bf7f4e0aSPeter Brune   PetscFunctionBegin;
1469bf7f4e0aSPeter Brune   if (linesearch->vec_sol) {
1470bf7f4e0aSPeter Brune     ierr = VecDuplicateVecs(linesearch->vec_sol, nwork, &linesearch->work);CHKERRQ(ierr);
1471bf7f4e0aSPeter Brune   } else {
1472bf7f4e0aSPeter Brune     SETERRQ(((PetscObject)linesearch)->comm, PETSC_ERR_USER, "Cannot get linesearch work-vectors without setting a solution vec!");
1473bf7f4e0aSPeter Brune   }
1474bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
1475bf7f4e0aSPeter Brune }
1476bf7f4e0aSPeter Brune 
14776a388c36SPeter Brune 
1478bf7f4e0aSPeter Brune #undef __FUNCT__
1479f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetSuccess"
1480f40b411bSPeter Brune /*@
1481f1c6b773SPeter Brune    SNESLineSearchGetSuccess - Gets the success/failure status of the last line search application
1482f40b411bSPeter Brune 
1483f40b411bSPeter Brune    Input Parameters:
148478bcb3b5SPeter Brune .  linesearch - linesearch context
1485f40b411bSPeter Brune 
1486f40b411bSPeter Brune    Output Parameters:
14878e557f58SPeter Brune .  success - The success or failure status
1488f40b411bSPeter Brune 
1489cd7522eaSPeter Brune    Notes:
1490cd7522eaSPeter Brune    This is typically called after SNESLineSearchApply in order to determine if the line-search failed
1491cd7522eaSPeter Brune    (and set the SNES convergence accordingly).
1492cd7522eaSPeter Brune 
1493f40b411bSPeter Brune    Level: intermediate
1494f40b411bSPeter Brune 
1495f1c6b773SPeter Brune .seealso: SNESLineSearchSetSuccess()
1496f40b411bSPeter Brune @*/
1497f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchGetSuccess(SNESLineSearch linesearch, PetscBool *success)
1498bf7f4e0aSPeter Brune {
1499bf7f4e0aSPeter Brune   PetscFunctionBegin;
1500f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
15016a388c36SPeter Brune   PetscValidPointer(success, 2);
1502bf7f4e0aSPeter Brune   if (success) {
1503bf7f4e0aSPeter Brune     *success = linesearch->success;
1504bf7f4e0aSPeter Brune   }
1505bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
1506bf7f4e0aSPeter Brune }
1507bf7f4e0aSPeter Brune 
1508bf7f4e0aSPeter Brune #undef __FUNCT__
1509f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetSuccess"
1510f40b411bSPeter Brune /*@
1511f1c6b773SPeter Brune    SNESLineSearchSetSuccess - Sets the success/failure status of the last line search application
1512f40b411bSPeter Brune 
1513f40b411bSPeter Brune    Input Parameters:
151478bcb3b5SPeter Brune +  linesearch - linesearch context
15158e557f58SPeter Brune -  success - The success or failure status
1516f40b411bSPeter Brune 
1517cd7522eaSPeter Brune    Notes:
1518cd7522eaSPeter Brune    This is typically called in a SNESLineSearchApply() or SNESLineSearchShell implementation to set
1519cd7522eaSPeter Brune    the success or failure of the line search method.
1520cd7522eaSPeter Brune 
152178bcb3b5SPeter Brune    Level: developer
1522f40b411bSPeter Brune 
1523f1c6b773SPeter Brune .seealso: SNESLineSearchGetSuccess()
1524f40b411bSPeter Brune @*/
1525f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchSetSuccess(SNESLineSearch linesearch, PetscBool success)
15266a388c36SPeter Brune {
1527f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
15286a388c36SPeter Brune   PetscFunctionBegin;
15296a388c36SPeter Brune   linesearch->success = success;
15306a388c36SPeter Brune   PetscFunctionReturn(0);
15316a388c36SPeter Brune }
15326a388c36SPeter Brune 
15336a388c36SPeter Brune #undef __FUNCT__
1534f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchSetVIFunctions"
15359bd66eb0SPeter Brune /*@C
1536f1c6b773SPeter Brune    SNESLineSearchSetVIFunctions - Sets VI-specific functions for line search computation.
15379bd66eb0SPeter Brune 
15389bd66eb0SPeter Brune    Input Parameters:
15399bd66eb0SPeter Brune +  snes - nonlinear context obtained from SNESCreate()
15409bd66eb0SPeter Brune .  projectfunc - function for projecting the function to the bounds
15419bd66eb0SPeter Brune -  normfunc - function for computing the norm of an active set
15429bd66eb0SPeter Brune 
15439bd66eb0SPeter Brune    Logically Collective on SNES
15449bd66eb0SPeter Brune 
15459bd66eb0SPeter Brune    Calling sequence of projectfunc:
15469bd66eb0SPeter Brune .vb
15479bd66eb0SPeter Brune    projectfunc (SNES snes, Vec X)
15489bd66eb0SPeter Brune .ve
15499bd66eb0SPeter Brune 
15509bd66eb0SPeter Brune     Input parameters for projectfunc:
15519bd66eb0SPeter Brune +   snes - nonlinear context
15529bd66eb0SPeter Brune -   X - current solution
15539bd66eb0SPeter Brune 
1554cd7522eaSPeter Brune     Output parameters for projectfunc:
15559bd66eb0SPeter Brune .   X - Projected solution
15569bd66eb0SPeter Brune 
15579bd66eb0SPeter Brune    Calling sequence of normfunc:
15589bd66eb0SPeter Brune .vb
15599bd66eb0SPeter Brune    projectfunc (SNES snes, Vec X, Vec F, PetscScalar * fnorm)
15609bd66eb0SPeter Brune .ve
15619bd66eb0SPeter Brune 
1562cd7522eaSPeter Brune     Input parameters for normfunc:
15639bd66eb0SPeter Brune +   snes - nonlinear context
15649bd66eb0SPeter Brune .   X - current solution
15659bd66eb0SPeter Brune -   F - current residual
15669bd66eb0SPeter Brune 
1567cd7522eaSPeter Brune     Output parameters for normfunc:
15689bd66eb0SPeter Brune .   fnorm - VI-specific norm of the function
15699bd66eb0SPeter Brune 
1570cd7522eaSPeter Brune     Notes:
1571cd7522eaSPeter Brune     The VI solvers require projection of the solution to the feasible set.  projectfunc should implement this.
1572cd7522eaSPeter Brune 
1573cd7522eaSPeter Brune     The VI solvers require special evaluation of the function norm such that the norm is only calculated
1574cd7522eaSPeter Brune     on the inactive set.  This should be implemented by normfunc.
15759bd66eb0SPeter Brune 
15769bd66eb0SPeter Brune     Level: developer
15779bd66eb0SPeter Brune 
15789bd66eb0SPeter Brune .keywords: SNES, line search, VI, nonlinear, set, line search
15799bd66eb0SPeter Brune 
1580f1c6b773SPeter Brune .seealso: SNESLineSearchGetVIFunctions(), SNESLineSearchSetPostCheck(), SNESLineSearchSetPreCheck()
15819bd66eb0SPeter Brune @*/
1582f1c6b773SPeter Brune extern PetscErrorCode SNESLineSearchSetVIFunctions(SNESLineSearch linesearch, SNESLineSearchVIProjectFunc projectfunc, SNESLineSearchVINormFunc normfunc)
15839bd66eb0SPeter Brune {
15849bd66eb0SPeter Brune   PetscFunctionBegin;
1585f1c6b773SPeter Brune   PetscValidHeaderSpecific(linesearch,SNESLINESEARCH_CLASSID,1);
15869bd66eb0SPeter Brune   if (projectfunc) linesearch->ops->viproject = projectfunc;
15879bd66eb0SPeter Brune   if (normfunc) linesearch->ops->vinorm = normfunc;
15889bd66eb0SPeter Brune   PetscFunctionReturn(0);
15899bd66eb0SPeter Brune }
15909bd66eb0SPeter Brune 
15919bd66eb0SPeter Brune #undef __FUNCT__
1592f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchGetVIFunctions"
15939bd66eb0SPeter Brune /*@C
1594f1c6b773SPeter Brune    SNESLineSearchGetVIFunctions - Sets VI-specific functions for line search computation.
15959bd66eb0SPeter Brune 
15969bd66eb0SPeter Brune    Input Parameters:
15979bd66eb0SPeter Brune .  snes - nonlinear context obtained from SNESCreate()
15989bd66eb0SPeter Brune 
15999bd66eb0SPeter Brune    Output Parameters:
16009bd66eb0SPeter Brune +  projectfunc - function for projecting the function to the bounds
16019bd66eb0SPeter Brune -  normfunc - function for computing the norm of an active set
16029bd66eb0SPeter Brune 
16039bd66eb0SPeter Brune    Logically Collective on SNES
16049bd66eb0SPeter Brune 
16059bd66eb0SPeter Brune     Level: developer
16069bd66eb0SPeter Brune 
16079bd66eb0SPeter Brune .keywords: SNES, line search, VI, nonlinear, get, line search
16089bd66eb0SPeter Brune 
1609f1c6b773SPeter Brune .seealso: SNESLineSearchSetVIFunctions(), SNESLineSearchGetPostCheck(), SNESLineSearchGetPreCheck()
16109bd66eb0SPeter Brune @*/
1611f1c6b773SPeter Brune extern PetscErrorCode SNESLineSearchGetVIFunctions(SNESLineSearch linesearch, SNESLineSearchVIProjectFunc *projectfunc, SNESLineSearchVINormFunc *normfunc)
16129bd66eb0SPeter Brune {
16139bd66eb0SPeter Brune   PetscFunctionBegin;
16149bd66eb0SPeter Brune   if (projectfunc) *projectfunc = linesearch->ops->viproject;
16159bd66eb0SPeter Brune   if (normfunc) *normfunc = linesearch->ops->vinorm;
16169bd66eb0SPeter Brune   PetscFunctionReturn(0);
16179bd66eb0SPeter Brune }
16189bd66eb0SPeter Brune 
16199bd66eb0SPeter Brune #undef __FUNCT__
1620f1c6b773SPeter Brune #define __FUNCT__ "SNESLineSearchRegister"
1621bf7f4e0aSPeter Brune /*@C
1622f1c6b773SPeter Brune   SNESLineSearchRegister - See SNESLineSearchRegisterDynamic()
1623bf7f4e0aSPeter Brune 
1624bf7f4e0aSPeter Brune   Level: advanced
1625bf7f4e0aSPeter Brune @*/
1626f1c6b773SPeter Brune PetscErrorCode  SNESLineSearchRegister(const char sname[],const char path[],const char name[],PetscErrorCode (*function)(SNESLineSearch))
1627bf7f4e0aSPeter Brune {
1628bf7f4e0aSPeter Brune   char           fullname[PETSC_MAX_PATH_LEN];
1629bf7f4e0aSPeter Brune   PetscErrorCode ierr;
1630bf7f4e0aSPeter Brune 
1631bf7f4e0aSPeter Brune   PetscFunctionBegin;
1632bf7f4e0aSPeter Brune   ierr = PetscFListConcat(path,name,fullname);CHKERRQ(ierr);
1633f1c6b773SPeter Brune   ierr = PetscFListAdd(&SNESLineSearchList,sname,fullname,(void (*)(void))function);CHKERRQ(ierr);
1634bf7f4e0aSPeter Brune   PetscFunctionReturn(0);
1635bf7f4e0aSPeter Brune }
1636