xref: /petsc/include/petscsnes.h (revision 435da068ed131cbb9cf235815d431601925f48e7)
1*435da068SBarry Smith /* $Id: petscsnes.h,v 1.106 2001/01/15 21:47:47 bsmith Exp bsmith $ */
2f26ada1bSBarry Smith /*
384cb2905SBarry Smith     User interface for the nonlinear solvers and unconstrained minimization package.
4f26ada1bSBarry Smith */
50a835dfdSSatish Balay #if !defined(__PETSCSNES_H)
60a835dfdSSatish Balay #define __PETSCSNES_H
70a835dfdSSatish Balay #include "petscsles.h"
8b1f5cb9dSBarry Smith 
9*435da068SBarry Smith /*S
10*435da068SBarry Smith      SNES - Abstract PETSc object that manages all nonlinear solves
11*435da068SBarry Smith 
12*435da068SBarry Smith    Level: beginner
13*435da068SBarry Smith 
14*435da068SBarry Smith   Concepts: nonlinear solvers
15*435da068SBarry Smith 
16*435da068SBarry Smith .seealso:  SNESCreate(), SNESSetType(), SNESType, TS, SLES, KSP, PC, SNESProblemType
17*435da068SBarry Smith S*/
18f09e8eb9SSatish Balay typedef struct _p_SNES* SNES;
19*435da068SBarry Smith 
20ce3d82beSBarry Smith #define SNES_COOKIE         PETSC_COOKIE+13
216831982aSBarry Smith #define MATSNESMFCTX_COOKIE PETSC_COOKIE+29
22b1f5cb9dSBarry Smith 
23*435da068SBarry Smith /*E
24*435da068SBarry Smith     SNESType - String with the name of a PETSc SNES method or the creation function
25*435da068SBarry Smith        with an optional dynamic library name, for example
26*435da068SBarry Smith        http://www.mcs.anl.gov/petsc/lib.a:mysnescreate()
27*435da068SBarry Smith 
28*435da068SBarry Smith    Level: beginner
29*435da068SBarry Smith 
30*435da068SBarry Smith .seealso: SNESSetType(), SNES
31*435da068SBarry Smith E*/
326831982aSBarry Smith #define SNESEQLS          "ls"
336831982aSBarry Smith #define SNESEQTR          "tr"
346831982aSBarry Smith #define SNESEQTEST        "test"
356831982aSBarry Smith #define SNESUMLS          "umls"
366831982aSBarry Smith #define SNESUMTR          "umtr"
3782bf6240SBarry Smith typedef char *SNESType;
38b1f5cb9dSBarry Smith 
39*435da068SBarry Smith /*E
40*435da068SBarry Smith     SNESProblemType - Determines the type of problem this SNES object is to be used to solve
41*435da068SBarry Smith 
42*435da068SBarry Smith    Level: beginner
43*435da068SBarry Smith 
44*435da068SBarry Smith .seealso: SNESCreate()
45*435da068SBarry Smith E*/
462a03e22aSLois Curfman McInnes typedef enum {SNES_NONLINEAR_EQUATIONS,SNES_UNCONSTRAINED_MINIMIZATION,SNES_LEAST_SQUARES} SNESProblemType;
472a03e22aSLois Curfman McInnes 
48ca44d042SBarry Smith EXTERN int SNESCreate(MPI_Comm,SNESProblemType,SNES*);
49ca44d042SBarry Smith EXTERN int SNESDestroy(SNES);
50ca44d042SBarry Smith EXTERN int SNESSetType(SNES,SNESType);
51ca44d042SBarry Smith EXTERN int SNESSetMonitor(SNES,int(*)(SNES,int,double,void*),void *,int (*)(void *));
52ca44d042SBarry Smith EXTERN int SNESClearMonitor(SNES);
53ca44d042SBarry Smith EXTERN int SNESSetConvergenceHistory(SNES,double*,int *,int,PetscTruth);
54ca44d042SBarry Smith EXTERN int SNESGetConvergenceHistory(SNES,double**,int **,int *);
55ca44d042SBarry Smith EXTERN int SNESSetUp(SNES,Vec);
56ca44d042SBarry Smith EXTERN int SNESSolve(SNES,Vec,int*);
5784cb2905SBarry Smith 
58b0a32e0cSBarry Smith extern PetscFList SNESList;
59ca44d042SBarry Smith EXTERN int SNESRegisterDestroy(void);
60ca44d042SBarry Smith EXTERN int SNESRegisterAll(char *);
6184cb2905SBarry Smith 
62ca44d042SBarry Smith EXTERN int SNESRegister(char*,char*,char*,int(*)(SNES));
63aa482453SBarry Smith #if defined(PETSC_USE_DYNAMIC_LIBRARIES)
64f1af5d2fSBarry Smith #define SNESRegisterDynamic(a,b,c,d) SNESRegister(a,b,c,0)
65b2002411SLois Curfman McInnes #else
66f1af5d2fSBarry Smith #define SNESRegisterDynamic(a,b,c,d) SNESRegister(a,b,c,d)
67b2002411SLois Curfman McInnes #endif
68b2002411SLois Curfman McInnes 
69ca44d042SBarry Smith EXTERN int SNESGetSLES(SNES,SLES*);
70ca44d042SBarry Smith EXTERN int SNESGetSolution(SNES,Vec*);
71ca44d042SBarry Smith EXTERN int SNESGetSolutionUpdate(SNES,Vec*);
728439883dSBarry Smith EXTERN int SNESGetFunction(SNES,Vec*,void**,int(**)(SNES,Vec,Vec,void*));
73b0a32e0cSBarry Smith EXTERN int SNESView(SNES,PetscViewer);
747bc3d0afSSatish Balay 
75ca44d042SBarry Smith EXTERN int SNESSetOptionsPrefix(SNES,char*);
76ca44d042SBarry Smith EXTERN int SNESAppendOptionsPrefix(SNES,char*);
77ca44d042SBarry Smith EXTERN int SNESGetOptionsPrefix(SNES,char**);
78ca44d042SBarry Smith EXTERN int SNESSetFromOptions(SNES);
79ca44d042SBarry Smith EXTERN int SNESSetTypeFromOptions(SNES);
8040191667SLois Curfman McInnes 
81ca44d042SBarry Smith EXTERN int MatCreateSNESMF(SNES,Vec,Mat*);
821d1367b7SBarry Smith EXTERN int MatCreateMF(Vec,Mat*);
831d1367b7SBarry Smith EXTERN int MatSNESMFSetBase(Mat,Vec);
841d1367b7SBarry Smith EXTERN int MatSNESMFFormJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
85ca44d042SBarry Smith EXTERN int MatSNESMFSetFunction(Mat,Vec,int(*)(SNES,Vec,Vec,void*),void *);
8674637425SBarry Smith EXTERN int MatSNESMFAddNullSpace(Mat,MatNullSpace);
87ca44d042SBarry Smith EXTERN int MatSNESMFSetHHistory(Mat,Scalar *,int);
88ca44d042SBarry Smith EXTERN int MatSNESMFResetHHistory(Mat);
89ca44d042SBarry Smith EXTERN int MatSNESMFSetFunctionError(Mat,double);
90ca44d042SBarry Smith EXTERN int MatSNESMFSetPeriod(Mat,int);
91ca44d042SBarry Smith EXTERN int MatSNESMFGetH(Mat,Scalar *);
92ca44d042SBarry Smith EXTERN int MatSNESMFKSPMonitor(KSP,int,double,void *);
93ca44d042SBarry Smith EXTERN int MatSNESMFSetFromOptions(Mat);
945a655dc6SBarry Smith typedef struct _p_MatSNESMFCtx   *MatSNESMFCtx;
95*435da068SBarry Smith 
96*435da068SBarry Smith #define MATSNESMF_DEFAULT "default"
97*435da068SBarry Smith #define MATSNESMF_WP      "wp"
98b7fd4e64SBarry Smith typedef char* MatSNESMFType;
99ca44d042SBarry Smith EXTERN int MatSNESMFSetType(Mat,MatSNESMFType);
100ca44d042SBarry Smith EXTERN int MatSNESMFRegister(char *,char *,char *,int (*)(MatSNESMFCtx));
101aa482453SBarry Smith #if defined(PETSC_USE_DYNAMIC_LIBRARIES)
102f1af5d2fSBarry Smith #define MatSNESMFRegisterDynamic(a,b,c,d) MatSNESMFRegister(a,b,c,0)
1039a6cb015SBarry Smith #else
104f1af5d2fSBarry Smith #define MatSNESMFRegisterDynamic(a,b,c,d) MatSNESMFRegister(a,b,c,d)
1059a6cb015SBarry Smith #endif
106ca44d042SBarry Smith EXTERN int MatSNESMFRegisterAll(char *);
107ca44d042SBarry Smith EXTERN int MatSNESMFRegisterDestroy(void);
108ca44d042SBarry Smith EXTERN int MatSNESMFDefaultSetUmin(Mat,double);
109ca44d042SBarry Smith EXTERN int MatSNESMFWPSetComputeNormA(Mat,PetscTruth);
110ca44d042SBarry Smith EXTERN int MatSNESMFWPSetComputeNormU(Mat,PetscTruth);
1118f6e3e37SBarry Smith 
112ca44d042SBarry Smith EXTERN int SNESGetType(SNES,SNESType*);
113ca44d042SBarry Smith EXTERN int SNESDefaultMonitor(SNES,int,double,void *);
114ca44d042SBarry Smith EXTERN int SNESVecViewMonitor(SNES,int,double,void *);
115ca44d042SBarry Smith EXTERN int SNESVecViewUpdateMonitor(SNES,int,double,void *);
116ca44d042SBarry Smith EXTERN int SNESDefaultSMonitor(SNES,int,double,void *);
117ca44d042SBarry Smith EXTERN int SNESSetTolerances(SNES,double,double,double,int,int);
118ca44d042SBarry Smith EXTERN int SNESGetTolerances(SNES,double*,double*,double*,int*,int*);
119ca44d042SBarry Smith EXTERN int SNESSetTrustRegionTolerance(SNES,double);
120ca44d042SBarry Smith EXTERN int SNESGetIterationNumber(SNES,int*);
121ca44d042SBarry Smith EXTERN int SNESGetFunctionNorm(SNES,Scalar*);
122ca44d042SBarry Smith EXTERN int SNESGetNumberUnsuccessfulSteps(SNES,int*);
123ca44d042SBarry Smith EXTERN int SNESGetNumberLinearIterations(SNES,int*);
124ca44d042SBarry Smith EXTERN int SNES_KSP_SetParametersEW(SNES,int,double,double,double,double,double,double);
125ca44d042SBarry Smith EXTERN int SNES_KSP_SetConvergenceTestEW(SNES);
126eafb4bcbSBarry Smith 
1273369ce9aSBarry Smith /*
1283369ce9aSBarry Smith      Reuse the default KSP monitor routines for SNES
1293369ce9aSBarry Smith */
130b0a32e0cSBarry Smith EXTERN int SNESLGMonitorCreate(char*,char*,int,int,int,int,PetscDrawLG*);
131ca44d042SBarry Smith EXTERN int SNESLGMonitor(SNES,int,double,void*);
132b0a32e0cSBarry Smith EXTERN int SNESLGMonitorDestroy(PetscDrawLG);
133eafb4bcbSBarry Smith 
134ca44d042SBarry Smith EXTERN int SNESSetApplicationContext(SNES,void *);
135ca44d042SBarry Smith EXTERN int SNESGetApplicationContext(SNES,void **);
136184914b5SBarry Smith 
137*435da068SBarry Smith /*E
138*435da068SBarry Smith     SNESConvergedReason - reason a SNES method was said to
139*435da068SBarry Smith          have converged or diverged
140*435da068SBarry Smith 
141*435da068SBarry Smith    Level: beginner
142*435da068SBarry Smith 
143*435da068SBarry Smith    Notes: this must match finclude/petscsnes.h
144*435da068SBarry Smith 
145*435da068SBarry Smith .seealso: SNESSolve(), SNESGetConvergedReason(), KSPConvergedReason, SNESSetConvergenceTest()
146*435da068SBarry Smith E*/
147184914b5SBarry Smith typedef enum {/* converged */
148184914b5SBarry Smith               SNES_CONVERGED_FNORM_ABS         =  2, /* F < F_minabs */
149184914b5SBarry Smith               SNES_CONVERGED_FNORM_RELATIVE    =  3, /* F < F_mintol*F_initial */
150184914b5SBarry Smith               SNES_CONVERGED_PNORM_RELATIVE    =  4, /* step size small */
151184914b5SBarry Smith               SNES_CONVERGED_GNORM_ABS         =  5, /* grad F < grad F_min */
152184914b5SBarry Smith               SNES_CONVERGED_TR_REDUCTION      =  6,
153184914b5SBarry Smith               SNES_CONVERGED_TR_DELTA          =  7,
154184914b5SBarry Smith               /* diverged */
155184914b5SBarry Smith               SNES_DIVERGED_FUNCTION_COUNT     = -2,
156184914b5SBarry Smith               SNES_DIVERGED_FNORM_NAN          = -4,
157184914b5SBarry Smith               SNES_DIVERGED_MAX_IT             = -5,
158184914b5SBarry Smith               SNES_DIVERGED_LS_FAILURE         = -6,
159184914b5SBarry Smith               SNES_DIVERGED_TR_REDUCTION       = -7,
16058c775ebSBarry Smith               SNES_DIVERGED_LOCAL_MIN          = -8,  /* || J^T b || is small, implies converged to local minimum of F() */
161184914b5SBarry Smith               SNES_CONVERGED_ITERATING         =  0} SNESConvergedReason;
162184914b5SBarry Smith 
163ca44d042SBarry Smith EXTERN int SNESSetConvergenceTest(SNES,int (*)(SNES,double,double,double,SNESConvergedReason*,void*),void*);
164ca44d042SBarry Smith EXTERN int SNESConverged_UM_LS(SNES,double,double,double,SNESConvergedReason*,void*);
165ca44d042SBarry Smith EXTERN int SNESConverged_UM_TR(SNES,double,double,double,SNESConvergedReason*,void*);
166ca44d042SBarry Smith EXTERN int SNESConverged_EQ_LS(SNES,double,double,double,SNESConvergedReason*,void*);
167ca44d042SBarry Smith EXTERN int SNESConverged_EQ_TR(SNES,double,double,double,SNESConvergedReason*,void*);
168ca44d042SBarry Smith EXTERN int SNESGetConvergedReason(SNES,SNESConvergedReason*);
169ddbbdb52SLois Curfman McInnes 
170b67197daSBarry Smith /* --------- Solving systems of nonlinear equations --------------- */
171ca44d042SBarry Smith EXTERN int SNESSetFunction(SNES,Vec,int(*)(SNES,Vec,Vec,void*),void *);
172ca44d042SBarry Smith EXTERN int SNESComputeFunction(SNES,Vec,Vec);
173ca44d042SBarry Smith EXTERN int SNESSetJacobian(SNES,Mat,Mat,int(*)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void *);
1748439883dSBarry Smith EXTERN int SNESGetJacobian(SNES,Mat*,Mat*,void **,int(**)(SNES,Vec,Mat*,Mat*,MatStructure*,void*));
175ca44d042SBarry Smith EXTERN int SNESDefaultComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
176ca44d042SBarry Smith EXTERN int SNESDefaultComputeJacobianColor(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
177ca44d042SBarry Smith EXTERN int SNESSetLineSearch(SNES,int(*)(SNES,void*,Vec,Vec,Vec,Vec,Vec,double,double*,double*,int*),void*);
178ca44d042SBarry Smith EXTERN int SNESNoLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,double,double*,double*,int*);
179ca44d042SBarry Smith EXTERN int SNESNoLineSearchNoNorms(SNES,void*,Vec,Vec,Vec,Vec,Vec,double,double*,double*,int*);
180ca44d042SBarry Smith EXTERN int SNESCubicLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,double,double*,double*,int*);
181ca44d042SBarry Smith EXTERN int SNESQuadraticLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,double,double*,double*,int*);
182ca44d042SBarry Smith EXTERN int SNESSetLineSearchCheck(SNES,int(*)(SNES,void*,Vec,PetscTruth*),void*);
183ca44d042SBarry Smith EXTERN int SNESSetLineSearchParams(SNES,double,double,double);
184ca44d042SBarry Smith EXTERN int SNESGetLineSearchParams(SNES,double*,double*,double*);
18540191667SLois Curfman McInnes 
18684cb2905SBarry Smith /* --------- Unconstrained minimization routines --------------------------------*/
187ca44d042SBarry Smith EXTERN int SNESSetHessian(SNES,Mat,Mat,int(*)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void *);
188ca44d042SBarry Smith EXTERN int SNESGetHessian(SNES,Mat*,Mat*,void **);
189ca44d042SBarry Smith EXTERN int SNESDefaultComputeHessian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
190ca44d042SBarry Smith EXTERN int SNESDefaultComputeHessianColor(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
191ca44d042SBarry Smith EXTERN int SNESSetGradient(SNES,Vec,int(*)(SNES,Vec,Vec,void*),void*);
192ca44d042SBarry Smith EXTERN int SNESGetGradient(SNES,Vec*,void**);
193ca44d042SBarry Smith EXTERN int SNESGetGradientNorm(SNES,Scalar*);
194ca44d042SBarry Smith EXTERN int SNESComputeGradient(SNES,Vec,Vec);
195ca44d042SBarry Smith EXTERN int SNESSetMinimizationFunction(SNES,int(*)(SNES,Vec,double*,void*),void*);
196ca44d042SBarry Smith EXTERN int SNESComputeMinimizationFunction(SNES,Vec,double*);
197ca44d042SBarry Smith EXTERN int SNESGetMinimizationFunction(SNES,double*,void**);
198ca44d042SBarry Smith EXTERN int SNESSetMinimizationFunctionTolerance(SNES,double);
199ca44d042SBarry Smith EXTERN int SNESLineSearchSetDampingParameter(SNES,Scalar*);
20052392280SLois Curfman McInnes 
2014b0e389bSBarry Smith 
20252392280SLois Curfman McInnes /* Should these 2 routines be private? */
203ca44d042SBarry Smith EXTERN int SNESComputeHessian(SNES,Vec,Mat*,Mat*,MatStructure*);
204ca44d042SBarry Smith EXTERN int SNESComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*);
205ddbbdb52SLois Curfman McInnes 
206ce3d82beSBarry Smith #endif
207b1f5cb9dSBarry Smith 
208