xref: /petsc/src/tao/interface/taosolver.c (revision 8732526d62dc38b5661c18cf585e9ea16c431ed4)
1441846f8SBarry Smith #define TAO_DLL
2a7e14dcfSSatish Balay 
3af0996ceSBarry Smith #include <petsc/private/taoimpl.h> /*I "petsctao.h" I*/
4a7e14dcfSSatish Balay 
5441846f8SBarry Smith PetscBool TaoRegisterAllCalled = PETSC_FALSE;
6441846f8SBarry Smith PetscFunctionList TaoList = NULL;
7a7e14dcfSSatish Balay 
8441846f8SBarry Smith PetscClassId TAO_CLASSID;
90ebee16dSLisandro Dalcin 
100ebee16dSLisandro Dalcin PetscLogEvent TAO_Solve;
110ebee16dSLisandro Dalcin PetscLogEvent TAO_ObjectiveEval;
120ebee16dSLisandro Dalcin PetscLogEvent TAO_GradientEval;
130ebee16dSLisandro Dalcin PetscLogEvent TAO_ObjGradEval;
140ebee16dSLisandro Dalcin PetscLogEvent TAO_HessianEval;
150ebee16dSLisandro Dalcin PetscLogEvent TAO_JacobianEval;
160ebee16dSLisandro Dalcin PetscLogEvent TAO_ConstraintsEval;
17a7e14dcfSSatish Balay 
185b0d99aeSBarry Smith const char *TaoSubSetTypes[] = {"subvec","mask","matrixfree","TaoSubSetType","TAO_SUBSET_",0};
19a7e14dcfSSatish Balay 
20e882e171SHong Zhang struct _n_TaoMonitorDrawCtx {
21e882e171SHong Zhang   PetscViewer viewer;
22e882e171SHong Zhang   PetscInt    howoften;  /* when > 0 uses iteration % howoften, when negative only final solution plotted */
23e882e171SHong Zhang };
24e882e171SHong Zhang 
25a7e14dcfSSatish Balay /*@
26a7e14dcfSSatish Balay   TaoCreate - Creates a TAO solver
27a7e14dcfSSatish Balay 
28a7e14dcfSSatish Balay   Collective on MPI_Comm
29a7e14dcfSSatish Balay 
30a7e14dcfSSatish Balay   Input Parameter:
31a7e14dcfSSatish Balay . comm - MPI communicator
32a7e14dcfSSatish Balay 
33a7e14dcfSSatish Balay   Output Parameter:
34441846f8SBarry Smith . newtao - the new Tao context
35a7e14dcfSSatish Balay 
36a7e14dcfSSatish Balay   Available methods include:
3758417fe7SBarry Smith +    nls - Newton's method with line search for unconstrained minimization
3858417fe7SBarry Smith .    ntr - Newton's method with trust region for unconstrained minimization
3958417fe7SBarry Smith .    ntl - Newton's method with trust region, line search for unconstrained minimization
4058417fe7SBarry Smith .    lmvm - Limited memory variable metric method for unconstrained minimization
4158417fe7SBarry Smith .    cg - Nonlinear conjugate gradient method for unconstrained minimization
4258417fe7SBarry Smith .    nm - Nelder-Mead algorithm for derivate-free unconstrained minimization
4358417fe7SBarry Smith .    tron - Newton Trust Region method for bound constrained minimization
4458417fe7SBarry Smith .    gpcg - Newton Trust Region method for quadratic bound constrained minimization
4558417fe7SBarry Smith .    blmvm - Limited memory variable metric method for bound constrained minimization
4658417fe7SBarry Smith .    lcl - Linearly constrained Lagrangian method for pde-constrained minimization
4758417fe7SBarry Smith -    pounders - Model-based algorithm for nonlinear least squares
48a7e14dcfSSatish Balay 
49a7e14dcfSSatish Balay    Options Database Keys:
5058417fe7SBarry Smith .   -tao_type - select which method TAO should use
51a7e14dcfSSatish Balay 
52a7e14dcfSSatish Balay    Level: beginner
53a7e14dcfSSatish Balay 
54a7e14dcfSSatish Balay .seealso: TaoSolve(), TaoDestroy()
55a7e14dcfSSatish Balay @*/
56441846f8SBarry Smith PetscErrorCode TaoCreate(MPI_Comm comm, Tao *newtao)
57a7e14dcfSSatish Balay {
58a7e14dcfSSatish Balay   PetscErrorCode ierr;
59441846f8SBarry Smith   Tao            tao;
60a7e14dcfSSatish Balay 
61a7e14dcfSSatish Balay   PetscFunctionBegin;
62a7e14dcfSSatish Balay   PetscValidPointer(newtao,2);
6347a47007SBarry Smith   *newtao = NULL;
64a7e14dcfSSatish Balay 
65a7e14dcfSSatish Balay   ierr = TaoInitializePackage();CHKERRQ(ierr);
66a7e14dcfSSatish Balay   ierr = TaoLineSearchInitializePackage();CHKERRQ(ierr);
67a7e14dcfSSatish Balay 
6873107ff1SLisandro Dalcin   ierr = PetscHeaderCreate(tao,TAO_CLASSID,"Tao","Optimization solver","Tao",comm,TaoDestroy,TaoView);CHKERRQ(ierr);
69a7e14dcfSSatish Balay   tao->ops->computeobjective=0;
70a7e14dcfSSatish Balay   tao->ops->computeobjectiveandgradient=0;
71a7e14dcfSSatish Balay   tao->ops->computegradient=0;
72a7e14dcfSSatish Balay   tao->ops->computehessian=0;
73a7e14dcfSSatish Balay   tao->ops->computeseparableobjective=0;
74a7e14dcfSSatish Balay   tao->ops->computeconstraints=0;
75a7e14dcfSSatish Balay   tao->ops->computejacobian=0;
76a7e14dcfSSatish Balay   tao->ops->computejacobianequality=0;
77a7e14dcfSSatish Balay   tao->ops->computejacobianinequality=0;
78a7e14dcfSSatish Balay   tao->ops->computeequalityconstraints=0;
79a7e14dcfSSatish Balay   tao->ops->computeinequalityconstraints=0;
80a7e14dcfSSatish Balay   tao->ops->convergencetest=TaoDefaultConvergenceTest;
81a7e14dcfSSatish Balay   tao->ops->convergencedestroy=0;
82a7e14dcfSSatish Balay   tao->ops->computedual=0;
83a7e14dcfSSatish Balay   tao->ops->setup=0;
84a7e14dcfSSatish Balay   tao->ops->solve=0;
85a7e14dcfSSatish Balay   tao->ops->view=0;
86a7e14dcfSSatish Balay   tao->ops->setfromoptions=0;
87a7e14dcfSSatish Balay   tao->ops->destroy=0;
88a7e14dcfSSatish Balay 
8947a47007SBarry Smith   tao->solution=NULL;
9047a47007SBarry Smith   tao->gradient=NULL;
9147a47007SBarry Smith   tao->sep_objective = NULL;
9247a47007SBarry Smith   tao->constraints=NULL;
9347a47007SBarry Smith   tao->constraints_equality=NULL;
9447a47007SBarry Smith   tao->constraints_inequality=NULL;
95125ddc8aSJason Sarich   tao->sep_weights_v=NULL;
96125ddc8aSJason Sarich   tao->sep_weights_w=NULL;
9747a47007SBarry Smith   tao->stepdirection=NULL;
988931d482SJason Sarich   tao->niter=0;
998931d482SJason Sarich   tao->ntotalits=0;
10047a47007SBarry Smith   tao->XL = NULL;
10147a47007SBarry Smith   tao->XU = NULL;
10247a47007SBarry Smith   tao->IL = NULL;
10347a47007SBarry Smith   tao->IU = NULL;
10447a47007SBarry Smith   tao->DI = NULL;
10547a47007SBarry Smith   tao->DE = NULL;
106a9603a14SPatrick Farrell   tao->gradient_norm = NULL;
107a9603a14SPatrick Farrell   tao->gradient_norm_tmp = NULL;
10847a47007SBarry Smith   tao->hessian = NULL;
10947a47007SBarry Smith   tao->hessian_pre = NULL;
11047a47007SBarry Smith   tao->jacobian = NULL;
11147a47007SBarry Smith   tao->jacobian_pre = NULL;
11247a47007SBarry Smith   tao->jacobian_state = NULL;
11347a47007SBarry Smith   tao->jacobian_state_pre = NULL;
11447a47007SBarry Smith   tao->jacobian_state_inv = NULL;
11547a47007SBarry Smith   tao->jacobian_design = NULL;
11647a47007SBarry Smith   tao->jacobian_design_pre = NULL;
11747a47007SBarry Smith   tao->jacobian_equality = NULL;
11847a47007SBarry Smith   tao->jacobian_equality_pre = NULL;
11947a47007SBarry Smith   tao->jacobian_inequality = NULL;
12047a47007SBarry Smith   tao->jacobian_inequality_pre = NULL;
12147a47007SBarry Smith   tao->state_is = NULL;
12247a47007SBarry Smith   tao->design_is = NULL;
123a7e14dcfSSatish Balay 
124a7e14dcfSSatish Balay   tao->max_it     = 10000;
125a7e14dcfSSatish Balay   tao->max_funcs   = 10000;
1266f4723b1SBarry Smith #if defined(PETSC_USE_REAL_SINGLE)
1276f4723b1SBarry Smith   tao->gatol       = 1e-5;
1286f4723b1SBarry Smith   tao->grtol       = 1e-5;
1296f4723b1SBarry Smith #else
130a7e14dcfSSatish Balay   tao->gatol       = 1e-8;
131a7e14dcfSSatish Balay   tao->grtol       = 1e-8;
1326f4723b1SBarry Smith #endif
133a7e14dcfSSatish Balay   tao->crtol       = 0.0;
1346552cf8aSJason Sarich   tao->catol       = 0.0;
1356552cf8aSJason Sarich   tao->gttol       = 0.0;
1364f1535bcSTodd Munson   tao->steptol     = 0.0;
137e270355aSBarry Smith   tao->trust0      = PETSC_INFINITY;
1386f4723b1SBarry Smith   tao->fmin        = PETSC_NINFINITY;
139ae93cb3cSJason Sarich   tao->hist_malloc = PETSC_FALSE;
140a7e14dcfSSatish Balay   tao->hist_reset = PETSC_TRUE;
141a7e14dcfSSatish Balay   tao->hist_max = 0;
142a7e14dcfSSatish Balay   tao->hist_len = 0;
14347a47007SBarry Smith   tao->hist_obj = NULL;
14447a47007SBarry Smith   tao->hist_resid = NULL;
14547a47007SBarry Smith   tao->hist_cnorm = NULL;
146ae93cb3cSJason Sarich   tao->hist_lits = NULL;
147a7e14dcfSSatish Balay 
148a7e14dcfSSatish Balay   tao->numbermonitors=0;
149a7e14dcfSSatish Balay   tao->viewsolution=PETSC_FALSE;
150a7e14dcfSSatish Balay   tao->viewhessian=PETSC_FALSE;
151a7e14dcfSSatish Balay   tao->viewgradient=PETSC_FALSE;
152a7e14dcfSSatish Balay   tao->viewjacobian=PETSC_FALSE;
153a7e14dcfSSatish Balay   tao->viewconstraints = PETSC_FALSE;
154cd929ea3SAlp Dener 
155cd929ea3SAlp Dener   tao->bounded = PETSC_FALSE;
156a7e14dcfSSatish Balay 
1576552cf8aSJason Sarich   /* These flags prevents algorithms from overriding user options */
1586552cf8aSJason Sarich   tao->max_it_changed   =PETSC_FALSE;
1596552cf8aSJason Sarich   tao->max_funcs_changed=PETSC_FALSE;
1606552cf8aSJason Sarich   tao->gatol_changed    =PETSC_FALSE;
1616552cf8aSJason Sarich   tao->grtol_changed    =PETSC_FALSE;
1626552cf8aSJason Sarich   tao->gttol_changed    =PETSC_FALSE;
1636552cf8aSJason Sarich   tao->steptol_changed  =PETSC_FALSE;
1646552cf8aSJason Sarich   tao->trust0_changed   =PETSC_FALSE;
1656552cf8aSJason Sarich   tao->fmin_changed     =PETSC_FALSE;
1666552cf8aSJason Sarich   tao->catol_changed    =PETSC_FALSE;
1676552cf8aSJason Sarich   tao->crtol_changed    =PETSC_FALSE;
168a7e14dcfSSatish Balay   ierr = TaoResetStatistics(tao);CHKERRQ(ierr);
169a7e14dcfSSatish Balay   *newtao = tao;
170a7e14dcfSSatish Balay   PetscFunctionReturn(0);
171a7e14dcfSSatish Balay }
172a7e14dcfSSatish Balay 
173a7e14dcfSSatish Balay /*@
174a7e14dcfSSatish Balay   TaoSolve - Solves an optimization problem min F(x) s.t. l <= x <= u
175a7e14dcfSSatish Balay 
176441846f8SBarry Smith   Collective on Tao
177a7e14dcfSSatish Balay 
178a7e14dcfSSatish Balay   Input Parameters:
179441846f8SBarry Smith . tao - the Tao context
180a7e14dcfSSatish Balay 
181a7e14dcfSSatish Balay   Notes:
182441846f8SBarry Smith   The user must set up the Tao with calls to TaoSetInitialVector(),
183a7e14dcfSSatish Balay   TaoSetObjectiveRoutine(),
184a7e14dcfSSatish Balay   TaoSetGradientRoutine(), and (if using 2nd order method) TaoSetHessianRoutine().
185a7e14dcfSSatish Balay 
186a35d58b8SBarry Smith   You should call TaoGetConvergedReason() or run with -tao_converged_reason to determine if the optimization algorithm actually succeeded or
187a35d58b8SBarry Smith   why it failed.
188a35d58b8SBarry Smith 
189a7e14dcfSSatish Balay   Level: beginner
190a7e14dcfSSatish Balay 
191a35d58b8SBarry Smith .seealso: TaoCreate(), TaoSetObjectiveRoutine(), TaoSetGradientRoutine(), TaoSetHessianRoutine(), TaoGetConvergedReason()
192a7e14dcfSSatish Balay  @*/
193441846f8SBarry Smith PetscErrorCode TaoSolve(Tao tao)
194a7e14dcfSSatish Balay {
195a7e14dcfSSatish Balay   PetscErrorCode   ierr;
196e2379f4fSBarry Smith   static PetscBool set = PETSC_FALSE;
19747a47007SBarry Smith 
198a7e14dcfSSatish Balay   PetscFunctionBegin;
199441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
200e2379f4fSBarry Smith   ierr = PetscCitationsRegister("@TechReport{tao-user-ref,\n"
201e2379f4fSBarry Smith                                 "title   = {Toolkit for Advanced Optimization (TAO) Users Manual},\n"
202e2379f4fSBarry Smith                                 "author  = {Todd Munson and Jason Sarich and Stefan Wild and Steve Benson and Lois Curfman McInnes},\n"
203e2379f4fSBarry Smith                                 "Institution = {Argonne National Laboratory},\n"
204e2379f4fSBarry Smith                                 "Year   = 2014,\n"
205e2379f4fSBarry Smith                                 "Number = {ANL/MCS-TM-322 - Revision 3.5},\n"
206302440fdSBarry Smith                                 "url    = {http://www.mcs.anl.gov/tao}\n}\n",&set);CHKERRQ(ierr);
207e2379f4fSBarry Smith 
208a7e14dcfSSatish Balay   ierr = TaoSetUp(tao);CHKERRQ(ierr);
209a7e14dcfSSatish Balay   ierr = TaoResetStatistics(tao);CHKERRQ(ierr);
210a7e14dcfSSatish Balay   if (tao->linesearch) {
211a7e14dcfSSatish Balay     ierr = TaoLineSearchReset(tao->linesearch);CHKERRQ(ierr);
212a7e14dcfSSatish Balay   }
213a7e14dcfSSatish Balay 
2140ebee16dSLisandro Dalcin   ierr = PetscLogEventBegin(TAO_Solve,tao,0,0,0);CHKERRQ(ierr);
215a7e14dcfSSatish Balay   if (tao->ops->solve){ ierr = (*tao->ops->solve)(tao);CHKERRQ(ierr); }
2160ebee16dSLisandro Dalcin   ierr = PetscLogEventEnd(TAO_Solve,tao,0,0,0);CHKERRQ(ierr);
217a7e14dcfSSatish Balay 
2187cf37e64SBarry Smith   ierr = VecViewFromOptions(tao->solution,(PetscObject)tao,"-tao_view_solution");CHKERRQ(ierr);
2197cf37e64SBarry Smith 
2208931d482SJason Sarich   tao->ntotalits += tao->niter;
221fbe0838dSJason Sarich   ierr = TaoViewFromOptions(tao,NULL,"-tao_view");CHKERRQ(ierr);
222a7e14dcfSSatish Balay 
223a7e14dcfSSatish Balay   if (tao->printreason) {
224a7e14dcfSSatish Balay     if (tao->reason > 0) {
2258931d482SJason Sarich       ierr = PetscPrintf(((PetscObject)tao)->comm,"TAO solve converged due to %s iterations %D\n",TaoConvergedReasons[tao->reason],tao->niter);CHKERRQ(ierr);
226a7e14dcfSSatish Balay     } else {
2278931d482SJason Sarich       ierr = PetscPrintf(((PetscObject)tao)->comm,"TAO solve did not converge due to %s iteration %D\n",TaoConvergedReasons[tao->reason],tao->niter);CHKERRQ(ierr);
228a7e14dcfSSatish Balay     }
229a7e14dcfSSatish Balay   }
230a7e14dcfSSatish Balay   PetscFunctionReturn(0);
231a7e14dcfSSatish Balay }
232a7e14dcfSSatish Balay 
233a7e14dcfSSatish Balay /*@
234a7e14dcfSSatish Balay   TaoSetUp - Sets up the internal data structures for the later use
235a7e14dcfSSatish Balay   of a Tao solver
236a7e14dcfSSatish Balay 
237a7e14dcfSSatish Balay   Collective on tao
238a7e14dcfSSatish Balay 
239a7e14dcfSSatish Balay   Input Parameters:
240a7e14dcfSSatish Balay . tao - the TAO context
241a7e14dcfSSatish Balay 
242a7e14dcfSSatish Balay   Notes:
243a7e14dcfSSatish Balay   The user will not need to explicitly call TaoSetUp(), as it will
244a7e14dcfSSatish Balay   automatically be called in TaoSolve().  However, if the user
245a7e14dcfSSatish Balay   desires to call it explicitly, it should come after TaoCreate()
246a7e14dcfSSatish Balay   and any TaoSetSomething() routines, but before TaoSolve().
247a7e14dcfSSatish Balay 
248a7e14dcfSSatish Balay   Level: advanced
249a7e14dcfSSatish Balay 
250a7e14dcfSSatish Balay .seealso: TaoCreate(), TaoSolve()
251a7e14dcfSSatish Balay @*/
252441846f8SBarry Smith PetscErrorCode TaoSetUp(Tao tao)
253a7e14dcfSSatish Balay {
254a7e14dcfSSatish Balay   PetscErrorCode ierr;
25547a47007SBarry Smith 
256a7e14dcfSSatish Balay   PetscFunctionBegin;
257441846f8SBarry Smith   PetscValidHeaderSpecific(tao, TAO_CLASSID,1);
258a7e14dcfSSatish Balay   if (tao->setupcalled) PetscFunctionReturn(0);
259a7e14dcfSSatish Balay 
26047a47007SBarry Smith   if (!tao->solution) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Must call TaoSetInitialVector");
261a7e14dcfSSatish Balay   if (tao->ops->setup) {
262a7e14dcfSSatish Balay     ierr = (*tao->ops->setup)(tao);CHKERRQ(ierr);
263a7e14dcfSSatish Balay   }
264a7e14dcfSSatish Balay   tao->setupcalled = PETSC_TRUE;
265a7e14dcfSSatish Balay   PetscFunctionReturn(0);
266a7e14dcfSSatish Balay }
267a7e14dcfSSatish Balay 
268a7e14dcfSSatish Balay /*@
269a7e14dcfSSatish Balay   TaoDestroy - Destroys the TAO context that was created with
270a7e14dcfSSatish Balay   TaoCreate()
271a7e14dcfSSatish Balay 
272441846f8SBarry Smith   Collective on Tao
273a7e14dcfSSatish Balay 
274a7e14dcfSSatish Balay   Input Parameter:
275441846f8SBarry Smith . tao - the Tao context
276a7e14dcfSSatish Balay 
277a7e14dcfSSatish Balay   Level: beginner
278a7e14dcfSSatish Balay 
279a7e14dcfSSatish Balay .seealso: TaoCreate(), TaoSolve()
280a7e14dcfSSatish Balay @*/
281441846f8SBarry Smith PetscErrorCode TaoDestroy(Tao *tao)
282a7e14dcfSSatish Balay {
283a7e14dcfSSatish Balay   PetscErrorCode ierr;
28447a47007SBarry Smith 
285a7e14dcfSSatish Balay   PetscFunctionBegin;
286a7e14dcfSSatish Balay   if (!*tao) PetscFunctionReturn(0);
287441846f8SBarry Smith   PetscValidHeaderSpecific(*tao,TAO_CLASSID,1);
288a7e14dcfSSatish Balay   if (--((PetscObject)*tao)->refct > 0) {*tao=0;PetscFunctionReturn(0);}
289a7e14dcfSSatish Balay 
290a7e14dcfSSatish Balay   if ((*tao)->ops->destroy) {
291a7e14dcfSSatish Balay     ierr = (*((*tao))->ops->destroy)(*tao);CHKERRQ(ierr);
292a7e14dcfSSatish Balay   }
293a7e14dcfSSatish Balay   ierr = KSPDestroy(&(*tao)->ksp);CHKERRQ(ierr);
294a7e14dcfSSatish Balay   ierr = TaoLineSearchDestroy(&(*tao)->linesearch);CHKERRQ(ierr);
295a7e14dcfSSatish Balay 
296a7e14dcfSSatish Balay   if ((*tao)->ops->convergencedestroy) {
297a7e14dcfSSatish Balay     ierr = (*(*tao)->ops->convergencedestroy)((*tao)->cnvP);CHKERRQ(ierr);
298a7e14dcfSSatish Balay     if ((*tao)->jacobian_state_inv) {
299a7e14dcfSSatish Balay       ierr = MatDestroy(&(*tao)->jacobian_state_inv);CHKERRQ(ierr);
300a7e14dcfSSatish Balay     }
301a7e14dcfSSatish Balay   }
302a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->solution);CHKERRQ(ierr);
303a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->gradient);CHKERRQ(ierr);
304a7e14dcfSSatish Balay 
305a9603a14SPatrick Farrell   if ((*tao)->gradient_norm) {
306a9603a14SPatrick Farrell     ierr = PetscObjectDereference((PetscObject)(*tao)->gradient_norm);CHKERRQ(ierr);
307a9603a14SPatrick Farrell     ierr = VecDestroy(&(*tao)->gradient_norm_tmp);CHKERRQ(ierr);
308a9603a14SPatrick Farrell   }
309a9603a14SPatrick Farrell 
310a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->XL);CHKERRQ(ierr);
311a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->XU);CHKERRQ(ierr);
312a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->IL);CHKERRQ(ierr);
313a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->IU);CHKERRQ(ierr);
314a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->DE);CHKERRQ(ierr);
315a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->DI);CHKERRQ(ierr);
316a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->constraints_equality);CHKERRQ(ierr);
317a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->constraints_inequality);CHKERRQ(ierr);
318a7e14dcfSSatish Balay   ierr = VecDestroy(&(*tao)->stepdirection);CHKERRQ(ierr);
319a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->hessian_pre);CHKERRQ(ierr);
320a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->hessian);CHKERRQ(ierr);
321a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->jacobian_pre);CHKERRQ(ierr);
322a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->jacobian);CHKERRQ(ierr);
323a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->jacobian_state_pre);CHKERRQ(ierr);
324a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->jacobian_state);CHKERRQ(ierr);
325a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->jacobian_state_inv);CHKERRQ(ierr);
326067f330cSJason Sarich   ierr = MatDestroy(&(*tao)->jacobian_design);CHKERRQ(ierr);
327a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->jacobian_equality);CHKERRQ(ierr);
328a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->jacobian_equality_pre);CHKERRQ(ierr);
329a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->jacobian_inequality);CHKERRQ(ierr);
330a7e14dcfSSatish Balay   ierr = MatDestroy(&(*tao)->jacobian_inequality_pre);CHKERRQ(ierr);
331a7e14dcfSSatish Balay   ierr = ISDestroy(&(*tao)->state_is);CHKERRQ(ierr);
332a7e14dcfSSatish Balay   ierr = ISDestroy(&(*tao)->design_is);CHKERRQ(ierr);
333125ddc8aSJason Sarich   ierr = VecDestroy(&(*tao)->sep_weights_v);CHKERRQ(ierr);
334a7e14dcfSSatish Balay   ierr = TaoCancelMonitors(*tao);CHKERRQ(ierr);
335ae93cb3cSJason Sarich   if ((*tao)->hist_malloc) {
336ae93cb3cSJason Sarich     ierr = PetscFree((*tao)->hist_obj);CHKERRQ(ierr);
337ae93cb3cSJason Sarich     ierr = PetscFree((*tao)->hist_resid);CHKERRQ(ierr);
338ae93cb3cSJason Sarich     ierr = PetscFree((*tao)->hist_cnorm);CHKERRQ(ierr);
339ae93cb3cSJason Sarich     ierr = PetscFree((*tao)->hist_lits);CHKERRQ(ierr);
340ae93cb3cSJason Sarich   }
341125ddc8aSJason Sarich   if ((*tao)->sep_weights_n) {
342125ddc8aSJason Sarich     ierr = PetscFree((*tao)->sep_weights_rows);CHKERRQ(ierr);
343125ddc8aSJason Sarich     ierr = PetscFree((*tao)->sep_weights_cols);CHKERRQ(ierr);
344125ddc8aSJason Sarich     ierr = PetscFree((*tao)->sep_weights_w);CHKERRQ(ierr);
345125ddc8aSJason Sarich   }
346a7e14dcfSSatish Balay   ierr = PetscHeaderDestroy(tao);CHKERRQ(ierr);
347a7e14dcfSSatish Balay   PetscFunctionReturn(0);
348a7e14dcfSSatish Balay }
349a7e14dcfSSatish Balay 
350a7e14dcfSSatish Balay /*@
351441846f8SBarry Smith   TaoSetFromOptions - Sets various Tao parameters from user
352a7e14dcfSSatish Balay   options.
353a7e14dcfSSatish Balay 
354441846f8SBarry Smith   Collective on Tao
355a7e14dcfSSatish Balay 
356a7e14dcfSSatish Balay   Input Paremeter:
357441846f8SBarry Smith . tao - the Tao solver context
358a7e14dcfSSatish Balay 
359a7e14dcfSSatish Balay   options Database Keys:
36058417fe7SBarry Smith + -tao_type <type> - The algorithm that TAO uses (lmvm, nls, etc.)
361a7e14dcfSSatish Balay . -tao_gatol <gatol> - absolute error tolerance for ||gradient||
362a7e14dcfSSatish Balay . -tao_grtol <grtol> - relative error tolerance for ||gradient||
363a7e14dcfSSatish Balay . -tao_gttol <gttol> - reduction of ||gradient|| relative to initial gradient
364a7e14dcfSSatish Balay . -tao_max_it <max> - sets maximum number of iterations
365a7e14dcfSSatish Balay . -tao_max_funcs <max> - sets maximum number of function evaluations
366a7e14dcfSSatish Balay . -tao_fmin <fmin> - stop if function value reaches fmin
367a7e14dcfSSatish Balay . -tao_steptol <tol> - stop if trust region radius less than <tol>
368a7e14dcfSSatish Balay . -tao_trust0 <t> - initial trust region radius
369a7e14dcfSSatish Balay . -tao_monitor - prints function value and residual at each iteration
370a7e14dcfSSatish Balay . -tao_smonitor - same as tao_monitor, but truncates very small values
371a7e14dcfSSatish Balay . -tao_cmonitor - prints function value, residual, and constraint norm at each iteration
372a7e14dcfSSatish Balay . -tao_view_solution - prints solution vector at each iteration
373a7e14dcfSSatish Balay . -tao_view_separableobjective - prints separable objective vector at each iteration
374a7e14dcfSSatish Balay . -tao_view_step - prints step direction vector at each iteration
375a7e14dcfSSatish Balay . -tao_view_gradient - prints gradient vector at each iteration
376a7e14dcfSSatish Balay . -tao_draw_solution - graphically view solution vector at each iteration
377a7e14dcfSSatish Balay . -tao_draw_step - graphically view step vector at each iteration
378a7e14dcfSSatish Balay . -tao_draw_gradient - graphically view gradient at each iteration
379a7e14dcfSSatish Balay . -tao_fd_gradient - use gradient computed with finite differences
380f4c1ad5cSStefano Zampini . -tao_fd_hessian - use hessian computed with finite differences
381f4c1ad5cSStefano Zampini . -tao_mf_hessian - use matrix-free hessian computed with finite differences
382a7e14dcfSSatish Balay . -tao_cancelmonitors - cancels all monitors (except those set with command line)
383441846f8SBarry Smith . -tao_view - prints information about the Tao after solving
384a7e14dcfSSatish Balay - -tao_converged_reason - prints the reason TAO stopped iterating
385a7e14dcfSSatish Balay 
386a7e14dcfSSatish Balay   Notes:
387a7e14dcfSSatish Balay   To see all options, run your program with the -help option or consult the
388a7e14dcfSSatish Balay   user's manual. Should be called after TaoCreate() but before TaoSolve()
389a7e14dcfSSatish Balay 
390a7e14dcfSSatish Balay   Level: beginner
391a7e14dcfSSatish Balay @*/
392441846f8SBarry Smith PetscErrorCode TaoSetFromOptions(Tao tao)
393a7e14dcfSSatish Balay {
394a7e14dcfSSatish Balay   PetscErrorCode ierr;
395b625d6c7SJed Brown   TaoType        default_type = TAOLMVM;
396a7e14dcfSSatish Balay   char           type[256], monfilename[PETSC_MAX_PATH_LEN];
397a7e14dcfSSatish Balay   PetscViewer    monviewer;
398a7e14dcfSSatish Balay   PetscBool      flg;
399a7e14dcfSSatish Balay   MPI_Comm       comm;
400a7e14dcfSSatish Balay 
401a7e14dcfSSatish Balay   PetscFunctionBegin;
402441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
403a7e14dcfSSatish Balay   ierr = PetscObjectGetComm((PetscObject)tao,&comm);CHKERRQ(ierr);
404125ddc8aSJason Sarich 
405a7e14dcfSSatish Balay   /* So no warnings are given about unused options */
406c5929fdfSBarry Smith   ierr = PetscOptionsHasName(((PetscObject)tao)->options,((PetscObject)tao)->prefix,"-tao_ls_type",&flg);CHKERRQ(ierr);
407a7e14dcfSSatish Balay 
408a7e14dcfSSatish Balay   ierr = PetscObjectOptionsBegin((PetscObject)tao);CHKERRQ(ierr);
409a7e14dcfSSatish Balay   {
410441846f8SBarry Smith     ierr = TaoRegisterAll();CHKERRQ(ierr);
411a7e14dcfSSatish Balay     if (((PetscObject)tao)->type_name) {
412a7e14dcfSSatish Balay       default_type = ((PetscObject)tao)->type_name;
413a7e14dcfSSatish Balay     }
414a7e14dcfSSatish Balay     /* Check for type from options */
415441846f8SBarry Smith     ierr = PetscOptionsFList("-tao_type","Tao Solver type","TaoSetType",TaoList,default_type,type,256,&flg);CHKERRQ(ierr);
416a7e14dcfSSatish Balay     if (flg) {
417a7e14dcfSSatish Balay       ierr = TaoSetType(tao,type);CHKERRQ(ierr);
418a7e14dcfSSatish Balay     } else if (!((PetscObject)tao)->type_name) {
419302440fdSBarry Smith       ierr = TaoSetType(tao,default_type);CHKERRQ(ierr);
420a7e14dcfSSatish Balay     }
421a7e14dcfSSatish Balay 
4226552cf8aSJason Sarich     ierr = PetscOptionsReal("-tao_catol","Stop if constraints violations within","TaoSetConstraintTolerances",tao->catol,&tao->catol,&flg);CHKERRQ(ierr);
4236552cf8aSJason Sarich     if (flg) tao->catol_changed=PETSC_TRUE;
4246552cf8aSJason Sarich     ierr = PetscOptionsReal("-tao_crtol","Stop if relative contraint violations within","TaoSetConstraintTolerances",tao->crtol,&tao->crtol,&flg);CHKERRQ(ierr);
4256552cf8aSJason Sarich     if (flg) tao->crtol_changed=PETSC_TRUE;
4266552cf8aSJason Sarich     ierr = PetscOptionsReal("-tao_gatol","Stop if norm of gradient less than","TaoSetTolerances",tao->gatol,&tao->gatol,&flg);CHKERRQ(ierr);
4276552cf8aSJason Sarich     if (flg) tao->gatol_changed=PETSC_TRUE;
4286552cf8aSJason Sarich     ierr = PetscOptionsReal("-tao_grtol","Stop if norm of gradient divided by the function value is less than","TaoSetTolerances",tao->grtol,&tao->grtol,&flg);CHKERRQ(ierr);
4296552cf8aSJason Sarich     if (flg) tao->grtol_changed=PETSC_TRUE;
4306552cf8aSJason Sarich     ierr = PetscOptionsReal("-tao_gttol","Stop if the norm of the gradient is less than the norm of the initial gradient times tol","TaoSetTolerances",tao->gttol,&tao->gttol,&flg);CHKERRQ(ierr);
4316552cf8aSJason Sarich     if (flg) tao->gttol_changed=PETSC_TRUE;
4326552cf8aSJason Sarich     ierr = PetscOptionsInt("-tao_max_it","Stop if iteration number exceeds","TaoSetMaximumIterations",tao->max_it,&tao->max_it,&flg);CHKERRQ(ierr);
4336552cf8aSJason Sarich     if (flg) tao->max_it_changed=PETSC_TRUE;
4346552cf8aSJason Sarich     ierr = PetscOptionsInt("-tao_max_funcs","Stop if number of function evaluations exceeds","TaoSetMaximumFunctionEvaluations",tao->max_funcs,&tao->max_funcs,&flg);CHKERRQ(ierr);
4356552cf8aSJason Sarich     if (flg) tao->max_funcs_changed=PETSC_TRUE;
4366552cf8aSJason Sarich     ierr = PetscOptionsReal("-tao_fmin","Stop if function less than","TaoSetFunctionLowerBound",tao->fmin,&tao->fmin,&flg);CHKERRQ(ierr);
4376552cf8aSJason Sarich     if (flg) tao->fmin_changed=PETSC_TRUE;
4386552cf8aSJason Sarich     ierr = PetscOptionsReal("-tao_steptol","Stop if step size or trust region radius less than","",tao->steptol,&tao->steptol,&flg);CHKERRQ(ierr);
4396552cf8aSJason Sarich     if (flg) tao->steptol_changed=PETSC_TRUE;
4406552cf8aSJason Sarich     ierr = PetscOptionsReal("-tao_trust0","Initial trust region radius","TaoSetTrustRegionRadius",tao->trust0,&tao->trust0,&flg);CHKERRQ(ierr);
4416552cf8aSJason Sarich     if (flg) tao->trust0_changed=PETSC_TRUE;
442a7e14dcfSSatish Balay     ierr = PetscOptionsString("-tao_view_solution","view solution vector after each evaluation","TaoSetMonitor","stdout",monfilename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
443a7e14dcfSSatish Balay     if (flg) {
444a7e14dcfSSatish Balay       ierr = PetscViewerASCIIOpen(comm,monfilename,&monviewer);CHKERRQ(ierr);
445a7e14dcfSSatish Balay       ierr = TaoSetMonitor(tao,TaoSolutionMonitor,monviewer,(PetscErrorCode (*)(void**))PetscViewerDestroy);CHKERRQ(ierr);
446a7e14dcfSSatish Balay     }
447a7e14dcfSSatish Balay 
4488afaa268SBarry Smith     ierr = PetscOptionsBool("-tao_converged_reason","Print reason for TAO converged","TaoSolve",tao->printreason,&tao->printreason,NULL);CHKERRQ(ierr);
449a7e14dcfSSatish Balay     ierr = PetscOptionsString("-tao_view_gradient","view gradient vector after each evaluation","TaoSetMonitor","stdout",monfilename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
450a7e14dcfSSatish Balay     if (flg) {
451a7e14dcfSSatish Balay       ierr = PetscViewerASCIIOpen(comm,monfilename,&monviewer);CHKERRQ(ierr);
452a7e14dcfSSatish Balay       ierr = TaoSetMonitor(tao,TaoGradientMonitor,monviewer,(PetscErrorCode (*)(void**))PetscViewerDestroy);CHKERRQ(ierr);
453a7e14dcfSSatish Balay     }
454a7e14dcfSSatish Balay 
455a7e14dcfSSatish Balay     ierr = PetscOptionsString("-tao_view_stepdirection","view step direction vector after each iteration","TaoSetMonitor","stdout",monfilename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
456a7e14dcfSSatish Balay     if (flg) {
457a7e14dcfSSatish Balay       ierr = PetscViewerASCIIOpen(comm,monfilename,&monviewer);CHKERRQ(ierr);
458a7e14dcfSSatish Balay       ierr = TaoSetMonitor(tao,TaoStepDirectionMonitor,monviewer,(PetscErrorCode (*)(void**))PetscViewerDestroy);CHKERRQ(ierr);
459a7e14dcfSSatish Balay     }
460a7e14dcfSSatish Balay 
461a7e14dcfSSatish Balay     ierr = PetscOptionsString("-tao_view_separableobjective","view separable objective vector after each evaluation","TaoSetMonitor","stdout",monfilename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
462a7e14dcfSSatish Balay     if (flg) {
463a7e14dcfSSatish Balay       ierr = PetscViewerASCIIOpen(comm,monfilename,&monviewer);CHKERRQ(ierr);
464a7e14dcfSSatish Balay       ierr = TaoSetMonitor(tao,TaoSeparableObjectiveMonitor,monviewer,(PetscErrorCode (*)(void**))PetscViewerDestroy);CHKERRQ(ierr);
465a7e14dcfSSatish Balay     }
466a7e14dcfSSatish Balay 
467a7e14dcfSSatish Balay     ierr = PetscOptionsString("-tao_monitor","Use the default convergence monitor","TaoSetMonitor","stdout",monfilename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
468a7e14dcfSSatish Balay     if (flg) {
469a7e14dcfSSatish Balay       ierr = PetscViewerASCIIOpen(comm,monfilename,&monviewer);CHKERRQ(ierr);
47098ea980cSBarry Smith       ierr = TaoSetMonitor(tao,TaoMonitorDefault,monviewer,(PetscErrorCode (*)(void**))PetscViewerDestroy);CHKERRQ(ierr);
471a7e14dcfSSatish Balay     }
472a7e14dcfSSatish Balay 
4738d5ead36SAlp Dener     ierr = PetscOptionsString("-tao_gmonitor","Use the convergence monitor with extra globalization info","TaoSetMonitor","stdout",monfilename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
4748d5ead36SAlp Dener     if (flg) {
4758d5ead36SAlp Dener       ierr = PetscViewerASCIIOpen(comm,monfilename,&monviewer);CHKERRQ(ierr);
4768d5ead36SAlp Dener       ierr = TaoSetMonitor(tao,TaoDefaultGMonitor,monviewer,(PetscErrorCode (*)(void**))PetscViewerDestroy);CHKERRQ(ierr);
4778d5ead36SAlp Dener     }
4788d5ead36SAlp Dener 
479a7e14dcfSSatish Balay     ierr = PetscOptionsString("-tao_smonitor","Use the short convergence monitor","TaoSetMonitor","stdout",monfilename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
480a7e14dcfSSatish Balay     if (flg) {
481a7e14dcfSSatish Balay       ierr = PetscViewerASCIIOpen(comm,monfilename,&monviewer);CHKERRQ(ierr);
482a7e14dcfSSatish Balay       ierr = TaoSetMonitor(tao,TaoDefaultSMonitor,monviewer,(PetscErrorCode (*)(void**))PetscViewerDestroy);CHKERRQ(ierr);
483a7e14dcfSSatish Balay     }
484a7e14dcfSSatish Balay 
485a7e14dcfSSatish Balay     ierr = PetscOptionsString("-tao_cmonitor","Use the default convergence monitor with constraint norm","TaoSetMonitor","stdout",monfilename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
486a7e14dcfSSatish Balay     if (flg) {
487a7e14dcfSSatish Balay       ierr = PetscViewerASCIIOpen(comm,monfilename,&monviewer);CHKERRQ(ierr);
488a7e14dcfSSatish Balay       ierr = TaoSetMonitor(tao,TaoDefaultCMonitor,monviewer,(PetscErrorCode (*)(void**))PetscViewerDestroy);CHKERRQ(ierr);
489a7e14dcfSSatish Balay     }
490a7e14dcfSSatish Balay 
491a7e14dcfSSatish Balay 
4928afaa268SBarry Smith     flg = PETSC_FALSE;
4938afaa268SBarry Smith     ierr = PetscOptionsBool("-tao_cancelmonitors","cancel all monitors and call any registered destroy routines","TaoCancelMonitors",flg,&flg,NULL);CHKERRQ(ierr);
494a7e14dcfSSatish Balay     if (flg) {ierr = TaoCancelMonitors(tao);CHKERRQ(ierr);}
495a7e14dcfSSatish Balay 
4968afaa268SBarry Smith     flg = PETSC_FALSE;
4978afaa268SBarry Smith     ierr = PetscOptionsBool("-tao_draw_solution","Plot solution vector at each iteration","TaoSetMonitor",flg,&flg,NULL);CHKERRQ(ierr);
498a7e14dcfSSatish Balay     if (flg) {
499e882e171SHong Zhang       TaoMonitorDrawCtx drawctx;
500e882e171SHong Zhang       PetscInt          howoften = 1;
501e882e171SHong Zhang       ierr = TaoMonitorDrawCtxCreate(PetscObjectComm((PetscObject)tao),0,0,PETSC_DECIDE,PETSC_DECIDE,300,300,howoften,&drawctx);CHKERRQ(ierr);
502e882e171SHong Zhang       ierr = TaoSetMonitor(tao,TaoDrawSolutionMonitor,drawctx,(PetscErrorCode (*)(void**))TaoMonitorDrawCtxDestroy);CHKERRQ(ierr);
503a7e14dcfSSatish Balay     }
504a7e14dcfSSatish Balay 
5058afaa268SBarry Smith     flg = PETSC_FALSE;
5068afaa268SBarry Smith     ierr = PetscOptionsBool("-tao_draw_step","plots step direction at each iteration","TaoSetMonitor",flg,&flg,NULL);CHKERRQ(ierr);
507a7e14dcfSSatish Balay     if (flg) {
50847a47007SBarry Smith       ierr = TaoSetMonitor(tao,TaoDrawStepMonitor,NULL,NULL);CHKERRQ(ierr);
509a7e14dcfSSatish Balay     }
510a7e14dcfSSatish Balay 
5118afaa268SBarry Smith     flg = PETSC_FALSE;
5128afaa268SBarry Smith     ierr = PetscOptionsBool("-tao_draw_gradient","plots gradient at each iteration","TaoSetMonitor",flg,&flg,NULL);CHKERRQ(ierr);
513a7e14dcfSSatish Balay     if (flg) {
514e882e171SHong Zhang       TaoMonitorDrawCtx drawctx;
515e882e171SHong Zhang       PetscInt          howoften = 1;
516e882e171SHong Zhang       ierr = TaoMonitorDrawCtxCreate(PetscObjectComm((PetscObject)tao),0,0,PETSC_DECIDE,PETSC_DECIDE,300,300,howoften,&drawctx);CHKERRQ(ierr);
517e882e171SHong Zhang       ierr = TaoSetMonitor(tao,TaoDrawGradientMonitor,drawctx,(PetscErrorCode (*)(void**))TaoMonitorDrawCtxDestroy);CHKERRQ(ierr);
518a7e14dcfSSatish Balay     }
5198afaa268SBarry Smith     flg = PETSC_FALSE;
5208afaa268SBarry Smith     ierr = PetscOptionsBool("-tao_fd_gradient","compute gradient using finite differences","TaoDefaultComputeGradient",flg,&flg,NULL);CHKERRQ(ierr);
521a7e14dcfSSatish Balay     if (flg) {
52247a47007SBarry Smith       ierr = TaoSetGradientRoutine(tao,TaoDefaultComputeGradient,NULL);CHKERRQ(ierr);
523a7e14dcfSSatish Balay     }
524f4c1ad5cSStefano Zampini     flg = PETSC_FALSE;
525f4c1ad5cSStefano Zampini     ierr = PetscOptionsBool("-tao_fd_hessian","compute hessian using finite differences","TaoDefaultComputeHessian",flg,&flg,NULL);CHKERRQ(ierr);
526f4c1ad5cSStefano Zampini     if (flg) {
527f4c1ad5cSStefano Zampini       Mat H;
528f4c1ad5cSStefano Zampini 
529f4c1ad5cSStefano Zampini       ierr = MatCreate(PetscObjectComm((PetscObject)tao),&H);CHKERRQ(ierr);
530f4c1ad5cSStefano Zampini       ierr = MatSetType(H,MATAIJ);CHKERRQ(ierr);
531f4c1ad5cSStefano Zampini       ierr = TaoSetHessianRoutine(tao,H,H,TaoDefaultComputeHessian,NULL);CHKERRQ(ierr);
532f4c1ad5cSStefano Zampini       ierr = MatDestroy(&H);CHKERRQ(ierr);
533f4c1ad5cSStefano Zampini     }
534f4c1ad5cSStefano Zampini     flg = PETSC_FALSE;
535f4c1ad5cSStefano Zampini     ierr = PetscOptionsBool("-tao_mf_hessian","compute matrix-free hessian using finite differences","TaoDefaultComputeHessianMFFD",flg,&flg,NULL);CHKERRQ(ierr);
536f4c1ad5cSStefano Zampini     if (flg) {
537f4c1ad5cSStefano Zampini       Mat H;
538f4c1ad5cSStefano Zampini 
539f4c1ad5cSStefano Zampini       ierr = MatCreate(PetscObjectComm((PetscObject)tao),&H);CHKERRQ(ierr);
540f4c1ad5cSStefano Zampini       ierr = TaoSetHessianRoutine(tao,H,H,TaoDefaultComputeHessianMFFD,NULL);CHKERRQ(ierr);
541f4c1ad5cSStefano Zampini       ierr = MatDestroy(&H);CHKERRQ(ierr);
542f4c1ad5cSStefano Zampini     }
543f4c1ad5cSStefano Zampini     ierr = PetscOptionsEnum("-tao_subset_type","subset type","",TaoSubSetTypes,(PetscEnum)tao->subset_type,(PetscEnum*)&tao->subset_type,NULL);CHKERRQ(ierr);
544a7e14dcfSSatish Balay 
545a7e14dcfSSatish Balay     if (tao->ops->setfromoptions) {
5461a1499c8SBarry Smith       ierr = (*tao->ops->setfromoptions)(PetscOptionsObject,tao);CHKERRQ(ierr);
547a7e14dcfSSatish Balay     }
548a7e14dcfSSatish Balay   }
549a7e14dcfSSatish Balay   ierr = PetscOptionsEnd();CHKERRQ(ierr);
550a7e14dcfSSatish Balay   PetscFunctionReturn(0);
551a7e14dcfSSatish Balay }
552a7e14dcfSSatish Balay 
553a7e14dcfSSatish Balay /*@C
554441846f8SBarry Smith   TaoView - Prints information about the Tao
555a7e14dcfSSatish Balay 
556441846f8SBarry Smith   Collective on Tao
557a7e14dcfSSatish Balay 
558a7e14dcfSSatish Balay   InputParameters:
559441846f8SBarry Smith + tao - the Tao context
560a7e14dcfSSatish Balay - viewer - visualization context
561a7e14dcfSSatish Balay 
562a7e14dcfSSatish Balay   Options Database Key:
563a7e14dcfSSatish Balay . -tao_view - Calls TaoView() at the end of TaoSolve()
564a7e14dcfSSatish Balay 
565a7e14dcfSSatish Balay   Notes:
566a7e14dcfSSatish Balay   The available visualization contexts include
567a7e14dcfSSatish Balay +     PETSC_VIEWER_STDOUT_SELF - standard output (default)
568a7e14dcfSSatish Balay -     PETSC_VIEWER_STDOUT_WORLD - synchronized standard
569a7e14dcfSSatish Balay          output where only the first processor opens
570a7e14dcfSSatish Balay          the file.  All other processors send their
571a7e14dcfSSatish Balay          data to the first processor to print.
572a7e14dcfSSatish Balay 
573a7e14dcfSSatish Balay   Level: beginner
574a7e14dcfSSatish Balay 
575a7e14dcfSSatish Balay .seealso: PetscViewerASCIIOpen()
576a7e14dcfSSatish Balay @*/
577441846f8SBarry Smith PetscErrorCode TaoView(Tao tao, PetscViewer viewer)
578a7e14dcfSSatish Balay {
579a7e14dcfSSatish Balay   PetscErrorCode      ierr;
580a7e14dcfSSatish Balay   PetscBool           isascii,isstring;
581b625d6c7SJed Brown   TaoType             type;
58247a47007SBarry Smith 
583a7e14dcfSSatish Balay   PetscFunctionBegin;
584441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
585a7e14dcfSSatish Balay   if (!viewer) {
586a7e14dcfSSatish Balay     ierr = PetscViewerASCIIGetStdout(((PetscObject)tao)->comm,&viewer);CHKERRQ(ierr);
587a7e14dcfSSatish Balay   }
588a7e14dcfSSatish Balay   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
589a7e14dcfSSatish Balay   PetscCheckSameComm(tao,1,viewer,2);
590a7e14dcfSSatish Balay 
591a7e14dcfSSatish Balay   ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&isascii);CHKERRQ(ierr);
592a7e14dcfSSatish Balay   ierr = PetscObjectTypeCompare((PetscObject)viewer,PETSCVIEWERSTRING,&isstring);CHKERRQ(ierr);
593a7e14dcfSSatish Balay   if (isascii) {
594a7e14dcfSSatish Balay     ierr = PetscObjectPrintClassNamePrefixType((PetscObject)tao,viewer);CHKERRQ(ierr);
595a7e14dcfSSatish Balay 
596a7e14dcfSSatish Balay     if (tao->ops->view) {
597a7e14dcfSSatish Balay       ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
598a7e14dcfSSatish Balay       ierr = (*tao->ops->view)(tao,viewer);CHKERRQ(ierr);
599a7e14dcfSSatish Balay       ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
600a7e14dcfSSatish Balay     }
6018d3f3ddaSAlp Dener     if (tao->linesearch) {
60285928a98SStefano Zampini       ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
6038d3f3ddaSAlp Dener       ierr = TaoLineSearchView(tao->linesearch,viewer);CHKERRQ(ierr);
60485928a98SStefano Zampini       ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
6058d3f3ddaSAlp Dener     }
606a7e14dcfSSatish Balay     if (tao->ksp) {
60719b5c101SAlp Dener       ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
60885928a98SStefano Zampini       ierr = KSPView(tao->ksp,viewer);CHKERRQ(ierr);
609ae93cb3cSJason Sarich       ierr = PetscViewerASCIIPrintf(viewer,"total KSP iterations: %D\n",tao->ksp_tot_its);CHKERRQ(ierr);
61019b5c101SAlp Dener       ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
611a7e14dcfSSatish Balay     }
61219b5c101SAlp Dener 
61319b5c101SAlp Dener     ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
61419b5c101SAlp Dener 
615a7e14dcfSSatish Balay     if (tao->XL || tao->XU) {
616302440fdSBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"Active Set subset type: %s\n",TaoSubSetTypes[tao->subset_type]);CHKERRQ(ierr);
617a7e14dcfSSatish Balay     }
618a7e14dcfSSatish Balay 
61947a47007SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"convergence tolerances: gatol=%g,",(double)tao->gatol);CHKERRQ(ierr);
62047a47007SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer," steptol=%g,",(double)tao->steptol);CHKERRQ(ierr);
62147a47007SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer," gttol=%g\n",(double)tao->gttol);CHKERRQ(ierr);
62247a47007SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"Residual in Function/Gradient:=%g\n",(double)tao->residual);CHKERRQ(ierr);
623a7e14dcfSSatish Balay 
624a7e14dcfSSatish Balay     if (tao->cnorm>0 || tao->catol>0 || tao->crtol>0){
625a7e14dcfSSatish Balay       ierr=PetscViewerASCIIPrintf(viewer,"convergence tolerances:");CHKERRQ(ierr);
62647a47007SBarry Smith       ierr=PetscViewerASCIIPrintf(viewer," catol=%g,",(double)tao->catol);CHKERRQ(ierr);
62747a47007SBarry Smith       ierr=PetscViewerASCIIPrintf(viewer," crtol=%g\n",(double)tao->crtol);CHKERRQ(ierr);
62847a47007SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"Residual in Constraints:=%g\n",(double)tao->cnorm);CHKERRQ(ierr);
629a7e14dcfSSatish Balay     }
630a7e14dcfSSatish Balay 
631a7e14dcfSSatish Balay     if (tao->trust < tao->steptol){
63247a47007SBarry Smith       ierr=PetscViewerASCIIPrintf(viewer,"convergence tolerances: steptol=%g\n",(double)tao->steptol);CHKERRQ(ierr);
63347a47007SBarry Smith       ierr=PetscViewerASCIIPrintf(viewer,"Final trust region radius:=%g\n",(double)tao->trust);CHKERRQ(ierr);
634a7e14dcfSSatish Balay     }
635a7e14dcfSSatish Balay 
636a7e14dcfSSatish Balay     if (tao->fmin>-1.e25){
63747a47007SBarry Smith       ierr=PetscViewerASCIIPrintf(viewer,"convergence tolerances: function minimum=%g\n",(double)tao->fmin);CHKERRQ(ierr);
638a7e14dcfSSatish Balay     }
63947a47007SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"Objective value=%g\n",(double)tao->fc);CHKERRQ(ierr);
640a7e14dcfSSatish Balay 
64147a47007SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"total number of iterations=%D,          ",tao->niter);CHKERRQ(ierr);
642a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPrintf(viewer,"              (max: %D)\n",tao->max_it);CHKERRQ(ierr);
643a7e14dcfSSatish Balay 
644a7e14dcfSSatish Balay     if (tao->nfuncs>0){
64547a47007SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"total number of function evaluations=%D,",tao->nfuncs);CHKERRQ(ierr);
64647a47007SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"                max: %D\n",tao->max_funcs);CHKERRQ(ierr);
647a7e14dcfSSatish Balay     }
648a7e14dcfSSatish Balay     if (tao->ngrads>0){
64947a47007SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"total number of gradient evaluations=%D,",tao->ngrads);CHKERRQ(ierr);
65047a47007SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"                max: %D\n",tao->max_funcs);CHKERRQ(ierr);
651a7e14dcfSSatish Balay     }
652a7e14dcfSSatish Balay     if (tao->nfuncgrads>0){
65347a47007SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"total number of function/gradient evaluations=%D,",tao->nfuncgrads);CHKERRQ(ierr);
65447a47007SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"    (max: %D)\n",tao->max_funcs);CHKERRQ(ierr);
655a7e14dcfSSatish Balay     }
656a7e14dcfSSatish Balay     if (tao->nhess>0){
65747a47007SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"total number of Hessian evaluations=%D\n",tao->nhess);CHKERRQ(ierr);
658a7e14dcfSSatish Balay     }
659a7e14dcfSSatish Balay     /*  if (tao->linear_its>0){
66047a47007SBarry Smith      ierr = PetscViewerASCIIPrintf(viewer,"  total Krylov method iterations=%D\n",tao->linear_its);CHKERRQ(ierr);
661a7e14dcfSSatish Balay      }*/
662a7e14dcfSSatish Balay     if (tao->nconstraints>0){
66347a47007SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"total number of constraint function evaluations=%D\n",tao->nconstraints);CHKERRQ(ierr);
664a7e14dcfSSatish Balay     }
665a7e14dcfSSatish Balay     if (tao->njac>0){
66647a47007SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"total number of Jacobian evaluations=%D\n",tao->njac);CHKERRQ(ierr);
667a7e14dcfSSatish Balay     }
668a7e14dcfSSatish Balay 
669a7e14dcfSSatish Balay     if (tao->reason>0){
670a7e14dcfSSatish Balay       ierr = PetscViewerASCIIPrintf(viewer,    "Solution converged: ");CHKERRQ(ierr);
671a7e14dcfSSatish Balay       switch (tao->reason) {
672a7e14dcfSSatish Balay       case TAO_CONVERGED_GATOL:
673a7e14dcfSSatish Balay         ierr = PetscViewerASCIIPrintf(viewer," ||g(X)|| <= gatol\n");CHKERRQ(ierr);
674a7e14dcfSSatish Balay         break;
675a7e14dcfSSatish Balay       case TAO_CONVERGED_GRTOL:
676a7e14dcfSSatish Balay         ierr = PetscViewerASCIIPrintf(viewer," ||g(X)||/|f(X)| <= grtol\n");CHKERRQ(ierr);
677a7e14dcfSSatish Balay         break;
678a7e14dcfSSatish Balay       case TAO_CONVERGED_GTTOL:
679a7e14dcfSSatish Balay         ierr = PetscViewerASCIIPrintf(viewer," ||g(X)||/||g(X0)|| <= gttol\n");CHKERRQ(ierr);
680a7e14dcfSSatish Balay         break;
681a7e14dcfSSatish Balay       case TAO_CONVERGED_STEPTOL:
682a7e14dcfSSatish Balay         ierr = PetscViewerASCIIPrintf(viewer," Steptol -- step size small\n");CHKERRQ(ierr);
683a7e14dcfSSatish Balay         break;
684a7e14dcfSSatish Balay       case TAO_CONVERGED_MINF:
685a7e14dcfSSatish Balay         ierr = PetscViewerASCIIPrintf(viewer," Minf --  f < fmin\n");CHKERRQ(ierr);
686a7e14dcfSSatish Balay         break;
687a7e14dcfSSatish Balay       case TAO_CONVERGED_USER:
688a7e14dcfSSatish Balay         ierr = PetscViewerASCIIPrintf(viewer," User Terminated\n");CHKERRQ(ierr);
689a7e14dcfSSatish Balay         break;
690a7e14dcfSSatish Balay       default:
691a7e14dcfSSatish Balay         ierr = PetscViewerASCIIPrintf(viewer,"\n");CHKERRQ(ierr);
692a7e14dcfSSatish Balay         break;
693a7e14dcfSSatish Balay       }
694a7e14dcfSSatish Balay 
695a7e14dcfSSatish Balay     } else {
69647cfc4faSBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"Solver terminated: %d",tao->reason);CHKERRQ(ierr);
697a7e14dcfSSatish Balay       switch (tao->reason) {
698a7e14dcfSSatish Balay       case TAO_DIVERGED_MAXITS:
69947a47007SBarry Smith         ierr = PetscViewerASCIIPrintf(viewer," Maximum Iterations\n");CHKERRQ(ierr);
700a7e14dcfSSatish Balay         break;
701a7e14dcfSSatish Balay       case TAO_DIVERGED_NAN:
70247a47007SBarry Smith         ierr = PetscViewerASCIIPrintf(viewer," NAN or Inf encountered\n");CHKERRQ(ierr);
703a7e14dcfSSatish Balay         break;
704a7e14dcfSSatish Balay       case TAO_DIVERGED_MAXFCN:
70547a47007SBarry Smith         ierr = PetscViewerASCIIPrintf(viewer," Maximum Function Evaluations\n");CHKERRQ(ierr);
706a7e14dcfSSatish Balay         break;
707a7e14dcfSSatish Balay       case TAO_DIVERGED_LS_FAILURE:
70847a47007SBarry Smith         ierr = PetscViewerASCIIPrintf(viewer," Line Search Failure\n");CHKERRQ(ierr);
709a7e14dcfSSatish Balay         break;
710a7e14dcfSSatish Balay       case TAO_DIVERGED_TR_REDUCTION:
71147a47007SBarry Smith         ierr = PetscViewerASCIIPrintf(viewer," Trust Region too small\n");CHKERRQ(ierr);
712a7e14dcfSSatish Balay         break;
713a7e14dcfSSatish Balay       case TAO_DIVERGED_USER:
71447a47007SBarry Smith         ierr = PetscViewerASCIIPrintf(viewer," User Terminated\n");CHKERRQ(ierr);
715a7e14dcfSSatish Balay         break;
716a7e14dcfSSatish Balay       default:
717a7e14dcfSSatish Balay         ierr = PetscViewerASCIIPrintf(viewer,"\n");CHKERRQ(ierr);
718a7e14dcfSSatish Balay         break;
719a7e14dcfSSatish Balay       }
720a7e14dcfSSatish Balay     }
721a7e14dcfSSatish Balay     ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
722a7e14dcfSSatish Balay   } else if (isstring) {
723a7e14dcfSSatish Balay     ierr = TaoGetType(tao,&type);CHKERRQ(ierr);
724a7e14dcfSSatish Balay     ierr = PetscViewerStringSPrintf(viewer," %-3.3s",type);CHKERRQ(ierr);
725a7e14dcfSSatish Balay   }
726a7e14dcfSSatish Balay   PetscFunctionReturn(0);
727a7e14dcfSSatish Balay }
728a7e14dcfSSatish Balay 
729a7e14dcfSSatish Balay /*@
730a7e14dcfSSatish Balay   TaoSetTolerances - Sets parameters used in TAO convergence tests
731a7e14dcfSSatish Balay 
732441846f8SBarry Smith   Logically collective on Tao
733a7e14dcfSSatish Balay 
734a7e14dcfSSatish Balay   Input Parameters:
735441846f8SBarry Smith + tao - the Tao context
736a7e14dcfSSatish Balay . gatol - stop if norm of gradient is less than this
737a7e14dcfSSatish Balay . grtol - stop if relative norm of gradient is less than this
738a7e14dcfSSatish Balay - gttol - stop if norm of gradient is reduced by this factor
739a7e14dcfSSatish Balay 
740a7e14dcfSSatish Balay   Options Database Keys:
741e52336cbSBarry Smith + -tao_gatol <gatol> - Sets gatol
742a7e14dcfSSatish Balay . -tao_grtol <grtol> - Sets grtol
743a7e14dcfSSatish Balay - -tao_gttol <gttol> - Sets gttol
744a7e14dcfSSatish Balay 
745a7e14dcfSSatish Balay   Stopping Criteria:
746a7e14dcfSSatish Balay $ ||g(X)||                            <= gatol
747a7e14dcfSSatish Balay $ ||g(X)|| / |f(X)|                   <= grtol
748a7e14dcfSSatish Balay $ ||g(X)|| / ||g(X0)||                <= gttol
749a7e14dcfSSatish Balay 
750a7e14dcfSSatish Balay   Notes:
751a7e14dcfSSatish Balay   Use PETSC_DEFAULT to leave one or more tolerances unchanged.
752a7e14dcfSSatish Balay 
753a7e14dcfSSatish Balay   Level: beginner
754a7e14dcfSSatish Balay 
755a7e14dcfSSatish Balay .seealso: TaoGetTolerances()
756a7e14dcfSSatish Balay 
757a7e14dcfSSatish Balay @*/
758e52336cbSBarry Smith PetscErrorCode TaoSetTolerances(Tao tao, PetscReal gatol, PetscReal grtol, PetscReal gttol)
759a7e14dcfSSatish Balay {
760a7e14dcfSSatish Balay   PetscErrorCode ierr;
76147a47007SBarry Smith 
762a7e14dcfSSatish Balay   PetscFunctionBegin;
763441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
764a7e14dcfSSatish Balay 
765a7e14dcfSSatish Balay   if (gatol != PETSC_DEFAULT) {
766a7e14dcfSSatish Balay     if (gatol<0) {
767955c1f14SBarry Smith       ierr = PetscInfo(tao,"Tried to set negative gatol -- ignored.\n");CHKERRQ(ierr);
768a7e14dcfSSatish Balay     } else {
769a7e14dcfSSatish Balay       tao->gatol = PetscMax(0,gatol);
7706552cf8aSJason Sarich       tao->gatol_changed=PETSC_TRUE;
771a7e14dcfSSatish Balay     }
772a7e14dcfSSatish Balay   }
773a7e14dcfSSatish Balay 
774a7e14dcfSSatish Balay   if (grtol != PETSC_DEFAULT) {
775a7e14dcfSSatish Balay     if (grtol<0) {
776955c1f14SBarry Smith       ierr = PetscInfo(tao,"Tried to set negative grtol -- ignored.\n");CHKERRQ(ierr);
777a7e14dcfSSatish Balay     } else {
778a7e14dcfSSatish Balay       tao->grtol = PetscMax(0,grtol);
7796552cf8aSJason Sarich       tao->grtol_changed=PETSC_TRUE;
780a7e14dcfSSatish Balay     }
781a7e14dcfSSatish Balay   }
782a7e14dcfSSatish Balay 
783a7e14dcfSSatish Balay   if (gttol != PETSC_DEFAULT) {
784a7e14dcfSSatish Balay     if (gttol<0) {
785955c1f14SBarry Smith       ierr = PetscInfo(tao,"Tried to set negative gttol -- ignored.\n");CHKERRQ(ierr);
786a7e14dcfSSatish Balay     } else {
787a7e14dcfSSatish Balay       tao->gttol = PetscMax(0,gttol);
7886552cf8aSJason Sarich       tao->gttol_changed=PETSC_TRUE;
789a7e14dcfSSatish Balay     }
790a7e14dcfSSatish Balay   }
791a7e14dcfSSatish Balay   PetscFunctionReturn(0);
792a7e14dcfSSatish Balay }
793a7e14dcfSSatish Balay 
794a7e14dcfSSatish Balay /*@
79558417fe7SBarry Smith   TaoSetConstraintTolerances - Sets constraint tolerance parameters used in TAO  convergence tests
796a7e14dcfSSatish Balay 
797441846f8SBarry Smith   Logically collective on Tao
798a7e14dcfSSatish Balay 
799a7e14dcfSSatish Balay   Input Parameters:
800441846f8SBarry Smith + tao - the Tao context
801e52336cbSBarry Smith . catol - absolute constraint tolerance, constraint norm must be less than catol for used for gatol convergence criteria
802e52336cbSBarry Smith - crtol - relative contraint tolerance, constraint norm must be less than crtol for used for gatol, gttol convergence criteria
803a7e14dcfSSatish Balay 
804a7e14dcfSSatish Balay   Options Database Keys:
805a7e14dcfSSatish Balay + -tao_catol <catol> - Sets catol
806a7e14dcfSSatish Balay - -tao_crtol <crtol> - Sets crtol
807a7e14dcfSSatish Balay 
8086552cf8aSJason Sarich   Notes:
8096552cf8aSJason Sarich   Use PETSC_DEFAULT to leave any tolerance unchanged.
8106552cf8aSJason Sarich 
811a7e14dcfSSatish Balay   Level: intermediate
812a7e14dcfSSatish Balay 
81358417fe7SBarry Smith .seealso: TaoGetTolerances(), TaoGetConstraintTolerances(), TaoSetTolerances()
814a7e14dcfSSatish Balay 
815a7e14dcfSSatish Balay @*/
816441846f8SBarry Smith PetscErrorCode TaoSetConstraintTolerances(Tao tao, PetscReal catol, PetscReal crtol)
817a7e14dcfSSatish Balay {
818a7e14dcfSSatish Balay   PetscErrorCode ierr;
81947a47007SBarry Smith 
820a7e14dcfSSatish Balay   PetscFunctionBegin;
821441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
822a7e14dcfSSatish Balay 
823a7e14dcfSSatish Balay   if (catol != PETSC_DEFAULT) {
824a7e14dcfSSatish Balay     if (catol<0) {
825955c1f14SBarry Smith       ierr = PetscInfo(tao,"Tried to set negative catol -- ignored.\n");CHKERRQ(ierr);
826a7e14dcfSSatish Balay     } else {
827a7e14dcfSSatish Balay       tao->catol = PetscMax(0,catol);
8286552cf8aSJason Sarich       tao->catol_changed=PETSC_TRUE;
829a7e14dcfSSatish Balay     }
830a7e14dcfSSatish Balay   }
831a7e14dcfSSatish Balay 
832a7e14dcfSSatish Balay   if (crtol != PETSC_DEFAULT) {
833a7e14dcfSSatish Balay     if (crtol<0) {
834955c1f14SBarry Smith       ierr = PetscInfo(tao,"Tried to set negative crtol -- ignored.\n");CHKERRQ(ierr);
835a7e14dcfSSatish Balay     } else {
836a7e14dcfSSatish Balay       tao->crtol = PetscMax(0,crtol);
8376552cf8aSJason Sarich       tao->crtol_changed=PETSC_TRUE;
838a7e14dcfSSatish Balay     }
839a7e14dcfSSatish Balay   }
840a7e14dcfSSatish Balay   PetscFunctionReturn(0);
841a7e14dcfSSatish Balay }
842a7e14dcfSSatish Balay 
84358417fe7SBarry Smith /*@
84458417fe7SBarry Smith   TaoGetConstraintTolerances - Gets constraint tolerance parameters used in TAO  convergence tests
84558417fe7SBarry Smith 
84658417fe7SBarry Smith   Not ollective
84758417fe7SBarry Smith 
84858417fe7SBarry Smith   Input Parameter:
84958417fe7SBarry Smith . tao - the Tao context
85058417fe7SBarry Smith 
85158417fe7SBarry Smith   Output Parameter:
852e52336cbSBarry Smith + catol - absolute constraint tolerance, constraint norm must be less than catol for used for gatol convergence criteria
853e52336cbSBarry Smith - crtol - relative contraint tolerance, constraint norm must be less than crtol for used for gatol, gttol convergence criteria
85458417fe7SBarry Smith 
85558417fe7SBarry Smith   Level: intermediate
85658417fe7SBarry Smith 
85758417fe7SBarry Smith .seealso: TaoGetTolerances(), TaoSetTolerances(), TaoSetConstraintTolerances()
85858417fe7SBarry Smith 
85958417fe7SBarry Smith @*/
86058417fe7SBarry Smith PetscErrorCode TaoGetConstraintTolerances(Tao tao, PetscReal *catol, PetscReal *crtol)
86158417fe7SBarry Smith {
86258417fe7SBarry Smith   PetscFunctionBegin;
86358417fe7SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
86458417fe7SBarry Smith   if (catol) *catol = tao->catol;
86558417fe7SBarry Smith   if (crtol) *crtol = tao->crtol;
86658417fe7SBarry Smith   PetscFunctionReturn(0);
86758417fe7SBarry Smith }
86858417fe7SBarry Smith 
869a7e14dcfSSatish Balay /*@
870a7e14dcfSSatish Balay    TaoSetFunctionLowerBound - Sets a bound on the solution objective value.
871a7e14dcfSSatish Balay    When an approximate solution with an objective value below this number
872a7e14dcfSSatish Balay    has been found, the solver will terminate.
873a7e14dcfSSatish Balay 
874441846f8SBarry Smith    Logically Collective on Tao
875a7e14dcfSSatish Balay 
876a7e14dcfSSatish Balay    Input Parameters:
877441846f8SBarry Smith +  tao - the Tao solver context
878a7e14dcfSSatish Balay -  fmin - the tolerance
879a7e14dcfSSatish Balay 
880a7e14dcfSSatish Balay    Options Database Keys:
881a7e14dcfSSatish Balay .    -tao_fmin <fmin> - sets the minimum function value
882a7e14dcfSSatish Balay 
883a7e14dcfSSatish Balay    Level: intermediate
884a7e14dcfSSatish Balay 
885a7e14dcfSSatish Balay .seealso: TaoSetTolerances()
886a7e14dcfSSatish Balay @*/
887441846f8SBarry Smith PetscErrorCode TaoSetFunctionLowerBound(Tao tao,PetscReal fmin)
888a7e14dcfSSatish Balay {
889a7e14dcfSSatish Balay   PetscFunctionBegin;
890441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
891a7e14dcfSSatish Balay   tao->fmin = fmin;
8926552cf8aSJason Sarich   tao->fmin_changed=PETSC_TRUE;
893a7e14dcfSSatish Balay   PetscFunctionReturn(0);
894a7e14dcfSSatish Balay }
895a7e14dcfSSatish Balay 
896a7e14dcfSSatish Balay /*@
8978e96d397SJason Sarich    TaoGetFunctionLowerBound - Gets the bound on the solution objective value.
898a7e14dcfSSatish Balay    When an approximate solution with an objective value below this number
899a7e14dcfSSatish Balay    has been found, the solver will terminate.
900a7e14dcfSSatish Balay 
901441846f8SBarry Smith    Not collective on Tao
902a7e14dcfSSatish Balay 
903a7e14dcfSSatish Balay    Input Parameters:
904441846f8SBarry Smith .  tao - the Tao solver context
905a7e14dcfSSatish Balay 
906a7e14dcfSSatish Balay    OutputParameters:
907a7e14dcfSSatish Balay .  fmin - the minimum function value
908a7e14dcfSSatish Balay 
909a7e14dcfSSatish Balay    Level: intermediate
910a7e14dcfSSatish Balay 
911a7e14dcfSSatish Balay .seealso: TaoSetFunctionLowerBound()
912a7e14dcfSSatish Balay @*/
913441846f8SBarry Smith PetscErrorCode TaoGetFunctionLowerBound(Tao tao,PetscReal *fmin)
914a7e14dcfSSatish Balay {
915a7e14dcfSSatish Balay   PetscFunctionBegin;
916441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
917a7e14dcfSSatish Balay   *fmin = tao->fmin;
918a7e14dcfSSatish Balay   PetscFunctionReturn(0);
919a7e14dcfSSatish Balay }
920a7e14dcfSSatish Balay 
921a7e14dcfSSatish Balay /*@
922a7e14dcfSSatish Balay    TaoSetMaximumFunctionEvaluations - Sets a maximum number of
923a7e14dcfSSatish Balay    function evaluations.
924a7e14dcfSSatish Balay 
925441846f8SBarry Smith    Logically Collective on Tao
926a7e14dcfSSatish Balay 
927a7e14dcfSSatish Balay    Input Parameters:
928441846f8SBarry Smith +  tao - the Tao solver context
929a7e14dcfSSatish Balay -  nfcn - the maximum number of function evaluations (>=0)
930a7e14dcfSSatish Balay 
931a7e14dcfSSatish Balay    Options Database Keys:
932a7e14dcfSSatish Balay .    -tao_max_funcs <nfcn> - sets the maximum number of function evaluations
933a7e14dcfSSatish Balay 
934a7e14dcfSSatish Balay    Level: intermediate
935a7e14dcfSSatish Balay 
936a7e14dcfSSatish Balay .seealso: TaoSetTolerances(), TaoSetMaximumIterations()
937a7e14dcfSSatish Balay @*/
938a7e14dcfSSatish Balay 
939441846f8SBarry Smith PetscErrorCode TaoSetMaximumFunctionEvaluations(Tao tao,PetscInt nfcn)
940a7e14dcfSSatish Balay {
941a7e14dcfSSatish Balay   PetscFunctionBegin;
942441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
94347a47007SBarry Smith   tao->max_funcs = PetscMax(0,nfcn);
9446552cf8aSJason Sarich   tao->max_funcs_changed=PETSC_TRUE;
945a7e14dcfSSatish Balay   PetscFunctionReturn(0);
946a7e14dcfSSatish Balay }
947a7e14dcfSSatish Balay 
948a7e14dcfSSatish Balay /*@
949a7e14dcfSSatish Balay    TaoGetMaximumFunctionEvaluations - Sets a maximum number of
950a7e14dcfSSatish Balay    function evaluations.
951a7e14dcfSSatish Balay 
952a7e14dcfSSatish Balay    Not Collective
953a7e14dcfSSatish Balay 
954a7e14dcfSSatish Balay    Input Parameters:
955441846f8SBarry Smith .  tao - the Tao solver context
956a7e14dcfSSatish Balay 
957a7e14dcfSSatish Balay    Output Parameters:
958a7e14dcfSSatish Balay .  nfcn - the maximum number of function evaluations
959a7e14dcfSSatish Balay 
960a7e14dcfSSatish Balay    Level: intermediate
961a7e14dcfSSatish Balay 
962a7e14dcfSSatish Balay .seealso: TaoSetMaximumFunctionEvaluations(), TaoGetMaximumIterations()
963a7e14dcfSSatish Balay @*/
964a7e14dcfSSatish Balay 
965441846f8SBarry Smith PetscErrorCode TaoGetMaximumFunctionEvaluations(Tao tao,PetscInt *nfcn)
966a7e14dcfSSatish Balay {
967a7e14dcfSSatish Balay   PetscFunctionBegin;
968441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
969a7e14dcfSSatish Balay   *nfcn = tao->max_funcs;
970a7e14dcfSSatish Balay   PetscFunctionReturn(0);
971a7e14dcfSSatish Balay }
972a7e14dcfSSatish Balay 
973770232b9SCe Qin /*@
974770232b9SCe Qin    TaoGetCurrentFunctionEvaluations - Get current number of
975770232b9SCe Qin    function evaluations.
976770232b9SCe Qin 
977770232b9SCe Qin    Not Collective
978770232b9SCe Qin 
979770232b9SCe Qin    Input Parameters:
980770232b9SCe Qin .  tao - the Tao solver context
981770232b9SCe Qin 
982770232b9SCe Qin    Output Parameters:
983770232b9SCe Qin .  nfuncs - the current number of function evaluations
984770232b9SCe Qin 
985770232b9SCe Qin    Level: intermediate
986770232b9SCe Qin 
987770232b9SCe Qin .seealso: TaoSetMaximumFunctionEvaluations(), TaoGetMaximumFunctionEvaluations(), TaoGetMaximumIterations()
988770232b9SCe Qin @*/
989770232b9SCe Qin 
990770232b9SCe Qin PetscErrorCode TaoGetCurrentFunctionEvaluations(Tao tao,PetscInt *nfuncs)
991770232b9SCe Qin {
992770232b9SCe Qin   PetscFunctionBegin;
993770232b9SCe Qin   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
994770232b9SCe Qin   *nfuncs=PetscMax(tao->nfuncs,tao->nfuncgrads);
995770232b9SCe Qin   PetscFunctionReturn(0);
996770232b9SCe Qin }
997770232b9SCe Qin 
998a7e14dcfSSatish Balay /*@
999a7e14dcfSSatish Balay    TaoSetMaximumIterations - Sets a maximum number of iterates.
1000a7e14dcfSSatish Balay 
1001441846f8SBarry Smith    Logically Collective on Tao
1002a7e14dcfSSatish Balay 
1003a7e14dcfSSatish Balay    Input Parameters:
1004441846f8SBarry Smith +  tao - the Tao solver context
1005a7e14dcfSSatish Balay -  maxits - the maximum number of iterates (>=0)
1006a7e14dcfSSatish Balay 
1007a7e14dcfSSatish Balay    Options Database Keys:
1008a7e14dcfSSatish Balay .    -tao_max_it <its> - sets the maximum number of iterations
1009a7e14dcfSSatish Balay 
1010a7e14dcfSSatish Balay    Level: intermediate
1011a7e14dcfSSatish Balay 
1012a7e14dcfSSatish Balay .seealso: TaoSetTolerances(), TaoSetMaximumFunctionEvaluations()
1013a7e14dcfSSatish Balay @*/
1014441846f8SBarry Smith PetscErrorCode TaoSetMaximumIterations(Tao tao,PetscInt maxits)
1015a7e14dcfSSatish Balay {
1016a7e14dcfSSatish Balay   PetscFunctionBegin;
1017441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
101847a47007SBarry Smith   tao->max_it = PetscMax(0,maxits);
10196552cf8aSJason Sarich   tao->max_it_changed=PETSC_TRUE;
1020a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1021a7e14dcfSSatish Balay }
1022a7e14dcfSSatish Balay 
1023a7e14dcfSSatish Balay /*@
1024a7e14dcfSSatish Balay    TaoGetMaximumIterations - Sets a maximum number of iterates.
1025a7e14dcfSSatish Balay 
1026a7e14dcfSSatish Balay    Not Collective
1027a7e14dcfSSatish Balay 
1028a7e14dcfSSatish Balay    Input Parameters:
1029441846f8SBarry Smith .  tao - the Tao solver context
1030a7e14dcfSSatish Balay 
1031a7e14dcfSSatish Balay    Output Parameters:
1032a7e14dcfSSatish Balay .  maxits - the maximum number of iterates
1033a7e14dcfSSatish Balay 
1034a7e14dcfSSatish Balay    Level: intermediate
1035a7e14dcfSSatish Balay 
1036a7e14dcfSSatish Balay .seealso: TaoSetMaximumIterations(), TaoGetMaximumFunctionEvaluations()
1037a7e14dcfSSatish Balay @*/
1038441846f8SBarry Smith PetscErrorCode TaoGetMaximumIterations(Tao tao,PetscInt *maxits)
1039a7e14dcfSSatish Balay {
1040a7e14dcfSSatish Balay   PetscFunctionBegin;
1041441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1042a7e14dcfSSatish Balay   *maxits = tao->max_it;
1043a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1044a7e14dcfSSatish Balay }
1045a7e14dcfSSatish Balay 
1046a7e14dcfSSatish Balay /*@
1047a7e14dcfSSatish Balay    TaoSetInitialTrustRegionRadius - Sets the initial trust region radius.
1048a7e14dcfSSatish Balay 
1049441846f8SBarry Smith    Logically collective on Tao
1050a7e14dcfSSatish Balay 
1051a7e14dcfSSatish Balay    Input Parameter:
1052a7e14dcfSSatish Balay +  tao - a TAO optimization solver
1053a7e14dcfSSatish Balay -  radius - the trust region radius
1054a7e14dcfSSatish Balay 
1055a7e14dcfSSatish Balay    Level: intermediate
1056a7e14dcfSSatish Balay 
1057a7e14dcfSSatish Balay    Options Database Key:
1058a7e14dcfSSatish Balay .  -tao_trust0 <t0> - sets initial trust region radius
1059a7e14dcfSSatish Balay 
1060a7e14dcfSSatish Balay .seealso: TaoGetTrustRegionRadius(), TaoSetTrustRegionTolerance()
1061a7e14dcfSSatish Balay @*/
1062441846f8SBarry Smith PetscErrorCode TaoSetInitialTrustRegionRadius(Tao tao, PetscReal radius)
1063a7e14dcfSSatish Balay {
1064a7e14dcfSSatish Balay   PetscFunctionBegin;
1065441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1066a7e14dcfSSatish Balay   tao->trust0 = PetscMax(0.0,radius);
10676552cf8aSJason Sarich   tao->trust0_changed=PETSC_TRUE;
1068a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1069a7e14dcfSSatish Balay }
1070a7e14dcfSSatish Balay 
1071a7e14dcfSSatish Balay /*@
1072a7e14dcfSSatish Balay    TaoGetInitialTrustRegionRadius - Sets the initial trust region radius.
1073a7e14dcfSSatish Balay 
1074a7e14dcfSSatish Balay    Not Collective
1075a7e14dcfSSatish Balay 
1076a7e14dcfSSatish Balay    Input Parameter:
1077a7e14dcfSSatish Balay .  tao - a TAO optimization solver
1078a7e14dcfSSatish Balay 
1079a7e14dcfSSatish Balay    Output Parameter:
1080a7e14dcfSSatish Balay .  radius - the trust region radius
1081a7e14dcfSSatish Balay 
1082a7e14dcfSSatish Balay    Level: intermediate
1083a7e14dcfSSatish Balay 
1084a7e14dcfSSatish Balay .seealso: TaoSetInitialTrustRegionRadius(), TaoGetCurrentTrustRegionRadius()
1085a7e14dcfSSatish Balay @*/
1086441846f8SBarry Smith PetscErrorCode TaoGetInitialTrustRegionRadius(Tao tao, PetscReal *radius)
1087a7e14dcfSSatish Balay {
1088a7e14dcfSSatish Balay   PetscFunctionBegin;
1089441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1090a7e14dcfSSatish Balay   *radius = tao->trust0;
1091a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1092a7e14dcfSSatish Balay }
1093a7e14dcfSSatish Balay 
1094a7e14dcfSSatish Balay /*@
1095a7e14dcfSSatish Balay    TaoGetCurrentTrustRegionRadius - Gets the current trust region radius.
1096a7e14dcfSSatish Balay 
1097a7e14dcfSSatish Balay    Not Collective
1098a7e14dcfSSatish Balay 
1099a7e14dcfSSatish Balay    Input Parameter:
1100a7e14dcfSSatish Balay .  tao - a TAO optimization solver
1101a7e14dcfSSatish Balay 
1102a7e14dcfSSatish Balay    Output Parameter:
1103a7e14dcfSSatish Balay .  radius - the trust region radius
1104a7e14dcfSSatish Balay 
1105a7e14dcfSSatish Balay    Level: intermediate
1106a7e14dcfSSatish Balay 
1107a7e14dcfSSatish Balay .seealso: TaoSetInitialTrustRegionRadius(), TaoGetInitialTrustRegionRadius()
1108a7e14dcfSSatish Balay @*/
1109441846f8SBarry Smith PetscErrorCode TaoGetCurrentTrustRegionRadius(Tao tao, PetscReal *radius)
1110a7e14dcfSSatish Balay {
1111a7e14dcfSSatish Balay   PetscFunctionBegin;
1112441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1113a7e14dcfSSatish Balay   *radius = tao->trust;
1114a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1115a7e14dcfSSatish Balay }
1116a7e14dcfSSatish Balay 
1117a7e14dcfSSatish Balay /*@
1118a7e14dcfSSatish Balay   TaoGetTolerances - gets the current values of tolerances
1119a7e14dcfSSatish Balay 
1120a7e14dcfSSatish Balay   Not Collective
1121a7e14dcfSSatish Balay 
1122a7e14dcfSSatish Balay   Input Parameters:
1123441846f8SBarry Smith . tao - the Tao context
1124a7e14dcfSSatish Balay 
1125a7e14dcfSSatish Balay   Output Parameters:
1126e52336cbSBarry Smith + gatol - stop if norm of gradient is less than this
1127a7e14dcfSSatish Balay . grtol - stop if relative norm of gradient is less than this
1128a7e14dcfSSatish Balay - gttol - stop if norm of gradient is reduced by a this factor
1129a7e14dcfSSatish Balay 
113047a47007SBarry Smith   Note: NULL can be used as an argument if not all tolerances values are needed
1131a7e14dcfSSatish Balay 
1132a7e14dcfSSatish Balay .seealso TaoSetTolerances()
1133a7e14dcfSSatish Balay 
1134a7e14dcfSSatish Balay   Level: intermediate
1135a7e14dcfSSatish Balay @*/
1136e52336cbSBarry Smith PetscErrorCode TaoGetTolerances(Tao tao, PetscReal *gatol, PetscReal *grtol, PetscReal *gttol)
1137a7e14dcfSSatish Balay {
1138a7e14dcfSSatish Balay   PetscFunctionBegin;
1139441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1140a7e14dcfSSatish Balay   if (gatol) *gatol=tao->gatol;
1141a7e14dcfSSatish Balay   if (grtol) *grtol=tao->grtol;
1142a7e14dcfSSatish Balay   if (gttol) *gttol=tao->gttol;
1143a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1144a7e14dcfSSatish Balay }
1145a7e14dcfSSatish Balay 
1146a7e14dcfSSatish Balay /*@
1147a7e14dcfSSatish Balay   TaoGetKSP - Gets the linear solver used by the optimization solver.
1148a7e14dcfSSatish Balay   Application writers should use TaoGetKSP if they need direct access
1149a7e14dcfSSatish Balay   to the PETSc KSP object.
1150a7e14dcfSSatish Balay 
1151a7e14dcfSSatish Balay   Not Collective
1152a7e14dcfSSatish Balay 
1153a7e14dcfSSatish Balay    Input Parameters:
1154a7e14dcfSSatish Balay .  tao - the TAO solver
1155a7e14dcfSSatish Balay 
1156a7e14dcfSSatish Balay    Output Parameters:
1157a7e14dcfSSatish Balay .  ksp - the KSP linear solver used in the optimization solver
1158a7e14dcfSSatish Balay 
1159a7e14dcfSSatish Balay    Level: intermediate
1160a7e14dcfSSatish Balay 
1161a7e14dcfSSatish Balay @*/
1162441846f8SBarry Smith PetscErrorCode TaoGetKSP(Tao tao, KSP *ksp)
116347a47007SBarry Smith {
1164a7e14dcfSSatish Balay   PetscFunctionBegin;
1165a7e14dcfSSatish Balay   *ksp = tao->ksp;
1166a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1167a7e14dcfSSatish Balay }
1168a7e14dcfSSatish Balay 
1169025e9500SJason Sarich /*@
1170025e9500SJason Sarich    TaoGetLinearSolveIterations - Gets the total number of linear iterations
1171025e9500SJason Sarich    used by the TAO solver
1172025e9500SJason Sarich 
1173025e9500SJason Sarich    Not Collective
1174025e9500SJason Sarich 
1175025e9500SJason Sarich    Input Parameter:
1176025e9500SJason Sarich .  tao - TAO context
1177025e9500SJason Sarich 
1178025e9500SJason Sarich    Output Parameter:
1179025e9500SJason Sarich .  lits - number of linear iterations
1180025e9500SJason Sarich 
1181025e9500SJason Sarich    Notes:
1182025e9500SJason Sarich    This counter is reset to zero for each successive call to TaoSolve()
1183025e9500SJason Sarich 
1184025e9500SJason Sarich    Level: intermediate
1185025e9500SJason Sarich 
1186025e9500SJason Sarich .keywords: TAO
1187025e9500SJason Sarich 
1188025e9500SJason Sarich .seealso:  TaoGetKSP()
1189025e9500SJason Sarich @*/
1190025e9500SJason Sarich PetscErrorCode  TaoGetLinearSolveIterations(Tao tao,PetscInt *lits)
1191025e9500SJason Sarich {
1192025e9500SJason Sarich   PetscFunctionBegin;
1193025e9500SJason Sarich   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1194025e9500SJason Sarich   PetscValidIntPointer(lits,2);
11952d9aa51bSJason Sarich   *lits = tao->ksp_tot_its;
1196025e9500SJason Sarich   PetscFunctionReturn(0);
1197025e9500SJason Sarich }
1198025e9500SJason Sarich 
1199a7e14dcfSSatish Balay /*@
1200a7e14dcfSSatish Balay   TaoGetLineSearch - Gets the line search used by the optimization solver.
1201a7e14dcfSSatish Balay   Application writers should use TaoGetLineSearch if they need direct access
1202a7e14dcfSSatish Balay   to the TaoLineSearch object.
1203a7e14dcfSSatish Balay 
1204a7e14dcfSSatish Balay   Not Collective
1205a7e14dcfSSatish Balay 
1206a7e14dcfSSatish Balay    Input Parameters:
1207a7e14dcfSSatish Balay .  tao - the TAO solver
1208a7e14dcfSSatish Balay 
1209a7e14dcfSSatish Balay    Output Parameters:
1210a7e14dcfSSatish Balay .  ls - the line search used in the optimization solver
1211a7e14dcfSSatish Balay 
1212a7e14dcfSSatish Balay    Level: intermediate
1213a7e14dcfSSatish Balay 
1214a7e14dcfSSatish Balay @*/
1215441846f8SBarry Smith PetscErrorCode TaoGetLineSearch(Tao tao, TaoLineSearch *ls)
121647a47007SBarry Smith {
1217a7e14dcfSSatish Balay   PetscFunctionBegin;
1218a7e14dcfSSatish Balay   *ls = tao->linesearch;
1219a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1220a7e14dcfSSatish Balay }
1221a7e14dcfSSatish Balay 
1222a7e14dcfSSatish Balay /*@
1223a7e14dcfSSatish Balay   TaoAddLineSearchCounts - Adds the number of function evaluations spent
1224a7e14dcfSSatish Balay   in the line search to the running total.
1225a7e14dcfSSatish Balay 
1226a7e14dcfSSatish Balay    Input Parameters:
1227a7e14dcfSSatish Balay +  tao - the TAO solver
1228a7e14dcfSSatish Balay -  ls - the line search used in the optimization solver
1229a7e14dcfSSatish Balay 
1230a7e14dcfSSatish Balay    Level: developer
1231a7e14dcfSSatish Balay 
1232a7e14dcfSSatish Balay .seealso: TaoLineSearchApply()
1233a7e14dcfSSatish Balay @*/
1234441846f8SBarry Smith PetscErrorCode TaoAddLineSearchCounts(Tao tao)
123547a47007SBarry Smith {
1236a7e14dcfSSatish Balay   PetscErrorCode ierr;
1237a7e14dcfSSatish Balay   PetscBool      flg;
1238a7e14dcfSSatish Balay   PetscInt       nfeval,ngeval,nfgeval;
123947a47007SBarry Smith 
1240a7e14dcfSSatish Balay   PetscFunctionBegin;
1241441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1242a7e14dcfSSatish Balay   if (tao->linesearch) {
1243302440fdSBarry Smith     ierr = TaoLineSearchIsUsingTaoRoutines(tao->linesearch,&flg);CHKERRQ(ierr);
124494ae4db5SBarry Smith     if (!flg) {
124547a47007SBarry Smith       ierr = TaoLineSearchGetNumberFunctionEvaluations(tao->linesearch,&nfeval,&ngeval,&nfgeval);CHKERRQ(ierr);
1246a7e14dcfSSatish Balay       tao->nfuncs+=nfeval;
1247a7e14dcfSSatish Balay       tao->ngrads+=ngeval;
1248a7e14dcfSSatish Balay       tao->nfuncgrads+=nfgeval;
1249a7e14dcfSSatish Balay     }
1250a7e14dcfSSatish Balay   }
1251a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1252a7e14dcfSSatish Balay }
1253a7e14dcfSSatish Balay 
1254a7e14dcfSSatish Balay /*@
1255a7e14dcfSSatish Balay   TaoGetSolutionVector - Returns the vector with the current TAO solution
1256a7e14dcfSSatish Balay 
1257a7e14dcfSSatish Balay   Not Collective
1258a7e14dcfSSatish Balay 
1259a7e14dcfSSatish Balay   Input Parameter:
1260441846f8SBarry Smith . tao - the Tao context
1261a7e14dcfSSatish Balay 
1262a7e14dcfSSatish Balay   Output Parameter:
1263a7e14dcfSSatish Balay . X - the current solution
1264a7e14dcfSSatish Balay 
1265a7e14dcfSSatish Balay   Level: intermediate
1266a7e14dcfSSatish Balay 
1267a7e14dcfSSatish Balay   Note:  The returned vector will be the same object that was passed into TaoSetInitialVector()
1268a7e14dcfSSatish Balay @*/
1269441846f8SBarry Smith PetscErrorCode TaoGetSolutionVector(Tao tao, Vec *X)
1270a7e14dcfSSatish Balay {
1271a7e14dcfSSatish Balay   PetscFunctionBegin;
1272441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1273a7e14dcfSSatish Balay   *X = tao->solution;
1274a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1275a7e14dcfSSatish Balay }
1276a7e14dcfSSatish Balay 
1277a7e14dcfSSatish Balay /*@
1278a7e14dcfSSatish Balay   TaoGetGradientVector - Returns the vector with the current TAO gradient
1279a7e14dcfSSatish Balay 
1280a7e14dcfSSatish Balay   Not Collective
1281a7e14dcfSSatish Balay 
1282a7e14dcfSSatish Balay   Input Parameter:
1283441846f8SBarry Smith . tao - the Tao context
1284a7e14dcfSSatish Balay 
1285a7e14dcfSSatish Balay   Output Parameter:
1286a7e14dcfSSatish Balay . G - the current solution
1287a7e14dcfSSatish Balay 
1288a7e14dcfSSatish Balay   Level: intermediate
1289a7e14dcfSSatish Balay @*/
1290441846f8SBarry Smith PetscErrorCode TaoGetGradientVector(Tao tao, Vec *G)
1291a7e14dcfSSatish Balay {
1292a7e14dcfSSatish Balay   PetscFunctionBegin;
1293441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1294a7e14dcfSSatish Balay   *G = tao->gradient;
1295a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1296a7e14dcfSSatish Balay }
1297a7e14dcfSSatish Balay 
1298a7e14dcfSSatish Balay /*@
1299a7e14dcfSSatish Balay    TaoResetStatistics - Initialize the statistics used by TAO for all of the solvers.
1300a7e14dcfSSatish Balay    These statistics include the iteration number, residual norms, and convergence status.
1301a7e14dcfSSatish Balay    This routine gets called before solving each optimization problem.
1302a7e14dcfSSatish Balay 
1303441846f8SBarry Smith    Collective on Tao
1304a7e14dcfSSatish Balay 
1305a7e14dcfSSatish Balay    Input Parameters:
1306441846f8SBarry Smith .  solver - the Tao context
1307a7e14dcfSSatish Balay 
1308a7e14dcfSSatish Balay    Level: developer
1309a7e14dcfSSatish Balay 
1310a7e14dcfSSatish Balay .seealso: TaoCreate(), TaoSolve()
1311a7e14dcfSSatish Balay @*/
1312441846f8SBarry Smith PetscErrorCode TaoResetStatistics(Tao tao)
1313a7e14dcfSSatish Balay {
1314a7e14dcfSSatish Balay   PetscFunctionBegin;
1315441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1316a7e14dcfSSatish Balay   tao->niter        = 0;
1317a7e14dcfSSatish Balay   tao->nfuncs       = 0;
1318a7e14dcfSSatish Balay   tao->nfuncgrads   = 0;
1319a7e14dcfSSatish Balay   tao->ngrads       = 0;
1320a7e14dcfSSatish Balay   tao->nhess        = 0;
1321a7e14dcfSSatish Balay   tao->njac         = 0;
1322a7e14dcfSSatish Balay   tao->nconstraints = 0;
1323a7e14dcfSSatish Balay   tao->ksp_its      = 0;
1324ae93cb3cSJason Sarich   tao->ksp_tot_its  = 0;
1325a7e14dcfSSatish Balay   tao->reason       = TAO_CONTINUE_ITERATING;
1326a7e14dcfSSatish Balay   tao->residual     = 0.0;
1327a7e14dcfSSatish Balay   tao->cnorm        = 0.0;
1328a7e14dcfSSatish Balay   tao->step         = 0.0;
1329a7e14dcfSSatish Balay   tao->lsflag       = PETSC_FALSE;
1330a7e14dcfSSatish Balay   if (tao->hist_reset) tao->hist_len=0;
1331a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1332a7e14dcfSSatish Balay }
1333a7e14dcfSSatish Balay 
1334a7e14dcfSSatish Balay /*@C
1335a7e14dcfSSatish Balay   TaoSetConvergenceTest - Sets the function that is to be used to test
1336a7e14dcfSSatish Balay   for convergence o fthe iterative minimization solution.  The new convergence
1337a7e14dcfSSatish Balay   testing routine will replace TAO's default convergence test.
1338a7e14dcfSSatish Balay 
1339441846f8SBarry Smith   Logically Collective on Tao
1340a7e14dcfSSatish Balay 
1341a7e14dcfSSatish Balay   Input Parameters:
1342441846f8SBarry Smith + tao - the Tao object
1343a7e14dcfSSatish Balay . conv - the routine to test for convergence
1344a7e14dcfSSatish Balay - ctx - [optional] context for private data for the convergence routine
134547a47007SBarry Smith         (may be NULL)
1346a7e14dcfSSatish Balay 
1347a7e14dcfSSatish Balay   Calling sequence of conv:
1348441846f8SBarry Smith $   PetscErrorCode conv(Tao tao, void *ctx)
1349a7e14dcfSSatish Balay 
1350441846f8SBarry Smith + tao - the Tao object
1351a7e14dcfSSatish Balay - ctx - [optional] convergence context
1352a7e14dcfSSatish Balay 
1353e4cb33bbSBarry Smith   Note: The new convergence testing routine should call TaoSetConvergedReason().
1354a7e14dcfSSatish Balay 
1355a7e14dcfSSatish Balay   Level: advanced
1356a7e14dcfSSatish Balay 
1357e4cb33bbSBarry Smith .seealso: TaoSetConvergedReason(), TaoGetSolutionStatus(), TaoGetTolerances(), TaoSetMonitor
1358a7e14dcfSSatish Balay 
1359a7e14dcfSSatish Balay @*/
1360441846f8SBarry Smith PetscErrorCode TaoSetConvergenceTest(Tao tao, PetscErrorCode (*conv)(Tao,void*), void *ctx)
1361a7e14dcfSSatish Balay {
1362a7e14dcfSSatish Balay   PetscFunctionBegin;
1363441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1364a7e14dcfSSatish Balay   (tao)->ops->convergencetest = conv;
1365a7e14dcfSSatish Balay   (tao)->cnvP = ctx;
1366a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1367a7e14dcfSSatish Balay }
1368a7e14dcfSSatish Balay 
1369a7e14dcfSSatish Balay /*@C
1370a7e14dcfSSatish Balay    TaoSetMonitor - Sets an ADDITIONAL function that is to be used at every
1371a7e14dcfSSatish Balay    iteration of the solver to display the iteration's
1372a7e14dcfSSatish Balay    progress.
1373a7e14dcfSSatish Balay 
1374441846f8SBarry Smith    Logically Collective on Tao
1375a7e14dcfSSatish Balay 
1376a7e14dcfSSatish Balay    Input Parameters:
1377441846f8SBarry Smith +  tao - the Tao solver context
1378a7e14dcfSSatish Balay .  mymonitor - monitoring routine
1379a7e14dcfSSatish Balay -  mctx - [optional] user-defined context for private data for the
138047a47007SBarry Smith           monitor routine (may be NULL)
1381a7e14dcfSSatish Balay 
1382a7e14dcfSSatish Balay    Calling sequence of mymonitor:
1383441846f8SBarry Smith $     int mymonitor(Tao tao,void *mctx)
1384a7e14dcfSSatish Balay 
1385441846f8SBarry Smith +    tao - the Tao solver context
1386a7e14dcfSSatish Balay -    mctx - [optional] monitoring context
1387a7e14dcfSSatish Balay 
1388a7e14dcfSSatish Balay 
1389a7e14dcfSSatish Balay    Options Database Keys:
139098ea980cSBarry Smith +    -tao_monitor        - sets TaoMonitorDefault()
1391a7e14dcfSSatish Balay .    -tao_smonitor       - sets short monitor
1392a7e14dcfSSatish Balay .    -tao_cmonitor       - same as smonitor plus constraint norm
1393a7e14dcfSSatish Balay .    -tao_view_solution   - view solution at each iteration
1394a7e14dcfSSatish Balay .    -tao_view_gradient   - view gradient at each iteration
1395a7e14dcfSSatish Balay .    -tao_view_separableobjective - view separable objective function at each iteration
1396a7e14dcfSSatish Balay -    -tao_cancelmonitors - cancels all monitors that have been hardwired into a code by calls to TaoSetMonitor(), but does not cancel those set via the options database.
1397a7e14dcfSSatish Balay 
1398a7e14dcfSSatish Balay 
1399a7e14dcfSSatish Balay    Notes:
1400a7e14dcfSSatish Balay    Several different monitoring routines may be set by calling
1401a7e14dcfSSatish Balay    TaoSetMonitor() multiple times; all will be called in the
1402a7e14dcfSSatish Balay    order in which they were set.
1403a7e14dcfSSatish Balay 
140495452b02SPatrick Sanan    Fortran Notes:
140595452b02SPatrick Sanan     Only one monitor function may be set
1406a7e14dcfSSatish Balay 
1407a7e14dcfSSatish Balay    Level: intermediate
1408a7e14dcfSSatish Balay 
140998ea980cSBarry Smith .seealso: TaoMonitorDefault(), TaoCancelMonitors(),  TaoSetDestroyRoutine()
1410a7e14dcfSSatish Balay @*/
1411441846f8SBarry Smith PetscErrorCode TaoSetMonitor(Tao tao, PetscErrorCode (*func)(Tao, void*), void *ctx,PetscErrorCode (*dest)(void**))
1412a7e14dcfSSatish Balay {
141308d19d1fSJason Sarich   PetscErrorCode ierr;
141408d19d1fSJason Sarich   PetscInt       i;
1415*8732526dSAlp Dener   PetscBool      identical;
141608d19d1fSJason Sarich 
1417a7e14dcfSSatish Balay   PetscFunctionBegin;
1418441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
141947a47007SBarry Smith   if (tao->numbermonitors >= MAXTAOMONITORS) SETERRQ1(PETSC_COMM_SELF,1,"Cannot attach another monitor -- max=",MAXTAOMONITORS);
142008d19d1fSJason Sarich 
142108d19d1fSJason Sarich   for (i=0; i<tao->numbermonitors;i++) {
1422*8732526dSAlp Dener     ierr = PetscMonitorCompare((PetscErrorCode (*)(void))func,ctx,dest,(PetscErrorCode (*)(void))tao->monitor[i],tao->monitorcontext[i],tao->monitordestroy[i],&identical);CHKERRQ(ierr);
1423*8732526dSAlp Dener     if (identical) PetscFunctionReturn(0);
142408d19d1fSJason Sarich   }
1425a7e14dcfSSatish Balay   tao->monitor[tao->numbermonitors] = func;
1426*8732526dSAlp Dener   tao->monitorcontext[tao->numbermonitors] = (void*)ctx;
1427a7e14dcfSSatish Balay   tao->monitordestroy[tao->numbermonitors] = dest;
1428a7e14dcfSSatish Balay   ++tao->numbermonitors;
1429a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1430a7e14dcfSSatish Balay }
1431a7e14dcfSSatish Balay 
1432a7e14dcfSSatish Balay /*@
1433441846f8SBarry Smith    TaoCancelMonitors - Clears all the monitor functions for a Tao object.
1434a7e14dcfSSatish Balay 
1435441846f8SBarry Smith    Logically Collective on Tao
1436a7e14dcfSSatish Balay 
1437a7e14dcfSSatish Balay    Input Parameters:
1438441846f8SBarry Smith .  tao - the Tao solver context
1439a7e14dcfSSatish Balay 
1440a7e14dcfSSatish Balay    Options Database:
1441a7e14dcfSSatish Balay .  -tao_cancelmonitors - cancels all monitors that have been hardwired
1442a7e14dcfSSatish Balay     into a code by calls to TaoSetMonitor(), but does not cancel those
1443a7e14dcfSSatish Balay     set via the options database
1444a7e14dcfSSatish Balay 
1445a7e14dcfSSatish Balay    Notes:
1446441846f8SBarry Smith    There is no way to clear one specific monitor from a Tao object.
1447a7e14dcfSSatish Balay 
1448a7e14dcfSSatish Balay    Level: advanced
1449a7e14dcfSSatish Balay 
145098ea980cSBarry Smith .seealso: TaoMonitorDefault(), TaoSetMonitor()
1451a7e14dcfSSatish Balay @*/
1452441846f8SBarry Smith PetscErrorCode TaoCancelMonitors(Tao tao)
1453a7e14dcfSSatish Balay {
1454a7e14dcfSSatish Balay   PetscInt       i;
1455a7e14dcfSSatish Balay   PetscErrorCode ierr;
145647a47007SBarry Smith 
1457a7e14dcfSSatish Balay   PetscFunctionBegin;
1458441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
1459a7e14dcfSSatish Balay   for (i=0;i<tao->numbermonitors;i++) {
1460a7e14dcfSSatish Balay     if (tao->monitordestroy[i]) {
1461a7e14dcfSSatish Balay       ierr = (*tao->monitordestroy[i])(&tao->monitorcontext[i]);CHKERRQ(ierr);
1462a7e14dcfSSatish Balay     }
1463a7e14dcfSSatish Balay   }
1464a7e14dcfSSatish Balay   tao->numbermonitors=0;
1465a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1466a7e14dcfSSatish Balay }
1467a7e14dcfSSatish Balay 
14687fab98ebSJason Sarich /*@
146998ea980cSBarry Smith    TaoMonitorDefault - Default routine for monitoring progress of the
1470441846f8SBarry Smith    Tao solvers (default).  This monitor prints the function value and gradient
1471a7e14dcfSSatish Balay    norm at each iteration.  It can be turned on from the command line using the
1472a7e14dcfSSatish Balay    -tao_monitor option
1473a7e14dcfSSatish Balay 
1474441846f8SBarry Smith    Collective on Tao
1475a7e14dcfSSatish Balay 
1476a7e14dcfSSatish Balay    Input Parameters:
1477441846f8SBarry Smith +  tao - the Tao context
147847a47007SBarry Smith -  ctx - PetscViewer context or NULL
1479a7e14dcfSSatish Balay 
1480a7e14dcfSSatish Balay    Options Database Keys:
1481a7e14dcfSSatish Balay .  -tao_monitor
1482a7e14dcfSSatish Balay 
1483a7e14dcfSSatish Balay    Level: advanced
1484a7e14dcfSSatish Balay 
1485a7e14dcfSSatish Balay .seealso: TaoDefaultSMonitor(), TaoSetMonitor()
1486a7e14dcfSSatish Balay @*/
148798ea980cSBarry Smith PetscErrorCode TaoMonitorDefault(Tao tao, void *ctx)
1488a7e14dcfSSatish Balay {
1489a7e14dcfSSatish Balay   PetscErrorCode ierr;
149063b15415SAlp Dener   PetscInt       its, tabs;
1491a7e14dcfSSatish Balay   PetscReal      fct,gnorm;
14928163d661SBarry Smith   PetscViewer    viewer = (PetscViewer)ctx;
149347a47007SBarry Smith 
1494a7e14dcfSSatish Balay   PetscFunctionBegin;
14958163d661SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
1496a7e14dcfSSatish Balay   its=tao->niter;
1497a7e14dcfSSatish Balay   fct=tao->fc;
1498a7e14dcfSSatish Balay   gnorm=tao->residual;
149963b15415SAlp Dener   ierr = PetscViewerASCIIGetTab(viewer, &tabs);CHKERRQ(ierr);
150063b15415SAlp Dener   ierr = PetscViewerASCIISetTab(viewer, ((PetscObject)tao)->tablevel);CHKERRQ(ierr);
150163b15415SAlp Dener   if (its == 0 && ((PetscObject)tao)->prefix) {
150263b15415SAlp Dener      ierr = PetscViewerASCIIPrintf(viewer,"  Iteration information for %s solve.\n",((PetscObject)tao)->prefix);CHKERRQ(ierr);
150363b15415SAlp Dener    }
150498ea980cSBarry Smith   ierr=PetscViewerASCIIPrintf(viewer,"%3D TAO,",its);CHKERRQ(ierr);
150547a47007SBarry Smith   ierr=PetscViewerASCIIPrintf(viewer,"  Function value: %g,",(double)fct);CHKERRQ(ierr);
150608d19d1fSJason Sarich   if (gnorm >= PETSC_INFINITY) {
150708d19d1fSJason Sarich     ierr=PetscViewerASCIIPrintf(viewer,"  Residual: Inf \n");CHKERRQ(ierr);
150808d19d1fSJason Sarich   } else {
150947a47007SBarry Smith     ierr=PetscViewerASCIIPrintf(viewer,"  Residual: %g \n",(double)gnorm);CHKERRQ(ierr);
151008d19d1fSJason Sarich   }
151163b15415SAlp Dener   ierr = PetscViewerASCIISetTab(viewer, tabs);CHKERRQ(ierr);
1512a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1513a7e14dcfSSatish Balay }
1514a7e14dcfSSatish Balay 
15157fab98ebSJason Sarich /*@
15168d5ead36SAlp Dener    TaoDefaultGMonitor - Default routine for monitoring progress of the
15178d5ead36SAlp Dener    Tao solvers (default) with extra detail on the globalization method.
15188d5ead36SAlp Dener    This monitor prints the function value and gradient norm at each
15198d5ead36SAlp Dener    iteration, as well as the step size and trust radius. Note that the
15208d5ead36SAlp Dener    step size and trust radius may be the same for some algorithms.
15218d5ead36SAlp Dener    It can be turned on from the command line using the
15228d5ead36SAlp Dener    -tao_gmonitor option
15238d5ead36SAlp Dener 
15248d5ead36SAlp Dener    Collective on Tao
15258d5ead36SAlp Dener 
15268d5ead36SAlp Dener    Input Parameters:
15278d5ead36SAlp Dener +  tao - the Tao context
15288d5ead36SAlp Dener -  ctx - PetscViewer context or NULL
15298d5ead36SAlp Dener 
15308d5ead36SAlp Dener    Options Database Keys:
15318d5ead36SAlp Dener .  -tao_monitor
15328d5ead36SAlp Dener 
15338d5ead36SAlp Dener    Level: advanced
15348d5ead36SAlp Dener 
15358d5ead36SAlp Dener .seealso: TaoDefaultSMonitor(), TaoSetMonitor()
15368d5ead36SAlp Dener @*/
15378d5ead36SAlp Dener PetscErrorCode TaoDefaultGMonitor(Tao tao, void *ctx)
15388d5ead36SAlp Dener {
15398d5ead36SAlp Dener   PetscErrorCode ierr;
15408d5ead36SAlp Dener   PetscInt       its, tabs;
15418d5ead36SAlp Dener   PetscReal      fct,gnorm,stp,tr;
15428d5ead36SAlp Dener   PetscViewer    viewer = (PetscViewer)ctx;
15438d5ead36SAlp Dener 
15448d5ead36SAlp Dener   PetscFunctionBegin;
15458d5ead36SAlp Dener   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
15468d5ead36SAlp Dener   its=tao->niter;
15478d5ead36SAlp Dener   fct=tao->fc;
15488d5ead36SAlp Dener   gnorm=tao->residual;
15498d5ead36SAlp Dener   stp=tao->step;
15508d5ead36SAlp Dener   tr=tao->trust;
15518d5ead36SAlp Dener   ierr = PetscViewerASCIIGetTab(viewer, &tabs);CHKERRQ(ierr);
15528d5ead36SAlp Dener   ierr = PetscViewerASCIISetTab(viewer, ((PetscObject)tao)->tablevel);CHKERRQ(ierr);
15538d5ead36SAlp Dener   if (its == 0 && ((PetscObject)tao)->prefix) {
15548d5ead36SAlp Dener      ierr = PetscViewerASCIIPrintf(viewer,"  Iteration information for %s solve.\n",((PetscObject)tao)->prefix);CHKERRQ(ierr);
15558d5ead36SAlp Dener    }
15568d5ead36SAlp Dener   ierr=PetscViewerASCIIPrintf(viewer,"%3D TAO,",its);CHKERRQ(ierr);
15578d5ead36SAlp Dener   ierr=PetscViewerASCIIPrintf(viewer,"  Function value: %g,",(double)fct);CHKERRQ(ierr);
15588d5ead36SAlp Dener   if (gnorm >= PETSC_INFINITY) {
15598d5ead36SAlp Dener     ierr=PetscViewerASCIIPrintf(viewer,"  Residual: Inf,");CHKERRQ(ierr);
15608d5ead36SAlp Dener   } else {
15618d5ead36SAlp Dener     ierr=PetscViewerASCIIPrintf(viewer,"  Residual: %g,",(double)gnorm);CHKERRQ(ierr);
15628d5ead36SAlp Dener   }
15638d5ead36SAlp Dener   ierr = PetscViewerASCIIPrintf(viewer,"  Step: %g,  Trust: %g\n",(double)stp,(double)tr);CHKERRQ(ierr);
15648d5ead36SAlp Dener   ierr = PetscViewerASCIISetTab(viewer, tabs);CHKERRQ(ierr);
15658d5ead36SAlp Dener   PetscFunctionReturn(0);
15668d5ead36SAlp Dener }
15678d5ead36SAlp Dener 
15688d5ead36SAlp Dener /*@
1569a7e14dcfSSatish Balay    TaoDefaultSMonitor - Default routine for monitoring progress of the
157098ea980cSBarry Smith    solver. Same as TaoMonitorDefault() except
1571a7e14dcfSSatish Balay    it prints fewer digits of the residual as the residual gets smaller.
1572a7e14dcfSSatish Balay    This is because the later digits are meaningless and are often
1573a7e14dcfSSatish Balay    different on different machines; by using this routine different
1574a7e14dcfSSatish Balay    machines will usually generate the same output. It can be turned on
1575a7e14dcfSSatish Balay    by using the -tao_smonitor option
1576a7e14dcfSSatish Balay 
1577441846f8SBarry Smith    Collective on Tao
1578a7e14dcfSSatish Balay 
1579a7e14dcfSSatish Balay    Input Parameters:
1580441846f8SBarry Smith +  tao - the Tao context
15814d4332d5SBarry Smith -  ctx - PetscViewer context of type ASCII
1582a7e14dcfSSatish Balay 
1583a7e14dcfSSatish Balay    Options Database Keys:
1584a7e14dcfSSatish Balay .  -tao_smonitor
1585a7e14dcfSSatish Balay 
1586a7e14dcfSSatish Balay    Level: advanced
1587a7e14dcfSSatish Balay 
158898ea980cSBarry Smith .seealso: TaoMonitorDefault(), TaoSetMonitor()
1589a7e14dcfSSatish Balay @*/
1590441846f8SBarry Smith PetscErrorCode TaoDefaultSMonitor(Tao tao, void *ctx)
1591a7e14dcfSSatish Balay {
1592a7e14dcfSSatish Balay   PetscErrorCode ierr;
15932c9b8b83SAlp Dener   PetscInt       its, tabs;
1594a7e14dcfSSatish Balay   PetscReal      fct,gnorm;
15954d4332d5SBarry Smith   PetscViewer    viewer = (PetscViewer)ctx;
159647a47007SBarry Smith 
1597a7e14dcfSSatish Balay   PetscFunctionBegin;
15984d4332d5SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
1599a7e14dcfSSatish Balay   its=tao->niter;
1600a7e14dcfSSatish Balay   fct=tao->fc;
1601a7e14dcfSSatish Balay   gnorm=tao->residual;
16022c9b8b83SAlp Dener   ierr = PetscViewerASCIIGetTab(viewer, &tabs);CHKERRQ(ierr);
16032c9b8b83SAlp Dener   ierr = PetscViewerASCIISetTab(viewer, ((PetscObject)tao)->tablevel);CHKERRQ(ierr);
1604a7e14dcfSSatish Balay   ierr=PetscViewerASCIIPrintf(viewer,"iter = %3D,",its);CHKERRQ(ierr);
160547a47007SBarry Smith   ierr=PetscViewerASCIIPrintf(viewer," Function value %g,",(double)fct);CHKERRQ(ierr);
1606d393f493SBarry Smith   if (gnorm >= PETSC_INFINITY) {
160708d19d1fSJason Sarich     ierr=PetscViewerASCIIPrintf(viewer," Residual: Inf \n");CHKERRQ(ierr);
160808d19d1fSJason Sarich   } else if (gnorm > 1.e-6) {
160947a47007SBarry Smith     ierr=PetscViewerASCIIPrintf(viewer," Residual: %g \n",(double)gnorm);CHKERRQ(ierr);
1610a7e14dcfSSatish Balay   } else if (gnorm > 1.e-11) {
1611a7e14dcfSSatish Balay     ierr=PetscViewerASCIIPrintf(viewer," Residual: < 1.0e-6 \n");CHKERRQ(ierr);
1612a7e14dcfSSatish Balay   } else {
1613a7e14dcfSSatish Balay     ierr=PetscViewerASCIIPrintf(viewer," Residual: < 1.0e-11 \n");CHKERRQ(ierr);
1614a7e14dcfSSatish Balay   }
16152c9b8b83SAlp Dener   ierr = PetscViewerASCIISetTab(viewer, tabs);CHKERRQ(ierr);
1616a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1617a7e14dcfSSatish Balay }
1618a7e14dcfSSatish Balay 
16197fab98ebSJason Sarich /*@
162098ea980cSBarry Smith    TaoDefaultCMonitor - same as TaoMonitorDefault() except
1621a7e14dcfSSatish Balay    it prints the norm of the constraints function. It can be turned on
1622a7e14dcfSSatish Balay    from the command line using the -tao_cmonitor option
1623a7e14dcfSSatish Balay 
1624441846f8SBarry Smith    Collective on Tao
1625a7e14dcfSSatish Balay 
1626a7e14dcfSSatish Balay    Input Parameters:
1627441846f8SBarry Smith +  tao - the Tao context
162847a47007SBarry Smith -  ctx - PetscViewer context or NULL
1629a7e14dcfSSatish Balay 
1630a7e14dcfSSatish Balay    Options Database Keys:
1631a7e14dcfSSatish Balay .  -tao_cmonitor
1632a7e14dcfSSatish Balay 
1633a7e14dcfSSatish Balay    Level: advanced
1634a7e14dcfSSatish Balay 
163598ea980cSBarry Smith .seealso: TaoMonitorDefault(), TaoSetMonitor()
1636a7e14dcfSSatish Balay @*/
1637441846f8SBarry Smith PetscErrorCode TaoDefaultCMonitor(Tao tao, void *ctx)
1638a7e14dcfSSatish Balay {
1639a7e14dcfSSatish Balay   PetscErrorCode ierr;
16402c9b8b83SAlp Dener   PetscInt       its, tabs;
1641a7e14dcfSSatish Balay   PetscReal      fct,gnorm;
1642d393f493SBarry Smith   PetscViewer    viewer = (PetscViewer)ctx;
1643a7e14dcfSSatish Balay 
1644a7e14dcfSSatish Balay   PetscFunctionBegin;
1645d393f493SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
1646a7e14dcfSSatish Balay   its=tao->niter;
1647a7e14dcfSSatish Balay   fct=tao->fc;
1648a7e14dcfSSatish Balay   gnorm=tao->residual;
16492c9b8b83SAlp Dener   ierr = PetscViewerASCIIGetTab(viewer, &tabs);CHKERRQ(ierr);
16502c9b8b83SAlp Dener   ierr = PetscViewerASCIISetTab(viewer, ((PetscObject)tao)->tablevel);CHKERRQ(ierr);
1651a7e14dcfSSatish Balay   ierr=PetscViewerASCIIPrintf(viewer,"iter = %D,",its);CHKERRQ(ierr);
165247a47007SBarry Smith   ierr=PetscViewerASCIIPrintf(viewer," Function value: %g,",(double)fct);CHKERRQ(ierr);
165347a47007SBarry Smith   ierr=PetscViewerASCIIPrintf(viewer,"  Residual: %g ",(double)gnorm);CHKERRQ(ierr);
165447a47007SBarry Smith   ierr = PetscViewerASCIIPrintf(viewer,"  Constraint: %g \n",(double)tao->cnorm);CHKERRQ(ierr);
16552c9b8b83SAlp Dener   ierr = PetscViewerASCIISetTab(viewer, tabs);CHKERRQ(ierr);
1656a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1657a7e14dcfSSatish Balay }
1658a7e14dcfSSatish Balay 
1659a7e14dcfSSatish Balay /*@C
1660a7e14dcfSSatish Balay    TaoSolutionMonitor - Views the solution at each iteration
1661a7e14dcfSSatish Balay    It can be turned on from the command line using the
1662a7e14dcfSSatish Balay    -tao_view_solution option
1663a7e14dcfSSatish Balay 
1664441846f8SBarry Smith    Collective on Tao
1665a7e14dcfSSatish Balay 
1666a7e14dcfSSatish Balay    Input Parameters:
1667441846f8SBarry Smith +  tao - the Tao context
166847a47007SBarry Smith -  ctx - PetscViewer context or NULL
1669a7e14dcfSSatish Balay 
1670a7e14dcfSSatish Balay    Options Database Keys:
1671a7e14dcfSSatish Balay .  -tao_view_solution
1672a7e14dcfSSatish Balay 
1673a7e14dcfSSatish Balay    Level: advanced
1674a7e14dcfSSatish Balay 
1675a7e14dcfSSatish Balay .seealso: TaoDefaultSMonitor(), TaoSetMonitor()
1676a7e14dcfSSatish Balay @*/
1677441846f8SBarry Smith PetscErrorCode TaoSolutionMonitor(Tao tao, void *ctx)
1678a7e14dcfSSatish Balay {
1679a7e14dcfSSatish Balay   PetscErrorCode ierr;
1680d393f493SBarry Smith   PetscViewer    viewer  = (PetscViewer)ctx;;
168147a47007SBarry Smith 
1682a7e14dcfSSatish Balay   PetscFunctionBegin;
1683d393f493SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
1684a7e14dcfSSatish Balay   ierr = VecView(tao->solution, viewer);CHKERRQ(ierr);
1685a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1686a7e14dcfSSatish Balay }
1687a7e14dcfSSatish Balay 
1688a7e14dcfSSatish Balay /*@C
1689a7e14dcfSSatish Balay    TaoGradientMonitor - Views the gradient at each iteration
1690a7e14dcfSSatish Balay    It can be turned on from the command line using the
1691a7e14dcfSSatish Balay    -tao_view_gradient option
1692a7e14dcfSSatish Balay 
1693441846f8SBarry Smith    Collective on Tao
1694a7e14dcfSSatish Balay 
1695a7e14dcfSSatish Balay    Input Parameters:
1696441846f8SBarry Smith +  tao - the Tao context
169747a47007SBarry Smith -  ctx - PetscViewer context or NULL
1698a7e14dcfSSatish Balay 
1699a7e14dcfSSatish Balay    Options Database Keys:
1700a7e14dcfSSatish Balay .  -tao_view_gradient
1701a7e14dcfSSatish Balay 
1702a7e14dcfSSatish Balay    Level: advanced
1703a7e14dcfSSatish Balay 
1704a7e14dcfSSatish Balay .seealso: TaoDefaultSMonitor(), TaoSetMonitor()
1705a7e14dcfSSatish Balay @*/
1706441846f8SBarry Smith PetscErrorCode TaoGradientMonitor(Tao tao, void *ctx)
1707a7e14dcfSSatish Balay {
1708a7e14dcfSSatish Balay   PetscErrorCode ierr;
1709d393f493SBarry Smith   PetscViewer    viewer = (PetscViewer)ctx;
171047a47007SBarry Smith 
1711a7e14dcfSSatish Balay   PetscFunctionBegin;
1712d393f493SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
1713a7e14dcfSSatish Balay   ierr = VecView(tao->gradient, viewer);CHKERRQ(ierr);
1714a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1715a7e14dcfSSatish Balay }
1716a7e14dcfSSatish Balay 
1717a7e14dcfSSatish Balay /*@C
1718a7e14dcfSSatish Balay    TaoStepDirectionMonitor - Views the gradient at each iteration
1719a7e14dcfSSatish Balay    It can be turned on from the command line using the
1720a7e14dcfSSatish Balay    -tao_view_gradient option
1721a7e14dcfSSatish Balay 
1722441846f8SBarry Smith    Collective on Tao
1723a7e14dcfSSatish Balay 
1724a7e14dcfSSatish Balay    Input Parameters:
1725441846f8SBarry Smith +  tao - the Tao context
172647a47007SBarry Smith -  ctx - PetscViewer context or NULL
1727a7e14dcfSSatish Balay 
1728a7e14dcfSSatish Balay    Options Database Keys:
1729a7e14dcfSSatish Balay .  -tao_view_gradient
1730a7e14dcfSSatish Balay 
1731a7e14dcfSSatish Balay    Level: advanced
1732a7e14dcfSSatish Balay 
1733a7e14dcfSSatish Balay .seealso: TaoDefaultSMonitor(), TaoSetMonitor()
1734a7e14dcfSSatish Balay @*/
1735441846f8SBarry Smith PetscErrorCode TaoStepDirectionMonitor(Tao tao, void *ctx)
1736a7e14dcfSSatish Balay {
1737a7e14dcfSSatish Balay   PetscErrorCode ierr;
1738d393f493SBarry Smith   PetscViewer    viewer = (PetscViewer)ctx;
1739d393f493SBarry Smith 
1740a7e14dcfSSatish Balay   PetscFunctionBegin;
1741d393f493SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
1742a7e14dcfSSatish Balay   ierr = VecView(tao->stepdirection, viewer);CHKERRQ(ierr);
1743a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1744a7e14dcfSSatish Balay }
1745a7e14dcfSSatish Balay 
1746a7e14dcfSSatish Balay /*@C
1747a7e14dcfSSatish Balay    TaoDrawSolutionMonitor - Plots the solution at each iteration
1748a7e14dcfSSatish Balay    It can be turned on from the command line using the
1749a7e14dcfSSatish Balay    -tao_draw_solution option
1750a7e14dcfSSatish Balay 
1751441846f8SBarry Smith    Collective on Tao
1752a7e14dcfSSatish Balay 
1753a7e14dcfSSatish Balay    Input Parameters:
1754441846f8SBarry Smith +  tao - the Tao context
1755e882e171SHong Zhang -  ctx - TaoMonitorDraw context
1756a7e14dcfSSatish Balay 
1757a7e14dcfSSatish Balay    Options Database Keys:
1758a7e14dcfSSatish Balay .  -tao_draw_solution
1759a7e14dcfSSatish Balay 
1760a7e14dcfSSatish Balay    Level: advanced
1761a7e14dcfSSatish Balay 
1762a7e14dcfSSatish Balay .seealso: TaoSolutionMonitor(), TaoSetMonitor(), TaoDrawGradientMonitor
1763a7e14dcfSSatish Balay @*/
1764441846f8SBarry Smith PetscErrorCode TaoDrawSolutionMonitor(Tao tao, void *ctx)
1765a7e14dcfSSatish Balay {
1766a7e14dcfSSatish Balay   PetscErrorCode    ierr;
1767e882e171SHong Zhang   TaoMonitorDrawCtx ictx = (TaoMonitorDrawCtx)ctx;
176847a47007SBarry Smith 
1769a7e14dcfSSatish Balay   PetscFunctionBegin;
1770e882e171SHong Zhang   if (!(((ictx->howoften > 0) && (!(tao->niter % ictx->howoften))) || ((ictx->howoften == -1) && tao->reason))) PetscFunctionReturn(0);
1771e882e171SHong Zhang   ierr = VecView(tao->solution,ictx->viewer);CHKERRQ(ierr);
1772a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1773a7e14dcfSSatish Balay }
1774a7e14dcfSSatish Balay 
1775a7e14dcfSSatish Balay /*@C
1776a7e14dcfSSatish Balay    TaoDrawGradientMonitor - Plots the gradient at each iteration
1777a7e14dcfSSatish Balay    It can be turned on from the command line using the
1778a7e14dcfSSatish Balay    -tao_draw_gradient option
1779a7e14dcfSSatish Balay 
1780441846f8SBarry Smith    Collective on Tao
1781a7e14dcfSSatish Balay 
1782a7e14dcfSSatish Balay    Input Parameters:
1783441846f8SBarry Smith +  tao - the Tao context
1784f55353a2SBarry Smith -  ctx - PetscViewer context
1785a7e14dcfSSatish Balay 
1786a7e14dcfSSatish Balay    Options Database Keys:
1787a7e14dcfSSatish Balay .  -tao_draw_gradient
1788a7e14dcfSSatish Balay 
1789a7e14dcfSSatish Balay    Level: advanced
1790a7e14dcfSSatish Balay 
1791a7e14dcfSSatish Balay .seealso: TaoGradientMonitor(), TaoSetMonitor(), TaoDrawSolutionMonitor
1792a7e14dcfSSatish Balay @*/
1793441846f8SBarry Smith PetscErrorCode TaoDrawGradientMonitor(Tao tao, void *ctx)
1794a7e14dcfSSatish Balay {
1795a7e14dcfSSatish Balay   PetscErrorCode    ierr;
1796e882e171SHong Zhang   TaoMonitorDrawCtx ictx = (TaoMonitorDrawCtx)ctx;
179747a47007SBarry Smith 
1798a7e14dcfSSatish Balay   PetscFunctionBegin;
1799e882e171SHong Zhang   if (!(((ictx->howoften > 0) && (!(tao->niter % ictx->howoften))) || ((ictx->howoften == -1) && tao->reason))) PetscFunctionReturn(0);
1800e882e171SHong Zhang   ierr = VecView(tao->gradient,ictx->viewer);CHKERRQ(ierr);
1801a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1802a7e14dcfSSatish Balay }
1803a7e14dcfSSatish Balay 
1804a7e14dcfSSatish Balay /*@C
1805a7e14dcfSSatish Balay    TaoDrawStepMonitor - Plots the step direction at each iteration
1806a7e14dcfSSatish Balay    It can be turned on from the command line using the
1807a7e14dcfSSatish Balay    -tao_draw_step option
1808a7e14dcfSSatish Balay 
1809441846f8SBarry Smith    Collective on Tao
1810a7e14dcfSSatish Balay 
1811a7e14dcfSSatish Balay    Input Parameters:
1812441846f8SBarry Smith +  tao - the Tao context
1813f55353a2SBarry Smith -  ctx - PetscViewer context
1814a7e14dcfSSatish Balay 
1815a7e14dcfSSatish Balay    Options Database Keys:
1816a7e14dcfSSatish Balay .  -tao_draw_step
1817a7e14dcfSSatish Balay 
1818a7e14dcfSSatish Balay    Level: advanced
1819a7e14dcfSSatish Balay 
1820a7e14dcfSSatish Balay .seealso: TaoSetMonitor(), TaoDrawSolutionMonitor
1821a7e14dcfSSatish Balay @*/
1822441846f8SBarry Smith PetscErrorCode TaoDrawStepMonitor(Tao tao, void *ctx)
1823a7e14dcfSSatish Balay {
1824a7e14dcfSSatish Balay   PetscErrorCode ierr;
1825a7e14dcfSSatish Balay   PetscViewer    viewer = (PetscViewer)(ctx);
182647a47007SBarry Smith 
1827a7e14dcfSSatish Balay   PetscFunctionBegin;
1828a7e14dcfSSatish Balay   ierr = VecView(tao->stepdirection, viewer);CHKERRQ(ierr);
1829a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1830a7e14dcfSSatish Balay }
1831a7e14dcfSSatish Balay 
1832a7e14dcfSSatish Balay /*@C
1833a7e14dcfSSatish Balay    TaoSeparableObjectiveMonitor - Views the separable objective function at each iteration
1834a7e14dcfSSatish Balay    It can be turned on from the command line using the
1835a7e14dcfSSatish Balay    -tao_view_separableobjective option
1836a7e14dcfSSatish Balay 
1837441846f8SBarry Smith    Collective on Tao
1838a7e14dcfSSatish Balay 
1839a7e14dcfSSatish Balay    Input Parameters:
1840441846f8SBarry Smith +  tao - the Tao context
184147a47007SBarry Smith -  ctx - PetscViewer context or NULL
1842a7e14dcfSSatish Balay 
1843a7e14dcfSSatish Balay    Options Database Keys:
1844a7e14dcfSSatish Balay .  -tao_view_separableobjective
1845a7e14dcfSSatish Balay 
1846a7e14dcfSSatish Balay    Level: advanced
1847a7e14dcfSSatish Balay 
1848a7e14dcfSSatish Balay .seealso: TaoDefaultSMonitor(), TaoSetMonitor()
1849a7e14dcfSSatish Balay @*/
1850441846f8SBarry Smith PetscErrorCode TaoSeparableObjectiveMonitor(Tao tao, void *ctx)
1851a7e14dcfSSatish Balay {
1852a7e14dcfSSatish Balay   PetscErrorCode ierr;
1853d393f493SBarry Smith   PetscViewer    viewer  = (PetscViewer)ctx;
185447a47007SBarry Smith 
1855a7e14dcfSSatish Balay   PetscFunctionBegin;
1856d393f493SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
1857a7e14dcfSSatish Balay   ierr = VecView(tao->sep_objective,viewer);CHKERRQ(ierr);
1858a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1859a7e14dcfSSatish Balay }
1860a7e14dcfSSatish Balay 
18617fab98ebSJason Sarich /*@
1862a7e14dcfSSatish Balay    TaoDefaultConvergenceTest - Determines whether the solver should continue iterating
1863a7e14dcfSSatish Balay    or terminate.
1864a7e14dcfSSatish Balay 
1865441846f8SBarry Smith    Collective on Tao
1866a7e14dcfSSatish Balay 
1867a7e14dcfSSatish Balay    Input Parameters:
1868441846f8SBarry Smith +  tao - the Tao context
1869a7e14dcfSSatish Balay -  dummy - unused dummy context
1870a7e14dcfSSatish Balay 
1871a7e14dcfSSatish Balay    Output Parameter:
1872a7e14dcfSSatish Balay .  reason - for terminating
1873a7e14dcfSSatish Balay 
1874a7e14dcfSSatish Balay    Notes:
1875a7e14dcfSSatish Balay    This routine checks the residual in the optimality conditions, the
1876a7e14dcfSSatish Balay    relative residual in the optimity conditions, the number of function
1877a7e14dcfSSatish Balay    evaluations, and the function value to test convergence.  Some
1878a7e14dcfSSatish Balay    solvers may use different convergence routines.
1879a7e14dcfSSatish Balay 
1880a7e14dcfSSatish Balay    Level: developer
1881a7e14dcfSSatish Balay 
1882e4cb33bbSBarry Smith .seealso: TaoSetTolerances(),TaoGetConvergedReason(),TaoSetConvergedReason()
1883a7e14dcfSSatish Balay @*/
1884a7e14dcfSSatish Balay 
1885441846f8SBarry Smith PetscErrorCode TaoDefaultConvergenceTest(Tao tao,void *dummy)
1886a7e14dcfSSatish Balay {
1887a7e14dcfSSatish Balay   PetscInt           niter=tao->niter, nfuncs=PetscMax(tao->nfuncs,tao->nfuncgrads);
1888a7e14dcfSSatish Balay   PetscInt           max_funcs=tao->max_funcs;
1889a7e14dcfSSatish Balay   PetscReal          gnorm=tao->residual, gnorm0=tao->gnorm0;
1890a7e14dcfSSatish Balay   PetscReal          f=tao->fc, steptol=tao->steptol,trradius=tao->step;
1891a7e14dcfSSatish Balay   PetscReal          gatol=tao->gatol,grtol=tao->grtol,gttol=tao->gttol;
1892e52336cbSBarry Smith   PetscReal          catol=tao->catol,crtol=tao->crtol;
1893e52336cbSBarry Smith   PetscReal          fmin=tao->fmin, cnorm=tao->cnorm;
1894e4cb33bbSBarry Smith   TaoConvergedReason reason=tao->reason;
1895a7e14dcfSSatish Balay   PetscErrorCode     ierr;
1896a7e14dcfSSatish Balay 
1897a7e14dcfSSatish Balay   PetscFunctionBegin;
1898441846f8SBarry Smith   PetscValidHeaderSpecific(tao, TAO_CLASSID,1);
1899a7e14dcfSSatish Balay   if (reason != TAO_CONTINUE_ITERATING) {
1900a7e14dcfSSatish Balay     PetscFunctionReturn(0);
1901a7e14dcfSSatish Balay   }
1902a7e14dcfSSatish Balay 
1903a7e14dcfSSatish Balay   if (PetscIsInfOrNanReal(f)) {
1904a7e14dcfSSatish Balay     ierr = PetscInfo(tao,"Failed to converged, function value is Inf or NaN\n");CHKERRQ(ierr);
1905a7e14dcfSSatish Balay     reason = TAO_DIVERGED_NAN;
1906a7e14dcfSSatish Balay   } else if (f <= fmin && cnorm <=catol) {
190747a47007SBarry Smith     ierr = PetscInfo2(tao,"Converged due to function value %g < minimum function value %g\n", (double)f,(double)fmin);CHKERRQ(ierr);
1908a7e14dcfSSatish Balay     reason = TAO_CONVERGED_MINF;
1909a7e14dcfSSatish Balay   } else if (gnorm<= gatol && cnorm <=catol) {
191047a47007SBarry Smith     ierr = PetscInfo2(tao,"Converged due to residual norm ||g(X)||=%g < %g\n",(double)gnorm,(double)gatol);CHKERRQ(ierr);
1911a7e14dcfSSatish Balay     reason = TAO_CONVERGED_GATOL;
1912a7e14dcfSSatish Balay   } else if ( f!=0 && PetscAbsReal(gnorm/f) <= grtol && cnorm <= crtol) {
191347a47007SBarry Smith     ierr = PetscInfo2(tao,"Converged due to residual ||g(X)||/|f(X)| =%g < %g\n",(double)(gnorm/f),(double)grtol);CHKERRQ(ierr);
1914a7e14dcfSSatish Balay     reason = TAO_CONVERGED_GRTOL;
1915e1d16bb9SBarry Smith   } else if (gnorm0 != 0 && ((gttol == 0 && gnorm == 0) || gnorm/gnorm0 < gttol) && cnorm <= crtol) {
191647a47007SBarry Smith     ierr = PetscInfo2(tao,"Converged due to relative residual norm ||g(X)||/||g(X0)|| = %g < %g\n",(double)(gnorm/gnorm0),(double)gttol);CHKERRQ(ierr);
1917a7e14dcfSSatish Balay     reason = TAO_CONVERGED_GTTOL;
1918a7e14dcfSSatish Balay   } else if (nfuncs > max_funcs){
1919a7e14dcfSSatish Balay     ierr = PetscInfo2(tao,"Exceeded maximum number of function evaluations: %D > %D\n", nfuncs,max_funcs);CHKERRQ(ierr);
1920a7e14dcfSSatish Balay     reason = TAO_DIVERGED_MAXFCN;
1921a7e14dcfSSatish Balay   } else if ( tao->lsflag != 0 ){
1922a7e14dcfSSatish Balay     ierr = PetscInfo(tao,"Tao Line Search failure.\n");CHKERRQ(ierr);
1923a7e14dcfSSatish Balay     reason = TAO_DIVERGED_LS_FAILURE;
1924a7e14dcfSSatish Balay   } else if (trradius < steptol && niter > 0){
192547a47007SBarry Smith     ierr = PetscInfo2(tao,"Trust region/step size too small: %g < %g\n", (double)trradius,(double)steptol);CHKERRQ(ierr);
1926a7e14dcfSSatish Balay     reason = TAO_CONVERGED_STEPTOL;
1927e031d6f5SAlp Dener   } else if (niter >= tao->max_it) {
1928a7e14dcfSSatish Balay     ierr = PetscInfo2(tao,"Exceeded maximum number of iterations: %D > %D\n",niter,tao->max_it);CHKERRQ(ierr);
1929a7e14dcfSSatish Balay     reason = TAO_DIVERGED_MAXITS;
1930a7e14dcfSSatish Balay   } else {
1931a7e14dcfSSatish Balay     reason = TAO_CONTINUE_ITERATING;
1932a7e14dcfSSatish Balay   }
1933a7e14dcfSSatish Balay   tao->reason = reason;
1934a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1935a7e14dcfSSatish Balay }
1936a7e14dcfSSatish Balay 
1937a7e14dcfSSatish Balay /*@C
1938a7e14dcfSSatish Balay    TaoSetOptionsPrefix - Sets the prefix used for searching for all
1939a7e14dcfSSatish Balay    TAO options in the database.
1940a7e14dcfSSatish Balay 
1941a7e14dcfSSatish Balay 
1942441846f8SBarry Smith    Logically Collective on Tao
1943a7e14dcfSSatish Balay 
1944a7e14dcfSSatish Balay    Input Parameters:
1945441846f8SBarry Smith +  tao - the Tao context
1946a7e14dcfSSatish Balay -  prefix - the prefix string to prepend to all TAO option requests
1947a7e14dcfSSatish Balay 
1948a7e14dcfSSatish Balay    Notes:
1949a7e14dcfSSatish Balay    A hyphen (-) must NOT be given at the beginning of the prefix name.
1950a7e14dcfSSatish Balay    The first character of all runtime options is AUTOMATICALLY the hyphen.
1951a7e14dcfSSatish Balay 
1952a7e14dcfSSatish Balay    For example, to distinguish between the runtime options for two
1953a7e14dcfSSatish Balay    different TAO solvers, one could call
1954a7e14dcfSSatish Balay .vb
1955a7e14dcfSSatish Balay       TaoSetOptionsPrefix(tao1,"sys1_")
1956a7e14dcfSSatish Balay       TaoSetOptionsPrefix(tao2,"sys2_")
1957a7e14dcfSSatish Balay .ve
1958a7e14dcfSSatish Balay 
1959a7e14dcfSSatish Balay    This would enable use of different options for each system, such as
1960a7e14dcfSSatish Balay .vb
1961a7e14dcfSSatish Balay       -sys1_tao_method blmvm -sys1_tao_gtol 1.e-3
1962a7e14dcfSSatish Balay       -sys2_tao_method lmvm  -sys2_tao_gtol 1.e-4
1963a7e14dcfSSatish Balay .ve
1964a7e14dcfSSatish Balay 
1965a7e14dcfSSatish Balay 
1966a7e14dcfSSatish Balay    Level: advanced
1967a7e14dcfSSatish Balay 
1968a7e14dcfSSatish Balay .seealso: TaoAppendOptionsPrefix(), TaoGetOptionsPrefix()
1969a7e14dcfSSatish Balay @*/
1970a7e14dcfSSatish Balay 
1971441846f8SBarry Smith PetscErrorCode TaoSetOptionsPrefix(Tao tao, const char p[])
1972a7e14dcfSSatish Balay {
1973a7e14dcfSSatish Balay   PetscErrorCode ierr;
197447a47007SBarry Smith 
1975a7e14dcfSSatish Balay   PetscFunctionBegin;
1976a7e14dcfSSatish Balay   ierr = PetscObjectSetOptionsPrefix((PetscObject)tao,p);CHKERRQ(ierr);
1977a7e14dcfSSatish Balay   if (tao->linesearch) {
1978a7e14dcfSSatish Balay     ierr = TaoLineSearchSetOptionsPrefix(tao->linesearch,p);CHKERRQ(ierr);
1979a7e14dcfSSatish Balay   }
1980a7e14dcfSSatish Balay   if (tao->ksp) {
1981a7e14dcfSSatish Balay     ierr = KSPSetOptionsPrefix(tao->ksp,p);CHKERRQ(ierr);
1982a7e14dcfSSatish Balay   }
1983a7e14dcfSSatish Balay   PetscFunctionReturn(0);
1984a7e14dcfSSatish Balay }
1985a7e14dcfSSatish Balay 
1986a7e14dcfSSatish Balay /*@C
1987a7e14dcfSSatish Balay    TaoAppendOptionsPrefix - Appends to the prefix used for searching for all
1988a7e14dcfSSatish Balay    TAO options in the database.
1989a7e14dcfSSatish Balay 
1990a7e14dcfSSatish Balay 
1991441846f8SBarry Smith    Logically Collective on Tao
1992a7e14dcfSSatish Balay 
1993a7e14dcfSSatish Balay    Input Parameters:
1994441846f8SBarry Smith +  tao - the Tao solver context
1995a7e14dcfSSatish Balay -  prefix - the prefix string to prepend to all TAO option requests
1996a7e14dcfSSatish Balay 
1997a7e14dcfSSatish Balay    Notes:
1998a7e14dcfSSatish Balay    A hyphen (-) must NOT be given at the beginning of the prefix name.
1999a7e14dcfSSatish Balay    The first character of all runtime options is AUTOMATICALLY the hyphen.
2000a7e14dcfSSatish Balay 
2001a7e14dcfSSatish Balay 
2002a7e14dcfSSatish Balay    Level: advanced
2003a7e14dcfSSatish Balay 
2004a7e14dcfSSatish Balay .seealso: TaoSetOptionsPrefix(), TaoGetOptionsPrefix()
2005a7e14dcfSSatish Balay @*/
2006441846f8SBarry Smith PetscErrorCode TaoAppendOptionsPrefix(Tao tao, const char p[])
2007a7e14dcfSSatish Balay {
2008a7e14dcfSSatish Balay   PetscErrorCode ierr;
200947a47007SBarry Smith 
2010a7e14dcfSSatish Balay   PetscFunctionBegin;
2011a7e14dcfSSatish Balay   ierr = PetscObjectAppendOptionsPrefix((PetscObject)tao,p);CHKERRQ(ierr);
2012a7e14dcfSSatish Balay   if (tao->linesearch) {
2013a7e14dcfSSatish Balay     ierr = TaoLineSearchSetOptionsPrefix(tao->linesearch,p);CHKERRQ(ierr);
2014a7e14dcfSSatish Balay   }
2015a7e14dcfSSatish Balay   if (tao->ksp) {
2016a7e14dcfSSatish Balay     ierr = KSPSetOptionsPrefix(tao->ksp,p);CHKERRQ(ierr);
2017a7e14dcfSSatish Balay   }
2018a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2019a7e14dcfSSatish Balay }
2020a7e14dcfSSatish Balay 
2021a7e14dcfSSatish Balay /*@C
2022a7e14dcfSSatish Balay   TaoGetOptionsPrefix - Gets the prefix used for searching for all
2023a7e14dcfSSatish Balay   TAO options in the database
2024a7e14dcfSSatish Balay 
2025a7e14dcfSSatish Balay   Not Collective
2026a7e14dcfSSatish Balay 
2027a7e14dcfSSatish Balay   Input Parameters:
2028441846f8SBarry Smith . tao - the Tao context
2029a7e14dcfSSatish Balay 
2030a7e14dcfSSatish Balay   Output Parameters:
2031a7e14dcfSSatish Balay . prefix - pointer to the prefix string used is returned
2032a7e14dcfSSatish Balay 
203395452b02SPatrick Sanan   Notes:
203495452b02SPatrick Sanan     On the fortran side, the user should pass in a string 'prefix' of
2035a7e14dcfSSatish Balay   sufficient length to hold the prefix.
2036a7e14dcfSSatish Balay 
2037a7e14dcfSSatish Balay   Level: advanced
2038a7e14dcfSSatish Balay 
2039a7e14dcfSSatish Balay .seealso: TaoSetOptionsPrefix(), TaoAppendOptionsPrefix()
2040a7e14dcfSSatish Balay @*/
2041441846f8SBarry Smith PetscErrorCode TaoGetOptionsPrefix(Tao tao, const char *p[])
2042a7e14dcfSSatish Balay {
204347a47007SBarry Smith    return PetscObjectGetOptionsPrefix((PetscObject)tao,p);
2044a7e14dcfSSatish Balay }
2045a7e14dcfSSatish Balay 
2046a7e14dcfSSatish Balay /*@C
2047a7e14dcfSSatish Balay    TaoSetType - Sets the method for the unconstrained minimization solver.
2048a7e14dcfSSatish Balay 
2049441846f8SBarry Smith    Collective on Tao
2050a7e14dcfSSatish Balay 
2051a7e14dcfSSatish Balay    Input Parameters:
2052441846f8SBarry Smith +  solver - the Tao solver context
2053a7e14dcfSSatish Balay -  type - a known method
2054a7e14dcfSSatish Balay 
2055a7e14dcfSSatish Balay    Options Database Key:
205658417fe7SBarry Smith .  -tao_type <type> - Sets the method; use -help for a list
205758417fe7SBarry Smith    of available methods (for instance, "-tao_type lmvm" or "-tao_type tron")
2058a7e14dcfSSatish Balay 
2059a7e14dcfSSatish Balay    Available methods include:
206058417fe7SBarry Smith +    nls - Newton's method with line search for unconstrained minimization
206158417fe7SBarry Smith .    ntr - Newton's method with trust region for unconstrained minimization
206258417fe7SBarry Smith .    ntl - Newton's method with trust region, line search for unconstrained minimization
206358417fe7SBarry Smith .    lmvm - Limited memory variable metric method for unconstrained minimization
206458417fe7SBarry Smith .    cg - Nonlinear conjugate gradient method for unconstrained minimization
206558417fe7SBarry Smith .    nm - Nelder-Mead algorithm for derivate-free unconstrained minimization
206658417fe7SBarry Smith .    tron - Newton Trust Region method for bound constrained minimization
206758417fe7SBarry Smith .    gpcg - Newton Trust Region method for quadratic bound constrained minimization
206858417fe7SBarry Smith .    blmvm - Limited memory variable metric method for bound constrained minimization
20691eb8069cSJason Sarich -    pounders - Model-based algorithm pounder extended for nonlinear least squares
2070a7e14dcfSSatish Balay 
2071a7e14dcfSSatish Balay   Level: intermediate
2072a7e14dcfSSatish Balay 
20731eb8069cSJason Sarich .seealso: TaoCreate(), TaoGetType(), TaoType
2074a7e14dcfSSatish Balay 
2075a7e14dcfSSatish Balay @*/
2076b625d6c7SJed Brown PetscErrorCode TaoSetType(Tao tao, TaoType type)
2077a7e14dcfSSatish Balay {
2078a7e14dcfSSatish Balay   PetscErrorCode ierr;
2079441846f8SBarry Smith   PetscErrorCode (*create_xxx)(Tao);
2080a7e14dcfSSatish Balay   PetscBool      issame;
2081a7e14dcfSSatish Balay 
2082a7e14dcfSSatish Balay   PetscFunctionBegin;
2083441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2084a7e14dcfSSatish Balay 
2085a7e14dcfSSatish Balay   ierr = PetscObjectTypeCompare((PetscObject)tao,type,&issame);CHKERRQ(ierr);
2086a7e14dcfSSatish Balay   if (issame) PetscFunctionReturn(0);
2087a7e14dcfSSatish Balay 
2088441846f8SBarry Smith   ierr = PetscFunctionListFind(TaoList, type, (void(**)(void))&create_xxx);CHKERRQ(ierr);
2089441846f8SBarry Smith   if (!create_xxx) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_UNKNOWN_TYPE,"Unable to find requested Tao type %s",type);
2090a7e14dcfSSatish Balay 
2091a7e14dcfSSatish Balay   /* Destroy the existing solver information */
2092a7e14dcfSSatish Balay   if (tao->ops->destroy) {
2093a7e14dcfSSatish Balay     ierr = (*tao->ops->destroy)(tao);CHKERRQ(ierr);
2094a7e14dcfSSatish Balay   }
2095a7e14dcfSSatish Balay   ierr = KSPDestroy(&tao->ksp);CHKERRQ(ierr);
2096a7e14dcfSSatish Balay   ierr = TaoLineSearchDestroy(&tao->linesearch);CHKERRQ(ierr);
2097a7e14dcfSSatish Balay   ierr = VecDestroy(&tao->gradient);CHKERRQ(ierr);
2098a7e14dcfSSatish Balay   ierr = VecDestroy(&tao->stepdirection);CHKERRQ(ierr);
2099a7e14dcfSSatish Balay 
2100a7e14dcfSSatish Balay   tao->ops->setup = 0;
2101a7e14dcfSSatish Balay   tao->ops->solve = 0;
2102a7e14dcfSSatish Balay   tao->ops->view  = 0;
2103a7e14dcfSSatish Balay   tao->ops->setfromoptions = 0;
2104a7e14dcfSSatish Balay   tao->ops->destroy = 0;
2105a7e14dcfSSatish Balay 
2106a7e14dcfSSatish Balay   tao->setupcalled = PETSC_FALSE;
2107a7e14dcfSSatish Balay 
2108a7e14dcfSSatish Balay   ierr = (*create_xxx)(tao);CHKERRQ(ierr);
2109a7e14dcfSSatish Balay   ierr = PetscObjectChangeTypeName((PetscObject)tao,type);CHKERRQ(ierr);
2110a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2111a7e14dcfSSatish Balay }
211247a47007SBarry Smith 
2113a7e14dcfSSatish Balay /*MC
2114441846f8SBarry Smith    TaoRegister - Adds a method to the TAO package for unconstrained minimization.
2115a7e14dcfSSatish Balay 
2116a7e14dcfSSatish Balay    Synopsis:
2117441846f8SBarry Smith    TaoRegister(char *name_solver,char *path,char *name_Create,int (*routine_Create)(Tao))
2118a7e14dcfSSatish Balay 
2119a7e14dcfSSatish Balay    Not collective
2120a7e14dcfSSatish Balay 
2121a7e14dcfSSatish Balay    Input Parameters:
2122a7e14dcfSSatish Balay +  sname - name of a new user-defined solver
2123a7e14dcfSSatish Balay -  func - routine to Create method context
2124a7e14dcfSSatish Balay 
2125a7e14dcfSSatish Balay    Notes:
2126441846f8SBarry Smith    TaoRegister() may be called multiple times to add several user-defined solvers.
2127a7e14dcfSSatish Balay 
2128a7e14dcfSSatish Balay    Sample usage:
2129a7e14dcfSSatish Balay .vb
2130441846f8SBarry Smith    TaoRegister("my_solver",MySolverCreate);
2131a7e14dcfSSatish Balay .ve
2132a7e14dcfSSatish Balay 
2133a7e14dcfSSatish Balay    Then, your solver can be chosen with the procedural interface via
2134a7e14dcfSSatish Balay $     TaoSetType(tao,"my_solver")
2135a7e14dcfSSatish Balay    or at runtime via the option
213658417fe7SBarry Smith $     -tao_type my_solver
2137a7e14dcfSSatish Balay 
2138a7e14dcfSSatish Balay    Level: advanced
2139a7e14dcfSSatish Balay 
2140441846f8SBarry Smith .seealso: TaoRegisterAll(), TaoRegisterDestroy()
2141a7e14dcfSSatish Balay M*/
2142441846f8SBarry Smith PetscErrorCode TaoRegister(const char sname[], PetscErrorCode (*func)(Tao))
2143a7e14dcfSSatish Balay {
2144a7e14dcfSSatish Balay   PetscErrorCode ierr;
2145a7e14dcfSSatish Balay 
2146a7e14dcfSSatish Balay   PetscFunctionBegin;
2147441846f8SBarry Smith   ierr = PetscFunctionListAdd(&TaoList,sname, (void (*)(void))func);CHKERRQ(ierr);
2148a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2149a7e14dcfSSatish Balay }
2150a7e14dcfSSatish Balay 
2151a7e14dcfSSatish Balay /*@C
2152441846f8SBarry Smith    TaoRegisterDestroy - Frees the list of minimization solvers that were
2153441846f8SBarry Smith    registered by TaoRegisterDynamic().
2154a7e14dcfSSatish Balay 
2155a7e14dcfSSatish Balay    Not Collective
2156a7e14dcfSSatish Balay 
2157a7e14dcfSSatish Balay    Level: advanced
2158a7e14dcfSSatish Balay 
2159441846f8SBarry Smith .seealso: TaoRegisterAll(), TaoRegister()
2160a7e14dcfSSatish Balay @*/
2161441846f8SBarry Smith PetscErrorCode TaoRegisterDestroy(void)
2162a7e14dcfSSatish Balay {
2163a7e14dcfSSatish Balay   PetscErrorCode ierr;
2164a7e14dcfSSatish Balay   PetscFunctionBegin;
2165441846f8SBarry Smith   ierr = PetscFunctionListDestroy(&TaoList);CHKERRQ(ierr);
2166441846f8SBarry Smith   TaoRegisterAllCalled = PETSC_FALSE;
2167a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2168a7e14dcfSSatish Balay }
216947a47007SBarry Smith 
21708931d482SJason Sarich /*@
21718931d482SJason Sarich    TaoGetIterationNumber - Gets the number of Tao iterations completed
21728931d482SJason Sarich    at this time.
21738931d482SJason Sarich 
21748931d482SJason Sarich    Not Collective
21758931d482SJason Sarich 
21768931d482SJason Sarich    Input Parameter:
21778931d482SJason Sarich .  tao - Tao context
21788931d482SJason Sarich 
21798931d482SJason Sarich    Output Parameter:
21808931d482SJason Sarich .  iter - iteration number
21818931d482SJason Sarich 
21828931d482SJason Sarich    Notes:
21838931d482SJason Sarich    For example, during the computation of iteration 2 this would return 1.
21848931d482SJason Sarich 
21858931d482SJason Sarich 
21868931d482SJason Sarich    Level: intermediate
21878931d482SJason Sarich 
21888931d482SJason Sarich .keywords: Tao, nonlinear, get, iteration, number,
21898931d482SJason Sarich 
219079f5d8caSBarry Smith .seealso:   TaoGetLinearSolveIterations(), TaoGetResidualNorm(), TaoGetObjective()
21918931d482SJason Sarich @*/
21928931d482SJason Sarich PetscErrorCode  TaoGetIterationNumber(Tao tao,PetscInt *iter)
21938931d482SJason Sarich {
21948931d482SJason Sarich   PetscFunctionBegin;
21958931d482SJason Sarich   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
21968931d482SJason Sarich   PetscValidIntPointer(iter,2);
21978931d482SJason Sarich   *iter = tao->niter;
21988931d482SJason Sarich   PetscFunctionReturn(0);
21998931d482SJason Sarich }
22008931d482SJason Sarich 
22018931d482SJason Sarich /*@
220279f5d8caSBarry Smith    TaoGetObjective - Gets the current value of the objective function
220379f5d8caSBarry Smith    at this time.
220479f5d8caSBarry Smith 
220579f5d8caSBarry Smith    Not Collective
220679f5d8caSBarry Smith 
220779f5d8caSBarry Smith    Input Parameter:
220879f5d8caSBarry Smith .  tao - Tao context
220979f5d8caSBarry Smith 
221079f5d8caSBarry Smith    Output Parameter:
221179f5d8caSBarry Smith .  value - the current value
221279f5d8caSBarry Smith 
221379f5d8caSBarry Smith    Level: intermediate
221479f5d8caSBarry Smith 
221579f5d8caSBarry Smith .keywords: Tao, nonlinear, get, iteration, number,
221679f5d8caSBarry Smith 
221779f5d8caSBarry Smith .seealso:   TaoGetLinearSolveIterations(), TaoGetIterationNumber(), TaoGetResidualNorm()
221879f5d8caSBarry Smith @*/
221979f5d8caSBarry Smith PetscErrorCode  TaoGetObjective(Tao tao,PetscReal *value)
222079f5d8caSBarry Smith {
222179f5d8caSBarry Smith   PetscFunctionBegin;
222279f5d8caSBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
222379f5d8caSBarry Smith   PetscValidRealPointer(value,2);
222479f5d8caSBarry Smith   *value = tao->fc;
222579f5d8caSBarry Smith   PetscFunctionReturn(0);
222679f5d8caSBarry Smith }
222779f5d8caSBarry Smith 
222879f5d8caSBarry Smith /*@
222979f5d8caSBarry Smith    TaoGetResidualNorm - Gets the current value of the norm of the residual
223079f5d8caSBarry Smith    at this time.
223179f5d8caSBarry Smith 
223279f5d8caSBarry Smith    Not Collective
223379f5d8caSBarry Smith 
223479f5d8caSBarry Smith    Input Parameter:
223579f5d8caSBarry Smith .  tao - Tao context
223679f5d8caSBarry Smith 
223779f5d8caSBarry Smith    Output Parameter:
223879f5d8caSBarry Smith .  value - the current value
223979f5d8caSBarry Smith 
224079f5d8caSBarry Smith    Level: intermediate
224179f5d8caSBarry Smith 
224279f5d8caSBarry Smith    Developer Note: This is the 2-norm of the residual, we cannot use TaoGetGradientNorm() because that has
224379f5d8caSBarry Smith                    a different meaning. For some reason Tao sometimes calls the gradient the residual.
224479f5d8caSBarry Smith 
224579f5d8caSBarry Smith .keywords: Tao, nonlinear, get, iteration, number,
224679f5d8caSBarry Smith 
224779f5d8caSBarry Smith .seealso:   TaoGetLinearSolveIterations(), TaoGetIterationNumber(), TaoGetObjective()
224879f5d8caSBarry Smith @*/
224979f5d8caSBarry Smith PetscErrorCode  TaoGetResidualNorm(Tao tao,PetscReal *value)
225079f5d8caSBarry Smith {
225179f5d8caSBarry Smith   PetscFunctionBegin;
225279f5d8caSBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
225379f5d8caSBarry Smith   PetscValidRealPointer(value,2);
225479f5d8caSBarry Smith   *value = tao->residual;
225579f5d8caSBarry Smith   PetscFunctionReturn(0);
225679f5d8caSBarry Smith }
225779f5d8caSBarry Smith 
225879f5d8caSBarry Smith /*@
22598931d482SJason Sarich    TaoSetIterationNumber - Sets the current iteration number.
22608931d482SJason Sarich 
22618931d482SJason Sarich    Not Collective
22628931d482SJason Sarich 
22638931d482SJason Sarich    Input Parameter:
22648931d482SJason Sarich .  tao - Tao context
22658931d482SJason Sarich .  iter - iteration number
22668931d482SJason Sarich 
22678931d482SJason Sarich    Level: developer
22688931d482SJason Sarich 
22698931d482SJason Sarich .keywords: Tao, nonlinear, set, iteration, number,
22708931d482SJason Sarich 
22718931d482SJason Sarich .seealso:   TaoGetLinearSolveIterations()
22728931d482SJason Sarich @*/
22738931d482SJason Sarich PetscErrorCode  TaoSetIterationNumber(Tao tao,PetscInt iter)
22748931d482SJason Sarich {
22758931d482SJason Sarich   PetscErrorCode ierr;
22768931d482SJason Sarich 
22778931d482SJason Sarich   PetscFunctionBegin;
22788931d482SJason Sarich   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
22798931d482SJason Sarich   ierr       = PetscObjectSAWsTakeAccess((PetscObject)tao);CHKERRQ(ierr);
22808931d482SJason Sarich   tao->niter = iter;
22818931d482SJason Sarich   ierr       = PetscObjectSAWsGrantAccess((PetscObject)tao);CHKERRQ(ierr);
22828931d482SJason Sarich   PetscFunctionReturn(0);
22838931d482SJason Sarich }
22848931d482SJason Sarich 
22858931d482SJason Sarich /*@
22868931d482SJason Sarich    TaoGetTotalIterationNumber - Gets the total number of Tao iterations
22878931d482SJason Sarich    completed. This number keeps accumulating if multiple solves
22888931d482SJason Sarich    are called with the Tao object.
22898931d482SJason Sarich 
22908931d482SJason Sarich    Not Collective
22918931d482SJason Sarich 
22928931d482SJason Sarich    Input Parameter:
22938931d482SJason Sarich .  tao - Tao context
22948931d482SJason Sarich 
22958931d482SJason Sarich    Output Parameter:
22968931d482SJason Sarich .  iter - iteration number
22978931d482SJason Sarich 
22988931d482SJason Sarich    Notes:
22998931d482SJason Sarich    The total iteration count is updated after each solve, if there is a current
23008931d482SJason Sarich    TaoSolve() in progress then those iterations are not yet counted.
23018931d482SJason Sarich 
23028931d482SJason Sarich    Level: intermediate
23038931d482SJason Sarich 
23048931d482SJason Sarich .keywords: Tao, nonlinear, get, iteration, number,
23058931d482SJason Sarich 
23068931d482SJason Sarich .seealso:   TaoGetLinearSolveIterations()
23078931d482SJason Sarich @*/
23088931d482SJason Sarich PetscErrorCode  TaoGetTotalIterationNumber(Tao tao,PetscInt *iter)
23098931d482SJason Sarich {
23108931d482SJason Sarich   PetscFunctionBegin;
23118931d482SJason Sarich   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
23128931d482SJason Sarich   PetscValidIntPointer(iter,2);
23138931d482SJason Sarich   *iter = tao->ntotalits;
23148931d482SJason Sarich   PetscFunctionReturn(0);
23158931d482SJason Sarich }
23168931d482SJason Sarich 
23178931d482SJason Sarich /*@
23188931d482SJason Sarich    TaoSetTotalIterationNumber - Sets the current total iteration number.
23198931d482SJason Sarich 
23208931d482SJason Sarich    Not Collective
23218931d482SJason Sarich 
23228931d482SJason Sarich    Input Parameter:
23238931d482SJason Sarich .  tao - Tao context
23248931d482SJason Sarich .  iter - iteration number
23258931d482SJason Sarich 
23268931d482SJason Sarich    Level: developer
23278931d482SJason Sarich 
23288931d482SJason Sarich .keywords: Tao, nonlinear, set, iteration, number,
23298931d482SJason Sarich 
23308931d482SJason Sarich .seealso:   TaoGetLinearSolveIterations()
23318931d482SJason Sarich @*/
23328931d482SJason Sarich PetscErrorCode  TaoSetTotalIterationNumber(Tao tao,PetscInt iter)
23338931d482SJason Sarich {
23348931d482SJason Sarich   PetscErrorCode ierr;
23358931d482SJason Sarich 
23368931d482SJason Sarich   PetscFunctionBegin;
23378931d482SJason Sarich   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
23388931d482SJason Sarich   ierr       = PetscObjectSAWsTakeAccess((PetscObject)tao);CHKERRQ(ierr);
23398931d482SJason Sarich   tao->ntotalits = iter;
23408931d482SJason Sarich   ierr       = PetscObjectSAWsGrantAccess((PetscObject)tao);CHKERRQ(ierr);
23418931d482SJason Sarich   PetscFunctionReturn(0);
23428931d482SJason Sarich }
23438931d482SJason Sarich 
2344a7e14dcfSSatish Balay /*@
2345e4cb33bbSBarry Smith   TaoSetConvergedReason - Sets the termination flag on a Tao object
2346a7e14dcfSSatish Balay 
2347441846f8SBarry Smith   Logically Collective on Tao
2348a7e14dcfSSatish Balay 
2349a7e14dcfSSatish Balay   Input Parameters:
2350441846f8SBarry Smith + tao - the Tao context
2351a7e14dcfSSatish Balay - reason - one of
2352a7e14dcfSSatish Balay $     TAO_CONVERGED_ATOL (2),
2353a7e14dcfSSatish Balay $     TAO_CONVERGED_RTOL (3),
2354a7e14dcfSSatish Balay $     TAO_CONVERGED_STEPTOL (4),
2355a7e14dcfSSatish Balay $     TAO_CONVERGED_MINF (5),
2356a7e14dcfSSatish Balay $     TAO_CONVERGED_USER (6),
2357a7e14dcfSSatish Balay $     TAO_DIVERGED_MAXITS (-2),
2358a7e14dcfSSatish Balay $     TAO_DIVERGED_NAN (-4),
2359a7e14dcfSSatish Balay $     TAO_DIVERGED_MAXFCN (-5),
2360a7e14dcfSSatish Balay $     TAO_DIVERGED_LS_FAILURE (-6),
2361a7e14dcfSSatish Balay $     TAO_DIVERGED_TR_REDUCTION (-7),
2362a7e14dcfSSatish Balay $     TAO_DIVERGED_USER (-8),
2363a7e14dcfSSatish Balay $     TAO_CONTINUE_ITERATING (0)
2364a7e14dcfSSatish Balay 
2365a7e14dcfSSatish Balay    Level: intermediate
2366a7e14dcfSSatish Balay 
2367a7e14dcfSSatish Balay @*/
2368e4cb33bbSBarry Smith PetscErrorCode TaoSetConvergedReason(Tao tao, TaoConvergedReason reason)
2369a7e14dcfSSatish Balay {
2370441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2371a7e14dcfSSatish Balay   PetscFunctionBegin;
2372a7e14dcfSSatish Balay   tao->reason = reason;
2373a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2374a7e14dcfSSatish Balay }
2375a7e14dcfSSatish Balay 
2376a7e14dcfSSatish Balay /*@
2377e4cb33bbSBarry Smith    TaoGetConvergedReason - Gets the reason the Tao iteration was stopped.
2378a7e14dcfSSatish Balay 
2379a7e14dcfSSatish Balay    Not Collective
2380a7e14dcfSSatish Balay 
2381a7e14dcfSSatish Balay    Input Parameter:
2382441846f8SBarry Smith .  tao - the Tao solver context
2383a7e14dcfSSatish Balay 
2384a7e14dcfSSatish Balay    Output Parameter:
2385a7e14dcfSSatish Balay .  reason - one of
2386a7e14dcfSSatish Balay $  TAO_CONVERGED_GATOL (3)           ||g(X)|| < gatol
2387a7e14dcfSSatish Balay $  TAO_CONVERGED_GRTOL (4)           ||g(X)|| / f(X)  < grtol
2388a7e14dcfSSatish Balay $  TAO_CONVERGED_GTTOL (5)           ||g(X)|| / ||g(X0)|| < gttol
2389a7e14dcfSSatish Balay $  TAO_CONVERGED_STEPTOL (6)         step size small
2390a7e14dcfSSatish Balay $  TAO_CONVERGED_MINF (7)            F < F_min
2391a7e14dcfSSatish Balay $  TAO_CONVERGED_USER (8)            User defined
2392a7e14dcfSSatish Balay $  TAO_DIVERGED_MAXITS (-2)          its > maxits
2393a7e14dcfSSatish Balay $  TAO_DIVERGED_NAN (-4)             Numerical problems
2394a7e14dcfSSatish Balay $  TAO_DIVERGED_MAXFCN (-5)          fevals > max_funcsals
2395a7e14dcfSSatish Balay $  TAO_DIVERGED_LS_FAILURE (-6)      line search failure
2396a7e14dcfSSatish Balay $  TAO_DIVERGED_TR_REDUCTION (-7)    trust region failure
2397a7e14dcfSSatish Balay $  TAO_DIVERGED_USER(-8)             (user defined)
2398a7e14dcfSSatish Balay  $  TAO_CONTINUE_ITERATING (0)
2399a7e14dcfSSatish Balay 
2400a7e14dcfSSatish Balay    where
2401a7e14dcfSSatish Balay +  X - current solution
2402a7e14dcfSSatish Balay .  X0 - initial guess
2403a7e14dcfSSatish Balay .  f(X) - current function value
2404a7e14dcfSSatish Balay .  f(X*) - true solution (estimated)
2405a7e14dcfSSatish Balay .  g(X) - current gradient
2406a7e14dcfSSatish Balay .  its - current iterate number
2407a7e14dcfSSatish Balay .  maxits - maximum number of iterates
2408a7e14dcfSSatish Balay .  fevals - number of function evaluations
2409a7e14dcfSSatish Balay -  max_funcsals - maximum number of function evaluations
2410a7e14dcfSSatish Balay 
2411a7e14dcfSSatish Balay    Level: intermediate
2412a7e14dcfSSatish Balay 
2413a7e14dcfSSatish Balay .seealso: TaoSetConvergenceTest(), TaoSetTolerances()
2414a7e14dcfSSatish Balay 
2415a7e14dcfSSatish Balay @*/
2416e4cb33bbSBarry Smith PetscErrorCode TaoGetConvergedReason(Tao tao, TaoConvergedReason *reason)
2417a7e14dcfSSatish Balay {
2418a7e14dcfSSatish Balay   PetscFunctionBegin;
2419441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2420a7e14dcfSSatish Balay   PetscValidPointer(reason,2);
2421a7e14dcfSSatish Balay   *reason = tao->reason;
2422a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2423a7e14dcfSSatish Balay }
2424a7e14dcfSSatish Balay 
2425a7e14dcfSSatish Balay /*@
2426a7e14dcfSSatish Balay   TaoGetSolutionStatus - Get the current iterate, objective value,
2427a7e14dcfSSatish Balay   residual, infeasibility, and termination
2428a7e14dcfSSatish Balay 
2429a7e14dcfSSatish Balay   Not Collective
2430a7e14dcfSSatish Balay 
2431a7e14dcfSSatish Balay    Input Parameters:
2432441846f8SBarry Smith .  tao - the Tao context
2433a7e14dcfSSatish Balay 
2434a7e14dcfSSatish Balay    Output Parameters:
2435a7e14dcfSSatish Balay +  iterate - the current iterate number (>=0)
2436a7e14dcfSSatish Balay .  f - the current function value
243758417fe7SBarry Smith .  gnorm - the square of the gradient norm, duality gap, or other measure indicating distance from optimality.
2438a7e14dcfSSatish Balay .  cnorm - the infeasibility of the current solution with regard to the constraints.
2439a7e14dcfSSatish Balay .  xdiff - the step length or trust region radius of the most recent iterate.
2440a7e14dcfSSatish Balay -  reason - The termination reason, which can equal TAO_CONTINUE_ITERATING
2441a7e14dcfSSatish Balay 
2442a7e14dcfSSatish Balay    Level: intermediate
2443a7e14dcfSSatish Balay 
2444a7e14dcfSSatish Balay    Note:
2445a7e14dcfSSatish Balay    TAO returns the values set by the solvers in the routine TaoMonitor().
2446a7e14dcfSSatish Balay 
2447a7e14dcfSSatish Balay    Note:
244847a47007SBarry Smith    If any of the output arguments are set to NULL, no corresponding value will be returned.
2449a7e14dcfSSatish Balay 
2450e4cb33bbSBarry Smith .seealso: TaoMonitor(), TaoGetConvergedReason()
2451a7e14dcfSSatish Balay @*/
2452e4cb33bbSBarry Smith PetscErrorCode TaoGetSolutionStatus(Tao tao, PetscInt *its, PetscReal *f, PetscReal *gnorm, PetscReal *cnorm, PetscReal *xdiff, TaoConvergedReason *reason)
2453a7e14dcfSSatish Balay {
2454a7e14dcfSSatish Balay   PetscFunctionBegin;
2455a7e14dcfSSatish Balay   if (its) *its=tao->niter;
2456a7e14dcfSSatish Balay   if (f) *f=tao->fc;
2457a7e14dcfSSatish Balay   if (gnorm) *gnorm=tao->residual;
2458a7e14dcfSSatish Balay   if (cnorm) *cnorm=tao->cnorm;
2459a7e14dcfSSatish Balay   if (reason) *reason=tao->reason;
2460a7e14dcfSSatish Balay   if (xdiff) *xdiff=tao->step;
2461a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2462a7e14dcfSSatish Balay }
2463a7e14dcfSSatish Balay 
2464a7e14dcfSSatish Balay /*@C
2465441846f8SBarry Smith    TaoGetType - Gets the current Tao algorithm.
2466a7e14dcfSSatish Balay 
2467a7e14dcfSSatish Balay    Not Collective
2468a7e14dcfSSatish Balay 
2469a7e14dcfSSatish Balay    Input Parameter:
2470441846f8SBarry Smith .  tao - the Tao solver context
2471a7e14dcfSSatish Balay 
2472a7e14dcfSSatish Balay    Output Parameter:
2473441846f8SBarry Smith .  type - Tao method
2474a7e14dcfSSatish Balay 
2475a7e14dcfSSatish Balay    Level: intermediate
2476a7e14dcfSSatish Balay 
2477a7e14dcfSSatish Balay @*/
2478b625d6c7SJed Brown PetscErrorCode TaoGetType(Tao tao,TaoType *type)
2479a7e14dcfSSatish Balay {
2480a7e14dcfSSatish Balay   PetscFunctionBegin;
2481441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2482a7e14dcfSSatish Balay   PetscValidPointer(type,2);
2483a7e14dcfSSatish Balay   *type=((PetscObject)tao)->type_name;
2484a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2485a7e14dcfSSatish Balay }
2486a7e14dcfSSatish Balay 
2487a7e14dcfSSatish Balay /*@C
2488a7e14dcfSSatish Balay   TaoMonitor - Monitor the solver and the current solution.  This
2489a7e14dcfSSatish Balay   routine will record the iteration number and residual statistics,
2490a7e14dcfSSatish Balay   call any monitors specified by the user, and calls the convergence-check routine.
2491a7e14dcfSSatish Balay 
2492a7e14dcfSSatish Balay    Input Parameters:
2493441846f8SBarry Smith +  tao - the Tao context
2494a7e14dcfSSatish Balay .  its - the current iterate number (>=0)
2495a7e14dcfSSatish Balay .  f - the current objective function value
249658417fe7SBarry Smith .  res - the gradient norm, square root of the duality gap, or other measure indicating distince from optimality.  This measure will be recorded and
2497a7e14dcfSSatish Balay           used for some termination tests.
2498a7e14dcfSSatish Balay .  cnorm - the infeasibility of the current solution with regard to the constraints.
2499a7e14dcfSSatish Balay -  steplength - multiple of the step direction added to the previous iterate.
2500a7e14dcfSSatish Balay 
2501a7e14dcfSSatish Balay    Output Parameters:
2502a7e14dcfSSatish Balay .  reason - The termination reason, which can equal TAO_CONTINUE_ITERATING
2503a7e14dcfSSatish Balay 
2504a7e14dcfSSatish Balay    Options Database Key:
2505a7e14dcfSSatish Balay .  -tao_monitor - Use the default monitor, which prints statistics to standard output
2506a7e14dcfSSatish Balay 
250798ea980cSBarry Smith .seealso TaoGetConvergedReason(), TaoMonitorDefault(), TaoSetMonitor()
2508a7e14dcfSSatish Balay 
2509a7e14dcfSSatish Balay    Level: developer
2510a7e14dcfSSatish Balay 
2511a7e14dcfSSatish Balay @*/
25123ecd9318SAlp Dener PetscErrorCode TaoMonitor(Tao tao, PetscInt its, PetscReal f, PetscReal res, PetscReal cnorm, PetscReal steplength)
2513a7e14dcfSSatish Balay {
2514a7e14dcfSSatish Balay   PetscErrorCode ierr;
251547a47007SBarry Smith   PetscInt       i;
251647a47007SBarry Smith 
2517a7e14dcfSSatish Balay   PetscFunctionBegin;
2518441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2519a7e14dcfSSatish Balay   tao->fc = f;
2520a7e14dcfSSatish Balay   tao->residual = res;
2521a7e14dcfSSatish Balay   tao->cnorm = cnorm;
2522a7e14dcfSSatish Balay   tao->step = steplength;
2523e52336cbSBarry Smith   if (!its) {
2524a7e14dcfSSatish Balay     tao->cnorm0 = cnorm; tao->gnorm0 = res;
2525a7e14dcfSSatish Balay   }
252647a47007SBarry Smith   if (PetscIsInfOrNanReal(f) || PetscIsInfOrNanReal(res)) SETERRQ(PETSC_COMM_SELF,1, "User provided compute function generated Inf or NaN");
2527a7e14dcfSSatish Balay   for (i=0;i<tao->numbermonitors;i++) {
2528a7e14dcfSSatish Balay     ierr = (*tao->monitor[i])(tao,tao->monitorcontext[i]);CHKERRQ(ierr);
2529a7e14dcfSSatish Balay   }
2530a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2531a7e14dcfSSatish Balay }
2532a7e14dcfSSatish Balay 
2533a7e14dcfSSatish Balay /*@
2534ae93cb3cSJason Sarich    TaoSetConvergenceHistory - Sets the array used to hold the convergence history.
2535a7e14dcfSSatish Balay 
2536441846f8SBarry Smith    Logically Collective on Tao
2537a7e14dcfSSatish Balay 
2538a7e14dcfSSatish Balay    Input Parameters:
2539441846f8SBarry Smith +  tao - the Tao solver context
2540a7e14dcfSSatish Balay .  obj   - array to hold objective value history
2541a7e14dcfSSatish Balay .  resid - array to hold residual history
2542a7e14dcfSSatish Balay .  cnorm - array to hold constraint violation history
2543be1558d8SJason Sarich .  lits - integer array holds the number of linear iterations for each Tao iteration
2544a7e14dcfSSatish Balay .  na  - size of obj, resid, and cnorm
2545a7e14dcfSSatish Balay -  reset - PetscTrue indicates each new minimization resets the history counter to zero,
2546a7e14dcfSSatish Balay            else it continues storing new values for new minimizations after the old ones
2547a7e14dcfSSatish Balay 
2548a7e14dcfSSatish Balay    Notes:
2549a7e14dcfSSatish Balay    If set, TAO will fill the given arrays with the indicated
2550ae93cb3cSJason Sarich    information at each iteration.  If 'obj','resid','cnorm','lits' are
2551ae93cb3cSJason Sarich    *all* NULL then space (using size na, or 1000 if na is PETSC_DECIDE or
2552ae93cb3cSJason Sarich    PETSC_DEFAULT) is allocated for the history.
2553be1558d8SJason Sarich    If not all are NULL, then only the non-NULL information categories
2554ae93cb3cSJason Sarich    will be stored, the others will be ignored.
2555ae93cb3cSJason Sarich 
2556ae93cb3cSJason Sarich    Any convergence information after iteration number 'na' will not be stored.
2557a7e14dcfSSatish Balay 
2558a7e14dcfSSatish Balay    This routine is useful, e.g., when running a code for purposes
2559a7e14dcfSSatish Balay    of accurate performance monitoring, when no I/O should be done
2560a7e14dcfSSatish Balay    during the section of code that is being timed.
2561a7e14dcfSSatish Balay 
2562a7e14dcfSSatish Balay    Level: intermediate
2563a7e14dcfSSatish Balay 
2564ae93cb3cSJason Sarich .seealso: TaoGetConvergenceHistory()
2565a7e14dcfSSatish Balay 
2566a7e14dcfSSatish Balay @*/
25671b266c99SBarry Smith PetscErrorCode TaoSetConvergenceHistory(Tao tao, PetscReal obj[], PetscReal resid[], PetscReal cnorm[], PetscInt lits[], PetscInt na,PetscBool reset)
2568a7e14dcfSSatish Balay {
2569ae93cb3cSJason Sarich   PetscErrorCode ierr;
2570ae93cb3cSJason Sarich 
2571a7e14dcfSSatish Balay   PetscFunctionBegin;
2572441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2573ae93cb3cSJason Sarich   if (obj) PetscValidScalarPointer(obj,2);
2574ae93cb3cSJason Sarich   if (resid) PetscValidScalarPointer(resid,3);
2575ae93cb3cSJason Sarich   if (cnorm) PetscValidScalarPointer(cnorm,4);
2576ae93cb3cSJason Sarich   if (lits) PetscValidIntPointer(lits,5);
2577ae93cb3cSJason Sarich 
2578ae93cb3cSJason Sarich   if (na == PETSC_DECIDE || na == PETSC_DEFAULT) na = 1000;
2579ae93cb3cSJason Sarich   if (!obj && !resid && !cnorm && !lits) {
2580ae93cb3cSJason Sarich     ierr = PetscCalloc1(na,&obj);CHKERRQ(ierr);
2581ae93cb3cSJason Sarich     ierr = PetscCalloc1(na,&resid);CHKERRQ(ierr);
2582ae93cb3cSJason Sarich     ierr = PetscCalloc1(na,&cnorm);CHKERRQ(ierr);
2583ae93cb3cSJason Sarich     ierr = PetscCalloc1(na,&lits);CHKERRQ(ierr);
2584ae93cb3cSJason Sarich     tao->hist_malloc=PETSC_TRUE;
2585ae93cb3cSJason Sarich   }
2586ae93cb3cSJason Sarich 
2587a7e14dcfSSatish Balay   tao->hist_obj = obj;
2588a7e14dcfSSatish Balay   tao->hist_resid = resid;
2589a7e14dcfSSatish Balay   tao->hist_cnorm = cnorm;
2590ae93cb3cSJason Sarich   tao->hist_lits = lits;
2591a7e14dcfSSatish Balay   tao->hist_max   = na;
2592a7e14dcfSSatish Balay   tao->hist_reset = reset;
2593ae93cb3cSJason Sarich   tao->hist_len = 0;
2594a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2595a7e14dcfSSatish Balay }
2596a7e14dcfSSatish Balay 
2597a7e14dcfSSatish Balay /*@C
2598ae93cb3cSJason Sarich    TaoGetConvergenceHistory - Gets the arrays used to hold the convergence history.
2599a7e14dcfSSatish Balay 
2600441846f8SBarry Smith    Collective on Tao
2601a7e14dcfSSatish Balay 
2602a7e14dcfSSatish Balay    Input Parameter:
2603441846f8SBarry Smith .  tao - the Tao context
2604a7e14dcfSSatish Balay 
2605a7e14dcfSSatish Balay    Output Parameters:
2606a7e14dcfSSatish Balay +  obj   - array used to hold objective value history
2607a7e14dcfSSatish Balay .  resid - array used to hold residual history
2608a7e14dcfSSatish Balay .  cnorm - array used to hold constraint violation history
2609ae93cb3cSJason Sarich .  lits  - integer array used to hold linear solver iteration count
2610ae93cb3cSJason Sarich -  nhist  - size of obj, resid, cnorm, and lits (will be less than or equal to na given in TaoSetHistory)
2611a7e14dcfSSatish Balay 
2612a7e14dcfSSatish Balay    Notes:
2613ae93cb3cSJason Sarich     This routine must be preceded by calls to TaoSetConvergenceHistory()
2614ae93cb3cSJason Sarich     and TaoSolve(), otherwise it returns useless information.
2615ae93cb3cSJason Sarich 
2616a7e14dcfSSatish Balay     The calling sequence for this routine in Fortran is
2617ae93cb3cSJason Sarich $   call TaoGetConvergenceHistory(Tao tao, PetscInt nhist, PetscErrorCode ierr)
2618a7e14dcfSSatish Balay 
2619a7e14dcfSSatish Balay    This routine is useful, e.g., when running a code for purposes
2620a7e14dcfSSatish Balay    of accurate performance monitoring, when no I/O should be done
2621a7e14dcfSSatish Balay    during the section of code that is being timed.
2622a7e14dcfSSatish Balay 
2623a7e14dcfSSatish Balay    Level: advanced
2624a7e14dcfSSatish Balay 
2625ae93cb3cSJason Sarich .seealso: TaoSetConvergenceHistory()
2626a7e14dcfSSatish Balay 
2627a7e14dcfSSatish Balay @*/
2628ae93cb3cSJason Sarich PetscErrorCode TaoGetConvergenceHistory(Tao tao, PetscReal **obj, PetscReal **resid, PetscReal **cnorm, PetscInt **lits, PetscInt *nhist)
2629a7e14dcfSSatish Balay {
2630a7e14dcfSSatish Balay   PetscFunctionBegin;
2631441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2632a7e14dcfSSatish Balay   if (obj)   *obj   = tao->hist_obj;
2633a7e14dcfSSatish Balay   if (cnorm) *cnorm = tao->hist_cnorm;
2634a7e14dcfSSatish Balay   if (resid) *resid = tao->hist_resid;
2635a7e14dcfSSatish Balay   if (nhist) *nhist   = tao->hist_len;
2636a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2637a7e14dcfSSatish Balay }
2638a7e14dcfSSatish Balay 
2639a7e14dcfSSatish Balay /*@
2640a7e14dcfSSatish Balay    TaoSetApplicationContext - Sets the optional user-defined context for
2641a7e14dcfSSatish Balay    a solver.
2642a7e14dcfSSatish Balay 
2643441846f8SBarry Smith    Logically Collective on Tao
2644a7e14dcfSSatish Balay 
2645a7e14dcfSSatish Balay    Input Parameters:
2646441846f8SBarry Smith +  tao  - the Tao context
2647a7e14dcfSSatish Balay -  usrP - optional user context
2648a7e14dcfSSatish Balay 
2649a7e14dcfSSatish Balay    Level: intermediate
2650a7e14dcfSSatish Balay 
2651a7e14dcfSSatish Balay .seealso: TaoGetApplicationContext(), TaoSetApplicationContext()
2652a7e14dcfSSatish Balay @*/
2653441846f8SBarry Smith PetscErrorCode  TaoSetApplicationContext(Tao tao,void *usrP)
2654a7e14dcfSSatish Balay {
2655a7e14dcfSSatish Balay   PetscFunctionBegin;
2656441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2657a7e14dcfSSatish Balay   tao->user = usrP;
2658a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2659a7e14dcfSSatish Balay }
2660a7e14dcfSSatish Balay 
2661a7e14dcfSSatish Balay /*@
2662a7e14dcfSSatish Balay    TaoGetApplicationContext - Gets the user-defined context for a
2663a7e14dcfSSatish Balay    TAO solvers.
2664a7e14dcfSSatish Balay 
2665a7e14dcfSSatish Balay    Not Collective
2666a7e14dcfSSatish Balay 
2667a7e14dcfSSatish Balay    Input Parameter:
2668441846f8SBarry Smith .  tao  - Tao context
2669a7e14dcfSSatish Balay 
2670a7e14dcfSSatish Balay    Output Parameter:
2671a7e14dcfSSatish Balay .  usrP - user context
2672a7e14dcfSSatish Balay 
2673a7e14dcfSSatish Balay    Level: intermediate
2674a7e14dcfSSatish Balay 
2675a7e14dcfSSatish Balay .seealso: TaoSetApplicationContext()
2676a7e14dcfSSatish Balay @*/
2677441846f8SBarry Smith PetscErrorCode  TaoGetApplicationContext(Tao tao,void *usrP)
2678a7e14dcfSSatish Balay {
2679a7e14dcfSSatish Balay   PetscFunctionBegin;
2680441846f8SBarry Smith   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2681a7e14dcfSSatish Balay   *(void**)usrP = tao->user;
2682a7e14dcfSSatish Balay   PetscFunctionReturn(0);
2683a7e14dcfSSatish Balay }
2684a9603a14SPatrick Farrell 
2685a9603a14SPatrick Farrell /*@
2686a9603a14SPatrick Farrell    TaoSetGradientNorm - Sets the matrix used to define the inner product that measures the size of the gradient.
2687a9603a14SPatrick Farrell 
2688a9603a14SPatrick Farrell    Collective on tao
2689a9603a14SPatrick Farrell 
2690a9603a14SPatrick Farrell    Input Parameters:
2691a9603a14SPatrick Farrell +  tao  - the Tao context
2692a9603a14SPatrick Farrell -  M    - gradient norm
2693a9603a14SPatrick Farrell 
2694a9603a14SPatrick Farrell    Level: beginner
2695a9603a14SPatrick Farrell 
2696a9603a14SPatrick Farrell .seealso: TaoGetGradientNorm(), TaoGradientNorm()
2697a9603a14SPatrick Farrell @*/
2698a9603a14SPatrick Farrell PetscErrorCode  TaoSetGradientNorm(Tao tao, Mat M)
2699a9603a14SPatrick Farrell {
2700a9603a14SPatrick Farrell   PetscErrorCode ierr;
2701a9603a14SPatrick Farrell 
2702a9603a14SPatrick Farrell   PetscFunctionBegin;
2703a9603a14SPatrick Farrell   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2704a9603a14SPatrick Farrell 
2705a9603a14SPatrick Farrell   if (tao->gradient_norm) {
2706a9603a14SPatrick Farrell     ierr = PetscObjectDereference((PetscObject)tao->gradient_norm);CHKERRQ(ierr);
2707a9603a14SPatrick Farrell     ierr = VecDestroy(&tao->gradient_norm_tmp);CHKERRQ(ierr);
2708a9603a14SPatrick Farrell   }
2709a9603a14SPatrick Farrell 
2710a9603a14SPatrick Farrell   ierr = PetscObjectReference((PetscObject)M);CHKERRQ(ierr);
2711a9603a14SPatrick Farrell   tao->gradient_norm = M;
2712a9603a14SPatrick Farrell   ierr = MatCreateVecs(M, NULL, &tao->gradient_norm_tmp);CHKERRQ(ierr);
2713a9603a14SPatrick Farrell   PetscFunctionReturn(0);
2714a9603a14SPatrick Farrell }
2715a9603a14SPatrick Farrell 
2716a9603a14SPatrick Farrell /*@
2717a9603a14SPatrick Farrell    TaoGetGradientNorm - Returns the matrix used to define the inner product for measuring the size of the gradient.
2718a9603a14SPatrick Farrell 
2719a9603a14SPatrick Farrell    Not Collective
2720a9603a14SPatrick Farrell 
2721a9603a14SPatrick Farrell    Input Parameter:
2722a9603a14SPatrick Farrell .  tao  - Tao context
2723a9603a14SPatrick Farrell 
2724a9603a14SPatrick Farrell    Output Parameter:
2725a9603a14SPatrick Farrell .  M - gradient norm
2726a9603a14SPatrick Farrell 
2727a9603a14SPatrick Farrell    Level: beginner
2728a9603a14SPatrick Farrell 
2729a9603a14SPatrick Farrell .seealso: TaoSetGradientNorm(), TaoGradientNorm()
2730a9603a14SPatrick Farrell @*/
2731a9603a14SPatrick Farrell PetscErrorCode  TaoGetGradientNorm(Tao tao, Mat *M)
2732a9603a14SPatrick Farrell {
2733a9603a14SPatrick Farrell   PetscFunctionBegin;
2734a9603a14SPatrick Farrell   PetscValidHeaderSpecific(tao,TAO_CLASSID,1);
2735a9603a14SPatrick Farrell   *M = tao->gradient_norm;
2736a9603a14SPatrick Farrell   PetscFunctionReturn(0);
2737a9603a14SPatrick Farrell }
2738a9603a14SPatrick Farrell 
2739a9603a14SPatrick Farrell /*c
2740a9603a14SPatrick Farrell    TaoGradientNorm - Compute the norm with respect to the inner product the user has set.
2741a9603a14SPatrick Farrell 
2742a9603a14SPatrick Farrell    Collective on tao
2743a9603a14SPatrick Farrell 
2744a9603a14SPatrick Farrell    Input Parameter:
2745a9603a14SPatrick Farrell .  tao      - the Tao context
2746a9603a14SPatrick Farrell .  gradient - the gradient to be computed
2747a9603a14SPatrick Farrell .  norm     - the norm type
2748a9603a14SPatrick Farrell 
2749a9603a14SPatrick Farrell    Output Parameter:
2750a9603a14SPatrick Farrell .  gnorm    - the gradient norm
2751a9603a14SPatrick Farrell 
2752a9603a14SPatrick Farrell    Level: developer
2753a9603a14SPatrick Farrell 
2754a9603a14SPatrick Farrell .seealso: TaoSetGradientNorm(), TaoGetGradientNorm()
2755a9603a14SPatrick Farrell @*/
2756a9603a14SPatrick Farrell PetscErrorCode  TaoGradientNorm(Tao tao, Vec gradient, NormType type, PetscReal *gnorm)
2757a9603a14SPatrick Farrell {
2758a9603a14SPatrick Farrell   PetscErrorCode ierr;
2759a9603a14SPatrick Farrell 
2760a9603a14SPatrick Farrell   PetscFunctionBegin;
2761a9603a14SPatrick Farrell   PetscValidHeaderSpecific(gradient,VEC_CLASSID,1);
2762a9603a14SPatrick Farrell 
2763a9603a14SPatrick Farrell   if (tao->gradient_norm) {
2764680e2bc7SPatrick Farrell     PetscScalar gnorms;
2765680e2bc7SPatrick Farrell 
2766a9603a14SPatrick Farrell     if (type != NORM_2) SETERRQ(PetscObjectComm((PetscObject)gradient), PETSC_ERR_ARG_WRONGSTATE, "Norm type must be NORM_2 if an inner product for the gradient norm is set.");
2767a9603a14SPatrick Farrell     ierr = MatMult(tao->gradient_norm, gradient, tao->gradient_norm_tmp);CHKERRQ(ierr);
2768680e2bc7SPatrick Farrell     ierr = VecDot(gradient, tao->gradient_norm_tmp, &gnorms);CHKERRQ(ierr);
27697bb79937SPatrick Farrell     *gnorm = PetscRealPart(PetscSqrtScalar(gnorms));
2770a9603a14SPatrick Farrell   } else {
2771a9603a14SPatrick Farrell     ierr = VecNorm(gradient, type, gnorm);CHKERRQ(ierr);
2772a9603a14SPatrick Farrell   }
2773a9603a14SPatrick Farrell   PetscFunctionReturn(0);
2774a9603a14SPatrick Farrell }
2775a9603a14SPatrick Farrell 
2776e882e171SHong Zhang /*@C
2777e882e171SHong Zhang    TaoMonitorDrawCtxCreate - Creates the monitor context for TaoMonitorDrawCtx
2778a9603a14SPatrick Farrell 
2779e882e171SHong Zhang    Collective on Tao
2780e882e171SHong Zhang 
2781e882e171SHong Zhang    Output Patameter:
2782e882e171SHong Zhang .    ctx - the monitor context
2783e882e171SHong Zhang 
2784e882e171SHong Zhang    Options Database:
2785e882e171SHong Zhang .   -tao_draw_solution_initial - show initial guess as well as current solution
2786e882e171SHong Zhang 
2787e882e171SHong Zhang    Level: intermediate
2788e882e171SHong Zhang 
2789e882e171SHong Zhang .keywords: Tao,  vector, monitor, view
2790e882e171SHong Zhang 
2791e882e171SHong Zhang .seealso: TaoMonitorSet(), TaoMonitorDefault(), VecView(), TaoMonitorDrawCtx()
2792e882e171SHong Zhang @*/
2793e882e171SHong Zhang PetscErrorCode  TaoMonitorDrawCtxCreate(MPI_Comm comm,const char host[],const char label[],int x,int y,int m,int n,PetscInt howoften,TaoMonitorDrawCtx *ctx)
2794e882e171SHong Zhang {
2795e882e171SHong Zhang   PetscErrorCode   ierr;
2796e882e171SHong Zhang 
2797e882e171SHong Zhang   PetscFunctionBegin;
2798e882e171SHong Zhang   ierr = PetscNew(ctx);CHKERRQ(ierr);
2799e882e171SHong Zhang   ierr = PetscViewerDrawOpen(comm,host,label,x,y,m,n,&(*ctx)->viewer);CHKERRQ(ierr);
2800e882e171SHong Zhang   ierr = PetscViewerSetFromOptions((*ctx)->viewer);CHKERRQ(ierr);
2801e882e171SHong Zhang   (*ctx)->howoften = howoften;
2802e882e171SHong Zhang   PetscFunctionReturn(0);
2803e882e171SHong Zhang }
2804e882e171SHong Zhang 
2805e882e171SHong Zhang /*@C
2806e882e171SHong Zhang    TaoMonitorDrawCtxDestroy - Destroys the monitor context for TaoMonitorDrawSolution()
2807e882e171SHong Zhang 
2808e882e171SHong Zhang    Collective on Tao
2809e882e171SHong Zhang 
2810e882e171SHong Zhang    Input Parameters:
2811e882e171SHong Zhang .    ctx - the monitor context
2812e882e171SHong Zhang 
2813e882e171SHong Zhang    Level: intermediate
2814e882e171SHong Zhang 
2815e882e171SHong Zhang .keywords: Tao,  vector, monitor, view
2816e882e171SHong Zhang 
2817e882e171SHong Zhang .seealso: TaoMonitorSet(), TaoMonitorDefault(), VecView(), TaoMonitorDrawSolution()
2818e882e171SHong Zhang @*/
2819e882e171SHong Zhang PetscErrorCode  TaoMonitorDrawCtxDestroy(TaoMonitorDrawCtx *ictx)
2820e882e171SHong Zhang {
2821e882e171SHong Zhang   PetscErrorCode ierr;
2822e882e171SHong Zhang 
2823e882e171SHong Zhang   PetscFunctionBegin;
2824e882e171SHong Zhang   ierr = PetscViewerDestroy(&(*ictx)->viewer);CHKERRQ(ierr);
2825e882e171SHong Zhang   ierr = PetscFree(*ictx);CHKERRQ(ierr);
2826e882e171SHong Zhang   PetscFunctionReturn(0);
2827e882e171SHong Zhang }
2828