xref: /petsc/src/ts/event/tests/ex3span.c (revision fe4ad979b698fa41c951a10ed910db35a8a8fc73)
1ca4445c7SIlya Fursov #include <petscts.h>
2ca4445c7SIlya Fursov #include <stdio.h>
3ca4445c7SIlya Fursov 
4*fe4ad979SIlya Fursov #define NEW_VERSION // Applicable for the new features; avoid this for the older PETSc versions (without TSSetPostEventStep())
5ca4445c7SIlya Fursov 
6ca4445c7SIlya Fursov static char help[] = "Simple linear problem with events\n"
7ca4445c7SIlya Fursov                      "x_dot =  0.2*y\n"
8ca4445c7SIlya Fursov                      "y_dot = -0.2*x\n"
9ca4445c7SIlya Fursov 
10ca4445c7SIlya Fursov                      "The following event functions are involved:\n"
11ca4445c7SIlya Fursov                      "- two polynomial event functions on rank-0 and last-rank (with zeros: 1.05, 9.05[terminating])\n"
12ca4445c7SIlya Fursov                      "- one event function on rank = '1%size', equal to sin(pi*t), zeros = 1,...,10\n"
13ca4445c7SIlya Fursov                      "TimeSpan = [0.01, 0.21, 1.01, ..., 6.21, 6.99, 7.21,... 9.21] plus the points: {3, 4, 4+D, 5-D, 5, 6-D, 6, 6+D} with user-defined D\n"
14ca4445c7SIlya Fursov 
15ca4445c7SIlya Fursov                      "Options:\n"
16*fe4ad979SIlya Fursov                      "-dir     d : zero-crossing direction for events: 0 (default), 1, -1\n"
17*fe4ad979SIlya Fursov                      "-flg       : additional output in Postevent (default: nothing)\n"
18*fe4ad979SIlya Fursov                      "-errtol  e : error tolerance, for printing 'pass/fail' for located events (1e-5 by default)\n"
19*fe4ad979SIlya Fursov                      "-restart   : flag for TSRestartStep() in PostEvent (default: no)\n"
20ca4445c7SIlya Fursov                      "-term      : flag to terminate at 9.05 event (true by default)\n"
21*fe4ad979SIlya Fursov                      "-dtpost  x : if x > 0, then on even PostEvent calls 1st-post-event-step = x is set,\n"
22*fe4ad979SIlya Fursov                      "                             on odd PostEvent calls 1st-post-event-step = PETSC_DECIDE is set,\n"
23*fe4ad979SIlya Fursov                      "             if x == 0, nothing happens (default)\n"
24*fe4ad979SIlya Fursov                      "-D       z : a small real number to define additional TimeSpan points (default = 0.02)\n"
25*fe4ad979SIlya Fursov                      "-dt2_at6 t : second time step set after event at t=6 (if nothing is specified, no action is done)\n"
26*fe4ad979SIlya Fursov                      "-mult7   m : after event at t=7, the linear system coeffs '0.2' are multiplied by m (default = 1.0)\n";
27ca4445c7SIlya Fursov 
28ca4445c7SIlya Fursov #define MAX_NFUNC 100  // max event functions per rank
29ca4445c7SIlya Fursov #define MAX_NEV   5000 // max zero crossings for each rank
30ca4445c7SIlya Fursov 
31ca4445c7SIlya Fursov typedef struct {
32ca4445c7SIlya Fursov   PetscMPIInt rank, size;
33ca4445c7SIlya Fursov   PetscReal   pi;
34ca4445c7SIlya Fursov   PetscReal   fvals[MAX_NFUNC]; // helper array for reporting the residuals
35ca4445c7SIlya Fursov   PetscReal   evres[MAX_NEV];   // times of found zero-crossings
36*fe4ad979SIlya Fursov   PetscReal   ref[MAX_NEV];     // reference times of zero-crossings, for checking
37ca4445c7SIlya Fursov   PetscInt    cnt;              // counter
38*fe4ad979SIlya Fursov   PetscInt    cntref;           // actual length of 'ref' on the given rank
39ca4445c7SIlya Fursov   PetscBool   flg;              // flag for additional print in PostEvent
40*fe4ad979SIlya Fursov   PetscReal   errtol;           // error tolerance, for printing 'pass/fail' for located events (1e-5 by default)
41ca4445c7SIlya Fursov   PetscBool   restart;          // flag for TSRestartStep() in PostEvent
42ca4445c7SIlya Fursov   PetscBool   term;             // flag to terminate at 9.05 event
43*fe4ad979SIlya Fursov   PetscReal   dtpost;           // first post-event step
44*fe4ad979SIlya Fursov   PetscReal   dt2_at6;          // second time step set after event at t=6
45*fe4ad979SIlya Fursov   PetscReal   mult7;            // multiplier for coeffs at t=7
46ca4445c7SIlya Fursov   PetscInt    postcnt;          // counter for PostEvent calls
47*fe4ad979SIlya Fursov   Mat         A;                // system matrix
48*fe4ad979SIlya Fursov   PetscInt    m;                // local size of A
49ca4445c7SIlya Fursov } AppCtx;
50ca4445c7SIlya Fursov 
51ca4445c7SIlya Fursov PetscErrorCode EventFunction(TS ts, PetscReal t, Vec U, PetscReal gval[], void *ctx);
52ca4445c7SIlya Fursov PetscErrorCode Postevent(TS ts, PetscInt nev_zero, PetscInt evs_zero[], PetscReal t, Vec U, PetscBool fwd, void *ctx);
53*fe4ad979SIlya Fursov PetscErrorCode Fill_mat(PetscReal coeff, PetscInt m, Mat A); // Fills the system matrix (2*2)
54ca4445c7SIlya Fursov 
55ca4445c7SIlya Fursov int main(int argc, char **argv)
56ca4445c7SIlya Fursov {
57ca4445c7SIlya Fursov   TS                ts;
58ca4445c7SIlya Fursov   Vec               sol;
59*fe4ad979SIlya Fursov   PetscInt          n, dir0;
60ca4445c7SIlya Fursov   PetscReal         tol = 1e-7, D = 0.02;
61*fe4ad979SIlya Fursov   PetscInt          dir[MAX_NFUNC];
62ca4445c7SIlya Fursov   PetscBool         term[MAX_NFUNC], match;
63*fe4ad979SIlya Fursov   PetscScalar      *x;
64*fe4ad979SIlya Fursov   PetscReal         tspan[28], dtlast, tlast, tlast_expected, maxtime;
65ca4445c7SIlya Fursov   AppCtx            ctx;
66ca4445c7SIlya Fursov   TSConvergedReason reason;
67ca4445c7SIlya Fursov   TSAdapt           adapt;
68ca4445c7SIlya Fursov 
69ca4445c7SIlya Fursov   PetscFunctionBeginUser;
70ca4445c7SIlya Fursov   PetscCall(PetscInitialize(&argc, &argv, (char *)0, help));
71ca4445c7SIlya Fursov   setbuf(stdout, NULL);
72ca4445c7SIlya Fursov   PetscCallMPI(MPI_Comm_rank(PETSC_COMM_WORLD, &ctx.rank));
73ca4445c7SIlya Fursov   PetscCallMPI(MPI_Comm_size(PETSC_COMM_WORLD, &ctx.size));
74ca4445c7SIlya Fursov   ctx.pi      = PetscAcosReal(-1.0);
75ca4445c7SIlya Fursov   ctx.cnt     = 0;
76*fe4ad979SIlya Fursov   ctx.cntref  = 0;
77ca4445c7SIlya Fursov   ctx.flg     = PETSC_FALSE;
78*fe4ad979SIlya Fursov   ctx.errtol  = 1e-5;
79ca4445c7SIlya Fursov   ctx.restart = PETSC_FALSE;
80ca4445c7SIlya Fursov   ctx.term    = PETSC_TRUE;
81ca4445c7SIlya Fursov   ctx.dtpost  = 0;
82*fe4ad979SIlya Fursov   ctx.dt2_at6 = -2;
83*fe4ad979SIlya Fursov   ctx.mult7   = 1.0;
84ca4445c7SIlya Fursov   ctx.postcnt = 0;
85*fe4ad979SIlya Fursov   ctx.m       = 0;
86ca4445c7SIlya Fursov 
87ca4445c7SIlya Fursov   // The linear problem has a 2*2 matrix. The matrix is constant
88*fe4ad979SIlya Fursov   if (ctx.rank == 0) ctx.m = 2;
89*fe4ad979SIlya Fursov   PetscCall(MatCreateAIJ(PETSC_COMM_WORLD, ctx.m, ctx.m, PETSC_DETERMINE, PETSC_DETERMINE, 2, NULL, 0, NULL, &ctx.A));
90*fe4ad979SIlya Fursov   PetscCallBack("Fill_mat", Fill_mat(0.2, ctx.m, ctx.A));
91*fe4ad979SIlya Fursov   PetscCall(MatCreateVecs(ctx.A, &sol, NULL));
92ca4445c7SIlya Fursov   PetscCall(VecGetArray(sol, &x));
93ca4445c7SIlya Fursov   if (ctx.rank == 0) { // initial conditions
94ca4445c7SIlya Fursov     x[0] = 0;          // sin(0)
95ca4445c7SIlya Fursov     x[1] = 1;          // cos(0)
96ca4445c7SIlya Fursov   }
97ca4445c7SIlya Fursov   PetscCall(VecRestoreArray(sol, &x));
98ca4445c7SIlya Fursov 
99ca4445c7SIlya Fursov   PetscCall(TSCreate(PETSC_COMM_WORLD, &ts));
100ca4445c7SIlya Fursov   PetscCall(TSSetProblemType(ts, TS_LINEAR));
101ca4445c7SIlya Fursov 
102ca4445c7SIlya Fursov   PetscCall(TSSetRHSFunction(ts, NULL, TSComputeRHSFunctionLinear, NULL));
103*fe4ad979SIlya Fursov   PetscCall(TSSetRHSJacobian(ts, ctx.A, ctx.A, TSComputeRHSJacobianConstant, NULL));
104ca4445c7SIlya Fursov 
105ca4445c7SIlya Fursov   PetscCall(TSSetTimeStep(ts, 0.099));
106ca4445c7SIlya Fursov   PetscCall(TSSetType(ts, TSBEULER));
107ca4445c7SIlya Fursov   PetscCall(TSSetMaxSteps(ts, 10000));
108ca4445c7SIlya Fursov   PetscCall(TSSetMaxTime(ts, 10.0));
109ca4445c7SIlya Fursov   PetscCall(TSSetExactFinalTime(ts, TS_EXACTFINALTIME_MATCHSTEP));
110ca4445c7SIlya Fursov 
111ca4445c7SIlya Fursov   // Set the event handling
112ca4445c7SIlya Fursov   dir0 = 0;
113ca4445c7SIlya Fursov   PetscCall(PetscOptionsGetInt(NULL, NULL, "-dir", &dir0, NULL));             // desired zero-crossing direction
114ca4445c7SIlya Fursov   PetscCall(PetscOptionsHasName(NULL, NULL, "-flg", &ctx.flg));               // flag for additional output
115*fe4ad979SIlya Fursov   PetscCall(PetscOptionsGetReal(NULL, NULL, "-errtol", &ctx.errtol, NULL));   // error tolerance for located events
116ca4445c7SIlya Fursov   PetscCall(PetscOptionsGetBool(NULL, NULL, "-restart", &ctx.restart, NULL)); // flag for TSRestartStep()
117ca4445c7SIlya Fursov   PetscCall(PetscOptionsGetBool(NULL, NULL, "-term", &ctx.term, NULL));       // flag to terminate at 9.05 event
118ca4445c7SIlya Fursov   PetscCall(PetscOptionsGetReal(NULL, NULL, "-dtpost", &ctx.dtpost, NULL));   // post-event step
119*fe4ad979SIlya Fursov   PetscCall(PetscOptionsGetReal(NULL, NULL, "-dt2_at6", &ctx.dt2_at6, NULL)); // second time step set after event at t=6
120*fe4ad979SIlya Fursov   PetscCall(PetscOptionsGetReal(NULL, NULL, "-mult7", &ctx.mult7, NULL));     // multiplier for coeffs at t=7
121ca4445c7SIlya Fursov   PetscCall(PetscOptionsGetReal(NULL, NULL, "-D", &D, NULL));                 // small number for tspan
122ca4445c7SIlya Fursov 
123ca4445c7SIlya Fursov   n = 0;               // event counter
124ca4445c7SIlya Fursov   if (ctx.rank == 0) { // first event -- on rank-0
125ca4445c7SIlya Fursov     dir[n]    = dir0;
126ca4445c7SIlya Fursov     term[n++] = PETSC_FALSE;
127*fe4ad979SIlya Fursov     if (dir0 >= 0) ctx.ref[ctx.cntref++] = 1.05;
128ca4445c7SIlya Fursov   }
129ca4445c7SIlya Fursov   if (ctx.rank == ctx.size - 1) { // second event (with optional termination) -- on last rank
130ca4445c7SIlya Fursov     dir[n]    = dir0;
131ca4445c7SIlya Fursov     term[n++] = ctx.term;
132*fe4ad979SIlya Fursov     if (dir0 <= 0) ctx.ref[ctx.cntref++] = 9.05;
133ca4445c7SIlya Fursov   }
134ca4445c7SIlya Fursov   if (ctx.rank == 1 % ctx.size) { // third event -- on rank = 1%ctx.size
135ca4445c7SIlya Fursov     dir[n]    = dir0;
136ca4445c7SIlya Fursov     term[n++] = PETSC_FALSE;
137*fe4ad979SIlya Fursov 
138*fe4ad979SIlya Fursov     for (PetscInt i = 1; i < MAX_NEV - 2; i++) {
139*fe4ad979SIlya Fursov       if (i % 2 == 1 && dir0 <= 0) ctx.ref[ctx.cntref++] = i;
140*fe4ad979SIlya Fursov       if (i % 2 == 0 && dir0 >= 0) ctx.ref[ctx.cntref++] = i;
141ca4445c7SIlya Fursov     }
142*fe4ad979SIlya Fursov   }
143*fe4ad979SIlya Fursov   if (ctx.cntref > 0) PetscCall(PetscSortReal(ctx.cntref, ctx.ref));
144ca4445c7SIlya Fursov   PetscCall(TSSetEventHandler(ts, n, dir, term, EventFunction, Postevent, &ctx));
145ca4445c7SIlya Fursov   PetscCall(TSSetEventTolerances(ts, tol, NULL));
146ca4445c7SIlya Fursov 
147ca4445c7SIlya Fursov   // Set the time span
148ca4445c7SIlya Fursov   for (PetscInt i = 0; i < 10; i++) {
149ca4445c7SIlya Fursov     tspan[2 * i]     = 0.01 + i + (i == 7 ? -0.02 : 0);
150ca4445c7SIlya Fursov     tspan[2 * i + 1] = 0.21 + i;
151ca4445c7SIlya Fursov   }
152ca4445c7SIlya Fursov   tspan[20] = 3;
153ca4445c7SIlya Fursov   tspan[21] = 4;
154ca4445c7SIlya Fursov   tspan[22] = 4 + D;
155ca4445c7SIlya Fursov   tspan[23] = 5 - D;
156ca4445c7SIlya Fursov   tspan[24] = 5;
157ca4445c7SIlya Fursov   tspan[25] = 6 - D;
158ca4445c7SIlya Fursov   tspan[26] = 6;
159ca4445c7SIlya Fursov   tspan[27] = 6 + D;
160ca4445c7SIlya Fursov   PetscCall(PetscSortReal(28, tspan));
161ca4445c7SIlya Fursov   PetscCall(TSSetTimeSpan(ts, 28, tspan));
162ca4445c7SIlya Fursov   PetscCall(TSSetFromOptions(ts));
163ca4445c7SIlya Fursov 
164ca4445c7SIlya Fursov   // Solution
165ca4445c7SIlya Fursov   PetscCall(TSSolve(ts, sol));
166ca4445c7SIlya Fursov   PetscCall(TSGetConvergedReason(ts, &reason));
167ca4445c7SIlya Fursov   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "CONVERGED REASON: %" PetscInt_FMT " (TS_CONVERGED_EVENT == %" PetscInt_FMT ")\n", (PetscInt)reason, (PetscInt)TS_CONVERGED_EVENT));
168ca4445c7SIlya Fursov 
169*fe4ad979SIlya Fursov   // The 4 columns printed are: [RANK] [time of event] [error w.r.t. reference] ["pass"/"fail"]
170*fe4ad979SIlya Fursov   for (PetscInt j = 0; j < ctx.cnt; j++) {
171*fe4ad979SIlya Fursov     PetscReal err = 10.0;
172*fe4ad979SIlya Fursov     if (j < ctx.cntref) err = PetscAbsReal(ctx.evres[j] - ctx.ref[j]);
173*fe4ad979SIlya Fursov     PetscCall(PetscSynchronizedPrintf(PETSC_COMM_WORLD, "%d\t%g\t%g\t%s\n", ctx.rank, (double)ctx.evres[j], (double)err, err < ctx.errtol ? "pass" : "fail"));
174*fe4ad979SIlya Fursov   }
175ca4445c7SIlya Fursov   PetscCall(PetscSynchronizedFlush(PETSC_COMM_WORLD, PETSC_STDOUT));
176ca4445c7SIlya Fursov 
177*fe4ad979SIlya Fursov   // print the final time and step
178*fe4ad979SIlya Fursov   PetscCall(TSGetTime(ts, &tlast));
179ca4445c7SIlya Fursov   PetscCall(TSGetTimeStep(ts, &dtlast));
180ca4445c7SIlya Fursov   PetscCall(TSGetAdapt(ts, &adapt));
181ca4445c7SIlya Fursov   PetscCall(PetscObjectTypeCompare((PetscObject)adapt, TSADAPTNONE, &match));
182*fe4ad979SIlya Fursov 
183*fe4ad979SIlya Fursov   PetscCall(TSGetMaxTime(ts, &maxtime));
184*fe4ad979SIlya Fursov   tlast_expected = ((dir0 == 1 || !ctx.term) ? maxtime : PetscMin(maxtime, 9.05));
185*fe4ad979SIlya Fursov   PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Final time = %g, max time = %g, %s\n", (double)tlast, (double)maxtime, PetscAbsReal(tlast - tlast_expected) < ctx.errtol ? "pass" : "fail"));
186*fe4ad979SIlya Fursov 
187ca4445c7SIlya Fursov   if (match) {
188ca4445c7SIlya Fursov     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Adapt = none\n"));
189ca4445c7SIlya Fursov     PetscCall(PetscPrintf(PETSC_COMM_WORLD, "Last dt = %g\n", (double)dtlast));
190ca4445c7SIlya Fursov   }
191ca4445c7SIlya Fursov 
192*fe4ad979SIlya Fursov   PetscCall(MatDestroy(&ctx.A));
193ca4445c7SIlya Fursov   PetscCall(TSDestroy(&ts));
194ca4445c7SIlya Fursov   PetscCall(VecDestroy(&sol));
195ca4445c7SIlya Fursov 
196ca4445c7SIlya Fursov   PetscCall(PetscFinalize());
197ca4445c7SIlya Fursov   return 0;
198ca4445c7SIlya Fursov }
199ca4445c7SIlya Fursov 
200ca4445c7SIlya Fursov /*
201ca4445c7SIlya Fursov   User callback for defining the event-functions
202ca4445c7SIlya Fursov */
203ca4445c7SIlya Fursov PetscErrorCode EventFunction(TS ts, PetscReal t, Vec U, PetscReal gval[], void *ctx)
204ca4445c7SIlya Fursov {
205ca4445c7SIlya Fursov   PetscInt n   = 0;
206ca4445c7SIlya Fursov   AppCtx  *Ctx = (AppCtx *)ctx;
207ca4445c7SIlya Fursov 
208ca4445c7SIlya Fursov   PetscFunctionBeginUser;
209ca4445c7SIlya Fursov   // for the test purposes, event-functions are defined based on t
210ca4445c7SIlya Fursov   // first event -- on rank-0
211ca4445c7SIlya Fursov   if (Ctx->rank == 0) {
212ca4445c7SIlya Fursov     if (t < 2.05) gval[n++] = 0.5 * (1 - PetscPowReal(t - 2.05, 12));
213ca4445c7SIlya Fursov     else gval[n++] = 0.5;
214ca4445c7SIlya Fursov   }
215ca4445c7SIlya Fursov 
216ca4445c7SIlya Fursov   // second event -- on last rank
217ca4445c7SIlya Fursov   if (Ctx->rank == Ctx->size - 1) {
218ca4445c7SIlya Fursov     if (t > 8.05) gval[n++] = 0.25 * (1 - PetscPowReal(t - 8.05, 12));
219ca4445c7SIlya Fursov     else gval[n++] = 0.25;
220ca4445c7SIlya Fursov   }
221ca4445c7SIlya Fursov 
222ca4445c7SIlya Fursov   // third event -- on rank = 1%ctx.size
223ca4445c7SIlya Fursov   if (Ctx->rank == 1 % Ctx->size) { gval[n++] = PetscSinReal(Ctx->pi * t); }
224ca4445c7SIlya Fursov   PetscFunctionReturn(PETSC_SUCCESS);
225ca4445c7SIlya Fursov }
226ca4445c7SIlya Fursov 
227ca4445c7SIlya Fursov /*
228ca4445c7SIlya Fursov   User callback for the post-event stuff
229ca4445c7SIlya Fursov */
230ca4445c7SIlya Fursov PetscErrorCode Postevent(TS ts, PetscInt nev_zero, PetscInt evs_zero[], PetscReal t, Vec U, PetscBool fwd, void *ctx)
231ca4445c7SIlya Fursov {
232ca4445c7SIlya Fursov   AppCtx   *Ctx         = (AppCtx *)ctx;
233*fe4ad979SIlya Fursov   PetscBool mat_changed = PETSC_FALSE;
234ca4445c7SIlya Fursov 
235ca4445c7SIlya Fursov   PetscFunctionBeginUser;
236ca4445c7SIlya Fursov   if (Ctx->flg) {
237ca4445c7SIlya Fursov     PetscCallBack("EventFunction", EventFunction(ts, t, U, Ctx->fvals, ctx));
238ca4445c7SIlya Fursov     PetscCall(PetscSynchronizedPrintf(PETSC_COMM_WORLD, "[%d] At t = %20.16g : %" PetscInt_FMT " events triggered, fvalues =", Ctx->rank, (double)t, nev_zero));
239ca4445c7SIlya Fursov     for (PetscInt j = 0; j < nev_zero; j++) PetscCall(PetscSynchronizedPrintf(PETSC_COMM_WORLD, "\t%g", (double)Ctx->fvals[evs_zero[j]]));
240ca4445c7SIlya Fursov     PetscCall(PetscSynchronizedPrintf(PETSC_COMM_WORLD, "\n"));
241ca4445c7SIlya Fursov     PetscCall(PetscSynchronizedFlush(PETSC_COMM_WORLD, PETSC_STDOUT));
242ca4445c7SIlya Fursov   }
243ca4445c7SIlya Fursov 
244*fe4ad979SIlya Fursov   if (Ctx->cnt + nev_zero < MAX_NEV)
245*fe4ad979SIlya Fursov     for (PetscInt i = 0; i < nev_zero; i++) Ctx->evres[Ctx->cnt++] = t; // save the repeating zeros separately for easier/unified testing
246ca4445c7SIlya Fursov 
247ca4445c7SIlya Fursov #ifdef NEW_VERSION
248ca4445c7SIlya Fursov   Ctx->postcnt++; // sync
249ca4445c7SIlya Fursov   if (Ctx->dtpost > 0) {
250ca4445c7SIlya Fursov     if (Ctx->postcnt % 2 == 0) PetscCall(TSSetPostEventStep(ts, Ctx->dtpost));
251*fe4ad979SIlya Fursov     else PetscCall(TSSetPostEventStep(ts, PETSC_DECIDE));
252ca4445c7SIlya Fursov   }
253ca4445c7SIlya Fursov #endif
254ca4445c7SIlya Fursov 
255*fe4ad979SIlya Fursov   // t==6: set the second post-event step
256*fe4ad979SIlya Fursov   if (PetscAbsReal(t - 6.0) < 0.01 && Ctx->dt2_at6 != -2) PetscCall(TSSetPostEventSecondStep(ts, Ctx->dt2_at6));
257*fe4ad979SIlya Fursov 
258*fe4ad979SIlya Fursov   // t==7: change the system matrix
259*fe4ad979SIlya Fursov   if (PetscAbsReal(t - 7.0) < 0.01 && Ctx->mult7 != 1) {
260*fe4ad979SIlya Fursov     PetscCallBack("Fill_mat", Fill_mat(0.2 * Ctx->mult7, Ctx->m, Ctx->A));
261*fe4ad979SIlya Fursov     PetscCall(TSSetRHSJacobian(ts, Ctx->A, Ctx->A, TSComputeRHSJacobianConstant, NULL));
262*fe4ad979SIlya Fursov     mat_changed = PETSC_TRUE;
263*fe4ad979SIlya Fursov   }
264*fe4ad979SIlya Fursov 
265*fe4ad979SIlya Fursov   if (Ctx->restart || mat_changed) PetscCall(TSRestartStep(ts));
266*fe4ad979SIlya Fursov   PetscFunctionReturn(PETSC_SUCCESS);
267*fe4ad979SIlya Fursov }
268*fe4ad979SIlya Fursov 
269*fe4ad979SIlya Fursov /*
270*fe4ad979SIlya Fursov   Fills the system matrix (2*2)
271*fe4ad979SIlya Fursov */
272*fe4ad979SIlya Fursov PetscErrorCode Fill_mat(PetscReal coeff, PetscInt m, Mat A)
273*fe4ad979SIlya Fursov {
274*fe4ad979SIlya Fursov   PetscInt    inds[2];
275*fe4ad979SIlya Fursov   PetscScalar vals[4];
276*fe4ad979SIlya Fursov 
277*fe4ad979SIlya Fursov   PetscFunctionBeginUser;
278*fe4ad979SIlya Fursov   inds[0] = 0;
279*fe4ad979SIlya Fursov   inds[1] = 1;
280*fe4ad979SIlya Fursov   vals[0] = 0;
281*fe4ad979SIlya Fursov   vals[1] = coeff;
282*fe4ad979SIlya Fursov   vals[2] = -coeff;
283*fe4ad979SIlya Fursov   vals[3] = 0;
284*fe4ad979SIlya Fursov   PetscCall(MatSetValues(A, m, inds, m, inds, vals, INSERT_VALUES));
285*fe4ad979SIlya Fursov   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
286*fe4ad979SIlya Fursov   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
287*fe4ad979SIlya Fursov   PetscCall(MatSetOption(A, MAT_NEW_NONZERO_LOCATION_ERR, PETSC_TRUE));
288*fe4ad979SIlya Fursov 
289ca4445c7SIlya Fursov   PetscFunctionReturn(PETSC_SUCCESS);
290ca4445c7SIlya Fursov }
291ca4445c7SIlya Fursov /*---------------------------------------------------------------------------------------------*/
292*fe4ad979SIlya Fursov /*
293*fe4ad979SIlya Fursov   Note, in the tests below, -ts_event_post_event_step is occasionally set to -1,
294*fe4ad979SIlya Fursov   which corresponds to PETSC_DECIDE in the API. It is not a very good practice to
295*fe4ad979SIlya Fursov   explicitly specify -1 in this option. Rather, if PETSC_DECIDE behaviour is needed,
296*fe4ad979SIlya Fursov   simply remove this option altogether. This will result in using the defaults
297*fe4ad979SIlya Fursov   (which is PETSC_DECIDE).
298*fe4ad979SIlya Fursov */
299ca4445c7SIlya Fursov /*TEST
300ca4445c7SIlya Fursov   test:
301ca4445c7SIlya Fursov     suffix: 1
302ca4445c7SIlya Fursov     requires: !single
303ca4445c7SIlya Fursov     output_file: output/ex3span_1.out
304ca4445c7SIlya Fursov     args: -ts_monitor -ts_adapt_type none -restart
305ca4445c7SIlya Fursov     args: -dtpost 0.1127 -D 0.0015 -dir 0 -ts_max_time 9.8 -ts_dt 0.18
306ca4445c7SIlya Fursov     nsize: 1
307ca4445c7SIlya Fursov 
308ca4445c7SIlya Fursov   test:
309ca4445c7SIlya Fursov     suffix: 1single
310ca4445c7SIlya Fursov     requires: single
311ca4445c7SIlya Fursov     output_file: output/ex3span_1single.out
312ca4445c7SIlya Fursov     args: -ts_monitor -ts_adapt_type none -restart -ts_event_dt_min 1e-6
313ca4445c7SIlya Fursov     args: -dtpost 0.1127 -D 0.0015 -dir 0 -ts_max_time 9.8 -ts_dt 0.18
314ca4445c7SIlya Fursov     nsize: 1
315ca4445c7SIlya Fursov 
316ca4445c7SIlya Fursov   test:
317ca4445c7SIlya Fursov     suffix: 2
318ca4445c7SIlya Fursov     output_file: output/ex3span_2.out
319ca4445c7SIlya Fursov     args: -ts_event_dt_min 1e-6 -dtpost 1 -term 0 -ts_max_time 9.61
320ca4445c7SIlya Fursov     nsize: 1
321ca4445c7SIlya Fursov 
322ca4445c7SIlya Fursov   test:
323*fe4ad979SIlya Fursov     suffix: 3none
324*fe4ad979SIlya Fursov     output_file: output/ex3span_3none.out
325*fe4ad979SIlya Fursov     args: -ts_event_dt_min 1e-6 -ts_adapt_type none -dir 0
326*fe4ad979SIlya Fursov     args: -ts_event_post_event_step {{-1 0.11}}
327*fe4ad979SIlya Fursov     args: -ts_event_post_event_second_step 0.12
328*fe4ad979SIlya Fursov     args: -dt2_at6 {{-2 0.08 0.15}}
329*fe4ad979SIlya Fursov     nsize: 3
330ca4445c7SIlya Fursov 
331ca4445c7SIlya Fursov   test:
332*fe4ad979SIlya Fursov     suffix: 3basic
333*fe4ad979SIlya Fursov     output_file: output/ex3span_3basic.out
334*fe4ad979SIlya Fursov     args: -ts_event_dt_min 1e-6 -ts_adapt_type basic -dir 0
335*fe4ad979SIlya Fursov     args: -ts_event_post_event_step {{-1 0.11}}
336*fe4ad979SIlya Fursov     args: -ts_event_post_event_second_step 0.12
337*fe4ad979SIlya Fursov     args: -dt2_at6 {{-2 0.08 0.15}}
338*fe4ad979SIlya Fursov     args: -mult7 {{1 2}}
339*fe4ad979SIlya Fursov     nsize: 2
340*fe4ad979SIlya Fursov 
341*fe4ad979SIlya Fursov   test:
342*fe4ad979SIlya Fursov     suffix: fin
343*fe4ad979SIlya Fursov     output_file: output/ex3span_fin.out
344*fe4ad979SIlya Fursov     args: -ts_max_time {{8.21 8.99 9 9.04 9.05 9.06 9.21 9.99 12}}
345*fe4ad979SIlya Fursov     args: -ts_event_dt_min 1e-6
346ca4445c7SIlya Fursov     args: -ts_adapt_type {{none basic}}
347ca4445c7SIlya Fursov     args: -dtpost 0.1125
348ca4445c7SIlya Fursov     args: -D 0.0025
349*fe4ad979SIlya Fursov     args: -dir {{0 -1 1}}
350ca4445c7SIlya Fursov     args: -ts_dt 0.3025
351*fe4ad979SIlya Fursov     args: -ts_type {{rk bdf}}
352*fe4ad979SIlya Fursov     filter: grep "Final time ="
353*fe4ad979SIlya Fursov     filter_output: grep "Final time ="
354ca4445c7SIlya Fursov     nsize: 2
355ca4445c7SIlya Fursov 
356ca4445c7SIlya Fursov   test:
357*fe4ad979SIlya Fursov     suffix: adaptmonitor
358*fe4ad979SIlya Fursov     requires: !single
359*fe4ad979SIlya Fursov     output_file: output/ex3span_adaptmonitor.out
360*fe4ad979SIlya Fursov     args: -ts_adapt_monitor -dir 1
361ca4445c7SIlya Fursov     nsize: 1
362ca4445c7SIlya Fursov TEST*/
363