xref: /petsc/include/petscsnes.h (revision ca44d042d6f86ecc01fa7a52a5213a5161f95f53)
1*ca44d042SBarry Smith /* $Id: petscsnes.h,v 1.99 2000/05/08 15:09:50 balay 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 
9f09e8eb9SSatish Balay typedef struct _p_SNES* SNES;
10ce3d82beSBarry Smith #define SNES_COOKIE         PETSC_COOKIE+13
116831982aSBarry Smith #define MATSNESMFCTX_COOKIE PETSC_COOKIE+29
12b1f5cb9dSBarry Smith 
136831982aSBarry Smith #define SNESEQLS          "ls"
146831982aSBarry Smith #define SNESEQTR          "tr"
156831982aSBarry Smith #define SNESEQTEST        "test"
166831982aSBarry Smith #define SNESUMLS          "umls"
176831982aSBarry Smith #define SNESUMTR          "umtr"
1882bf6240SBarry Smith 
1982bf6240SBarry Smith typedef char *SNESType;
20b1f5cb9dSBarry Smith 
212a03e22aSLois Curfman McInnes typedef enum {SNES_NONLINEAR_EQUATIONS,SNES_UNCONSTRAINED_MINIMIZATION,SNES_LEAST_SQUARES} SNESProblemType;
222a03e22aSLois Curfman McInnes 
23*ca44d042SBarry Smith EXTERN int SNESCreate(MPI_Comm,SNESProblemType,SNES*);
24*ca44d042SBarry Smith EXTERN int SNESDestroy(SNES);
25*ca44d042SBarry Smith EXTERN int SNESSetType(SNES,SNESType);
26*ca44d042SBarry Smith EXTERN int SNESSetMonitor(SNES,int(*)(SNES,int,double,void*),void *,int (*)(void *));
27*ca44d042SBarry Smith EXTERN int SNESClearMonitor(SNES);
28*ca44d042SBarry Smith EXTERN int SNESSetConvergenceHistory(SNES,double*,int *,int,PetscTruth);
29*ca44d042SBarry Smith EXTERN int SNESGetConvergenceHistory(SNES,double**,int **,int *);
30*ca44d042SBarry Smith EXTERN int SNESSetUp(SNES,Vec);
31*ca44d042SBarry Smith EXTERN int SNESSolve(SNES,Vec,int*);
3284cb2905SBarry Smith 
33488ecbafSBarry Smith extern FList SNESList;
34*ca44d042SBarry Smith EXTERN int SNESRegisterDestroy(void);
35*ca44d042SBarry Smith EXTERN int SNESRegisterAll(char *);
3684cb2905SBarry Smith 
37*ca44d042SBarry Smith EXTERN int SNESRegister(char*,char*,char*,int(*)(SNES));
38aa482453SBarry Smith #if defined(PETSC_USE_DYNAMIC_LIBRARIES)
39f1af5d2fSBarry Smith #define SNESRegisterDynamic(a,b,c,d) SNESRegister(a,b,c,0)
40b2002411SLois Curfman McInnes #else
41f1af5d2fSBarry Smith #define SNESRegisterDynamic(a,b,c,d) SNESRegister(a,b,c,d)
42b2002411SLois Curfman McInnes #endif
43b2002411SLois Curfman McInnes 
44*ca44d042SBarry Smith EXTERN int SNESGetSLES(SNES,SLES*);
45*ca44d042SBarry Smith EXTERN int SNESGetSolution(SNES,Vec*);
46*ca44d042SBarry Smith EXTERN int SNESGetSolutionUpdate(SNES,Vec*);
47*ca44d042SBarry Smith EXTERN int SNESGetFunction(SNES,Vec*,void**);
48*ca44d042SBarry Smith EXTERN int SNESPrintHelp(SNES);
49*ca44d042SBarry Smith EXTERN int SNESView(SNES,Viewer);
507bc3d0afSSatish Balay 
51*ca44d042SBarry Smith EXTERN int SNESSetOptionsPrefix(SNES,char*);
52*ca44d042SBarry Smith EXTERN int SNESAppendOptionsPrefix(SNES,char*);
53*ca44d042SBarry Smith EXTERN int SNESGetOptionsPrefix(SNES,char**);
54*ca44d042SBarry Smith EXTERN int SNESSetFromOptions(SNES);
55*ca44d042SBarry Smith EXTERN int SNESSetTypeFromOptions(SNES);
56*ca44d042SBarry Smith EXTERN int SNESAddOptionsChecker(int (*)(SNES));
5740191667SLois Curfman McInnes 
58b7fd4e64SBarry Smith #define MATSNESMF_DEFAULT "default"
59b7fd4e64SBarry Smith #define MATSNESMF_WP      "wp"
60*ca44d042SBarry Smith EXTERN int MatCreateSNESMF(SNES,Vec,Mat*);
61*ca44d042SBarry Smith EXTERN int MatSNESMFSetFunction(Mat,Vec,int(*)(SNES,Vec,Vec,void*),void *);
62*ca44d042SBarry Smith EXTERN int MatSNESMFAddNullSpace(Mat,PCNullSpace);
63*ca44d042SBarry Smith EXTERN int MatSNESMFSetHHistory(Mat,Scalar *,int);
64*ca44d042SBarry Smith EXTERN int MatSNESMFResetHHistory(Mat);
65*ca44d042SBarry Smith EXTERN int MatSNESMFSetFunctionError(Mat,double);
66*ca44d042SBarry Smith EXTERN int MatSNESMFSetPeriod(Mat,int);
67*ca44d042SBarry Smith EXTERN int MatSNESMFGetH(Mat,Scalar *);
68*ca44d042SBarry Smith EXTERN int MatSNESMFKSPMonitor(KSP,int,double,void *);
69*ca44d042SBarry Smith EXTERN int MatSNESMFSetFromOptions(Mat);
705a655dc6SBarry Smith typedef struct _p_MatSNESMFCtx   *MatSNESMFCtx;
71b7fd4e64SBarry Smith typedef char* MatSNESMFType;
72*ca44d042SBarry Smith EXTERN int MatSNESMFSetType(Mat,MatSNESMFType);
73*ca44d042SBarry Smith EXTERN int MatSNESMFRegister(char *,char *,char *,int (*)(MatSNESMFCtx));
74aa482453SBarry Smith #if defined(PETSC_USE_DYNAMIC_LIBRARIES)
75f1af5d2fSBarry Smith #define MatSNESMFRegisterDynamic(a,b,c,d) MatSNESMFRegister(a,b,c,0)
769a6cb015SBarry Smith #else
77f1af5d2fSBarry Smith #define MatSNESMFRegisterDynamic(a,b,c,d) MatSNESMFRegister(a,b,c,d)
789a6cb015SBarry Smith #endif
79*ca44d042SBarry Smith EXTERN int MatSNESMFRegisterAll(char *);
80*ca44d042SBarry Smith EXTERN int MatSNESMFRegisterDestroy(void);
81*ca44d042SBarry Smith EXTERN int MatSNESMFDefaultSetUmin(Mat,double);
82*ca44d042SBarry Smith EXTERN int MatSNESMFWPSetComputeNormA(Mat,PetscTruth);
83*ca44d042SBarry Smith EXTERN int MatSNESMFWPSetComputeNormU(Mat,PetscTruth);
848f6e3e37SBarry Smith 
85*ca44d042SBarry Smith EXTERN int SNESGetType(SNES,SNESType*);
86*ca44d042SBarry Smith EXTERN int SNESDefaultMonitor(SNES,int,double,void *);
87*ca44d042SBarry Smith EXTERN int SNESVecViewMonitor(SNES,int,double,void *);
88*ca44d042SBarry Smith EXTERN int SNESVecViewUpdateMonitor(SNES,int,double,void *);
89*ca44d042SBarry Smith EXTERN int SNESDefaultSMonitor(SNES,int,double,void *);
90*ca44d042SBarry Smith EXTERN int SNESSetTolerances(SNES,double,double,double,int,int);
91*ca44d042SBarry Smith EXTERN int SNESGetTolerances(SNES,double*,double*,double*,int*,int*);
92*ca44d042SBarry Smith EXTERN int SNESSetTrustRegionTolerance(SNES,double);
93*ca44d042SBarry Smith EXTERN int SNESGetIterationNumber(SNES,int*);
94*ca44d042SBarry Smith EXTERN int SNESGetFunctionNorm(SNES,Scalar*);
95*ca44d042SBarry Smith EXTERN int SNESGetNumberUnsuccessfulSteps(SNES,int*);
96*ca44d042SBarry Smith EXTERN int SNESGetNumberLinearIterations(SNES,int*);
97*ca44d042SBarry Smith EXTERN int SNES_KSP_SetParametersEW(SNES,int,double,double,double,double,double,double);
98*ca44d042SBarry Smith EXTERN int SNES_KSP_SetConvergenceTestEW(SNES);
99eafb4bcbSBarry Smith 
1003369ce9aSBarry Smith /*
1013369ce9aSBarry Smith      Reuse the default KSP monitor routines for SNES
1023369ce9aSBarry Smith */
103*ca44d042SBarry Smith EXTERN int SNESLGMonitorCreate(char*,char*,int,int,int,int,DrawLG*);
104*ca44d042SBarry Smith EXTERN int SNESLGMonitor(SNES,int,double,void*);
105*ca44d042SBarry Smith EXTERN int SNESLGMonitorDestroy(DrawLG);
106eafb4bcbSBarry Smith 
107*ca44d042SBarry Smith EXTERN int SNESSetApplicationContext(SNES,void *);
108*ca44d042SBarry Smith EXTERN int SNESGetApplicationContext(SNES,void **);
109184914b5SBarry Smith 
110184914b5SBarry Smith typedef enum {/* converged */
111184914b5SBarry Smith               SNES_CONVERGED_FNORM_ABS         =  2, /* F < F_minabs */
112184914b5SBarry Smith               SNES_CONVERGED_FNORM_RELATIVE    =  3, /* F < F_mintol*F_initial */
113184914b5SBarry Smith               SNES_CONVERGED_PNORM_RELATIVE    =  4, /* step size small */
114184914b5SBarry Smith               SNES_CONVERGED_GNORM_ABS         =  5, /* grad F < grad F_min */
115184914b5SBarry Smith               SNES_CONVERGED_TR_REDUCTION      =  6,
116184914b5SBarry Smith               SNES_CONVERGED_TR_DELTA          =  7,
117184914b5SBarry Smith               /* diverged */
118184914b5SBarry Smith               SNES_DIVERGED_FUNCTION_COUNT     = -2,
119184914b5SBarry Smith               SNES_DIVERGED_FNORM_NAN          = -4,
120184914b5SBarry Smith               SNES_DIVERGED_MAX_IT             = -5,
121184914b5SBarry Smith               SNES_DIVERGED_LS_FAILURE         = -6,
122184914b5SBarry Smith               SNES_DIVERGED_TR_REDUCTION       = -7,
123184914b5SBarry Smith               SNES_CONVERGED_ITERATING         =  0} SNESConvergedReason;
124184914b5SBarry Smith 
125*ca44d042SBarry Smith EXTERN int SNESSetConvergenceTest(SNES,int (*)(SNES,double,double,double,SNESConvergedReason*,void*),void*);
126*ca44d042SBarry Smith EXTERN int SNESConverged_UM_LS(SNES,double,double,double,SNESConvergedReason*,void*);
127*ca44d042SBarry Smith EXTERN int SNESConverged_UM_TR(SNES,double,double,double,SNESConvergedReason*,void*);
128*ca44d042SBarry Smith EXTERN int SNESConverged_EQ_LS(SNES,double,double,double,SNESConvergedReason*,void*);
129*ca44d042SBarry Smith EXTERN int SNESConverged_EQ_TR(SNES,double,double,double,SNESConvergedReason*,void*);
130*ca44d042SBarry Smith EXTERN int SNESGetConvergedReason(SNES,SNESConvergedReason*);
131ddbbdb52SLois Curfman McInnes 
132b67197daSBarry Smith /* --------- Solving systems of nonlinear equations --------------- */
133*ca44d042SBarry Smith EXTERN int SNESSetFunction(SNES,Vec,int(*)(SNES,Vec,Vec,void*),void *);
134*ca44d042SBarry Smith EXTERN int SNESComputeFunction(SNES,Vec,Vec);
135*ca44d042SBarry Smith EXTERN int SNESSetJacobian(SNES,Mat,Mat,int(*)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void *);
136*ca44d042SBarry Smith EXTERN int SNESGetJacobian(SNES,Mat*,Mat*,void **);
137*ca44d042SBarry Smith EXTERN int SNESDefaultComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
138*ca44d042SBarry Smith EXTERN int SNESDefaultComputeJacobianColor(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
139*ca44d042SBarry Smith EXTERN int SNESSetLineSearch(SNES,int(*)(SNES,void*,Vec,Vec,Vec,Vec,Vec,double,double*,double*,int*),void*);
140*ca44d042SBarry Smith EXTERN int SNESNoLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,double,double*,double*,int*);
141*ca44d042SBarry Smith EXTERN int SNESNoLineSearchNoNorms(SNES,void*,Vec,Vec,Vec,Vec,Vec,double,double*,double*,int*);
142*ca44d042SBarry Smith EXTERN int SNESCubicLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,double,double*,double*,int*);
143*ca44d042SBarry Smith EXTERN int SNESQuadraticLineSearch(SNES,void*,Vec,Vec,Vec,Vec,Vec,double,double*,double*,int*);
144*ca44d042SBarry Smith EXTERN int SNESSetLineSearchCheck(SNES,int(*)(SNES,void*,Vec,PetscTruth*),void*);
145*ca44d042SBarry Smith EXTERN int SNESSetLineSearchParams(SNES,double,double,double);
146*ca44d042SBarry Smith EXTERN int SNESGetLineSearchParams(SNES,double*,double*,double*);
14740191667SLois Curfman McInnes 
14884cb2905SBarry Smith /* --------- Unconstrained minimization routines --------------------------------*/
149*ca44d042SBarry Smith EXTERN int SNESSetHessian(SNES,Mat,Mat,int(*)(SNES,Vec,Mat*,Mat*,MatStructure*,void*),void *);
150*ca44d042SBarry Smith EXTERN int SNESGetHessian(SNES,Mat*,Mat*,void **);
151*ca44d042SBarry Smith EXTERN int SNESDefaultComputeHessian(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
152*ca44d042SBarry Smith EXTERN int SNESDefaultComputeHessianColor(SNES,Vec,Mat*,Mat*,MatStructure*,void*);
153*ca44d042SBarry Smith EXTERN int SNESSetGradient(SNES,Vec,int(*)(SNES,Vec,Vec,void*),void*);
154*ca44d042SBarry Smith EXTERN int SNESGetGradient(SNES,Vec*,void**);
155*ca44d042SBarry Smith EXTERN int SNESGetGradientNorm(SNES,Scalar*);
156*ca44d042SBarry Smith EXTERN int SNESComputeGradient(SNES,Vec,Vec);
157*ca44d042SBarry Smith EXTERN int SNESSetMinimizationFunction(SNES,int(*)(SNES,Vec,double*,void*),void*);
158*ca44d042SBarry Smith EXTERN int SNESComputeMinimizationFunction(SNES,Vec,double*);
159*ca44d042SBarry Smith EXTERN int SNESGetMinimizationFunction(SNES,double*,void**);
160*ca44d042SBarry Smith EXTERN int SNESSetMinimizationFunctionTolerance(SNES,double);
161*ca44d042SBarry Smith EXTERN int SNESLineSearchSetDampingParameter(SNES,Scalar*);
16252392280SLois Curfman McInnes 
1634b0e389bSBarry Smith 
16452392280SLois Curfman McInnes /* Should these 2 routines be private? */
165*ca44d042SBarry Smith EXTERN int SNESComputeHessian(SNES,Vec,Mat*,Mat*,MatStructure*);
166*ca44d042SBarry Smith EXTERN int SNESComputeJacobian(SNES,Vec,Mat*,Mat*,MatStructure*);
167ddbbdb52SLois Curfman McInnes 
168ce3d82beSBarry Smith #endif
169b1f5cb9dSBarry Smith 
170