xref: /petsc/src/snes/mf/snesmfj.c (revision 81bfdfe8f062de6d040b794b1069c3423f23b916)
1*81bfdfe8SSatish Balay /*$Id: snesmfj.c,v 1.110 2000/09/02 02:49:35 bsmith Exp balay $*/
281e6777dSBarry Smith 
39a6cb015SBarry Smith #include "src/snes/snesimpl.h"
4e090d566SSatish Balay #include "src/snes/mf/snesmfj.h"   /*I  "petscsnes.h"   I*/
581e6777dSBarry Smith 
65a655dc6SBarry Smith FList      MatSNESMFList              = 0;
74c49b128SBarry Smith PetscTruth MatSNESMFRegisterAllCalled = PETSC_FALSE;
8a4d4d686SBarry Smith 
95615d1e5SSatish Balay #undef __FUNC__
10b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFSetType"
11fd4bdd07SBarry Smith /*@C
1265f2ba5bSLois Curfman McInnes     MatSNESMFSetType - Sets the method that is used to compute the
1365f2ba5bSLois Curfman McInnes     differencing parameter for finite difference matrix-free formulations.
149a6cb015SBarry Smith 
159a6cb015SBarry Smith     Input Parameters:
16ef4ad1fdSLois Curfman McInnes +   mat - the "matrix-free" matrix created via MatCreateSNESMF()
179a6cb015SBarry Smith -   ftype - the type requested
189a6cb015SBarry Smith 
1915091d37SBarry Smith     Level: advanced
2015091d37SBarry Smith 
2165f2ba5bSLois Curfman McInnes     Notes:
2265f2ba5bSLois Curfman McInnes     For example, such routines can compute h for use in
2365f2ba5bSLois Curfman McInnes     Jacobian-vector products of the form
2465f2ba5bSLois Curfman McInnes 
2565f2ba5bSLois Curfman McInnes                         F(x+ha) - F(x)
26ef4ad1fdSLois Curfman McInnes           F'(u)a  ~=  ----------------
2765f2ba5bSLois Curfman McInnes                               h
2865f2ba5bSLois Curfman McInnes 
29f1af5d2fSBarry Smith .seealso: MatCreateSNESMF(), MatSNESMFRegisterDynamic)
309a6cb015SBarry Smith @*/
31f6a0df18SBarry Smith int MatSNESMFSetType(Mat mat,MatSNESMFType ftype)
32b9fa9cd0SBarry Smith {
335a655dc6SBarry Smith   int          ierr,(*r)(MatSNESMFCtx);
345a655dc6SBarry Smith   MatSNESMFCtx ctx;
356831982aSBarry Smith   PetscTruth   match;
36a4d4d686SBarry Smith 
37a4d4d686SBarry Smith   PetscFunctionBegin;
380f5bd95cSBarry Smith   PetscValidHeaderSpecific(mat,MAT_COOKIE);
390f5bd95cSBarry Smith   PetscValidCharPointer(ftype);
400f5bd95cSBarry Smith 
41a4d4d686SBarry Smith   ierr = MatShellGetContext(mat,(void **)&ctx);CHKERRQ(ierr);
42a4d4d686SBarry Smith 
439a6cb015SBarry Smith   /* already set, so just return */
446831982aSBarry Smith   ierr = PetscTypeCompare((PetscObject)ctx,ftype,&match);CHKERRQ(ierr);
450f5bd95cSBarry Smith   if (match) PetscFunctionReturn(0);
46a4d4d686SBarry Smith 
479a6cb015SBarry Smith   /* destroy the old one if it exists */
489a6cb015SBarry Smith   if (ctx->ops->destroy) {
499a6cb015SBarry Smith     ierr = (*ctx->ops->destroy)(ctx);CHKERRQ(ierr);
509a6cb015SBarry Smith   }
519a6cb015SBarry Smith 
5265f2ba5bSLois Curfman McInnes   /* Get the function pointers for the requrested method */
535a655dc6SBarry Smith   if (!MatSNESMFRegisterAllCalled) {ierr = MatSNESMFRegisterAll(PETSC_NULL);CHKERRQ(ierr);}
549a6cb015SBarry Smith 
555a655dc6SBarry Smith   ierr =  FListFind(ctx->comm,MatSNESMFList,ftype,(int (**)(void *)) &r);CHKERRQ(ierr);
569a6cb015SBarry Smith 
575a655dc6SBarry Smith   if (!r) SETERRQ(1,1,"Unknown MatSNESMF type given");
589a6cb015SBarry Smith 
599a6cb015SBarry Smith   ierr = (*r)(ctx);CHKERRQ(ierr);
606831982aSBarry Smith 
616831982aSBarry Smith   ierr = PetscObjectChangeTypeName((PetscObject)ctx,ftype);CHKERRQ(ierr);
629a6cb015SBarry Smith 
639a6cb015SBarry Smith   PetscFunctionReturn(0);
649a6cb015SBarry Smith }
659a6cb015SBarry Smith 
669a6cb015SBarry Smith /*MC
67f1af5d2fSBarry Smith    MatSNESMFRegisterDynamic - Adds a method to the MatSNESMF registry.
689a6cb015SBarry Smith 
699a6cb015SBarry Smith    Synopsis:
70f1af5d2fSBarry Smith    MatSNESMFRegisterDynamicchar *name_solver,char *path,char *name_create,int (*routine_create)(MatSNESMF))
719a6cb015SBarry Smith 
729a6cb015SBarry Smith    Not Collective
739a6cb015SBarry Smith 
749a6cb015SBarry Smith    Input Parameters:
759a6cb015SBarry Smith +  name_solver - name of a new user-defined compute-h module
769a6cb015SBarry Smith .  path - path (either absolute or relative) the library containing this solver
779a6cb015SBarry Smith .  name_create - name of routine to create method context
789a6cb015SBarry Smith -  routine_create - routine to create method context
799a6cb015SBarry Smith 
8015091d37SBarry Smith    Level: developer
8115091d37SBarry Smith 
829a6cb015SBarry Smith    Notes:
83f1af5d2fSBarry Smith    MatSNESMFRegisterDynamic) may be called multiple times to add several user-defined solvers.
849a6cb015SBarry Smith 
859a6cb015SBarry Smith    If dynamic libraries are used, then the fourth input argument (routine_create)
869a6cb015SBarry Smith    is ignored.
879a6cb015SBarry Smith 
889a6cb015SBarry Smith    Sample usage:
899a6cb015SBarry Smith .vb
90f1af5d2fSBarry Smith    MatSNESMFRegisterDynamic"my_h",/home/username/my_lib/lib/libO/solaris/mylib.a,
919a6cb015SBarry Smith                "MyHCreate",MyHCreate);
929a6cb015SBarry Smith .ve
939a6cb015SBarry Smith 
949a6cb015SBarry Smith    Then, your solver can be chosen with the procedural interface via
955a655dc6SBarry Smith $     MatSNESMFSetType(mfctx,"my_h")
969a6cb015SBarry Smith    or at runtime via the option
979a6cb015SBarry Smith $     -snes_mf_type my_h
989a6cb015SBarry Smith 
995a655dc6SBarry Smith .keywords: MatSNESMF, register
1009a6cb015SBarry Smith 
1015a655dc6SBarry Smith .seealso: MatSNESMFRegisterAll(), MatSNESMFRegisterDestroy()
1029a6cb015SBarry Smith M*/
1039a6cb015SBarry Smith 
1049a6cb015SBarry Smith #undef __FUNC__
105b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFRegister"
106f1af5d2fSBarry Smith int MatSNESMFRegister(char *sname,char *path,char *name,int (*function)(MatSNESMFCtx))
1079a6cb015SBarry Smith {
1089a6cb015SBarry Smith   int ierr;
1099a6cb015SBarry Smith   char fullname[256];
1109a6cb015SBarry Smith 
1119a6cb015SBarry Smith   PetscFunctionBegin;
112f1af5d2fSBarry Smith   ierr = FListConcat(path,name,fullname);CHKERRQ(ierr);
113f1af5d2fSBarry Smith   ierr = FListAdd(&MatSNESMFList,sname,fullname,(int (*)(void*))function);CHKERRQ(ierr);
1149a6cb015SBarry Smith   PetscFunctionReturn(0);
1159a6cb015SBarry Smith }
1169a6cb015SBarry Smith 
1179a6cb015SBarry Smith 
1189a6cb015SBarry Smith #undef __FUNC__
119b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFRegisterDestroy"
1209a6cb015SBarry Smith /*@C
1215a655dc6SBarry Smith    MatSNESMFRegisterDestroy - Frees the list of MatSNESMF methods that were
122f1af5d2fSBarry Smith    registered by MatSNESMFRegisterDynamic).
1239a6cb015SBarry Smith 
1249a6cb015SBarry Smith    Not Collective
1259a6cb015SBarry Smith 
12615091d37SBarry Smith    Level: developer
12715091d37SBarry Smith 
1285a655dc6SBarry Smith .keywords: MatSNESMF, register, destroy
1299a6cb015SBarry Smith 
130f1af5d2fSBarry Smith .seealso: MatSNESMFRegisterDynamic), MatSNESMFRegisterAll()
1319a6cb015SBarry Smith @*/
1325a655dc6SBarry Smith int MatSNESMFRegisterDestroy(void)
1339a6cb015SBarry Smith {
1349a6cb015SBarry Smith   int ierr;
1359a6cb015SBarry Smith 
1369a6cb015SBarry Smith   PetscFunctionBegin;
1375a655dc6SBarry Smith   if (MatSNESMFList) {
1381d1367b7SBarry Smith     ierr = FListDestroy(&MatSNESMFList);CHKERRQ(ierr);
1395a655dc6SBarry Smith     MatSNESMFList = 0;
1409a6cb015SBarry Smith   }
1414c49b128SBarry Smith   MatSNESMFRegisterAllCalled = PETSC_FALSE;
1429a6cb015SBarry Smith   PetscFunctionReturn(0);
1439a6cb015SBarry Smith }
1449a6cb015SBarry Smith 
1459a6cb015SBarry Smith /* ----------------------------------------------------------------------------------------*/
146a4d4d686SBarry Smith #undef __FUNC__
147b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFDestroy_Private"
1485a655dc6SBarry Smith int MatSNESMFDestroy_Private(Mat mat)
149a4d4d686SBarry Smith {
150a4d4d686SBarry Smith   int          ierr;
1515a655dc6SBarry Smith   MatSNESMFCtx ctx;
152fae171e0SBarry Smith 
1533a40ed3dSBarry Smith   PetscFunctionBegin;
1540a25c783SBarry Smith   ierr = MatShellGetContext(mat,(void **)&ctx);CHKERRQ(ierr);
155b9fa9cd0SBarry Smith   ierr = VecDestroy(ctx->w);CHKERRQ(ierr);
1569a6cb015SBarry Smith   if (ctx->ops->destroy) {ierr = (*ctx->ops->destroy)(ctx);CHKERRQ(ierr);}
15774637425SBarry Smith   if (ctx->sp) {ierr = MatNullSpaceDestroy(ctx->sp);CHKERRQ(ierr);}
1586831982aSBarry Smith   PetscHeaderDestroy(ctx);
1593a40ed3dSBarry Smith   PetscFunctionReturn(0);
160b9fa9cd0SBarry Smith }
16150361f65SLois Curfman McInnes 
1625615d1e5SSatish Balay #undef __FUNC__
163b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFView_Private"
16439e2f89bSBarry Smith /*
1655a655dc6SBarry Smith    MatSNESMFView_Private - Views matrix-free parameters.
1668f6e3e37SBarry Smith 
16739e2f89bSBarry Smith */
1685a655dc6SBarry Smith int MatSNESMFView_Private(Mat J,Viewer viewer)
169eb9086c3SLois Curfman McInnes {
170eb9086c3SLois Curfman McInnes   int          ierr;
1715a655dc6SBarry Smith   MatSNESMFCtx ctx;
1726831982aSBarry Smith   PetscTruth   isascii;
173eb9086c3SLois Curfman McInnes 
1743a40ed3dSBarry Smith   PetscFunctionBegin;
175eb9086c3SLois Curfman McInnes   ierr = MatShellGetContext(J,(void **)&ctx);CHKERRQ(ierr);
1766831982aSBarry Smith   ierr = PetscTypeCompare((PetscObject)viewer,ASCII_VIEWER,&isascii);CHKERRQ(ierr);
1770f5bd95cSBarry Smith   if (isascii) {
1786831982aSBarry Smith      ierr = ViewerASCIIPrintf(viewer,"  SNES matrix-free approximation:\n");CHKERRQ(ierr);
1796831982aSBarry Smith      ierr = ViewerASCIIPrintf(viewer,"    err=%g (relative error in function evaluation)\n",ctx->error_rel);CHKERRQ(ierr);
1806831982aSBarry Smith      ierr = ViewerASCIIPrintf(viewer,"    Using %s compute h routine\n",ctx->type_name);CHKERRQ(ierr);
1819a6cb015SBarry Smith      if (ctx->ops->view) {
1829a6cb015SBarry Smith        ierr = (*ctx->ops->view)(ctx,viewer);CHKERRQ(ierr);
1839a6cb015SBarry Smith      }
1845cd90555SBarry Smith   } else {
1850f5bd95cSBarry Smith     SETERRQ1(1,1,"Viewer type %s not supported for SNES matrix free matrix",((PetscObject)viewer)->type_name);
186eb9086c3SLois Curfman McInnes   }
1873a40ed3dSBarry Smith   PetscFunctionReturn(0);
188eb9086c3SLois Curfman McInnes }
189eb9086c3SLois Curfman McInnes 
190be726c96SBarry Smith #undef __FUNC__
191b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFAssemblyEnd_Private"
192be726c96SBarry Smith /*
1935a655dc6SBarry Smith    MatSNESMFAssemblyEnd_Private - Resets the ctx->ncurrenth to zero. This
19465f2ba5bSLois Curfman McInnes    allows the user to indicate the beginning of a new linear solve by calling
195be726c96SBarry Smith    MatAssemblyXXX() on the matrix free matrix. This then allows the
19665f2ba5bSLois Curfman McInnes    MatSNESMFCreate_WP() to properly compute ||U|| only the first time
19765f2ba5bSLois Curfman McInnes    in the linear solver rather than every time.
198be726c96SBarry Smith */
1995a655dc6SBarry Smith int MatSNESMFAssemblyEnd_Private(Mat J)
200be726c96SBarry Smith {
201be726c96SBarry Smith   int          ierr;
2021d1367b7SBarry Smith   MatSNESMFCtx j;
203be726c96SBarry Smith 
204be726c96SBarry Smith   PetscFunctionBegin;
2055a655dc6SBarry Smith   ierr = MatSNESMFResetHHistory(J);CHKERRQ(ierr);
2061d1367b7SBarry Smith   ierr = MatShellGetContext(J,(void **)&j);CHKERRQ(ierr);
2071d1367b7SBarry Smith   if (j->snes) {
2081d1367b7SBarry Smith     ierr = SNESGetSolution(j->snes,&j->current_u);CHKERRQ(ierr);
2091d1367b7SBarry Smith     if (j->snes->method_class == SNES_NONLINEAR_EQUATIONS) {
2101d1367b7SBarry Smith       ierr = SNESGetFunction(j->snes,&j->current_f,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
2111d1367b7SBarry Smith     } else if (j->snes->method_class == SNES_UNCONSTRAINED_MINIMIZATION) {
2121d1367b7SBarry Smith       ierr = SNESGetGradient(j->snes,&j->current_f,PETSC_NULL);CHKERRQ(ierr);
2131d1367b7SBarry Smith     } else SETERRQ(PETSC_ERR_ARG_OUTOFRANGE,0,"Invalid method class");
2141d1367b7SBarry Smith   }
215be726c96SBarry Smith   PetscFunctionReturn(0);
216be726c96SBarry Smith }
217be726c96SBarry Smith 
218c481317fSBarry Smith 
2195615d1e5SSatish Balay #undef __FUNC__
220b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFMult_Private"
221eb9086c3SLois Curfman McInnes /*
2225a655dc6SBarry Smith   MatSNESMFMult_Private - Default matrix-free form for Jacobian-vector
223eb9086c3SLois Curfman McInnes   product, y = F'(u)*a:
224a4d4d686SBarry Smith 
2259a6cb015SBarry Smith         y ~= (F(u + ha) - F(u))/h,
226eb9086c3SLois Curfman McInnes   where F = nonlinear function, as set by SNESSetFunction()
227eb9086c3SLois Curfman McInnes         u = current iterate
228eb9086c3SLois Curfman McInnes         h = difference interval
229eb9086c3SLois Curfman McInnes */
2305a655dc6SBarry Smith int MatSNESMFMult_Private(Mat mat,Vec a,Vec y)
23139e2f89bSBarry Smith {
2325a655dc6SBarry Smith   MatSNESMFCtx ctx;
233fae171e0SBarry Smith   SNES           snes;
234a4d4d686SBarry Smith   Scalar         h,mone = -1.0;
235fae171e0SBarry Smith   Vec            w,U,F;
236a305c92eSSatish Balay   int            ierr,(*eval_fct)(SNES,Vec,Vec)=0;
23739e2f89bSBarry Smith 
2383a40ed3dSBarry Smith   PetscFunctionBegin;
2399a6cb015SBarry Smith   /* We log matrix-free matrix-vector products separately, so that we can
2409a6cb015SBarry Smith      separate the performance monitoring from the cases that use conventional
2419a6cb015SBarry Smith      storage.  We may eventually modify event logging to associate events
2429a6cb015SBarry Smith      with particular objects, hence alleviating the more general problem. */
243*81bfdfe8SSatish Balay   ierr = PLogEventBegin(MAT_MatrixFreeMult,a,y,0,0);CHKERRQ(ierr);
24456cd22aeSBarry Smith 
2456e38a044SBarry Smith   ierr = MatShellGetContext(mat,(void **)&ctx);CHKERRQ(ierr);
246fae171e0SBarry Smith   snes = ctx->snes;
247fae171e0SBarry Smith   w    = ctx->w;
2481d1367b7SBarry Smith   U    = ctx->current_u;
24950361f65SLois Curfman McInnes 
25085614651SBarry Smith   /*
25185614651SBarry Smith       Compute differencing parameter
25285614651SBarry Smith   */
2539a6cb015SBarry Smith   if (!ctx->ops->compute) {
254b7fd4e64SBarry Smith     ierr = MatSNESMFSetType(mat,MATSNESMF_DEFAULT);CHKERRQ(ierr);
2555a655dc6SBarry Smith     ierr = MatSNESMFSetFromOptions(mat);CHKERRQ(ierr);
2569a6cb015SBarry Smith   }
2579a6cb015SBarry Smith   ierr = (*ctx->ops->compute)(ctx,U,a,&h);CHKERRQ(ierr);
258a4d4d686SBarry Smith 
259a4d4d686SBarry Smith   /* keep a record of the current differencing parameter h */
260a4d4d686SBarry Smith   ctx->currenth = h;
261aa482453SBarry Smith #if defined(PETSC_USE_COMPLEX)
262329f5518SBarry Smith   PLogInfo(mat,"Current differencing parameter: %g + %g i\n",PetscRealPart(h),PetscImaginaryPart(h));
263a4d4d686SBarry Smith #else
264a4d4d686SBarry Smith   PLogInfo(mat,"Current differencing parameter: %g\n",h);
265a4d4d686SBarry Smith #endif
266a4d4d686SBarry Smith   if (ctx->historyh && ctx->ncurrenth < ctx->maxcurrenth) {
26785614651SBarry Smith     ctx->historyh[ctx->ncurrenth] = h;
268a4d4d686SBarry Smith   }
26985614651SBarry Smith   ctx->ncurrenth++;
270a4d4d686SBarry Smith 
27185614651SBarry Smith   /* w = u + ha */
272a4d4d686SBarry Smith   ierr = VecWAXPY(&h,a,U,w);CHKERRQ(ierr);
27385614651SBarry Smith 
27485614651SBarry Smith 
27585614651SBarry Smith   if (!ctx->func) {
27685614651SBarry Smith     if (snes->method_class == SNES_NONLINEAR_EQUATIONS) {
27785614651SBarry Smith       eval_fct = SNESComputeFunction;
27885614651SBarry Smith     } else if (snes->method_class == SNES_UNCONSTRAINED_MINIMIZATION) {
27985614651SBarry Smith       eval_fct = SNESComputeGradient;
28085614651SBarry Smith     } else SETERRQ(PETSC_ERR_ARG_OUTOFRANGE,0,"Invalid method class");
2811d1367b7SBarry Smith     F    = ctx->current_f;
2821d1367b7SBarry Smith     if (!F) SETERRQ(1,1,"You must call MatAssembly() even on matrix-free matrices");
283a4d4d686SBarry Smith     ierr = eval_fct(snes,w,y);CHKERRQ(ierr);
28485614651SBarry Smith   } else {
28585614651SBarry Smith     F = ctx->funcvec;
28685614651SBarry Smith     /* compute func(U) as base for differencing */
28785614651SBarry Smith     if (ctx->ncurrenth == 1) {
28885614651SBarry Smith       ierr = (*ctx->func)(snes,U,F,ctx->funcctx);CHKERRQ(ierr);
28985614651SBarry Smith     }
29085614651SBarry Smith     ierr = (*ctx->func)(snes,w,y,ctx->funcctx);CHKERRQ(ierr);
29185614651SBarry Smith   }
292a4d4d686SBarry Smith 
293a4d4d686SBarry Smith   ierr = VecAXPY(&mone,F,y);CHKERRQ(ierr);
294a4d4d686SBarry Smith   h    = 1.0/h;
295a4d4d686SBarry Smith   ierr = VecScale(&h,y);CHKERRQ(ierr);
29674637425SBarry Smith   if (ctx->sp) {ierr = MatNullSpaceRemove(ctx->sp,y,PETSC_NULL);CHKERRQ(ierr);}
297a4d4d686SBarry Smith 
298*81bfdfe8SSatish Balay   ierr = PLogEventEnd(MAT_MatrixFreeMult,a,y,0,0);CHKERRQ(ierr);
299a4d4d686SBarry Smith   PetscFunctionReturn(0);
300a4d4d686SBarry Smith }
301a4d4d686SBarry Smith 
302a4d4d686SBarry Smith #undef __FUNC__
303b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatCreateSNESMF"
304a4d4d686SBarry Smith /*@C
30565f2ba5bSLois Curfman McInnes    MatCreateSNESMF - Creates a matrix-free matrix context for use with
30665f2ba5bSLois Curfman McInnes    a SNES solver.  This matrix can be used as the Jacobian argument for
30765f2ba5bSLois Curfman McInnes    the routine SNESSetJacobian().
308a4d4d686SBarry Smith 
309a4d4d686SBarry Smith    Collective on SNES and Vec
310a4d4d686SBarry Smith 
311a4d4d686SBarry Smith    Input Parameters:
312a4d4d686SBarry Smith +  snes - the SNES context
313a4d4d686SBarry Smith -  x - vector where SNES solution is to be stored.
314a4d4d686SBarry Smith 
315a4d4d686SBarry Smith    Output Parameter:
316a4d4d686SBarry Smith .  J - the matrix-free matrix
317a4d4d686SBarry Smith 
31815091d37SBarry Smith    Level: advanced
31915091d37SBarry Smith 
320a4d4d686SBarry Smith    Notes:
321a4d4d686SBarry Smith    The matrix-free matrix context merely contains the function pointers
322a4d4d686SBarry Smith    and work space for performing finite difference approximations of
32365f2ba5bSLois Curfman McInnes    Jacobian-vector products, F'(u)*a,
3249a6cb015SBarry Smith 
3259a6cb015SBarry Smith    The default code uses the following approach to compute h
326a4d4d686SBarry Smith 
327a4d4d686SBarry Smith .vb
32865f2ba5bSLois Curfman McInnes      F'(u)*a = [F(u+h*a) - F(u)]/h where
329a4d4d686SBarry Smith      h = error_rel*u'a/||a||^2                        if  |u'a| > umin*||a||_{1}
330a4d4d686SBarry Smith        = error_rel*umin*sign(u'a)*||a||_{1}/||a||^2   otherwise
331a4d4d686SBarry Smith  where
332a4d4d686SBarry Smith      error_rel = square root of relative error in function evaluation
333a4d4d686SBarry Smith      umin = minimum iterate parameter
334a4d4d686SBarry Smith .ve
335a4d4d686SBarry Smith 
3365a655dc6SBarry Smith    The user can set the error_rel via MatSNESMFSetFunctionError() and
33765f2ba5bSLois Curfman McInnes    umin via MatSNESMFDefaultSetUmin(); see the nonlinear solvers chapter
33865f2ba5bSLois Curfman McInnes    of the users manual for details.
339a4d4d686SBarry Smith 
340a4d4d686SBarry Smith    The user should call MatDestroy() when finished with the matrix-free
341a4d4d686SBarry Smith    matrix context.
342a4d4d686SBarry Smith 
343a4d4d686SBarry Smith    Options Database Keys:
344a4d4d686SBarry Smith +  -snes_mf_err <error_rel> - Sets error_rel
3459a6cb015SBarry Smith .  -snes_mf_unim <umin> - Sets umin (for default PETSc routine that computes h only)
346a4d4d686SBarry Smith -  -snes_mf_ksp_monitor - KSP monitor routine that prints differencing h
347a4d4d686SBarry Smith 
348a4d4d686SBarry Smith .keywords: SNES, default, matrix-free, create, matrix
349a4d4d686SBarry Smith 
3505a655dc6SBarry Smith .seealso: MatDestroy(), MatSNESMFSetFunctionError(), MatSNESMFDefaultSetUmin()
3511d1367b7SBarry Smith           MatSNESMFSetHHistory(), MatSNESMFResetHHistory(), MatCreateMF(),
3521d1367b7SBarry Smith           MatSNESMFGetH(),MatSNESMFKSPMonitor(), MatSNESMFRegisterDynamic), MatSNESMFFormJacobian()
353a4d4d686SBarry Smith 
354a4d4d686SBarry Smith @*/
3555a655dc6SBarry Smith int MatCreateSNESMF(SNES snes,Vec x,Mat *J)
356a4d4d686SBarry Smith {
3571d1367b7SBarry Smith   MatSNESMFCtx mfctx;
3581d1367b7SBarry Smith   int          ierr;
3591d1367b7SBarry Smith 
3601d1367b7SBarry Smith   PetscFunctionBegin;
3611d1367b7SBarry Smith   ierr = MatCreateMF(x,J);CHKERRQ(ierr);
3621d1367b7SBarry Smith   ierr = MatShellGetContext(*J,(void **)&mfctx);CHKERRQ(ierr);
3631d1367b7SBarry Smith   mfctx->snes = snes;
3641d1367b7SBarry Smith   PLogObjectParent(snes,*J);
3651d1367b7SBarry Smith   PetscFunctionReturn(0);
3661d1367b7SBarry Smith }
3671d1367b7SBarry Smith 
3681d1367b7SBarry Smith #undef __FUNC__
3691d1367b7SBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatCreateMF"
3701d1367b7SBarry Smith /*@C
3711d1367b7SBarry Smith    MatCreateMF - Creates a matrix-free matrix. See also MatCreateSNESMF()
3721d1367b7SBarry Smith 
3731d1367b7SBarry Smith    Collective on Vec
3741d1367b7SBarry Smith 
3751d1367b7SBarry Smith    Input Parameters:
3761d1367b7SBarry Smith .  x - vector that defines layout of the vectors and matrices
3771d1367b7SBarry Smith 
3781d1367b7SBarry Smith    Output Parameter:
3791d1367b7SBarry Smith .  J - the matrix-free matrix
3801d1367b7SBarry Smith 
3811d1367b7SBarry Smith    Level: advanced
3821d1367b7SBarry Smith 
3831d1367b7SBarry Smith    Notes:
3841d1367b7SBarry Smith    The matrix-free matrix context merely contains the function pointers
3851d1367b7SBarry Smith    and work space for performing finite difference approximations of
3861d1367b7SBarry Smith    Jacobian-vector products, F'(u)*a,
3871d1367b7SBarry Smith 
3881d1367b7SBarry Smith    The default code uses the following approach to compute h
3891d1367b7SBarry Smith 
3901d1367b7SBarry Smith .vb
3911d1367b7SBarry Smith      F'(u)*a = [F(u+h*a) - F(u)]/h where
3921d1367b7SBarry Smith      h = error_rel*u'a/||a||^2                        if  |u'a| > umin*||a||_{1}
3931d1367b7SBarry Smith        = error_rel*umin*sign(u'a)*||a||_{1}/||a||^2   otherwise
3941d1367b7SBarry Smith  where
3951d1367b7SBarry Smith      error_rel = square root of relative error in function evaluation
3961d1367b7SBarry Smith      umin = minimum iterate parameter
3971d1367b7SBarry Smith .ve
3981d1367b7SBarry Smith 
3991d1367b7SBarry Smith    The user can set the error_rel via MatSNESMFSetFunctionError() and
4001d1367b7SBarry Smith    umin via MatSNESMFDefaultSetUmin(); see the nonlinear solvers chapter
4011d1367b7SBarry Smith    of the users manual for details.
4021d1367b7SBarry Smith 
4031d1367b7SBarry Smith    The user should call MatDestroy() when finished with the matrix-free
4041d1367b7SBarry Smith    matrix context.
4051d1367b7SBarry Smith 
4061d1367b7SBarry Smith    Options Database Keys:
4071d1367b7SBarry Smith +  -snes_mf_err <error_rel> - Sets error_rel
4081d1367b7SBarry Smith .  -snes_mf_unim <umin> - Sets umin (for default PETSc routine that computes h only)
4091d1367b7SBarry Smith -  -snes_mf_ksp_monitor - KSP monitor routine that prints differencing h
4101d1367b7SBarry Smith 
4111d1367b7SBarry Smith .keywords: default, matrix-free, create, matrix
4121d1367b7SBarry Smith 
4131d1367b7SBarry Smith .seealso: MatDestroy(), MatSNESMFSetFunctionError(), MatSNESMFDefaultSetUmin()
4141d1367b7SBarry Smith           MatSNESMFSetHHistory(), MatSNESMFResetHHistory(), MatCreateSNESMF(),
4151d1367b7SBarry Smith           MatSNESMFGetH(),MatSNESMFKSPMonitor(), MatSNESMFRegisterDynamic),, MatSNESMFFormJacobian()
4161d1367b7SBarry Smith 
4171d1367b7SBarry Smith @*/
4181d1367b7SBarry Smith int MatCreateMF(Vec x,Mat *J)
4191d1367b7SBarry Smith {
420a4d4d686SBarry Smith   MPI_Comm     comm;
4215a655dc6SBarry Smith   MatSNESMFCtx mfctx;
4229a6cb015SBarry Smith   int          n,nloc,ierr;
423a4d4d686SBarry Smith 
424a4d4d686SBarry Smith   PetscFunctionBegin;
4251d1367b7SBarry Smith   ierr = PetscObjectGetComm((PetscObject)x,&comm);CHKERRQ(ierr);
4261d1367b7SBarry Smith   PetscHeaderCreate(mfctx,_p_MatSNESMFCtx,struct _MFOps,MATSNESMFCTX_COOKIE,0,"SNESMF",comm,MatSNESMFDestroy_Private,MatSNESMFView_Private);
4276831982aSBarry Smith   PLogObjectCreate(mfctx);
428a4d4d686SBarry Smith   mfctx->sp              = 0;
4291d1367b7SBarry Smith   mfctx->snes            = 0;
430329f5518SBarry Smith   mfctx->error_rel       = 1.e-8; /* assumes PetscReal precision */
431329f5518SBarry Smith   mfctx->recomputeperiod = 1;
432329f5518SBarry Smith   mfctx->count           = 0;
433a4d4d686SBarry Smith   mfctx->currenth        = 0.0;
434a4d4d686SBarry Smith   mfctx->historyh        = PETSC_NULL;
435a4d4d686SBarry Smith   mfctx->ncurrenth       = 0;
436a4d4d686SBarry Smith   mfctx->maxcurrenth     = 0;
4376831982aSBarry Smith   mfctx->type_name       = 0;
438a4d4d686SBarry Smith 
4399a6cb015SBarry Smith   /*
4409a6cb015SBarry Smith      Create the empty data structure to contain compute-h routines.
4419a6cb015SBarry Smith      These will be filled in below from the command line options or
4425a655dc6SBarry Smith      a later call with MatSNESMFSetType() or if that is not called
4435a655dc6SBarry Smith      then it will default in the first use of MatSNESMFMult_private()
4449a6cb015SBarry Smith   */
4459a6cb015SBarry Smith   mfctx->ops->compute        = 0;
4469a6cb015SBarry Smith   mfctx->ops->destroy        = 0;
4479a6cb015SBarry Smith   mfctx->ops->view           = 0;
4489a6cb015SBarry Smith   mfctx->ops->setfromoptions = 0;
4499a6cb015SBarry Smith   mfctx->hctx                = 0;
4509a6cb015SBarry Smith 
45185614651SBarry Smith   mfctx->func                = 0;
45285614651SBarry Smith   mfctx->funcctx             = 0;
45385614651SBarry Smith   mfctx->funcvec             = 0;
45485614651SBarry Smith 
455a4d4d686SBarry Smith   ierr = VecDuplicate(x,&mfctx->w);CHKERRQ(ierr);
4561d1367b7SBarry Smith   ierr = VecGetSize(mfctx->w,&n);CHKERRQ(ierr);
4571d1367b7SBarry Smith   ierr = VecGetLocalSize(mfctx->w,&nloc);CHKERRQ(ierr);
458ffa0fd9eSBarry Smith   ierr = MatCreateShell(comm,nloc,nloc,n,n,mfctx,J);CHKERRQ(ierr);
4595a655dc6SBarry Smith   ierr = MatShellSetOperation(*J,MATOP_MULT,(void*)MatSNESMFMult_Private);CHKERRQ(ierr);
4605a655dc6SBarry Smith   ierr = MatShellSetOperation(*J,MATOP_DESTROY,(void *)MatSNESMFDestroy_Private);CHKERRQ(ierr);
4615a655dc6SBarry Smith   ierr = MatShellSetOperation(*J,MATOP_VIEW,(void *)MatSNESMFView_Private);CHKERRQ(ierr);
4625a655dc6SBarry Smith   ierr = MatShellSetOperation(*J,MATOP_ASSEMBLY_END,(void *)MatSNESMFAssemblyEnd_Private);CHKERRQ(ierr);
463a4d4d686SBarry Smith   PLogObjectParent(*J,mfctx->w);
4649a6cb015SBarry Smith 
4659a6cb015SBarry Smith   mfctx->mat = *J;
4669a6cb015SBarry Smith   PetscFunctionReturn(0);
4679a6cb015SBarry Smith }
4689a6cb015SBarry Smith 
4699a6cb015SBarry Smith #undef __FUNC__
470b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFSetFromOptions"
4719a6cb015SBarry Smith /*@
4725a655dc6SBarry Smith    MatSNESMFSetFromOptions - Sets the MatSNESMF options from the command line
4739a6cb015SBarry Smith    parameter.
4749a6cb015SBarry Smith 
4759a6cb015SBarry Smith    Collective on Mat
4769a6cb015SBarry Smith 
4779a6cb015SBarry Smith    Input Parameters:
4785a655dc6SBarry Smith .  mat - the matrix obtained with MatCreateSNESMF()
4795a655dc6SBarry Smith 
4805a655dc6SBarry Smith    Options Database Keys:
4815a655dc6SBarry Smith +  -snes_mf_type - <default,wp>
4825a655dc6SBarry Smith -  -snes_mf_err - square root of estimated relative error in function evaluation
483329f5518SBarry Smith -  -snes_mf_period - how often h is recomputed, defaults to 1, everytime
4849a6cb015SBarry Smith 
48515091d37SBarry Smith    Level: advanced
48615091d37SBarry Smith 
4879a6cb015SBarry Smith .keywords: SNES, matrix-free, parameters
4889a6cb015SBarry Smith 
4895a655dc6SBarry Smith .seealso: MatCreateSNESMF(),MatSNESMFSetHHistory(),
4905a655dc6SBarry Smith           MatSNESMFResetHHistory(), MatSNESMFKSPMonitor()
4919a6cb015SBarry Smith @*/
4925a655dc6SBarry Smith int MatSNESMFSetFromOptions(Mat mat)
4939a6cb015SBarry Smith {
4945a655dc6SBarry Smith   MatSNESMFCtx mfctx;
495f1af5d2fSBarry Smith   int          ierr;
496f1af5d2fSBarry Smith   PetscTruth   flg;
497186905e3SBarry Smith   char         ftype[256];
4989a6cb015SBarry Smith 
4999a6cb015SBarry Smith   PetscFunctionBegin;
5009a6cb015SBarry Smith   ierr = MatShellGetContext(mat,(void **)&mfctx);CHKERRQ(ierr);
5019a6cb015SBarry Smith   if (mfctx) {
502186905e3SBarry Smith     if (!MatSNESMFRegisterAllCalled) {ierr = MatSNESMFRegisterAll(PETSC_NULL);CHKERRQ(ierr);}
503186905e3SBarry Smith 
504186905e3SBarry Smith     ierr = OptionsBegin(mfctx->comm,mfctx->prefix,"Set matrix free computation parameters");CHKERRQ(ierr);
505186905e3SBarry Smith       ierr = OptionsList("-snes_mf_type","Matrix free type","MatSNESMFSetType",MatSNESMFList,mfctx->type_name,ftype,256,&flg);CHKERRQ(ierr);
5069a6cb015SBarry Smith       if (flg) {
5075a655dc6SBarry Smith         ierr = MatSNESMFSetType(mat,ftype);CHKERRQ(ierr);
5089a6cb015SBarry Smith       }
5099a6cb015SBarry Smith 
510186905e3SBarry Smith       ierr = OptionsDouble("-snes_mf_err","set sqrt relative error in function","MatSNESMFSetFunctionError",mfctx->error_rel,&mfctx->error_rel,0);CHKERRQ(ierr);
511186905e3SBarry Smith       ierr = OptionsInt("-snes_mf_period","how often h is recomputed","MatSNESMFSetPeriod",mfctx->recomputeperiod,&mfctx->recomputeperiod,0);CHKERRQ(ierr);
512186905e3SBarry Smith       if (mfctx->snes) {
513186905e3SBarry Smith         ierr = OptionsName("-snes_mf_ksp_monitor","Monitor matrix-free parameters","MatSNESMFKSPMonitor",&flg);CHKERRQ(ierr);
514186905e3SBarry Smith         if (flg) {
515186905e3SBarry Smith           SLES sles;
516186905e3SBarry Smith           KSP  ksp;
517186905e3SBarry Smith           ierr = SNESGetSLES(mfctx->snes,&sles);CHKERRQ(ierr);
518186905e3SBarry Smith           ierr = SLESGetKSP(sles,&ksp);CHKERRQ(ierr);
519186905e3SBarry Smith           ierr = KSPSetMonitor(ksp,MatSNESMFKSPMonitor,PETSC_NULL,0);CHKERRQ(ierr);
520186905e3SBarry Smith         }
521186905e3SBarry Smith       }
5229a6cb015SBarry Smith       if (mfctx->ops->setfromoptions) {
5239a6cb015SBarry Smith         ierr = (*mfctx->ops->setfromoptions)(mfctx);CHKERRQ(ierr);
5249a6cb015SBarry Smith       }
5254bbc92c1SBarry Smith     ierr = OptionsEnd();CHKERRQ(ierr);
5264bbc92c1SBarry Smith 
5279a6cb015SBarry Smith   }
528a4d4d686SBarry Smith   PetscFunctionReturn(0);
529a4d4d686SBarry Smith }
530a4d4d686SBarry Smith 
531a4d4d686SBarry Smith #undef __FUNC__
532b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFGetH"
533a4d4d686SBarry Smith /*@
53465f2ba5bSLois Curfman McInnes    MatSNESMFGetH - Gets the last value that was used as the differencing
535a4d4d686SBarry Smith    parameter.
536a4d4d686SBarry Smith 
537a4d4d686SBarry Smith    Not Collective
538a4d4d686SBarry Smith 
539a4d4d686SBarry Smith    Input Parameters:
5405a655dc6SBarry Smith .  mat - the matrix obtained with MatCreateSNESMF()
541a4d4d686SBarry Smith 
542a4d4d686SBarry Smith    Output Paramter:
543a4d4d686SBarry Smith .  h - the differencing step size
544a4d4d686SBarry Smith 
54515091d37SBarry Smith    Level: advanced
54615091d37SBarry Smith 
547a4d4d686SBarry Smith .keywords: SNES, matrix-free, parameters
548a4d4d686SBarry Smith 
5495a655dc6SBarry Smith .seealso: MatCreateSNESMF(),MatSNESMFSetHHistory(),
5505a655dc6SBarry Smith           MatSNESMFResetHHistory(),MatSNESMFKSPMonitor()
551a4d4d686SBarry Smith @*/
5525a655dc6SBarry Smith int MatSNESMFGetH(Mat mat,Scalar *h)
553a4d4d686SBarry Smith {
5545a655dc6SBarry Smith   MatSNESMFCtx ctx;
555a4d4d686SBarry Smith   int          ierr;
556a4d4d686SBarry Smith 
557a4d4d686SBarry Smith   PetscFunctionBegin;
558a4d4d686SBarry Smith   ierr = MatShellGetContext(mat,(void **)&ctx);CHKERRQ(ierr);
559a4d4d686SBarry Smith   if (ctx) {
560a4d4d686SBarry Smith     *h = ctx->currenth;
561a4d4d686SBarry Smith   }
562a4d4d686SBarry Smith   PetscFunctionReturn(0);
563a4d4d686SBarry Smith }
564a4d4d686SBarry Smith 
565a4d4d686SBarry Smith #undef __FUNC__
566b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFKSPMonitor"
567a4d4d686SBarry Smith /*
5685a655dc6SBarry Smith    MatSNESMFKSPMonitor - A KSP monitor for use with the default PETSc
56965f2ba5bSLois Curfman McInnes    SNES matrix free routines. Prints the differencing parameter used at
57065f2ba5bSLois Curfman McInnes    each step.
571a4d4d686SBarry Smith */
572329f5518SBarry Smith int MatSNESMFKSPMonitor(KSP ksp,int n,PetscReal rnorm,void *dummy)
573a4d4d686SBarry Smith {
574a4d4d686SBarry Smith   PC             pc;
5755a655dc6SBarry Smith   MatSNESMFCtx   ctx;
576a4d4d686SBarry Smith   int            ierr;
577a4d4d686SBarry Smith   Mat            mat;
578a4d4d686SBarry Smith   MPI_Comm       comm;
579a4d4d686SBarry Smith   PetscTruth     nonzeroinitialguess;
580a4d4d686SBarry Smith 
581a4d4d686SBarry Smith   PetscFunctionBegin;
582a4d4d686SBarry Smith   ierr = PetscObjectGetComm((PetscObject)ksp,&comm);CHKERRQ(ierr);
583a4d4d686SBarry Smith   ierr = KSPGetPC(ksp,&pc);CHKERRQ(ierr);
584a4d4d686SBarry Smith   ierr = KSPGetInitialGuessNonzero(ksp,&nonzeroinitialguess);CHKERRQ(ierr);
585a4d4d686SBarry Smith   ierr = PCGetOperators(pc,&mat,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
586a4d4d686SBarry Smith   ierr = MatShellGetContext(mat,(void **)&ctx);CHKERRQ(ierr);
5879a6cb015SBarry Smith   if (!ctx) {
5889a6cb015SBarry Smith     SETERRQ(1,1,"Matrix is not a matrix free shell matrix");
5899a6cb015SBarry Smith   }
590a4d4d686SBarry Smith   if (n > 0 || nonzeroinitialguess) {
591aa482453SBarry Smith #if defined(PETSC_USE_COMPLEX)
592d132466eSBarry Smith     ierr = PetscPrintf(comm,"%d KSP Residual norm %14.12e h %g + %g i\n",n,rnorm,
593329f5518SBarry Smith                 PetscRealPart(ctx->currenth),PetscImaginaryPart(ctx->currenth));CHKERRQ(ierr);
594a4d4d686SBarry Smith #else
595d132466eSBarry Smith     ierr = PetscPrintf(comm,"%d KSP Residual norm %14.12e h %g \n",n,rnorm,ctx->currenth);CHKERRQ(ierr);
596a4d4d686SBarry Smith #endif
597a4d4d686SBarry Smith   } else {
598d132466eSBarry Smith     ierr = PetscPrintf(comm,"%d KSP Residual norm %14.12e\n",n,rnorm);CHKERRQ(ierr);
599a4d4d686SBarry Smith   }
600a4d4d686SBarry Smith   PetscFunctionReturn(0);
601a4d4d686SBarry Smith }
602a4d4d686SBarry Smith 
603a4d4d686SBarry Smith #undef __FUNC__
604b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFSetFunction"
60585614651SBarry Smith /*@C
60685614651SBarry Smith    MatSNESMFSetFunction - Sets the function used in applying the matrix free.
60785614651SBarry Smith 
60885614651SBarry Smith    Collective on Mat
60985614651SBarry Smith 
61085614651SBarry Smith    Input Parameters:
61185614651SBarry Smith +  mat - the matrix free matrix created via MatCreateSNESMF()
61285614651SBarry Smith .  v   - workspace vector
61385614651SBarry Smith .  func - the function to use
61485614651SBarry Smith -  funcctx - optional function context passed to function
61585614651SBarry Smith 
61685614651SBarry Smith    Level: advanced
61785614651SBarry Smith 
61885614651SBarry Smith    Notes:
61985614651SBarry Smith     If you use this you MUST call MatAssemblyBegin()/MatAssemblyEnd() on the matrix free
62085614651SBarry Smith     matrix inside your compute Jacobian routine
62185614651SBarry Smith 
62285614651SBarry Smith     If this is not set then it will use the function set with SNESSetFunction()
62385614651SBarry Smith 
62485614651SBarry Smith .keywords: SNES, matrix-free, function
62585614651SBarry Smith 
62685614651SBarry Smith .seealso: MatCreateSNESMF(),MatSNESMFGetH(),
62785614651SBarry Smith           MatSNESMFSetHHistory(), MatSNESMFResetHHistory(),
62885614651SBarry Smith           MatSNESMFKSPMonitor(), SNESetFunction()
62985614651SBarry Smith @*/
63085614651SBarry Smith int MatSNESMFSetFunction(Mat mat,Vec v,int (*func)(SNES,Vec,Vec,void *),void *funcctx)
63185614651SBarry Smith {
63285614651SBarry Smith   MatSNESMFCtx ctx;
63385614651SBarry Smith   int          ierr;
63485614651SBarry Smith 
63585614651SBarry Smith   PetscFunctionBegin;
63685614651SBarry Smith   ierr = MatShellGetContext(mat,(void **)&ctx);CHKERRQ(ierr);
63785614651SBarry Smith   if (ctx) {
63885614651SBarry Smith     ctx->func    = func;
63985614651SBarry Smith     ctx->funcctx = funcctx;
64085614651SBarry Smith     ctx->funcvec = v;
64185614651SBarry Smith   }
64285614651SBarry Smith   PetscFunctionReturn(0);
64385614651SBarry Smith }
64485614651SBarry Smith 
64585614651SBarry Smith 
64685614651SBarry Smith #undef __FUNC__
647b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFSetPeriod"
648329f5518SBarry Smith /*@
649329f5518SBarry Smith    MatSNESMFSetPeriod - Sets how often h is recomputed, by default it is everytime
650329f5518SBarry Smith 
651329f5518SBarry Smith    Collective on Mat
652329f5518SBarry Smith 
653329f5518SBarry Smith    Input Parameters:
654329f5518SBarry Smith +  mat - the matrix free matrix created via MatCreateSNESMF()
655329f5518SBarry Smith -  period - 1 for everytime, 2 for every second etc
656329f5518SBarry Smith 
657329f5518SBarry Smith    Options Database Keys:
658329f5518SBarry Smith +  -snes_mf_period <period>
659329f5518SBarry Smith 
660329f5518SBarry Smith    Level: advanced
661329f5518SBarry Smith 
662329f5518SBarry Smith 
663329f5518SBarry Smith .keywords: SNES, matrix-free, parameters
664329f5518SBarry Smith 
665329f5518SBarry Smith .seealso: MatCreateSNESMF(),MatSNESMFGetH(),
666329f5518SBarry Smith           MatSNESMFSetHHistory(), MatSNESMFResetHHistory(),
667329f5518SBarry Smith           MatSNESMFKSPMonitor()
668329f5518SBarry Smith @*/
669329f5518SBarry Smith int MatSNESMFSetPeriod(Mat mat,int period)
670329f5518SBarry Smith {
671329f5518SBarry Smith   MatSNESMFCtx ctx;
672329f5518SBarry Smith   int          ierr;
673329f5518SBarry Smith 
674329f5518SBarry Smith   PetscFunctionBegin;
675329f5518SBarry Smith   ierr = MatShellGetContext(mat,(void **)&ctx);CHKERRQ(ierr);
676329f5518SBarry Smith   if (ctx) {
677329f5518SBarry Smith     ctx->recomputeperiod = period;
678329f5518SBarry Smith   }
679329f5518SBarry Smith   PetscFunctionReturn(0);
680329f5518SBarry Smith }
681329f5518SBarry Smith 
682329f5518SBarry Smith #undef __FUNC__
683b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFSetFunctionError"
684a4d4d686SBarry Smith /*@
6855a655dc6SBarry Smith    MatSNESMFSetFunctionError - Sets the error_rel for the approximation of
686a4d4d686SBarry Smith    matrix-vector products using finite differences.
687a4d4d686SBarry Smith 
688a4d4d686SBarry Smith    Collective on Mat
689a4d4d686SBarry Smith 
690a4d4d686SBarry Smith    Input Parameters:
6915a655dc6SBarry Smith +  mat - the matrix free matrix created via MatCreateSNESMF()
6929a6cb015SBarry Smith -  error_rel - relative error (should be set to the square root of
693a4d4d686SBarry Smith                the relative error in the function evaluations)
694a4d4d686SBarry Smith 
69515091d37SBarry Smith    Options Database Keys:
69615091d37SBarry Smith +  -snes_mf_err <error_rel> - Sets error_rel
69715091d37SBarry Smith 
69815091d37SBarry Smith    Level: advanced
69915091d37SBarry Smith 
700a4d4d686SBarry Smith    Notes:
701a4d4d686SBarry Smith    The default matrix-free matrix-vector product routine computes
702a4d4d686SBarry Smith .vb
70365f2ba5bSLois Curfman McInnes      F'(u)*a = [F(u+h*a) - F(u)]/h where
704a4d4d686SBarry Smith      h = error_rel*u'a/||a||^2                        if  |u'a| > umin*||a||_{1}
705a4d4d686SBarry Smith        = error_rel*umin*sign(u'a)*||a||_{1}/||a||^2   else
706a4d4d686SBarry Smith .ve
707a4d4d686SBarry Smith 
708a4d4d686SBarry Smith .keywords: SNES, matrix-free, parameters
709a4d4d686SBarry Smith 
7105a655dc6SBarry Smith .seealso: MatCreateSNESMF(),MatSNESMFGetH(),
7115a655dc6SBarry Smith           MatSNESMFSetHHistory(), MatSNESMFResetHHistory(),
7125a655dc6SBarry Smith           MatSNESMFKSPMonitor()
713a4d4d686SBarry Smith @*/
714329f5518SBarry Smith int MatSNESMFSetFunctionError(Mat mat,PetscReal error)
715a4d4d686SBarry Smith {
7165a655dc6SBarry Smith   MatSNESMFCtx ctx;
717a4d4d686SBarry Smith   int          ierr;
718a4d4d686SBarry Smith 
719a4d4d686SBarry Smith   PetscFunctionBegin;
720a4d4d686SBarry Smith   ierr = MatShellGetContext(mat,(void **)&ctx);CHKERRQ(ierr);
721a4d4d686SBarry Smith   if (ctx) {
722a4d4d686SBarry Smith     if (error != PETSC_DEFAULT) ctx->error_rel = error;
723a4d4d686SBarry Smith   }
724a4d4d686SBarry Smith   PetscFunctionReturn(0);
725a4d4d686SBarry Smith }
726a4d4d686SBarry Smith 
727a4d4d686SBarry Smith #undef __FUNC__
728b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFAddNullSpace"
729a4d4d686SBarry Smith /*@
73065f2ba5bSLois Curfman McInnes    MatSNESMFAddNullSpace - Provides a null space that an operator is
73165f2ba5bSLois Curfman McInnes    supposed to have.  Since roundoff will create a small component in
73265f2ba5bSLois Curfman McInnes    the null space, if you know the null space you may have it
73365f2ba5bSLois Curfman McInnes    automatically removed.
734a4d4d686SBarry Smith 
735a4d4d686SBarry Smith    Collective on Mat
736a4d4d686SBarry Smith 
737a4d4d686SBarry Smith    Input Parameters:
738a4d4d686SBarry Smith +  J - the matrix-free matrix context
73974637425SBarry Smith -  nullsp - object created with MatNullSpaceCreate()
740a4d4d686SBarry Smith 
74115091d37SBarry Smith    Level: advanced
74215091d37SBarry Smith 
743a4d4d686SBarry Smith .keywords: SNES, matrix-free, null space
744a4d4d686SBarry Smith 
74574637425SBarry Smith .seealso: MatNullSpaceCreate(), MatSNESMFGetH(), MatCreateSNESMF(),
7465a655dc6SBarry Smith           MatSNESMFSetHHistory(), MatSNESMFResetHHistory(),
7475a655dc6SBarry Smith           MatSNESMFKSPMonitor(), MatSNESMFErrorRel()
748a4d4d686SBarry Smith @*/
74974637425SBarry Smith int MatSNESMFAddNullSpace(Mat J,MatNullSpace nullsp)
750a4d4d686SBarry Smith {
751a4d4d686SBarry Smith   int          ierr;
7525a655dc6SBarry Smith   MatSNESMFCtx ctx;
753a4d4d686SBarry Smith   MPI_Comm     comm;
754a4d4d686SBarry Smith 
755a4d4d686SBarry Smith   PetscFunctionBegin;
7562d0c0e3bSBarry Smith   ierr = PetscObjectGetComm((PetscObject)J,&comm);CHKERRQ(ierr);
757a4d4d686SBarry Smith 
758a4d4d686SBarry Smith   ierr = MatShellGetContext(J,(void **)&ctx);CHKERRQ(ierr);
759a4d4d686SBarry Smith   /* no context indicates that it is not the "matrix free" matrix type */
760a4d4d686SBarry Smith   if (!ctx) PetscFunctionReturn(0);
76185614651SBarry Smith   ctx->sp = nullsp;
76285614651SBarry Smith   ierr = PetscObjectReference((PetscObject)nullsp);CHKERRQ(ierr);
763a4d4d686SBarry Smith   PetscFunctionReturn(0);
764a4d4d686SBarry Smith }
765a4d4d686SBarry Smith 
766a4d4d686SBarry Smith #undef __FUNC__
767b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFSetHHistory"
768a4d4d686SBarry Smith /*@
76965f2ba5bSLois Curfman McInnes    MatSNESMFSetHHistory - Sets an array to collect a history of the
77065f2ba5bSLois Curfman McInnes    differencing values (h) computed for the matrix-free product.
771a4d4d686SBarry Smith 
772a4d4d686SBarry Smith    Collective on Mat
773a4d4d686SBarry Smith 
774a4d4d686SBarry Smith    Input Parameters:
775a4d4d686SBarry Smith +  J - the matrix-free matrix context
77665f2ba5bSLois Curfman McInnes .  histroy - space to hold the history
77765f2ba5bSLois Curfman McInnes -  nhistory - number of entries in history, if more entries are generated than
77865f2ba5bSLois Curfman McInnes               nhistory, then the later ones are discarded
779a4d4d686SBarry Smith 
78015091d37SBarry Smith    Level: advanced
78115091d37SBarry Smith 
782a4d4d686SBarry Smith    Notes:
78365f2ba5bSLois Curfman McInnes    Use MatSNESMFResetHHistory() to reset the history counter and collect
78465f2ba5bSLois Curfman McInnes    a new batch of differencing parameters, h.
785a4d4d686SBarry Smith 
786a4d4d686SBarry Smith .keywords: SNES, matrix-free, h history, differencing history
787a4d4d686SBarry Smith 
7885a655dc6SBarry Smith .seealso: MatSNESMFGetH(), MatCreateSNESMF(),
7895a655dc6SBarry Smith           MatSNESMFResetHHistory(),
7905a655dc6SBarry Smith           MatSNESMFKSPMonitor(), MatSNESMFSetFunctionError()
791a4d4d686SBarry Smith 
792a4d4d686SBarry Smith @*/
7935a655dc6SBarry Smith int MatSNESMFSetHHistory(Mat J,Scalar *history,int nhistory)
794a4d4d686SBarry Smith {
795a4d4d686SBarry Smith   int          ierr;
7965a655dc6SBarry Smith   MatSNESMFCtx ctx;
797a4d4d686SBarry Smith 
798a4d4d686SBarry Smith   PetscFunctionBegin;
799a4d4d686SBarry Smith 
800a4d4d686SBarry Smith   ierr = MatShellGetContext(J,(void **)&ctx);CHKERRQ(ierr);
801a4d4d686SBarry Smith   /* no context indicates that it is not the "matrix free" matrix type */
802a4d4d686SBarry Smith   if (!ctx) PetscFunctionReturn(0);
803a4d4d686SBarry Smith   ctx->historyh    = history;
804a4d4d686SBarry Smith   ctx->maxcurrenth = nhistory;
805a4d4d686SBarry Smith   ctx->currenth    = 0;
806a4d4d686SBarry Smith 
807a4d4d686SBarry Smith   PetscFunctionReturn(0);
808a4d4d686SBarry Smith }
809a4d4d686SBarry Smith 
810a4d4d686SBarry Smith #undef __FUNC__
811b2863d3aSBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFResetHHistory"
812a4d4d686SBarry Smith /*@
8135a655dc6SBarry Smith    MatSNESMFResetHHistory - Resets the counter to zero to begin
814a4d4d686SBarry Smith    collecting a new set of differencing histories.
815a4d4d686SBarry Smith 
816a4d4d686SBarry Smith    Collective on Mat
817a4d4d686SBarry Smith 
818a4d4d686SBarry Smith    Input Parameters:
819a4d4d686SBarry Smith .  J - the matrix-free matrix context
820a4d4d686SBarry Smith 
82115091d37SBarry Smith    Level: advanced
82215091d37SBarry Smith 
823a4d4d686SBarry Smith    Notes:
82465f2ba5bSLois Curfman McInnes    Use MatSNESMFSetHHistory() to create the original history counter.
825a4d4d686SBarry Smith 
826a4d4d686SBarry Smith .keywords: SNES, matrix-free, h history, differencing history
827a4d4d686SBarry Smith 
8285a655dc6SBarry Smith .seealso: MatSNESMFGetH(), MatCreateSNESMF(),
8295a655dc6SBarry Smith           MatSNESMFSetHHistory(),
8305a655dc6SBarry Smith           MatSNESMFKSPMonitor(), MatSNESMFSetFunctionError()
831a4d4d686SBarry Smith 
832a4d4d686SBarry Smith @*/
8335a655dc6SBarry Smith int MatSNESMFResetHHistory(Mat J)
834a4d4d686SBarry Smith {
835a4d4d686SBarry Smith   int          ierr;
8365a655dc6SBarry Smith   MatSNESMFCtx ctx;
837a4d4d686SBarry Smith 
838a4d4d686SBarry Smith   PetscFunctionBegin;
839a4d4d686SBarry Smith 
840a4d4d686SBarry Smith   ierr = MatShellGetContext(J,(void **)&ctx);CHKERRQ(ierr);
841a4d4d686SBarry Smith   /* no context indicates that it is not the "matrix free" matrix type */
842a4d4d686SBarry Smith   if (!ctx) PetscFunctionReturn(0);
843be726c96SBarry Smith   ctx->ncurrenth    = 0;
844a4d4d686SBarry Smith 
845a4d4d686SBarry Smith   PetscFunctionReturn(0);
846a4d4d686SBarry Smith }
847a4d4d686SBarry Smith 
8481d1367b7SBarry Smith #undef __FUNC__
8491d1367b7SBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFFormJacobian"
8501d1367b7SBarry Smith int MatSNESMFFormJacobian(SNES snes,Vec x,Mat *jac,Mat *B,MatStructure *flag,void *dummy)
8511d1367b7SBarry Smith {
8521d1367b7SBarry Smith   int ierr;
8531d1367b7SBarry Smith   PetscFunctionBegin;
8541d1367b7SBarry Smith   ierr = MatAssemblyBegin(*jac,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
8551d1367b7SBarry Smith   ierr = MatAssemblyEnd(*jac,MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
8561d1367b7SBarry Smith   PetscFunctionReturn(0);
8571d1367b7SBarry Smith }
8581d1367b7SBarry Smith 
8591d1367b7SBarry Smith #undef __FUNC__
8601d1367b7SBarry Smith #define __FUNC__ /*<a name=""></a>*/"MatSNESMFSetBase"
8611d1367b7SBarry Smith int MatSNESMFSetBase(Mat J,Vec U)
8621d1367b7SBarry Smith {
8631d1367b7SBarry Smith   int          ierr;
8641d1367b7SBarry Smith   MatSNESMFCtx ctx;
8651d1367b7SBarry Smith 
8661d1367b7SBarry Smith   PetscFunctionBegin;
8671d1367b7SBarry Smith   PetscValidHeaderSpecific(J,MAT_COOKIE);
8681d1367b7SBarry Smith   PetscValidHeaderSpecific(U,VEC_COOKIE);
8691d1367b7SBarry Smith 
8701d1367b7SBarry Smith   ierr = MatShellGetContext(J,(void **)&ctx);CHKERRQ(ierr);
8711d1367b7SBarry Smith   ctx->current_u = U;
8721d1367b7SBarry Smith   PetscFunctionReturn(0);
8731d1367b7SBarry Smith }
874