xref: /petsc/src/mat/impls/mffd/mffd.c (revision 755b7f6491dbeef6be5f0abe11e05e5d6763df9e)
1e884886fSBarry Smith 
2af0996ceSBarry Smith #include <petsc/private/matimpl.h>
3c6db04a5SJed Brown #include <../src/mat/impls/mffd/mffdimpl.h>   /*I  "petscmat.h"   I*/
4e884886fSBarry Smith 
5140e18c1SBarry Smith PetscFunctionList MatMFFDList              = 0;
6ace3abfcSBarry Smith PetscBool         MatMFFDRegisterAllCalled = PETSC_FALSE;
7e884886fSBarry Smith 
87087cfbeSBarry Smith PetscClassId  MATMFFD_CLASSID;
9166c7f25SBarry Smith PetscLogEvent MATMFFD_Mult;
10e884886fSBarry Smith 
11ace3abfcSBarry Smith static PetscBool MatMFFDPackageInitialized = PETSC_FALSE;
12b022a5c1SBarry Smith #undef __FUNCT__
13b022a5c1SBarry Smith #define __FUNCT__ "MatMFFDFinalizePackage"
14b022a5c1SBarry Smith /*@C
152390153bSJed Brown   MatMFFDFinalizePackage - This function destroys everything in the MatMFFD package. It is
16b022a5c1SBarry Smith   called from PetscFinalize().
17b022a5c1SBarry Smith 
18b022a5c1SBarry Smith   Level: developer
19b022a5c1SBarry Smith 
202390153bSJed Brown .keywords: Petsc, destroy, package
21*755b7f64SBarry Smith .seealso: PetscFinalize(), MatCreateMFFD(), MatCreateSNESMF()
22b022a5c1SBarry Smith @*/
237087cfbeSBarry Smith PetscErrorCode  MatMFFDFinalizePackage(void)
24b022a5c1SBarry Smith {
25a703d84cSPatrick Lacasse   PetscErrorCode ierr;
26a703d84cSPatrick Lacasse 
27b022a5c1SBarry Smith   PetscFunctionBegin;
2837e93019SBarry Smith   ierr = PetscFunctionListDestroy(&MatMFFDList);CHKERRQ(ierr);
29b022a5c1SBarry Smith   MatMFFDPackageInitialized = PETSC_FALSE;
30b022a5c1SBarry Smith   MatMFFDRegisterAllCalled  = PETSC_FALSE;
31b022a5c1SBarry Smith   PetscFunctionReturn(0);
32b022a5c1SBarry Smith }
33b022a5c1SBarry Smith 
34e884886fSBarry Smith #undef __FUNCT__
353ec795f1SBarry Smith #define __FUNCT__ "MatMFFDInitializePackage"
363ec795f1SBarry Smith /*@C
373ec795f1SBarry Smith   MatMFFDInitializePackage - This function initializes everything in the MatMFFD package. It is called
383ec795f1SBarry Smith   from PetscDLLibraryRegister() when using dynamic libraries, and on the first call to MatCreate_MFFD()
393ec795f1SBarry Smith   when using static libraries.
403ec795f1SBarry Smith 
413ec795f1SBarry Smith   Level: developer
423ec795f1SBarry Smith 
433ec795f1SBarry Smith .keywords: Vec, initialize, package
443ec795f1SBarry Smith .seealso: PetscInitialize()
453ec795f1SBarry Smith @*/
46607a6623SBarry Smith PetscErrorCode  MatMFFDInitializePackage(void)
473ec795f1SBarry Smith {
483ec795f1SBarry Smith   char           logList[256];
493ec795f1SBarry Smith   char           *className;
50ace3abfcSBarry Smith   PetscBool      opt;
513ec795f1SBarry Smith   PetscErrorCode ierr;
523ec795f1SBarry Smith 
533ec795f1SBarry Smith   PetscFunctionBegin;
54b022a5c1SBarry Smith   if (MatMFFDPackageInitialized) PetscFunctionReturn(0);
55b022a5c1SBarry Smith   MatMFFDPackageInitialized = PETSC_TRUE;
563ec795f1SBarry Smith   /* Register Classes */
570700a824SBarry Smith   ierr = PetscClassIdRegister("MatMFFD",&MATMFFD_CLASSID);CHKERRQ(ierr);
583ec795f1SBarry Smith   /* Register Constructors */
59607a6623SBarry Smith   ierr = MatMFFDRegisterAll();CHKERRQ(ierr);
603ec795f1SBarry Smith   /* Register Events */
610700a824SBarry Smith   ierr = PetscLogEventRegister("MatMult MF",          MATMFFD_CLASSID,&MATMFFD_Mult);CHKERRQ(ierr);
623ec795f1SBarry Smith 
633ec795f1SBarry Smith   /* Process info exclusions */
64c5929fdfSBarry Smith   ierr = PetscOptionsGetString(NULL,NULL, "-info_exclude", logList, 256, &opt);CHKERRQ(ierr);
653ec795f1SBarry Smith   if (opt) {
663ec795f1SBarry Smith     ierr = PetscStrstr(logList, "matmffd", &className);CHKERRQ(ierr);
673ec795f1SBarry Smith     if (className) {
680700a824SBarry Smith       ierr = PetscInfoDeactivateClass(MATMFFD_CLASSID);CHKERRQ(ierr);
693ec795f1SBarry Smith     }
703ec795f1SBarry Smith   }
713ec795f1SBarry Smith   /* Process summary exclusions */
727bf5a629SBarry Smith   ierr = PetscOptionsGetString(NULL,NULL, "-log_exclude", logList, 256, &opt);CHKERRQ(ierr);
733ec795f1SBarry Smith   if (opt) {
743ec795f1SBarry Smith     ierr = PetscStrstr(logList, "matmffd", &className);CHKERRQ(ierr);
753ec795f1SBarry Smith     if (className) {
760700a824SBarry Smith       ierr = PetscLogEventDeactivateClass(MATMFFD_CLASSID);CHKERRQ(ierr);
773ec795f1SBarry Smith     }
783ec795f1SBarry Smith   }
79b022a5c1SBarry Smith   ierr = PetscRegisterFinalize(MatMFFDFinalizePackage);CHKERRQ(ierr);
803ec795f1SBarry Smith   PetscFunctionReturn(0);
813ec795f1SBarry Smith }
823ec795f1SBarry Smith 
833ec795f1SBarry Smith #undef __FUNCT__
84e884886fSBarry Smith #define __FUNCT__ "MatMFFDSetType"
85e884886fSBarry Smith /*@C
86e884886fSBarry Smith     MatMFFDSetType - Sets the method that is used to compute the
87e884886fSBarry Smith     differencing parameter for finite differene matrix-free formulations.
88e884886fSBarry Smith 
89e884886fSBarry Smith     Input Parameters:
90e884886fSBarry Smith +   mat - the "matrix-free" matrix created via MatCreateSNESMF(), or MatCreateMFFD()
91e884886fSBarry Smith           or MatSetType(mat,MATMFFD);
92e884886fSBarry Smith -   ftype - the type requested, either MATMFFD_WP or MATMFFD_DS
93e884886fSBarry Smith 
94e884886fSBarry Smith     Level: advanced
95e884886fSBarry Smith 
96e884886fSBarry Smith     Notes:
97e884886fSBarry Smith     For example, such routines can compute h for use in
98e884886fSBarry Smith     Jacobian-vector products of the form
99e884886fSBarry Smith 
100e884886fSBarry Smith                         F(x+ha) - F(x)
101e884886fSBarry Smith           F'(u)a  ~=  ----------------
102e884886fSBarry Smith                               h
103e884886fSBarry Smith 
104*755b7f64SBarry Smith .seealso: MatCreateSNESMF(), MatMFFDRegister(), MatMFFDSetFunction(), MatCreateMFFD()
105e884886fSBarry Smith @*/
10619fd82e9SBarry Smith PetscErrorCode  MatMFFDSetType(Mat mat,MatMFFDType ftype)
107e884886fSBarry Smith {
108e884886fSBarry Smith   PetscErrorCode ierr,(*r)(MatMFFD);
109e884886fSBarry Smith   MatMFFD        ctx = (MatMFFD)mat->data;
110ace3abfcSBarry Smith   PetscBool      match;
111e884886fSBarry Smith 
112e884886fSBarry Smith   PetscFunctionBegin;
1130700a824SBarry Smith   PetscValidHeaderSpecific(mat,MAT_CLASSID,1);
114e884886fSBarry Smith   PetscValidCharPointer(ftype,2);
115e884886fSBarry Smith 
116251f4c67SDmitry Karpeev   ierr = PetscObjectTypeCompare((PetscObject)mat,MATMFFD,&match);CHKERRQ(ierr);
1179a13eae7SJed Brown   if (!match) PetscFunctionReturn(0);
1189a13eae7SJed Brown 
119e884886fSBarry Smith   /* already set, so just return */
120251f4c67SDmitry Karpeev   ierr = PetscObjectTypeCompare((PetscObject)ctx,ftype,&match);CHKERRQ(ierr);
121e884886fSBarry Smith   if (match) PetscFunctionReturn(0);
122e884886fSBarry Smith 
123e884886fSBarry Smith   /* destroy the old one if it exists */
124e884886fSBarry Smith   if (ctx->ops->destroy) {
125e884886fSBarry Smith     ierr = (*ctx->ops->destroy)(ctx);CHKERRQ(ierr);
126e884886fSBarry Smith   }
127e884886fSBarry Smith 
1281c9cd337SJed Brown   ierr =  PetscFunctionListFind(MatMFFDList,ftype,&r);CHKERRQ(ierr);
129e32f2f54SBarry Smith   if (!r) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_UNKNOWN_TYPE,"Unknown MatMFFD type %s given",ftype);
130e884886fSBarry Smith   ierr = (*r)(ctx);CHKERRQ(ierr);
131e884886fSBarry Smith   ierr = PetscObjectChangeTypeName((PetscObject)ctx,ftype);CHKERRQ(ierr);
132e884886fSBarry Smith   PetscFunctionReturn(0);
133e884886fSBarry Smith }
134e884886fSBarry Smith 
135e884886fSBarry Smith typedef PetscErrorCode (*FCN1)(void*,Vec); /* force argument to next function to not be extern C*/
136e884886fSBarry Smith #undef __FUNCT__
137c879e56bSBarry Smith #define __FUNCT__ "MatMFFDSetFunctioniBase_MFFD"
1387087cfbeSBarry Smith PetscErrorCode  MatMFFDSetFunctioniBase_MFFD(Mat mat,FCN1 func)
139e884886fSBarry Smith {
140e884886fSBarry Smith   MatMFFD ctx = (MatMFFD)mat->data;
141e884886fSBarry Smith 
142e884886fSBarry Smith   PetscFunctionBegin;
143e884886fSBarry Smith   ctx->funcisetbase = func;
144e884886fSBarry Smith   PetscFunctionReturn(0);
145e884886fSBarry Smith }
146e884886fSBarry Smith 
147e884886fSBarry Smith typedef PetscErrorCode (*FCN2)(void*,PetscInt,Vec,PetscScalar*); /* force argument to next function to not be extern C*/
148e884886fSBarry Smith #undef __FUNCT__
149c879e56bSBarry Smith #define __FUNCT__ "MatMFFDSetFunctioni_MFFD"
1507087cfbeSBarry Smith PetscErrorCode  MatMFFDSetFunctioni_MFFD(Mat mat,FCN2 funci)
151e884886fSBarry Smith {
152e884886fSBarry Smith   MatMFFD ctx = (MatMFFD)mat->data;
153e884886fSBarry Smith 
154e884886fSBarry Smith   PetscFunctionBegin;
155e884886fSBarry Smith   ctx->funci = funci;
156e884886fSBarry Smith   PetscFunctionReturn(0);
157e884886fSBarry Smith }
158e884886fSBarry Smith 
159bc0f08ceSBarry Smith #undef __FUNCT__
160bc0f08ceSBarry Smith #define __FUNCT__ "MatMFFDResetHHistory_MFFD"
161bc0f08ceSBarry Smith PetscErrorCode  MatMFFDResetHHistory_MFFD(Mat J)
162bc0f08ceSBarry Smith {
163bc0f08ceSBarry Smith   MatMFFD ctx = (MatMFFD)J->data;
164bc0f08ceSBarry Smith 
165bc0f08ceSBarry Smith   PetscFunctionBegin;
166bc0f08ceSBarry Smith   ctx->ncurrenth = 0;
167bc0f08ceSBarry Smith   PetscFunctionReturn(0);
168bc0f08ceSBarry Smith }
169e884886fSBarry Smith 
170e884886fSBarry Smith #undef __FUNCT__
171e884886fSBarry Smith #define __FUNCT__ "MatMFFDRegister"
1721c84c290SBarry Smith /*@C
1731c84c290SBarry Smith    MatMFFDRegister - Adds a method to the MatMFFD registry.
1741c84c290SBarry Smith 
1751c84c290SBarry Smith    Not Collective
1761c84c290SBarry Smith 
1771c84c290SBarry Smith    Input Parameters:
1781c84c290SBarry Smith +  name_solver - name of a new user-defined compute-h module
1791c84c290SBarry Smith -  routine_create - routine to create method context
1801c84c290SBarry Smith 
1811c84c290SBarry Smith    Level: developer
1821c84c290SBarry Smith 
1831c84c290SBarry Smith    Notes:
1841c84c290SBarry Smith    MatMFFDRegister() may be called multiple times to add several user-defined solvers.
1851c84c290SBarry Smith 
1861c84c290SBarry Smith    Sample usage:
1871c84c290SBarry Smith .vb
188bdf89e91SBarry Smith    MatMFFDRegister("my_h",MyHCreate);
1891c84c290SBarry Smith .ve
1901c84c290SBarry Smith 
1911c84c290SBarry Smith    Then, your solver can be chosen with the procedural interface via
1921c84c290SBarry Smith $     MatMFFDSetType(mfctx,"my_h")
1931c84c290SBarry Smith    or at runtime via the option
194be7a6d03SBarry Smith $     -mat_mffd_type my_h
1951c84c290SBarry Smith 
1961c84c290SBarry Smith .keywords: MatMFFD, register
1971c84c290SBarry Smith 
1981c84c290SBarry Smith .seealso: MatMFFDRegisterAll(), MatMFFDRegisterDestroy()
1991c84c290SBarry Smith  @*/
200bdf89e91SBarry Smith PetscErrorCode  MatMFFDRegister(const char sname[],PetscErrorCode (*function)(MatMFFD))
201e884886fSBarry Smith {
202e884886fSBarry Smith   PetscErrorCode ierr;
203e884886fSBarry Smith 
204e884886fSBarry Smith   PetscFunctionBegin;
205a240a19fSJed Brown   ierr = PetscFunctionListAdd(&MatMFFDList,sname,function);CHKERRQ(ierr);
206e884886fSBarry Smith   PetscFunctionReturn(0);
207e884886fSBarry Smith }
208e884886fSBarry Smith 
209e884886fSBarry Smith /* ----------------------------------------------------------------------------------------*/
210e884886fSBarry Smith #undef __FUNCT__
211e884886fSBarry Smith #define __FUNCT__ "MatDestroy_MFFD"
212e884886fSBarry Smith PetscErrorCode MatDestroy_MFFD(Mat mat)
213e884886fSBarry Smith {
214e884886fSBarry Smith   PetscErrorCode ierr;
215e884886fSBarry Smith   MatMFFD        ctx = (MatMFFD)mat->data;
216e884886fSBarry Smith 
217e884886fSBarry Smith   PetscFunctionBegin;
2186bf464f9SBarry Smith   ierr = VecDestroy(&ctx->w);CHKERRQ(ierr);
2196bf464f9SBarry Smith   ierr = VecDestroy(&ctx->drscale);CHKERRQ(ierr);
2206bf464f9SBarry Smith   ierr = VecDestroy(&ctx->dlscale);CHKERRQ(ierr);
2216bf464f9SBarry Smith   ierr = VecDestroy(&ctx->dshift);CHKERRQ(ierr);
222cfe22f5eSBarry Smith   if (ctx->current_f_allocated) {
2236bf464f9SBarry Smith     ierr = VecDestroy(&ctx->current_f);CHKERRQ(ierr);
224cfe22f5eSBarry Smith   }
225e884886fSBarry Smith   if (ctx->ops->destroy) {ierr = (*ctx->ops->destroy)(ctx);CHKERRQ(ierr);}
2266bf464f9SBarry Smith   ierr      = PetscHeaderDestroy(&ctx);CHKERRQ(ierr);
227bf0cc555SLisandro Dalcin   mat->data = 0;
228e884886fSBarry Smith 
229bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)mat,"MatMFFDSetBase_C",NULL);CHKERRQ(ierr);
230bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)mat,"MatMFFDSetFunctioniBase_C",NULL);CHKERRQ(ierr);
231bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)mat,"MatMFFDSetFunctioni_C",NULL);CHKERRQ(ierr);
232bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)mat,"MatMFFDSetFunction_C",NULL);CHKERRQ(ierr);
233bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)mat,"MatMFFDSetFunctionError_C",NULL);CHKERRQ(ierr);
234bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)mat,"MatMFFDSetCheckh_C",NULL);CHKERRQ(ierr);
235bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)mat,"MatMFFDSetPeriod_C",NULL);CHKERRQ(ierr);
236bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)mat,"MatMFFDResetHHistory_C",NULL);CHKERRQ(ierr);
237e884886fSBarry Smith   PetscFunctionReturn(0);
238e884886fSBarry Smith }
239e884886fSBarry Smith 
240e884886fSBarry Smith #undef __FUNCT__
241e884886fSBarry Smith #define __FUNCT__ "MatView_MFFD"
242e884886fSBarry Smith /*
243e884886fSBarry Smith    MatMFFDView_MFFD - Views matrix-free parameters.
244e884886fSBarry Smith 
245e884886fSBarry Smith */
246e884886fSBarry Smith PetscErrorCode MatView_MFFD(Mat J,PetscViewer viewer)
247e884886fSBarry Smith {
248e884886fSBarry Smith   PetscErrorCode ierr;
249e884886fSBarry Smith   MatMFFD        ctx = (MatMFFD)J->data;
250a283635eSDmitry Karpeev   PetscBool      iascii, viewbase, viewfunction;
251a283635eSDmitry Karpeev   const char     *prefix;
252e884886fSBarry Smith 
253e884886fSBarry Smith   PetscFunctionBegin;
254251f4c67SDmitry Karpeev   ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr);
255e884886fSBarry Smith   if (iascii) {
256a283635eSDmitry Karpeev     ierr = PetscViewerASCIIPrintf(viewer,"Matrix-free approximation:\n");CHKERRQ(ierr);
257a283635eSDmitry Karpeev     ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
25857622a8eSBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"err=%g (relative error in function evaluation)\n",(double)ctx->error_rel);CHKERRQ(ierr);
2597adad957SLisandro Dalcin     if (!((PetscObject)ctx)->type_name) {
260e884886fSBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"The compute h routine has not yet been set\n");CHKERRQ(ierr);
261e884886fSBarry Smith     } else {
2627adad957SLisandro Dalcin       ierr = PetscViewerASCIIPrintf(viewer,"Using %s compute h routine\n",((PetscObject)ctx)->type_name);CHKERRQ(ierr);
263e884886fSBarry Smith     }
264e884886fSBarry Smith     if (ctx->ops->view) {
265e884886fSBarry Smith       ierr = (*ctx->ops->view)(ctx,viewer);CHKERRQ(ierr);
266e884886fSBarry Smith     }
267a283635eSDmitry Karpeev     ierr = PetscObjectGetOptionsPrefix((PetscObject)J, &prefix);CHKERRQ(ierr);
268a283635eSDmitry Karpeev 
269c5929fdfSBarry Smith     ierr = PetscOptionsHasName(((PetscObject)J)->options,prefix, "-mat_mffd_view_base", &viewbase);CHKERRQ(ierr);
270a283635eSDmitry Karpeev     if (viewbase) {
271a283635eSDmitry Karpeev       ierr = PetscViewerASCIIPrintf(viewer, "Base:\n");CHKERRQ(ierr);
272a283635eSDmitry Karpeev       ierr = VecView(ctx->current_u, viewer);CHKERRQ(ierr);
273a283635eSDmitry Karpeev     }
274c5929fdfSBarry Smith     ierr = PetscOptionsHasName(((PetscObject)J)->options,prefix, "-mat_mffd_view_function", &viewfunction);CHKERRQ(ierr);
275a283635eSDmitry Karpeev     if (viewfunction) {
276a283635eSDmitry Karpeev       ierr = PetscViewerASCIIPrintf(viewer, "Function:\n");CHKERRQ(ierr);
277a283635eSDmitry Karpeev       ierr = VecView(ctx->current_f, viewer);CHKERRQ(ierr);
278a283635eSDmitry Karpeev     }
279a283635eSDmitry Karpeev     ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
28011aeaf0aSBarry Smith   }
281e884886fSBarry Smith   PetscFunctionReturn(0);
282e884886fSBarry Smith }
283e884886fSBarry Smith 
284e884886fSBarry Smith #undef __FUNCT__
285e884886fSBarry Smith #define __FUNCT__ "MatAssemblyEnd_MFFD"
286e884886fSBarry Smith /*
287e884886fSBarry Smith    MatAssemblyEnd_MFFD - Resets the ctx->ncurrenth to zero. This
288e884886fSBarry Smith    allows the user to indicate the beginning of a new linear solve by calling
289e884886fSBarry Smith    MatAssemblyXXX() on the matrix free matrix. This then allows the
2901d0fab5eSBarry Smith    MatCreateMFFD_WP() to properly compute ||U|| only the first time
291e884886fSBarry Smith    in the linear solver rather than every time.
2925a576424SJed Brown 
293cc2e6a90SBarry Smith    This function is referenced directly from MatAssemblyEnd_SNESMF(), which may be in a different shared library hence
294cc2e6a90SBarry Smith    it must be labeled as PETSC_EXTERN
295e884886fSBarry Smith */
2965a576424SJed Brown PETSC_EXTERN PetscErrorCode MatAssemblyEnd_MFFD(Mat J,MatAssemblyType mt)
297e884886fSBarry Smith {
298e884886fSBarry Smith   PetscErrorCode ierr;
299e884886fSBarry Smith   MatMFFD        j = (MatMFFD)J->data;
300e884886fSBarry Smith 
301e884886fSBarry Smith   PetscFunctionBegin;
302e884886fSBarry Smith   ierr      = MatMFFDResetHHistory(J);CHKERRQ(ierr);
303e884886fSBarry Smith   j->vshift = 0.0;
304e884886fSBarry Smith   j->vscale = 1.0;
305e884886fSBarry Smith   PetscFunctionReturn(0);
306e884886fSBarry Smith }
307e884886fSBarry Smith 
308e884886fSBarry Smith #undef __FUNCT__
309e884886fSBarry Smith #define __FUNCT__ "MatMult_MFFD"
310e884886fSBarry Smith /*
311e884886fSBarry Smith   MatMult_MFFD - Default matrix-free form for Jacobian-vector product, y = F'(u)*a:
312e884886fSBarry Smith 
313e884886fSBarry Smith         y ~= (F(u + ha) - F(u))/h,
314e884886fSBarry Smith   where F = nonlinear function, as set by SNESSetFunction()
315e884886fSBarry Smith         u = current iterate
316e884886fSBarry Smith         h = difference interval
317e884886fSBarry Smith */
318e884886fSBarry Smith PetscErrorCode MatMult_MFFD(Mat mat,Vec a,Vec y)
319e884886fSBarry Smith {
320e884886fSBarry Smith   MatMFFD        ctx = (MatMFFD)mat->data;
321e884886fSBarry Smith   PetscScalar    h;
322e884886fSBarry Smith   Vec            w,U,F;
323e884886fSBarry Smith   PetscErrorCode ierr;
324ace3abfcSBarry Smith   PetscBool      zeroa;
325e884886fSBarry Smith 
326e884886fSBarry Smith   PetscFunctionBegin;
327ce94432eSBarry Smith   if (!ctx->current_u) SETERRQ(PetscObjectComm((PetscObject)mat),PETSC_ERR_ARG_WRONGSTATE,"MatMFFDSetBase() has not been called, this is often caused by forgetting to call \n\t\tMatAssemblyBegin/End on the first Mat in the SNES compute function");
328e884886fSBarry Smith   /* We log matrix-free matrix-vector products separately, so that we can
329e884886fSBarry Smith      separate the performance monitoring from the cases that use conventional
330e884886fSBarry Smith      storage.  We may eventually modify event logging to associate events
331e884886fSBarry Smith      with particular objects, hence alleviating the more general problem. */
332e884886fSBarry Smith   ierr = PetscLogEventBegin(MATMFFD_Mult,a,y,0,0);CHKERRQ(ierr);
333e884886fSBarry Smith 
334e884886fSBarry Smith   w = ctx->w;
335e884886fSBarry Smith   U = ctx->current_u;
3363ec795f1SBarry Smith   F = ctx->current_f;
337e884886fSBarry Smith   /*
338e884886fSBarry Smith       Compute differencing parameter
339e884886fSBarry Smith   */
340e884886fSBarry Smith   if (!ctx->ops->compute) {
341e884886fSBarry Smith     ierr = MatMFFDSetType(mat,MATMFFD_WP);CHKERRQ(ierr);
3429c6ac3b3SBarry Smith     ierr = MatSetFromOptions(mat);CHKERRQ(ierr);
343e884886fSBarry Smith   }
344e884886fSBarry Smith   ierr = (*ctx->ops->compute)(ctx,U,a,&h,&zeroa);CHKERRQ(ierr);
345e884886fSBarry Smith   if (zeroa) {
346e884886fSBarry Smith     ierr = VecSet(y,0.0);CHKERRQ(ierr);
347e884886fSBarry Smith     PetscFunctionReturn(0);
348e884886fSBarry Smith   }
349e884886fSBarry Smith 
35084d44b13SHong Zhang   if (mat->erroriffailure && PetscIsInfOrNanScalar(h)) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Computed Nan differencing parameter h");
351e884886fSBarry Smith   if (ctx->checkh) {
352e884886fSBarry Smith     ierr = (*ctx->checkh)(ctx->checkhctx,U,a,&h);CHKERRQ(ierr);
353e884886fSBarry Smith   }
354e884886fSBarry Smith 
355e884886fSBarry Smith   /* keep a record of the current differencing parameter h */
356e884886fSBarry Smith   ctx->currenth = h;
357e884886fSBarry Smith #if defined(PETSC_USE_COMPLEX)
35857622a8eSBarry Smith   ierr = PetscInfo2(mat,"Current differencing parameter: %g + %g i\n",(double)PetscRealPart(h),(double)PetscImaginaryPart(h));CHKERRQ(ierr);
359e884886fSBarry Smith #else
360e884886fSBarry Smith   ierr = PetscInfo1(mat,"Current differencing parameter: %15.12e\n",h);CHKERRQ(ierr);
361e884886fSBarry Smith #endif
362e884886fSBarry Smith   if (ctx->historyh && ctx->ncurrenth < ctx->maxcurrenth) {
363e884886fSBarry Smith     ctx->historyh[ctx->ncurrenth] = h;
364e884886fSBarry Smith   }
365e884886fSBarry Smith   ctx->ncurrenth++;
366e884886fSBarry Smith 
367e884886fSBarry Smith   /* w = u + ha */
368c3bb7e23SBarry Smith   if (ctx->drscale) {
369c3bb7e23SBarry Smith     ierr = VecPointwiseMult(ctx->drscale,a,U);CHKERRQ(ierr);
370c3bb7e23SBarry Smith     ierr = VecAYPX(U,h,w);CHKERRQ(ierr);
371c3bb7e23SBarry Smith   } else {
372e884886fSBarry Smith     ierr = VecWAXPY(w,h,a,U);CHKERRQ(ierr);
373c3bb7e23SBarry Smith   }
374e884886fSBarry Smith 
3751b797266SDmitry Karpeev   /* compute func(U) as base for differencing; only needed first time in and not when provided by user */
3761b797266SDmitry Karpeev   if (ctx->ncurrenth == 1 && ctx->current_f_allocated) {
377e884886fSBarry Smith     ierr = (*ctx->func)(ctx->funcctx,U,F);CHKERRQ(ierr);
37852121784SBarry Smith   }
379e884886fSBarry Smith   ierr = (*ctx->func)(ctx->funcctx,w,y);CHKERRQ(ierr);
380e884886fSBarry Smith 
381e884886fSBarry Smith   ierr = VecAXPY(y,-1.0,F);CHKERRQ(ierr);
382e884886fSBarry Smith   ierr = VecScale(y,1.0/h);CHKERRQ(ierr);
383e884886fSBarry Smith 
384c35ec66cSMatthew G Knepley   if ((ctx->vshift != 0.0) || (ctx->vscale != 1.0)) {
385e884886fSBarry Smith     ierr = VecAXPBY(y,ctx->vshift,ctx->vscale,a);CHKERRQ(ierr);
386c3bb7e23SBarry Smith   }
387c3bb7e23SBarry Smith   if (ctx->dlscale) {
388c3bb7e23SBarry Smith     ierr = VecPointwiseMult(y,ctx->dlscale,y);CHKERRQ(ierr);
389c3bb7e23SBarry Smith   }
390c3bb7e23SBarry Smith   if (ctx->dshift) {
391c3bb7e23SBarry Smith     ierr = VecPointwiseMult(ctx->dshift,a,U);CHKERRQ(ierr);
392c3bb7e23SBarry Smith     ierr = VecAXPY(y,1.0,U);CHKERRQ(ierr);
393c3bb7e23SBarry Smith   }
394e884886fSBarry Smith 
39539601f4eSBarry Smith   if (mat->nullsp) {ierr = MatNullSpaceRemove(mat->nullsp,y);CHKERRQ(ierr);}
396e884886fSBarry Smith 
397e884886fSBarry Smith   ierr = PetscLogEventEnd(MATMFFD_Mult,a,y,0,0);CHKERRQ(ierr);
398e884886fSBarry Smith   PetscFunctionReturn(0);
399e884886fSBarry Smith }
400e884886fSBarry Smith 
401e884886fSBarry Smith #undef __FUNCT__
402e884886fSBarry Smith #define __FUNCT__ "MatGetDiagonal_MFFD"
403e884886fSBarry Smith /*
404e884886fSBarry Smith   MatGetDiagonal_MFFD - Gets the diagonal for a matrix free matrix
405e884886fSBarry Smith 
406e884886fSBarry Smith         y ~= (F(u + ha) - F(u))/h,
407e884886fSBarry Smith   where F = nonlinear function, as set by SNESSetFunction()
408e884886fSBarry Smith         u = current iterate
409e884886fSBarry Smith         h = difference interval
410e884886fSBarry Smith */
411e884886fSBarry Smith PetscErrorCode MatGetDiagonal_MFFD(Mat mat,Vec a)
412e884886fSBarry Smith {
413e884886fSBarry Smith   MatMFFD        ctx = (MatMFFD)mat->data;
414e884886fSBarry Smith   PetscScalar    h,*aa,*ww,v;
415e884886fSBarry Smith   PetscReal      epsilon = PETSC_SQRT_MACHINE_EPSILON,umin = 100.0*PETSC_SQRT_MACHINE_EPSILON;
416e884886fSBarry Smith   Vec            w,U;
417e884886fSBarry Smith   PetscErrorCode ierr;
418e884886fSBarry Smith   PetscInt       i,rstart,rend;
419e884886fSBarry Smith 
420e884886fSBarry Smith   PetscFunctionBegin;
421e7e72b3dSBarry Smith   if (!ctx->funci) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ORDER,"Requires calling MatMFFDSetFunctioni() first");
422e884886fSBarry Smith 
423e884886fSBarry Smith   w    = ctx->w;
424e884886fSBarry Smith   U    = ctx->current_u;
425e884886fSBarry Smith   ierr = (*ctx->func)(ctx->funcctx,U,a);CHKERRQ(ierr);
426e884886fSBarry Smith   ierr = (*ctx->funcisetbase)(ctx->funcctx,U);CHKERRQ(ierr);
427e884886fSBarry Smith   ierr = VecCopy(U,w);CHKERRQ(ierr);
428e884886fSBarry Smith 
429e884886fSBarry Smith   ierr = VecGetOwnershipRange(a,&rstart,&rend);CHKERRQ(ierr);
430e884886fSBarry Smith   ierr = VecGetArray(a,&aa);CHKERRQ(ierr);
431e884886fSBarry Smith   for (i=rstart; i<rend; i++) {
432e884886fSBarry Smith     ierr = VecGetArray(w,&ww);CHKERRQ(ierr);
433e884886fSBarry Smith     h    = ww[i-rstart];
434e884886fSBarry Smith     if (h == 0.0) h = 1.0;
435e884886fSBarry Smith     if (PetscAbsScalar(h) < umin && PetscRealPart(h) >= 0.0)     h = umin;
436e884886fSBarry Smith     else if (PetscRealPart(h) < 0.0 && PetscAbsScalar(h) < umin) h = -umin;
437e884886fSBarry Smith     h *= epsilon;
438e884886fSBarry Smith 
439e884886fSBarry Smith     ww[i-rstart] += h;
440e884886fSBarry Smith     ierr          = VecRestoreArray(w,&ww);CHKERRQ(ierr);
441e884886fSBarry Smith     ierr          = (*ctx->funci)(ctx->funcctx,i,w,&v);CHKERRQ(ierr);
442e884886fSBarry Smith     aa[i-rstart]  = (v - aa[i-rstart])/h;
443e884886fSBarry Smith 
444e884886fSBarry Smith     /* possibly shift and scale result */
445c35ec66cSMatthew G Knepley     if ((ctx->vshift != 0.0) || (ctx->vscale != 1.0)) {
446e884886fSBarry Smith       aa[i - rstart] = ctx->vshift + ctx->vscale*aa[i-rstart];
447c3bb7e23SBarry Smith     }
448e884886fSBarry Smith 
449e884886fSBarry Smith     ierr          = VecGetArray(w,&ww);CHKERRQ(ierr);
450e884886fSBarry Smith     ww[i-rstart] -= h;
451e884886fSBarry Smith     ierr          = VecRestoreArray(w,&ww);CHKERRQ(ierr);
452e884886fSBarry Smith   }
453e884886fSBarry Smith   ierr = VecRestoreArray(a,&aa);CHKERRQ(ierr);
454e884886fSBarry Smith   PetscFunctionReturn(0);
455e884886fSBarry Smith }
456e884886fSBarry Smith 
457e884886fSBarry Smith #undef __FUNCT__
458c3bb7e23SBarry Smith #define __FUNCT__ "MatDiagonalScale_MFFD"
459c3bb7e23SBarry Smith PetscErrorCode MatDiagonalScale_MFFD(Mat mat,Vec ll,Vec rr)
460c3bb7e23SBarry Smith {
461c3bb7e23SBarry Smith   MatMFFD        aij = (MatMFFD)mat->data;
462c3bb7e23SBarry Smith   PetscErrorCode ierr;
463c3bb7e23SBarry Smith 
464c3bb7e23SBarry Smith   PetscFunctionBegin;
465c3bb7e23SBarry Smith   if (ll && !aij->dlscale) {
466c3bb7e23SBarry Smith     ierr = VecDuplicate(ll,&aij->dlscale);CHKERRQ(ierr);
467c3bb7e23SBarry Smith   }
468c3bb7e23SBarry Smith   if (rr && !aij->drscale) {
469c3bb7e23SBarry Smith     ierr = VecDuplicate(rr,&aij->drscale);CHKERRQ(ierr);
470c3bb7e23SBarry Smith   }
471c3bb7e23SBarry Smith   if (ll) {
472c3bb7e23SBarry Smith     ierr = VecCopy(ll,aij->dlscale);CHKERRQ(ierr);
473c3bb7e23SBarry Smith   }
474c3bb7e23SBarry Smith   if (rr) {
475c3bb7e23SBarry Smith     ierr = VecCopy(rr,aij->drscale);CHKERRQ(ierr);
476c3bb7e23SBarry Smith   }
477c3bb7e23SBarry Smith   PetscFunctionReturn(0);
478c3bb7e23SBarry Smith }
479c3bb7e23SBarry Smith 
480c3bb7e23SBarry Smith #undef __FUNCT__
481c3bb7e23SBarry Smith #define __FUNCT__ "MatDiagonalSet_MFFD"
482c3bb7e23SBarry Smith PetscErrorCode MatDiagonalSet_MFFD(Mat mat,Vec ll,InsertMode mode)
483c3bb7e23SBarry Smith {
484c3bb7e23SBarry Smith   MatMFFD        aij = (MatMFFD)mat->data;
485c3bb7e23SBarry Smith   PetscErrorCode ierr;
486c3bb7e23SBarry Smith 
487c3bb7e23SBarry Smith   PetscFunctionBegin;
488ce94432eSBarry Smith   if (mode == INSERT_VALUES) SETERRQ(PetscObjectComm((PetscObject)mat),PETSC_ERR_SUP,"No diagonal set with INSERT_VALUES");
489c3bb7e23SBarry Smith   if (!aij->dshift) {
490c3bb7e23SBarry Smith     ierr = VecDuplicate(ll,&aij->dshift);CHKERRQ(ierr);
491c3bb7e23SBarry Smith   }
492c3bb7e23SBarry Smith   ierr = VecAXPY(aij->dshift,1.0,ll);CHKERRQ(ierr);
493c3bb7e23SBarry Smith   PetscFunctionReturn(0);
494c3bb7e23SBarry Smith }
495c3bb7e23SBarry Smith 
496c3bb7e23SBarry Smith #undef __FUNCT__
497e884886fSBarry Smith #define __FUNCT__ "MatShift_MFFD"
498e884886fSBarry Smith PetscErrorCode MatShift_MFFD(Mat Y,PetscScalar a)
499e884886fSBarry Smith {
500e884886fSBarry Smith   MatMFFD shell = (MatMFFD)Y->data;
5015fd66863SKarl Rupp 
502e884886fSBarry Smith   PetscFunctionBegin;
503e884886fSBarry Smith   shell->vshift += a;
504e884886fSBarry Smith   PetscFunctionReturn(0);
505e884886fSBarry Smith }
506e884886fSBarry Smith 
507e884886fSBarry Smith #undef __FUNCT__
508e884886fSBarry Smith #define __FUNCT__ "MatScale_MFFD"
509e884886fSBarry Smith PetscErrorCode MatScale_MFFD(Mat Y,PetscScalar a)
510e884886fSBarry Smith {
511e884886fSBarry Smith   MatMFFD shell = (MatMFFD)Y->data;
5125fd66863SKarl Rupp 
513e884886fSBarry Smith   PetscFunctionBegin;
514e884886fSBarry Smith   shell->vscale *= a;
515e884886fSBarry Smith   PetscFunctionReturn(0);
516e884886fSBarry Smith }
517e884886fSBarry Smith 
518e884886fSBarry Smith #undef __FUNCT__
519c879e56bSBarry Smith #define __FUNCT__ "MatMFFDSetBase_MFFD"
520d8fa6a54SBarry Smith PETSC_EXTERN PetscErrorCode MatMFFDSetBase_MFFD(Mat J,Vec U,Vec F)
521e884886fSBarry Smith {
522e884886fSBarry Smith   PetscErrorCode ierr;
523e884886fSBarry Smith   MatMFFD        ctx = (MatMFFD)J->data;
524e884886fSBarry Smith 
525e884886fSBarry Smith   PetscFunctionBegin;
526e884886fSBarry Smith   ierr = MatMFFDResetHHistory(J);CHKERRQ(ierr);
5272205254eSKarl Rupp 
528e884886fSBarry Smith   ctx->current_u = U;
52952121784SBarry Smith   if (F) {
5306bf464f9SBarry Smith     if (ctx->current_f_allocated) {ierr = VecDestroy(&ctx->current_f);CHKERRQ(ierr);}
5313ec795f1SBarry Smith     ctx->current_f           = F;
532cfe22f5eSBarry Smith     ctx->current_f_allocated = PETSC_FALSE;
533cfe22f5eSBarry Smith   } else if (!ctx->current_f_allocated) {
53406c4b6baSBarry Smith     ierr = MatCreateVecs(J,NULL,&ctx->current_f);CHKERRQ(ierr);
5352205254eSKarl Rupp 
536cfe22f5eSBarry Smith     ctx->current_f_allocated = PETSC_TRUE;
53752121784SBarry Smith   }
538e884886fSBarry Smith   if (!ctx->w) {
539e884886fSBarry Smith     ierr = VecDuplicate(ctx->current_u, &ctx->w);CHKERRQ(ierr);
540e884886fSBarry Smith   }
541e884886fSBarry Smith   J->assembled = PETSC_TRUE;
542e884886fSBarry Smith   PetscFunctionReturn(0);
543e884886fSBarry Smith }
5445a576424SJed Brown 
545e884886fSBarry Smith typedef PetscErrorCode (*FCN3)(void*,Vec,Vec,PetscScalar*); /* force argument to next function to not be extern C*/
546b2573a8aSBarry Smith 
547e884886fSBarry Smith #undef __FUNCT__
548c879e56bSBarry Smith #define __FUNCT__ "MatMFFDSetCheckh_MFFD"
5497087cfbeSBarry Smith PetscErrorCode  MatMFFDSetCheckh_MFFD(Mat J,FCN3 fun,void *ectx)
550e884886fSBarry Smith {
551e884886fSBarry Smith   MatMFFD ctx = (MatMFFD)J->data;
552e884886fSBarry Smith 
553e884886fSBarry Smith   PetscFunctionBegin;
554e884886fSBarry Smith   ctx->checkh    = fun;
555e884886fSBarry Smith   ctx->checkhctx = ectx;
556e884886fSBarry Smith   PetscFunctionReturn(0);
557e884886fSBarry Smith }
558e884886fSBarry Smith 
559e884886fSBarry Smith #undef __FUNCT__
5606aa9148fSLisandro Dalcin #define __FUNCT__ "MatMFFDSetOptionsPrefix"
5616aa9148fSLisandro Dalcin /*@C
5626aa9148fSLisandro Dalcin    MatMFFDSetOptionsPrefix - Sets the prefix used for searching for all
5636aa9148fSLisandro Dalcin    MatMFFD options in the database.
5646aa9148fSLisandro Dalcin 
5656aa9148fSLisandro Dalcin    Collective on Mat
5666aa9148fSLisandro Dalcin 
5676aa9148fSLisandro Dalcin    Input Parameter:
5686aa9148fSLisandro Dalcin +  A - the Mat context
5696aa9148fSLisandro Dalcin -  prefix - the prefix to prepend to all option names
5706aa9148fSLisandro Dalcin 
5716aa9148fSLisandro Dalcin    Notes:
5726aa9148fSLisandro Dalcin    A hyphen (-) must NOT be given at the beginning of the prefix name.
5736aa9148fSLisandro Dalcin    The first character of all runtime options is AUTOMATICALLY the hyphen.
5746aa9148fSLisandro Dalcin 
5756aa9148fSLisandro Dalcin    Level: advanced
5766aa9148fSLisandro Dalcin 
5776aa9148fSLisandro Dalcin .keywords: SNES, matrix-free, parameters
5786aa9148fSLisandro Dalcin 
579*755b7f64SBarry Smith .seealso: MatSetFromOptions(), MatCreateSNESMF(), MatCreateMFFD()
5806aa9148fSLisandro Dalcin @*/
5817087cfbeSBarry Smith PetscErrorCode  MatMFFDSetOptionsPrefix(Mat mat,const char prefix[])
5826aa9148fSLisandro Dalcin 
5836aa9148fSLisandro Dalcin {
5840298fd71SBarry Smith   MatMFFD        mfctx = mat ? (MatMFFD)mat->data : (MatMFFD)NULL;
5856aa9148fSLisandro Dalcin   PetscErrorCode ierr;
5865fd66863SKarl Rupp 
5876aa9148fSLisandro Dalcin   PetscFunctionBegin;
5880700a824SBarry Smith   PetscValidHeaderSpecific(mat,MAT_CLASSID,1);
5890700a824SBarry Smith   PetscValidHeaderSpecific(mfctx,MATMFFD_CLASSID,1);
5906aa9148fSLisandro Dalcin   ierr = PetscObjectSetOptionsPrefix((PetscObject)mfctx,prefix);CHKERRQ(ierr);
5916aa9148fSLisandro Dalcin   PetscFunctionReturn(0);
5926aa9148fSLisandro Dalcin }
5936aa9148fSLisandro Dalcin 
5946aa9148fSLisandro Dalcin #undef __FUNCT__
5959c6ac3b3SBarry Smith #define __FUNCT__ "MatSetFromOptions_MFFD"
5964416b707SBarry Smith PetscErrorCode  MatSetFromOptions_MFFD(PetscOptionItems *PetscOptionsObject,Mat mat)
597e884886fSBarry Smith {
59871f08665SBarry Smith   MatMFFD        mfctx = (MatMFFD)mat->data;
599e884886fSBarry Smith   PetscErrorCode ierr;
600ace3abfcSBarry Smith   PetscBool      flg;
601e884886fSBarry Smith   char           ftype[256];
602e884886fSBarry Smith 
603e884886fSBarry Smith   PetscFunctionBegin;
6040700a824SBarry Smith   PetscValidHeaderSpecific(mat,MAT_CLASSID,1);
6050700a824SBarry Smith   PetscValidHeaderSpecific(mfctx,MATMFFD_CLASSID,1);
6063194b578SJed Brown   ierr = PetscObjectOptionsBegin((PetscObject)mfctx);CHKERRQ(ierr);
607a264d7a6SBarry Smith   ierr = PetscOptionsFList("-mat_mffd_type","Matrix free type","MatMFFDSetType",MatMFFDList,((PetscObject)mfctx)->type_name,ftype,256,&flg);CHKERRQ(ierr);
608e884886fSBarry Smith   if (flg) {
609e884886fSBarry Smith     ierr = MatMFFDSetType(mat,ftype);CHKERRQ(ierr);
610e884886fSBarry Smith   }
611e884886fSBarry Smith 
612e884886fSBarry Smith   ierr = PetscOptionsReal("-mat_mffd_err","set sqrt relative error in function","MatMFFDSetFunctionError",mfctx->error_rel,&mfctx->error_rel,0);CHKERRQ(ierr);
613e884886fSBarry Smith   ierr = PetscOptionsInt("-mat_mffd_period","how often h is recomputed","MatMFFDSetPeriod",mfctx->recomputeperiod,&mfctx->recomputeperiod,0);CHKERRQ(ierr);
614e884886fSBarry Smith 
61590d69ab7SBarry Smith   flg  = PETSC_FALSE;
6160298fd71SBarry Smith   ierr = PetscOptionsBool("-mat_mffd_check_positivity","Insure that U + h*a is nonnegative","MatMFFDSetCheckh",flg,&flg,NULL);CHKERRQ(ierr);
617e884886fSBarry Smith   if (flg) {
618e884886fSBarry Smith     ierr = MatMFFDSetCheckh(mat,MatMFFDCheckPositivity,0);CHKERRQ(ierr);
619e884886fSBarry Smith   }
620e884886fSBarry Smith   if (mfctx->ops->setfromoptions) {
621e55864a3SBarry Smith     ierr = (*mfctx->ops->setfromoptions)(PetscOptionsObject,mfctx);CHKERRQ(ierr);
622e884886fSBarry Smith   }
623e884886fSBarry Smith   ierr = PetscOptionsEnd();CHKERRQ(ierr);
624e884886fSBarry Smith   PetscFunctionReturn(0);
625e884886fSBarry Smith }
626e884886fSBarry Smith 
627bc0f08ceSBarry Smith #undef __FUNCT__
628bc0f08ceSBarry Smith #define __FUNCT__ "MatMFFDSetPeriod_MFFD"
629bc0f08ceSBarry Smith PetscErrorCode  MatMFFDSetPeriod_MFFD(Mat mat,PetscInt period)
630bc0f08ceSBarry Smith {
631bc0f08ceSBarry Smith   MatMFFD ctx = (MatMFFD)mat->data;
632bc0f08ceSBarry Smith 
633bc0f08ceSBarry Smith   PetscFunctionBegin;
634bc0f08ceSBarry Smith   PetscValidLogicalCollectiveInt(mat,period,2);
635bc0f08ceSBarry Smith   ctx->recomputeperiod = period;
636bc0f08ceSBarry Smith   PetscFunctionReturn(0);
637bc0f08ceSBarry Smith }
638bc0f08ceSBarry Smith 
639bc0f08ceSBarry Smith #undef __FUNCT__
640bc0f08ceSBarry Smith #define __FUNCT__ "MatMFFDSetFunction_MFFD"
641bc0f08ceSBarry Smith PetscErrorCode  MatMFFDSetFunction_MFFD(Mat mat,PetscErrorCode (*func)(void*,Vec,Vec),void *funcctx)
642bc0f08ceSBarry Smith {
643bc0f08ceSBarry Smith   MatMFFD ctx = (MatMFFD)mat->data;
644bc0f08ceSBarry Smith 
645bc0f08ceSBarry Smith   PetscFunctionBegin;
646bc0f08ceSBarry Smith   ctx->func    = func;
647bc0f08ceSBarry Smith   ctx->funcctx = funcctx;
648bc0f08ceSBarry Smith   PetscFunctionReturn(0);
649bc0f08ceSBarry Smith }
650bc0f08ceSBarry Smith 
651bc0f08ceSBarry Smith #undef __FUNCT__
652bc0f08ceSBarry Smith #define __FUNCT__ "MatMFFDSetFunctionError_MFFD"
653bc0f08ceSBarry Smith PetscErrorCode  MatMFFDSetFunctionError_MFFD(Mat mat,PetscReal error)
654bc0f08ceSBarry Smith {
655bc0f08ceSBarry Smith   MatMFFD ctx = (MatMFFD)mat->data;
656bc0f08ceSBarry Smith 
657bc0f08ceSBarry Smith   PetscFunctionBegin;
658bc0f08ceSBarry Smith   PetscValidLogicalCollectiveReal(mat,error,2);
659bc0f08ceSBarry Smith   if (error != PETSC_DEFAULT) ctx->error_rel = error;
660bc0f08ceSBarry Smith   PetscFunctionReturn(0);
661bc0f08ceSBarry Smith }
662bc0f08ceSBarry Smith 
6633b49f96aSBarry Smith #undef __FUNCT__
6643b49f96aSBarry Smith #define __FUNCT__ "MatMissingDiagonal_MFFD"
6653b49f96aSBarry Smith static PetscErrorCode MatMissingDiagonal_MFFD(Mat A,PetscBool  *missing,PetscInt *d)
6663b49f96aSBarry Smith {
6673b49f96aSBarry Smith   PetscFunctionBegin;
6683b49f96aSBarry Smith   *missing = PETSC_FALSE;
6693b49f96aSBarry Smith   PetscFunctionReturn(0);
6703b49f96aSBarry Smith }
6713b49f96aSBarry Smith 
672e884886fSBarry Smith /*MC
673e884886fSBarry Smith   MATMFFD - MATMFFD = "mffd" - A matrix free matrix type.
674e884886fSBarry Smith 
675e884886fSBarry Smith   Level: advanced
676e884886fSBarry Smith 
677*755b7f64SBarry Smith .seealso: MatCreateMFFD(), MatCreateSNESMF(), MatMFFDSetFunction(), MatMFFDSetType(),
678*755b7f64SBarry Smith           MatMFFDSetFunctionError(), MatMFFDDSSetUmin(), MatMFFDSetFunction()
679*755b7f64SBarry Smith           MatMFFDSetHHistory(), MatMFFDResetHHistory(), MatCreateSNESMF(),
680*755b7f64SBarry Smith           MatMFFDGetH(),
681e884886fSBarry Smith M*/
682e884886fSBarry Smith #undef __FUNCT__
683e884886fSBarry Smith #define __FUNCT__ "MatCreate_MFFD"
6848cc058d9SJed Brown PETSC_EXTERN PetscErrorCode MatCreate_MFFD(Mat A)
685e884886fSBarry Smith {
686e884886fSBarry Smith   MatMFFD        mfctx;
687e884886fSBarry Smith   PetscErrorCode ierr;
688e884886fSBarry Smith 
689e884886fSBarry Smith   PetscFunctionBegin;
690607a6623SBarry Smith   ierr = MatMFFDInitializePackage();CHKERRQ(ierr);
691e884886fSBarry Smith 
69273107ff1SLisandro Dalcin   ierr = PetscHeaderCreate(mfctx,MATMFFD_CLASSID,"MatMFFD","Matrix-free Finite Differencing","Mat",PetscObjectComm((PetscObject)A),MatDestroy_MFFD,MatView_MFFD);CHKERRQ(ierr);
6932205254eSKarl Rupp 
694e884886fSBarry Smith   mfctx->error_rel                = PETSC_SQRT_MACHINE_EPSILON;
695e884886fSBarry Smith   mfctx->recomputeperiod          = 1;
696e884886fSBarry Smith   mfctx->count                    = 0;
697e884886fSBarry Smith   mfctx->currenth                 = 0.0;
6980298fd71SBarry Smith   mfctx->historyh                 = NULL;
699e884886fSBarry Smith   mfctx->ncurrenth                = 0;
700e884886fSBarry Smith   mfctx->maxcurrenth              = 0;
7017adad957SLisandro Dalcin   ((PetscObject)mfctx)->type_name = 0;
702e884886fSBarry Smith 
703e884886fSBarry Smith   mfctx->vshift = 0.0;
704e884886fSBarry Smith   mfctx->vscale = 1.0;
705e884886fSBarry Smith 
706e884886fSBarry Smith   /*
707e884886fSBarry Smith      Create the empty data structure to contain compute-h routines.
708e884886fSBarry Smith      These will be filled in below from the command line options or
709e884886fSBarry Smith      a later call with MatMFFDSetType() or if that is not called
710e884886fSBarry Smith      then it will default in the first use of MatMult_MFFD()
711e884886fSBarry Smith   */
712e884886fSBarry Smith   mfctx->ops->compute        = 0;
713e884886fSBarry Smith   mfctx->ops->destroy        = 0;
714e884886fSBarry Smith   mfctx->ops->view           = 0;
715e884886fSBarry Smith   mfctx->ops->setfromoptions = 0;
716e884886fSBarry Smith   mfctx->hctx                = 0;
717e884886fSBarry Smith 
718e884886fSBarry Smith   mfctx->func    = 0;
719e884886fSBarry Smith   mfctx->funcctx = 0;
7200298fd71SBarry Smith   mfctx->w       = NULL;
721e884886fSBarry Smith 
722e884886fSBarry Smith   A->data = mfctx;
723e884886fSBarry Smith 
724e884886fSBarry Smith   A->ops->mult            = MatMult_MFFD;
725e884886fSBarry Smith   A->ops->destroy         = MatDestroy_MFFD;
726e884886fSBarry Smith   A->ops->view            = MatView_MFFD;
727e884886fSBarry Smith   A->ops->assemblyend     = MatAssemblyEnd_MFFD;
728e884886fSBarry Smith   A->ops->getdiagonal     = MatGetDiagonal_MFFD;
729e884886fSBarry Smith   A->ops->scale           = MatScale_MFFD;
730e884886fSBarry Smith   A->ops->shift           = MatShift_MFFD;
731c3bb7e23SBarry Smith   A->ops->diagonalscale   = MatDiagonalScale_MFFD;
732c3bb7e23SBarry Smith   A->ops->diagonalset     = MatDiagonalSet_MFFD;
7339c6ac3b3SBarry Smith   A->ops->setfromoptions  = MatSetFromOptions_MFFD;
7343b49f96aSBarry Smith   A->ops->missingdiagonal = MatMissingDiagonal_MFFD;
735e884886fSBarry Smith   A->assembled           = PETSC_TRUE;
736e884886fSBarry Smith 
73726283091SBarry Smith   ierr = PetscLayoutSetUp(A->rmap);CHKERRQ(ierr);
73826283091SBarry Smith   ierr = PetscLayoutSetUp(A->cmap);CHKERRQ(ierr);
739ee1cef2cSJed Brown 
740bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)A,"MatMFFDSetBase_C",MatMFFDSetBase_MFFD);CHKERRQ(ierr);
741bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)A,"MatMFFDSetFunctioniBase_C",MatMFFDSetFunctioniBase_MFFD);CHKERRQ(ierr);
742bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)A,"MatMFFDSetFunctioni_C",MatMFFDSetFunctioni_MFFD);CHKERRQ(ierr);
743bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)A,"MatMFFDSetFunction_C",MatMFFDSetFunction_MFFD);CHKERRQ(ierr);
744bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)A,"MatMFFDSetCheckh_C",MatMFFDSetCheckh_MFFD);CHKERRQ(ierr);
745bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)A,"MatMFFDSetPeriod_C",MatMFFDSetPeriod_MFFD);CHKERRQ(ierr);
746bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)A,"MatMFFDSetFunctionError_C",MatMFFDSetFunctionError_MFFD);CHKERRQ(ierr);
747bdf89e91SBarry Smith   ierr = PetscObjectComposeFunction((PetscObject)A,"MatMFFDResetHHistory_C",MatMFFDResetHHistory_MFFD);CHKERRQ(ierr);
7482205254eSKarl Rupp 
749e884886fSBarry Smith   mfctx->mat = A;
7502205254eSKarl Rupp 
751e884886fSBarry Smith   ierr = PetscObjectChangeTypeName((PetscObject)A,MATMFFD);CHKERRQ(ierr);
752e884886fSBarry Smith   PetscFunctionReturn(0);
753e884886fSBarry Smith }
754e884886fSBarry Smith 
755e884886fSBarry Smith #undef __FUNCT__
756e884886fSBarry Smith #define __FUNCT__ "MatCreateMFFD"
757e884886fSBarry Smith /*@
758e884886fSBarry Smith    MatCreateMFFD - Creates a matrix-free matrix. See also MatCreateSNESMF()
759e884886fSBarry Smith 
760e884886fSBarry Smith    Collective on Vec
761e884886fSBarry Smith 
762e884886fSBarry Smith    Input Parameters:
763fef1beadSBarry Smith +  comm - MPI communicator
764fef1beadSBarry Smith .  m - number of local rows (or PETSC_DECIDE to have calculated if M is given)
765fef1beadSBarry Smith            This value should be the same as the local size used in creating the
766fef1beadSBarry Smith            y vector for the matrix-vector product y = Ax.
767fef1beadSBarry Smith .  n - This value should be the same as the local size used in creating the
768fef1beadSBarry Smith        x vector for the matrix-vector product y = Ax. (or PETSC_DECIDE to have
769fef1beadSBarry Smith        calculated if N is given) For square matrices n is almost always m.
770fef1beadSBarry Smith .  M - number of global rows (or PETSC_DETERMINE to have calculated if m is given)
771fef1beadSBarry Smith -  N - number of global columns (or PETSC_DETERMINE to have calculated if n is given)
772fef1beadSBarry Smith 
773e884886fSBarry Smith 
774e884886fSBarry Smith    Output Parameter:
775e884886fSBarry Smith .  J - the matrix-free matrix
776e884886fSBarry Smith 
7779c6ac3b3SBarry Smith    Options Database Keys: call MatSetFromOptions() to trigger these
7789c6ac3b3SBarry Smith +  -mat_mffd_type - wp or ds (see MATMFFD_WP or MATMFFD_DS)
7799c6ac3b3SBarry Smith -  -mat_mffd_err - square root of estimated relative error in function evaluation
7809c6ac3b3SBarry Smith -  -mat_mffd_period - how often h is recomputed, defaults to 1, everytime
7819c6ac3b3SBarry Smith 
7829c6ac3b3SBarry Smith 
783e884886fSBarry Smith    Level: advanced
784e884886fSBarry Smith 
785e884886fSBarry Smith    Notes:
786e884886fSBarry Smith    The matrix-free matrix context merely contains the function pointers
787e884886fSBarry Smith    and work space for performing finite difference approximations of
788e884886fSBarry Smith    Jacobian-vector products, F'(u)*a,
789e884886fSBarry Smith 
790e884886fSBarry Smith    The default code uses the following approach to compute h
791e884886fSBarry Smith 
792e884886fSBarry Smith .vb
793e884886fSBarry Smith      F'(u)*a = [F(u+h*a) - F(u)]/h where
794e884886fSBarry Smith      h = error_rel*u'a/||a||^2                        if  |u'a| > umin*||a||_{1}
795e884886fSBarry Smith        = error_rel*umin*sign(u'a)*||a||_{1}/||a||^2   otherwise
796e884886fSBarry Smith  where
797e884886fSBarry Smith      error_rel = square root of relative error in function evaluation
798e884886fSBarry Smith      umin = minimum iterate parameter
799e884886fSBarry Smith .ve
800e884886fSBarry Smith 
801ca93e954SBarry Smith    You can call SNESSetJacobian() with MatMFFDComputeJacobian() if you are using matrix and not a different
802ca93e954SBarry Smith    preconditioner matrix
803ca93e954SBarry Smith 
804e884886fSBarry Smith    The user can set the error_rel via MatMFFDSetFunctionError() and
805a7f22e61SSatish Balay    umin via MatMFFDDSSetUmin(); see Users-Manual: ch_snes for details.
806e884886fSBarry Smith 
807e884886fSBarry Smith    The user should call MatDestroy() when finished with the matrix-free
808e884886fSBarry Smith    matrix context.
809e884886fSBarry Smith 
810e884886fSBarry Smith    Options Database Keys:
811e884886fSBarry Smith +  -mat_mffd_err <error_rel> - Sets error_rel
812e884886fSBarry Smith .  -mat_mffd_unim <umin> - Sets umin (for default PETSc routine that computes h only)
813e884886fSBarry Smith -  -mat_mffd_check_positivity
814e884886fSBarry Smith 
815e884886fSBarry Smith .keywords: default, matrix-free, create, matrix
816e884886fSBarry Smith 
8171d0fab5eSBarry Smith .seealso: MatDestroy(), MatMFFDSetFunctionError(), MatMFFDDSSetUmin(), MatMFFDSetFunction()
818e884886fSBarry Smith           MatMFFDSetHHistory(), MatMFFDResetHHistory(), MatCreateSNESMF(),
81981242352SJed Brown           MatMFFDGetH(), MatMFFDRegister(), MatMFFDComputeJacobian()
820e884886fSBarry Smith 
821e884886fSBarry Smith @*/
8227087cfbeSBarry Smith PetscErrorCode  MatCreateMFFD(MPI_Comm comm,PetscInt m,PetscInt n,PetscInt M,PetscInt N,Mat *J)
823e884886fSBarry Smith {
824e884886fSBarry Smith   PetscErrorCode ierr;
825e884886fSBarry Smith 
826e884886fSBarry Smith   PetscFunctionBegin;
827e884886fSBarry Smith   ierr = MatCreate(comm,J);CHKERRQ(ierr);
828fef1beadSBarry Smith   ierr = MatSetSizes(*J,m,n,M,N);CHKERRQ(ierr);
829e884886fSBarry Smith   ierr = MatSetType(*J,MATMFFD);CHKERRQ(ierr);
830be7c243fSJed Brown   ierr = MatSetUp(*J);CHKERRQ(ierr);
831e884886fSBarry Smith   PetscFunctionReturn(0);
832e884886fSBarry Smith }
833e884886fSBarry Smith 
834e884886fSBarry Smith 
835e884886fSBarry Smith #undef __FUNCT__
836e884886fSBarry Smith #define __FUNCT__ "MatMFFDGetH"
837e884886fSBarry Smith /*@
838e884886fSBarry Smith    MatMFFDGetH - Gets the last value that was used as the differencing
839e884886fSBarry Smith    parameter.
840e884886fSBarry Smith 
841e884886fSBarry Smith    Not Collective
842e884886fSBarry Smith 
843e884886fSBarry Smith    Input Parameters:
844e884886fSBarry Smith .  mat - the matrix obtained with MatCreateSNESMF()
845e884886fSBarry Smith 
846e884886fSBarry Smith    Output Paramter:
847e884886fSBarry Smith .  h - the differencing step size
848e884886fSBarry Smith 
849e884886fSBarry Smith    Level: advanced
850e884886fSBarry Smith 
851e884886fSBarry Smith .keywords: SNES, matrix-free, parameters
852e884886fSBarry Smith 
8531d0fab5eSBarry Smith .seealso: MatCreateSNESMF(),MatMFFDSetHHistory(), MatCreateMFFD(), MATMFFD, MatMFFDResetHHistory()
854e884886fSBarry Smith @*/
8557087cfbeSBarry Smith PetscErrorCode  MatMFFDGetH(Mat mat,PetscScalar *h)
856e884886fSBarry Smith {
857e884886fSBarry Smith   MatMFFD        ctx = (MatMFFD)mat->data;
858bc0f08ceSBarry Smith   PetscErrorCode ierr;
859bc0f08ceSBarry Smith   PetscBool      match;
860e884886fSBarry Smith 
861e884886fSBarry Smith   PetscFunctionBegin;
862251f4c67SDmitry Karpeev   ierr = PetscObjectTypeCompare((PetscObject)mat,MATMFFD,&match);CHKERRQ(ierr);
863ce94432eSBarry Smith   if (!match) SETERRQ(PetscObjectComm((PetscObject)mat),PETSC_ERR_ARG_WRONG,"Not a MFFD matrix");
864bc0f08ceSBarry Smith 
865e884886fSBarry Smith   *h = ctx->currenth;
866e884886fSBarry Smith   PetscFunctionReturn(0);
867e884886fSBarry Smith }
868e884886fSBarry Smith 
869e884886fSBarry Smith #undef __FUNCT__
870e884886fSBarry Smith #define __FUNCT__ "MatMFFDSetFunction"
871e884886fSBarry Smith /*@C
872e884886fSBarry Smith    MatMFFDSetFunction - Sets the function used in applying the matrix free.
873e884886fSBarry Smith 
8743f9fe445SBarry Smith    Logically Collective on Mat
875e884886fSBarry Smith 
876e884886fSBarry Smith    Input Parameters:
87714f633e2SBarry Smith +  mat - the matrix free matrix created via MatCreateSNESMF() or MatCreateMFFD()
878e884886fSBarry Smith .  func - the function to use
879e884886fSBarry Smith -  funcctx - optional function context passed to function
880e884886fSBarry Smith 
88114f633e2SBarry Smith    Calling Sequence of func:
88214f633e2SBarry Smith $     func (void *funcctx, Vec x, Vec f)
88314f633e2SBarry Smith 
88414f633e2SBarry Smith +  funcctx - user provided context
88514f633e2SBarry Smith .  x - input vector
88614f633e2SBarry Smith -  f - computed output function
88714f633e2SBarry Smith 
888e884886fSBarry Smith    Level: advanced
889e884886fSBarry Smith 
890e884886fSBarry Smith    Notes:
891e884886fSBarry Smith     If you use this you MUST call MatAssemblyBegin()/MatAssemblyEnd() on the matrix free
892e884886fSBarry Smith     matrix inside your compute Jacobian routine
893e884886fSBarry Smith 
8943ec795f1SBarry Smith     If this is not set then it will use the function set with SNESSetFunction() if MatCreateSNESMF() was used.
895e884886fSBarry Smith 
896e884886fSBarry Smith .keywords: SNES, matrix-free, function
897e884886fSBarry Smith 
8981d0fab5eSBarry Smith .seealso: MatCreateSNESMF(),MatMFFDGetH(), MatCreateMFFD(), MATMFFD,
8991d0fab5eSBarry Smith           MatMFFDSetHHistory(), MatMFFDResetHHistory(), SNESetFunction()
900e884886fSBarry Smith @*/
9017087cfbeSBarry Smith PetscErrorCode  MatMFFDSetFunction(Mat mat,PetscErrorCode (*func)(void*,Vec,Vec),void *funcctx)
902e884886fSBarry Smith {
903bc0f08ceSBarry Smith   PetscErrorCode ierr;
904e884886fSBarry Smith 
905e884886fSBarry Smith   PetscFunctionBegin;
906bc0f08ceSBarry Smith   ierr = PetscTryMethod(mat,"MatMFFDSetFunction_C",(Mat,PetscErrorCode (*)(void*,Vec,Vec),void*),(mat,func,funcctx));CHKERRQ(ierr);
907e884886fSBarry Smith   PetscFunctionReturn(0);
908e884886fSBarry Smith }
909e884886fSBarry Smith 
910e884886fSBarry Smith #undef __FUNCT__
911e884886fSBarry Smith #define __FUNCT__ "MatMFFDSetFunctioni"
912e884886fSBarry Smith /*@C
913e884886fSBarry Smith    MatMFFDSetFunctioni - Sets the function for a single component
914e884886fSBarry Smith 
9153f9fe445SBarry Smith    Logically Collective on Mat
916e884886fSBarry Smith 
917e884886fSBarry Smith    Input Parameters:
918e884886fSBarry Smith +  mat - the matrix free matrix created via MatCreateSNESMF()
919e884886fSBarry Smith -  funci - the function to use
920e884886fSBarry Smith 
921e884886fSBarry Smith    Level: advanced
922e884886fSBarry Smith 
923e884886fSBarry Smith    Notes:
924e884886fSBarry Smith     If you use this you MUST call MatAssemblyBegin()/MatAssemblyEnd() on the matrix free
925e884886fSBarry Smith     matrix inside your compute Jacobian routine
926e884886fSBarry Smith 
927e884886fSBarry Smith 
928e884886fSBarry Smith .keywords: SNES, matrix-free, function
929e884886fSBarry Smith 
9301d0fab5eSBarry Smith .seealso: MatCreateSNESMF(),MatMFFDGetH(), MatMFFDSetHHistory(), MatMFFDResetHHistory(), SNESetFunction()
9311d0fab5eSBarry Smith 
932e884886fSBarry Smith @*/
9337087cfbeSBarry Smith PetscErrorCode  MatMFFDSetFunctioni(Mat mat,PetscErrorCode (*funci)(void*,PetscInt,Vec,PetscScalar*))
934e884886fSBarry Smith {
9354ac538c5SBarry Smith   PetscErrorCode ierr;
936e884886fSBarry Smith 
937e884886fSBarry Smith   PetscFunctionBegin;
9380700a824SBarry Smith   PetscValidHeaderSpecific(mat,MAT_CLASSID,1);
9394ac538c5SBarry Smith   ierr = PetscTryMethod(mat,"MatMFFDSetFunctioni_C",(Mat,PetscErrorCode (*)(void*,PetscInt,Vec,PetscScalar*)),(mat,funci));CHKERRQ(ierr);
940e884886fSBarry Smith   PetscFunctionReturn(0);
941e884886fSBarry Smith }
942e884886fSBarry Smith 
943e884886fSBarry Smith 
944e884886fSBarry Smith #undef __FUNCT__
945e884886fSBarry Smith #define __FUNCT__ "MatMFFDSetFunctioniBase"
946e884886fSBarry Smith /*@C
947e884886fSBarry Smith    MatMFFDSetFunctioniBase - Sets the base vector for a single component function evaluation
948e884886fSBarry Smith 
9493f9fe445SBarry Smith    Logically Collective on Mat
950e884886fSBarry Smith 
951e884886fSBarry Smith    Input Parameters:
952e884886fSBarry Smith +  mat - the matrix free matrix created via MatCreateSNESMF()
953e884886fSBarry Smith -  func - the function to use
954e884886fSBarry Smith 
955e884886fSBarry Smith    Level: advanced
956e884886fSBarry Smith 
957e884886fSBarry Smith    Notes:
958e884886fSBarry Smith     If you use this you MUST call MatAssemblyBegin()/MatAssemblyEnd() on the matrix free
959e884886fSBarry Smith     matrix inside your compute Jacobian routine
960e884886fSBarry Smith 
961e884886fSBarry Smith 
962e884886fSBarry Smith .keywords: SNES, matrix-free, function
963e884886fSBarry Smith 
964e884886fSBarry Smith .seealso: MatCreateSNESMF(),MatMFFDGetH(), MatCreateMFFD(), MATMFFD
9651d0fab5eSBarry Smith           MatMFFDSetHHistory(), MatMFFDResetHHistory(), SNESetFunction()
966e884886fSBarry Smith @*/
9677087cfbeSBarry Smith PetscErrorCode  MatMFFDSetFunctioniBase(Mat mat,PetscErrorCode (*func)(void*,Vec))
968e884886fSBarry Smith {
9694ac538c5SBarry Smith   PetscErrorCode ierr;
970e884886fSBarry Smith 
971e884886fSBarry Smith   PetscFunctionBegin;
9720700a824SBarry Smith   PetscValidHeaderSpecific(mat,MAT_CLASSID,1);
9734ac538c5SBarry Smith   ierr = PetscTryMethod(mat,"MatMFFDSetFunctioniBase_C",(Mat,PetscErrorCode (*)(void*,Vec)),(mat,func));CHKERRQ(ierr);
974e884886fSBarry Smith   PetscFunctionReturn(0);
975e884886fSBarry Smith }
976e884886fSBarry Smith 
977e884886fSBarry Smith #undef __FUNCT__
978e884886fSBarry Smith #define __FUNCT__ "MatMFFDSetPeriod"
979e884886fSBarry Smith /*@
980e884886fSBarry Smith    MatMFFDSetPeriod - Sets how often h is recomputed, by default it is everytime
981e884886fSBarry Smith 
9823f9fe445SBarry Smith    Logically Collective on Mat
983e884886fSBarry Smith 
984e884886fSBarry Smith    Input Parameters:
985e884886fSBarry Smith +  mat - the matrix free matrix created via MatCreateSNESMF()
986e884886fSBarry Smith -  period - 1 for everytime, 2 for every second etc
987e884886fSBarry Smith 
988e884886fSBarry Smith    Options Database Keys:
989e884886fSBarry Smith +  -mat_mffd_period <period>
990e884886fSBarry Smith 
991e884886fSBarry Smith    Level: advanced
992e884886fSBarry Smith 
993e884886fSBarry Smith 
994e884886fSBarry Smith .keywords: SNES, matrix-free, parameters
995e884886fSBarry Smith 
996e884886fSBarry Smith .seealso: MatCreateSNESMF(),MatMFFDGetH(),
9971d0fab5eSBarry Smith           MatMFFDSetHHistory(), MatMFFDResetHHistory()
998e884886fSBarry Smith @*/
9997087cfbeSBarry Smith PetscErrorCode  MatMFFDSetPeriod(Mat mat,PetscInt period)
1000e884886fSBarry Smith {
1001bc0f08ceSBarry Smith   PetscErrorCode ierr;
1002e884886fSBarry Smith 
1003e884886fSBarry Smith   PetscFunctionBegin;
1004bc0f08ceSBarry Smith   ierr = PetscTryMethod(mat,"MatMFFDSetPeriod_C",(Mat,PetscInt),(mat,period));CHKERRQ(ierr);
1005e884886fSBarry Smith   PetscFunctionReturn(0);
1006e884886fSBarry Smith }
1007e884886fSBarry Smith 
1008e884886fSBarry Smith #undef __FUNCT__
1009e884886fSBarry Smith #define __FUNCT__ "MatMFFDSetFunctionError"
1010e884886fSBarry Smith /*@
1011e884886fSBarry Smith    MatMFFDSetFunctionError - Sets the error_rel for the approximation of
1012e884886fSBarry Smith    matrix-vector products using finite differences.
1013e884886fSBarry Smith 
10143f9fe445SBarry Smith    Logically Collective on Mat
1015e884886fSBarry Smith 
1016e884886fSBarry Smith    Input Parameters:
1017e884886fSBarry Smith +  mat - the matrix free matrix created via MatCreateMFFD() or MatCreateSNESMF()
1018e884886fSBarry Smith -  error_rel - relative error (should be set to the square root of
1019e884886fSBarry Smith                the relative error in the function evaluations)
1020e884886fSBarry Smith 
1021e884886fSBarry Smith    Options Database Keys:
1022e884886fSBarry Smith +  -mat_mffd_err <error_rel> - Sets error_rel
1023e884886fSBarry Smith 
1024e884886fSBarry Smith    Level: advanced
1025e884886fSBarry Smith 
1026e884886fSBarry Smith    Notes:
1027e884886fSBarry Smith    The default matrix-free matrix-vector product routine computes
1028e884886fSBarry Smith .vb
1029e884886fSBarry Smith      F'(u)*a = [F(u+h*a) - F(u)]/h where
1030e884886fSBarry Smith      h = error_rel*u'a/||a||^2                        if  |u'a| > umin*||a||_{1}
1031e884886fSBarry Smith        = error_rel*umin*sign(u'a)*||a||_{1}/||a||^2   else
1032e884886fSBarry Smith .ve
1033e884886fSBarry Smith 
1034e884886fSBarry Smith .keywords: SNES, matrix-free, parameters
1035e884886fSBarry Smith 
1036e884886fSBarry Smith .seealso: MatCreateSNESMF(),MatMFFDGetH(), MatCreateMFFD(), MATMFFD
10371d0fab5eSBarry Smith           MatMFFDSetHHistory(), MatMFFDResetHHistory()
1038e884886fSBarry Smith @*/
10397087cfbeSBarry Smith PetscErrorCode  MatMFFDSetFunctionError(Mat mat,PetscReal error)
1040e884886fSBarry Smith {
1041bc0f08ceSBarry Smith   PetscErrorCode ierr;
1042e884886fSBarry Smith 
1043e884886fSBarry Smith   PetscFunctionBegin;
1044bc0f08ceSBarry Smith   ierr = PetscTryMethod(mat,"MatMFFDSetFunctionError_C",(Mat,PetscReal),(mat,error));CHKERRQ(ierr);
1045e884886fSBarry Smith   PetscFunctionReturn(0);
1046e884886fSBarry Smith }
1047e884886fSBarry Smith 
1048e884886fSBarry Smith #undef __FUNCT__
1049e884886fSBarry Smith #define __FUNCT__ "MatMFFDSetHHistory"
1050e884886fSBarry Smith /*@
1051e884886fSBarry Smith    MatMFFDSetHHistory - Sets an array to collect a history of the
1052e884886fSBarry Smith    differencing values (h) computed for the matrix-free product.
1053e884886fSBarry Smith 
10543f9fe445SBarry Smith    Logically Collective on Mat
1055e884886fSBarry Smith 
1056e884886fSBarry Smith    Input Parameters:
1057e884886fSBarry Smith +  J - the matrix-free matrix context
1058e884886fSBarry Smith .  histroy - space to hold the history
1059e884886fSBarry Smith -  nhistory - number of entries in history, if more entries are generated than
1060e884886fSBarry Smith               nhistory, then the later ones are discarded
1061e884886fSBarry Smith 
1062e884886fSBarry Smith    Level: advanced
1063e884886fSBarry Smith 
1064e884886fSBarry Smith    Notes:
1065e884886fSBarry Smith    Use MatMFFDResetHHistory() to reset the history counter and collect
1066e884886fSBarry Smith    a new batch of differencing parameters, h.
1067e884886fSBarry Smith 
1068e884886fSBarry Smith .keywords: SNES, matrix-free, h history, differencing history
1069e884886fSBarry Smith 
1070e884886fSBarry Smith .seealso: MatMFFDGetH(), MatCreateSNESMF(),
10711d0fab5eSBarry Smith           MatMFFDResetHHistory(), MatMFFDSetFunctionError()
1072e884886fSBarry Smith 
1073e884886fSBarry Smith @*/
10747087cfbeSBarry Smith PetscErrorCode  MatMFFDSetHHistory(Mat J,PetscScalar history[],PetscInt nhistory)
1075e884886fSBarry Smith {
1076e884886fSBarry Smith   MatMFFD        ctx = (MatMFFD)J->data;
1077bc0f08ceSBarry Smith   PetscErrorCode ierr;
1078bc0f08ceSBarry Smith   PetscBool      match;
1079e884886fSBarry Smith 
1080e884886fSBarry Smith   PetscFunctionBegin;
1081251f4c67SDmitry Karpeev   ierr = PetscObjectTypeCompare((PetscObject)J,MATMFFD,&match);CHKERRQ(ierr);
1082ce94432eSBarry Smith   if (!match) SETERRQ(PetscObjectComm((PetscObject)J),PETSC_ERR_ARG_WRONG,"Not a MFFD matrix");
1083e884886fSBarry Smith   ctx->historyh    = history;
1084e884886fSBarry Smith   ctx->maxcurrenth = nhistory;
108575567043SBarry Smith   ctx->currenth    = 0.;
1086e884886fSBarry Smith   PetscFunctionReturn(0);
1087e884886fSBarry Smith }
1088e884886fSBarry Smith 
1089bc0f08ceSBarry Smith 
1090e884886fSBarry Smith #undef __FUNCT__
1091e884886fSBarry Smith #define __FUNCT__ "MatMFFDResetHHistory"
1092e884886fSBarry Smith /*@
1093e884886fSBarry Smith    MatMFFDResetHHistory - Resets the counter to zero to begin
1094e884886fSBarry Smith    collecting a new set of differencing histories.
1095e884886fSBarry Smith 
10963f9fe445SBarry Smith    Logically Collective on Mat
1097e884886fSBarry Smith 
1098e884886fSBarry Smith    Input Parameters:
1099e884886fSBarry Smith .  J - the matrix-free matrix context
1100e884886fSBarry Smith 
1101e884886fSBarry Smith    Level: advanced
1102e884886fSBarry Smith 
1103e884886fSBarry Smith    Notes:
1104e884886fSBarry Smith    Use MatMFFDSetHHistory() to create the original history counter.
1105e884886fSBarry Smith 
1106e884886fSBarry Smith .keywords: SNES, matrix-free, h history, differencing history
1107e884886fSBarry Smith 
1108e884886fSBarry Smith .seealso: MatMFFDGetH(), MatCreateSNESMF(),
11091d0fab5eSBarry Smith           MatMFFDSetHHistory(), MatMFFDSetFunctionError()
1110e884886fSBarry Smith 
1111e884886fSBarry Smith @*/
11127087cfbeSBarry Smith PetscErrorCode  MatMFFDResetHHistory(Mat J)
1113e884886fSBarry Smith {
1114bc0f08ceSBarry Smith   PetscErrorCode ierr;
1115e884886fSBarry Smith 
1116e884886fSBarry Smith   PetscFunctionBegin;
1117bc0f08ceSBarry Smith   ierr = PetscTryMethod(J,"MatMFFDResetHHistory_C",(Mat),(J));CHKERRQ(ierr);
1118e884886fSBarry Smith   PetscFunctionReturn(0);
1119e884886fSBarry Smith }
1120e884886fSBarry Smith 
1121e884886fSBarry Smith 
1122e884886fSBarry Smith #undef __FUNCT__
1123e884886fSBarry Smith #define __FUNCT__ "MatMFFDSetBase"
1124e884886fSBarry Smith /*@
1125e884886fSBarry Smith     MatMFFDSetBase - Sets the vector U at which matrix vector products of the
1126e884886fSBarry Smith         Jacobian are computed
1127e884886fSBarry Smith 
11283f9fe445SBarry Smith     Logically Collective on Mat
1129e884886fSBarry Smith 
1130e884886fSBarry Smith     Input Parameters:
1131e884886fSBarry Smith +   J - the MatMFFD matrix
11323ec795f1SBarry Smith .   U - the vector
1133bcddec3dSBarry Smith -   F - (optional) vector that contains F(u) if it has been already computed
1134e884886fSBarry Smith 
1135e884886fSBarry Smith     Notes: This is rarely used directly
1136e884886fSBarry Smith 
11378af5ae88SBarry Smith     If F is provided then it is not recomputed. Otherwise the function is evaluated at the base
11388af5ae88SBarry Smith     point during the first MatMult() after each call to MatMFFDSetBase().
1139dff2f722SBarry Smith 
1140e884886fSBarry Smith     Level: advanced
1141e884886fSBarry Smith 
1142e884886fSBarry Smith @*/
11437087cfbeSBarry Smith PetscErrorCode  MatMFFDSetBase(Mat J,Vec U,Vec F)
1144e884886fSBarry Smith {
11454ac538c5SBarry Smith   PetscErrorCode ierr;
1146e884886fSBarry Smith 
1147e884886fSBarry Smith   PetscFunctionBegin;
11480700a824SBarry Smith   PetscValidHeaderSpecific(J,MAT_CLASSID,1);
11490700a824SBarry Smith   PetscValidHeaderSpecific(U,VEC_CLASSID,2);
11500700a824SBarry Smith   if (F) PetscValidHeaderSpecific(F,VEC_CLASSID,3);
11514ac538c5SBarry Smith   ierr = PetscTryMethod(J,"MatMFFDSetBase_C",(Mat,Vec,Vec),(J,U,F));CHKERRQ(ierr);
1152e884886fSBarry Smith   PetscFunctionReturn(0);
1153e884886fSBarry Smith }
1154e884886fSBarry Smith 
1155e884886fSBarry Smith #undef __FUNCT__
1156e884886fSBarry Smith #define __FUNCT__ "MatMFFDSetCheckh"
1157e884886fSBarry Smith /*@C
1158e884886fSBarry Smith     MatMFFDSetCheckh - Sets a function that checks the computed h and adjusts
1159e884886fSBarry Smith         it to satisfy some criteria
1160e884886fSBarry Smith 
11613f9fe445SBarry Smith     Logically Collective on Mat
1162e884886fSBarry Smith 
1163e884886fSBarry Smith     Input Parameters:
1164e884886fSBarry Smith +   J - the MatMFFD matrix
1165e884886fSBarry Smith .   fun - the function that checks h
1166e884886fSBarry Smith -   ctx - any context needed by the function
1167e884886fSBarry Smith 
1168e884886fSBarry Smith     Options Database Keys:
1169e884886fSBarry Smith .   -mat_mffd_check_positivity
1170e884886fSBarry Smith 
1171e884886fSBarry Smith     Level: advanced
1172e884886fSBarry Smith 
1173*755b7f64SBarry Smith     Notes: For example, MatMFFDCheckPositivity() insures that all entries
1174e884886fSBarry Smith        of U + h*a are non-negative
1175e884886fSBarry Smith 
1176*755b7f64SBarry Smith      The function you provide is called after the default h has been computed and allows you to
1177*755b7f64SBarry Smith      modify it.
1178*755b7f64SBarry Smith 
1179*755b7f64SBarry Smith .seealso:  MatMFFDCheckPositivity()
1180e884886fSBarry Smith @*/
11817087cfbeSBarry Smith PetscErrorCode  MatMFFDSetCheckh(Mat J,PetscErrorCode (*fun)(void*,Vec,Vec,PetscScalar*),void *ctx)
1182e884886fSBarry Smith {
11834ac538c5SBarry Smith   PetscErrorCode ierr;
1184e884886fSBarry Smith 
1185e884886fSBarry Smith   PetscFunctionBegin;
11860700a824SBarry Smith   PetscValidHeaderSpecific(J,MAT_CLASSID,1);
11874ac538c5SBarry Smith   ierr = PetscTryMethod(J,"MatMFFDSetCheckh_C",(Mat,PetscErrorCode (*)(void*,Vec,Vec,PetscScalar*),void*),(J,fun,ctx));CHKERRQ(ierr);
1188e884886fSBarry Smith   PetscFunctionReturn(0);
1189e884886fSBarry Smith }
1190e884886fSBarry Smith 
1191e884886fSBarry Smith #undef __FUNCT__
1192*755b7f64SBarry Smith #define __FUNCT__ "MatMFFDCheckPositivity"
1193e884886fSBarry Smith /*@
1194e884886fSBarry Smith     MatMFFDCheckPositivity - Checks that all entries in U + h*a are positive or
1195e884886fSBarry Smith         zero, decreases h until this is satisfied.
1196e884886fSBarry Smith 
11973f9fe445SBarry Smith     Logically Collective on Vec
1198e884886fSBarry Smith 
1199e884886fSBarry Smith     Input Parameters:
1200e884886fSBarry Smith +   U - base vector that is added to
1201e884886fSBarry Smith .   a - vector that is added
1202e884886fSBarry Smith .   h - scaling factor on a
1203e884886fSBarry Smith -   dummy - context variable (unused)
1204e884886fSBarry Smith 
1205e884886fSBarry Smith     Options Database Keys:
1206e884886fSBarry Smith .   -mat_mffd_check_positivity
1207e884886fSBarry Smith 
1208e884886fSBarry Smith     Level: advanced
1209e884886fSBarry Smith 
1210e884886fSBarry Smith     Notes: This is rarely used directly, rather it is passed as an argument to
1211e884886fSBarry Smith            MatMFFDSetCheckh()
1212e884886fSBarry Smith 
1213e884886fSBarry Smith .seealso:  MatMFFDSetCheckh()
1214e884886fSBarry Smith @*/
12157087cfbeSBarry Smith PetscErrorCode  MatMFFDCheckPositivity(void *dummy,Vec U,Vec a,PetscScalar *h)
1216e884886fSBarry Smith {
1217e884886fSBarry Smith   PetscReal      val, minval;
1218e884886fSBarry Smith   PetscScalar    *u_vec, *a_vec;
1219e884886fSBarry Smith   PetscErrorCode ierr;
1220e884886fSBarry Smith   PetscInt       i,n;
1221e884886fSBarry Smith   MPI_Comm       comm;
1222e884886fSBarry Smith 
1223e884886fSBarry Smith   PetscFunctionBegin;
1224e884886fSBarry Smith   ierr   = PetscObjectGetComm((PetscObject)U,&comm);CHKERRQ(ierr);
1225e884886fSBarry Smith   ierr   = VecGetArray(U,&u_vec);CHKERRQ(ierr);
1226e884886fSBarry Smith   ierr   = VecGetArray(a,&a_vec);CHKERRQ(ierr);
1227e884886fSBarry Smith   ierr   = VecGetLocalSize(U,&n);CHKERRQ(ierr);
1228e884886fSBarry Smith   minval = PetscAbsScalar(*h*1.01);
1229e884886fSBarry Smith   for (i=0; i<n; i++) {
1230e884886fSBarry Smith     if (PetscRealPart(u_vec[i] + *h*a_vec[i]) <= 0.0) {
1231e884886fSBarry Smith       val = PetscAbsScalar(u_vec[i]/a_vec[i]);
1232e884886fSBarry Smith       if (val < minval) minval = val;
1233e884886fSBarry Smith     }
1234e884886fSBarry Smith   }
1235e884886fSBarry Smith   ierr = VecRestoreArray(U,&u_vec);CHKERRQ(ierr);
1236e884886fSBarry Smith   ierr = VecRestoreArray(a,&a_vec);CHKERRQ(ierr);
1237b2566f29SBarry Smith   ierr = MPIU_Allreduce(&minval,&val,1,MPIU_REAL,MPIU_MIN,comm);CHKERRQ(ierr);
1238e884886fSBarry Smith   if (val <= PetscAbsScalar(*h)) {
12396712e2f1SBarry Smith     ierr = PetscInfo2(U,"Scaling back h from %g to %g\n",(double)PetscRealPart(*h),(double)(.99*val));CHKERRQ(ierr);
1240e884886fSBarry Smith     if (PetscRealPart(*h) > 0.0) *h =  0.99*val;
1241e884886fSBarry Smith     else                         *h = -0.99*val;
1242e884886fSBarry Smith   }
1243e884886fSBarry Smith   PetscFunctionReturn(0);
1244e884886fSBarry Smith }
1245e884886fSBarry Smith 
1246e884886fSBarry Smith 
1247e884886fSBarry Smith 
1248e884886fSBarry Smith 
1249e884886fSBarry Smith 
1250e884886fSBarry Smith 
1251e884886fSBarry Smith 
1252