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