xref: /petsc/src/ts/interface/ts.c (revision 67581c7e0da8400b469e2f106cb2c59176ed3845)
163dd3a1aSKris Buschelman 
2c6db04a5SJed Brown #include <private/tsimpl.h>        /*I "petscts.h"  I*/
3d763cef2SBarry Smith 
4d5ba7fb7SMatthew Knepley /* Logging support */
57087cfbeSBarry Smith PetscClassId  TS_CLASSID;
6166c7f25SBarry Smith PetscLogEvent  TS_Step, TS_PseudoComputeTimeStep, TS_FunctionEval, TS_JacobianEval;
7d405a339SMatthew Knepley 
84a2ae208SSatish Balay #undef __FUNCT__
9bdad233fSMatthew Knepley #define __FUNCT__ "TSSetTypeFromOptions"
10bdad233fSMatthew Knepley /*
11bdad233fSMatthew Knepley   TSSetTypeFromOptions - Sets the type of ts from user options.
12bdad233fSMatthew Knepley 
13bdad233fSMatthew Knepley   Collective on TS
14bdad233fSMatthew Knepley 
15bdad233fSMatthew Knepley   Input Parameter:
16bdad233fSMatthew Knepley . ts - The ts
17bdad233fSMatthew Knepley 
18bdad233fSMatthew Knepley   Level: intermediate
19bdad233fSMatthew Knepley 
20bdad233fSMatthew Knepley .keywords: TS, set, options, database, type
21bdad233fSMatthew Knepley .seealso: TSSetFromOptions(), TSSetType()
22bdad233fSMatthew Knepley */
236849ba73SBarry Smith static PetscErrorCode TSSetTypeFromOptions(TS ts)
24bdad233fSMatthew Knepley {
25ace3abfcSBarry Smith   PetscBool      opt;
262fc52814SBarry Smith   const char     *defaultType;
27bdad233fSMatthew Knepley   char           typeName[256];
28dfbe8321SBarry Smith   PetscErrorCode ierr;
29bdad233fSMatthew Knepley 
30bdad233fSMatthew Knepley   PetscFunctionBegin;
317adad957SLisandro Dalcin   if (((PetscObject)ts)->type_name) {
327adad957SLisandro Dalcin     defaultType = ((PetscObject)ts)->type_name;
33bdad233fSMatthew Knepley   } else {
349596e0b4SJed Brown     defaultType = TSEULER;
35bdad233fSMatthew Knepley   }
36bdad233fSMatthew Knepley 
37cce0b1b2SLisandro Dalcin   if (!TSRegisterAllCalled) {ierr = TSRegisterAll(PETSC_NULL);CHKERRQ(ierr);}
38bdad233fSMatthew Knepley   ierr = PetscOptionsList("-ts_type", "TS method"," TSSetType", TSList, defaultType, typeName, 256, &opt);CHKERRQ(ierr);
39a7cc72afSBarry Smith   if (opt) {
40bdad233fSMatthew Knepley     ierr = TSSetType(ts, typeName);CHKERRQ(ierr);
41bdad233fSMatthew Knepley   } else {
42bdad233fSMatthew Knepley     ierr = TSSetType(ts, defaultType);CHKERRQ(ierr);
43bdad233fSMatthew Knepley   }
44bdad233fSMatthew Knepley   PetscFunctionReturn(0);
45bdad233fSMatthew Knepley }
46bdad233fSMatthew Knepley 
47bdad233fSMatthew Knepley #undef __FUNCT__
48bdad233fSMatthew Knepley #define __FUNCT__ "TSSetFromOptions"
49bdad233fSMatthew Knepley /*@
50bdad233fSMatthew Knepley    TSSetFromOptions - Sets various TS parameters from user options.
51bdad233fSMatthew Knepley 
52bdad233fSMatthew Knepley    Collective on TS
53bdad233fSMatthew Knepley 
54bdad233fSMatthew Knepley    Input Parameter:
55bdad233fSMatthew Knepley .  ts - the TS context obtained from TSCreate()
56bdad233fSMatthew Knepley 
57bdad233fSMatthew Knepley    Options Database Keys:
584d91e141SJed Brown +  -ts_type <type> - TSEULER, TSBEULER, TSSUNDIALS, TSPSEUDO, TSCN, TSRK, TSTHETA, TSGL, TSSSP
59bdad233fSMatthew Knepley .  -ts_max_steps maxsteps - maximum number of time-steps to take
60bdad233fSMatthew Knepley .  -ts_max_time time - maximum time to compute to
61bdad233fSMatthew Knepley .  -ts_dt dt - initial time step
62bdad233fSMatthew Knepley .  -ts_monitor - print information at each timestep
63a6570f20SBarry Smith -  -ts_monitor_draw - plot information at each timestep
64bdad233fSMatthew Knepley 
65bdad233fSMatthew Knepley    Level: beginner
66bdad233fSMatthew Knepley 
67bdad233fSMatthew Knepley .keywords: TS, timestep, set, options, database
68bdad233fSMatthew Knepley 
69a313700dSBarry Smith .seealso: TSGetType()
70bdad233fSMatthew Knepley @*/
717087cfbeSBarry Smith PetscErrorCode  TSSetFromOptions(TS ts)
72bdad233fSMatthew Knepley {
73bdad233fSMatthew Knepley   PetscReal      dt;
74ace3abfcSBarry Smith   PetscBool      opt,flg;
75dfbe8321SBarry Smith   PetscErrorCode ierr;
76649052a6SBarry Smith   PetscViewer    monviewer;
77eabae89aSBarry Smith   char           monfilename[PETSC_MAX_PATH_LEN];
78089b2837SJed Brown   SNES           snes;
79bdad233fSMatthew Knepley 
80bdad233fSMatthew Knepley   PetscFunctionBegin;
810700a824SBarry Smith   PetscValidHeaderSpecific(ts, TS_CLASSID,1);
827adad957SLisandro Dalcin   ierr = PetscOptionsBegin(((PetscObject)ts)->comm, ((PetscObject)ts)->prefix, "Time step options", "TS");CHKERRQ(ierr);
83a43b19c4SJed Brown     /* Handle TS type options */
84a43b19c4SJed Brown     ierr = TSSetTypeFromOptions(ts);CHKERRQ(ierr);
85bdad233fSMatthew Knepley 
86bdad233fSMatthew Knepley     /* Handle generic TS options */
87bdad233fSMatthew Knepley     ierr = PetscOptionsInt("-ts_max_steps","Maximum number of time steps","TSSetDuration",ts->max_steps,&ts->max_steps,PETSC_NULL);CHKERRQ(ierr);
88bdad233fSMatthew Knepley     ierr = PetscOptionsReal("-ts_max_time","Time to run to","TSSetDuration",ts->max_time,&ts->max_time,PETSC_NULL);CHKERRQ(ierr);
89bdad233fSMatthew Knepley     ierr = PetscOptionsReal("-ts_init_time","Initial time","TSSetInitialTime", ts->ptime, &ts->ptime, PETSC_NULL);CHKERRQ(ierr);
90bdad233fSMatthew Knepley     ierr = PetscOptionsReal("-ts_dt","Initial time step","TSSetInitialTimeStep",ts->initial_time_step,&dt,&opt);CHKERRQ(ierr);
913daf2de8SJed Brown     if (opt) {ierr = TSSetInitialTimeStep(ts,ts->ptime,dt);CHKERRQ(ierr);}
92a43b19c4SJed Brown     opt = ts->exact_final_time == PETSC_DECIDE ? PETSC_FALSE : (PetscBool)ts->exact_final_time;
93a43b19c4SJed Brown     ierr = PetscOptionsBool("-ts_exact_final_time","Interpolate output to stop exactly at the final time","TSSetExactFinalTime",opt,&opt,&flg);CHKERRQ(ierr);
94461e00b3SSean Farley     if (flg) {ierr = TSSetExactFinalTime(ts,opt);CHKERRQ(ierr);}
95193ac0bcSJed Brown     ierr = PetscOptionsInt("-ts_max_snes_failures","Maximum number of nonlinear solve failures","",ts->max_snes_failures,&ts->max_snes_failures,PETSC_NULL);CHKERRQ(ierr);
96193ac0bcSJed Brown     ierr = PetscOptionsInt("-ts_max_reject","Maximum number of step rejections","",ts->max_reject,&ts->max_reject,PETSC_NULL);CHKERRQ(ierr);
97193ac0bcSJed Brown     ierr = PetscOptionsBool("-ts_error_if_step_failed","Error if no step succeeds","",ts->errorifstepfailed,&ts->errorifstepfailed,PETSC_NULL);CHKERRQ(ierr);
98bdad233fSMatthew Knepley 
99bdad233fSMatthew Knepley     /* Monitor options */
100a6570f20SBarry Smith     ierr = PetscOptionsString("-ts_monitor","Monitor timestep size","TSMonitorDefault","stdout",monfilename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
101eabae89aSBarry Smith     if (flg) {
102649052a6SBarry Smith       ierr = PetscViewerASCIIOpen(((PetscObject)ts)->comm,monfilename,&monviewer);CHKERRQ(ierr);
103649052a6SBarry Smith       ierr = TSMonitorSet(ts,TSMonitorDefault,monviewer,(PetscErrorCode (*)(void**))PetscViewerDestroy);CHKERRQ(ierr);
104bdad233fSMatthew Knepley     }
1055180491cSLisandro Dalcin     ierr = PetscOptionsString("-ts_monitor_python","Use Python function","TSMonitorSet",0,monfilename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
1065180491cSLisandro Dalcin     if (flg) {ierr = PetscPythonMonitorSet((PetscObject)ts,monfilename);CHKERRQ(ierr);}
1075180491cSLisandro Dalcin 
10890d69ab7SBarry Smith     opt  = PETSC_FALSE;
109acfcf0e5SJed Brown     ierr = PetscOptionsBool("-ts_monitor_draw","Monitor timestep size graphically","TSMonitorLG",opt,&opt,PETSC_NULL);CHKERRQ(ierr);
110a7cc72afSBarry Smith     if (opt) {
111a6570f20SBarry Smith       ierr = TSMonitorSet(ts,TSMonitorLG,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
112bdad233fSMatthew Knepley     }
11390d69ab7SBarry Smith     opt  = PETSC_FALSE;
114acfcf0e5SJed Brown     ierr = PetscOptionsBool("-ts_monitor_solution","Monitor solution graphically","TSMonitorSolution",opt,&opt,PETSC_NULL);CHKERRQ(ierr);
115a7cc72afSBarry Smith     if (opt) {
116a6570f20SBarry Smith       ierr = TSMonitorSet(ts,TSMonitorSolution,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
117bdad233fSMatthew Knepley     }
118bdad233fSMatthew Knepley 
119d52bd9f3SBarry Smith     ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
120d52bd9f3SBarry Smith     if (ts->problem_type == TS_LINEAR) {ierr = SNESSetType(snes,SNESKSPONLY);CHKERRQ(ierr);}
121*67581c7eSSean Farley     ierr = SNESSetFromOptions(snes);CHKERRQ(ierr);
122d52bd9f3SBarry Smith 
123bdad233fSMatthew Knepley     /* Handle specific TS options */
124abc0a331SBarry Smith     if (ts->ops->setfromoptions) {
125bdad233fSMatthew Knepley       ierr = (*ts->ops->setfromoptions)(ts);CHKERRQ(ierr);
126bdad233fSMatthew Knepley     }
1275d973c19SBarry Smith 
1285d973c19SBarry Smith     /* process any options handlers added with PetscObjectAddOptionsHandler() */
1295d973c19SBarry Smith     ierr = PetscObjectProcessOptionsHandlers((PetscObject)ts);CHKERRQ(ierr);
130bdad233fSMatthew Knepley   ierr = PetscOptionsEnd();CHKERRQ(ierr);
131bdad233fSMatthew Knepley   PetscFunctionReturn(0);
132bdad233fSMatthew Knepley }
133bdad233fSMatthew Knepley 
134bdad233fSMatthew Knepley #undef __FUNCT__
135cdcf91faSSean Farley #undef __FUNCT__
1364a2ae208SSatish Balay #define __FUNCT__ "TSComputeRHSJacobian"
137a7a1495cSBarry Smith /*@
1388c385f81SBarry Smith    TSComputeRHSJacobian - Computes the Jacobian matrix that has been
139a7a1495cSBarry Smith       set with TSSetRHSJacobian().
140a7a1495cSBarry Smith 
141a7a1495cSBarry Smith    Collective on TS and Vec
142a7a1495cSBarry Smith 
143a7a1495cSBarry Smith    Input Parameters:
144316643e7SJed Brown +  ts - the TS context
145a7a1495cSBarry Smith .  t - current timestep
146a7a1495cSBarry Smith -  x - input vector
147a7a1495cSBarry Smith 
148a7a1495cSBarry Smith    Output Parameters:
149a7a1495cSBarry Smith +  A - Jacobian matrix
150a7a1495cSBarry Smith .  B - optional preconditioning matrix
151a7a1495cSBarry Smith -  flag - flag indicating matrix structure
152a7a1495cSBarry Smith 
153a7a1495cSBarry Smith    Notes:
154a7a1495cSBarry Smith    Most users should not need to explicitly call this routine, as it
155a7a1495cSBarry Smith    is used internally within the nonlinear solvers.
156a7a1495cSBarry Smith 
15794b7f48cSBarry Smith    See KSPSetOperators() for important information about setting the
158a7a1495cSBarry Smith    flag parameter.
159a7a1495cSBarry Smith 
160a7a1495cSBarry Smith    Level: developer
161a7a1495cSBarry Smith 
162a7a1495cSBarry Smith .keywords: SNES, compute, Jacobian, matrix
163a7a1495cSBarry Smith 
16494b7f48cSBarry Smith .seealso:  TSSetRHSJacobian(), KSPSetOperators()
165a7a1495cSBarry Smith @*/
1667087cfbeSBarry Smith PetscErrorCode  TSComputeRHSJacobian(TS ts,PetscReal t,Vec X,Mat *A,Mat *B,MatStructure *flg)
167a7a1495cSBarry Smith {
168dfbe8321SBarry Smith   PetscErrorCode ierr;
1690e4ef248SJed Brown   PetscInt Xstate;
170a7a1495cSBarry Smith 
171a7a1495cSBarry Smith   PetscFunctionBegin;
1720700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
1730700a824SBarry Smith   PetscValidHeaderSpecific(X,VEC_CLASSID,3);
174c9780b6fSBarry Smith   PetscCheckSameComm(ts,1,X,3);
1750e4ef248SJed Brown   ierr = PetscObjectStateQuery((PetscObject)X,&Xstate);CHKERRQ(ierr);
1760e4ef248SJed Brown   if (ts->rhsjacobian.time == t && (ts->problem_type == TS_LINEAR || (ts->rhsjacobian.X == X && ts->rhsjacobian.Xstate == Xstate))) {
1770e4ef248SJed Brown     *flg = ts->rhsjacobian.mstructure;
1780e4ef248SJed Brown     PetscFunctionReturn(0);
179f8ede8e7SJed Brown   }
180d90be118SSean Farley 
1813b5f76d0SSean Farley   if (!ts->userops->rhsjacobian && !ts->userops->ijacobian) SETERRQ(((PetscObject)ts)->comm,PETSC_ERR_USER,"Must call TSSetRHSJacobian() and / or TSSetIJacobian()");
182d90be118SSean Farley 
1833b5f76d0SSean Farley   if (ts->userops->rhsjacobian) {
184d5ba7fb7SMatthew Knepley     ierr = PetscLogEventBegin(TS_JacobianEval,ts,X,*A,*B);CHKERRQ(ierr);
185a7a1495cSBarry Smith     *flg = DIFFERENT_NONZERO_PATTERN;
186a7a1495cSBarry Smith     PetscStackPush("TS user Jacobian function");
1873b5f76d0SSean Farley     ierr = (*ts->userops->rhsjacobian)(ts,t,X,A,B,flg,ts->jacP);CHKERRQ(ierr);
188a7a1495cSBarry Smith     PetscStackPop;
189d5ba7fb7SMatthew Knepley     ierr = PetscLogEventEnd(TS_JacobianEval,ts,X,*A,*B);CHKERRQ(ierr);
190a7a1495cSBarry Smith     /* make sure user returned a correct Jacobian and preconditioner */
1910700a824SBarry Smith     PetscValidHeaderSpecific(*A,MAT_CLASSID,4);
1920700a824SBarry Smith     PetscValidHeaderSpecific(*B,MAT_CLASSID,5);
193ef66eb69SBarry Smith   } else {
194214bc6a2SJed Brown     ierr = MatZeroEntries(*A);CHKERRQ(ierr);
195214bc6a2SJed Brown     if (*A != *B) {ierr = MatZeroEntries(*B);CHKERRQ(ierr);}
196214bc6a2SJed Brown     *flg = SAME_NONZERO_PATTERN;
197ef66eb69SBarry Smith   }
1980e4ef248SJed Brown   ts->rhsjacobian.time = t;
1990e4ef248SJed Brown   ts->rhsjacobian.X = X;
2000e4ef248SJed Brown   ierr = PetscObjectStateQuery((PetscObject)X,&ts->rhsjacobian.Xstate);CHKERRQ(ierr);
2010e4ef248SJed Brown   ts->rhsjacobian.mstructure = *flg;
202a7a1495cSBarry Smith   PetscFunctionReturn(0);
203a7a1495cSBarry Smith }
204a7a1495cSBarry Smith 
2054a2ae208SSatish Balay #undef __FUNCT__
2064a2ae208SSatish Balay #define __FUNCT__ "TSComputeRHSFunction"
207316643e7SJed Brown /*@
208d763cef2SBarry Smith    TSComputeRHSFunction - Evaluates the right-hand-side function.
209d763cef2SBarry Smith 
210316643e7SJed Brown    Collective on TS and Vec
211316643e7SJed Brown 
212316643e7SJed Brown    Input Parameters:
213316643e7SJed Brown +  ts - the TS context
214316643e7SJed Brown .  t - current time
215316643e7SJed Brown -  x - state vector
216316643e7SJed Brown 
217316643e7SJed Brown    Output Parameter:
218316643e7SJed Brown .  y - right hand side
219316643e7SJed Brown 
220316643e7SJed Brown    Note:
221316643e7SJed Brown    Most users should not need to explicitly call this routine, as it
222316643e7SJed Brown    is used internally within the nonlinear solvers.
223316643e7SJed Brown 
224316643e7SJed Brown    Level: developer
225316643e7SJed Brown 
226316643e7SJed Brown .keywords: TS, compute
227316643e7SJed Brown 
228316643e7SJed Brown .seealso: TSSetRHSFunction(), TSComputeIFunction()
229316643e7SJed Brown @*/
230dfbe8321SBarry Smith PetscErrorCode TSComputeRHSFunction(TS ts,PetscReal t,Vec x,Vec y)
231d763cef2SBarry Smith {
232dfbe8321SBarry Smith   PetscErrorCode ierr;
233d763cef2SBarry Smith 
234d763cef2SBarry Smith   PetscFunctionBegin;
2350700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
2360700a824SBarry Smith   PetscValidHeaderSpecific(x,VEC_CLASSID,3);
2370700a824SBarry Smith   PetscValidHeaderSpecific(y,VEC_CLASSID,4);
238d763cef2SBarry Smith 
2393b5f76d0SSean Farley   if (!ts->userops->rhsfunction && !ts->userops->ifunction) SETERRQ(((PetscObject)ts)->comm,PETSC_ERR_USER,"Must call TSSetRHSFunction() and / or TSSetIFunction()");
240d763cef2SBarry Smith 
241d5ba7fb7SMatthew Knepley   ierr = PetscLogEventBegin(TS_FunctionEval,ts,x,y,0);CHKERRQ(ierr);
2423b5f76d0SSean Farley   if (ts->userops->rhsfunction) {
243d763cef2SBarry Smith     PetscStackPush("TS user right-hand-side function");
2443b5f76d0SSean Farley     ierr = (*ts->userops->rhsfunction)(ts,t,x,y,ts->funP);CHKERRQ(ierr);
245d763cef2SBarry Smith     PetscStackPop;
246214bc6a2SJed Brown   } else {
247214bc6a2SJed Brown     ierr = VecZeroEntries(y);CHKERRQ(ierr);
248b2cd27e8SJed Brown   }
24944a41b28SSean Farley 
250d5ba7fb7SMatthew Knepley   ierr = PetscLogEventEnd(TS_FunctionEval,ts,x,y,0);CHKERRQ(ierr);
251d763cef2SBarry Smith   PetscFunctionReturn(0);
252d763cef2SBarry Smith }
253d763cef2SBarry Smith 
2544a2ae208SSatish Balay #undef __FUNCT__
255214bc6a2SJed Brown #define __FUNCT__ "TSGetRHSVec_Private"
256214bc6a2SJed Brown static PetscErrorCode TSGetRHSVec_Private(TS ts,Vec *Frhs)
257214bc6a2SJed Brown {
2582dd45cf8SJed Brown   Vec            F;
259214bc6a2SJed Brown   PetscErrorCode ierr;
260214bc6a2SJed Brown 
261214bc6a2SJed Brown   PetscFunctionBegin;
2620da9a4f0SJed Brown   *Frhs = PETSC_NULL;
2632dd45cf8SJed Brown   ierr = TSGetIFunction(ts,&F,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
264214bc6a2SJed Brown   if (!ts->Frhs) {
2652dd45cf8SJed Brown     ierr = VecDuplicate(F,&ts->Frhs);CHKERRQ(ierr);
266214bc6a2SJed Brown   }
267214bc6a2SJed Brown   *Frhs = ts->Frhs;
268214bc6a2SJed Brown   PetscFunctionReturn(0);
269214bc6a2SJed Brown }
270214bc6a2SJed Brown 
271214bc6a2SJed Brown #undef __FUNCT__
272214bc6a2SJed Brown #define __FUNCT__ "TSGetRHSMats_Private"
273214bc6a2SJed Brown static PetscErrorCode TSGetRHSMats_Private(TS ts,Mat *Arhs,Mat *Brhs)
274214bc6a2SJed Brown {
275214bc6a2SJed Brown   Mat            A,B;
2762dd45cf8SJed Brown   PetscErrorCode ierr;
277214bc6a2SJed Brown 
278214bc6a2SJed Brown   PetscFunctionBegin;
279214bc6a2SJed Brown   ierr = TSGetIJacobian(ts,&A,&B,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
280214bc6a2SJed Brown   if (Arhs) {
281214bc6a2SJed Brown     if (!ts->Arhs) {
282214bc6a2SJed Brown       ierr = MatDuplicate(A,MAT_DO_NOT_COPY_VALUES,&ts->Arhs);CHKERRQ(ierr);
283214bc6a2SJed Brown     }
284214bc6a2SJed Brown     *Arhs = ts->Arhs;
285214bc6a2SJed Brown   }
286214bc6a2SJed Brown   if (Brhs) {
287214bc6a2SJed Brown     if (!ts->Brhs) {
288214bc6a2SJed Brown       ierr = MatDuplicate(B,MAT_DO_NOT_COPY_VALUES,&ts->Brhs);CHKERRQ(ierr);
289214bc6a2SJed Brown     }
290214bc6a2SJed Brown     *Brhs = ts->Brhs;
291214bc6a2SJed Brown   }
292214bc6a2SJed Brown   PetscFunctionReturn(0);
293214bc6a2SJed Brown }
294214bc6a2SJed Brown 
295214bc6a2SJed Brown #undef __FUNCT__
296316643e7SJed Brown #define __FUNCT__ "TSComputeIFunction"
297316643e7SJed Brown /*@
298316643e7SJed Brown    TSComputeIFunction - Evaluates the DAE residual written in implicit form F(t,X,Xdot)=0
299316643e7SJed Brown 
300316643e7SJed Brown    Collective on TS and Vec
301316643e7SJed Brown 
302316643e7SJed Brown    Input Parameters:
303316643e7SJed Brown +  ts - the TS context
304316643e7SJed Brown .  t - current time
305316643e7SJed Brown .  X - state vector
306214bc6a2SJed Brown .  Xdot - time derivative of state vector
307214bc6a2SJed Brown -  imex - flag indicates if the method is IMEX so that the RHSFunction should be kept separate
308316643e7SJed Brown 
309316643e7SJed Brown    Output Parameter:
310316643e7SJed Brown .  Y - right hand side
311316643e7SJed Brown 
312316643e7SJed Brown    Note:
313316643e7SJed Brown    Most users should not need to explicitly call this routine, as it
314316643e7SJed Brown    is used internally within the nonlinear solvers.
315316643e7SJed Brown 
316316643e7SJed Brown    If the user did did not write their equations in implicit form, this
317316643e7SJed Brown    function recasts them in implicit form.
318316643e7SJed Brown 
319316643e7SJed Brown    Level: developer
320316643e7SJed Brown 
321316643e7SJed Brown .keywords: TS, compute
322316643e7SJed Brown 
323316643e7SJed Brown .seealso: TSSetIFunction(), TSComputeRHSFunction()
324316643e7SJed Brown @*/
325214bc6a2SJed Brown PetscErrorCode TSComputeIFunction(TS ts,PetscReal t,Vec X,Vec Xdot,Vec Y,PetscBool imex)
326316643e7SJed Brown {
327316643e7SJed Brown   PetscErrorCode ierr;
328316643e7SJed Brown 
329316643e7SJed Brown   PetscFunctionBegin;
3300700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
3310700a824SBarry Smith   PetscValidHeaderSpecific(X,VEC_CLASSID,3);
3320700a824SBarry Smith   PetscValidHeaderSpecific(Xdot,VEC_CLASSID,4);
3330700a824SBarry Smith   PetscValidHeaderSpecific(Y,VEC_CLASSID,5);
334316643e7SJed Brown 
335d90be118SSean Farley   if (!ts->userops->rhsfunction && !ts->userops->ifunction) SETERRQ(((PetscObject)ts)->comm,PETSC_ERR_USER,"Must call TSSetRHSFunction() and / or TSSetIFunction()");
336d90be118SSean Farley 
337316643e7SJed Brown   ierr = PetscLogEventBegin(TS_FunctionEval,ts,X,Xdot,Y);CHKERRQ(ierr);
3383b5f76d0SSean Farley   if (ts->userops->ifunction) {
339316643e7SJed Brown     PetscStackPush("TS user implicit function");
3403b5f76d0SSean Farley     ierr = (*ts->userops->ifunction)(ts,t,X,Xdot,Y,ts->funP);CHKERRQ(ierr);
341316643e7SJed Brown     PetscStackPop;
342214bc6a2SJed Brown   }
343214bc6a2SJed Brown   if (imex) {
3443b5f76d0SSean Farley     if (!ts->userops->ifunction) {
3452dd45cf8SJed Brown       ierr = VecCopy(Xdot,Y);CHKERRQ(ierr);
3462dd45cf8SJed Brown     }
3472dd45cf8SJed Brown   } else if (ts->userops->rhsfunction) {
3482dd45cf8SJed Brown     if (ts->userops->ifunction) {
349214bc6a2SJed Brown       Vec Frhs;
350214bc6a2SJed Brown       ierr = TSGetRHSVec_Private(ts,&Frhs);CHKERRQ(ierr);
351214bc6a2SJed Brown       ierr = TSComputeRHSFunction(ts,t,X,Frhs);CHKERRQ(ierr);
352214bc6a2SJed Brown       ierr = VecAXPY(Y,-1,Frhs);CHKERRQ(ierr);
3532dd45cf8SJed Brown     } else {
3542dd45cf8SJed Brown       ierr = TSComputeRHSFunction(ts,t,X,Y);CHKERRQ(ierr);
3552dd45cf8SJed Brown       ierr = VecAYPX(Y,-1,Xdot);CHKERRQ(ierr);
356316643e7SJed Brown     }
3574a6899ffSJed Brown   }
358316643e7SJed Brown   ierr = PetscLogEventEnd(TS_FunctionEval,ts,X,Xdot,Y);CHKERRQ(ierr);
359316643e7SJed Brown   PetscFunctionReturn(0);
360316643e7SJed Brown }
361316643e7SJed Brown 
362316643e7SJed Brown #undef __FUNCT__
363316643e7SJed Brown #define __FUNCT__ "TSComputeIJacobian"
364316643e7SJed Brown /*@
365316643e7SJed Brown    TSComputeIJacobian - Evaluates the Jacobian of the DAE
366316643e7SJed Brown 
367316643e7SJed Brown    Collective on TS and Vec
368316643e7SJed Brown 
369316643e7SJed Brown    Input
370316643e7SJed Brown       Input Parameters:
371316643e7SJed Brown +  ts - the TS context
372316643e7SJed Brown .  t - current timestep
373316643e7SJed Brown .  X - state vector
374316643e7SJed Brown .  Xdot - time derivative of state vector
375214bc6a2SJed Brown .  shift - shift to apply, see note below
376214bc6a2SJed Brown -  imex - flag indicates if the method is IMEX so that the RHSJacobian should be kept separate
377316643e7SJed Brown 
378316643e7SJed Brown    Output Parameters:
379316643e7SJed Brown +  A - Jacobian matrix
380316643e7SJed Brown .  B - optional preconditioning matrix
381316643e7SJed Brown -  flag - flag indicating matrix structure
382316643e7SJed Brown 
383316643e7SJed Brown    Notes:
384316643e7SJed Brown    If F(t,X,Xdot)=0 is the DAE, the required Jacobian is
385316643e7SJed Brown 
386316643e7SJed Brown    dF/dX + shift*dF/dXdot
387316643e7SJed Brown 
388316643e7SJed Brown    Most users should not need to explicitly call this routine, as it
389316643e7SJed Brown    is used internally within the nonlinear solvers.
390316643e7SJed Brown 
391316643e7SJed Brown    Level: developer
392316643e7SJed Brown 
393316643e7SJed Brown .keywords: TS, compute, Jacobian, matrix
394316643e7SJed Brown 
395316643e7SJed Brown .seealso:  TSSetIJacobian()
39663495f91SJed Brown @*/
397214bc6a2SJed Brown PetscErrorCode TSComputeIJacobian(TS ts,PetscReal t,Vec X,Vec Xdot,PetscReal shift,Mat *A,Mat *B,MatStructure *flg,PetscBool imex)
398316643e7SJed Brown {
3990026cea9SSean Farley   PetscInt Xstate, Xdotstate;
400316643e7SJed Brown   PetscErrorCode ierr;
401316643e7SJed Brown 
402316643e7SJed Brown   PetscFunctionBegin;
4030700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
4040700a824SBarry Smith   PetscValidHeaderSpecific(X,VEC_CLASSID,3);
4050700a824SBarry Smith   PetscValidHeaderSpecific(Xdot,VEC_CLASSID,4);
406316643e7SJed Brown   PetscValidPointer(A,6);
4070700a824SBarry Smith   PetscValidHeaderSpecific(*A,MAT_CLASSID,6);
408316643e7SJed Brown   PetscValidPointer(B,7);
4090700a824SBarry Smith   PetscValidHeaderSpecific(*B,MAT_CLASSID,7);
410316643e7SJed Brown   PetscValidPointer(flg,8);
4110026cea9SSean Farley   ierr = PetscObjectStateQuery((PetscObject)X,&Xstate);CHKERRQ(ierr);
4120026cea9SSean Farley   ierr = PetscObjectStateQuery((PetscObject)Xdot,&Xdotstate);CHKERRQ(ierr);
4130026cea9SSean Farley   if (ts->ijacobian.time == t && (ts->problem_type == TS_LINEAR || (ts->ijacobian.X == X && ts->ijacobian.Xstate == Xstate && ts->ijacobian.Xdot == Xdot && ts->ijacobian.Xdotstate == Xdotstate && ts->ijacobian.imex == imex))) {
4140026cea9SSean Farley     *flg = ts->ijacobian.mstructure;
4150026cea9SSean Farley     ierr = MatScale(*A, shift / ts->ijacobian.shift);CHKERRQ(ierr);
4160026cea9SSean Farley     PetscFunctionReturn(0);
4170026cea9SSean Farley   }
418316643e7SJed Brown 
4193b5f76d0SSean Farley   if (!ts->userops->rhsjacobian && !ts->userops->ijacobian) SETERRQ(((PetscObject)ts)->comm,PETSC_ERR_USER,"Must call TSSetRHSJacobian() and / or TSSetIJacobian()");
420316643e7SJed Brown 
4214e684422SJed Brown   *flg = SAME_NONZERO_PATTERN;  /* In case we're solving a linear problem in which case it wouldn't get initialized below. */
422316643e7SJed Brown   ierr = PetscLogEventBegin(TS_JacobianEval,ts,X,*A,*B);CHKERRQ(ierr);
4233b5f76d0SSean Farley   if (ts->userops->ijacobian) {
4242dd45cf8SJed Brown     *flg = DIFFERENT_NONZERO_PATTERN;
425316643e7SJed Brown     PetscStackPush("TS user implicit Jacobian");
4263b5f76d0SSean Farley     ierr = (*ts->userops->ijacobian)(ts,t,X,Xdot,shift,A,B,flg,ts->jacP);CHKERRQ(ierr);
427316643e7SJed Brown     PetscStackPop;
428214bc6a2SJed Brown     /* make sure user returned a correct Jacobian and preconditioner */
429214bc6a2SJed Brown     PetscValidHeaderSpecific(*A,MAT_CLASSID,4);
430214bc6a2SJed Brown     PetscValidHeaderSpecific(*B,MAT_CLASSID,5);
4314a6899ffSJed Brown   }
432214bc6a2SJed Brown   if (imex) {
4333b5f76d0SSean Farley     if (!ts->userops->ijacobian) {  /* system was written as Xdot = F(t,X) */
434214bc6a2SJed Brown       ierr = MatZeroEntries(*A);CHKERRQ(ierr);
4352dd45cf8SJed Brown       ierr = MatShift(*A,shift);CHKERRQ(ierr);
436214bc6a2SJed Brown       if (*A != *B) {
437214bc6a2SJed Brown         ierr = MatZeroEntries(*B);CHKERRQ(ierr);
438214bc6a2SJed Brown         ierr = MatShift(*B,shift);CHKERRQ(ierr);
439214bc6a2SJed Brown       }
440214bc6a2SJed Brown       *flg = SAME_PRECONDITIONER;
441214bc6a2SJed Brown     }
442214bc6a2SJed Brown   } else {
4433b5f76d0SSean Farley     if (!ts->userops->ijacobian) {
444214bc6a2SJed Brown       ierr = TSComputeRHSJacobian(ts,t,X,A,B,flg);CHKERRQ(ierr);
445214bc6a2SJed Brown       ierr = MatScale(*A,-1);CHKERRQ(ierr);
446214bc6a2SJed Brown       ierr = MatShift(*A,shift);CHKERRQ(ierr);
447316643e7SJed Brown       if (*A != *B) {
448316643e7SJed Brown         ierr = MatScale(*B,-1);CHKERRQ(ierr);
449316643e7SJed Brown         ierr = MatShift(*B,shift);CHKERRQ(ierr);
450316643e7SJed Brown       }
4513b5f76d0SSean Farley     } else if (ts->userops->rhsjacobian) {
452214bc6a2SJed Brown       Mat Arhs,Brhs;
453214bc6a2SJed Brown       MatStructure axpy,flg2 = DIFFERENT_NONZERO_PATTERN;
454214bc6a2SJed Brown       ierr = TSGetRHSMats_Private(ts,&Arhs,&Brhs);CHKERRQ(ierr);
455214bc6a2SJed Brown       ierr = TSComputeRHSJacobian(ts,t,X,&Arhs,&Brhs,&flg2);CHKERRQ(ierr);
456214bc6a2SJed Brown       axpy = (*flg == flg2) ? SAME_NONZERO_PATTERN : DIFFERENT_NONZERO_PATTERN;
457214bc6a2SJed Brown       ierr = MatAXPY(*A,-1,Arhs,axpy);CHKERRQ(ierr);
458214bc6a2SJed Brown       if (*A != *B) {
459214bc6a2SJed Brown         ierr = MatAXPY(*B,-1,Brhs,axpy);CHKERRQ(ierr);
460214bc6a2SJed Brown       }
461214bc6a2SJed Brown       *flg = PetscMin(*flg,flg2);
462214bc6a2SJed Brown     }
463316643e7SJed Brown   }
4640026cea9SSean Farley 
4650026cea9SSean Farley   ts->ijacobian.time = t;
4660026cea9SSean Farley   ts->ijacobian.X = X;
4670026cea9SSean Farley   ts->ijacobian.Xdot = Xdot;
4680026cea9SSean Farley   ierr = PetscObjectStateQuery((PetscObject)X,&ts->ijacobian.Xstate);CHKERRQ(ierr);
4690026cea9SSean Farley   ierr = PetscObjectStateQuery((PetscObject)Xdot,&ts->ijacobian.Xdotstate);CHKERRQ(ierr);
4700026cea9SSean Farley   ts->ijacobian.shift = shift;
4710026cea9SSean Farley   ts->ijacobian.imex = imex;
4720026cea9SSean Farley   ts->ijacobian.mstructure = *flg;
473316643e7SJed Brown   ierr = PetscLogEventEnd(TS_JacobianEval,ts,X,*A,*B);CHKERRQ(ierr);
474316643e7SJed Brown   PetscFunctionReturn(0);
475316643e7SJed Brown }
476316643e7SJed Brown 
477316643e7SJed Brown #undef __FUNCT__
4784a2ae208SSatish Balay #define __FUNCT__ "TSSetRHSFunction"
479d763cef2SBarry Smith /*@C
480d763cef2SBarry Smith     TSSetRHSFunction - Sets the routine for evaluating the function,
481d763cef2SBarry Smith     F(t,u), where U_t = F(t,u).
482d763cef2SBarry Smith 
4833f9fe445SBarry Smith     Logically Collective on TS
484d763cef2SBarry Smith 
485d763cef2SBarry Smith     Input Parameters:
486d763cef2SBarry Smith +   ts - the TS context obtained from TSCreate()
487ca94891dSJed Brown .   r - vector to put the computed right hand side (or PETSC_NULL to have it created)
488d763cef2SBarry Smith .   f - routine for evaluating the right-hand-side function
489d763cef2SBarry Smith -   ctx - [optional] user-defined context for private data for the
490d763cef2SBarry Smith           function evaluation routine (may be PETSC_NULL)
491d763cef2SBarry Smith 
492d763cef2SBarry Smith     Calling sequence of func:
49387828ca2SBarry Smith $     func (TS ts,PetscReal t,Vec u,Vec F,void *ctx);
494d763cef2SBarry Smith 
495d763cef2SBarry Smith +   t - current timestep
496d763cef2SBarry Smith .   u - input vector
497d763cef2SBarry Smith .   F - function vector
498d763cef2SBarry Smith -   ctx - [optional] user-defined function context
499d763cef2SBarry Smith 
500d763cef2SBarry Smith     Important:
50176f2fa84SHong Zhang     The user MUST call either this routine or TSSetMatrices().
502d763cef2SBarry Smith 
503d763cef2SBarry Smith     Level: beginner
504d763cef2SBarry Smith 
505d763cef2SBarry Smith .keywords: TS, timestep, set, right-hand-side, function
506d763cef2SBarry Smith 
50776f2fa84SHong Zhang .seealso: TSSetMatrices()
508d763cef2SBarry Smith @*/
509089b2837SJed Brown PetscErrorCode  TSSetRHSFunction(TS ts,Vec r,PetscErrorCode (*f)(TS,PetscReal,Vec,Vec,void*),void *ctx)
510d763cef2SBarry Smith {
511089b2837SJed Brown   PetscErrorCode ierr;
512089b2837SJed Brown   SNES           snes;
513d763cef2SBarry Smith 
514089b2837SJed Brown   PetscFunctionBegin;
5150700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
516ca94891dSJed Brown   if (r) PetscValidHeaderSpecific(r,VEC_CLASSID,2);
5173b5f76d0SSean Farley   if (f)   ts->userops->rhsfunction = f;
5184e684422SJed Brown   if (ctx) ts->funP                 = ctx;
519089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
520089b2837SJed Brown   ierr = SNESSetFunction(snes,r,SNESTSFormFunction,ts);CHKERRQ(ierr);
521d763cef2SBarry Smith   PetscFunctionReturn(0);
522d763cef2SBarry Smith }
523d763cef2SBarry Smith 
5244a2ae208SSatish Balay #undef __FUNCT__
5254a2ae208SSatish Balay #define __FUNCT__ "TSSetRHSJacobian"
526d763cef2SBarry Smith /*@C
527d763cef2SBarry Smith    TSSetRHSJacobian - Sets the function to compute the Jacobian of F,
528d763cef2SBarry Smith    where U_t = F(U,t), as well as the location to store the matrix.
52976f2fa84SHong Zhang    Use TSSetMatrices() for linear problems.
530d763cef2SBarry Smith 
5313f9fe445SBarry Smith    Logically Collective on TS
532d763cef2SBarry Smith 
533d763cef2SBarry Smith    Input Parameters:
534d763cef2SBarry Smith +  ts  - the TS context obtained from TSCreate()
535d763cef2SBarry Smith .  A   - Jacobian matrix
536d763cef2SBarry Smith .  B   - preconditioner matrix (usually same as A)
537d763cef2SBarry Smith .  f   - the Jacobian evaluation routine
538d763cef2SBarry Smith -  ctx - [optional] user-defined context for private data for the
539d763cef2SBarry Smith          Jacobian evaluation routine (may be PETSC_NULL)
540d763cef2SBarry Smith 
541d763cef2SBarry Smith    Calling sequence of func:
54287828ca2SBarry Smith $     func (TS ts,PetscReal t,Vec u,Mat *A,Mat *B,MatStructure *flag,void *ctx);
543d763cef2SBarry Smith 
544d763cef2SBarry Smith +  t - current timestep
545d763cef2SBarry Smith .  u - input vector
546d763cef2SBarry Smith .  A - matrix A, where U_t = A(t)u
547d763cef2SBarry Smith .  B - preconditioner matrix, usually the same as A
548d763cef2SBarry Smith .  flag - flag indicating information about the preconditioner matrix
54994b7f48cSBarry Smith           structure (same as flag in KSPSetOperators())
550d763cef2SBarry Smith -  ctx - [optional] user-defined context for matrix evaluation routine
551d763cef2SBarry Smith 
552d763cef2SBarry Smith    Notes:
55394b7f48cSBarry Smith    See KSPSetOperators() for important information about setting the flag
554d763cef2SBarry Smith    output parameter in the routine func().  Be sure to read this information!
555d763cef2SBarry Smith 
556d763cef2SBarry Smith    The routine func() takes Mat * as the matrix arguments rather than Mat.
557d763cef2SBarry Smith    This allows the matrix evaluation routine to replace A and/or B with a
55856335db2SHong Zhang    completely new matrix structure (not just different matrix elements)
559d763cef2SBarry Smith    when appropriate, for instance, if the nonzero structure is changing
560d763cef2SBarry Smith    throughout the global iterations.
561d763cef2SBarry Smith 
562d763cef2SBarry Smith    Level: beginner
563d763cef2SBarry Smith 
564d763cef2SBarry Smith .keywords: TS, timestep, set, right-hand-side, Jacobian
565d763cef2SBarry Smith 
566d763cef2SBarry Smith .seealso: TSDefaultComputeJacobianColor(),
56776f2fa84SHong Zhang           SNESDefaultComputeJacobianColor(), TSSetRHSFunction(), TSSetMatrices()
568d763cef2SBarry Smith 
569d763cef2SBarry Smith @*/
570089b2837SJed Brown PetscErrorCode  TSSetRHSJacobian(TS ts,Mat A,Mat B,TSRHSJacobian f,void *ctx)
571d763cef2SBarry Smith {
572277b19d0SLisandro Dalcin   PetscErrorCode ierr;
573089b2837SJed Brown   SNES           snes;
574277b19d0SLisandro Dalcin 
575d763cef2SBarry Smith   PetscFunctionBegin;
5760700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
577277b19d0SLisandro Dalcin   if (A) PetscValidHeaderSpecific(A,MAT_CLASSID,2);
578277b19d0SLisandro Dalcin   if (B) PetscValidHeaderSpecific(B,MAT_CLASSID,3);
579277b19d0SLisandro Dalcin   if (A) PetscCheckSameComm(ts,1,A,2);
580277b19d0SLisandro Dalcin   if (B) PetscCheckSameComm(ts,1,B,3);
581d763cef2SBarry Smith 
5823b5f76d0SSean Farley   if (f)   ts->userops->rhsjacobian = f;
583277b19d0SLisandro Dalcin   if (ctx) ts->jacP                 = ctx;
584089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
585dabe61deSJed Brown   if (!ts->userops->ijacobian) {
586089b2837SJed Brown     ierr = SNESSetJacobian(snes,A,B,SNESTSFormJacobian,ts);CHKERRQ(ierr);
5870e4ef248SJed Brown   }
5880e4ef248SJed Brown   if (A) {
5890e4ef248SJed Brown     ierr = PetscObjectReference((PetscObject)A);CHKERRQ(ierr);
5900e4ef248SJed Brown     ierr = MatDestroy(&ts->Arhs);CHKERRQ(ierr);
5910e4ef248SJed Brown     ts->Arhs = A;
5920e4ef248SJed Brown   }
5930e4ef248SJed Brown   if (B) {
5940e4ef248SJed Brown     ierr = PetscObjectReference((PetscObject)B);CHKERRQ(ierr);
5950e4ef248SJed Brown     ierr = MatDestroy(&ts->Brhs);CHKERRQ(ierr);
5960e4ef248SJed Brown     ts->Brhs = B;
5970e4ef248SJed Brown   }
598d763cef2SBarry Smith   PetscFunctionReturn(0);
599d763cef2SBarry Smith }
600d763cef2SBarry Smith 
601316643e7SJed Brown 
602316643e7SJed Brown #undef __FUNCT__
603316643e7SJed Brown #define __FUNCT__ "TSSetIFunction"
604316643e7SJed Brown /*@C
605316643e7SJed Brown    TSSetIFunction - Set the function to compute F(t,U,U_t) where F = 0 is the DAE to be solved.
606316643e7SJed Brown 
6073f9fe445SBarry Smith    Logically Collective on TS
608316643e7SJed Brown 
609316643e7SJed Brown    Input Parameters:
610316643e7SJed Brown +  ts  - the TS context obtained from TSCreate()
611ca94891dSJed Brown .  r   - vector to hold the residual (or PETSC_NULL to have it created internally)
612316643e7SJed Brown .  f   - the function evaluation routine
613316643e7SJed Brown -  ctx - user-defined context for private data for the function evaluation routine (may be PETSC_NULL)
614316643e7SJed Brown 
615316643e7SJed Brown    Calling sequence of f:
616316643e7SJed Brown $  f(TS ts,PetscReal t,Vec u,Vec u_t,Vec F,ctx);
617316643e7SJed Brown 
618316643e7SJed Brown +  t   - time at step/stage being solved
619316643e7SJed Brown .  u   - state vector
620316643e7SJed Brown .  u_t - time derivative of state vector
621316643e7SJed Brown .  F   - function vector
622316643e7SJed Brown -  ctx - [optional] user-defined context for matrix evaluation routine
623316643e7SJed Brown 
624316643e7SJed Brown    Important:
625316643e7SJed Brown    The user MUST call either this routine, TSSetRHSFunction(), or TSSetMatrices().  This routine must be used when not solving an ODE.
626316643e7SJed Brown 
627316643e7SJed Brown    Level: beginner
628316643e7SJed Brown 
629316643e7SJed Brown .keywords: TS, timestep, set, DAE, Jacobian
630316643e7SJed Brown 
631316643e7SJed Brown .seealso: TSSetMatrices(), TSSetRHSFunction(), TSSetIJacobian()
632316643e7SJed Brown @*/
633089b2837SJed Brown PetscErrorCode  TSSetIFunction(TS ts,Vec res,TSIFunction f,void *ctx)
634316643e7SJed Brown {
635089b2837SJed Brown   PetscErrorCode ierr;
636089b2837SJed Brown   SNES           snes;
637316643e7SJed Brown 
638316643e7SJed Brown   PetscFunctionBegin;
6390700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
640ca94891dSJed Brown   if (res) PetscValidHeaderSpecific(res,VEC_CLASSID,2);
6413b5f76d0SSean Farley   if (f)   ts->userops->ifunction = f;
642089b2837SJed Brown   if (ctx) ts->funP           = ctx;
643089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
644089b2837SJed Brown   ierr = SNESSetFunction(snes,res,SNESTSFormFunction,ts);CHKERRQ(ierr);
645089b2837SJed Brown   PetscFunctionReturn(0);
646089b2837SJed Brown }
647089b2837SJed Brown 
648089b2837SJed Brown #undef __FUNCT__
649089b2837SJed Brown #define __FUNCT__ "TSGetIFunction"
650089b2837SJed Brown /*@C
651089b2837SJed Brown    TSGetIFunction - Returns the vector where the implicit residual is stored and the function/contex to compute it.
652089b2837SJed Brown 
653089b2837SJed Brown    Not Collective
654089b2837SJed Brown 
655089b2837SJed Brown    Input Parameter:
656089b2837SJed Brown .  ts - the TS context
657089b2837SJed Brown 
658089b2837SJed Brown    Output Parameter:
659089b2837SJed Brown +  r - vector to hold residual (or PETSC_NULL)
660089b2837SJed Brown .  func - the function to compute residual (or PETSC_NULL)
661089b2837SJed Brown -  ctx - the function context (or PETSC_NULL)
662089b2837SJed Brown 
663089b2837SJed Brown    Level: advanced
664089b2837SJed Brown 
665089b2837SJed Brown .keywords: TS, nonlinear, get, function
666089b2837SJed Brown 
667089b2837SJed Brown .seealso: TSSetIFunction(), SNESGetFunction()
668089b2837SJed Brown @*/
669089b2837SJed Brown PetscErrorCode TSGetIFunction(TS ts,Vec *r,TSIFunction *func,void **ctx)
670089b2837SJed Brown {
671089b2837SJed Brown   PetscErrorCode ierr;
672089b2837SJed Brown   SNES snes;
673089b2837SJed Brown 
674089b2837SJed Brown   PetscFunctionBegin;
675089b2837SJed Brown   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
676089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
677089b2837SJed Brown   ierr = SNESGetFunction(snes,r,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
6783b5f76d0SSean Farley   if (func) *func = ts->userops->ifunction;
679089b2837SJed Brown   if (ctx)  *ctx  = ts->funP;
680089b2837SJed Brown   PetscFunctionReturn(0);
681089b2837SJed Brown }
682089b2837SJed Brown 
683089b2837SJed Brown #undef __FUNCT__
684089b2837SJed Brown #define __FUNCT__ "TSGetRHSFunction"
685089b2837SJed Brown /*@C
686089b2837SJed Brown    TSGetRHSFunction - Returns the vector where the right hand side is stored and the function/context to compute it.
687089b2837SJed Brown 
688089b2837SJed Brown    Not Collective
689089b2837SJed Brown 
690089b2837SJed Brown    Input Parameter:
691089b2837SJed Brown .  ts - the TS context
692089b2837SJed Brown 
693089b2837SJed Brown    Output Parameter:
694089b2837SJed Brown +  r - vector to hold computed right hand side (or PETSC_NULL)
695089b2837SJed Brown .  func - the function to compute right hand side (or PETSC_NULL)
696089b2837SJed Brown -  ctx - the function context (or PETSC_NULL)
697089b2837SJed Brown 
698089b2837SJed Brown    Level: advanced
699089b2837SJed Brown 
700089b2837SJed Brown .keywords: TS, nonlinear, get, function
701089b2837SJed Brown 
702089b2837SJed Brown .seealso: TSSetRhsfunction(), SNESGetFunction()
703089b2837SJed Brown @*/
704089b2837SJed Brown PetscErrorCode TSGetRHSFunction(TS ts,Vec *r,TSRHSFunction *func,void **ctx)
705089b2837SJed Brown {
706089b2837SJed Brown   PetscErrorCode ierr;
707089b2837SJed Brown   SNES snes;
708089b2837SJed Brown 
709089b2837SJed Brown   PetscFunctionBegin;
710089b2837SJed Brown   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
711089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
712089b2837SJed Brown   ierr = SNESGetFunction(snes,r,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
7133b5f76d0SSean Farley   if (func) *func = ts->userops->rhsfunction;
714089b2837SJed Brown   if (ctx)  *ctx  = ts->funP;
715316643e7SJed Brown   PetscFunctionReturn(0);
716316643e7SJed Brown }
717316643e7SJed Brown 
718316643e7SJed Brown #undef __FUNCT__
719316643e7SJed Brown #define __FUNCT__ "TSSetIJacobian"
720316643e7SJed Brown /*@C
721a4f0a591SBarry Smith    TSSetIJacobian - Set the function to compute the matrix dF/dU + a*dF/dU_t where F(t,U,U_t) is the function
722a4f0a591SBarry Smith         you provided with TSSetIFunction().
723316643e7SJed Brown 
7243f9fe445SBarry Smith    Logically Collective on TS
725316643e7SJed Brown 
726316643e7SJed Brown    Input Parameters:
727316643e7SJed Brown +  ts  - the TS context obtained from TSCreate()
728316643e7SJed Brown .  A   - Jacobian matrix
729316643e7SJed Brown .  B   - preconditioning matrix for A (may be same as A)
730316643e7SJed Brown .  f   - the Jacobian evaluation routine
731316643e7SJed Brown -  ctx - user-defined context for private data for the Jacobian evaluation routine (may be PETSC_NULL)
732316643e7SJed Brown 
733316643e7SJed Brown    Calling sequence of f:
7341b4a444bSJed Brown $  f(TS ts,PetscReal t,Vec U,Vec U_t,PetscReal a,Mat *A,Mat *B,MatStructure *flag,void *ctx);
735316643e7SJed Brown 
736316643e7SJed Brown +  t    - time at step/stage being solved
7371b4a444bSJed Brown .  U    - state vector
7381b4a444bSJed Brown .  U_t  - time derivative of state vector
739316643e7SJed Brown .  a    - shift
7401b4a444bSJed Brown .  A    - Jacobian of G(U) = F(t,U,W+a*U), equivalent to dF/dU + a*dF/dU_t
741316643e7SJed Brown .  B    - preconditioning matrix for A, may be same as A
742316643e7SJed Brown .  flag - flag indicating information about the preconditioner matrix
743316643e7SJed Brown           structure (same as flag in KSPSetOperators())
744316643e7SJed Brown -  ctx  - [optional] user-defined context for matrix evaluation routine
745316643e7SJed Brown 
746316643e7SJed Brown    Notes:
747316643e7SJed Brown    The matrices A and B are exactly the matrices that are used by SNES for the nonlinear solve.
748316643e7SJed Brown 
749a4f0a591SBarry Smith    The matrix dF/dU + a*dF/dU_t you provide turns out to be
750a4f0a591SBarry Smith    the Jacobian of G(U) = F(t,U,W+a*U) where F(t,U,U_t) = 0 is the DAE to be solved.
751a4f0a591SBarry Smith    The time integrator internally approximates U_t by W+a*U where the positive "shift"
752a4f0a591SBarry Smith    a and vector W depend on the integration method, step size, and past states. For example with
753a4f0a591SBarry Smith    the backward Euler method a = 1/dt and W = -a*U(previous timestep) so
754a4f0a591SBarry Smith    W + a*U = a*(U - U(previous timestep)) = (U - U(previous timestep))/dt
755a4f0a591SBarry Smith 
756316643e7SJed Brown    Level: beginner
757316643e7SJed Brown 
758316643e7SJed Brown .keywords: TS, timestep, DAE, Jacobian
759316643e7SJed Brown 
760316643e7SJed Brown .seealso: TSSetIFunction(), TSSetRHSJacobian()
761316643e7SJed Brown 
762316643e7SJed Brown @*/
7637087cfbeSBarry Smith PetscErrorCode  TSSetIJacobian(TS ts,Mat A,Mat B,TSIJacobian f,void *ctx)
764316643e7SJed Brown {
765316643e7SJed Brown   PetscErrorCode ierr;
766089b2837SJed Brown   SNES           snes;
767316643e7SJed Brown 
768316643e7SJed Brown   PetscFunctionBegin;
7690700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
7700700a824SBarry Smith   if (A) PetscValidHeaderSpecific(A,MAT_CLASSID,2);
7710700a824SBarry Smith   if (B) PetscValidHeaderSpecific(B,MAT_CLASSID,3);
772316643e7SJed Brown   if (A) PetscCheckSameComm(ts,1,A,2);
773316643e7SJed Brown   if (B) PetscCheckSameComm(ts,1,B,3);
7743b5f76d0SSean Farley   if (f)   ts->userops->ijacobian = f;
775316643e7SJed Brown   if (ctx) ts->jacP           = ctx;
776089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
777089b2837SJed Brown   ierr = SNESSetJacobian(snes,A,B,SNESTSFormJacobian,ts);CHKERRQ(ierr);
778316643e7SJed Brown   PetscFunctionReturn(0);
779316643e7SJed Brown }
780316643e7SJed Brown 
7814a2ae208SSatish Balay #undef __FUNCT__
7824a2ae208SSatish Balay #define __FUNCT__ "TSView"
7837e2c5f70SBarry Smith /*@C
784d763cef2SBarry Smith     TSView - Prints the TS data structure.
785d763cef2SBarry Smith 
7864c49b128SBarry Smith     Collective on TS
787d763cef2SBarry Smith 
788d763cef2SBarry Smith     Input Parameters:
789d763cef2SBarry Smith +   ts - the TS context obtained from TSCreate()
790d763cef2SBarry Smith -   viewer - visualization context
791d763cef2SBarry Smith 
792d763cef2SBarry Smith     Options Database Key:
793d763cef2SBarry Smith .   -ts_view - calls TSView() at end of TSStep()
794d763cef2SBarry Smith 
795d763cef2SBarry Smith     Notes:
796d763cef2SBarry Smith     The available visualization contexts include
797b0a32e0cSBarry Smith +     PETSC_VIEWER_STDOUT_SELF - standard output (default)
798b0a32e0cSBarry Smith -     PETSC_VIEWER_STDOUT_WORLD - synchronized standard
799d763cef2SBarry Smith          output where only the first processor opens
800d763cef2SBarry Smith          the file.  All other processors send their
801d763cef2SBarry Smith          data to the first processor to print.
802d763cef2SBarry Smith 
803d763cef2SBarry Smith     The user can open an alternative visualization context with
804b0a32e0cSBarry Smith     PetscViewerASCIIOpen() - output to a specified file.
805d763cef2SBarry Smith 
806d763cef2SBarry Smith     Level: beginner
807d763cef2SBarry Smith 
808d763cef2SBarry Smith .keywords: TS, timestep, view
809d763cef2SBarry Smith 
810b0a32e0cSBarry Smith .seealso: PetscViewerASCIIOpen()
811d763cef2SBarry Smith @*/
8127087cfbeSBarry Smith PetscErrorCode  TSView(TS ts,PetscViewer viewer)
813d763cef2SBarry Smith {
814dfbe8321SBarry Smith   PetscErrorCode ierr;
815a313700dSBarry Smith   const TSType   type;
816089b2837SJed Brown   PetscBool      iascii,isstring,isundials;
817d763cef2SBarry Smith 
818d763cef2SBarry Smith   PetscFunctionBegin;
8190700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
8203050cee2SBarry Smith   if (!viewer) {
8217adad957SLisandro Dalcin     ierr = PetscViewerASCIIGetStdout(((PetscObject)ts)->comm,&viewer);CHKERRQ(ierr);
8223050cee2SBarry Smith   }
8230700a824SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,2);
824c9780b6fSBarry Smith   PetscCheckSameComm(ts,1,viewer,2);
825fd16b177SBarry Smith 
8262692d6eeSBarry Smith   ierr = PetscTypeCompare((PetscObject)viewer,PETSCVIEWERASCII,&iascii);CHKERRQ(ierr);
8272692d6eeSBarry Smith   ierr = PetscTypeCompare((PetscObject)viewer,PETSCVIEWERSTRING,&isstring);CHKERRQ(ierr);
82832077d6dSBarry Smith   if (iascii) {
829317d6ea6SBarry Smith     ierr = PetscObjectPrintClassNamePrefixType((PetscObject)ts,viewer,"TS Object");CHKERRQ(ierr);
83077431f27SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"  maximum steps=%D\n",ts->max_steps);CHKERRQ(ierr);
831a83599f4SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"  maximum time=%G\n",ts->max_time);CHKERRQ(ierr);
832d763cef2SBarry Smith     if (ts->problem_type == TS_NONLINEAR) {
83377431f27SBarry Smith       ierr = PetscViewerASCIIPrintf(viewer,"  total number of nonlinear solver iterations=%D\n",ts->nonlinear_its);CHKERRQ(ierr);
834c610991cSLisandro Dalcin       ierr = PetscViewerASCIIPrintf(viewer,"  total number of nonlinear solve failures=%D\n",ts->num_snes_failures);CHKERRQ(ierr);
835d763cef2SBarry Smith     }
83677431f27SBarry Smith     ierr = PetscViewerASCIIPrintf(viewer,"  total number of linear solver iterations=%D\n",ts->linear_its);CHKERRQ(ierr);
837193ac0bcSJed Brown     ierr = PetscViewerASCIIPrintf(viewer,"  total number of rejected steps=%D\n",ts->reject);CHKERRQ(ierr);
838d52bd9f3SBarry Smith     if (ts->ops->view) {
839d52bd9f3SBarry Smith       ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
840d52bd9f3SBarry Smith       ierr = (*ts->ops->view)(ts,viewer);CHKERRQ(ierr);
841d52bd9f3SBarry Smith       ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
842d52bd9f3SBarry Smith     }
8430f5bd95cSBarry Smith   } else if (isstring) {
844a313700dSBarry Smith     ierr = TSGetType(ts,&type);CHKERRQ(ierr);
845b0a32e0cSBarry Smith     ierr = PetscViewerStringSPrintf(viewer," %-7.7s",type);CHKERRQ(ierr);
846d763cef2SBarry Smith   }
847b0a32e0cSBarry Smith   ierr = PetscViewerASCIIPushTab(viewer);CHKERRQ(ierr);
848089b2837SJed Brown   ierr = PetscTypeCompare((PetscObject)ts,TSSUNDIALS,&isundials);CHKERRQ(ierr);
849b0a32e0cSBarry Smith   ierr = PetscViewerASCIIPopTab(viewer);CHKERRQ(ierr);
850d763cef2SBarry Smith   PetscFunctionReturn(0);
851d763cef2SBarry Smith }
852d763cef2SBarry Smith 
853d763cef2SBarry Smith 
8544a2ae208SSatish Balay #undef __FUNCT__
8554a2ae208SSatish Balay #define __FUNCT__ "TSSetApplicationContext"
856b07ff414SBarry Smith /*@
857d763cef2SBarry Smith    TSSetApplicationContext - Sets an optional user-defined context for
858d763cef2SBarry Smith    the timesteppers.
859d763cef2SBarry Smith 
8603f9fe445SBarry Smith    Logically Collective on TS
861d763cef2SBarry Smith 
862d763cef2SBarry Smith    Input Parameters:
863d763cef2SBarry Smith +  ts - the TS context obtained from TSCreate()
864d763cef2SBarry Smith -  usrP - optional user context
865d763cef2SBarry Smith 
866d763cef2SBarry Smith    Level: intermediate
867d763cef2SBarry Smith 
868d763cef2SBarry Smith .keywords: TS, timestep, set, application, context
869d763cef2SBarry Smith 
870d763cef2SBarry Smith .seealso: TSGetApplicationContext()
871d763cef2SBarry Smith @*/
8727087cfbeSBarry Smith PetscErrorCode  TSSetApplicationContext(TS ts,void *usrP)
873d763cef2SBarry Smith {
874d763cef2SBarry Smith   PetscFunctionBegin;
8750700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
876d763cef2SBarry Smith   ts->user = usrP;
877d763cef2SBarry Smith   PetscFunctionReturn(0);
878d763cef2SBarry Smith }
879d763cef2SBarry Smith 
8804a2ae208SSatish Balay #undef __FUNCT__
8814a2ae208SSatish Balay #define __FUNCT__ "TSGetApplicationContext"
882b07ff414SBarry Smith /*@
883d763cef2SBarry Smith     TSGetApplicationContext - Gets the user-defined context for the
884d763cef2SBarry Smith     timestepper.
885d763cef2SBarry Smith 
886d763cef2SBarry Smith     Not Collective
887d763cef2SBarry Smith 
888d763cef2SBarry Smith     Input Parameter:
889d763cef2SBarry Smith .   ts - the TS context obtained from TSCreate()
890d763cef2SBarry Smith 
891d763cef2SBarry Smith     Output Parameter:
892d763cef2SBarry Smith .   usrP - user context
893d763cef2SBarry Smith 
894d763cef2SBarry Smith     Level: intermediate
895d763cef2SBarry Smith 
896d763cef2SBarry Smith .keywords: TS, timestep, get, application, context
897d763cef2SBarry Smith 
898d763cef2SBarry Smith .seealso: TSSetApplicationContext()
899d763cef2SBarry Smith @*/
900e71120c6SJed Brown PetscErrorCode  TSGetApplicationContext(TS ts,void *usrP)
901d763cef2SBarry Smith {
902d763cef2SBarry Smith   PetscFunctionBegin;
9030700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
904e71120c6SJed Brown   *(void**)usrP = ts->user;
905d763cef2SBarry Smith   PetscFunctionReturn(0);
906d763cef2SBarry Smith }
907d763cef2SBarry Smith 
9084a2ae208SSatish Balay #undef __FUNCT__
9094a2ae208SSatish Balay #define __FUNCT__ "TSGetTimeStepNumber"
910d763cef2SBarry Smith /*@
911d763cef2SBarry Smith    TSGetTimeStepNumber - Gets the current number of timesteps.
912d763cef2SBarry Smith 
913d763cef2SBarry Smith    Not Collective
914d763cef2SBarry Smith 
915d763cef2SBarry Smith    Input Parameter:
916d763cef2SBarry Smith .  ts - the TS context obtained from TSCreate()
917d763cef2SBarry Smith 
918d763cef2SBarry Smith    Output Parameter:
919d763cef2SBarry Smith .  iter - number steps so far
920d763cef2SBarry Smith 
921d763cef2SBarry Smith    Level: intermediate
922d763cef2SBarry Smith 
923d763cef2SBarry Smith .keywords: TS, timestep, get, iteration, number
924d763cef2SBarry Smith @*/
9257087cfbeSBarry Smith PetscErrorCode  TSGetTimeStepNumber(TS ts,PetscInt* iter)
926d763cef2SBarry Smith {
927d763cef2SBarry Smith   PetscFunctionBegin;
9280700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
9294482741eSBarry Smith   PetscValidIntPointer(iter,2);
930d763cef2SBarry Smith   *iter = ts->steps;
931d763cef2SBarry Smith   PetscFunctionReturn(0);
932d763cef2SBarry Smith }
933d763cef2SBarry Smith 
9344a2ae208SSatish Balay #undef __FUNCT__
9354a2ae208SSatish Balay #define __FUNCT__ "TSSetInitialTimeStep"
936d763cef2SBarry Smith /*@
937d763cef2SBarry Smith    TSSetInitialTimeStep - Sets the initial timestep to be used,
938d763cef2SBarry Smith    as well as the initial time.
939d763cef2SBarry Smith 
9403f9fe445SBarry Smith    Logically Collective on TS
941d763cef2SBarry Smith 
942d763cef2SBarry Smith    Input Parameters:
943d763cef2SBarry Smith +  ts - the TS context obtained from TSCreate()
944d763cef2SBarry Smith .  initial_time - the initial time
945d763cef2SBarry Smith -  time_step - the size of the timestep
946d763cef2SBarry Smith 
947d763cef2SBarry Smith    Level: intermediate
948d763cef2SBarry Smith 
949d763cef2SBarry Smith .seealso: TSSetTimeStep(), TSGetTimeStep()
950d763cef2SBarry Smith 
951d763cef2SBarry Smith .keywords: TS, set, initial, timestep
952d763cef2SBarry Smith @*/
9537087cfbeSBarry Smith PetscErrorCode  TSSetInitialTimeStep(TS ts,PetscReal initial_time,PetscReal time_step)
954d763cef2SBarry Smith {
955e144a568SJed Brown   PetscErrorCode ierr;
956e144a568SJed Brown 
957d763cef2SBarry Smith   PetscFunctionBegin;
9580700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
959e144a568SJed Brown   ierr = TSSetTimeStep(ts,time_step);CHKERRQ(ierr);
960d763cef2SBarry Smith   ts->initial_time_step = time_step;
961d763cef2SBarry Smith   ts->ptime             = initial_time;
962d763cef2SBarry Smith   PetscFunctionReturn(0);
963d763cef2SBarry Smith }
964d763cef2SBarry Smith 
9654a2ae208SSatish Balay #undef __FUNCT__
9664a2ae208SSatish Balay #define __FUNCT__ "TSSetTimeStep"
967d763cef2SBarry Smith /*@
968d763cef2SBarry Smith    TSSetTimeStep - Allows one to reset the timestep at any time,
969d763cef2SBarry Smith    useful for simple pseudo-timestepping codes.
970d763cef2SBarry Smith 
9713f9fe445SBarry Smith    Logically Collective on TS
972d763cef2SBarry Smith 
973d763cef2SBarry Smith    Input Parameters:
974d763cef2SBarry Smith +  ts - the TS context obtained from TSCreate()
975d763cef2SBarry Smith -  time_step - the size of the timestep
976d763cef2SBarry Smith 
977d763cef2SBarry Smith    Level: intermediate
978d763cef2SBarry Smith 
979d763cef2SBarry Smith .seealso: TSSetInitialTimeStep(), TSGetTimeStep()
980d763cef2SBarry Smith 
981d763cef2SBarry Smith .keywords: TS, set, timestep
982d763cef2SBarry Smith @*/
9837087cfbeSBarry Smith PetscErrorCode  TSSetTimeStep(TS ts,PetscReal time_step)
984d763cef2SBarry Smith {
985d763cef2SBarry Smith   PetscFunctionBegin;
9860700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
987c5eb9154SBarry Smith   PetscValidLogicalCollectiveReal(ts,time_step,2);
988d763cef2SBarry Smith   ts->time_step      = time_step;
989193ac0bcSJed Brown   ts->next_time_step = time_step;
990d763cef2SBarry Smith   PetscFunctionReturn(0);
991d763cef2SBarry Smith }
992d763cef2SBarry Smith 
9934a2ae208SSatish Balay #undef __FUNCT__
994a43b19c4SJed Brown #define __FUNCT__ "TSSetExactFinalTime"
995a43b19c4SJed Brown /*@
996a43b19c4SJed Brown    TSSetExactFinalTime - Determines whether to interpolate solution to the
997a43b19c4SJed Brown       exact final time requested by the user or just returns it at the final time
998a43b19c4SJed Brown       it computed.
999a43b19c4SJed Brown 
1000a43b19c4SJed Brown   Logically Collective on TS
1001a43b19c4SJed Brown 
1002a43b19c4SJed Brown    Input Parameter:
1003a43b19c4SJed Brown +   ts - the time-step context
1004a43b19c4SJed Brown -   ft - PETSC_TRUE if interpolates, else PETSC_FALSE
1005a43b19c4SJed Brown 
1006a43b19c4SJed Brown    Level: beginner
1007a43b19c4SJed Brown 
1008a43b19c4SJed Brown .seealso: TSSetDuration()
1009a43b19c4SJed Brown @*/
1010a43b19c4SJed Brown PetscErrorCode  TSSetExactFinalTime(TS ts,PetscBool flg)
1011a43b19c4SJed Brown {
1012a43b19c4SJed Brown 
1013a43b19c4SJed Brown   PetscFunctionBegin;
1014a43b19c4SJed Brown   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
1015a43b19c4SJed Brown   ts->exact_final_time = flg;
1016a43b19c4SJed Brown   PetscFunctionReturn(0);
1017a43b19c4SJed Brown }
1018a43b19c4SJed Brown 
1019a43b19c4SJed Brown #undef __FUNCT__
10204a2ae208SSatish Balay #define __FUNCT__ "TSGetTimeStep"
1021d763cef2SBarry Smith /*@
1022d763cef2SBarry Smith    TSGetTimeStep - Gets the current timestep size.
1023d763cef2SBarry Smith 
1024d763cef2SBarry Smith    Not Collective
1025d763cef2SBarry Smith 
1026d763cef2SBarry Smith    Input Parameter:
1027d763cef2SBarry Smith .  ts - the TS context obtained from TSCreate()
1028d763cef2SBarry Smith 
1029d763cef2SBarry Smith    Output Parameter:
1030d763cef2SBarry Smith .  dt - the current timestep size
1031d763cef2SBarry Smith 
1032d763cef2SBarry Smith    Level: intermediate
1033d763cef2SBarry Smith 
1034d763cef2SBarry Smith .seealso: TSSetInitialTimeStep(), TSGetTimeStep()
1035d763cef2SBarry Smith 
1036d763cef2SBarry Smith .keywords: TS, get, timestep
1037d763cef2SBarry Smith @*/
10387087cfbeSBarry Smith PetscErrorCode  TSGetTimeStep(TS ts,PetscReal* dt)
1039d763cef2SBarry Smith {
1040d763cef2SBarry Smith   PetscFunctionBegin;
10410700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
10424482741eSBarry Smith   PetscValidDoublePointer(dt,2);
1043d763cef2SBarry Smith   *dt = ts->time_step;
1044d763cef2SBarry Smith   PetscFunctionReturn(0);
1045d763cef2SBarry Smith }
1046d763cef2SBarry Smith 
10474a2ae208SSatish Balay #undef __FUNCT__
10484a2ae208SSatish Balay #define __FUNCT__ "TSGetSolution"
1049d8e5e3e6SSatish Balay /*@
1050d763cef2SBarry Smith    TSGetSolution - Returns the solution at the present timestep. It
1051d763cef2SBarry Smith    is valid to call this routine inside the function that you are evaluating
1052d763cef2SBarry Smith    in order to move to the new timestep. This vector not changed until
1053d763cef2SBarry Smith    the solution at the next timestep has been calculated.
1054d763cef2SBarry Smith 
1055d763cef2SBarry Smith    Not Collective, but Vec returned is parallel if TS is parallel
1056d763cef2SBarry Smith 
1057d763cef2SBarry Smith    Input Parameter:
1058d763cef2SBarry Smith .  ts - the TS context obtained from TSCreate()
1059d763cef2SBarry Smith 
1060d763cef2SBarry Smith    Output Parameter:
1061d763cef2SBarry Smith .  v - the vector containing the solution
1062d763cef2SBarry Smith 
1063d763cef2SBarry Smith    Level: intermediate
1064d763cef2SBarry Smith 
1065d763cef2SBarry Smith .seealso: TSGetTimeStep()
1066d763cef2SBarry Smith 
1067d763cef2SBarry Smith .keywords: TS, timestep, get, solution
1068d763cef2SBarry Smith @*/
10697087cfbeSBarry Smith PetscErrorCode  TSGetSolution(TS ts,Vec *v)
1070d763cef2SBarry Smith {
1071d763cef2SBarry Smith   PetscFunctionBegin;
10720700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
10734482741eSBarry Smith   PetscValidPointer(v,2);
10748737fe31SLisandro Dalcin   *v = ts->vec_sol;
1075d763cef2SBarry Smith   PetscFunctionReturn(0);
1076d763cef2SBarry Smith }
1077d763cef2SBarry Smith 
1078bdad233fSMatthew Knepley /* ----- Routines to initialize and destroy a timestepper ---- */
10794a2ae208SSatish Balay #undef __FUNCT__
1080bdad233fSMatthew Knepley #define __FUNCT__ "TSSetProblemType"
1081d8e5e3e6SSatish Balay /*@
1082bdad233fSMatthew Knepley   TSSetProblemType - Sets the type of problem to be solved.
1083d763cef2SBarry Smith 
1084bdad233fSMatthew Knepley   Not collective
1085d763cef2SBarry Smith 
1086bdad233fSMatthew Knepley   Input Parameters:
1087bdad233fSMatthew Knepley + ts   - The TS
1088bdad233fSMatthew Knepley - type - One of TS_LINEAR, TS_NONLINEAR where these types refer to problems of the forms
1089d763cef2SBarry Smith .vb
1090d763cef2SBarry Smith          U_t = A U
1091d763cef2SBarry Smith          U_t = A(t) U
1092d763cef2SBarry Smith          U_t = F(t,U)
1093d763cef2SBarry Smith .ve
1094d763cef2SBarry Smith 
1095d763cef2SBarry Smith    Level: beginner
1096d763cef2SBarry Smith 
1097bdad233fSMatthew Knepley .keywords: TS, problem type
1098bdad233fSMatthew Knepley .seealso: TSSetUp(), TSProblemType, TS
1099d763cef2SBarry Smith @*/
11007087cfbeSBarry Smith PetscErrorCode  TSSetProblemType(TS ts, TSProblemType type)
1101a7cc72afSBarry Smith {
11029e2a6581SJed Brown   PetscErrorCode ierr;
11039e2a6581SJed Brown 
1104d763cef2SBarry Smith   PetscFunctionBegin;
11050700a824SBarry Smith   PetscValidHeaderSpecific(ts, TS_CLASSID,1);
1106bdad233fSMatthew Knepley   ts->problem_type = type;
11079e2a6581SJed Brown   if (type == TS_LINEAR) {
11089e2a6581SJed Brown     SNES snes;
11099e2a6581SJed Brown     ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
11109e2a6581SJed Brown     ierr = SNESSetType(snes,SNESKSPONLY);CHKERRQ(ierr);
11119e2a6581SJed Brown   }
1112d763cef2SBarry Smith   PetscFunctionReturn(0);
1113d763cef2SBarry Smith }
1114d763cef2SBarry Smith 
1115bdad233fSMatthew Knepley #undef __FUNCT__
1116bdad233fSMatthew Knepley #define __FUNCT__ "TSGetProblemType"
1117bdad233fSMatthew Knepley /*@C
1118bdad233fSMatthew Knepley   TSGetProblemType - Gets the type of problem to be solved.
1119bdad233fSMatthew Knepley 
1120bdad233fSMatthew Knepley   Not collective
1121bdad233fSMatthew Knepley 
1122bdad233fSMatthew Knepley   Input Parameter:
1123bdad233fSMatthew Knepley . ts   - The TS
1124bdad233fSMatthew Knepley 
1125bdad233fSMatthew Knepley   Output Parameter:
1126bdad233fSMatthew Knepley . type - One of TS_LINEAR, TS_NONLINEAR where these types refer to problems of the forms
1127bdad233fSMatthew Knepley .vb
1128089b2837SJed Brown          M U_t = A U
1129089b2837SJed Brown          M(t) U_t = A(t) U
1130bdad233fSMatthew Knepley          U_t = F(t,U)
1131bdad233fSMatthew Knepley .ve
1132bdad233fSMatthew Knepley 
1133bdad233fSMatthew Knepley    Level: beginner
1134bdad233fSMatthew Knepley 
1135bdad233fSMatthew Knepley .keywords: TS, problem type
1136bdad233fSMatthew Knepley .seealso: TSSetUp(), TSProblemType, TS
1137bdad233fSMatthew Knepley @*/
11387087cfbeSBarry Smith PetscErrorCode  TSGetProblemType(TS ts, TSProblemType *type)
1139a7cc72afSBarry Smith {
1140bdad233fSMatthew Knepley   PetscFunctionBegin;
11410700a824SBarry Smith   PetscValidHeaderSpecific(ts, TS_CLASSID,1);
11424482741eSBarry Smith   PetscValidIntPointer(type,2);
1143bdad233fSMatthew Knepley   *type = ts->problem_type;
1144bdad233fSMatthew Knepley   PetscFunctionReturn(0);
1145bdad233fSMatthew Knepley }
1146d763cef2SBarry Smith 
11474a2ae208SSatish Balay #undef __FUNCT__
11484a2ae208SSatish Balay #define __FUNCT__ "TSSetUp"
1149d763cef2SBarry Smith /*@
1150d763cef2SBarry Smith    TSSetUp - Sets up the internal data structures for the later use
1151d763cef2SBarry Smith    of a timestepper.
1152d763cef2SBarry Smith 
1153d763cef2SBarry Smith    Collective on TS
1154d763cef2SBarry Smith 
1155d763cef2SBarry Smith    Input Parameter:
1156d763cef2SBarry Smith .  ts - the TS context obtained from TSCreate()
1157d763cef2SBarry Smith 
1158d763cef2SBarry Smith    Notes:
1159d763cef2SBarry Smith    For basic use of the TS solvers the user need not explicitly call
1160d763cef2SBarry Smith    TSSetUp(), since these actions will automatically occur during
1161d763cef2SBarry Smith    the call to TSStep().  However, if one wishes to control this
1162d763cef2SBarry Smith    phase separately, TSSetUp() should be called after TSCreate()
1163d763cef2SBarry Smith    and optional routines of the form TSSetXXX(), but before TSStep().
1164d763cef2SBarry Smith 
1165d763cef2SBarry Smith    Level: advanced
1166d763cef2SBarry Smith 
1167d763cef2SBarry Smith .keywords: TS, timestep, setup
1168d763cef2SBarry Smith 
1169d763cef2SBarry Smith .seealso: TSCreate(), TSStep(), TSDestroy()
1170d763cef2SBarry Smith @*/
11717087cfbeSBarry Smith PetscErrorCode  TSSetUp(TS ts)
1172d763cef2SBarry Smith {
1173dfbe8321SBarry Smith   PetscErrorCode ierr;
1174d763cef2SBarry Smith 
1175d763cef2SBarry Smith   PetscFunctionBegin;
11760700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
1177277b19d0SLisandro Dalcin   if (ts->setupcalled) PetscFunctionReturn(0);
1178277b19d0SLisandro Dalcin 
11797adad957SLisandro Dalcin   if (!((PetscObject)ts)->type_name) {
11809596e0b4SJed Brown     ierr = TSSetType(ts,TSEULER);CHKERRQ(ierr);
1181d763cef2SBarry Smith   }
1182a43b19c4SJed Brown   if (ts->exact_final_time == PETSC_DECIDE) ts->exact_final_time = PETSC_FALSE;
1183277b19d0SLisandro Dalcin 
1184277b19d0SLisandro Dalcin   if (!ts->vec_sol) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONGSTATE,"Must call TSSetSolution() first");
1185277b19d0SLisandro Dalcin 
1186277b19d0SLisandro Dalcin   if (ts->ops->setup) {
1187000e7ae3SMatthew Knepley     ierr = (*ts->ops->setup)(ts);CHKERRQ(ierr);
1188277b19d0SLisandro Dalcin   }
1189277b19d0SLisandro Dalcin 
1190277b19d0SLisandro Dalcin   ts->setupcalled = PETSC_TRUE;
1191277b19d0SLisandro Dalcin   PetscFunctionReturn(0);
1192277b19d0SLisandro Dalcin }
1193277b19d0SLisandro Dalcin 
1194277b19d0SLisandro Dalcin #undef __FUNCT__
1195277b19d0SLisandro Dalcin #define __FUNCT__ "TSReset"
1196277b19d0SLisandro Dalcin /*@
1197277b19d0SLisandro Dalcin    TSReset - Resets a TS context and removes any allocated Vecs and Mats.
1198277b19d0SLisandro Dalcin 
1199277b19d0SLisandro Dalcin    Collective on TS
1200277b19d0SLisandro Dalcin 
1201277b19d0SLisandro Dalcin    Input Parameter:
1202277b19d0SLisandro Dalcin .  ts - the TS context obtained from TSCreate()
1203277b19d0SLisandro Dalcin 
1204277b19d0SLisandro Dalcin    Level: beginner
1205277b19d0SLisandro Dalcin 
1206277b19d0SLisandro Dalcin .keywords: TS, timestep, reset
1207277b19d0SLisandro Dalcin 
1208277b19d0SLisandro Dalcin .seealso: TSCreate(), TSSetup(), TSDestroy()
1209277b19d0SLisandro Dalcin @*/
1210277b19d0SLisandro Dalcin PetscErrorCode  TSReset(TS ts)
1211277b19d0SLisandro Dalcin {
1212277b19d0SLisandro Dalcin   PetscErrorCode ierr;
1213277b19d0SLisandro Dalcin 
1214277b19d0SLisandro Dalcin   PetscFunctionBegin;
1215277b19d0SLisandro Dalcin   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
1216277b19d0SLisandro Dalcin   if (ts->ops->reset) {
1217277b19d0SLisandro Dalcin     ierr = (*ts->ops->reset)(ts);CHKERRQ(ierr);
1218277b19d0SLisandro Dalcin   }
1219277b19d0SLisandro Dalcin   if (ts->snes) {ierr = SNESReset(ts->snes);CHKERRQ(ierr);}
12204e684422SJed Brown   ierr = MatDestroy(&ts->Arhs);CHKERRQ(ierr);
12214e684422SJed Brown   ierr = MatDestroy(&ts->Brhs);CHKERRQ(ierr);
1222214bc6a2SJed Brown   ierr = VecDestroy(&ts->Frhs);CHKERRQ(ierr);
12236bf464f9SBarry Smith   ierr = VecDestroy(&ts->vec_sol);CHKERRQ(ierr);
122438637c2eSJed Brown   ierr = VecDestroyVecs(ts->nwork,&ts->work);CHKERRQ(ierr);
1225277b19d0SLisandro Dalcin   ts->setupcalled = PETSC_FALSE;
1226d763cef2SBarry Smith   PetscFunctionReturn(0);
1227d763cef2SBarry Smith }
1228d763cef2SBarry Smith 
12294a2ae208SSatish Balay #undef __FUNCT__
12304a2ae208SSatish Balay #define __FUNCT__ "TSDestroy"
1231d8e5e3e6SSatish Balay /*@
1232d763cef2SBarry Smith    TSDestroy - Destroys the timestepper context that was created
1233d763cef2SBarry Smith    with TSCreate().
1234d763cef2SBarry Smith 
1235d763cef2SBarry Smith    Collective on TS
1236d763cef2SBarry Smith 
1237d763cef2SBarry Smith    Input Parameter:
1238d763cef2SBarry Smith .  ts - the TS context obtained from TSCreate()
1239d763cef2SBarry Smith 
1240d763cef2SBarry Smith    Level: beginner
1241d763cef2SBarry Smith 
1242d763cef2SBarry Smith .keywords: TS, timestepper, destroy
1243d763cef2SBarry Smith 
1244d763cef2SBarry Smith .seealso: TSCreate(), TSSetUp(), TSSolve()
1245d763cef2SBarry Smith @*/
12466bf464f9SBarry Smith PetscErrorCode  TSDestroy(TS *ts)
1247d763cef2SBarry Smith {
12486849ba73SBarry Smith   PetscErrorCode ierr;
1249d763cef2SBarry Smith 
1250d763cef2SBarry Smith   PetscFunctionBegin;
12516bf464f9SBarry Smith   if (!*ts) PetscFunctionReturn(0);
12526bf464f9SBarry Smith   PetscValidHeaderSpecific((*ts),TS_CLASSID,1);
12536bf464f9SBarry Smith   if (--((PetscObject)(*ts))->refct > 0) {*ts = 0; PetscFunctionReturn(0);}
1254d763cef2SBarry Smith 
12556bf464f9SBarry Smith   ierr = TSReset((*ts));CHKERRQ(ierr);
1256277b19d0SLisandro Dalcin 
1257be0abb6dSBarry Smith   /* if memory was published with AMS then destroy it */
12586bf464f9SBarry Smith   ierr = PetscObjectDepublish((*ts));CHKERRQ(ierr);
12596bf464f9SBarry Smith   if ((*ts)->ops->destroy) {ierr = (*(*ts)->ops->destroy)((*ts));CHKERRQ(ierr);}
12606d4c513bSLisandro Dalcin 
12616bf464f9SBarry Smith   ierr = SNESDestroy(&(*ts)->snes);CHKERRQ(ierr);
12626bf464f9SBarry Smith   ierr = DMDestroy(&(*ts)->dm);CHKERRQ(ierr);
12636bf464f9SBarry Smith   ierr = TSMonitorCancel((*ts));CHKERRQ(ierr);
12646d4c513bSLisandro Dalcin 
12653b5f76d0SSean Farley   ierr = PetscFree((*ts)->userops);
12663b5f76d0SSean Farley 
1267a79aaaedSSatish Balay   ierr = PetscHeaderDestroy(ts);CHKERRQ(ierr);
1268d763cef2SBarry Smith   PetscFunctionReturn(0);
1269d763cef2SBarry Smith }
1270d763cef2SBarry Smith 
12714a2ae208SSatish Balay #undef __FUNCT__
12724a2ae208SSatish Balay #define __FUNCT__ "TSGetSNES"
1273d8e5e3e6SSatish Balay /*@
1274d763cef2SBarry Smith    TSGetSNES - Returns the SNES (nonlinear solver) associated with
1275d763cef2SBarry Smith    a TS (timestepper) context. Valid only for nonlinear problems.
1276d763cef2SBarry Smith 
1277d763cef2SBarry Smith    Not Collective, but SNES is parallel if TS is parallel
1278d763cef2SBarry Smith 
1279d763cef2SBarry Smith    Input Parameter:
1280d763cef2SBarry Smith .  ts - the TS context obtained from TSCreate()
1281d763cef2SBarry Smith 
1282d763cef2SBarry Smith    Output Parameter:
1283d763cef2SBarry Smith .  snes - the nonlinear solver context
1284d763cef2SBarry Smith 
1285d763cef2SBarry Smith    Notes:
1286d763cef2SBarry Smith    The user can then directly manipulate the SNES context to set various
1287d763cef2SBarry Smith    options, etc.  Likewise, the user can then extract and manipulate the
128894b7f48cSBarry Smith    KSP, KSP, and PC contexts as well.
1289d763cef2SBarry Smith 
1290d763cef2SBarry Smith    TSGetSNES() does not work for integrators that do not use SNES; in
1291d763cef2SBarry Smith    this case TSGetSNES() returns PETSC_NULL in snes.
1292d763cef2SBarry Smith 
1293d763cef2SBarry Smith    Level: beginner
1294d763cef2SBarry Smith 
1295d763cef2SBarry Smith .keywords: timestep, get, SNES
1296d763cef2SBarry Smith @*/
12977087cfbeSBarry Smith PetscErrorCode  TSGetSNES(TS ts,SNES *snes)
1298d763cef2SBarry Smith {
1299d372ba47SLisandro Dalcin   PetscErrorCode ierr;
1300d372ba47SLisandro Dalcin 
1301d763cef2SBarry Smith   PetscFunctionBegin;
13020700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
13034482741eSBarry Smith   PetscValidPointer(snes,2);
1304d372ba47SLisandro Dalcin   if (!ts->snes) {
1305d372ba47SLisandro Dalcin     ierr = SNESCreate(((PetscObject)ts)->comm,&ts->snes);CHKERRQ(ierr);
1306d372ba47SLisandro Dalcin     ierr = PetscLogObjectParent(ts,ts->snes);CHKERRQ(ierr);
1307d372ba47SLisandro Dalcin     ierr = PetscObjectIncrementTabLevel((PetscObject)ts->snes,(PetscObject)ts,1);CHKERRQ(ierr);
13089e2a6581SJed Brown     if (ts->problem_type == TS_LINEAR) {
13099e2a6581SJed Brown       ierr = SNESSetType(ts->snes,SNESKSPONLY);CHKERRQ(ierr);
13109e2a6581SJed Brown     }
1311d372ba47SLisandro Dalcin   }
1312d763cef2SBarry Smith   *snes = ts->snes;
1313d763cef2SBarry Smith   PetscFunctionReturn(0);
1314d763cef2SBarry Smith }
1315d763cef2SBarry Smith 
13164a2ae208SSatish Balay #undef __FUNCT__
131794b7f48cSBarry Smith #define __FUNCT__ "TSGetKSP"
1318d8e5e3e6SSatish Balay /*@
131994b7f48cSBarry Smith    TSGetKSP - Returns the KSP (linear solver) associated with
1320d763cef2SBarry Smith    a TS (timestepper) context.
1321d763cef2SBarry Smith 
132294b7f48cSBarry Smith    Not Collective, but KSP is parallel if TS is parallel
1323d763cef2SBarry Smith 
1324d763cef2SBarry Smith    Input Parameter:
1325d763cef2SBarry Smith .  ts - the TS context obtained from TSCreate()
1326d763cef2SBarry Smith 
1327d763cef2SBarry Smith    Output Parameter:
132894b7f48cSBarry Smith .  ksp - the nonlinear solver context
1329d763cef2SBarry Smith 
1330d763cef2SBarry Smith    Notes:
133194b7f48cSBarry Smith    The user can then directly manipulate the KSP context to set various
1332d763cef2SBarry Smith    options, etc.  Likewise, the user can then extract and manipulate the
1333d763cef2SBarry Smith    KSP and PC contexts as well.
1334d763cef2SBarry Smith 
133594b7f48cSBarry Smith    TSGetKSP() does not work for integrators that do not use KSP;
133694b7f48cSBarry Smith    in this case TSGetKSP() returns PETSC_NULL in ksp.
1337d763cef2SBarry Smith 
1338d763cef2SBarry Smith    Level: beginner
1339d763cef2SBarry Smith 
134094b7f48cSBarry Smith .keywords: timestep, get, KSP
1341d763cef2SBarry Smith @*/
13427087cfbeSBarry Smith PetscErrorCode  TSGetKSP(TS ts,KSP *ksp)
1343d763cef2SBarry Smith {
1344d372ba47SLisandro Dalcin   PetscErrorCode ierr;
1345089b2837SJed Brown   SNES           snes;
1346d372ba47SLisandro Dalcin 
1347d763cef2SBarry Smith   PetscFunctionBegin;
13480700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
13494482741eSBarry Smith   PetscValidPointer(ksp,2);
135017186662SBarry Smith   if (!((PetscObject)ts)->type_name) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_NULL,"KSP is not created yet. Call TSSetType() first");
1351e32f2f54SBarry Smith   if (ts->problem_type != TS_LINEAR) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_WRONG,"Linear only; use TSGetSNES()");
1352089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
1353089b2837SJed Brown   ierr = SNESGetKSP(snes,ksp);CHKERRQ(ierr);
1354d763cef2SBarry Smith   PetscFunctionReturn(0);
1355d763cef2SBarry Smith }
1356d763cef2SBarry Smith 
1357d763cef2SBarry Smith /* ----------- Routines to set solver parameters ---------- */
1358d763cef2SBarry Smith 
13594a2ae208SSatish Balay #undef __FUNCT__
1360adb62b0dSMatthew Knepley #define __FUNCT__ "TSGetDuration"
1361adb62b0dSMatthew Knepley /*@
1362adb62b0dSMatthew Knepley    TSGetDuration - Gets the maximum number of timesteps to use and
1363adb62b0dSMatthew Knepley    maximum time for iteration.
1364adb62b0dSMatthew Knepley 
13653f9fe445SBarry Smith    Not Collective
1366adb62b0dSMatthew Knepley 
1367adb62b0dSMatthew Knepley    Input Parameters:
1368adb62b0dSMatthew Knepley +  ts       - the TS context obtained from TSCreate()
1369adb62b0dSMatthew Knepley .  maxsteps - maximum number of iterations to use, or PETSC_NULL
1370adb62b0dSMatthew Knepley -  maxtime  - final time to iterate to, or PETSC_NULL
1371adb62b0dSMatthew Knepley 
1372adb62b0dSMatthew Knepley    Level: intermediate
1373adb62b0dSMatthew Knepley 
1374adb62b0dSMatthew Knepley .keywords: TS, timestep, get, maximum, iterations, time
1375adb62b0dSMatthew Knepley @*/
13767087cfbeSBarry Smith PetscErrorCode  TSGetDuration(TS ts, PetscInt *maxsteps, PetscReal *maxtime)
1377adb62b0dSMatthew Knepley {
1378adb62b0dSMatthew Knepley   PetscFunctionBegin;
13790700a824SBarry Smith   PetscValidHeaderSpecific(ts, TS_CLASSID,1);
1380abc0a331SBarry Smith   if (maxsteps) {
13814482741eSBarry Smith     PetscValidIntPointer(maxsteps,2);
1382adb62b0dSMatthew Knepley     *maxsteps = ts->max_steps;
1383adb62b0dSMatthew Knepley   }
1384abc0a331SBarry Smith   if (maxtime ) {
13854482741eSBarry Smith     PetscValidScalarPointer(maxtime,3);
1386adb62b0dSMatthew Knepley     *maxtime  = ts->max_time;
1387adb62b0dSMatthew Knepley   }
1388adb62b0dSMatthew Knepley   PetscFunctionReturn(0);
1389adb62b0dSMatthew Knepley }
1390adb62b0dSMatthew Knepley 
1391adb62b0dSMatthew Knepley #undef __FUNCT__
13924a2ae208SSatish Balay #define __FUNCT__ "TSSetDuration"
1393d763cef2SBarry Smith /*@
1394d763cef2SBarry Smith    TSSetDuration - Sets the maximum number of timesteps to use and
1395d763cef2SBarry Smith    maximum time for iteration.
1396d763cef2SBarry Smith 
13973f9fe445SBarry Smith    Logically Collective on TS
1398d763cef2SBarry Smith 
1399d763cef2SBarry Smith    Input Parameters:
1400d763cef2SBarry Smith +  ts - the TS context obtained from TSCreate()
1401d763cef2SBarry Smith .  maxsteps - maximum number of iterations to use
1402d763cef2SBarry Smith -  maxtime - final time to iterate to
1403d763cef2SBarry Smith 
1404d763cef2SBarry Smith    Options Database Keys:
1405d763cef2SBarry Smith .  -ts_max_steps <maxsteps> - Sets maxsteps
1406d763cef2SBarry Smith .  -ts_max_time <maxtime> - Sets maxtime
1407d763cef2SBarry Smith 
1408d763cef2SBarry Smith    Notes:
1409d763cef2SBarry Smith    The default maximum number of iterations is 5000. Default time is 5.0
1410d763cef2SBarry Smith 
1411d763cef2SBarry Smith    Level: intermediate
1412d763cef2SBarry Smith 
1413d763cef2SBarry Smith .keywords: TS, timestep, set, maximum, iterations
1414a43b19c4SJed Brown 
1415a43b19c4SJed Brown .seealso: TSSetExactFinalTime()
1416d763cef2SBarry Smith @*/
14177087cfbeSBarry Smith PetscErrorCode  TSSetDuration(TS ts,PetscInt maxsteps,PetscReal maxtime)
1418d763cef2SBarry Smith {
1419d763cef2SBarry Smith   PetscFunctionBegin;
14200700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
1421c5eb9154SBarry Smith   PetscValidLogicalCollectiveInt(ts,maxsteps,2);
1422c5eb9154SBarry Smith   PetscValidLogicalCollectiveReal(ts,maxtime,2);
142339b7ec4bSSean Farley   if (maxsteps >= 0) ts->max_steps = maxsteps;
142439b7ec4bSSean Farley   if (maxtime != PETSC_DEFAULT) ts->max_time  = maxtime;
1425d763cef2SBarry Smith   PetscFunctionReturn(0);
1426d763cef2SBarry Smith }
1427d763cef2SBarry Smith 
14284a2ae208SSatish Balay #undef __FUNCT__
14294a2ae208SSatish Balay #define __FUNCT__ "TSSetSolution"
1430d763cef2SBarry Smith /*@
1431d763cef2SBarry Smith    TSSetSolution - Sets the initial solution vector
1432d763cef2SBarry Smith    for use by the TS routines.
1433d763cef2SBarry Smith 
14343f9fe445SBarry Smith    Logically Collective on TS and Vec
1435d763cef2SBarry Smith 
1436d763cef2SBarry Smith    Input Parameters:
1437d763cef2SBarry Smith +  ts - the TS context obtained from TSCreate()
1438d763cef2SBarry Smith -  x - the solution vector
1439d763cef2SBarry Smith 
1440d763cef2SBarry Smith    Level: beginner
1441d763cef2SBarry Smith 
1442d763cef2SBarry Smith .keywords: TS, timestep, set, solution, initial conditions
1443d763cef2SBarry Smith @*/
14447087cfbeSBarry Smith PetscErrorCode  TSSetSolution(TS ts,Vec x)
1445d763cef2SBarry Smith {
14468737fe31SLisandro Dalcin   PetscErrorCode ierr;
14478737fe31SLisandro Dalcin 
1448d763cef2SBarry Smith   PetscFunctionBegin;
14490700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
14500700a824SBarry Smith   PetscValidHeaderSpecific(x,VEC_CLASSID,2);
14518737fe31SLisandro Dalcin   ierr = PetscObjectReference((PetscObject)x);CHKERRQ(ierr);
14526bf464f9SBarry Smith   ierr = VecDestroy(&ts->vec_sol);CHKERRQ(ierr);
14538737fe31SLisandro Dalcin   ts->vec_sol = x;
1454d763cef2SBarry Smith   PetscFunctionReturn(0);
1455d763cef2SBarry Smith }
1456d763cef2SBarry Smith 
1457e74ef692SMatthew Knepley #undef __FUNCT__
1458e74ef692SMatthew Knepley #define __FUNCT__ "TSSetPreStep"
1459ac226902SBarry Smith /*@C
1460000e7ae3SMatthew Knepley   TSSetPreStep - Sets the general-purpose function
14613f2090d5SJed Brown   called once at the beginning of each time step.
1462000e7ae3SMatthew Knepley 
14633f9fe445SBarry Smith   Logically Collective on TS
1464000e7ae3SMatthew Knepley 
1465000e7ae3SMatthew Knepley   Input Parameters:
1466000e7ae3SMatthew Knepley + ts   - The TS context obtained from TSCreate()
1467000e7ae3SMatthew Knepley - func - The function
1468000e7ae3SMatthew Knepley 
1469000e7ae3SMatthew Knepley   Calling sequence of func:
1470000e7ae3SMatthew Knepley . func (TS ts);
1471000e7ae3SMatthew Knepley 
1472000e7ae3SMatthew Knepley   Level: intermediate
1473000e7ae3SMatthew Knepley 
1474000e7ae3SMatthew Knepley .keywords: TS, timestep
1475000e7ae3SMatthew Knepley @*/
14767087cfbeSBarry Smith PetscErrorCode  TSSetPreStep(TS ts, PetscErrorCode (*func)(TS))
1477000e7ae3SMatthew Knepley {
1478000e7ae3SMatthew Knepley   PetscFunctionBegin;
14790700a824SBarry Smith   PetscValidHeaderSpecific(ts, TS_CLASSID,1);
1480000e7ae3SMatthew Knepley   ts->ops->prestep = func;
1481000e7ae3SMatthew Knepley   PetscFunctionReturn(0);
1482000e7ae3SMatthew Knepley }
1483000e7ae3SMatthew Knepley 
1484e74ef692SMatthew Knepley #undef __FUNCT__
14853f2090d5SJed Brown #define __FUNCT__ "TSPreStep"
14863f2090d5SJed Brown /*@C
14873f2090d5SJed Brown   TSPreStep - Runs the user-defined pre-step function.
14883f2090d5SJed Brown 
14893f2090d5SJed Brown   Collective on TS
14903f2090d5SJed Brown 
14913f2090d5SJed Brown   Input Parameters:
14923f2090d5SJed Brown . ts   - The TS context obtained from TSCreate()
14933f2090d5SJed Brown 
14943f2090d5SJed Brown   Notes:
14953f2090d5SJed Brown   TSPreStep() is typically used within time stepping implementations,
14963f2090d5SJed Brown   so most users would not generally call this routine themselves.
14973f2090d5SJed Brown 
14983f2090d5SJed Brown   Level: developer
14993f2090d5SJed Brown 
15003f2090d5SJed Brown .keywords: TS, timestep
15013f2090d5SJed Brown @*/
15027087cfbeSBarry Smith PetscErrorCode  TSPreStep(TS ts)
15033f2090d5SJed Brown {
15043f2090d5SJed Brown   PetscErrorCode ierr;
15053f2090d5SJed Brown 
15063f2090d5SJed Brown   PetscFunctionBegin;
15070700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
150872ac3e02SJed Brown   if (ts->ops->prestep) {
15093f2090d5SJed Brown     PetscStackPush("TS PreStep function");
15103f2090d5SJed Brown     ierr = (*ts->ops->prestep)(ts);CHKERRQ(ierr);
15113f2090d5SJed Brown     PetscStackPop;
1512312ce896SJed Brown   }
15133f2090d5SJed Brown   PetscFunctionReturn(0);
15143f2090d5SJed Brown }
15153f2090d5SJed Brown 
15163f2090d5SJed Brown #undef __FUNCT__
1517e74ef692SMatthew Knepley #define __FUNCT__ "TSSetPostStep"
1518ac226902SBarry Smith /*@C
1519000e7ae3SMatthew Knepley   TSSetPostStep - Sets the general-purpose function
15203f2090d5SJed Brown   called once at the end of each time step.
1521000e7ae3SMatthew Knepley 
15223f9fe445SBarry Smith   Logically Collective on TS
1523000e7ae3SMatthew Knepley 
1524000e7ae3SMatthew Knepley   Input Parameters:
1525000e7ae3SMatthew Knepley + ts   - The TS context obtained from TSCreate()
1526000e7ae3SMatthew Knepley - func - The function
1527000e7ae3SMatthew Knepley 
1528000e7ae3SMatthew Knepley   Calling sequence of func:
1529000e7ae3SMatthew Knepley . func (TS ts);
1530000e7ae3SMatthew Knepley 
1531000e7ae3SMatthew Knepley   Level: intermediate
1532000e7ae3SMatthew Knepley 
1533000e7ae3SMatthew Knepley .keywords: TS, timestep
1534000e7ae3SMatthew Knepley @*/
15357087cfbeSBarry Smith PetscErrorCode  TSSetPostStep(TS ts, PetscErrorCode (*func)(TS))
1536000e7ae3SMatthew Knepley {
1537000e7ae3SMatthew Knepley   PetscFunctionBegin;
15380700a824SBarry Smith   PetscValidHeaderSpecific(ts, TS_CLASSID,1);
1539000e7ae3SMatthew Knepley   ts->ops->poststep = func;
1540000e7ae3SMatthew Knepley   PetscFunctionReturn(0);
1541000e7ae3SMatthew Knepley }
1542000e7ae3SMatthew Knepley 
1543e74ef692SMatthew Knepley #undef __FUNCT__
15443f2090d5SJed Brown #define __FUNCT__ "TSPostStep"
15453f2090d5SJed Brown /*@C
15463f2090d5SJed Brown   TSPostStep - Runs the user-defined post-step function.
15473f2090d5SJed Brown 
15483f2090d5SJed Brown   Collective on TS
15493f2090d5SJed Brown 
15503f2090d5SJed Brown   Input Parameters:
15513f2090d5SJed Brown . ts   - The TS context obtained from TSCreate()
15523f2090d5SJed Brown 
15533f2090d5SJed Brown   Notes:
15543f2090d5SJed Brown   TSPostStep() is typically used within time stepping implementations,
15553f2090d5SJed Brown   so most users would not generally call this routine themselves.
15563f2090d5SJed Brown 
15573f2090d5SJed Brown   Level: developer
15583f2090d5SJed Brown 
15593f2090d5SJed Brown .keywords: TS, timestep
15603f2090d5SJed Brown @*/
15617087cfbeSBarry Smith PetscErrorCode  TSPostStep(TS ts)
15623f2090d5SJed Brown {
15633f2090d5SJed Brown   PetscErrorCode ierr;
15643f2090d5SJed Brown 
15653f2090d5SJed Brown   PetscFunctionBegin;
15660700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
156772ac3e02SJed Brown   if (ts->ops->poststep) {
15683f2090d5SJed Brown     PetscStackPush("TS PostStep function");
15693f2090d5SJed Brown     ierr = (*ts->ops->poststep)(ts);CHKERRQ(ierr);
15703f2090d5SJed Brown     PetscStackPop;
157172ac3e02SJed Brown   }
15723f2090d5SJed Brown   PetscFunctionReturn(0);
15733f2090d5SJed Brown }
15743f2090d5SJed Brown 
1575d763cef2SBarry Smith /* ------------ Routines to set performance monitoring options ----------- */
1576d763cef2SBarry Smith 
15774a2ae208SSatish Balay #undef __FUNCT__
1578a6570f20SBarry Smith #define __FUNCT__ "TSMonitorSet"
1579d763cef2SBarry Smith /*@C
1580a6570f20SBarry Smith    TSMonitorSet - Sets an ADDITIONAL function that is to be used at every
1581d763cef2SBarry Smith    timestep to display the iteration's  progress.
1582d763cef2SBarry Smith 
15833f9fe445SBarry Smith    Logically Collective on TS
1584d763cef2SBarry Smith 
1585d763cef2SBarry Smith    Input Parameters:
1586d763cef2SBarry Smith +  ts - the TS context obtained from TSCreate()
1587e213d8f1SJed Brown .  monitor - monitoring routine
1588329f5518SBarry Smith .  mctx - [optional] user-defined context for private data for the
1589b3006f0bSLois Curfman McInnes              monitor routine (use PETSC_NULL if no context is desired)
1590b3006f0bSLois Curfman McInnes -  monitordestroy - [optional] routine that frees monitor context
1591b3006f0bSLois Curfman McInnes           (may be PETSC_NULL)
1592d763cef2SBarry Smith 
1593e213d8f1SJed Brown    Calling sequence of monitor:
1594e213d8f1SJed Brown $    int monitor(TS ts,PetscInt steps,PetscReal time,Vec x,void *mctx)
1595d763cef2SBarry Smith 
1596d763cef2SBarry Smith +    ts - the TS context
1597d763cef2SBarry Smith .    steps - iteration number
15981f06c33eSBarry Smith .    time - current time
1599d763cef2SBarry Smith .    x - current iterate
1600d763cef2SBarry Smith -    mctx - [optional] monitoring context
1601d763cef2SBarry Smith 
1602d763cef2SBarry Smith    Notes:
1603d763cef2SBarry Smith    This routine adds an additional monitor to the list of monitors that
1604d763cef2SBarry Smith    already has been loaded.
1605d763cef2SBarry Smith 
1606025f1a04SBarry Smith    Fortran notes: Only a single monitor function can be set for each TS object
1607025f1a04SBarry Smith 
1608d763cef2SBarry Smith    Level: intermediate
1609d763cef2SBarry Smith 
1610d763cef2SBarry Smith .keywords: TS, timestep, set, monitor
1611d763cef2SBarry Smith 
1612a6570f20SBarry Smith .seealso: TSMonitorDefault(), TSMonitorCancel()
1613d763cef2SBarry Smith @*/
1614c2efdce3SBarry Smith PetscErrorCode  TSMonitorSet(TS ts,PetscErrorCode (*monitor)(TS,PetscInt,PetscReal,Vec,void*),void *mctx,PetscErrorCode (*mdestroy)(void**))
1615d763cef2SBarry Smith {
1616d763cef2SBarry Smith   PetscFunctionBegin;
16170700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
161817186662SBarry Smith   if (ts->numbermonitors >= MAXTSMONITORS) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"Too many monitors set");
1619d763cef2SBarry Smith   ts->monitor[ts->numbermonitors]           = monitor;
1620329f5518SBarry Smith   ts->mdestroy[ts->numbermonitors]          = mdestroy;
1621d763cef2SBarry Smith   ts->monitorcontext[ts->numbermonitors++]  = (void*)mctx;
1622d763cef2SBarry Smith   PetscFunctionReturn(0);
1623d763cef2SBarry Smith }
1624d763cef2SBarry Smith 
16254a2ae208SSatish Balay #undef __FUNCT__
1626a6570f20SBarry Smith #define __FUNCT__ "TSMonitorCancel"
1627d763cef2SBarry Smith /*@C
1628a6570f20SBarry Smith    TSMonitorCancel - Clears all the monitors that have been set on a time-step object.
1629d763cef2SBarry Smith 
16303f9fe445SBarry Smith    Logically Collective on TS
1631d763cef2SBarry Smith 
1632d763cef2SBarry Smith    Input Parameters:
1633d763cef2SBarry Smith .  ts - the TS context obtained from TSCreate()
1634d763cef2SBarry Smith 
1635d763cef2SBarry Smith    Notes:
1636d763cef2SBarry Smith    There is no way to remove a single, specific monitor.
1637d763cef2SBarry Smith 
1638d763cef2SBarry Smith    Level: intermediate
1639d763cef2SBarry Smith 
1640d763cef2SBarry Smith .keywords: TS, timestep, set, monitor
1641d763cef2SBarry Smith 
1642a6570f20SBarry Smith .seealso: TSMonitorDefault(), TSMonitorSet()
1643d763cef2SBarry Smith @*/
16447087cfbeSBarry Smith PetscErrorCode  TSMonitorCancel(TS ts)
1645d763cef2SBarry Smith {
1646d952e501SBarry Smith   PetscErrorCode ierr;
1647d952e501SBarry Smith   PetscInt       i;
1648d952e501SBarry Smith 
1649d763cef2SBarry Smith   PetscFunctionBegin;
16500700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
1651d952e501SBarry Smith   for (i=0; i<ts->numbermonitors; i++) {
1652d952e501SBarry Smith     if (ts->mdestroy[i]) {
16533c4aec1bSBarry Smith       ierr = (*ts->mdestroy[i])(&ts->monitorcontext[i]);CHKERRQ(ierr);
1654d952e501SBarry Smith     }
1655d952e501SBarry Smith   }
1656d763cef2SBarry Smith   ts->numbermonitors = 0;
1657d763cef2SBarry Smith   PetscFunctionReturn(0);
1658d763cef2SBarry Smith }
1659d763cef2SBarry Smith 
16604a2ae208SSatish Balay #undef __FUNCT__
1661a6570f20SBarry Smith #define __FUNCT__ "TSMonitorDefault"
1662d8e5e3e6SSatish Balay /*@
1663a6570f20SBarry Smith    TSMonitorDefault - Sets the Default monitor
16645516499fSSatish Balay 
16655516499fSSatish Balay    Level: intermediate
166641251cbbSSatish Balay 
16675516499fSSatish Balay .keywords: TS, set, monitor
16685516499fSSatish Balay 
166941251cbbSSatish Balay .seealso: TSMonitorDefault(), TSMonitorSet()
167041251cbbSSatish Balay @*/
1671649052a6SBarry Smith PetscErrorCode TSMonitorDefault(TS ts,PetscInt step,PetscReal ptime,Vec v,void *dummy)
1672d763cef2SBarry Smith {
1673dfbe8321SBarry Smith   PetscErrorCode ierr;
1674649052a6SBarry Smith   PetscViewer    viewer = dummy ? (PetscViewer) dummy : PETSC_VIEWER_STDOUT_(((PetscObject)ts)->comm);
1675d132466eSBarry Smith 
1676d763cef2SBarry Smith   PetscFunctionBegin;
1677649052a6SBarry Smith   ierr = PetscViewerASCIIAddTab(viewer,((PetscObject)ts)->tablevel);CHKERRQ(ierr);
1678649052a6SBarry Smith   ierr = PetscViewerASCIIPrintf(viewer,"%D TS dt %G time %G\n",step,ts->time_step,ptime);CHKERRQ(ierr);
1679649052a6SBarry Smith   ierr = PetscViewerASCIISubtractTab(viewer,((PetscObject)ts)->tablevel);CHKERRQ(ierr);
1680d763cef2SBarry Smith   PetscFunctionReturn(0);
1681d763cef2SBarry Smith }
1682d763cef2SBarry Smith 
16834a2ae208SSatish Balay #undef __FUNCT__
1684cd652676SJed Brown #define __FUNCT__ "TSSetRetainStages"
1685cd652676SJed Brown /*@
1686cd652676SJed Brown    TSSetRetainStages - Request that all stages in the upcoming step be stored so that interpolation will be available.
1687cd652676SJed Brown 
1688cd652676SJed Brown    Logically Collective on TS
1689cd652676SJed Brown 
1690cd652676SJed Brown    Input Argument:
1691cd652676SJed Brown .  ts - time stepping context
1692cd652676SJed Brown 
1693cd652676SJed Brown    Output Argument:
1694cd652676SJed Brown .  flg - PETSC_TRUE or PETSC_FALSE
1695cd652676SJed Brown 
1696cd652676SJed Brown    Level: intermediate
1697cd652676SJed Brown 
1698cd652676SJed Brown .keywords: TS, set
1699cd652676SJed Brown 
1700cd652676SJed Brown .seealso: TSInterpolate(), TSSetPostStep()
1701cd652676SJed Brown @*/
1702cd652676SJed Brown PetscErrorCode TSSetRetainStages(TS ts,PetscBool flg)
1703cd652676SJed Brown {
1704cd652676SJed Brown 
1705cd652676SJed Brown   PetscFunctionBegin;
1706cd652676SJed Brown   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
1707cd652676SJed Brown   ts->retain_stages = flg;
1708cd652676SJed Brown   PetscFunctionReturn(0);
1709cd652676SJed Brown }
1710cd652676SJed Brown 
1711cd652676SJed Brown #undef __FUNCT__
1712cd652676SJed Brown #define __FUNCT__ "TSInterpolate"
1713cd652676SJed Brown /*@
1714cd652676SJed Brown    TSInterpolate - Interpolate the solution computed during the previous step to an arbitrary location in the interval
1715cd652676SJed Brown 
1716cd652676SJed Brown    Collective on TS
1717cd652676SJed Brown 
1718cd652676SJed Brown    Input Argument:
1719cd652676SJed Brown +  ts - time stepping context
1720cd652676SJed Brown -  t - time to interpolate to
1721cd652676SJed Brown 
1722cd652676SJed Brown    Output Argument:
1723cd652676SJed Brown .  X - state at given time
1724cd652676SJed Brown 
1725cd652676SJed Brown    Notes:
1726cd652676SJed Brown    The user should call TSSetRetainStages() before taking a step in which interpolation will be requested.
1727cd652676SJed Brown 
1728cd652676SJed Brown    Level: intermediate
1729cd652676SJed Brown 
1730cd652676SJed Brown    Developer Notes:
1731cd652676SJed Brown    TSInterpolate() and the storing of previous steps/stages should be generalized to support delay differential equations and continuous adjoints.
1732cd652676SJed Brown 
1733cd652676SJed Brown .keywords: TS, set
1734cd652676SJed Brown 
1735cd652676SJed Brown .seealso: TSSetRetainStages(), TSSetPostStep()
1736cd652676SJed Brown @*/
1737cd652676SJed Brown PetscErrorCode TSInterpolate(TS ts,PetscReal t,Vec X)
1738cd652676SJed Brown {
1739cd652676SJed Brown   PetscErrorCode ierr;
1740cd652676SJed Brown 
1741cd652676SJed Brown   PetscFunctionBegin;
1742cd652676SJed Brown   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
1743cd652676SJed Brown   if (t < ts->ptime - ts->time_step || ts->ptime < t) SETERRQ3(((PetscObject)ts)->comm,PETSC_ERR_ARG_OUTOFRANGE,"Requested time %G not in last time steps [%G,%G]",t,ts->ptime-ts->time_step,ts->ptime);
1744cd652676SJed Brown   if (!ts->ops->interpolate) SETERRQ1(((PetscObject)ts)->comm,PETSC_ERR_SUP,"%s does not provide interpolation",((PetscObject)ts)->type_name);
1745cd652676SJed Brown   ierr = (*ts->ops->interpolate)(ts,t,X);CHKERRQ(ierr);
1746cd652676SJed Brown   PetscFunctionReturn(0);
1747cd652676SJed Brown }
1748cd652676SJed Brown 
1749cd652676SJed Brown #undef __FUNCT__
17504a2ae208SSatish Balay #define __FUNCT__ "TSStep"
1751d763cef2SBarry Smith /*@
17526d9e5789SSean Farley    TSStep - Steps one time step
1753d763cef2SBarry Smith 
1754d763cef2SBarry Smith    Collective on TS
1755d763cef2SBarry Smith 
1756d763cef2SBarry Smith    Input Parameter:
1757d763cef2SBarry Smith .  ts - the TS context obtained from TSCreate()
1758d763cef2SBarry Smith 
17596d9e5789SSean Farley    Level: intermediate
1760d763cef2SBarry Smith 
1761d763cef2SBarry Smith .keywords: TS, timestep, solve
1762d763cef2SBarry Smith 
17636d9e5789SSean Farley .seealso: TSCreate(), TSSetUp(), TSDestroy(), TSSolve()
1764d763cef2SBarry Smith @*/
1765193ac0bcSJed Brown PetscErrorCode  TSStep(TS ts)
1766d763cef2SBarry Smith {
1767dfbe8321SBarry Smith   PetscErrorCode ierr;
1768d763cef2SBarry Smith 
1769d763cef2SBarry Smith   PetscFunctionBegin;
17700700a824SBarry Smith   PetscValidHeaderSpecific(ts, TS_CLASSID,1);
1771277b19d0SLisandro Dalcin 
1772d405a339SMatthew Knepley   ierr = TSSetUp(ts);CHKERRQ(ierr);
1773d405a339SMatthew Knepley 
1774d5ba7fb7SMatthew Knepley   ierr = PetscLogEventBegin(TS_Step, ts, 0, 0, 0);CHKERRQ(ierr);
1775193ac0bcSJed Brown   ierr = (*ts->ops->step)(ts);CHKERRQ(ierr);
1776d5ba7fb7SMatthew Knepley   ierr = PetscLogEventEnd(TS_Step, ts, 0, 0, 0);CHKERRQ(ierr);
1777d763cef2SBarry Smith   PetscFunctionReturn(0);
1778d763cef2SBarry Smith }
1779d763cef2SBarry Smith 
17804a2ae208SSatish Balay #undef __FUNCT__
17816a4d4014SLisandro Dalcin #define __FUNCT__ "TSSolve"
17826a4d4014SLisandro Dalcin /*@
17836a4d4014SLisandro Dalcin    TSSolve - Steps the requested number of timesteps.
17846a4d4014SLisandro Dalcin 
17856a4d4014SLisandro Dalcin    Collective on TS
17866a4d4014SLisandro Dalcin 
17876a4d4014SLisandro Dalcin    Input Parameter:
17886a4d4014SLisandro Dalcin +  ts - the TS context obtained from TSCreate()
17896a4d4014SLisandro Dalcin -  x - the solution vector, or PETSC_NULL if it was set with TSSetSolution()
17906a4d4014SLisandro Dalcin 
17915a3a76d0SJed Brown    Output Parameter:
17925a3a76d0SJed Brown .  ftime - time of the state vector x upon completion
17935a3a76d0SJed Brown 
17946a4d4014SLisandro Dalcin    Level: beginner
17956a4d4014SLisandro Dalcin 
17965a3a76d0SJed Brown    Notes:
17975a3a76d0SJed Brown    The final time returned by this function may be different from the time of the internally
17985a3a76d0SJed Brown    held state accessible by TSGetSolution() and TSGetTime() because the method may have
17995a3a76d0SJed Brown    stepped over the final time.
18005a3a76d0SJed Brown 
18016a4d4014SLisandro Dalcin .keywords: TS, timestep, solve
18026a4d4014SLisandro Dalcin 
18036a4d4014SLisandro Dalcin .seealso: TSCreate(), TSSetSolution(), TSStep()
18046a4d4014SLisandro Dalcin @*/
18055a3a76d0SJed Brown PetscErrorCode TSSolve(TS ts,Vec x,PetscReal *ftime)
18066a4d4014SLisandro Dalcin {
1807193ac0bcSJed Brown   PetscInt       i;
18084d7d938eSLisandro Dalcin   PetscBool      flg;
18094d7d938eSLisandro Dalcin   char           filename[PETSC_MAX_PATH_LEN];
18104d7d938eSLisandro Dalcin   PetscViewer    viewer;
18116a4d4014SLisandro Dalcin   PetscErrorCode ierr;
1812f22f69f0SBarry Smith 
18136a4d4014SLisandro Dalcin   PetscFunctionBegin;
18140700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
1815193ac0bcSJed Brown   PetscValidHeaderSpecific(x,VEC_CLASSID,2);
18165a3a76d0SJed Brown   if (ts->exact_final_time) {   /* Need ts->vec_sol to be distinct so it is not overwritten when we interpolate at the end */
18175a3a76d0SJed Brown     if (!ts->vec_sol || x == ts->vec_sol) {
18185a3a76d0SJed Brown       Vec y;
18195a3a76d0SJed Brown       ierr = VecDuplicate(x,&y);CHKERRQ(ierr);
18205a3a76d0SJed Brown       ierr = VecCopy(x,y);CHKERRQ(ierr);
18215a3a76d0SJed Brown       ierr = TSSetSolution(ts,y);CHKERRQ(ierr);
18225a3a76d0SJed Brown       ierr = VecDestroy(&y);CHKERRQ(ierr); /* grant ownership */
18235a3a76d0SJed Brown     } else {
18245a3a76d0SJed Brown       ierr = VecCopy(x,ts->vec_sol);CHKERRQ(ierr);
18255a3a76d0SJed Brown     }
18265a3a76d0SJed Brown   } else {
1827193ac0bcSJed Brown     ierr = TSSetSolution(ts,x);CHKERRQ(ierr);
18285a3a76d0SJed Brown   }
1829b5d403baSSean Farley   ierr = TSSetUp(ts);CHKERRQ(ierr);
18306a4d4014SLisandro Dalcin   /* reset time step and iteration counters */
1831193ac0bcSJed Brown   ts->steps = 0;
1832193ac0bcSJed Brown   ts->linear_its = 0;
1833193ac0bcSJed Brown   ts->nonlinear_its = 0;
1834c610991cSLisandro Dalcin   ts->num_snes_failures = 0;
1835c610991cSLisandro Dalcin   ts->reject = 0;
1836193ac0bcSJed Brown   ts->reason = TS_CONVERGED_ITERATING;
1837193ac0bcSJed Brown   ierr = TSMonitor(ts,ts->steps,ts->ptime,ts->vec_sol);CHKERRQ(ierr);
1838193ac0bcSJed Brown 
1839193ac0bcSJed Brown   if (ts->ops->solve) {         /* This private interface is transitional and should be removed when all implementations are updated. */
1840193ac0bcSJed Brown     ierr = (*ts->ops->solve)(ts);CHKERRQ(ierr);
18415a3a76d0SJed Brown     ierr = VecCopy(ts->vec_sol,x);CHKERRQ(ierr);
1842a5b82c69SSean Farley     if (ftime) *ftime = ts->ptime;
1843193ac0bcSJed Brown   } else {
1844e1a7a14fSJed Brown     i = 0;
1845e1a7a14fSJed Brown     if (i >= ts->max_steps) ts->reason = TS_CONVERGED_ITS;
1846e1a7a14fSJed Brown     else if (ts->ptime >= ts->max_time) ts->reason = TS_CONVERGED_TIME;
18476a4d4014SLisandro Dalcin     /* steps the requested number of timesteps. */
1848e1a7a14fSJed Brown     while (!ts->reason) {
1849193ac0bcSJed Brown       ierr = TSPreStep(ts);CHKERRQ(ierr);
1850193ac0bcSJed Brown       ierr = TSStep(ts);CHKERRQ(ierr);
1851193ac0bcSJed Brown       if (ts->reason < 0) {
1852193ac0bcSJed Brown         if (ts->errorifstepfailed) SETERRQ(((PetscObject)ts)->comm,PETSC_ERR_NOT_CONVERGED,"TSStep has failed");
18533daf2de8SJed Brown       } else if (++i >= ts->max_steps) {
1854193ac0bcSJed Brown         ts->reason = TS_CONVERGED_ITS;
1855193ac0bcSJed Brown       } else if (ts->ptime >= ts->max_time) {
1856193ac0bcSJed Brown         ts->reason = TS_CONVERGED_TIME;
1857193ac0bcSJed Brown       }
1858193ac0bcSJed Brown       ierr = TSPostStep(ts);CHKERRQ(ierr);
1859193ac0bcSJed Brown       ierr = TSMonitor(ts,ts->steps,ts->ptime,ts->vec_sol);CHKERRQ(ierr);
1860193ac0bcSJed Brown     }
186169abe88aSJed Brown     if (ts->exact_final_time && ts->ptime >= ts->max_time) {
1862a43b19c4SJed Brown       ierr = TSInterpolate(ts,ts->max_time,x);CHKERRQ(ierr);
18635a3a76d0SJed Brown       if (ftime) *ftime = ts->max_time;
18640574a7fbSJed Brown     } else {
18650574a7fbSJed Brown       if (x != ts->vec_sol) {
18660574a7fbSJed Brown         ierr = VecCopy(ts->vec_sol,x);CHKERRQ(ierr);
18670574a7fbSJed Brown       }
18680574a7fbSJed Brown       if (ftime) *ftime = ts->ptime;
18690574a7fbSJed Brown     }
1870193ac0bcSJed Brown   }
18714d7d938eSLisandro Dalcin   ierr = PetscOptionsGetString(((PetscObject)ts)->prefix,"-ts_view",filename,PETSC_MAX_PATH_LEN,&flg);CHKERRQ(ierr);
18724d7d938eSLisandro Dalcin   if (flg && !PetscPreLoadingOn) {
18734d7d938eSLisandro Dalcin     ierr = PetscViewerASCIIOpen(((PetscObject)ts)->comm,filename,&viewer);CHKERRQ(ierr);
18744d7d938eSLisandro Dalcin     ierr = TSView(ts,viewer);CHKERRQ(ierr);
18754d7d938eSLisandro Dalcin     ierr = PetscViewerDestroy(&viewer);CHKERRQ(ierr);
1876193ac0bcSJed Brown   }
18776a4d4014SLisandro Dalcin   PetscFunctionReturn(0);
18786a4d4014SLisandro Dalcin }
18796a4d4014SLisandro Dalcin 
18806a4d4014SLisandro Dalcin #undef __FUNCT__
18814a2ae208SSatish Balay #define __FUNCT__ "TSMonitor"
1882d763cef2SBarry Smith /*
1883d763cef2SBarry Smith      Runs the user provided monitor routines, if they exists.
1884d763cef2SBarry Smith */
1885a7cc72afSBarry Smith PetscErrorCode TSMonitor(TS ts,PetscInt step,PetscReal ptime,Vec x)
1886d763cef2SBarry Smith {
18876849ba73SBarry Smith   PetscErrorCode ierr;
1888a7cc72afSBarry Smith   PetscInt       i,n = ts->numbermonitors;
1889d763cef2SBarry Smith 
1890d763cef2SBarry Smith   PetscFunctionBegin;
1891d763cef2SBarry Smith   for (i=0; i<n; i++) {
1892142b95e3SSatish Balay     ierr = (*ts->monitor[i])(ts,step,ptime,x,ts->monitorcontext[i]);CHKERRQ(ierr);
1893d763cef2SBarry Smith   }
1894d763cef2SBarry Smith   PetscFunctionReturn(0);
1895d763cef2SBarry Smith }
1896d763cef2SBarry Smith 
1897d763cef2SBarry Smith /* ------------------------------------------------------------------------*/
1898d763cef2SBarry Smith 
18994a2ae208SSatish Balay #undef __FUNCT__
1900a6570f20SBarry Smith #define __FUNCT__ "TSMonitorLGCreate"
1901d763cef2SBarry Smith /*@C
1902a6570f20SBarry Smith    TSMonitorLGCreate - Creates a line graph context for use with
1903d763cef2SBarry Smith    TS to monitor convergence of preconditioned residual norms.
1904d763cef2SBarry Smith 
1905d763cef2SBarry Smith    Collective on TS
1906d763cef2SBarry Smith 
1907d763cef2SBarry Smith    Input Parameters:
1908d763cef2SBarry Smith +  host - the X display to open, or null for the local machine
1909d763cef2SBarry Smith .  label - the title to put in the title bar
19107c922b88SBarry Smith .  x, y - the screen coordinates of the upper left coordinate of the window
1911d763cef2SBarry Smith -  m, n - the screen width and height in pixels
1912d763cef2SBarry Smith 
1913d763cef2SBarry Smith    Output Parameter:
1914d763cef2SBarry Smith .  draw - the drawing context
1915d763cef2SBarry Smith 
1916d763cef2SBarry Smith    Options Database Key:
1917a6570f20SBarry Smith .  -ts_monitor_draw - automatically sets line graph monitor
1918d763cef2SBarry Smith 
1919d763cef2SBarry Smith    Notes:
1920a6570f20SBarry Smith    Use TSMonitorLGDestroy() to destroy this line graph, not PetscDrawLGDestroy().
1921d763cef2SBarry Smith 
1922d763cef2SBarry Smith    Level: intermediate
1923d763cef2SBarry Smith 
19247c922b88SBarry Smith .keywords: TS, monitor, line graph, residual, seealso
1925d763cef2SBarry Smith 
1926a6570f20SBarry Smith .seealso: TSMonitorLGDestroy(), TSMonitorSet()
19277c922b88SBarry Smith 
1928d763cef2SBarry Smith @*/
19297087cfbeSBarry Smith PetscErrorCode  TSMonitorLGCreate(const char host[],const char label[],int x,int y,int m,int n,PetscDrawLG *draw)
1930d763cef2SBarry Smith {
1931b0a32e0cSBarry Smith   PetscDraw      win;
1932dfbe8321SBarry Smith   PetscErrorCode ierr;
1933d763cef2SBarry Smith 
1934d763cef2SBarry Smith   PetscFunctionBegin;
1935b0a32e0cSBarry Smith   ierr = PetscDrawCreate(PETSC_COMM_SELF,host,label,x,y,m,n,&win);CHKERRQ(ierr);
1936b0a32e0cSBarry Smith   ierr = PetscDrawSetType(win,PETSC_DRAW_X);CHKERRQ(ierr);
1937b0a32e0cSBarry Smith   ierr = PetscDrawLGCreate(win,1,draw);CHKERRQ(ierr);
1938b0a32e0cSBarry Smith   ierr = PetscDrawLGIndicateDataPoints(*draw);CHKERRQ(ierr);
1939d763cef2SBarry Smith 
194052e6d16bSBarry Smith   ierr = PetscLogObjectParent(*draw,win);CHKERRQ(ierr);
1941d763cef2SBarry Smith   PetscFunctionReturn(0);
1942d763cef2SBarry Smith }
1943d763cef2SBarry Smith 
19444a2ae208SSatish Balay #undef __FUNCT__
1945a6570f20SBarry Smith #define __FUNCT__ "TSMonitorLG"
1946a6570f20SBarry Smith PetscErrorCode TSMonitorLG(TS ts,PetscInt n,PetscReal ptime,Vec v,void *monctx)
1947d763cef2SBarry Smith {
1948b0a32e0cSBarry Smith   PetscDrawLG    lg = (PetscDrawLG) monctx;
194987828ca2SBarry Smith   PetscReal      x,y = ptime;
1950dfbe8321SBarry Smith   PetscErrorCode ierr;
1951d763cef2SBarry Smith 
1952d763cef2SBarry Smith   PetscFunctionBegin;
19537c922b88SBarry Smith   if (!monctx) {
19547c922b88SBarry Smith     MPI_Comm    comm;
1955b0a32e0cSBarry Smith     PetscViewer viewer;
19567c922b88SBarry Smith 
19577c922b88SBarry Smith     ierr   = PetscObjectGetComm((PetscObject)ts,&comm);CHKERRQ(ierr);
1958b0a32e0cSBarry Smith     viewer = PETSC_VIEWER_DRAW_(comm);
1959b0a32e0cSBarry Smith     ierr   = PetscViewerDrawGetDrawLG(viewer,0,&lg);CHKERRQ(ierr);
19607c922b88SBarry Smith   }
19617c922b88SBarry Smith 
1962b0a32e0cSBarry Smith   if (!n) {ierr = PetscDrawLGReset(lg);CHKERRQ(ierr);}
196387828ca2SBarry Smith   x = (PetscReal)n;
1964b0a32e0cSBarry Smith   ierr = PetscDrawLGAddPoint(lg,&x,&y);CHKERRQ(ierr);
1965d763cef2SBarry Smith   if (n < 20 || (n % 5)) {
1966b0a32e0cSBarry Smith     ierr = PetscDrawLGDraw(lg);CHKERRQ(ierr);
1967d763cef2SBarry Smith   }
1968d763cef2SBarry Smith   PetscFunctionReturn(0);
1969d763cef2SBarry Smith }
1970d763cef2SBarry Smith 
19714a2ae208SSatish Balay #undef __FUNCT__
1972a6570f20SBarry Smith #define __FUNCT__ "TSMonitorLGDestroy"
1973d763cef2SBarry Smith /*@C
1974a6570f20SBarry Smith    TSMonitorLGDestroy - Destroys a line graph context that was created
1975a6570f20SBarry Smith    with TSMonitorLGCreate().
1976d763cef2SBarry Smith 
1977b0a32e0cSBarry Smith    Collective on PetscDrawLG
1978d763cef2SBarry Smith 
1979d763cef2SBarry Smith    Input Parameter:
1980d763cef2SBarry Smith .  draw - the drawing context
1981d763cef2SBarry Smith 
1982d763cef2SBarry Smith    Level: intermediate
1983d763cef2SBarry Smith 
1984d763cef2SBarry Smith .keywords: TS, monitor, line graph, destroy
1985d763cef2SBarry Smith 
1986a6570f20SBarry Smith .seealso: TSMonitorLGCreate(),  TSMonitorSet(), TSMonitorLG();
1987d763cef2SBarry Smith @*/
19886bf464f9SBarry Smith PetscErrorCode  TSMonitorLGDestroy(PetscDrawLG *drawlg)
1989d763cef2SBarry Smith {
1990b0a32e0cSBarry Smith   PetscDraw      draw;
1991dfbe8321SBarry Smith   PetscErrorCode ierr;
1992d763cef2SBarry Smith 
1993d763cef2SBarry Smith   PetscFunctionBegin;
19946bf464f9SBarry Smith   ierr = PetscDrawLGGetDraw(*drawlg,&draw);CHKERRQ(ierr);
19956bf464f9SBarry Smith   ierr = PetscDrawDestroy(&draw);CHKERRQ(ierr);
1996b0a32e0cSBarry Smith   ierr = PetscDrawLGDestroy(drawlg);CHKERRQ(ierr);
1997d763cef2SBarry Smith   PetscFunctionReturn(0);
1998d763cef2SBarry Smith }
1999d763cef2SBarry Smith 
20004a2ae208SSatish Balay #undef __FUNCT__
20014a2ae208SSatish Balay #define __FUNCT__ "TSGetTime"
2002d763cef2SBarry Smith /*@
2003d763cef2SBarry Smith    TSGetTime - Gets the current time.
2004d763cef2SBarry Smith 
2005d763cef2SBarry Smith    Not Collective
2006d763cef2SBarry Smith 
2007d763cef2SBarry Smith    Input Parameter:
2008d763cef2SBarry Smith .  ts - the TS context obtained from TSCreate()
2009d763cef2SBarry Smith 
2010d763cef2SBarry Smith    Output Parameter:
2011d763cef2SBarry Smith .  t  - the current time
2012d763cef2SBarry Smith 
2013d763cef2SBarry Smith    Level: beginner
2014d763cef2SBarry Smith 
2015d763cef2SBarry Smith .seealso: TSSetInitialTimeStep(), TSGetTimeStep()
2016d763cef2SBarry Smith 
2017d763cef2SBarry Smith .keywords: TS, get, time
2018d763cef2SBarry Smith @*/
20197087cfbeSBarry Smith PetscErrorCode  TSGetTime(TS ts,PetscReal* t)
2020d763cef2SBarry Smith {
2021d763cef2SBarry Smith   PetscFunctionBegin;
20220700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
20234482741eSBarry Smith   PetscValidDoublePointer(t,2);
2024d763cef2SBarry Smith   *t = ts->ptime;
2025d763cef2SBarry Smith   PetscFunctionReturn(0);
2026d763cef2SBarry Smith }
2027d763cef2SBarry Smith 
20284a2ae208SSatish Balay #undef __FUNCT__
20296a4d4014SLisandro Dalcin #define __FUNCT__ "TSSetTime"
20306a4d4014SLisandro Dalcin /*@
20316a4d4014SLisandro Dalcin    TSSetTime - Allows one to reset the time.
20326a4d4014SLisandro Dalcin 
20333f9fe445SBarry Smith    Logically Collective on TS
20346a4d4014SLisandro Dalcin 
20356a4d4014SLisandro Dalcin    Input Parameters:
20366a4d4014SLisandro Dalcin +  ts - the TS context obtained from TSCreate()
20376a4d4014SLisandro Dalcin -  time - the time
20386a4d4014SLisandro Dalcin 
20396a4d4014SLisandro Dalcin    Level: intermediate
20406a4d4014SLisandro Dalcin 
20416a4d4014SLisandro Dalcin .seealso: TSGetTime(), TSSetDuration()
20426a4d4014SLisandro Dalcin 
20436a4d4014SLisandro Dalcin .keywords: TS, set, time
20446a4d4014SLisandro Dalcin @*/
20457087cfbeSBarry Smith PetscErrorCode  TSSetTime(TS ts, PetscReal t)
20466a4d4014SLisandro Dalcin {
20476a4d4014SLisandro Dalcin   PetscFunctionBegin;
20480700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
2049c5eb9154SBarry Smith   PetscValidLogicalCollectiveReal(ts,t,2);
20506a4d4014SLisandro Dalcin   ts->ptime = t;
20516a4d4014SLisandro Dalcin   PetscFunctionReturn(0);
20526a4d4014SLisandro Dalcin }
20536a4d4014SLisandro Dalcin 
20546a4d4014SLisandro Dalcin #undef __FUNCT__
20554a2ae208SSatish Balay #define __FUNCT__ "TSSetOptionsPrefix"
2056d763cef2SBarry Smith /*@C
2057d763cef2SBarry Smith    TSSetOptionsPrefix - Sets the prefix used for searching for all
2058d763cef2SBarry Smith    TS options in the database.
2059d763cef2SBarry Smith 
20603f9fe445SBarry Smith    Logically Collective on TS
2061d763cef2SBarry Smith 
2062d763cef2SBarry Smith    Input Parameter:
2063d763cef2SBarry Smith +  ts     - The TS context
2064d763cef2SBarry Smith -  prefix - The prefix to prepend to all option names
2065d763cef2SBarry Smith 
2066d763cef2SBarry Smith    Notes:
2067d763cef2SBarry Smith    A hyphen (-) must NOT be given at the beginning of the prefix name.
2068d763cef2SBarry Smith    The first character of all runtime options is AUTOMATICALLY the
2069d763cef2SBarry Smith    hyphen.
2070d763cef2SBarry Smith 
2071d763cef2SBarry Smith    Level: advanced
2072d763cef2SBarry Smith 
2073d763cef2SBarry Smith .keywords: TS, set, options, prefix, database
2074d763cef2SBarry Smith 
2075d763cef2SBarry Smith .seealso: TSSetFromOptions()
2076d763cef2SBarry Smith 
2077d763cef2SBarry Smith @*/
20787087cfbeSBarry Smith PetscErrorCode  TSSetOptionsPrefix(TS ts,const char prefix[])
2079d763cef2SBarry Smith {
2080dfbe8321SBarry Smith   PetscErrorCode ierr;
2081089b2837SJed Brown   SNES           snes;
2082d763cef2SBarry Smith 
2083d763cef2SBarry Smith   PetscFunctionBegin;
20840700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
2085d763cef2SBarry Smith   ierr = PetscObjectSetOptionsPrefix((PetscObject)ts,prefix);CHKERRQ(ierr);
2086089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
2087089b2837SJed Brown   ierr = SNESSetOptionsPrefix(snes,prefix);CHKERRQ(ierr);
2088d763cef2SBarry Smith   PetscFunctionReturn(0);
2089d763cef2SBarry Smith }
2090d763cef2SBarry Smith 
2091d763cef2SBarry Smith 
20924a2ae208SSatish Balay #undef __FUNCT__
20934a2ae208SSatish Balay #define __FUNCT__ "TSAppendOptionsPrefix"
2094d763cef2SBarry Smith /*@C
2095d763cef2SBarry Smith    TSAppendOptionsPrefix - Appends to the prefix used for searching for all
2096d763cef2SBarry Smith    TS options in the database.
2097d763cef2SBarry Smith 
20983f9fe445SBarry Smith    Logically Collective on TS
2099d763cef2SBarry Smith 
2100d763cef2SBarry Smith    Input Parameter:
2101d763cef2SBarry Smith +  ts     - The TS context
2102d763cef2SBarry Smith -  prefix - The prefix to prepend to all option names
2103d763cef2SBarry Smith 
2104d763cef2SBarry Smith    Notes:
2105d763cef2SBarry Smith    A hyphen (-) must NOT be given at the beginning of the prefix name.
2106d763cef2SBarry Smith    The first character of all runtime options is AUTOMATICALLY the
2107d763cef2SBarry Smith    hyphen.
2108d763cef2SBarry Smith 
2109d763cef2SBarry Smith    Level: advanced
2110d763cef2SBarry Smith 
2111d763cef2SBarry Smith .keywords: TS, append, options, prefix, database
2112d763cef2SBarry Smith 
2113d763cef2SBarry Smith .seealso: TSGetOptionsPrefix()
2114d763cef2SBarry Smith 
2115d763cef2SBarry Smith @*/
21167087cfbeSBarry Smith PetscErrorCode  TSAppendOptionsPrefix(TS ts,const char prefix[])
2117d763cef2SBarry Smith {
2118dfbe8321SBarry Smith   PetscErrorCode ierr;
2119089b2837SJed Brown   SNES           snes;
2120d763cef2SBarry Smith 
2121d763cef2SBarry Smith   PetscFunctionBegin;
21220700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
2123d763cef2SBarry Smith   ierr = PetscObjectAppendOptionsPrefix((PetscObject)ts,prefix);CHKERRQ(ierr);
2124089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
2125089b2837SJed Brown   ierr = SNESAppendOptionsPrefix(snes,prefix);CHKERRQ(ierr);
2126d763cef2SBarry Smith   PetscFunctionReturn(0);
2127d763cef2SBarry Smith }
2128d763cef2SBarry Smith 
21294a2ae208SSatish Balay #undef __FUNCT__
21304a2ae208SSatish Balay #define __FUNCT__ "TSGetOptionsPrefix"
2131d763cef2SBarry Smith /*@C
2132d763cef2SBarry Smith    TSGetOptionsPrefix - Sets the prefix used for searching for all
2133d763cef2SBarry Smith    TS options in the database.
2134d763cef2SBarry Smith 
2135d763cef2SBarry Smith    Not Collective
2136d763cef2SBarry Smith 
2137d763cef2SBarry Smith    Input Parameter:
2138d763cef2SBarry Smith .  ts - The TS context
2139d763cef2SBarry Smith 
2140d763cef2SBarry Smith    Output Parameter:
2141d763cef2SBarry Smith .  prefix - A pointer to the prefix string used
2142d763cef2SBarry Smith 
2143d763cef2SBarry Smith    Notes: On the fortran side, the user should pass in a string 'prifix' of
2144d763cef2SBarry Smith    sufficient length to hold the prefix.
2145d763cef2SBarry Smith 
2146d763cef2SBarry Smith    Level: intermediate
2147d763cef2SBarry Smith 
2148d763cef2SBarry Smith .keywords: TS, get, options, prefix, database
2149d763cef2SBarry Smith 
2150d763cef2SBarry Smith .seealso: TSAppendOptionsPrefix()
2151d763cef2SBarry Smith @*/
21527087cfbeSBarry Smith PetscErrorCode  TSGetOptionsPrefix(TS ts,const char *prefix[])
2153d763cef2SBarry Smith {
2154dfbe8321SBarry Smith   PetscErrorCode ierr;
2155d763cef2SBarry Smith 
2156d763cef2SBarry Smith   PetscFunctionBegin;
21570700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
21584482741eSBarry Smith   PetscValidPointer(prefix,2);
2159d763cef2SBarry Smith   ierr = PetscObjectGetOptionsPrefix((PetscObject)ts,prefix);CHKERRQ(ierr);
2160d763cef2SBarry Smith   PetscFunctionReturn(0);
2161d763cef2SBarry Smith }
2162d763cef2SBarry Smith 
21634a2ae208SSatish Balay #undef __FUNCT__
21644a2ae208SSatish Balay #define __FUNCT__ "TSGetRHSJacobian"
2165d763cef2SBarry Smith /*@C
2166d763cef2SBarry Smith    TSGetRHSJacobian - Returns the Jacobian J at the present timestep.
2167d763cef2SBarry Smith 
2168d763cef2SBarry Smith    Not Collective, but parallel objects are returned if TS is parallel
2169d763cef2SBarry Smith 
2170d763cef2SBarry Smith    Input Parameter:
2171d763cef2SBarry Smith .  ts  - The TS context obtained from TSCreate()
2172d763cef2SBarry Smith 
2173d763cef2SBarry Smith    Output Parameters:
2174d763cef2SBarry Smith +  J   - The Jacobian J of F, where U_t = F(U,t)
2175d763cef2SBarry Smith .  M   - The preconditioner matrix, usually the same as J
2176089b2837SJed Brown .  func - Function to compute the Jacobian of the RHS
2177d763cef2SBarry Smith -  ctx - User-defined context for Jacobian evaluation routine
2178d763cef2SBarry Smith 
2179d763cef2SBarry Smith    Notes: You can pass in PETSC_NULL for any return argument you do not need.
2180d763cef2SBarry Smith 
2181d763cef2SBarry Smith    Level: intermediate
2182d763cef2SBarry Smith 
218326d46c62SHong Zhang .seealso: TSGetTimeStep(), TSGetMatrices(), TSGetTime(), TSGetTimeStepNumber()
2184d763cef2SBarry Smith 
2185d763cef2SBarry Smith .keywords: TS, timestep, get, matrix, Jacobian
2186d763cef2SBarry Smith @*/
2187089b2837SJed Brown PetscErrorCode  TSGetRHSJacobian(TS ts,Mat *J,Mat *M,TSRHSJacobian *func,void **ctx)
2188d763cef2SBarry Smith {
2189089b2837SJed Brown   PetscErrorCode ierr;
2190089b2837SJed Brown   SNES           snes;
2191089b2837SJed Brown 
2192d763cef2SBarry Smith   PetscFunctionBegin;
2193089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
2194089b2837SJed Brown   ierr = SNESGetJacobian(snes,J,M,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
21953b5f76d0SSean Farley   if (func) *func = ts->userops->rhsjacobian;
219626d46c62SHong Zhang   if (ctx) *ctx = ts->jacP;
2197d763cef2SBarry Smith   PetscFunctionReturn(0);
2198d763cef2SBarry Smith }
2199d763cef2SBarry Smith 
22001713a123SBarry Smith #undef __FUNCT__
22012eca1d9cSJed Brown #define __FUNCT__ "TSGetIJacobian"
22022eca1d9cSJed Brown /*@C
22032eca1d9cSJed Brown    TSGetIJacobian - Returns the implicit Jacobian at the present timestep.
22042eca1d9cSJed Brown 
22052eca1d9cSJed Brown    Not Collective, but parallel objects are returned if TS is parallel
22062eca1d9cSJed Brown 
22072eca1d9cSJed Brown    Input Parameter:
22082eca1d9cSJed Brown .  ts  - The TS context obtained from TSCreate()
22092eca1d9cSJed Brown 
22102eca1d9cSJed Brown    Output Parameters:
22112eca1d9cSJed Brown +  A   - The Jacobian of F(t,U,U_t)
22122eca1d9cSJed Brown .  B   - The preconditioner matrix, often the same as A
22132eca1d9cSJed Brown .  f   - The function to compute the matrices
22142eca1d9cSJed Brown - ctx - User-defined context for Jacobian evaluation routine
22152eca1d9cSJed Brown 
22162eca1d9cSJed Brown    Notes: You can pass in PETSC_NULL for any return argument you do not need.
22172eca1d9cSJed Brown 
22182eca1d9cSJed Brown    Level: advanced
22192eca1d9cSJed Brown 
22202eca1d9cSJed Brown .seealso: TSGetTimeStep(), TSGetRHSJacobian(), TSGetMatrices(), TSGetTime(), TSGetTimeStepNumber()
22212eca1d9cSJed Brown 
22222eca1d9cSJed Brown .keywords: TS, timestep, get, matrix, Jacobian
22232eca1d9cSJed Brown @*/
22247087cfbeSBarry Smith PetscErrorCode  TSGetIJacobian(TS ts,Mat *A,Mat *B,TSIJacobian *f,void **ctx)
22252eca1d9cSJed Brown {
2226089b2837SJed Brown   PetscErrorCode ierr;
2227089b2837SJed Brown   SNES           snes;
2228089b2837SJed Brown 
22292eca1d9cSJed Brown   PetscFunctionBegin;
2230089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
2231089b2837SJed Brown   ierr = SNESGetJacobian(snes,A,B,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
22323b5f76d0SSean Farley   if (f) *f = ts->userops->ijacobian;
22332eca1d9cSJed Brown   if (ctx) *ctx = ts->jacP;
22342eca1d9cSJed Brown   PetscFunctionReturn(0);
22352eca1d9cSJed Brown }
22362eca1d9cSJed Brown 
22372eca1d9cSJed Brown #undef __FUNCT__
2238a6570f20SBarry Smith #define __FUNCT__ "TSMonitorSolution"
22391713a123SBarry Smith /*@C
2240a6570f20SBarry Smith    TSMonitorSolution - Monitors progress of the TS solvers by calling
22411713a123SBarry Smith    VecView() for the solution at each timestep
22421713a123SBarry Smith 
22431713a123SBarry Smith    Collective on TS
22441713a123SBarry Smith 
22451713a123SBarry Smith    Input Parameters:
22461713a123SBarry Smith +  ts - the TS context
22471713a123SBarry Smith .  step - current time-step
2248142b95e3SSatish Balay .  ptime - current time
22491713a123SBarry Smith -  dummy - either a viewer or PETSC_NULL
22501713a123SBarry Smith 
22511713a123SBarry Smith    Level: intermediate
22521713a123SBarry Smith 
22531713a123SBarry Smith .keywords: TS,  vector, monitor, view
22541713a123SBarry Smith 
2255a6570f20SBarry Smith .seealso: TSMonitorSet(), TSMonitorDefault(), VecView()
22561713a123SBarry Smith @*/
22577087cfbeSBarry Smith PetscErrorCode  TSMonitorSolution(TS ts,PetscInt step,PetscReal ptime,Vec x,void *dummy)
22581713a123SBarry Smith {
2259dfbe8321SBarry Smith   PetscErrorCode ierr;
22601713a123SBarry Smith   PetscViewer    viewer = (PetscViewer) dummy;
22611713a123SBarry Smith 
22621713a123SBarry Smith   PetscFunctionBegin;
2263a34d58ebSBarry Smith   if (!dummy) {
22647adad957SLisandro Dalcin     viewer = PETSC_VIEWER_DRAW_(((PetscObject)ts)->comm);
22651713a123SBarry Smith   }
22661713a123SBarry Smith   ierr = VecView(x,viewer);CHKERRQ(ierr);
22671713a123SBarry Smith   PetscFunctionReturn(0);
22681713a123SBarry Smith }
22691713a123SBarry Smith 
22701713a123SBarry Smith 
22716c699258SBarry Smith #undef __FUNCT__
22726c699258SBarry Smith #define __FUNCT__ "TSSetDM"
22736c699258SBarry Smith /*@
22746c699258SBarry Smith    TSSetDM - Sets the DM that may be used by some preconditioners
22756c699258SBarry Smith 
22763f9fe445SBarry Smith    Logically Collective on TS and DM
22776c699258SBarry Smith 
22786c699258SBarry Smith    Input Parameters:
22796c699258SBarry Smith +  ts - the preconditioner context
22806c699258SBarry Smith -  dm - the dm
22816c699258SBarry Smith 
22826c699258SBarry Smith    Level: intermediate
22836c699258SBarry Smith 
22846c699258SBarry Smith 
22856c699258SBarry Smith .seealso: TSGetDM(), SNESSetDM(), SNESGetDM()
22866c699258SBarry Smith @*/
22877087cfbeSBarry Smith PetscErrorCode  TSSetDM(TS ts,DM dm)
22886c699258SBarry Smith {
22896c699258SBarry Smith   PetscErrorCode ierr;
2290089b2837SJed Brown   SNES           snes;
22916c699258SBarry Smith 
22926c699258SBarry Smith   PetscFunctionBegin;
22930700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
229470663e4aSLisandro Dalcin   ierr = PetscObjectReference((PetscObject)dm);CHKERRQ(ierr);
22956bf464f9SBarry Smith   ierr = DMDestroy(&ts->dm);CHKERRQ(ierr);
22966c699258SBarry Smith   ts->dm = dm;
2297089b2837SJed Brown   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
2298089b2837SJed Brown   ierr = SNESSetDM(snes,dm);CHKERRQ(ierr);
22996c699258SBarry Smith   PetscFunctionReturn(0);
23006c699258SBarry Smith }
23016c699258SBarry Smith 
23026c699258SBarry Smith #undef __FUNCT__
23036c699258SBarry Smith #define __FUNCT__ "TSGetDM"
23046c699258SBarry Smith /*@
23056c699258SBarry Smith    TSGetDM - Gets the DM that may be used by some preconditioners
23066c699258SBarry Smith 
23073f9fe445SBarry Smith    Not Collective
23086c699258SBarry Smith 
23096c699258SBarry Smith    Input Parameter:
23106c699258SBarry Smith . ts - the preconditioner context
23116c699258SBarry Smith 
23126c699258SBarry Smith    Output Parameter:
23136c699258SBarry Smith .  dm - the dm
23146c699258SBarry Smith 
23156c699258SBarry Smith    Level: intermediate
23166c699258SBarry Smith 
23176c699258SBarry Smith 
23186c699258SBarry Smith .seealso: TSSetDM(), SNESSetDM(), SNESGetDM()
23196c699258SBarry Smith @*/
23207087cfbeSBarry Smith PetscErrorCode  TSGetDM(TS ts,DM *dm)
23216c699258SBarry Smith {
23226c699258SBarry Smith   PetscFunctionBegin;
23230700a824SBarry Smith   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
23246c699258SBarry Smith   *dm = ts->dm;
23256c699258SBarry Smith   PetscFunctionReturn(0);
23266c699258SBarry Smith }
23271713a123SBarry Smith 
23280f5c6efeSJed Brown #undef __FUNCT__
23290f5c6efeSJed Brown #define __FUNCT__ "SNESTSFormFunction"
23300f5c6efeSJed Brown /*@
23310f5c6efeSJed Brown    SNESTSFormFunction - Function to evaluate nonlinear residual
23320f5c6efeSJed Brown 
23333f9fe445SBarry Smith    Logically Collective on SNES
23340f5c6efeSJed Brown 
23350f5c6efeSJed Brown    Input Parameter:
2336d42a1c89SJed Brown + snes - nonlinear solver
23370f5c6efeSJed Brown . X - the current state at which to evaluate the residual
2338d42a1c89SJed Brown - ctx - user context, must be a TS
23390f5c6efeSJed Brown 
23400f5c6efeSJed Brown    Output Parameter:
23410f5c6efeSJed Brown . F - the nonlinear residual
23420f5c6efeSJed Brown 
23430f5c6efeSJed Brown    Notes:
23440f5c6efeSJed Brown    This function is not normally called by users and is automatically registered with the SNES used by TS.
23450f5c6efeSJed Brown    It is most frequently passed to MatFDColoringSetFunction().
23460f5c6efeSJed Brown 
23470f5c6efeSJed Brown    Level: advanced
23480f5c6efeSJed Brown 
23490f5c6efeSJed Brown .seealso: SNESSetFunction(), MatFDColoringSetFunction()
23500f5c6efeSJed Brown @*/
23517087cfbeSBarry Smith PetscErrorCode  SNESTSFormFunction(SNES snes,Vec X,Vec F,void *ctx)
23520f5c6efeSJed Brown {
23530f5c6efeSJed Brown   TS ts = (TS)ctx;
23540f5c6efeSJed Brown   PetscErrorCode ierr;
23550f5c6efeSJed Brown 
23560f5c6efeSJed Brown   PetscFunctionBegin;
23570f5c6efeSJed Brown   PetscValidHeaderSpecific(snes,SNES_CLASSID,1);
23580f5c6efeSJed Brown   PetscValidHeaderSpecific(X,VEC_CLASSID,2);
23590f5c6efeSJed Brown   PetscValidHeaderSpecific(F,VEC_CLASSID,3);
23600f5c6efeSJed Brown   PetscValidHeaderSpecific(ts,TS_CLASSID,4);
23610f5c6efeSJed Brown   ierr = (ts->ops->snesfunction)(snes,X,F,ts);CHKERRQ(ierr);
23620f5c6efeSJed Brown   PetscFunctionReturn(0);
23630f5c6efeSJed Brown }
23640f5c6efeSJed Brown 
23650f5c6efeSJed Brown #undef __FUNCT__
23660f5c6efeSJed Brown #define __FUNCT__ "SNESTSFormJacobian"
23670f5c6efeSJed Brown /*@
23680f5c6efeSJed Brown    SNESTSFormJacobian - Function to evaluate the Jacobian
23690f5c6efeSJed Brown 
23700f5c6efeSJed Brown    Collective on SNES
23710f5c6efeSJed Brown 
23720f5c6efeSJed Brown    Input Parameter:
23730f5c6efeSJed Brown + snes - nonlinear solver
23740f5c6efeSJed Brown . X - the current state at which to evaluate the residual
23750f5c6efeSJed Brown - ctx - user context, must be a TS
23760f5c6efeSJed Brown 
23770f5c6efeSJed Brown    Output Parameter:
23780f5c6efeSJed Brown + A - the Jacobian
23790f5c6efeSJed Brown . B - the preconditioning matrix (may be the same as A)
23800f5c6efeSJed Brown - flag - indicates any structure change in the matrix
23810f5c6efeSJed Brown 
23820f5c6efeSJed Brown    Notes:
23830f5c6efeSJed Brown    This function is not normally called by users and is automatically registered with the SNES used by TS.
23840f5c6efeSJed Brown 
23850f5c6efeSJed Brown    Level: developer
23860f5c6efeSJed Brown 
23870f5c6efeSJed Brown .seealso: SNESSetJacobian()
23880f5c6efeSJed Brown @*/
23897087cfbeSBarry Smith PetscErrorCode  SNESTSFormJacobian(SNES snes,Vec X,Mat *A,Mat *B,MatStructure *flag,void *ctx)
23900f5c6efeSJed Brown {
23910f5c6efeSJed Brown   TS ts = (TS)ctx;
23920f5c6efeSJed Brown   PetscErrorCode ierr;
23930f5c6efeSJed Brown 
23940f5c6efeSJed Brown   PetscFunctionBegin;
23950f5c6efeSJed Brown   PetscValidHeaderSpecific(snes,SNES_CLASSID,1);
23960f5c6efeSJed Brown   PetscValidHeaderSpecific(X,VEC_CLASSID,2);
23970f5c6efeSJed Brown   PetscValidPointer(A,3);
23980f5c6efeSJed Brown   PetscValidHeaderSpecific(*A,MAT_CLASSID,3);
23990f5c6efeSJed Brown   PetscValidPointer(B,4);
24000f5c6efeSJed Brown   PetscValidHeaderSpecific(*B,MAT_CLASSID,4);
24010f5c6efeSJed Brown   PetscValidPointer(flag,5);
24020f5c6efeSJed Brown   PetscValidHeaderSpecific(ts,TS_CLASSID,6);
24030f5c6efeSJed Brown   ierr = (ts->ops->snesjacobian)(snes,X,A,B,flag,ts);CHKERRQ(ierr);
24040f5c6efeSJed Brown   PetscFunctionReturn(0);
24050f5c6efeSJed Brown }
2406325fc9f4SBarry Smith 
24070e4ef248SJed Brown #undef __FUNCT__
24080e4ef248SJed Brown #define __FUNCT__ "TSComputeRHSFunctionLinear"
24090e4ef248SJed Brown /*@C
24100e4ef248SJed Brown    TSComputeRHSFunctionLinear - Evaluate the right hand side via the user-provided Jacobian, for linear problems only
24110e4ef248SJed Brown 
24120e4ef248SJed Brown    Collective on TS
24130e4ef248SJed Brown 
24140e4ef248SJed Brown    Input Arguments:
24150e4ef248SJed Brown +  ts - time stepping context
24160e4ef248SJed Brown .  t - time at which to evaluate
24170e4ef248SJed Brown .  X - state at which to evaluate
24180e4ef248SJed Brown -  ctx - context
24190e4ef248SJed Brown 
24200e4ef248SJed Brown    Output Arguments:
24210e4ef248SJed Brown .  F - right hand side
24220e4ef248SJed Brown 
24230e4ef248SJed Brown    Level: intermediate
24240e4ef248SJed Brown 
24250e4ef248SJed Brown    Notes:
24260e4ef248SJed Brown    This function is intended to be passed to TSSetRHSFunction() to evaluate the right hand side for linear problems.
24270e4ef248SJed Brown    The matrix (and optionally the evaluation context) should be passed to TSSetRHSJacobian().
24280e4ef248SJed Brown 
24290e4ef248SJed Brown .seealso: TSSetRHSFunction(), TSSetRHSJacobian(), TSComputeRHSJacobianConstant()
24300e4ef248SJed Brown @*/
24310e4ef248SJed Brown PetscErrorCode TSComputeRHSFunctionLinear(TS ts,PetscReal t,Vec X,Vec F,void *ctx)
24320e4ef248SJed Brown {
24330e4ef248SJed Brown   PetscErrorCode ierr;
24340e4ef248SJed Brown   Mat Arhs,Brhs;
24350e4ef248SJed Brown   MatStructure flg2;
24360e4ef248SJed Brown 
24370e4ef248SJed Brown   PetscFunctionBegin;
24380e4ef248SJed Brown   ierr = TSGetRHSMats_Private(ts,&Arhs,&Brhs);CHKERRQ(ierr);
24390e4ef248SJed Brown   ierr = TSComputeRHSJacobian(ts,t,X,&Arhs,&Brhs,&flg2);CHKERRQ(ierr);
24400e4ef248SJed Brown   ierr = MatMult(Arhs,X,F);CHKERRQ(ierr);
24410e4ef248SJed Brown   PetscFunctionReturn(0);
24420e4ef248SJed Brown }
24430e4ef248SJed Brown 
24440e4ef248SJed Brown #undef __FUNCT__
24450e4ef248SJed Brown #define __FUNCT__ "TSComputeRHSJacobianConstant"
24460e4ef248SJed Brown /*@C
24470e4ef248SJed Brown    TSComputeRHSJacobianConstant - Reuses a Jacobian that is time-independent.
24480e4ef248SJed Brown 
24490e4ef248SJed Brown    Collective on TS
24500e4ef248SJed Brown 
24510e4ef248SJed Brown    Input Arguments:
24520e4ef248SJed Brown +  ts - time stepping context
24530e4ef248SJed Brown .  t - time at which to evaluate
24540e4ef248SJed Brown .  X - state at which to evaluate
24550e4ef248SJed Brown -  ctx - context
24560e4ef248SJed Brown 
24570e4ef248SJed Brown    Output Arguments:
24580e4ef248SJed Brown +  A - pointer to operator
24590e4ef248SJed Brown .  B - pointer to preconditioning matrix
24600e4ef248SJed Brown -  flg - matrix structure flag
24610e4ef248SJed Brown 
24620e4ef248SJed Brown    Level: intermediate
24630e4ef248SJed Brown 
24640e4ef248SJed Brown    Notes:
24650e4ef248SJed Brown    This function is intended to be passed to TSSetRHSJacobian() to evaluate the Jacobian for linear time-independent problems.
24660e4ef248SJed Brown 
24670e4ef248SJed Brown .seealso: TSSetRHSFunction(), TSSetRHSJacobian(), TSComputeRHSFunctionLinear()
24680e4ef248SJed Brown @*/
24690e4ef248SJed Brown PetscErrorCode TSComputeRHSJacobianConstant(TS ts,PetscReal t,Vec X,Mat *A,Mat *B,MatStructure *flg,void *ctx)
24700e4ef248SJed Brown {
24710e4ef248SJed Brown 
24720e4ef248SJed Brown   PetscFunctionBegin;
24730e4ef248SJed Brown   *flg = SAME_PRECONDITIONER;
24740e4ef248SJed Brown   PetscFunctionReturn(0);
24750e4ef248SJed Brown }
24760e4ef248SJed Brown 
24770026cea9SSean Farley #undef __FUNCT__
24780026cea9SSean Farley #define __FUNCT__ "TSComputeIFunctionLinear"
24790026cea9SSean Farley /*@C
24800026cea9SSean Farley    TSComputeIFunctionLinear - Evaluate the left hand side via the user-provided Jacobian, for linear problems only
24810026cea9SSean Farley 
24820026cea9SSean Farley    Collective on TS
24830026cea9SSean Farley 
24840026cea9SSean Farley    Input Arguments:
24850026cea9SSean Farley +  ts - time stepping context
24860026cea9SSean Farley .  t - time at which to evaluate
24870026cea9SSean Farley .  X - state at which to evaluate
24880026cea9SSean Farley .  Xdot - time derivative of state vector
24890026cea9SSean Farley -  ctx - context
24900026cea9SSean Farley 
24910026cea9SSean Farley    Output Arguments:
24920026cea9SSean Farley .  F - left hand side
24930026cea9SSean Farley 
24940026cea9SSean Farley    Level: intermediate
24950026cea9SSean Farley 
24960026cea9SSean Farley    Notes:
24970026cea9SSean Farley    The assumption here is that the left hand side is of the form A*Xdot (and not A*Xdot + B*X). For other cases, the
24980026cea9SSean Farley    user is required to write their own TSComputeIFunction.
24990026cea9SSean Farley    This function is intended to be passed to TSSetIFunction() to evaluate the left hand side for linear problems.
25000026cea9SSean Farley    The matrix (and optionally the evaluation context) should be passed to TSSetIJacobian().
25010026cea9SSean Farley 
25020026cea9SSean Farley .seealso: TSSetIFunction(), TSSetIJacobian(), TSComputeIJacobianConstant()
25030026cea9SSean Farley @*/
25040026cea9SSean Farley PetscErrorCode TSComputeIFunctionLinear(TS ts,PetscReal t,Vec X,Vec Xdot,Vec F,void *ctx)
25050026cea9SSean Farley {
25060026cea9SSean Farley   PetscErrorCode ierr;
25070026cea9SSean Farley   Mat A,B;
25080026cea9SSean Farley   MatStructure flg2;
25090026cea9SSean Farley 
25100026cea9SSean Farley   PetscFunctionBegin;
25110026cea9SSean Farley   ierr = TSGetIJacobian(ts,&A,&B,PETSC_NULL,PETSC_NULL);CHKERRQ(ierr);
25120026cea9SSean Farley   ierr = TSComputeIJacobian(ts,t,X,Xdot,1.0,&A,&B,&flg2,PETSC_TRUE);CHKERRQ(ierr);
25130026cea9SSean Farley   ierr = MatMult(A,Xdot,F);CHKERRQ(ierr);
25140026cea9SSean Farley   PetscFunctionReturn(0);
25150026cea9SSean Farley }
25160026cea9SSean Farley 
25170026cea9SSean Farley #undef __FUNCT__
25180026cea9SSean Farley #define __FUNCT__ "TSComputeIJacobianConstant"
25190026cea9SSean Farley /*@C
25200026cea9SSean Farley    TSComputeRHSJacobianConstant - Reuses a Jacobian that is time-independent.
25210026cea9SSean Farley 
25220026cea9SSean Farley    Collective on TS
25230026cea9SSean Farley 
25240026cea9SSean Farley    Input Arguments:
25250026cea9SSean Farley +  ts - time stepping context
25260026cea9SSean Farley .  t - time at which to evaluate
25270026cea9SSean Farley .  X - state at which to evaluate
25280026cea9SSean Farley .  Xdot - time derivative of state vector
25290026cea9SSean Farley .  shift - shift to apply
25300026cea9SSean Farley -  ctx - context
25310026cea9SSean Farley 
25320026cea9SSean Farley    Output Arguments:
25330026cea9SSean Farley +  A - pointer to operator
25340026cea9SSean Farley .  B - pointer to preconditioning matrix
25350026cea9SSean Farley -  flg - matrix structure flag
25360026cea9SSean Farley 
25370026cea9SSean Farley    Level: intermediate
25380026cea9SSean Farley 
25390026cea9SSean Farley    Notes:
25400026cea9SSean Farley    This function is intended to be passed to TSSetIJacobian() to evaluate the Jacobian for linear time-independent problems.
25410026cea9SSean Farley 
25420026cea9SSean Farley .seealso: TSSetIFunction(), TSSetIJacobian(), TSComputeIFunctionLinear()
25430026cea9SSean Farley @*/
25440026cea9SSean Farley PetscErrorCode TSComputeIJacobianConstant(TS ts,PetscReal t,Vec X,Vec Xdot,PetscReal shift,Mat *A,Mat *B,MatStructure *flg,void *ctx)
25450026cea9SSean Farley {
25460026cea9SSean Farley 
25470026cea9SSean Farley   PetscFunctionBegin;
25480026cea9SSean Farley   *flg = SAME_PRECONDITIONER;
25490026cea9SSean Farley   PetscFunctionReturn(0);
25500026cea9SSean Farley }
25510026cea9SSean Farley 
25524af1b03aSJed Brown 
25534af1b03aSJed Brown #undef __FUNCT__
25544af1b03aSJed Brown #define __FUNCT__ "TSGetConvergedReason"
25554af1b03aSJed Brown /*@
25564af1b03aSJed Brown    TSGetConvergedReason - Gets the reason the TS iteration was stopped.
25574af1b03aSJed Brown 
25584af1b03aSJed Brown    Not Collective
25594af1b03aSJed Brown 
25604af1b03aSJed Brown    Input Parameter:
25614af1b03aSJed Brown .  ts - the TS context
25624af1b03aSJed Brown 
25634af1b03aSJed Brown    Output Parameter:
25644af1b03aSJed Brown .  reason - negative value indicates diverged, positive value converged, see TSConvergedReason or the
25654af1b03aSJed Brown             manual pages for the individual convergence tests for complete lists
25664af1b03aSJed Brown 
25674af1b03aSJed Brown    Level: intermediate
25684af1b03aSJed Brown 
2569cd652676SJed Brown    Notes:
2570cd652676SJed Brown    Can only be called after the call to TSSolve() is complete.
25714af1b03aSJed Brown 
25724af1b03aSJed Brown .keywords: TS, nonlinear, set, convergence, test
25734af1b03aSJed Brown 
25744af1b03aSJed Brown .seealso: TSSetConvergenceTest(), TSConvergedReason
25754af1b03aSJed Brown @*/
25764af1b03aSJed Brown PetscErrorCode  TSGetConvergedReason(TS ts,TSConvergedReason *reason)
25774af1b03aSJed Brown {
25784af1b03aSJed Brown   PetscFunctionBegin;
25794af1b03aSJed Brown   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
25804af1b03aSJed Brown   PetscValidPointer(reason,2);
25814af1b03aSJed Brown   *reason = ts->reason;
25824af1b03aSJed Brown   PetscFunctionReturn(0);
25834af1b03aSJed Brown }
25844af1b03aSJed Brown 
2585d6ebe24aSShri Abhyankar 
2586d6ebe24aSShri Abhyankar #undef __FUNCT__
2587d6ebe24aSShri Abhyankar #define __FUNCT__ "TSVISetVariableBounds"
2588d6ebe24aSShri Abhyankar /*@
2589d6ebe24aSShri Abhyankar    TSVISetVariableBounds - Sets the lower and upper bounds for the solution vector. xl <= x <= xu
2590d6ebe24aSShri Abhyankar 
2591d6ebe24aSShri Abhyankar    Input Parameters:
2592d6ebe24aSShri Abhyankar .  ts   - the TS context.
2593d6ebe24aSShri Abhyankar .  xl   - lower bound.
2594d6ebe24aSShri Abhyankar .  xu   - upper bound.
2595d6ebe24aSShri Abhyankar 
2596d6ebe24aSShri Abhyankar    Notes:
2597d6ebe24aSShri Abhyankar    If this routine is not called then the lower and upper bounds are set to
2598d6ebe24aSShri Abhyankar    SNES_VI_INF and SNES_VI_NINF respectively during SNESSetUp().
2599d6ebe24aSShri Abhyankar 
2600d6ebe24aSShri Abhyankar @*/
2601d6ebe24aSShri Abhyankar PetscErrorCode TSVISetVariableBounds(TS ts, Vec xl, Vec xu)
2602d6ebe24aSShri Abhyankar {
2603d6ebe24aSShri Abhyankar   PetscErrorCode ierr;
2604d6ebe24aSShri Abhyankar   SNES           snes;
2605d6ebe24aSShri Abhyankar 
2606d6ebe24aSShri Abhyankar   PetscFunctionBegin;
2607d6ebe24aSShri Abhyankar 
2608d6ebe24aSShri Abhyankar   ierr = TSGetSNES(ts,&snes);CHKERRQ(ierr);
2609d6ebe24aSShri Abhyankar   ierr = SNESVISetVariableBounds(snes,xl,xu);CHKERRQ(ierr);
2610d6ebe24aSShri Abhyankar 
2611d6ebe24aSShri Abhyankar   PetscFunctionReturn(0);
2612d6ebe24aSShri Abhyankar }
2613d6ebe24aSShri Abhyankar 
2614325fc9f4SBarry Smith #if defined(PETSC_HAVE_MATLAB_ENGINE)
2615c6db04a5SJed Brown #include <mex.h>
2616325fc9f4SBarry Smith 
2617325fc9f4SBarry Smith typedef struct {char *funcname; mxArray *ctx;} TSMatlabContext;
2618325fc9f4SBarry Smith 
2619325fc9f4SBarry Smith #undef __FUNCT__
2620325fc9f4SBarry Smith #define __FUNCT__ "TSComputeFunction_Matlab"
2621325fc9f4SBarry Smith /*
2622325fc9f4SBarry Smith    TSComputeFunction_Matlab - Calls the function that has been set with
2623325fc9f4SBarry Smith                          TSSetFunctionMatlab().
2624325fc9f4SBarry Smith 
2625325fc9f4SBarry Smith    Collective on TS
2626325fc9f4SBarry Smith 
2627325fc9f4SBarry Smith    Input Parameters:
2628325fc9f4SBarry Smith +  snes - the TS context
2629325fc9f4SBarry Smith -  x - input vector
2630325fc9f4SBarry Smith 
2631325fc9f4SBarry Smith    Output Parameter:
2632325fc9f4SBarry Smith .  y - function vector, as set by TSSetFunction()
2633325fc9f4SBarry Smith 
2634325fc9f4SBarry Smith    Notes:
2635325fc9f4SBarry Smith    TSComputeFunction() is typically used within nonlinear solvers
2636325fc9f4SBarry Smith    implementations, so most users would not generally call this routine
2637325fc9f4SBarry Smith    themselves.
2638325fc9f4SBarry Smith 
2639325fc9f4SBarry Smith    Level: developer
2640325fc9f4SBarry Smith 
2641325fc9f4SBarry Smith .keywords: TS, nonlinear, compute, function
2642325fc9f4SBarry Smith 
2643325fc9f4SBarry Smith .seealso: TSSetFunction(), TSGetFunction()
2644325fc9f4SBarry Smith */
26457087cfbeSBarry Smith PetscErrorCode  TSComputeFunction_Matlab(TS snes,PetscReal time,Vec x,Vec xdot,Vec y, void *ctx)
2646325fc9f4SBarry Smith {
2647325fc9f4SBarry Smith   PetscErrorCode   ierr;
2648325fc9f4SBarry Smith   TSMatlabContext *sctx = (TSMatlabContext *)ctx;
2649325fc9f4SBarry Smith   int              nlhs = 1,nrhs = 7;
2650325fc9f4SBarry Smith   mxArray          *plhs[1],*prhs[7];
2651325fc9f4SBarry Smith   long long int    lx = 0,lxdot = 0,ly = 0,ls = 0;
2652325fc9f4SBarry Smith 
2653325fc9f4SBarry Smith   PetscFunctionBegin;
2654325fc9f4SBarry Smith   PetscValidHeaderSpecific(snes,TS_CLASSID,1);
2655325fc9f4SBarry Smith   PetscValidHeaderSpecific(x,VEC_CLASSID,3);
2656325fc9f4SBarry Smith   PetscValidHeaderSpecific(xdot,VEC_CLASSID,4);
2657325fc9f4SBarry Smith   PetscValidHeaderSpecific(y,VEC_CLASSID,5);
2658325fc9f4SBarry Smith   PetscCheckSameComm(snes,1,x,3);
2659325fc9f4SBarry Smith   PetscCheckSameComm(snes,1,y,5);
2660325fc9f4SBarry Smith 
2661325fc9f4SBarry Smith   ierr = PetscMemcpy(&ls,&snes,sizeof(snes));CHKERRQ(ierr);
2662325fc9f4SBarry Smith   ierr = PetscMemcpy(&lx,&x,sizeof(x));CHKERRQ(ierr);
2663880f3077SBarry Smith   ierr = PetscMemcpy(&lxdot,&xdot,sizeof(xdot));CHKERRQ(ierr);
2664325fc9f4SBarry Smith   ierr = PetscMemcpy(&ly,&y,sizeof(x));CHKERRQ(ierr);
2665325fc9f4SBarry Smith   prhs[0] =  mxCreateDoubleScalar((double)ls);
2666325fc9f4SBarry Smith   prhs[1] =  mxCreateDoubleScalar(time);
2667325fc9f4SBarry Smith   prhs[2] =  mxCreateDoubleScalar((double)lx);
2668325fc9f4SBarry Smith   prhs[3] =  mxCreateDoubleScalar((double)lxdot);
2669325fc9f4SBarry Smith   prhs[4] =  mxCreateDoubleScalar((double)ly);
2670325fc9f4SBarry Smith   prhs[5] =  mxCreateString(sctx->funcname);
2671325fc9f4SBarry Smith   prhs[6] =  sctx->ctx;
2672325fc9f4SBarry Smith   ierr    =  mexCallMATLAB(nlhs,plhs,nrhs,prhs,"PetscTSComputeFunctionInternal");CHKERRQ(ierr);
2673325fc9f4SBarry Smith   ierr    =  mxGetScalar(plhs[0]);CHKERRQ(ierr);
2674325fc9f4SBarry Smith   mxDestroyArray(prhs[0]);
2675325fc9f4SBarry Smith   mxDestroyArray(prhs[1]);
2676325fc9f4SBarry Smith   mxDestroyArray(prhs[2]);
2677325fc9f4SBarry Smith   mxDestroyArray(prhs[3]);
2678325fc9f4SBarry Smith   mxDestroyArray(prhs[4]);
2679325fc9f4SBarry Smith   mxDestroyArray(prhs[5]);
2680325fc9f4SBarry Smith   mxDestroyArray(plhs[0]);
2681325fc9f4SBarry Smith   PetscFunctionReturn(0);
2682325fc9f4SBarry Smith }
2683325fc9f4SBarry Smith 
2684325fc9f4SBarry Smith 
2685325fc9f4SBarry Smith #undef __FUNCT__
2686325fc9f4SBarry Smith #define __FUNCT__ "TSSetFunctionMatlab"
2687325fc9f4SBarry Smith /*
2688325fc9f4SBarry Smith    TSSetFunctionMatlab - Sets the function evaluation routine and function
2689325fc9f4SBarry Smith    vector for use by the TS routines in solving ODEs
2690e3c5b3baSBarry Smith    equations from MATLAB. Here the function is a string containing the name of a MATLAB function
2691325fc9f4SBarry Smith 
2692325fc9f4SBarry Smith    Logically Collective on TS
2693325fc9f4SBarry Smith 
2694325fc9f4SBarry Smith    Input Parameters:
2695325fc9f4SBarry Smith +  ts - the TS context
2696325fc9f4SBarry Smith -  func - function evaluation routine
2697325fc9f4SBarry Smith 
2698325fc9f4SBarry Smith    Calling sequence of func:
2699325fc9f4SBarry Smith $    func (TS ts,PetscReal time,Vec x,Vec xdot,Vec f,void *ctx);
2700325fc9f4SBarry Smith 
2701325fc9f4SBarry Smith    Level: beginner
2702325fc9f4SBarry Smith 
2703325fc9f4SBarry Smith .keywords: TS, nonlinear, set, function
2704325fc9f4SBarry Smith 
2705325fc9f4SBarry Smith .seealso: TSGetFunction(), TSComputeFunction(), TSSetJacobian(), TSSetFunction()
2706325fc9f4SBarry Smith */
2707cdcf91faSSean Farley PetscErrorCode  TSSetFunctionMatlab(TS ts,const char *func,mxArray *ctx)
2708325fc9f4SBarry Smith {
2709325fc9f4SBarry Smith   PetscErrorCode  ierr;
2710325fc9f4SBarry Smith   TSMatlabContext *sctx;
2711325fc9f4SBarry Smith 
2712325fc9f4SBarry Smith   PetscFunctionBegin;
2713325fc9f4SBarry Smith   /* currently sctx is memory bleed */
2714325fc9f4SBarry Smith   ierr = PetscMalloc(sizeof(TSMatlabContext),&sctx);CHKERRQ(ierr);
2715325fc9f4SBarry Smith   ierr = PetscStrallocpy(func,&sctx->funcname);CHKERRQ(ierr);
2716325fc9f4SBarry Smith   /*
2717325fc9f4SBarry Smith      This should work, but it doesn't
2718325fc9f4SBarry Smith   sctx->ctx = ctx;
2719325fc9f4SBarry Smith   mexMakeArrayPersistent(sctx->ctx);
2720325fc9f4SBarry Smith   */
2721325fc9f4SBarry Smith   sctx->ctx = mxDuplicateArray(ctx);
2722cdcf91faSSean Farley   ierr = TSSetIFunction(ts,PETSC_NULL,TSComputeFunction_Matlab,sctx);CHKERRQ(ierr);
2723325fc9f4SBarry Smith   PetscFunctionReturn(0);
2724325fc9f4SBarry Smith }
2725325fc9f4SBarry Smith 
2726325fc9f4SBarry Smith #undef __FUNCT__
2727325fc9f4SBarry Smith #define __FUNCT__ "TSComputeJacobian_Matlab"
2728325fc9f4SBarry Smith /*
2729325fc9f4SBarry Smith    TSComputeJacobian_Matlab - Calls the function that has been set with
2730325fc9f4SBarry Smith                          TSSetJacobianMatlab().
2731325fc9f4SBarry Smith 
2732325fc9f4SBarry Smith    Collective on TS
2733325fc9f4SBarry Smith 
2734325fc9f4SBarry Smith    Input Parameters:
2735cdcf91faSSean Farley +  ts - the TS context
2736325fc9f4SBarry Smith .  x - input vector
2737325fc9f4SBarry Smith .  A, B - the matrices
2738325fc9f4SBarry Smith -  ctx - user context
2739325fc9f4SBarry Smith 
2740325fc9f4SBarry Smith    Output Parameter:
2741325fc9f4SBarry Smith .  flag - structure of the matrix
2742325fc9f4SBarry Smith 
2743325fc9f4SBarry Smith    Level: developer
2744325fc9f4SBarry Smith 
2745325fc9f4SBarry Smith .keywords: TS, nonlinear, compute, function
2746325fc9f4SBarry Smith 
2747325fc9f4SBarry Smith .seealso: TSSetFunction(), TSGetFunction()
2748325fc9f4SBarry Smith @*/
2749cdcf91faSSean Farley PetscErrorCode  TSComputeJacobian_Matlab(TS ts,PetscReal time,Vec x,Vec xdot,PetscReal shift,Mat *A,Mat *B,MatStructure *flag, void *ctx)
2750325fc9f4SBarry Smith {
2751325fc9f4SBarry Smith   PetscErrorCode  ierr;
2752325fc9f4SBarry Smith   TSMatlabContext *sctx = (TSMatlabContext *)ctx;
2753325fc9f4SBarry Smith   int             nlhs = 2,nrhs = 9;
2754325fc9f4SBarry Smith   mxArray         *plhs[2],*prhs[9];
2755325fc9f4SBarry Smith   long long int   lx = 0,lxdot = 0,lA = 0,ls = 0, lB = 0;
2756325fc9f4SBarry Smith 
2757325fc9f4SBarry Smith   PetscFunctionBegin;
2758cdcf91faSSean Farley   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
2759325fc9f4SBarry Smith   PetscValidHeaderSpecific(x,VEC_CLASSID,3);
2760325fc9f4SBarry Smith 
2761325fc9f4SBarry Smith   /* call Matlab function in ctx with arguments x and y */
2762325fc9f4SBarry Smith 
2763cdcf91faSSean Farley   ierr = PetscMemcpy(&ls,&ts,sizeof(ts));CHKERRQ(ierr);
2764325fc9f4SBarry Smith   ierr = PetscMemcpy(&lx,&x,sizeof(x));CHKERRQ(ierr);
2765325fc9f4SBarry Smith   ierr = PetscMemcpy(&lxdot,&xdot,sizeof(x));CHKERRQ(ierr);
2766325fc9f4SBarry Smith   ierr = PetscMemcpy(&lA,A,sizeof(x));CHKERRQ(ierr);
2767325fc9f4SBarry Smith   ierr = PetscMemcpy(&lB,B,sizeof(x));CHKERRQ(ierr);
2768325fc9f4SBarry Smith   prhs[0] =  mxCreateDoubleScalar((double)ls);
2769325fc9f4SBarry Smith   prhs[1] =  mxCreateDoubleScalar((double)time);
2770325fc9f4SBarry Smith   prhs[2] =  mxCreateDoubleScalar((double)lx);
2771325fc9f4SBarry Smith   prhs[3] =  mxCreateDoubleScalar((double)lxdot);
2772325fc9f4SBarry Smith   prhs[4] =  mxCreateDoubleScalar((double)shift);
2773325fc9f4SBarry Smith   prhs[5] =  mxCreateDoubleScalar((double)lA);
2774325fc9f4SBarry Smith   prhs[6] =  mxCreateDoubleScalar((double)lB);
2775325fc9f4SBarry Smith   prhs[7] =  mxCreateString(sctx->funcname);
2776325fc9f4SBarry Smith   prhs[8] =  sctx->ctx;
2777325fc9f4SBarry Smith   ierr    =  mexCallMATLAB(nlhs,plhs,nrhs,prhs,"PetscTSComputeJacobianInternal");CHKERRQ(ierr);
2778325fc9f4SBarry Smith   ierr    =  mxGetScalar(plhs[0]);CHKERRQ(ierr);
2779325fc9f4SBarry Smith   *flag   =  (MatStructure) mxGetScalar(plhs[1]);CHKERRQ(ierr);
2780325fc9f4SBarry Smith   mxDestroyArray(prhs[0]);
2781325fc9f4SBarry Smith   mxDestroyArray(prhs[1]);
2782325fc9f4SBarry Smith   mxDestroyArray(prhs[2]);
2783325fc9f4SBarry Smith   mxDestroyArray(prhs[3]);
2784325fc9f4SBarry Smith   mxDestroyArray(prhs[4]);
2785325fc9f4SBarry Smith   mxDestroyArray(prhs[5]);
2786325fc9f4SBarry Smith   mxDestroyArray(prhs[6]);
2787325fc9f4SBarry Smith   mxDestroyArray(prhs[7]);
2788325fc9f4SBarry Smith   mxDestroyArray(plhs[0]);
2789325fc9f4SBarry Smith   mxDestroyArray(plhs[1]);
2790325fc9f4SBarry Smith   PetscFunctionReturn(0);
2791325fc9f4SBarry Smith }
2792325fc9f4SBarry Smith 
2793325fc9f4SBarry Smith 
2794325fc9f4SBarry Smith #undef __FUNCT__
2795325fc9f4SBarry Smith #define __FUNCT__ "TSSetJacobianMatlab"
2796325fc9f4SBarry Smith /*
2797325fc9f4SBarry Smith    TSSetJacobianMatlab - Sets the Jacobian function evaluation routine and two empty Jacobian matrices
2798e3c5b3baSBarry Smith    vector for use by the TS routines in solving ODEs from MATLAB. Here the function is a string containing the name of a MATLAB function
2799325fc9f4SBarry Smith 
2800325fc9f4SBarry Smith    Logically Collective on TS
2801325fc9f4SBarry Smith 
2802325fc9f4SBarry Smith    Input Parameters:
2803cdcf91faSSean Farley +  ts - the TS context
2804325fc9f4SBarry Smith .  A,B - Jacobian matrices
2805325fc9f4SBarry Smith .  func - function evaluation routine
2806325fc9f4SBarry Smith -  ctx - user context
2807325fc9f4SBarry Smith 
2808325fc9f4SBarry Smith    Calling sequence of func:
2809cdcf91faSSean Farley $    flag = func (TS ts,PetscReal time,Vec x,Vec xdot,Mat A,Mat B,void *ctx);
2810325fc9f4SBarry Smith 
2811325fc9f4SBarry Smith 
2812325fc9f4SBarry Smith    Level: developer
2813325fc9f4SBarry Smith 
2814325fc9f4SBarry Smith .keywords: TS, nonlinear, set, function
2815325fc9f4SBarry Smith 
2816325fc9f4SBarry Smith .seealso: TSGetFunction(), TSComputeFunction(), TSSetJacobian(), TSSetFunction()
2817325fc9f4SBarry Smith */
2818cdcf91faSSean Farley PetscErrorCode  TSSetJacobianMatlab(TS ts,Mat A,Mat B,const char *func,mxArray *ctx)
2819325fc9f4SBarry Smith {
2820325fc9f4SBarry Smith   PetscErrorCode    ierr;
2821325fc9f4SBarry Smith   TSMatlabContext *sctx;
2822325fc9f4SBarry Smith 
2823325fc9f4SBarry Smith   PetscFunctionBegin;
2824325fc9f4SBarry Smith   /* currently sctx is memory bleed */
2825325fc9f4SBarry Smith   ierr = PetscMalloc(sizeof(TSMatlabContext),&sctx);CHKERRQ(ierr);
2826325fc9f4SBarry Smith   ierr = PetscStrallocpy(func,&sctx->funcname);CHKERRQ(ierr);
2827325fc9f4SBarry Smith   /*
2828325fc9f4SBarry Smith      This should work, but it doesn't
2829325fc9f4SBarry Smith   sctx->ctx = ctx;
2830325fc9f4SBarry Smith   mexMakeArrayPersistent(sctx->ctx);
2831325fc9f4SBarry Smith   */
2832325fc9f4SBarry Smith   sctx->ctx = mxDuplicateArray(ctx);
2833cdcf91faSSean Farley   ierr = TSSetIJacobian(ts,A,B,TSComputeJacobian_Matlab,sctx);CHKERRQ(ierr);
2834325fc9f4SBarry Smith   PetscFunctionReturn(0);
2835325fc9f4SBarry Smith }
2836325fc9f4SBarry Smith 
2837b5b1a830SBarry Smith #undef __FUNCT__
2838b5b1a830SBarry Smith #define __FUNCT__ "TSMonitor_Matlab"
2839b5b1a830SBarry Smith /*
2840b5b1a830SBarry Smith    TSMonitor_Matlab - Calls the function that has been set with TSMonitorSetMatlab().
2841b5b1a830SBarry Smith 
2842b5b1a830SBarry Smith    Collective on TS
2843b5b1a830SBarry Smith 
2844b5b1a830SBarry Smith .seealso: TSSetFunction(), TSGetFunction()
2845b5b1a830SBarry Smith @*/
2846cdcf91faSSean Farley PetscErrorCode  TSMonitor_Matlab(TS ts,PetscInt it, PetscReal time,Vec x, void *ctx)
2847b5b1a830SBarry Smith {
2848b5b1a830SBarry Smith   PetscErrorCode  ierr;
2849b5b1a830SBarry Smith   TSMatlabContext *sctx = (TSMatlabContext *)ctx;
2850a530c242SBarry Smith   int             nlhs = 1,nrhs = 6;
2851b5b1a830SBarry Smith   mxArray         *plhs[1],*prhs[6];
2852b5b1a830SBarry Smith   long long int   lx = 0,ls = 0;
2853b5b1a830SBarry Smith 
2854b5b1a830SBarry Smith   PetscFunctionBegin;
2855cdcf91faSSean Farley   PetscValidHeaderSpecific(ts,TS_CLASSID,1);
2856b5b1a830SBarry Smith   PetscValidHeaderSpecific(x,VEC_CLASSID,4);
2857b5b1a830SBarry Smith 
2858cdcf91faSSean Farley   ierr = PetscMemcpy(&ls,&ts,sizeof(ts));CHKERRQ(ierr);
2859b5b1a830SBarry Smith   ierr = PetscMemcpy(&lx,&x,sizeof(x));CHKERRQ(ierr);
2860b5b1a830SBarry Smith   prhs[0] =  mxCreateDoubleScalar((double)ls);
2861b5b1a830SBarry Smith   prhs[1] =  mxCreateDoubleScalar((double)it);
2862b5b1a830SBarry Smith   prhs[2] =  mxCreateDoubleScalar((double)time);
2863b5b1a830SBarry Smith   prhs[3] =  mxCreateDoubleScalar((double)lx);
2864b5b1a830SBarry Smith   prhs[4] =  mxCreateString(sctx->funcname);
2865b5b1a830SBarry Smith   prhs[5] =  sctx->ctx;
2866b5b1a830SBarry Smith   ierr    =  mexCallMATLAB(nlhs,plhs,nrhs,prhs,"PetscTSMonitorInternal");CHKERRQ(ierr);
2867b5b1a830SBarry Smith   ierr    =  mxGetScalar(plhs[0]);CHKERRQ(ierr);
2868b5b1a830SBarry Smith   mxDestroyArray(prhs[0]);
2869b5b1a830SBarry Smith   mxDestroyArray(prhs[1]);
2870b5b1a830SBarry Smith   mxDestroyArray(prhs[2]);
2871b5b1a830SBarry Smith   mxDestroyArray(prhs[3]);
2872b5b1a830SBarry Smith   mxDestroyArray(prhs[4]);
2873b5b1a830SBarry Smith   mxDestroyArray(plhs[0]);
2874b5b1a830SBarry Smith   PetscFunctionReturn(0);
2875b5b1a830SBarry Smith }
2876b5b1a830SBarry Smith 
2877b5b1a830SBarry Smith 
2878b5b1a830SBarry Smith #undef __FUNCT__
2879b5b1a830SBarry Smith #define __FUNCT__ "TSMonitorSetMatlab"
2880b5b1a830SBarry Smith /*
2881b5b1a830SBarry Smith    TSMonitorSetMatlab - Sets the monitor function from Matlab
2882b5b1a830SBarry Smith 
2883b5b1a830SBarry Smith    Level: developer
2884b5b1a830SBarry Smith 
2885b5b1a830SBarry Smith .keywords: TS, nonlinear, set, function
2886b5b1a830SBarry Smith 
2887b5b1a830SBarry Smith .seealso: TSGetFunction(), TSComputeFunction(), TSSetJacobian(), TSSetFunction()
2888b5b1a830SBarry Smith */
2889cdcf91faSSean Farley PetscErrorCode  TSMonitorSetMatlab(TS ts,const char *func,mxArray *ctx)
2890b5b1a830SBarry Smith {
2891b5b1a830SBarry Smith   PetscErrorCode    ierr;
2892b5b1a830SBarry Smith   TSMatlabContext *sctx;
2893b5b1a830SBarry Smith 
2894b5b1a830SBarry Smith   PetscFunctionBegin;
2895b5b1a830SBarry Smith   /* currently sctx is memory bleed */
2896b5b1a830SBarry Smith   ierr = PetscMalloc(sizeof(TSMatlabContext),&sctx);CHKERRQ(ierr);
2897b5b1a830SBarry Smith   ierr = PetscStrallocpy(func,&sctx->funcname);CHKERRQ(ierr);
2898b5b1a830SBarry Smith   /*
2899b5b1a830SBarry Smith      This should work, but it doesn't
2900b5b1a830SBarry Smith   sctx->ctx = ctx;
2901b5b1a830SBarry Smith   mexMakeArrayPersistent(sctx->ctx);
2902b5b1a830SBarry Smith   */
2903b5b1a830SBarry Smith   sctx->ctx = mxDuplicateArray(ctx);
2904cdcf91faSSean Farley   ierr = TSMonitorSet(ts,TSMonitor_Matlab,sctx,PETSC_NULL);CHKERRQ(ierr);
2905b5b1a830SBarry Smith   PetscFunctionReturn(0);
2906b5b1a830SBarry Smith }
2907325fc9f4SBarry Smith #endif
2908