xref: /petsc/src/ts/tests/ex26.c (revision 4e8208cbcbc709572b8abe32f33c78b69c819375)
16aad120cSJose E. Roman static char help[] = "Solves the trivial ODE 2 du/dt = 1, u(0) = 0. \n\n";
2c79dcfbdSBarry Smith 
3c79dcfbdSBarry Smith #include <petscts.h>
4c79dcfbdSBarry Smith #include <petscpc.h>
5c79dcfbdSBarry Smith 
691de4d3cSBarry Smith PetscErrorCode IFunction(TS, PetscReal, Vec, Vec, Vec, void *);
791de4d3cSBarry Smith PetscErrorCode IJacobian(TS, PetscReal, Vec, Vec, PetscReal, Mat, Mat, void *);
8d27334e2SStefano Zampini PetscErrorCode RHSFunction(TS, PetscReal, Vec, Vec, void *);
9c79dcfbdSBarry Smith 
main(int argc,char ** argv)10d71ae5a4SJacob Faibussowitsch int main(int argc, char **argv)
11d71ae5a4SJacob Faibussowitsch {
12c79dcfbdSBarry Smith   TS        ts;
13c79dcfbdSBarry Smith   Vec       x;
14c79dcfbdSBarry Smith   Mat       A;
15d27334e2SStefano Zampini   PetscBool flg = PETSC_FALSE, usingimex;
16c79dcfbdSBarry Smith 
17327415f7SBarry Smith   PetscFunctionBeginUser;
18c8025a54SPierre Jolivet   PetscCall(PetscInitialize(&argc, &argv, NULL, help));
19c79dcfbdSBarry Smith 
209566063dSJacob Faibussowitsch   PetscCall(TSCreate(PETSC_COMM_WORLD, &ts));
21d27334e2SStefano Zampini   PetscCall(PetscOptionsGetBool(NULL, NULL, "-set_implicit", &flg, NULL));
22d27334e2SStefano Zampini   if (flg) PetscCall(TSSetEquationType(ts, TS_EQ_ODE_IMPLICIT));
23d27334e2SStefano Zampini   PetscCall(TSSetIFunction(ts, NULL, IFunction, NULL));
24d27334e2SStefano Zampini   PetscCall(TSSetRHSFunction(ts, NULL, RHSFunction, &usingimex));
25c79dcfbdSBarry Smith 
269566063dSJacob Faibussowitsch   PetscCall(MatCreate(PETSC_COMM_WORLD, &A));
279566063dSJacob Faibussowitsch   PetscCall(MatSetSizes(A, 1, 1, PETSC_DECIDE, PETSC_DECIDE));
289566063dSJacob Faibussowitsch   PetscCall(MatSetFromOptions(A));
299566063dSJacob Faibussowitsch   PetscCall(MatSetUp(A));
309566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
319566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
329566063dSJacob Faibussowitsch   PetscCall(TSSetIJacobian(ts, A, A, IJacobian, NULL));
339566063dSJacob Faibussowitsch   PetscCall(MatDestroy(&A));
34c79dcfbdSBarry Smith 
359566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_WORLD, &x));
369566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(x, 1, PETSC_DECIDE));
379566063dSJacob Faibussowitsch   PetscCall(VecSetFromOptions(x));
389566063dSJacob Faibussowitsch   PetscCall(VecSetUp(x));
399566063dSJacob Faibussowitsch   PetscCall(TSSetSolution(ts, x));
409566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&x));
419566063dSJacob Faibussowitsch   PetscCall(TSSetFromOptions(ts));
42c79dcfbdSBarry Smith 
43d27334e2SStefano Zampini   /* Need to know if we are using an IMEX scheme to decide on the form
44d27334e2SStefano Zampini      of the RHS function */
45d27334e2SStefano Zampini   PetscCall(PetscObjectTypeCompare((PetscObject)ts, TSARKIMEX, &usingimex));
46d27334e2SStefano Zampini   if (usingimex) {
47d27334e2SStefano Zampini     PetscCall(TSARKIMEXGetFullyImplicit(ts, &flg));
48d27334e2SStefano Zampini     if (flg) usingimex = PETSC_FALSE;
49d27334e2SStefano Zampini   }
509566063dSJacob Faibussowitsch   PetscCall(TSSetStepNumber(ts, 0));
519566063dSJacob Faibussowitsch   PetscCall(TSSetTimeStep(ts, 1));
529566063dSJacob Faibussowitsch   PetscCall(TSSetTime(ts, 0));
539566063dSJacob Faibussowitsch   PetscCall(TSSetMaxTime(ts, PETSC_MAX_REAL));
549566063dSJacob Faibussowitsch   PetscCall(TSSetMaxSteps(ts, 3));
55c79dcfbdSBarry Smith 
56cab2b192SBarry Smith   PetscCall(TSSolve(ts, NULL));
57c79dcfbdSBarry Smith 
589566063dSJacob Faibussowitsch   PetscCall(TSDestroy(&ts));
599566063dSJacob Faibussowitsch   PetscCall(PetscFinalize());
60b122ec5aSJacob Faibussowitsch   return 0;
61c79dcfbdSBarry Smith }
62c79dcfbdSBarry Smith 
RHSFunction(TS ts,PetscReal t,Vec x,Vec f,PetscCtx ctx)63*2a8381b2SBarry Smith PetscErrorCode RHSFunction(TS ts, PetscReal t, Vec x, Vec f, PetscCtx ctx)
64d27334e2SStefano Zampini {
65d27334e2SStefano Zampini   PetscBool usingimex = *(PetscBool *)ctx;
66d27334e2SStefano Zampini 
67d27334e2SStefano Zampini   PetscFunctionBeginUser;
68d27334e2SStefano Zampini   PetscCall(VecSet(f, usingimex ? 0.5 : 1));
69d27334e2SStefano Zampini   PetscFunctionReturn(PETSC_SUCCESS);
70d27334e2SStefano Zampini }
71d27334e2SStefano Zampini 
IFunction(TS ts,PetscReal t,Vec x,Vec xdot,Vec f,PetscCtx ctx)72*2a8381b2SBarry Smith PetscErrorCode IFunction(TS ts, PetscReal t, Vec x, Vec xdot, Vec f, PetscCtx ctx)
73d71ae5a4SJacob Faibussowitsch {
747510d9b0SBarry Smith   PetscFunctionBeginUser;
759566063dSJacob Faibussowitsch   PetscCall(VecCopy(xdot, f));
769566063dSJacob Faibussowitsch   PetscCall(VecScale(f, 2.0));
773ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
78c79dcfbdSBarry Smith }
79c79dcfbdSBarry Smith 
IJacobian(TS ts,PetscReal t,Vec x,Vec xdot,PetscReal shift,Mat A,Mat B,PetscCtx ctx)80*2a8381b2SBarry Smith PetscErrorCode IJacobian(TS ts, PetscReal t, Vec x, Vec xdot, PetscReal shift, Mat A, Mat B, PetscCtx ctx)
81d71ae5a4SJacob Faibussowitsch {
82c79dcfbdSBarry Smith   PetscScalar j;
83c79dcfbdSBarry Smith 
847510d9b0SBarry Smith   PetscFunctionBeginUser;
85c79dcfbdSBarry Smith   j = shift * 2.0;
869566063dSJacob Faibussowitsch   PetscCall(MatSetValue(B, 0, 0, j, INSERT_VALUES));
879566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(B, MAT_FINAL_ASSEMBLY));
889566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(B, MAT_FINAL_ASSEMBLY));
893ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
90c79dcfbdSBarry Smith }
91c79dcfbdSBarry Smith 
92c79dcfbdSBarry Smith /*TEST
93c79dcfbdSBarry Smith 
94c79dcfbdSBarry Smith     test:
95c79dcfbdSBarry Smith       suffix: arkimex_explicit_stage
960ef292d3SStefano Zampini       requires: !defined(PETSCTEST_VALGRIND) defined(PETSC_USE_DEBUG) !defined(PETSC_HAVE_SANITIZER)
97d27334e2SStefano Zampini       args: -ts_type arkimex -petsc_ci_portable_error_output -error_output_stdout -set_implicit
98e9a33e21SBarry Smith       filter: grep -E -v "(memory block|leaked context|not freed before MPI_Finalize|Could be the program crashed)"
99c79dcfbdSBarry Smith 
100c79dcfbdSBarry Smith     test:
101c79dcfbdSBarry Smith       suffix: arkimex_implicit_stage
102d27334e2SStefano Zampini       args: -ts_type arkimex -ts_arkimex_type {{3 l2}} -ts_monitor_solution -ts_monitor
103c79dcfbdSBarry Smith 
104c79dcfbdSBarry Smith TEST*/
105