xref: /petsc/include/petsctao.h (revision ffad99011bdf8bdff5e8540ef3c49b4fd8d6e6bb)
121ec2d5cSBarry Smith #ifndef __TAO_H
221ec2d5cSBarry Smith #define __TAO_H
321ec2d5cSBarry Smith 
421ec2d5cSBarry Smith #include <petscksp.h>
521ec2d5cSBarry Smith 
621ec2d5cSBarry Smith PetscErrorCode VecFischer(Vec, Vec, Vec, Vec, Vec);
721ec2d5cSBarry Smith PetscErrorCode VecSFischer(Vec, Vec, Vec, Vec, PetscReal, Vec);
821ec2d5cSBarry Smith PetscErrorCode D_Fischer(Mat, Vec, Vec, Vec, Vec, Vec, Vec, Vec, Vec);
921ec2d5cSBarry Smith PetscErrorCode D_SFischer(Mat, Vec, Vec, Vec, Vec, PetscReal, Vec, Vec, Vec, Vec, Vec);
1021ec2d5cSBarry Smith 
1121ec2d5cSBarry Smith 
1221ec2d5cSBarry Smith /*E
1321ec2d5cSBarry Smith   TaoSubsetType - PetscInt representing the way TAO handles active sets
1421ec2d5cSBarry Smith 
1521ec2d5cSBarry Smith + TAO_SUBSET_SUBVEC - TAO uses PETSc's MatGetSubMatrix and VecGetSubVector
1621ec2d5cSBarry Smith . TAO_SUBSET_MASK - Matrices are zeroed out corresponding to active set entries
1721ec2d5cSBarry Smith - TAO_SUBSET_MATRIXFREE - Same as TAO_SUBSET_MASK, but can be applied to matrix-free operators
1821ec2d5cSBarry Smith 
1921ec2d5cSBarry Smith   Options database keys:
2021ec2d5cSBarry Smith . -different_hessian - TAO will use a copy of the hessian operator for masking.  By default
2121ec2d5cSBarry Smith                        TAO will directly alter the hessian operator.
2221ec2d5cSBarry Smith 
2321ec2d5cSBarry Smith E*/
2421ec2d5cSBarry Smith typedef enum {TAO_SUBSET_SUBVEC,TAO_SUBSET_MASK,TAO_SUBSET_MATRIXFREE} TaoSubsetType;
2521ec2d5cSBarry Smith PETSC_EXTERN const char *const TaoSubsetTypes[];
2621ec2d5cSBarry Smith 
27441846f8SBarry Smith typedef struct _p_Tao*   Tao;
28441846f8SBarry Smith #define TaoType char*
2958417fe7SBarry Smith #define TAOLMVM     "lmvm"
3058417fe7SBarry Smith #define TAONLS      "nls"
3158417fe7SBarry Smith #define TAONTR      "ntr"
3258417fe7SBarry Smith #define TAONTL      "ntl"
3358417fe7SBarry Smith #define TAOCG       "cg"
3458417fe7SBarry Smith #define TAOTRON     "tron"
3558417fe7SBarry Smith #define TAOOWLQN    "owlqn"
3658417fe7SBarry Smith #define TAOBMRM     "bmrm"
3758417fe7SBarry Smith #define TAOBLMVM    "blmvm"
3858417fe7SBarry Smith #define TAOBQPIP    "bqpip"
3958417fe7SBarry Smith #define TAOGPCG     "gpcg"
4058417fe7SBarry Smith #define TAONM       "nm"
4158417fe7SBarry Smith #define TAOPOUNDERS "pounders"
4258417fe7SBarry Smith #define TAOLCL      "lcl"
4358417fe7SBarry Smith #define TAOSSILS    "ssils"
4458417fe7SBarry Smith #define TAOSSFLS    "ssfls"
4558417fe7SBarry Smith #define TAOASILS    "asils"
4658417fe7SBarry Smith #define TAOASFLS    "asfls"
4758417fe7SBarry Smith #define TAOIPM      "ipm"
4858417fe7SBarry Smith #define TAOTEST     "test"
4958417fe7SBarry Smith 
50441846f8SBarry Smith PETSC_EXTERN PetscClassId TAO_CLASSID;
51441846f8SBarry Smith PETSC_EXTERN PetscFunctionList TaoList;
5221ec2d5cSBarry Smith 
5321ec2d5cSBarry Smith /*  Convergence flags.
5421ec2d5cSBarry Smith     Be sure to check that these match the flags in
55441846f8SBarry Smith     include/finclude/petsctao.h
5621ec2d5cSBarry Smith */
5721ec2d5cSBarry Smith typedef enum {/* converged */
5821ec2d5cSBarry Smith   TAO_CONVERGED_FATOL          =  1, /* f(X)-f(X*) <= fatol */
5921ec2d5cSBarry Smith   TAO_CONVERGED_FRTOL          =  2, /* |F(X) - f(X*)|/|f(X)| < frtol */
6021ec2d5cSBarry Smith   TAO_CONVERGED_GATOL          =  3, /* ||g(X)|| < gatol */
6121ec2d5cSBarry Smith   TAO_CONVERGED_GRTOL          =  4, /* ||g(X)|| / f(X)  < grtol */
6221ec2d5cSBarry Smith   TAO_CONVERGED_GTTOL          =  5, /* ||g(X)|| / ||g(X0)|| < gttol */
6321ec2d5cSBarry Smith   TAO_CONVERGED_STEPTOL        =  6, /* step size small */
6421ec2d5cSBarry Smith   TAO_CONVERGED_MINF          =  7, /* F < F_min */
6521ec2d5cSBarry Smith   TAO_CONVERGED_USER          =  8, /* User defined */
6621ec2d5cSBarry Smith   /* diverged */
6721ec2d5cSBarry Smith   TAO_DIVERGED_MAXITS         = -2,
6821ec2d5cSBarry Smith   TAO_DIVERGED_NAN            = -4,
6921ec2d5cSBarry Smith   TAO_DIVERGED_MAXFCN         = -5,
7021ec2d5cSBarry Smith   TAO_DIVERGED_LS_FAILURE     = -6,
7121ec2d5cSBarry Smith   TAO_DIVERGED_TR_REDUCTION   = -7,
7221ec2d5cSBarry Smith   TAO_DIVERGED_USER           = -8, /* User defined */
7321ec2d5cSBarry Smith   /* keep going */
74e4cb33bbSBarry Smith   TAO_CONTINUE_ITERATING      =  0} TaoConvergedReason;
7521ec2d5cSBarry Smith 
76e4cb33bbSBarry Smith PETSC_EXTERN const char **TaoConvergedReasons;
7721ec2d5cSBarry Smith 
7821ec2d5cSBarry Smith #include <petsctaolinesearch.h>
7921ec2d5cSBarry Smith 
8021ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoInitializePackage(void);
8121ec2d5cSBarry Smith PETSC_EXTERN PetscErrorCode TaoFinalizePackage(void);
82441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoCreate(MPI_Comm,Tao*);
83441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetFromOptions(Tao);
84441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetFiniteDifferencesOptions(Tao);
85441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetUp(Tao);
86441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetType(Tao, const TaoType);
87441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetType(Tao, const TaoType *);
88441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetApplicationContext(Tao, void*);
89441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetApplicationContext(Tao, void*);
90441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoDestroy(Tao*);
9121ec2d5cSBarry Smith 
92441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetOptionsPrefix(Tao,const char []);
93441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoView(Tao, PetscViewer);
9421ec2d5cSBarry Smith 
95441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSolve(Tao);
9621ec2d5cSBarry Smith 
97441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoRegister(const char [],PetscErrorCode (*)(Tao));
98441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoRegisterAll(void);
99441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoRegisterDestroy(void);
10021ec2d5cSBarry Smith 
101e4cb33bbSBarry Smith PETSC_EXTERN PetscErrorCode TaoGetConvergedReason(Tao,TaoConvergedReason*);
102e4cb33bbSBarry Smith PETSC_EXTERN PetscErrorCode TaoGetSolutionStatus(Tao, PetscInt*, PetscReal*, PetscReal*, PetscReal*, PetscReal*, TaoConvergedReason*);
103e4cb33bbSBarry Smith PETSC_EXTERN PetscErrorCode TaoSetConvergedReason(Tao,TaoConvergedReason);
104441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetInitialVector(Tao, Vec);
105441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetSolutionVector(Tao, Vec*);
106441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetGradientVector(Tao, Vec*);
107441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetObjectiveRoutine(Tao, PetscErrorCode(*)(Tao, Vec, PetscReal*,void*), void*);
108441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetGradientRoutine(Tao, PetscErrorCode(*)(Tao, Vec, Vec, void*), void*);
109441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetObjectiveAndGradientRoutine(Tao, PetscErrorCode(*)(Tao, Vec, PetscReal*, Vec, void*), void*);
110441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetHessianMat(Tao, Mat, Mat);
111*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetHessianRoutine(Tao,Mat,Mat,PetscErrorCode(*)(Tao,Vec, Mat, Mat, void*), void*);
112441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetSeparableObjectiveRoutine(Tao, Vec, PetscErrorCode(*)(Tao, Vec, Vec, void*), void*);
113441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetConstraintsRoutine(Tao, Vec, PetscErrorCode(*)(Tao, Vec, Vec, void*), void*);
114441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetInequalityConstraintsRoutine(Tao, Vec, PetscErrorCode(*)(Tao, Vec, Vec, void*), void*);
115441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetEqualityConstraintsRoutine(Tao, Vec, PetscErrorCode(*)(Tao, Vec, Vec, void*), void*);
116*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetJacobianRoutine(Tao,Mat,Mat, PetscErrorCode(*)(Tao,Vec, Mat, Mat, void*), void*);
117*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetJacobianStateRoutine(Tao,Mat,Mat,Mat, PetscErrorCode(*)(Tao,Vec, Mat, Mat, Mat, void*), void*);
11894ab13aaSBarry Smith PETSC_EXTERN PetscErrorCode TaoSetJacobianDesignRoutine(Tao,Mat,PetscErrorCode(*)(Tao,Vec, Mat, void*), void*);
119*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetJacobianInequalityRoutine(Tao,Mat,Mat,PetscErrorCode(*)(Tao,Vec, Mat, Mat, void*), void*);
120*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetJacobianEqualityRoutine(Tao,Mat,Mat,PetscErrorCode(*)(Tao,Vec, Mat, Mat, void*), void*);
12121ec2d5cSBarry Smith 
122441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetStateDesignIS(Tao, IS, IS);
12321ec2d5cSBarry Smith 
124441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeObjective(Tao, Vec, PetscReal*);
125441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeSeparableObjective(Tao, Vec, Vec);
126441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeGradient(Tao, Vec, Vec);
127441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeObjectiveAndGradient(Tao, Vec, PetscReal*, Vec);
128441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeConstraints(Tao, Vec, Vec);
129441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeInequalityConstraints(Tao, Vec, Vec);
130441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeEqualityConstraints(Tao, Vec, Vec);
131441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoDefaultComputeGradient(Tao, Vec, Vec, void*);
132441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoIsObjectiveDefined(Tao,PetscBool*);
133441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoIsGradientDefined(Tao,PetscBool*);
134441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoIsObjectiveAndGradientDefined(Tao,PetscBool*);
13521ec2d5cSBarry Smith 
136*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeHessian(Tao, Vec, Mat, Mat);
137*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeJacobian(Tao, Vec, Mat, Mat);
138*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeJacobianState(Tao, Vec, Mat, Mat, Mat);
139*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeJacobianEquality(Tao, Vec, Mat, Mat);
140*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeJacobianInequality(Tao, Vec, Mat, Mat);
14194ab13aaSBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeJacobianDesign(Tao, Vec, Mat);
14221ec2d5cSBarry Smith 
143*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoDefaultComputeHessian(Tao, Vec, Mat, Mat, void*);
144*ffad9901SBarry Smith PETSC_EXTERN PetscErrorCode TaoDefaultComputeHessianColor(Tao, Vec, Mat, Mat, void*);
145441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeDualVariables(Tao, Vec, Vec);
146441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeDualVariables(Tao, Vec, Vec);
147441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetVariableBounds(Tao, Vec, Vec);
148441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetVariableBounds(Tao, Vec*, Vec*);
149441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetDualVariables(Tao, Vec*, Vec*);
150441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetInequalityBounds(Tao, Vec, Vec);
151441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetInequalityBounds(Tao, Vec*, Vec*);
152441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetVariableBoundsRoutine(Tao, PetscErrorCode(*)(Tao, Vec, Vec, void*), void*);
153441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoComputeVariableBounds(Tao);
15421ec2d5cSBarry Smith 
155441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetTolerances(Tao, PetscReal*, PetscReal*, PetscReal*, PetscReal*, PetscReal*);
156441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetTolerances(Tao, PetscReal, PetscReal, PetscReal, PetscReal, PetscReal);
157441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetConstraintTolerances(Tao, PetscReal*, PetscReal*);
158441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetConstraintTolerances(Tao, PetscReal, PetscReal);
159441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetFunctionLowerBound(Tao, PetscReal);
160441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetInitialTrustRegionRadius(Tao, PetscReal);
161441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetMaximumIterations(Tao, PetscInt);
162441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetMaximumFunctionEvaluations(Tao, PetscInt);
163441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetFunctionLowerBound(Tao, PetscReal*);
164441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetInitialTrustRegionRadius(Tao, PetscReal*);
165441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetCurrentTrustRegionRadius(Tao, PetscReal*);
166441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetMaximumIterations(Tao, PetscInt*);
167441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetMaximumFunctionEvaluations(Tao, PetscInt*);
168441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetOptionsPrefix(Tao, const char p[]);
169441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoAppendOptionsPrefix(Tao, const char p[]);
170441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetOptionsPrefix(Tao, const char *p[]);
171441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoResetStatistics(Tao);
17221ec2d5cSBarry Smith 
173441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetKSP(Tao, KSP*);
174441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetLineSearch(Tao, TaoLineSearch*);
17521ec2d5cSBarry Smith 
176441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetHistory(Tao,PetscReal*,PetscReal*,PetscReal*,PetscInt,PetscBool);
177441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGetHistory(Tao,PetscReal**,PetscReal**,PetscReal**,PetscInt*);
178441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetMonitor(Tao, PetscErrorCode (*)(Tao,void*),void *,PetscErrorCode (*)(void**));
179441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoCancelMonitors(Tao);
180441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoDefaultMonitor(Tao, void*);
181441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoDefaultSMonitor(Tao, void*);
182441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoDefaultCMonitor(Tao, void*);
183441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSolutionMonitor(Tao, void*);
184441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSeparableObjectiveMonitor(Tao, void*);
185441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoGradientMonitor(Tao, void*);
186441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoStepDirectionMonitor(Tao, void*);
187441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoDrawSolutionMonitor(Tao, void*);
188441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoDrawStepMonitor(Tao, void*);
189441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoDrawGradientMonitor(Tao, void*);
190441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoAddLineSearchCounts(Tao);
19121ec2d5cSBarry Smith 
192441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoDefaultConvergenceTest(Tao,void*);
193441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSetConvergenceTest(Tao, PetscErrorCode (*)(Tao, void*),void *);
19421ec2d5cSBarry Smith 
195441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoSQPCONSetStateDesignIS(Tao, IS, IS);
196441846f8SBarry Smith PETSC_EXTERN PetscErrorCode TaoLCLSetStateDesignIS(Tao, IS, IS);
1976e6473c1SLisandro Dalcin PETSC_EXTERN PetscErrorCode TaoMonitor(Tao, PetscInt, PetscReal, PetscReal, PetscReal, PetscReal, TaoConvergedReason*);
19821ec2d5cSBarry Smith 
19921ec2d5cSBarry Smith #endif
200