1 /* 2 User interface for the nonlinear solvers package. 3 */ 4 #if !defined(PETSCSNES_H) 5 #define PETSCSNES_H 6 #include <petscksp.h> 7 #include <petscdmtypes.h> 8 #include <petscfvtypes.h> 9 #include <petscdmdatypes.h> 10 11 /*S 12 SNES - Abstract PETSc object that manages all nonlinear solves 13 14 Level: beginner 15 16 .seealso: SNESCreate(), SNESSetType(), SNESType, TS, KSP, KSP, PC, SNESDestroy() 17 S*/ 18 typedef struct _p_SNES* SNES; 19 20 /*J 21 SNESType - String with the name of a PETSc SNES method. 22 23 Level: beginner 24 25 .seealso: SNESSetType(), SNES, SNESCreate(), SNESDestroy(), SNESSetFromOptions() 26 J*/ 27 typedef const char* SNESType; 28 #define SNESNEWTONLS "newtonls" 29 #define SNESNEWTONTR "newtontr" 30 #define SNESPYTHON "python" 31 #define SNESNRICHARDSON "nrichardson" 32 #define SNESKSPONLY "ksponly" 33 #define SNESKSPTRANSPOSEONLY "ksptransposeonly" 34 #define SNESVINEWTONRSLS "vinewtonrsls" 35 #define SNESVINEWTONSSLS "vinewtonssls" 36 #define SNESNGMRES "ngmres" 37 #define SNESQN "qn" 38 #define SNESSHELL "shell" 39 #define SNESNGS "ngs" 40 #define SNESNCG "ncg" 41 #define SNESFAS "fas" 42 #define SNESMS "ms" 43 #define SNESNASM "nasm" 44 #define SNESANDERSON "anderson" 45 #define SNESASPIN "aspin" 46 #define SNESCOMPOSITE "composite" 47 #define SNESPATCH "patch" 48 49 /* Logging support */ 50 PETSC_EXTERN PetscClassId SNES_CLASSID; 51 PETSC_EXTERN PetscClassId DMSNES_CLASSID; 52 53 PETSC_EXTERN PetscErrorCode SNESInitializePackage(void); 54 55 PETSC_EXTERN PetscErrorCode SNESCreate(MPI_Comm,SNES*); 56 PETSC_EXTERN PetscErrorCode SNESReset(SNES); 57 PETSC_EXTERN PetscErrorCode SNESDestroy(SNES*); 58 PETSC_EXTERN PetscErrorCode SNESSetType(SNES,SNESType); 59 PETSC_EXTERN PetscErrorCode SNESMonitor(SNES,PetscInt,PetscReal); 60 PETSC_EXTERN PetscErrorCode SNESMonitorSet(SNES,PetscErrorCode(*)(SNES,PetscInt,PetscReal,void*),void *,PetscErrorCode (*)(void**)); 61 PETSC_EXTERN PetscErrorCode SNESMonitorSetFromOptions(SNES,const char[],const char[],const char [],PetscErrorCode (*)(SNES,PetscInt,PetscReal,PetscViewerAndFormat*),PetscErrorCode (*)(SNES,PetscViewerAndFormat*)); 62 PETSC_EXTERN PetscErrorCode SNESMonitorCancel(SNES); 63 PETSC_EXTERN PetscErrorCode SNESMonitorSAWs(SNES,PetscInt,PetscReal,void*); 64 PETSC_EXTERN PetscErrorCode SNESMonitorSAWsCreate(SNES,void**); 65 PETSC_EXTERN PetscErrorCode SNESMonitorSAWsDestroy(void**); 66 PETSC_EXTERN PetscErrorCode SNESSetConvergenceHistory(SNES,PetscReal[],PetscInt[],PetscInt,PetscBool); 67 PETSC_EXTERN PetscErrorCode SNESGetConvergenceHistory(SNES,PetscReal*[],PetscInt *[],PetscInt *); 68 PETSC_EXTERN PetscErrorCode SNESSetUp(SNES); 69 PETSC_EXTERN PetscErrorCode SNESSolve(SNES,Vec,Vec); 70 PETSC_EXTERN PetscErrorCode SNESSetErrorIfNotConverged(SNES,PetscBool); 71 PETSC_EXTERN PetscErrorCode SNESGetErrorIfNotConverged(SNES,PetscBool *); 72 73 PETSC_EXTERN PetscErrorCode SNESSetWorkVecs(SNES,PetscInt); 74 75 PETSC_EXTERN PetscErrorCode SNESAddOptionsChecker(PetscErrorCode (*)(SNES)); 76 77 PETSC_EXTERN PetscErrorCode SNESSetUpdate(SNES, PetscErrorCode (*)(SNES, PetscInt)); 78 79 80 PETSC_EXTERN PetscErrorCode SNESRegister(const char[],PetscErrorCode (*)(SNES)); 81 82 PETSC_EXTERN PetscErrorCode SNESGetKSP(SNES,KSP*); 83 PETSC_EXTERN PetscErrorCode SNESSetKSP(SNES,KSP); 84 PETSC_EXTERN PetscErrorCode SNESSetSolution(SNES,Vec); 85 PETSC_EXTERN PetscErrorCode SNESGetSolution(SNES,Vec*); 86 PETSC_EXTERN PetscErrorCode SNESGetSolutionUpdate(SNES,Vec*); 87 PETSC_EXTERN PetscErrorCode SNESGetRhs(SNES,Vec*); 88 PETSC_EXTERN PetscErrorCode SNESView(SNES,PetscViewer); 89 PETSC_EXTERN PetscErrorCode SNESLoad(SNES,PetscViewer); 90 PETSC_EXTERN PetscErrorCode SNESViewFromOptions(SNES,PetscObject,const char[]); 91 PETSC_EXTERN PetscErrorCode SNESConvergedReasonView(SNES,PetscViewer); 92 PETSC_EXTERN PetscErrorCode SNESConvergedReasonViewFromOptions(SNES); 93 94 PETSC_DEPRECATED_FUNCTION("Use SNESConvergedReasonView() (since version 3.14)") PETSC_STATIC_INLINE PetscErrorCode SNESReasonView(SNES snes,PetscViewer v) {return SNESConvergedReasonView(snes,v);} 95 PETSC_DEPRECATED_FUNCTION("Use SNESConvergedReasonViewFromOptions() (since version 3.14)") PETSC_STATIC_INLINE PetscErrorCode SNESReasonViewFromOptions(SNES snes) {return SNESConvergedReasonViewFromOptions(snes);} 96 97 #define SNES_FILE_CLASSID 1211224 98 99 PETSC_EXTERN PetscErrorCode SNESSetOptionsPrefix(SNES,const char[]); 100 PETSC_EXTERN PetscErrorCode SNESAppendOptionsPrefix(SNES,const char[]); 101 PETSC_EXTERN PetscErrorCode SNESGetOptionsPrefix(SNES,const char*[]); 102 PETSC_EXTERN PetscErrorCode SNESSetFromOptions(SNES); 103 PETSC_EXTERN PetscErrorCode SNESResetFromOptions(SNES); 104 105 PETSC_EXTERN PetscErrorCode SNESSetUseMatrixFree(SNES,PetscBool,PetscBool); 106 PETSC_EXTERN PetscErrorCode SNESGetUseMatrixFree(SNES,PetscBool*,PetscBool*); 107 PETSC_EXTERN PetscErrorCode MatCreateSNESMF(SNES,Mat*); 108 PETSC_EXTERN PetscErrorCode MatSNESMFGetSNES(Mat,SNES*); 109 PETSC_EXTERN PetscErrorCode MatSNESMFSetReuseBase(Mat,PetscBool); 110 PETSC_EXTERN PetscErrorCode MatSNESMFGetReuseBase(Mat,PetscBool*); 111 PETSC_EXTERN PetscErrorCode MatMFFDComputeJacobian(SNES,Vec,Mat,Mat,void*); 112 113 PETSC_EXTERN PetscErrorCode MatDAADSetSNES(Mat,SNES); 114 115 PETSC_EXTERN PetscErrorCode SNESGetType(SNES,SNESType*); 116 PETSC_EXTERN PetscErrorCode SNESMonitorDefault(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 117 PETSC_EXTERN PetscErrorCode SNESMonitorScaling(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 118 PETSC_EXTERN PetscErrorCode SNESMonitorRange(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 119 PETSC_EXTERN PetscErrorCode SNESMonitorRatio(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 120 PETSC_EXTERN PetscErrorCode SNESMonitorRatioSetUp(SNES,PetscViewerAndFormat*); 121 PETSC_EXTERN PetscErrorCode SNESMonitorSolution(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 122 PETSC_EXTERN PetscErrorCode SNESMonitorResidual(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 123 PETSC_EXTERN PetscErrorCode SNESMonitorSolutionUpdate(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 124 PETSC_EXTERN PetscErrorCode SNESMonitorDefaultShort(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 125 PETSC_EXTERN PetscErrorCode SNESMonitorDefaultField(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 126 PETSC_EXTERN PetscErrorCode SNESMonitorJacUpdateSpectrum(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 127 PETSC_EXTERN PetscErrorCode SNESMonitorFields(SNES,PetscInt,PetscReal,PetscViewerAndFormat *); 128 PETSC_EXTERN PetscErrorCode KSPMonitorSNES(KSP,PetscInt,PetscReal,void*); 129 PETSC_EXTERN PetscErrorCode KSPMonitorSNESLGResidualNormCreate(MPI_Comm,const char[],const char[],int,int,int,int,PetscObject**); 130 PETSC_EXTERN PetscErrorCode KSPMonitorSNESLGResidualNorm(KSP,PetscInt,PetscReal,PetscObject*); 131 PETSC_EXTERN PetscErrorCode KSPMonitorSNESLGResidualNormDestroy(PetscObject**); 132 133 PETSC_EXTERN PetscErrorCode SNESSetTolerances(SNES,PetscReal,PetscReal,PetscReal,PetscInt,PetscInt); 134 PETSC_EXTERN PetscErrorCode SNESSetDivergenceTolerance(SNES,PetscReal); 135 PETSC_EXTERN PetscErrorCode SNESGetTolerances(SNES,PetscReal*,PetscReal*,PetscReal*,PetscInt*,PetscInt*); 136 PETSC_EXTERN PetscErrorCode SNESGetDivergenceTolerance(SNES,PetscReal*); 137 PETSC_EXTERN PetscErrorCode SNESSetTrustRegionTolerance(SNES,PetscReal); 138 PETSC_EXTERN PetscErrorCode SNESGetForceIteration(SNES,PetscBool*); 139 PETSC_EXTERN PetscErrorCode SNESSetForceIteration(SNES,PetscBool); 140 PETSC_EXTERN PetscErrorCode SNESGetIterationNumber(SNES,PetscInt*); 141 PETSC_EXTERN PetscErrorCode SNESSetIterationNumber(SNES,PetscInt); 142 143 PETSC_EXTERN PetscErrorCode SNESNewtonTRSetPreCheck(SNES, PetscErrorCode (*)(SNES,Vec,Vec,PetscBool*,void*),void *ctx); 144 PETSC_EXTERN PetscErrorCode SNESNewtonTRGetPreCheck(SNES, PetscErrorCode (**)(SNES,Vec,Vec,PetscBool*,void*),void **ctx); 145 PETSC_EXTERN PetscErrorCode SNESNewtonTRSetPostCheck(SNES, PetscErrorCode (*)(SNES,Vec,Vec,Vec,PetscBool*,PetscBool*,void*),void *ctx); 146 PETSC_EXTERN PetscErrorCode SNESNewtonTRGetPostCheck(SNES, PetscErrorCode (**)(SNES,Vec,Vec,Vec,PetscBool*,PetscBool*,void*),void **ctx); 147 148 PETSC_EXTERN PetscErrorCode SNESGetNonlinearStepFailures(SNES,PetscInt*); 149 PETSC_EXTERN PetscErrorCode SNESSetMaxNonlinearStepFailures(SNES,PetscInt); 150 PETSC_EXTERN PetscErrorCode SNESGetMaxNonlinearStepFailures(SNES,PetscInt*); 151 PETSC_EXTERN PetscErrorCode SNESGetNumberFunctionEvals(SNES,PetscInt*); 152 153 PETSC_EXTERN PetscErrorCode SNESSetLagPreconditioner(SNES,PetscInt); 154 PETSC_EXTERN PetscErrorCode SNESGetLagPreconditioner(SNES,PetscInt*); 155 PETSC_EXTERN PetscErrorCode SNESSetLagJacobian(SNES,PetscInt); 156 PETSC_EXTERN PetscErrorCode SNESGetLagJacobian(SNES,PetscInt*); 157 PETSC_EXTERN PetscErrorCode SNESSetLagPreconditionerPersists(SNES,PetscBool); 158 PETSC_EXTERN PetscErrorCode SNESSetLagJacobianPersists(SNES,PetscBool); 159 PETSC_EXTERN PetscErrorCode SNESSetGridSequence(SNES,PetscInt); 160 PETSC_EXTERN PetscErrorCode SNESGetGridSequence(SNES,PetscInt*); 161 162 PETSC_EXTERN PetscErrorCode SNESGetLinearSolveIterations(SNES,PetscInt*); 163 PETSC_EXTERN PetscErrorCode SNESGetLinearSolveFailures(SNES,PetscInt*); 164 PETSC_EXTERN PetscErrorCode SNESSetMaxLinearSolveFailures(SNES,PetscInt); 165 PETSC_EXTERN PetscErrorCode SNESGetMaxLinearSolveFailures(SNES,PetscInt*); 166 PETSC_EXTERN PetscErrorCode SNESSetCountersReset(SNES,PetscBool); 167 168 PETSC_EXTERN PetscErrorCode SNESKSPSetUseEW(SNES,PetscBool); 169 PETSC_EXTERN PetscErrorCode SNESKSPGetUseEW(SNES,PetscBool *); 170 PETSC_EXTERN PetscErrorCode SNESKSPSetParametersEW(SNES,PetscInt,PetscReal,PetscReal,PetscReal,PetscReal,PetscReal,PetscReal); 171 PETSC_EXTERN PetscErrorCode SNESKSPGetParametersEW(SNES,PetscInt*,PetscReal*,PetscReal*,PetscReal*,PetscReal*,PetscReal*,PetscReal*); 172 173 #include <petscdrawtypes.h> 174 PETSC_EXTERN PetscErrorCode SNESMonitorLGCreate(MPI_Comm,const char[],const char[],int,int,int,int,PetscDrawLG*); 175 PETSC_EXTERN PetscErrorCode SNESMonitorLGResidualNorm(SNES,PetscInt,PetscReal,void*); 176 PETSC_EXTERN PetscErrorCode SNESMonitorLGRange(SNES,PetscInt,PetscReal,void*); 177 178 PETSC_EXTERN PetscErrorCode SNESSetApplicationContext(SNES,void *); 179 PETSC_EXTERN PetscErrorCode SNESGetApplicationContext(SNES,void *); 180 PETSC_EXTERN PetscErrorCode SNESSetComputeApplicationContext(SNES,PetscErrorCode (*)(SNES,void**),PetscErrorCode (*)(void**)); 181 182 PETSC_EXTERN PetscErrorCode SNESPythonSetType(SNES,const char[]); 183 184 PETSC_EXTERN PetscErrorCode SNESSetFunctionDomainError(SNES); 185 PETSC_EXTERN PetscErrorCode SNESGetFunctionDomainError(SNES, PetscBool *); 186 PETSC_EXTERN PetscErrorCode SNESGetJacobianDomainError(SNES,PetscBool*); 187 PETSC_EXTERN PetscErrorCode SNESSetJacobianDomainError(SNES); 188 PETSC_EXTERN PetscErrorCode SNESSetCheckJacobianDomainError(SNES,PetscBool); 189 PETSC_EXTERN PetscErrorCode SNESGetCheckJacobianDomainError(SNES,PetscBool*); 190 191 #define SNES_CONVERGED_TR_DELTA_DEPRECATED SNES_CONVERGED_TR_DELTA PETSC_DEPRECATED_ENUM("Use SNES_DIVERGED_TR_DELTA (since version 3.12)") 192 /*E 193 SNESConvergedReason - reason a SNES method was said to 194 have converged or diverged 195 196 Level: beginner 197 198 The two most common reasons for divergence are 199 $ 1) an incorrectly coded or computed Jacobian or 200 $ 2) failure or lack of convergence in the linear system (in this case we recommend 201 $ testing with -pc_type lu to eliminate the linear solver as the cause of the problem). 202 203 Diverged Reasons: 204 . SNES_DIVERGED_LOCAL_MIN - this can only occur when using the line-search variant of SNES. 205 The line search wants to minimize Q(alpha) = 1/2 || F(x + alpha s) ||^2_2 this occurs 206 at Q'(alpha) = s^T F'(x+alpha s)^T F(x+alpha s) = 0. If s is the Newton direction - F'(x)^(-1)F(x) then 207 you get Q'(alpha) = -F(x)^T F'(x)^(-1)^T F'(x+alpha s)F(x+alpha s); when alpha = 0 208 Q'(0) = - ||F(x)||^2_2 which is always NEGATIVE if F'(x) is invertible. This means the Newton 209 direction is a descent direction and the line search should succeed if alpha is small enough. 210 211 If F'(x) is NOT invertible AND F'(x)^T F(x) = 0 then Q'(0) = 0 and the Newton direction 212 is NOT a descent direction so the line search will fail. All one can do at this point 213 is change the initial guess and try again. 214 215 An alternative explanation: Newton's method can be regarded as replacing the function with 216 its linear approximation and minimizing the 2-norm of that. That is F(x+s) approx F(x) + F'(x)s 217 so we minimize || F(x) + F'(x) s ||^2_2; do this using Least Squares. If F'(x) is invertible then 218 s = - F'(x)^(-1)F(x) otherwise F'(x)^T F'(x) s = -F'(x)^T F(x). If F'(x)^T F(x) is NOT zero then there 219 exists a nontrival (that is F'(x)s != 0) solution to the equation and this direction is 220 s = - [F'(x)^T F'(x)]^(-1) F'(x)^T F(x) so Q'(0) = - F(x)^T F'(x) [F'(x)^T F'(x)]^(-T) F'(x)^T F(x) 221 = - (F'(x)^T F(x)) [F'(x)^T F'(x)]^(-T) (F'(x)^T F(x)). Since we are assuming (F'(x)^T F(x)) != 0 222 and F'(x)^T F'(x) has no negative eigenvalues Q'(0) < 0 so s is a descent direction and the line 223 search should succeed for small enough alpha. 224 225 Note that this RARELY happens in practice. Far more likely the linear system is not being solved 226 (well enough?) or the Jacobian is wrong. 227 228 SNES_DIVERGED_MAX_IT means that the solver reached the maximum number of iterations without satisfying any 229 convergence criteria. SNES_CONVERGED_ITS means that SNESConvergedSkip() was chosen as the convergence test; 230 thus the usual convergence criteria have not been checked and may or may not be satisfied. 231 232 Developer Notes: 233 this must match petsc/finclude/petscsnes.h 234 235 The string versions of these are in SNESConvergedReasons, if you change any value here you must 236 also adjust that array. 237 238 Each reason has its own manual page. 239 240 .seealso: SNESSolve(), SNESGetConvergedReason(), KSPConvergedReason, SNESSetConvergenceTest() 241 E*/ 242 typedef enum {/* converged */ 243 SNES_CONVERGED_FNORM_ABS = 2, /* ||F|| < atol */ 244 SNES_CONVERGED_FNORM_RELATIVE = 3, /* ||F|| < rtol*||F_initial|| */ 245 SNES_CONVERGED_SNORM_RELATIVE = 4, /* Newton computed step size small; || delta x || < stol || x ||*/ 246 SNES_CONVERGED_ITS = 5, /* maximum iterations reached */ 247 /* diverged */ 248 SNES_DIVERGED_FUNCTION_DOMAIN = -1, /* the new x location passed the function is not in the domain of F */ 249 SNES_DIVERGED_FUNCTION_COUNT = -2, 250 SNES_DIVERGED_LINEAR_SOLVE = -3, /* the linear solve failed */ 251 SNES_DIVERGED_FNORM_NAN = -4, 252 SNES_DIVERGED_MAX_IT = -5, 253 SNES_DIVERGED_LINE_SEARCH = -6, /* the line search failed */ 254 SNES_DIVERGED_INNER = -7, /* inner solve failed */ 255 SNES_DIVERGED_LOCAL_MIN = -8, /* || J^T b || is small, implies converged to local minimum of F() */ 256 SNES_DIVERGED_DTOL = -9, /* || F || > divtol*||F_initial|| */ 257 SNES_DIVERGED_JACOBIAN_DOMAIN = -10, /* Jacobian calculation does not make sense */ 258 SNES_DIVERGED_TR_DELTA = -11, 259 SNES_CONVERGED_TR_DELTA_DEPRECATED = -11, 260 261 SNES_CONVERGED_ITERATING = 0} SNESConvergedReason; 262 PETSC_EXTERN const char *const*SNESConvergedReasons; 263 264 /*MC 265 SNES_CONVERGED_FNORM_ABS - 2-norm(F) <= abstol 266 267 Level: beginner 268 269 .seealso: SNESSolve(), SNESGetConvergedReason(), SNESConvergedReason, SNESSetTolerances() 270 271 M*/ 272 273 /*MC 274 SNES_CONVERGED_FNORM_RELATIVE - 2-norm(F) <= rtol*2-norm(F(x_0)) where x_0 is the initial guess 275 276 Level: beginner 277 278 .seealso: SNESSolve(), SNESGetConvergedReason(), SNESConvergedReason, SNESSetTolerances() 279 280 M*/ 281 282 /*MC 283 SNES_CONVERGED_SNORM_RELATIVE - The 2-norm of the last step <= stol * 2-norm(x) where x is the current 284 solution and stol is the 4th argument to SNESSetTolerances() 285 286 Options Database Keys: 287 -snes_stol <stol> - the step tolerance 288 289 Level: beginner 290 291 .seealso: SNESSolve(), SNESGetConvergedReason(), SNESConvergedReason, SNESSetTolerances() 292 293 M*/ 294 295 /*MC 296 SNES_DIVERGED_FUNCTION_COUNT - The user provided function has been called more times then the final 297 argument to SNESSetTolerances() 298 299 Level: beginner 300 301 .seealso: SNESSolve(), SNESGetConvergedReason(), SNESConvergedReason, SNESSetTolerances() 302 303 M*/ 304 305 /*MC 306 SNES_DIVERGED_DTOL - The norm of the function has increased by a factor of divtol set with SNESSetDivergenceTolerance() 307 308 Level: beginner 309 310 .seealso: SNESSolve(), SNESGetConvergedReason(), SNESConvergedReason, SNESSetTolerances(), SNESSetDivergenceTolerance() 311 312 M*/ 313 314 /*MC 315 SNES_DIVERGED_FNORM_NAN - the 2-norm of the current function evaluation is not-a-number (NaN), this 316 is usually caused by a division of 0 by 0. 317 318 Level: beginner 319 320 .seealso: SNESSolve(), SNESGetConvergedReason(), SNESConvergedReason, SNESSetTolerances() 321 322 M*/ 323 324 /*MC 325 SNES_DIVERGED_MAX_IT - SNESSolve() has reached the maximum number of iterations requested 326 327 Level: beginner 328 329 .seealso: SNESSolve(), SNESGetConvergedReason(), SNESConvergedReason, SNESSetTolerances() 330 331 M*/ 332 333 /*MC 334 SNES_DIVERGED_LINE_SEARCH - The line search has failed. This only occurs for a SNES solvers that use a line search 335 336 Level: beginner 337 338 .seealso: SNESSolve(), SNESGetConvergedReason(), SNESConvergedReason, SNESSetTolerances(), SNESLineSearch 339 340 M*/ 341 342 /*MC 343 SNES_DIVERGED_LOCAL_MIN - the algorithm seems to have stagnated at a local minimum that is not zero. 344 See the manual page for SNESConvergedReason for more details 345 346 Level: beginner 347 348 .seealso: SNESSolve(), SNESGetConvergedReason(), SNESConvergedReason, SNESSetTolerances() 349 350 M*/ 351 352 /*MC 353 SNES_CONERGED_ITERATING - this only occurs if SNESGetConvergedReason() is called during the SNESSolve() 354 355 Level: beginner 356 357 .seealso: SNESSolve(), SNESGetConvergedReason(), SNESConvergedReason, SNESSetTolerances() 358 359 M*/ 360 361 PETSC_EXTERN PetscErrorCode SNESSetConvergenceTest(SNES,PetscErrorCode (*)(SNES,PetscInt,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*),void*,PetscErrorCode (*)(void*)); 362 PETSC_EXTERN PetscErrorCode SNESConvergedDefault(SNES,PetscInt,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*); 363 PETSC_EXTERN PetscErrorCode SNESConvergedSkip(SNES,PetscInt,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*); 364 PETSC_EXTERN PetscErrorCode SNESConvergedCorrectPressure(SNES,PetscInt,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*); 365 PETSC_EXTERN PetscErrorCode SNESGetConvergedReason(SNES,SNESConvergedReason*); 366 PETSC_EXTERN PetscErrorCode SNESSetConvergedReason(SNES,SNESConvergedReason); 367 368 PETSC_DEPRECATED_FUNCTION("Use SNESConvergedSkip() (since version 3.5)") PETSC_STATIC_INLINE void SNESSkipConverged(void) { /* never called */ } 369 #define SNESSkipConverged (SNESSkipConverged, SNESConvergedSkip) 370 371 /* --------- Solving systems of nonlinear equations --------------- */ 372 PETSC_EXTERN PetscErrorCode SNESSetFunction(SNES,Vec,PetscErrorCode (*)(SNES,Vec,Vec,void*),void*); 373 PETSC_EXTERN PetscErrorCode SNESGetFunction(SNES,Vec*,PetscErrorCode (**)(SNES,Vec,Vec,void*),void**); 374 PETSC_EXTERN PetscErrorCode SNESComputeFunction(SNES,Vec,Vec); 375 PETSC_EXTERN PetscErrorCode SNESSetInitialFunction(SNES,Vec); 376 377 PETSC_EXTERN PetscErrorCode SNESSetJacobian(SNES,Mat,Mat,PetscErrorCode (*)(SNES,Vec,Mat,Mat,void*),void*); 378 PETSC_EXTERN PetscErrorCode SNESGetJacobian(SNES,Mat*,Mat*,PetscErrorCode (**)(SNES,Vec,Mat,Mat,void*),void**); 379 PETSC_EXTERN PetscErrorCode SNESObjectiveComputeFunctionDefaultFD(SNES,Vec,Vec,void*); 380 PETSC_EXTERN PetscErrorCode SNESComputeJacobianDefault(SNES,Vec,Mat,Mat,void*); 381 PETSC_EXTERN PetscErrorCode SNESComputeJacobianDefaultColor(SNES,Vec,Mat,Mat,void*); 382 PETSC_EXTERN PetscErrorCode SNESSetComputeInitialGuess(SNES,PetscErrorCode (*)(SNES,Vec,void*),void*); 383 PETSC_EXTERN PetscErrorCode SNESSetPicard(SNES,Vec,PetscErrorCode (*)(SNES,Vec,Vec,void*),Mat,Mat,PetscErrorCode (*)(SNES,Vec,Mat,Mat,void*),void*); 384 PETSC_EXTERN PetscErrorCode SNESGetPicard(SNES,Vec*,PetscErrorCode (**)(SNES,Vec,Vec,void*),Mat*,Mat*,PetscErrorCode (**)(SNES,Vec,Mat,Mat,void*),void**); 385 PETSC_EXTERN PetscErrorCode SNESPicardComputeFunction(SNES,Vec,Vec,void *); 386 PETSC_EXTERN PetscErrorCode SNESPicardComputeJacobian(SNES,Vec,Mat,Mat,void*); 387 388 PETSC_EXTERN PetscErrorCode SNESSetObjective(SNES,PetscErrorCode (*)(SNES,Vec,PetscReal *,void*),void*); 389 PETSC_EXTERN PetscErrorCode SNESGetObjective(SNES,PetscErrorCode (**)(SNES,Vec,PetscReal *,void*),void**); 390 PETSC_EXTERN PetscErrorCode SNESComputeObjective(SNES,Vec,PetscReal *); 391 392 /*E 393 SNESNormSchedule - Frequency with which the norm is computed 394 395 Level: advanced 396 397 Support for these is highly dependent on the solver. 398 399 Notes: 400 This is primarily used to turn off extra norm and function computation 401 when the solvers are composed. 402 403 .seealso: SNESSolve(), SNESGetConvergedReason(), KSPSetNormType(), 404 KSPSetConvergenceTest(), KSPSetPCSide() 405 E*/ 406 407 typedef enum {SNES_NORM_DEFAULT = -1, 408 SNES_NORM_NONE = 0, 409 SNES_NORM_ALWAYS = 1, 410 SNES_NORM_INITIAL_ONLY = 2, 411 SNES_NORM_FINAL_ONLY = 3, 412 SNES_NORM_INITIAL_FINAL_ONLY = 4} SNESNormSchedule; 413 PETSC_EXTERN const char *const*const SNESNormSchedules; 414 415 /*MC 416 SNES_NORM_NONE - Don't compute function and its L2 norm. 417 418 Level: advanced 419 420 Notes: 421 This is most useful for stationary solvers with a fixed number of iterations used as smoothers. 422 423 .seealso: SNESNormSchedule, SNESSetNormSchedule(), SNES_NORM_DEFAULT 424 M*/ 425 426 /*MC 427 SNES_NORM_ALWAYS - Compute the function and its L2 norm at each iteration. 428 429 Level: advanced 430 431 Notes: 432 Most solvers will use this no matter what norm type is passed to them. 433 434 .seealso: SNESNormSchedule, SNESSetNormSchedule(), SNES_NORM_NONE 435 M*/ 436 437 /*MC 438 SNES_NORM_INITIAL_ONLY - Compute the function and its L2 at iteration 0, but do not update it. 439 440 Level: advanced 441 442 Notes: 443 This method is useful in composed methods, when a true solution might actually be found before SNESSolve() is called. 444 This option enables the solve to abort on the zeroth iteration if this is the case. 445 446 For solvers that require the computation of the L2 norm of the function as part of the method, this merely cancels 447 the norm computation at the last iteration (if possible). 448 449 .seealso: SNESNormSchedule, SNESSetNormSchedule(), SNES_NORM_FINAL_ONLY, SNES_NORM_INITIAL_FINAL_ONLY 450 M*/ 451 452 /*MC 453 SNES_NORM_FINAL_ONLY - Compute the function and its L2 norm on only the final iteration. 454 455 Level: advanced 456 457 Notes: 458 For solvers that require the computation of the L2 norm of the function as part of the method, behaves 459 exactly as SNES_NORM_DEFAULT. This method is useful when the function is gotten after SNESSolve and 460 used in subsequent computation for methods that do not need the norm computed during the rest of the 461 solution procedure. 462 463 .seealso: SNESNormSchedule, SNESSetNormSchedule(), SNES_NORM_INITIAL_ONLY, SNES_NORM_INITIAL_FINAL_ONLY 464 M*/ 465 466 /*MC 467 SNES_NORM_INITIAL_FINAL_ONLY - Compute the function and its L2 norm on only the initial and final iterations. 468 469 Level: advanced 470 471 Notes: 472 This method combines the benefits of SNES_NORM_INITIAL_ONLY and SNES_NORM_FINAL_ONLY. 473 474 .seealso: SNESNormSchedule, SNESSetNormSchedule(), SNES_NORM_SNES_NORM_INITIAL_ONLY, SNES_NORM_FINAL_ONLY 475 M*/ 476 477 PETSC_EXTERN PetscErrorCode SNESSetNormSchedule(SNES,SNESNormSchedule); 478 PETSC_EXTERN PetscErrorCode SNESGetNormSchedule(SNES,SNESNormSchedule*); 479 PETSC_EXTERN PetscErrorCode SNESSetFunctionNorm(SNES,PetscReal); 480 PETSC_EXTERN PetscErrorCode SNESGetFunctionNorm(SNES,PetscReal*); 481 PETSC_EXTERN PetscErrorCode SNESGetUpdateNorm(SNES,PetscReal*); 482 PETSC_EXTERN PetscErrorCode SNESGetSolutionNorm(SNES,PetscReal*); 483 484 /*E 485 SNESFunctionType - Type of function computed 486 487 Level: advanced 488 489 Support for these is highly dependent on the solver. 490 491 .seealso: SNESSolve(), SNESGetConvergedReason(), KSPSetNormType(), 492 KSPSetConvergenceTest(), KSPSetPCSide() 493 E*/ 494 typedef enum {SNES_FUNCTION_DEFAULT = -1, 495 SNES_FUNCTION_UNPRECONDITIONED = 0, 496 SNES_FUNCTION_PRECONDITIONED = 1} SNESFunctionType; 497 PETSC_EXTERN const char *const*const SNESFunctionTypes; 498 499 PETSC_EXTERN PetscErrorCode SNESSetFunctionType(SNES,SNESFunctionType); 500 PETSC_EXTERN PetscErrorCode SNESGetFunctionType(SNES,SNESFunctionType*); 501 502 PETSC_EXTERN PetscErrorCode SNESSetNGS(SNES,PetscErrorCode (*)(SNES,Vec,Vec,void*),void*); 503 PETSC_EXTERN PetscErrorCode SNESGetNGS(SNES,PetscErrorCode (**)(SNES,Vec,Vec,void*),void**); 504 PETSC_EXTERN PetscErrorCode SNESSetUseNGS(SNES,PetscBool); 505 PETSC_EXTERN PetscErrorCode SNESGetUseNGS(SNES,PetscBool *); 506 PETSC_EXTERN PetscErrorCode SNESComputeNGS(SNES,Vec,Vec); 507 508 PETSC_EXTERN PetscErrorCode SNESNGSSetSweeps(SNES,PetscInt); 509 PETSC_EXTERN PetscErrorCode SNESNGSGetSweeps(SNES,PetscInt *); 510 PETSC_EXTERN PetscErrorCode SNESNGSSetTolerances(SNES,PetscReal,PetscReal,PetscReal,PetscInt); 511 PETSC_EXTERN PetscErrorCode SNESNGSGetTolerances(SNES,PetscReal*,PetscReal*,PetscReal*,PetscInt*); 512 513 PETSC_EXTERN PetscErrorCode SNESUpdateCheckJacobian(SNES,PetscInt); 514 515 PETSC_EXTERN PetscErrorCode SNESSetAlwaysComputesFinalResidual(SNES,PetscBool); 516 PETSC_EXTERN PetscErrorCode SNESGetAlwaysComputesFinalResidual(SNES,PetscBool*); 517 518 PETSC_EXTERN PetscErrorCode SNESShellGetContext(SNES,void**); 519 PETSC_EXTERN PetscErrorCode SNESShellSetContext(SNES,void*); 520 PETSC_EXTERN PetscErrorCode SNESShellSetSolve(SNES,PetscErrorCode (*)(SNES,Vec)); 521 522 /* --------- Routines specifically for line search methods --------------- */ 523 524 525 /*S 526 SNESLineSearch - Abstract PETSc object that manages line-search operations 527 528 Level: beginner 529 530 .seealso: SNESLineSearchCreate(), SNESLineSearchSetType(), SNES 531 S*/ 532 typedef struct _p_LineSearch* SNESLineSearch; 533 534 /*J 535 SNESLineSearchType - String with the name of a PETSc line search method 536 537 Level: beginner 538 539 .seealso: SNESLineSearchSetType(), SNES 540 J*/ 541 typedef const char* SNESLineSearchType; 542 #define SNESLINESEARCHBT "bt" 543 #define SNESLINESEARCHNLEQERR "nleqerr" 544 #define SNESLINESEARCHBASIC "basic" 545 #define SNESLINESEARCHL2 "l2" 546 #define SNESLINESEARCHCP "cp" 547 #define SNESLINESEARCHSHELL "shell" 548 #define SNESLINESEARCHNCGLINEAR "ncglinear" 549 550 PETSC_EXTERN PetscFunctionList SNESList; 551 PETSC_EXTERN PetscClassId SNESLINESEARCH_CLASSID; 552 PETSC_EXTERN PetscFunctionList SNESLineSearchList; 553 554 #define SNES_LINESEARCH_ORDER_LINEAR 1 555 #define SNES_LINESEARCH_ORDER_QUADRATIC 2 556 #define SNES_LINESEARCH_ORDER_CUBIC 3 557 558 PETSC_EXTERN_TYPEDEF typedef PetscErrorCode (*SNESLineSearchVIProjectFunc)(SNES,Vec); 559 PETSC_EXTERN_TYPEDEF typedef PetscErrorCode (*SNESLineSearchVINormFunc)(SNES,Vec,Vec,PetscReal *); 560 PETSC_EXTERN_TYPEDEF typedef PetscErrorCode (*SNESLineSearchApplyFunc)(SNESLineSearch); 561 PETSC_EXTERN_TYPEDEF typedef PetscErrorCode (*SNESLineSearchUserFunc)(SNESLineSearch, void *); 562 563 PETSC_EXTERN PetscErrorCode SNESLineSearchCreate(MPI_Comm, SNESLineSearch*); 564 PETSC_EXTERN PetscErrorCode SNESLineSearchReset(SNESLineSearch); 565 PETSC_EXTERN PetscErrorCode SNESLineSearchView(SNESLineSearch,PetscViewer); 566 PETSC_EXTERN PetscErrorCode SNESLineSearchDestroy(SNESLineSearch *); 567 PETSC_EXTERN PetscErrorCode SNESLineSearchGetType(SNESLineSearch, SNESLineSearchType *); 568 PETSC_EXTERN PetscErrorCode SNESLineSearchSetType(SNESLineSearch, SNESLineSearchType); 569 PETSC_EXTERN PetscErrorCode SNESLineSearchSetFromOptions(SNESLineSearch); 570 PETSC_EXTERN PetscErrorCode SNESLineSearchSetFunction(SNESLineSearch,PetscErrorCode (*)(SNES,Vec,Vec)); 571 PETSC_EXTERN PetscErrorCode SNESLineSearchSetUp(SNESLineSearch); 572 PETSC_EXTERN PetscErrorCode SNESLineSearchApply(SNESLineSearch, Vec, Vec, PetscReal *, Vec); 573 PETSC_EXTERN PetscErrorCode SNESLineSearchPreCheck(SNESLineSearch,Vec,Vec,PetscBool *); 574 PETSC_EXTERN PetscErrorCode SNESLineSearchPostCheck(SNESLineSearch,Vec,Vec,Vec,PetscBool *,PetscBool *); 575 PETSC_EXTERN PetscErrorCode SNESLineSearchSetWorkVecs(SNESLineSearch, PetscInt); 576 577 /* set the functions for precheck and postcheck */ 578 579 PETSC_EXTERN PetscErrorCode SNESLineSearchSetPreCheck(SNESLineSearch, PetscErrorCode (*)(SNESLineSearch,Vec,Vec,PetscBool*,void*), void *ctx); 580 PETSC_EXTERN PetscErrorCode SNESLineSearchSetPostCheck(SNESLineSearch, PetscErrorCode (*)(SNESLineSearch,Vec,Vec,Vec,PetscBool *,PetscBool *,void*), void *ctx); 581 582 PETSC_EXTERN PetscErrorCode SNESLineSearchGetPreCheck(SNESLineSearch, PetscErrorCode (**)(SNESLineSearch,Vec,Vec,PetscBool*,void*), void **ctx); 583 PETSC_EXTERN PetscErrorCode SNESLineSearchGetPostCheck(SNESLineSearch, PetscErrorCode (**)(SNESLineSearch,Vec,Vec,Vec,PetscBool *,PetscBool *,void*), void **ctx); 584 585 /* set the functions for VI-specific line search operations */ 586 587 PETSC_EXTERN PetscErrorCode SNESLineSearchSetVIFunctions(SNESLineSearch, SNESLineSearchVIProjectFunc, SNESLineSearchVINormFunc); 588 PETSC_EXTERN PetscErrorCode SNESLineSearchGetVIFunctions(SNESLineSearch, SNESLineSearchVIProjectFunc*, SNESLineSearchVINormFunc*); 589 590 /* pointers to the associated SNES in order to be able to get the function evaluation out */ 591 PETSC_EXTERN PetscErrorCode SNESLineSearchSetSNES(SNESLineSearch,SNES); 592 PETSC_EXTERN PetscErrorCode SNESLineSearchGetSNES(SNESLineSearch,SNES*); 593 594 /* set and get the parameters and vectors */ 595 PETSC_EXTERN PetscErrorCode SNESLineSearchGetTolerances(SNESLineSearch,PetscReal*,PetscReal*,PetscReal*,PetscReal*,PetscReal*,PetscInt*); 596 PETSC_EXTERN PetscErrorCode SNESLineSearchSetTolerances(SNESLineSearch,PetscReal,PetscReal,PetscReal,PetscReal,PetscReal,PetscInt); 597 598 PETSC_EXTERN PetscErrorCode SNESLineSearchPreCheckPicard(SNESLineSearch,Vec,Vec,PetscBool*,void*); 599 600 PETSC_EXTERN PetscErrorCode SNESLineSearchGetLambda(SNESLineSearch,PetscReal*); 601 PETSC_EXTERN PetscErrorCode SNESLineSearchSetLambda(SNESLineSearch,PetscReal); 602 603 PETSC_EXTERN PetscErrorCode SNESLineSearchGetDamping(SNESLineSearch,PetscReal*); 604 PETSC_EXTERN PetscErrorCode SNESLineSearchSetDamping(SNESLineSearch,PetscReal); 605 606 PETSC_EXTERN PetscErrorCode SNESLineSearchGetOrder(SNESLineSearch,PetscInt *order); 607 PETSC_EXTERN PetscErrorCode SNESLineSearchSetOrder(SNESLineSearch,PetscInt order); 608 609 /*E 610 SNESLineSearchReason - if line search has succeeded or failed and why 611 612 Level: intermediate 613 614 Developer Notes: 615 this must match petsc/finclude/petscsnes.h 616 617 Developer Note: The string versions of these are in SNESLineSearchReasons, if you change any value here you must 618 also adjust that array. 619 620 .seealso: SNESSolve(), SNESGetConvergedReason(), KSPConvergedReason, SNESSetConvergenceTest() 621 E*/ 622 typedef enum {SNES_LINESEARCH_SUCCEEDED, 623 SNES_LINESEARCH_FAILED_NANORINF, 624 SNES_LINESEARCH_FAILED_DOMAIN, 625 SNES_LINESEARCH_FAILED_REDUCT, /* INSUFFICENT REDUCTION */ 626 SNES_LINESEARCH_FAILED_USER, 627 SNES_LINESEARCH_FAILED_FUNCTION} SNESLineSearchReason; 628 629 PETSC_EXTERN PetscErrorCode SNESLineSearchGetReason(SNESLineSearch, SNESLineSearchReason*); 630 PETSC_EXTERN PetscErrorCode SNESLineSearchSetReason(SNESLineSearch, SNESLineSearchReason); 631 632 PETSC_EXTERN PetscErrorCode SNESLineSearchGetVecs(SNESLineSearch,Vec*,Vec*,Vec*,Vec*,Vec*); 633 PETSC_EXTERN PetscErrorCode SNESLineSearchSetVecs(SNESLineSearch,Vec,Vec,Vec,Vec,Vec); 634 635 PETSC_EXTERN PetscErrorCode SNESLineSearchGetNorms(SNESLineSearch, PetscReal *, PetscReal *, PetscReal *); 636 PETSC_EXTERN PetscErrorCode SNESLineSearchSetNorms(SNESLineSearch, PetscReal, PetscReal, PetscReal); 637 PETSC_EXTERN PetscErrorCode SNESLineSearchComputeNorms(SNESLineSearch); 638 PETSC_EXTERN PetscErrorCode SNESLineSearchSetComputeNorms(SNESLineSearch, PetscBool); 639 640 PETSC_EXTERN PetscErrorCode SNESLineSearchMonitor(SNESLineSearch); 641 PETSC_EXTERN PetscErrorCode SNESLineSearchMonitorSet(SNESLineSearch,PetscErrorCode(*)(SNESLineSearch,void*),void *,PetscErrorCode (*)(void**)); 642 PETSC_EXTERN PetscErrorCode SNESLineSearchMonitorSetFromOptions(SNESLineSearch,const char[],const char[],const char[],PetscErrorCode (*)(SNESLineSearch,PetscViewerAndFormat*),PetscErrorCode (*)(SNESLineSearch,PetscViewerAndFormat*)); 643 PETSC_EXTERN PetscErrorCode SNESLineSearchMonitorCancel(SNESLineSearch); 644 PETSC_EXTERN PetscErrorCode SNESLineSearchMonitorUpdate(SNESLineSearch,PetscViewerAndFormat*); 645 PETSC_EXTERN PetscErrorCode SNESLineSearchSetDefaultMonitor(SNESLineSearch,PetscViewer); 646 PETSC_EXTERN PetscErrorCode SNESLineSearchGetDefaultMonitor(SNESLineSearch,PetscViewer*); 647 PETSC_EXTERN PetscErrorCode SNESLineSearchMonitorSolutionUpdate(SNESLineSearch,PetscViewerAndFormat*); 648 649 PETSC_EXTERN PetscErrorCode SNESLineSearchAppendOptionsPrefix(SNESLineSearch, const char prefix[]); 650 PETSC_EXTERN PetscErrorCode SNESLineSearchGetOptionsPrefix(SNESLineSearch, const char *prefix[]); 651 652 653 /* Shell interface functions */ 654 PETSC_EXTERN PetscErrorCode SNESLineSearchShellSetUserFunc(SNESLineSearch,SNESLineSearchUserFunc,void*); 655 PETSC_EXTERN PetscErrorCode SNESLineSearchShellGetUserFunc(SNESLineSearch,SNESLineSearchUserFunc*,void**); 656 657 /* BT interface functions */ 658 PETSC_EXTERN PetscErrorCode SNESLineSearchBTSetAlpha(SNESLineSearch, PetscReal); 659 PETSC_EXTERN PetscErrorCode SNESLineSearchBTGetAlpha(SNESLineSearch, PetscReal*); 660 661 /*register line search types */ 662 PETSC_EXTERN PetscErrorCode SNESLineSearchRegister(const char[],PetscErrorCode(*)(SNESLineSearch)); 663 664 /* Routines for VI solver */ 665 PETSC_EXTERN PetscErrorCode SNESVISetVariableBounds(SNES,Vec,Vec); 666 PETSC_EXTERN PetscErrorCode SNESVISetComputeVariableBounds(SNES, PetscErrorCode (*)(SNES,Vec,Vec)); 667 PETSC_EXTERN PetscErrorCode SNESVIGetInactiveSet(SNES,IS*); 668 PETSC_EXTERN PetscErrorCode SNESVIGetActiveSetIS(SNES,Vec,Vec,IS*); 669 PETSC_EXTERN PetscErrorCode SNESVIComputeInactiveSetFnorm(SNES,Vec,Vec,PetscReal*); 670 PETSC_EXTERN PetscErrorCode SNESVISetRedundancyCheck(SNES,PetscErrorCode(*)(SNES,IS,IS*,void*),void*); 671 672 PETSC_EXTERN PetscErrorCode SNESTestLocalMin(SNES); 673 674 /* Should this routine be private? */ 675 PETSC_EXTERN PetscErrorCode SNESComputeJacobian(SNES,Vec,Mat,Mat); 676 PETSC_EXTERN PetscErrorCode SNESTestJacobian(SNES); 677 678 PETSC_EXTERN PetscErrorCode SNESSetDM(SNES,DM); 679 PETSC_EXTERN PetscErrorCode SNESGetDM(SNES,DM*); 680 PETSC_EXTERN PetscErrorCode SNESSetNPC(SNES,SNES); 681 PETSC_EXTERN PetscErrorCode SNESGetNPC(SNES,SNES*); 682 PETSC_EXTERN PetscErrorCode SNESHasNPC(SNES,PetscBool*); 683 PETSC_EXTERN PetscErrorCode SNESApplyNPC(SNES,Vec,Vec,Vec); 684 PETSC_EXTERN PetscErrorCode SNESGetNPCFunction(SNES,Vec,PetscReal*); 685 PETSC_EXTERN PetscErrorCode SNESComputeFunctionDefaultNPC(SNES,Vec,Vec); 686 PETSC_EXTERN PetscErrorCode SNESSetNPCSide(SNES,PCSide); 687 PETSC_EXTERN PetscErrorCode SNESGetNPCSide(SNES,PCSide*); 688 PETSC_EXTERN PetscErrorCode SNESSetLineSearch(SNES,SNESLineSearch); 689 PETSC_EXTERN PetscErrorCode SNESGetLineSearch(SNES,SNESLineSearch*); 690 PETSC_EXTERN PetscErrorCode SNESRestrictHookAdd(SNES,PetscErrorCode (*)(SNES,SNES,void*),void*); 691 PETSC_EXTERN PetscErrorCode SNESRestrictHooksRun(SNES,SNES); 692 693 PETSC_DEPRECATED_FUNCTION("Use SNESGetLineSearch() (since version 3.4)") PETSC_STATIC_INLINE PetscErrorCode SNESGetSNESLineSearch(SNES snes,SNESLineSearch *ls) {return SNESGetLineSearch(snes,ls);} 694 PETSC_DEPRECATED_FUNCTION("Use SNESSetLineSearch() (since version 3.4)") PETSC_STATIC_INLINE PetscErrorCode SNESSetSNESLineSearch(SNES snes,SNESLineSearch ls) {return SNESSetLineSearch(snes,ls);} 695 696 PETSC_EXTERN PetscErrorCode SNESSetUpMatrices(SNES); 697 PETSC_EXTERN PetscErrorCode DMSNESSetFunction(DM,PetscErrorCode(*)(SNES,Vec,Vec,void*),void*); 698 PETSC_EXTERN PetscErrorCode DMSNESGetFunction(DM,PetscErrorCode(**)(SNES,Vec,Vec,void*),void**); 699 PETSC_EXTERN PetscErrorCode DMSNESSetNGS(DM,PetscErrorCode(*)(SNES,Vec,Vec,void*),void*); 700 PETSC_EXTERN PetscErrorCode DMSNESGetNGS(DM,PetscErrorCode(**)(SNES,Vec,Vec,void*),void**); 701 PETSC_EXTERN PetscErrorCode DMSNESSetJacobian(DM,PetscErrorCode(*)(SNES,Vec,Mat,Mat,void*),void*); 702 PETSC_EXTERN PetscErrorCode DMSNESGetJacobian(DM,PetscErrorCode(**)(SNES,Vec,Mat,Mat,void*),void**); 703 PETSC_EXTERN PetscErrorCode DMSNESSetPicard(DM,PetscErrorCode(*)(SNES,Vec,Vec,void*),PetscErrorCode(*)(SNES,Vec,Mat,Mat,void*),void*); 704 PETSC_EXTERN PetscErrorCode DMSNESGetPicard(DM,PetscErrorCode(**)(SNES,Vec,Vec,void*),PetscErrorCode(**)(SNES,Vec,Mat,Mat,void*),void**); 705 PETSC_EXTERN PetscErrorCode DMSNESSetObjective(DM,PetscErrorCode (*)(SNES,Vec,PetscReal *,void*),void*); 706 PETSC_EXTERN PetscErrorCode DMSNESGetObjective(DM,PetscErrorCode (**)(SNES,Vec,PetscReal *,void*),void**); 707 PETSC_EXTERN PetscErrorCode DMCopyDMSNES(DM,DM); 708 709 PETSC_EXTERN_TYPEDEF typedef PetscErrorCode (*DMDASNESFunction)(DMDALocalInfo*,void*,void*,void*); 710 PETSC_EXTERN_TYPEDEF typedef PetscErrorCode (*DMDASNESJacobian)(DMDALocalInfo*,void*,Mat,Mat,void*); 711 PETSC_EXTERN_TYPEDEF typedef PetscErrorCode (*DMDASNESObjective)(DMDALocalInfo*,void*,PetscReal*,void*); 712 713 PETSC_EXTERN PetscErrorCode DMDASNESSetFunctionLocal(DM,InsertMode,DMDASNESFunction,void*); 714 PETSC_EXTERN PetscErrorCode DMDASNESSetJacobianLocal(DM,DMDASNESJacobian,void*); 715 PETSC_EXTERN PetscErrorCode DMDASNESSetObjectiveLocal(DM,DMDASNESObjective,void*); 716 PETSC_EXTERN PetscErrorCode DMDASNESSetPicardLocal(DM,InsertMode,PetscErrorCode (*)(DMDALocalInfo*,void*,void*,void*),PetscErrorCode (*)(DMDALocalInfo*,void*,Mat,Mat,void*),void*); 717 718 PETSC_EXTERN PetscErrorCode DMSNESSetBoundaryLocal(DM,PetscErrorCode (*)(DM,Vec,void*),void*); 719 PETSC_EXTERN PetscErrorCode DMSNESSetFunctionLocal(DM,PetscErrorCode (*)(DM,Vec,Vec,void*),void*); 720 PETSC_EXTERN PetscErrorCode DMSNESSetJacobianLocal(DM,PetscErrorCode (*)(DM,Vec,Mat,Mat,void*),void*); 721 PETSC_EXTERN PetscErrorCode DMSNESGetBoundaryLocal(DM,PetscErrorCode (**)(DM,Vec,void*),void**); 722 PETSC_EXTERN PetscErrorCode DMSNESGetFunctionLocal(DM,PetscErrorCode (**)(DM,Vec,Vec,void*),void**); 723 PETSC_EXTERN PetscErrorCode DMSNESGetJacobianLocal(DM,PetscErrorCode (**)(DM,Vec,Mat,Mat,void*),void**); 724 725 /* Routines for Multiblock solver */ 726 PETSC_EXTERN PetscErrorCode SNESMultiblockSetFields(SNES, const char [], PetscInt, const PetscInt *); 727 PETSC_EXTERN PetscErrorCode SNESMultiblockSetIS(SNES, const char [], IS); 728 PETSC_EXTERN PetscErrorCode SNESMultiblockSetBlockSize(SNES, PetscInt); 729 PETSC_EXTERN PetscErrorCode SNESMultiblockSetType(SNES, PCCompositeType); 730 731 /*J 732 SNESMSType - String with the name of a PETSc SNESMS method. 733 734 Level: intermediate 735 736 .seealso: SNESMSGetType(), SNESMSSetType(), SNES 737 J*/ 738 typedef const char* SNESMSType; 739 #define SNESMSM62 "m62" 740 #define SNESMSEULER "euler" 741 #define SNESMSJAMESON83 "jameson83" 742 #define SNESMSVLTP11 "vltp11" 743 #define SNESMSVLTP21 "vltp21" 744 #define SNESMSVLTP31 "vltp31" 745 #define SNESMSVLTP41 "vltp41" 746 #define SNESMSVLTP51 "vltp51" 747 #define SNESMSVLTP61 "vltp61" 748 749 PETSC_EXTERN PetscErrorCode SNESMSRegister(SNESMSType,PetscInt,PetscInt,PetscReal,const PetscReal[],const PetscReal[],const PetscReal[]); 750 PETSC_EXTERN PetscErrorCode SNESMSGetType(SNES,SNESMSType*); 751 PETSC_EXTERN PetscErrorCode SNESMSSetType(SNES,SNESMSType); 752 PETSC_EXTERN PetscErrorCode SNESMSGetDamping(SNES,PetscReal*); 753 PETSC_EXTERN PetscErrorCode SNESMSSetDamping(SNES,PetscReal); 754 PETSC_EXTERN PetscErrorCode SNESMSFinalizePackage(void); 755 PETSC_EXTERN PetscErrorCode SNESMSInitializePackage(void); 756 PETSC_EXTERN PetscErrorCode SNESMSRegisterDestroy(void); 757 758 /* routines for NGMRES solver */ 759 760 typedef enum { 761 SNES_NGMRES_RESTART_NONE = 0, 762 SNES_NGMRES_RESTART_PERIODIC = 1, 763 SNES_NGMRES_RESTART_DIFFERENCE = 2} SNESNGMRESRestartType; 764 PETSC_EXTERN const char *const SNESNGMRESRestartTypes[]; 765 766 typedef enum { 767 SNES_NGMRES_SELECT_NONE = 0, 768 SNES_NGMRES_SELECT_DIFFERENCE = 1, 769 SNES_NGMRES_SELECT_LINESEARCH = 2} SNESNGMRESSelectType; 770 PETSC_EXTERN const char *const SNESNGMRESSelectTypes[]; 771 772 PETSC_EXTERN PetscErrorCode SNESNGMRESSetRestartType(SNES, SNESNGMRESRestartType); 773 PETSC_EXTERN PetscErrorCode SNESNGMRESSetSelectType(SNES, SNESNGMRESSelectType); 774 PETSC_EXTERN PetscErrorCode SNESNGMRESSetRestartFmRise(SNES, PetscBool); 775 PETSC_EXTERN PetscErrorCode SNESNGMRESGetRestartFmRise(SNES, PetscBool*); 776 777 /* routines for NCG solver */ 778 779 typedef enum { 780 SNES_NCG_FR = 0, 781 SNES_NCG_PRP = 1, 782 SNES_NCG_HS = 2, 783 SNES_NCG_DY = 3, 784 SNES_NCG_CD = 4} SNESNCGType; 785 PETSC_EXTERN const char *const SNESNCGTypes[]; 786 787 PETSC_EXTERN PetscErrorCode SNESNCGSetType(SNES, SNESNCGType); 788 789 typedef enum {SNES_QN_SCALE_DEFAULT = 0, 790 SNES_QN_SCALE_NONE = 1, 791 SNES_QN_SCALE_SCALAR = 2, 792 SNES_QN_SCALE_DIAGONAL = 3, 793 SNES_QN_SCALE_JACOBIAN = 4} SNESQNScaleType; 794 PETSC_EXTERN const char *const SNESQNScaleTypes[]; 795 typedef enum {SNES_QN_RESTART_DEFAULT = 0, 796 SNES_QN_RESTART_NONE = 1, 797 SNES_QN_RESTART_POWELL = 2, 798 SNES_QN_RESTART_PERIODIC = 3} SNESQNRestartType; 799 PETSC_EXTERN const char *const SNESQNRestartTypes[]; 800 typedef enum {SNES_QN_LBFGS = 0, 801 SNES_QN_BROYDEN = 1, 802 SNES_QN_BADBROYDEN = 2 803 } SNESQNType; 804 PETSC_EXTERN const char *const SNESQNTypes[]; 805 806 PETSC_EXTERN PetscErrorCode SNESQNSetType(SNES, SNESQNType); 807 PETSC_EXTERN PetscErrorCode SNESQNSetScaleType(SNES, SNESQNScaleType); 808 PETSC_EXTERN PetscErrorCode SNESQNSetRestartType(SNES, SNESQNRestartType); 809 810 PETSC_EXTERN PetscErrorCode SNESNASMGetType(SNES,PCASMType*); 811 PETSC_EXTERN PetscErrorCode SNESNASMSetType(SNES,PCASMType); 812 PETSC_EXTERN PetscErrorCode SNESNASMGetSubdomains(SNES,PetscInt*,SNES**,VecScatter**,VecScatter**,VecScatter**); 813 PETSC_EXTERN PetscErrorCode SNESNASMSetSubdomains(SNES,PetscInt,SNES*,VecScatter*,VecScatter*,VecScatter*); 814 PETSC_EXTERN PetscErrorCode SNESNASMSetDamping(SNES,PetscReal); 815 PETSC_EXTERN PetscErrorCode SNESNASMGetDamping(SNES,PetscReal*); 816 PETSC_EXTERN PetscErrorCode SNESNASMGetSubdomainVecs(SNES,PetscInt*,Vec**,Vec**,Vec**,Vec**); 817 PETSC_EXTERN PetscErrorCode SNESNASMSetComputeFinalJacobian(SNES,PetscBool); 818 PETSC_EXTERN PetscErrorCode SNESNASMGetSNES(SNES,PetscInt,SNES *); 819 PETSC_EXTERN PetscErrorCode SNESNASMGetNumber(SNES,PetscInt*); 820 PETSC_EXTERN PetscErrorCode SNESNASMSetWeight(SNES,Vec); 821 822 typedef enum {SNES_COMPOSITE_ADDITIVE,SNES_COMPOSITE_MULTIPLICATIVE,SNES_COMPOSITE_ADDITIVEOPTIMAL} SNESCompositeType; 823 PETSC_EXTERN const char *const SNESCompositeTypes[]; 824 825 PETSC_EXTERN PetscErrorCode SNESCompositeSetType(SNES,SNESCompositeType); 826 PETSC_EXTERN PetscErrorCode SNESCompositeAddSNES(SNES,SNESType); 827 PETSC_EXTERN PetscErrorCode SNESCompositeGetSNES(SNES,PetscInt,SNES *); 828 PETSC_EXTERN PetscErrorCode SNESCompositeGetNumber(SNES,PetscInt*); 829 PETSC_EXTERN PetscErrorCode SNESCompositeSetDamping(SNES,PetscInt,PetscReal); 830 831 PETSC_EXTERN PetscErrorCode SNESPatchSetDiscretisationInfo(SNES,PetscInt,DM*,PetscInt*,PetscInt*,const PetscInt**,const PetscInt*,PetscInt,const PetscInt*,PetscInt,const PetscInt*); 832 PETSC_EXTERN PetscErrorCode SNESPatchSetComputeOperator(SNES, PetscErrorCode (*func)(PC, PetscInt, Vec, Mat, IS, PetscInt, const PetscInt *, const PetscInt *, void *), void*); 833 PETSC_EXTERN PetscErrorCode SNESPatchSetComputeFunction(SNES, PetscErrorCode (*func)(PC, PetscInt, Vec, Vec, IS, PetscInt, const PetscInt *, const PetscInt *, void *), void*); 834 PETSC_EXTERN PetscErrorCode SNESPatchSetConstructType(SNES,PCPatchConstructType, PetscErrorCode (*func)(PC, PetscInt *, IS **, IS *, void *), void*); 835 PETSC_EXTERN PetscErrorCode SNESPatchSetCellNumbering(SNES,PetscSection); 836 837 /*E 838 SNESFASType - Determines the type of nonlinear multigrid method that is run. 839 840 Level: beginner 841 842 Values: 843 + SNES_FAS_MULTIPLICATIVE (default) - traditional V or W cycle as determined by SNESFASSetCycles() 844 . SNES_FAS_ADDITIVE - additive FAS cycle 845 . SNES_FAS_FULL - full FAS cycle 846 - SNES_FAS_KASKADE - Kaskade FAS cycle 847 .seealso: PCMGSetType(), PCMGType 848 849 E*/ 850 typedef enum { SNES_FAS_MULTIPLICATIVE, SNES_FAS_ADDITIVE, SNES_FAS_FULL, SNES_FAS_KASKADE } SNESFASType; 851 PETSC_EXTERN const char *const SNESFASTypes[]; 852 853 /* called on the finest level FAS instance*/ 854 PETSC_EXTERN PetscErrorCode SNESFASSetType(SNES, SNESFASType); 855 PETSC_EXTERN PetscErrorCode SNESFASGetType(SNES, SNESFASType*); 856 PETSC_EXTERN PetscErrorCode SNESFASSetLevels(SNES, PetscInt, MPI_Comm *); 857 PETSC_EXTERN PetscErrorCode SNESFASGetLevels(SNES, PetscInt *); 858 PETSC_EXTERN PetscErrorCode SNESFASGetCycleSNES(SNES, PetscInt, SNES*); 859 PETSC_EXTERN PetscErrorCode SNESFASSetNumberSmoothUp(SNES, PetscInt); 860 PETSC_EXTERN PetscErrorCode SNESFASSetNumberSmoothDown(SNES, PetscInt); 861 PETSC_EXTERN PetscErrorCode SNESFASSetCycles(SNES, PetscInt); 862 PETSC_EXTERN PetscErrorCode SNESFASSetMonitor(SNES, PetscViewerAndFormat *, PetscBool); 863 PETSC_EXTERN PetscErrorCode SNESFASSetLog(SNES, PetscBool); 864 865 PETSC_EXTERN PetscErrorCode SNESFASSetGalerkin(SNES, PetscBool); 866 PETSC_EXTERN PetscErrorCode SNESFASGetGalerkin(SNES, PetscBool*); 867 PETSC_EXTERN PetscErrorCode SNESFASGalerkinFunctionDefault(SNES,Vec,Vec,void*); 868 869 /* called on any level -- "Cycle" FAS instance */ 870 PETSC_EXTERN PetscErrorCode SNESFASCycleGetSmoother(SNES, SNES*); 871 PETSC_EXTERN PetscErrorCode SNESFASCycleGetSmootherUp(SNES, SNES*); 872 PETSC_EXTERN PetscErrorCode SNESFASCycleGetSmootherDown(SNES, SNES*); 873 PETSC_EXTERN PetscErrorCode SNESFASCycleGetCorrection(SNES, SNES*); 874 PETSC_EXTERN PetscErrorCode SNESFASCycleGetInterpolation(SNES, Mat*); 875 PETSC_EXTERN PetscErrorCode SNESFASCycleGetRestriction(SNES, Mat*); 876 PETSC_EXTERN PetscErrorCode SNESFASCycleGetInjection(SNES, Mat*); 877 PETSC_EXTERN PetscErrorCode SNESFASCycleGetRScale(SNES, Vec*); 878 PETSC_EXTERN PetscErrorCode SNESFASCycleSetCycles(SNES, PetscInt); 879 PETSC_EXTERN PetscErrorCode SNESFASCycleIsFine(SNES, PetscBool*); 880 881 /* called on the (outer) finest level FAS to set/get parameters on any level instance */ 882 PETSC_EXTERN PetscErrorCode SNESFASSetInterpolation(SNES, PetscInt, Mat); 883 PETSC_EXTERN PetscErrorCode SNESFASGetInterpolation(SNES, PetscInt, Mat*); 884 PETSC_EXTERN PetscErrorCode SNESFASSetRestriction(SNES, PetscInt, Mat); 885 PETSC_EXTERN PetscErrorCode SNESFASGetRestriction(SNES, PetscInt, Mat*); 886 PETSC_EXTERN PetscErrorCode SNESFASSetInjection(SNES, PetscInt, Mat); 887 PETSC_EXTERN PetscErrorCode SNESFASGetInjection(SNES, PetscInt, Mat*); 888 PETSC_EXTERN PetscErrorCode SNESFASSetRScale(SNES, PetscInt, Vec); 889 PETSC_EXTERN PetscErrorCode SNESFASGetRScale(SNES, PetscInt, Vec*); 890 PETSC_EXTERN PetscErrorCode SNESFASSetContinuation(SNES,PetscBool); 891 892 PETSC_EXTERN PetscErrorCode SNESFASGetSmoother(SNES, PetscInt, SNES*); 893 PETSC_EXTERN PetscErrorCode SNESFASGetSmootherUp(SNES, PetscInt, SNES*); 894 PETSC_EXTERN PetscErrorCode SNESFASGetSmootherDown(SNES, PetscInt, SNES*); 895 PETSC_EXTERN PetscErrorCode SNESFASGetCoarseSolve(SNES, SNES*); 896 897 /* parameters for full FAS */ 898 PETSC_EXTERN PetscErrorCode SNESFASFullSetDownSweep(SNES,PetscBool); 899 PETSC_EXTERN PetscErrorCode SNESFASCreateCoarseVec(SNES,Vec*); 900 PETSC_EXTERN PetscErrorCode SNESFASRestrict(SNES,Vec,Vec); 901 902 PETSC_EXTERN PetscErrorCode DMSNESCheckDiscretization(SNES,DM,PetscReal,Vec,PetscReal,PetscReal[]); 903 PETSC_EXTERN PetscErrorCode DMSNESCheckResidual(SNES,DM,Vec,PetscReal,PetscReal*); 904 PETSC_EXTERN PetscErrorCode DMSNESCheckJacobian(SNES,DM,Vec,PetscReal,PetscBool*,PetscReal*); 905 PETSC_EXTERN PetscErrorCode DMSNESCheckFromOptions(SNES,Vec); 906 PETSC_EXTERN PetscErrorCode DMPlexAdaptInterpolator(DM, DM, Mat, KSP, PetscInt, Vec[], Vec[], Mat *, void *); 907 908 #endif 909