173f4d377SMatthew Knepley /* $Id: petscsnes.h,v 1.111 2001/08/06 21:17:05 bsmith Exp $ */ 2f26ada1bSBarry Smith /* 3*eef9c623SLois Curfman McInnes User interface for the nonlinear solvers package. 4f26ada1bSBarry Smith */ 50a835dfdSSatish Balay #if !defined(__PETSCSNES_H) 60a835dfdSSatish Balay #define __PETSCSNES_H 70a835dfdSSatish Balay #include "petscsles.h" 8b1f5cb9dSBarry Smith 9435da068SBarry Smith /*S 10435da068SBarry Smith SNES - Abstract PETSc object that manages all nonlinear solves 11435da068SBarry Smith 12435da068SBarry Smith Level: beginner 13435da068SBarry Smith 14435da068SBarry Smith Concepts: nonlinear solvers 15435da068SBarry Smith 16*eef9c623SLois Curfman McInnes .seealso: SNESCreate(), SNESSetType(), SNESType, TS, SLES, KSP, PC 17435da068SBarry Smith S*/ 18f09e8eb9SSatish Balay typedef struct _p_SNES* SNES; 19435da068SBarry Smith 20435da068SBarry Smith /*E 21435da068SBarry Smith SNESType - String with the name of a PETSc SNES method or the creation function 22435da068SBarry Smith with an optional dynamic library name, for example 23435da068SBarry Smith http://www.mcs.anl.gov/petsc/lib.a:mysnescreate() 24435da068SBarry Smith 25435da068SBarry Smith Level: beginner 26435da068SBarry Smith 27435da068SBarry Smith .seealso: SNESSetType(), SNES 28435da068SBarry Smith E*/ 29*eef9c623SLois Curfman McInnes #define SNESLS "ls" 30*eef9c623SLois Curfman McInnes #define SNESTR "tr" 31*eef9c623SLois Curfman McInnes #define SNESTEST "test" 3282bf6240SBarry Smith typedef char *SNESType; 33b1f5cb9dSBarry Smith 34deeb6e72SMatthew Knepley /* Logging support */ 35deeb6e72SMatthew Knepley extern int SNES_COOKIE; 368ba1e511SMatthew Knepley extern int MATSNESMFCTX_COOKIE; 37*eef9c623SLois Curfman McInnes extern int SNES_Solve, SNES_LineSearch, SNES_FunctionEval, SNES_JacobianEval; 38*eef9c623SLois Curfman McInnes 39deeb6e72SMatthew Knepley 408ba1e511SMatthew Knepley EXTERN int SNESInitializePackage(char *); 41deeb6e72SMatthew Knepley 42*eef9c623SLois Curfman McInnes EXTERN int SNESCreate(MPI_Comm,SNES*); 43ca44d042SBarry Smith EXTERN int SNESDestroy(SNES); 44ca44d042SBarry Smith EXTERN int SNESSetType(SNES,SNESType); 4587828ca2SBarry Smith EXTERN int SNESSetMonitor(SNES,int(*)(SNES,int,PetscReal,void*),void *,int (*)(void *)); 46ca44d042SBarry Smith EXTERN int SNESClearMonitor(SNES); 4787828ca2SBarry Smith EXTERN int SNESSetConvergenceHistory(SNES,PetscReal*,int *,int,PetscTruth); 4887828ca2SBarry Smith EXTERN int SNESGetConvergenceHistory(SNES,PetscReal**,int **,int *); 49ca44d042SBarry Smith EXTERN int SNESSetUp(SNES,Vec); 50ca44d042SBarry Smith EXTERN int SNESSolve(SNES,Vec,int*); 5184cb2905SBarry Smith 524d8f6ca9SMatthew Knepley EXTERN int SNESAddOptionsChecker(int (*)(SNES)); 534d8f6ca9SMatthew Knepley 544d8f6ca9SMatthew Knepley EXTERN int SNESSetRhsBC(SNES, int (*)(SNES, Vec, void *)); 554d8f6ca9SMatthew Knepley EXTERN int SNESDefaultRhsBC(SNES, Vec, void *); 564d8f6ca9SMatthew Knepley EXTERN int SNESSetSolutionBC(SNES, int (*)(SNES, Vec, void *)); 574d8f6ca9SMatthew Knepley EXTERN int SNESDefaultSolutionBC(SNES, Vec, void *); 584d8f6ca9SMatthew Knepley EXTERN int SNESSetUpdate(SNES, int (*)(SNES, int)); 594d8f6ca9SMatthew Knepley EXTERN int SNESDefaultUpdate(SNES, int); 604d8f6ca9SMatthew Knepley 61b0a32e0cSBarry Smith extern PetscFList SNESList; 62ca44d042SBarry Smith EXTERN int SNESRegisterDestroy(void); 63ca44d042SBarry Smith EXTERN int SNESRegisterAll(char *); 6484cb2905SBarry Smith 65ca44d042SBarry Smith EXTERN int SNESRegister(char*,char*,char*,int(*)(SNES)); 66aa482453SBarry Smith #if defined(PETSC_USE_DYNAMIC_LIBRARIES) 67f1af5d2fSBarry Smith #define SNESRegisterDynamic(a,b,c,d) SNESRegister(a,b,c,0) 68b2002411SLois Curfman McInnes #else 69f1af5d2fSBarry Smith #define SNESRegisterDynamic(a,b,c,d) SNESRegister(a,b,c,d) 70b2002411SLois Curfman McInnes #endif 71b2002411SLois Curfman McInnes 72ca44d042SBarry Smith EXTERN int SNESGetSLES(SNES,SLES*); 73ca44d042SBarry Smith EXTERN int SNESGetSolution(SNES,Vec*); 74ca44d042SBarry Smith EXTERN int SNESGetSolutionUpdate(SNES,Vec*); 758439883dSBarry Smith EXTERN int SNESGetFunction(SNES,Vec*,void**,int(**)(SNES,Vec,Vec,void*)); 76b0a32e0cSBarry Smith EXTERN int SNESView(SNES,PetscViewer); 777bc3d0afSSatish Balay 78ca44d042SBarry Smith EXTERN int SNESSetOptionsPrefix(SNES,char*); 79ca44d042SBarry Smith EXTERN int SNESAppendOptionsPrefix(SNES,char*); 80ca44d042SBarry Smith EXTERN int SNESGetOptionsPrefix(SNES,char**); 81ca44d042SBarry Smith EXTERN int SNESSetFromOptions(SNES); 8240191667SLois Curfman McInnes 83ca44d042SBarry Smith EXTERN int MatCreateSNESMF(SNES,Vec,Mat*); 841d1367b7SBarry Smith EXTERN int MatCreateMF(Vec,Mat*); 851d1367b7SBarry Smith EXTERN int MatSNESMFSetBase(Mat,Vec); 863a7fca6bSBarry Smith EXTERN int MatSNESMFComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*); 87ca44d042SBarry Smith EXTERN int MatSNESMFSetFunction(Mat,Vec,int(*)(SNES,Vec,Vec,void*),void*); 8887828ca2SBarry Smith EXTERN int MatSNESMFSetFunctioni(Mat,int (*)(int,Vec,PetscScalar*,void*)); 898a124369SBarry Smith EXTERN int MatSNESMFSetFunctioniBase(Mat,int (*)(Vec,void*)); 9074637425SBarry Smith EXTERN int MatSNESMFAddNullSpace(Mat,MatNullSpace); 9187828ca2SBarry Smith EXTERN int MatSNESMFSetHHistory(Mat,PetscScalar *,int); 92ca44d042SBarry Smith EXTERN int MatSNESMFResetHHistory(Mat); 9387828ca2SBarry Smith EXTERN int MatSNESMFSetFunctionError(Mat,PetscReal); 94ca44d042SBarry Smith EXTERN int MatSNESMFSetPeriod(Mat,int); 9587828ca2SBarry Smith EXTERN int MatSNESMFGetH(Mat,PetscScalar *); 9687828ca2SBarry Smith EXTERN int MatSNESMFKSPMonitor(KSP,int,PetscReal,void *); 97ca44d042SBarry Smith EXTERN int MatSNESMFSetFromOptions(Mat); 985a655dc6SBarry Smith typedef struct _p_MatSNESMFCtx *MatSNESMFCtx; 99435da068SBarry Smith 100435da068SBarry Smith #define MATSNESMF_DEFAULT "default" 101435da068SBarry Smith #define MATSNESMF_WP "wp" 102b7fd4e64SBarry Smith typedef char* MatSNESMFType; 103ca44d042SBarry Smith EXTERN int MatSNESMFSetType(Mat,MatSNESMFType); 104ca44d042SBarry Smith EXTERN int MatSNESMFRegister(char *,char *,char *,int (*)(MatSNESMFCtx)); 105aa482453SBarry Smith #if defined(PETSC_USE_DYNAMIC_LIBRARIES) 106f1af5d2fSBarry Smith #define MatSNESMFRegisterDynamic(a,b,c,d) MatSNESMFRegister(a,b,c,0) 1079a6cb015SBarry Smith #else 108f1af5d2fSBarry Smith #define MatSNESMFRegisterDynamic(a,b,c,d) MatSNESMFRegister(a,b,c,d) 1099a6cb015SBarry Smith #endif 110ca44d042SBarry Smith EXTERN int MatSNESMFRegisterAll(char *); 111ca44d042SBarry Smith EXTERN int MatSNESMFRegisterDestroy(void); 1123a7fca6bSBarry Smith EXTERN int MatSNESMFDefaultSetUmin(Mat,PetscReal); 113ca44d042SBarry Smith EXTERN int MatSNESMFWPSetComputeNormA(Mat,PetscTruth); 114ca44d042SBarry Smith EXTERN int MatSNESMFWPSetComputeNormU(Mat,PetscTruth); 1158f6e3e37SBarry Smith 1163a7fca6bSBarry Smith EXTERN int MatDAADSetSNES(Mat,SNES); 1173a7fca6bSBarry Smith 118ca44d042SBarry Smith EXTERN int SNESGetType(SNES,SNESType*); 11987828ca2SBarry Smith EXTERN int SNESDefaultMonitor(SNES,int,PetscReal,void *); 12087828ca2SBarry Smith EXTERN int SNESRatioMonitor(SNES,int,PetscReal,void *); 1213a7fca6bSBarry Smith EXTERN int SNESSetRatioMonitor(SNES); 12287828ca2SBarry Smith EXTERN int SNESVecViewMonitor(SNES,int,PetscReal,void *); 1235ed2d596SBarry Smith EXTERN int SNESVecViewResidualMonitor(SNES,int,PetscReal,void *); 12487828ca2SBarry Smith EXTERN int SNESVecViewUpdateMonitor(SNES,int,PetscReal,void *); 12587828ca2SBarry Smith EXTERN int SNESDefaultSMonitor(SNES,int,PetscReal,void *); 12687828ca2SBarry Smith EXTERN int SNESSetTolerances(SNES,PetscReal,PetscReal,PetscReal,int,int); 12787828ca2SBarry Smith EXTERN int SNESGetTolerances(SNES,PetscReal*,PetscReal*,PetscReal*,int*,int*); 12887828ca2SBarry Smith EXTERN int SNESSetTrustRegionTolerance(SNES,PetscReal); 129ca44d042SBarry Smith EXTERN int SNESGetIterationNumber(SNES,int*); 13087828ca2SBarry Smith EXTERN int SNESGetFunctionNorm(SNES,PetscScalar*); 131ca44d042SBarry Smith EXTERN int SNESGetNumberUnsuccessfulSteps(SNES,int*); 1323064298fSMatthew Knepley EXTERN int SNESSetMaximumUnsuccessfulSteps(SNES,int); 1333064298fSMatthew Knepley EXTERN int SNESGetMaximumUnsuccessfulSteps(SNES,int*); 134ca44d042SBarry Smith EXTERN int SNESGetNumberLinearIterations(SNES,int*); 13587828ca2SBarry Smith EXTERN int SNES_KSP_SetParametersEW(SNES,int,PetscReal,PetscReal,PetscReal,PetscReal,PetscReal,PetscReal); 136ca44d042SBarry Smith EXTERN int SNES_KSP_SetConvergenceTestEW(SNES); 137eafb4bcbSBarry Smith 1383369ce9aSBarry Smith /* 1393369ce9aSBarry Smith Reuse the default KSP monitor routines for SNES 1403369ce9aSBarry Smith */ 141b0a32e0cSBarry Smith EXTERN int SNESLGMonitorCreate(char*,char*,int,int,int,int,PetscDrawLG*); 14287828ca2SBarry Smith EXTERN int SNESLGMonitor(SNES,int,PetscReal,void*); 143b0a32e0cSBarry Smith EXTERN int SNESLGMonitorDestroy(PetscDrawLG); 144eafb4bcbSBarry Smith 145ca44d042SBarry Smith EXTERN int SNESSetApplicationContext(SNES,void *); 146ca44d042SBarry Smith EXTERN int SNESGetApplicationContext(SNES,void **); 147184914b5SBarry Smith 148435da068SBarry Smith /*E 149435da068SBarry Smith SNESConvergedReason - reason a SNES method was said to 150435da068SBarry Smith have converged or diverged 151435da068SBarry Smith 152435da068SBarry Smith Level: beginner 153435da068SBarry Smith 154435da068SBarry Smith Notes: this must match finclude/petscsnes.h 155435da068SBarry Smith 156435da068SBarry Smith .seealso: SNESSolve(), SNESGetConvergedReason(), KSPConvergedReason, SNESSetConvergenceTest() 157435da068SBarry Smith E*/ 158184914b5SBarry Smith typedef enum {/* converged */ 159184914b5SBarry Smith SNES_CONVERGED_FNORM_ABS = 2, /* F < F_minabs */ 160184914b5SBarry Smith SNES_CONVERGED_FNORM_RELATIVE = 3, /* F < F_mintol*F_initial */ 161184914b5SBarry Smith SNES_CONVERGED_PNORM_RELATIVE = 4, /* step size small */ 162184914b5SBarry Smith SNES_CONVERGED_GNORM_ABS = 5, /* grad F < grad F_min */ 163184914b5SBarry Smith SNES_CONVERGED_TR_REDUCTION = 6, 164184914b5SBarry Smith SNES_CONVERGED_TR_DELTA = 7, 165184914b5SBarry Smith /* diverged */ 166184914b5SBarry Smith SNES_DIVERGED_FUNCTION_COUNT = -2, 167184914b5SBarry Smith SNES_DIVERGED_FNORM_NAN = -4, 168184914b5SBarry Smith SNES_DIVERGED_MAX_IT = -5, 169184914b5SBarry Smith SNES_DIVERGED_LS_FAILURE = -6, 170184914b5SBarry Smith SNES_DIVERGED_TR_REDUCTION = -7, 17158c775ebSBarry Smith SNES_DIVERGED_LOCAL_MIN = -8, /* || J^T b || is small, implies converged to local minimum of F() */ 172184914b5SBarry Smith SNES_CONVERGED_ITERATING = 0} SNESConvergedReason; 173184914b5SBarry Smith 17487828ca2SBarry Smith EXTERN int SNESSetConvergenceTest(SNES,int (*)(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*),void*); 175*eef9c623SLois Curfman McInnes EXTERN int SNESConverged_LS(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*); 176*eef9c623SLois Curfman McInnes EXTERN int SNESConverged_TR(SNES,PetscReal,PetscReal,PetscReal,SNESConvergedReason*,void*); 177ca44d042SBarry Smith EXTERN int SNESGetConvergedReason(SNES,SNESConvergedReason*); 178ddbbdb52SLois Curfman McInnes 1793a7fca6bSBarry Smith EXTERN int SNESDAFormFunction(SNES,Vec,Vec,void*); 1803a7fca6bSBarry Smith EXTERN int SNESDAComputeJacobianWithAdic(SNES,Vec,Mat*,Mat*,MatStructure*,void*); 1813a7fca6bSBarry Smith EXTERN int SNESDAComputeJacobianWithAdifor(SNES,Vec,Mat*,Mat*,MatStructure*,void*); 1823a7fca6bSBarry Smith EXTERN int SNESDAComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*); 1833a7fca6bSBarry Smith 184b67197daSBarry Smith /* --------- Solving systems of nonlinear equations --------------- */ 185ca44d042SBarry Smith EXTERN int SNESSetFunction(SNES,Vec,int(*)(SNES,Vec,Vec,void*),void *); 186ca44d042SBarry Smith EXTERN int SNESComputeFunction(SNES,Vec,Vec); 187ca44d042SBarry Smith EXTERN int SNESSetJacobian(SNES,Mat,Mat,int(*)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void *); 1888439883dSBarry Smith EXTERN int SNESGetJacobian(SNES,Mat*,Mat*,void **,int(**)(SNES,Vec,Mat*,Mat*,MatStructure*,void*)); 189ca44d042SBarry Smith EXTERN int SNESDefaultComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*); 190ca44d042SBarry Smith EXTERN int SNESDefaultComputeJacobianColor(SNES,Vec,Mat*,Mat*,MatStructure*,void*); 19187828ca2SBarry Smith EXTERN int SNESSetLineSearch(SNES,int(*)(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*),void*); 19287828ca2SBarry Smith EXTERN int SNESNoLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*); 19387828ca2SBarry Smith EXTERN int SNESNoLineSearchNoNorms(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*); 19487828ca2SBarry Smith EXTERN int SNESCubicLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*); 19587828ca2SBarry Smith EXTERN int SNESQuadraticLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,PetscReal,PetscReal*,PetscReal*,int*); 196ca44d042SBarry Smith EXTERN int SNESSetLineSearchCheck(SNES,int(*)(SNES,void*,Vec,PetscTruth*),void*); 19787828ca2SBarry Smith EXTERN int SNESSetLineSearchParams(SNES,PetscReal,PetscReal,PetscReal); 19887828ca2SBarry Smith EXTERN int SNESGetLineSearchParams(SNES,PetscReal*,PetscReal*,PetscReal*); 19940191667SLois Curfman McInnes 200*eef9c623SLois Curfman McInnes /* Should this routine be private? */ 201ca44d042SBarry Smith EXTERN int SNESComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*); 202ddbbdb52SLois Curfman McInnes 203ce3d82beSBarry Smith #endif 204b1f5cb9dSBarry Smith 205