xref: /petsc/src/ts/tutorials/autodiff/adolc-utils/drivers.cxx (revision 4e8208cbcbc709572b8abe32f33c78b69c819375)
1c4762a1bSJed Brown #include "contexts.cxx"
2c4762a1bSJed Brown #include "sparse.cxx"
3c4762a1bSJed Brown #include "init.cxx"
4c4762a1bSJed Brown #include <adolc/drivers/drivers.h>
5c4762a1bSJed Brown #include <adolc/interfaces.h>
6c4762a1bSJed Brown 
7c4762a1bSJed Brown /*
8c4762a1bSJed Brown    REQUIRES configuration of PETSc with option --download-adolc.
9c4762a1bSJed Brown 
10c4762a1bSJed Brown    For documentation on ADOL-C, see
11c4762a1bSJed Brown      $PETSC_ARCH/externalpackages/ADOL-C-2.6.0/ADOL-C/doc/adolc-manual.pdf
12c4762a1bSJed Brown */
13c4762a1bSJed Brown 
14c4762a1bSJed Brown /* --------------------------------------------------------------------------------
15c4762a1bSJed Brown    Drivers for RHSJacobian and IJacobian
16c4762a1bSJed Brown    ----------------------------------------------------------------------------- */
17c4762a1bSJed Brown 
18c4762a1bSJed Brown /*
19c4762a1bSJed Brown   Compute Jacobian for explicit TS in compressed format and recover from this, using
20c4762a1bSJed Brown   precomputed seed and recovery matrices. If sparse mode is not used, full Jacobian is
21c4762a1bSJed Brown   assembled (not recommended for non-toy problems!).
22c4762a1bSJed Brown 
23c4762a1bSJed Brown   Input parameters:
24c4762a1bSJed Brown   tag   - tape identifier
25c4762a1bSJed Brown   u_vec - vector at which to evaluate Jacobian
26c4762a1bSJed Brown   ctx   - ADOL-C context, as defined above
27c4762a1bSJed Brown 
28c4762a1bSJed Brown   Output parameter:
29c4762a1bSJed Brown   A     - Mat object corresponding to Jacobian
30c4762a1bSJed Brown */
PetscAdolcComputeRHSJacobian(PetscInt tag,Mat A,const PetscScalar * u_vec,PetscCtx ctx)31*2a8381b2SBarry Smith PetscErrorCode PetscAdolcComputeRHSJacobian(PetscInt tag, Mat A, const PetscScalar *u_vec, PetscCtx ctx)
32d71ae5a4SJacob Faibussowitsch {
33c4762a1bSJed Brown   AdolcCtx     *adctx = (AdolcCtx *)ctx;
34c4762a1bSJed Brown   PetscInt      i, j, m = adctx->m, n = adctx->n, p = adctx->p;
35c4762a1bSJed Brown   PetscScalar **J;
36c4762a1bSJed Brown 
37c4762a1bSJed Brown   PetscFunctionBegin;
389566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(m, p, &J));
399371c9d4SSatish Balay   if (adctx->Seed) fov_forward(tag, m, n, p, u_vec, adctx->Seed, NULL, J);
409371c9d4SSatish Balay   else jacobian(tag, m, n, u_vec, J);
41c4762a1bSJed Brown   if (adctx->sparse) {
429566063dSJacob Faibussowitsch     PetscCall(RecoverJacobian(A, INSERT_VALUES, m, p, adctx->Rec, J, NULL));
43c4762a1bSJed Brown   } else {
44c4762a1bSJed Brown     for (i = 0; i < m; i++) {
45c4762a1bSJed Brown       for (j = 0; j < n; j++) {
4648a46eb9SPierre Jolivet         if (fabs(J[i][j]) > 1.e-16) PetscCall(MatSetValues(A, 1, &i, 1, &j, &J[i][j], INSERT_VALUES));
47c4762a1bSJed Brown       }
48c4762a1bSJed Brown     }
49c4762a1bSJed Brown   }
509566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(J));
519566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
529566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
533ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
54c4762a1bSJed Brown }
55c4762a1bSJed Brown 
56c4762a1bSJed Brown /*
57c4762a1bSJed Brown   Compute Jacobian for explicit TS in compressed format and recover from this, using
58c4762a1bSJed Brown   precomputed seed and recovery matrices. If sparse mode is not used, full Jacobian is
59c4762a1bSJed Brown   assembled (not recommended for non-toy problems!).
60c4762a1bSJed Brown 
61c4762a1bSJed Brown   Input parameters:
62c4762a1bSJed Brown   tag   - tape identifier
63c4762a1bSJed Brown   u_vec - vector at which to evaluate Jacobian
64c4762a1bSJed Brown   ctx   - ADOL-C context, as defined above
65c4762a1bSJed Brown 
66c4762a1bSJed Brown   Output parameter:
67c4762a1bSJed Brown   A     - Mat object corresponding to Jacobian
68c4762a1bSJed Brown */
PetscAdolcComputeRHSJacobianLocal(PetscInt tag,Mat A,const PetscScalar * u_vec,PetscCtx ctx)69*2a8381b2SBarry Smith PetscErrorCode PetscAdolcComputeRHSJacobianLocal(PetscInt tag, Mat A, const PetscScalar *u_vec, PetscCtx ctx)
70d71ae5a4SJacob Faibussowitsch {
71c4762a1bSJed Brown   AdolcCtx     *adctx = (AdolcCtx *)ctx;
72c4762a1bSJed Brown   PetscInt      i, j, m = adctx->m, n = adctx->n, p = adctx->p;
73c4762a1bSJed Brown   PetscScalar **J;
74c4762a1bSJed Brown 
75c4762a1bSJed Brown   PetscFunctionBegin;
769566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(m, p, &J));
779371c9d4SSatish Balay   if (adctx->Seed) fov_forward(tag, m, n, p, u_vec, adctx->Seed, NULL, J);
789371c9d4SSatish Balay   else jacobian(tag, m, n, u_vec, J);
79c4762a1bSJed Brown   if (adctx->sparse) {
809566063dSJacob Faibussowitsch     PetscCall(RecoverJacobianLocal(A, INSERT_VALUES, m, p, adctx->Rec, J, NULL));
81c4762a1bSJed Brown   } else {
82c4762a1bSJed Brown     for (i = 0; i < m; i++) {
83c4762a1bSJed Brown       for (j = 0; j < n; j++) {
8448a46eb9SPierre Jolivet         if (fabs(J[i][j]) > 1.e-16) PetscCall(MatSetValuesLocal(A, 1, &i, 1, &j, &J[i][j], INSERT_VALUES));
85c4762a1bSJed Brown       }
86c4762a1bSJed Brown     }
87c4762a1bSJed Brown   }
889566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(J));
899566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
909566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
913ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
92c4762a1bSJed Brown }
93c4762a1bSJed Brown 
94c4762a1bSJed Brown /*
95c4762a1bSJed Brown   Compute Jacobian for implicit TS in compressed format and recover from this, using
96c4762a1bSJed Brown   precomputed seed and recovery matrices. If sparse mode is not used, full Jacobian is
97c4762a1bSJed Brown   assembled (not recommended for non-toy problems!).
98c4762a1bSJed Brown 
99c4762a1bSJed Brown   Input parameters:
100c4762a1bSJed Brown   tag1   - tape identifier for df/dx part
101c4762a1bSJed Brown   tag2   - tape identifier for df/d(xdot) part
102c4762a1bSJed Brown   u_vec - vector at which to evaluate Jacobian
103c4762a1bSJed Brown   ctx   - ADOL-C context, as defined above
104c4762a1bSJed Brown 
105c4762a1bSJed Brown   Output parameter:
106c4762a1bSJed Brown   A     - Mat object corresponding to Jacobian
107c4762a1bSJed Brown */
PetscAdolcComputeIJacobian(PetscInt tag1,PetscInt tag2,Mat A,const PetscScalar * u_vec,PetscReal a,PetscCtx ctx)108*2a8381b2SBarry Smith PetscErrorCode PetscAdolcComputeIJacobian(PetscInt tag1, PetscInt tag2, Mat A, const PetscScalar *u_vec, PetscReal a, PetscCtx ctx)
109d71ae5a4SJacob Faibussowitsch {
110c4762a1bSJed Brown   AdolcCtx     *adctx = (AdolcCtx *)ctx;
111c4762a1bSJed Brown   PetscInt      i, j, m = adctx->m, n = adctx->n, p = adctx->p;
112c4762a1bSJed Brown   PetscScalar **J;
113c4762a1bSJed Brown 
114c4762a1bSJed Brown   PetscFunctionBegin;
1159566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(m, p, &J));
116c4762a1bSJed Brown 
117c4762a1bSJed Brown   /* dF/dx part */
1189371c9d4SSatish Balay   if (adctx->Seed) fov_forward(tag1, m, n, p, u_vec, adctx->Seed, NULL, J);
1199371c9d4SSatish Balay   else jacobian(tag1, m, n, u_vec, J);
1209566063dSJacob Faibussowitsch   PetscCall(MatZeroEntries(A));
121c4762a1bSJed Brown   if (adctx->sparse) {
1229566063dSJacob Faibussowitsch     PetscCall(RecoverJacobian(A, INSERT_VALUES, m, p, adctx->Rec, J, NULL));
123c4762a1bSJed Brown   } else {
124c4762a1bSJed Brown     for (i = 0; i < m; i++) {
125c4762a1bSJed Brown       for (j = 0; j < n; j++) {
12648a46eb9SPierre Jolivet         if (fabs(J[i][j]) > 1.e-16) PetscCall(MatSetValues(A, 1, &i, 1, &j, &J[i][j], INSERT_VALUES));
127c4762a1bSJed Brown       }
128c4762a1bSJed Brown     }
129c4762a1bSJed Brown   }
1309566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
1319566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
132c4762a1bSJed Brown 
133c4762a1bSJed Brown   /* a * dF/d(xdot) part */
1349371c9d4SSatish Balay   if (adctx->Seed) fov_forward(tag2, m, n, p, u_vec, adctx->Seed, NULL, J);
1359371c9d4SSatish Balay   else jacobian(tag2, m, n, u_vec, J);
136c4762a1bSJed Brown   if (adctx->sparse) {
1379566063dSJacob Faibussowitsch     PetscCall(RecoverJacobian(A, ADD_VALUES, m, p, adctx->Rec, J, &a));
138c4762a1bSJed Brown   } else {
139c4762a1bSJed Brown     for (i = 0; i < m; i++) {
140c4762a1bSJed Brown       for (j = 0; j < n; j++) {
141c4762a1bSJed Brown         if (fabs(J[i][j]) > 1.e-16) {
142c4762a1bSJed Brown           J[i][j] *= a;
1439566063dSJacob Faibussowitsch           PetscCall(MatSetValues(A, 1, &i, 1, &j, &J[i][j], ADD_VALUES));
144c4762a1bSJed Brown         }
145c4762a1bSJed Brown       }
146c4762a1bSJed Brown     }
147c4762a1bSJed Brown   }
1489566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
1499566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
1509566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(J));
1513ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
152c4762a1bSJed Brown }
153c4762a1bSJed Brown 
154c4762a1bSJed Brown /*
155c4762a1bSJed Brown   Compute Jacobian for implicit TS in the special case where it is
156c4762a1bSJed Brown   known that the mass matrix is simply the identity. i.e. We have
157c4762a1bSJed Brown   a problem of the form
158c4762a1bSJed Brown                         du/dt = F(u).
159c4762a1bSJed Brown 
160c4762a1bSJed Brown   Input parameters:
161c4762a1bSJed Brown   tag   - tape identifier for df/dx part
162c4762a1bSJed Brown   u_vec - vector at which to evaluate Jacobian
163c4762a1bSJed Brown   ctx   - ADOL-C context, as defined above
164c4762a1bSJed Brown 
165c4762a1bSJed Brown   Output parameter:
166c4762a1bSJed Brown   A     - Mat object corresponding to Jacobian
167c4762a1bSJed Brown */
PetscAdolcComputeIJacobianIDMass(PetscInt tag,Mat A,PetscScalar * u_vec,PetscReal a,PetscCtx ctx)168*2a8381b2SBarry Smith PetscErrorCode PetscAdolcComputeIJacobianIDMass(PetscInt tag, Mat A, PetscScalar *u_vec, PetscReal a, PetscCtx ctx)
169d71ae5a4SJacob Faibussowitsch {
170c4762a1bSJed Brown   AdolcCtx     *adctx = (AdolcCtx *)ctx;
171c4762a1bSJed Brown   PetscInt      i, j, m = adctx->m, n = adctx->n, p = adctx->p;
172c4762a1bSJed Brown   PetscScalar **J;
173c4762a1bSJed Brown 
174c4762a1bSJed Brown   PetscFunctionBegin;
1759566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(m, p, &J));
176c4762a1bSJed Brown 
177c4762a1bSJed Brown   /* dF/dx part */
1789371c9d4SSatish Balay   if (adctx->Seed) fov_forward(tag, m, n, p, u_vec, adctx->Seed, NULL, J);
1799371c9d4SSatish Balay   else jacobian(tag, m, n, u_vec, J);
1809566063dSJacob Faibussowitsch   PetscCall(MatZeroEntries(A));
181c4762a1bSJed Brown   if (adctx->sparse) {
1829566063dSJacob Faibussowitsch     PetscCall(RecoverJacobian(A, INSERT_VALUES, m, p, adctx->Rec, J, NULL));
183c4762a1bSJed Brown   } else {
184c4762a1bSJed Brown     for (i = 0; i < m; i++) {
185c4762a1bSJed Brown       for (j = 0; j < n; j++) {
18648a46eb9SPierre Jolivet         if (fabs(J[i][j]) > 1.e-16) PetscCall(MatSetValues(A, 1, &i, 1, &j, &J[i][j], INSERT_VALUES));
187c4762a1bSJed Brown       }
188c4762a1bSJed Brown     }
189c4762a1bSJed Brown   }
1909566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
1919566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
1929566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(J));
193c4762a1bSJed Brown 
194c4762a1bSJed Brown   /* a * dF/d(xdot) part */
1959566063dSJacob Faibussowitsch   PetscCall(MatShift(A, a));
1963ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
197c4762a1bSJed Brown }
198c4762a1bSJed Brown 
199c4762a1bSJed Brown /*
200c4762a1bSJed Brown   Compute local portion of Jacobian for implicit TS in compressed format and recover from this, using
201c4762a1bSJed Brown   precomputed seed and recovery matrices. If sparse mode is not used, full Jacobian is
202c4762a1bSJed Brown   assembled (not recommended for non-toy problems!).
203c4762a1bSJed Brown 
204c4762a1bSJed Brown   Input parameters:
205c4762a1bSJed Brown   tag1   - tape identifier for df/dx part
206c4762a1bSJed Brown   tag2   - tape identifier for df/d(xdot) part
207c4762a1bSJed Brown   u_vec - vector at which to evaluate Jacobian
208c4762a1bSJed Brown   ctx   - ADOL-C context, as defined above
209c4762a1bSJed Brown 
210c4762a1bSJed Brown   Output parameter:
211c4762a1bSJed Brown   A     - Mat object corresponding to Jacobian
212c4762a1bSJed Brown */
PetscAdolcComputeIJacobianLocal(PetscInt tag1,PetscInt tag2,Mat A,PetscScalar * u_vec,PetscReal a,PetscCtx ctx)213*2a8381b2SBarry Smith PetscErrorCode PetscAdolcComputeIJacobianLocal(PetscInt tag1, PetscInt tag2, Mat A, PetscScalar *u_vec, PetscReal a, PetscCtx ctx)
214d71ae5a4SJacob Faibussowitsch {
215c4762a1bSJed Brown   AdolcCtx     *adctx = (AdolcCtx *)ctx;
216c4762a1bSJed Brown   PetscInt      i, j, m = adctx->m, n = adctx->n, p = adctx->p;
217c4762a1bSJed Brown   PetscScalar **J;
218c4762a1bSJed Brown 
219c4762a1bSJed Brown   PetscFunctionBegin;
2209566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(m, p, &J));
221c4762a1bSJed Brown 
222c4762a1bSJed Brown   /* dF/dx part */
2239371c9d4SSatish Balay   if (adctx->Seed) fov_forward(tag1, m, n, p, u_vec, adctx->Seed, NULL, J);
2249371c9d4SSatish Balay   else jacobian(tag1, m, n, u_vec, J);
225c4762a1bSJed Brown   if (adctx->sparse) {
2269566063dSJacob Faibussowitsch     PetscCall(RecoverJacobianLocal(A, INSERT_VALUES, m, p, adctx->Rec, J, NULL));
227c4762a1bSJed Brown   } else {
228c4762a1bSJed Brown     for (i = 0; i < m; i++) {
229c4762a1bSJed Brown       for (j = 0; j < n; j++) {
23048a46eb9SPierre Jolivet         if (fabs(J[i][j]) > 1.e-16) PetscCall(MatSetValuesLocal(A, 1, &i, 1, &j, &J[i][j], INSERT_VALUES));
231c4762a1bSJed Brown       }
232c4762a1bSJed Brown     }
233c4762a1bSJed Brown   }
2349566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
2359566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
236c4762a1bSJed Brown 
237c4762a1bSJed Brown   /* a * dF/d(xdot) part */
2389371c9d4SSatish Balay   if (adctx->Seed) fov_forward(tag2, m, n, p, u_vec, adctx->Seed, NULL, J);
2399371c9d4SSatish Balay   else jacobian(tag2, m, n, u_vec, J);
240c4762a1bSJed Brown   if (adctx->sparse) {
2419566063dSJacob Faibussowitsch     PetscCall(RecoverJacobianLocal(A, ADD_VALUES, m, p, adctx->Rec, J, &a));
242c4762a1bSJed Brown   } else {
243c4762a1bSJed Brown     for (i = 0; i < m; i++) {
244c4762a1bSJed Brown       for (j = 0; j < n; j++) {
245c4762a1bSJed Brown         if (fabs(J[i][j]) > 1.e-16) {
246c4762a1bSJed Brown           J[i][j] *= a;
2479566063dSJacob Faibussowitsch           PetscCall(MatSetValuesLocal(A, 1, &i, 1, &j, &J[i][j], ADD_VALUES));
248c4762a1bSJed Brown         }
249c4762a1bSJed Brown       }
250c4762a1bSJed Brown     }
251c4762a1bSJed Brown   }
2529566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
2539566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
2549566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(J));
2553ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
256c4762a1bSJed Brown }
257c4762a1bSJed Brown 
258c4762a1bSJed Brown /*
259c4762a1bSJed Brown   Compute local portion of Jacobian for implicit TS in the special case where it is
260c4762a1bSJed Brown   known that the mass matrix is simply the identity. i.e. We have
261c4762a1bSJed Brown   a problem of the form
262c4762a1bSJed Brown                         du/dt = F(u).
263c4762a1bSJed Brown 
264c4762a1bSJed Brown   Input parameters:
265c4762a1bSJed Brown   tag   - tape identifier for df/dx part
266c4762a1bSJed Brown   u_vec - vector at which to evaluate Jacobian
267c4762a1bSJed Brown   ctx   - ADOL-C context, as defined above
268c4762a1bSJed Brown 
269c4762a1bSJed Brown   Output parameter:
270c4762a1bSJed Brown   A     - Mat object corresponding to Jacobian
271c4762a1bSJed Brown */
PetscAdolcComputeIJacobianLocalIDMass(PetscInt tag,Mat A,const PetscScalar * u_vec,PetscReal a,PetscCtx ctx)272*2a8381b2SBarry Smith PetscErrorCode PetscAdolcComputeIJacobianLocalIDMass(PetscInt tag, Mat A, const PetscScalar *u_vec, PetscReal a, PetscCtx ctx)
273d71ae5a4SJacob Faibussowitsch {
274c4762a1bSJed Brown   AdolcCtx     *adctx = (AdolcCtx *)ctx;
275c4762a1bSJed Brown   PetscInt      i, j, m = adctx->m, n = adctx->n, p = adctx->p;
276c4762a1bSJed Brown   PetscScalar **J;
277c4762a1bSJed Brown 
278c4762a1bSJed Brown   PetscFunctionBegin;
2799566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(m, p, &J));
280c4762a1bSJed Brown 
281c4762a1bSJed Brown   /* dF/dx part */
2829371c9d4SSatish Balay   if (adctx->Seed) fov_forward(tag, m, n, p, u_vec, adctx->Seed, NULL, J);
2839371c9d4SSatish Balay   else jacobian(tag, m, n, u_vec, J);
284c4762a1bSJed Brown   if (adctx->sparse) {
2859566063dSJacob Faibussowitsch     PetscCall(RecoverJacobianLocal(A, INSERT_VALUES, m, p, adctx->Rec, J, NULL));
286c4762a1bSJed Brown   } else {
287c4762a1bSJed Brown     for (i = 0; i < m; i++) {
288c4762a1bSJed Brown       for (j = 0; j < n; j++) {
28948a46eb9SPierre Jolivet         if (fabs(J[i][j]) > 1.e-16) PetscCall(MatSetValuesLocal(A, 1, &i, 1, &j, &J[i][j], INSERT_VALUES));
290c4762a1bSJed Brown       }
291c4762a1bSJed Brown     }
292c4762a1bSJed Brown   }
2939566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
2949566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
2959566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(J));
296c4762a1bSJed Brown 
297c4762a1bSJed Brown   /* a * dF/d(xdot) part */
2989566063dSJacob Faibussowitsch   PetscCall(MatShift(A, a));
2993ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
300c4762a1bSJed Brown }
301c4762a1bSJed Brown 
302c4762a1bSJed Brown /* --------------------------------------------------------------------------------
303c4762a1bSJed Brown    Drivers for Jacobian w.r.t. a parameter
304c4762a1bSJed Brown    ----------------------------------------------------------------------------- */
305c4762a1bSJed Brown 
306c4762a1bSJed Brown /*
307c4762a1bSJed Brown   Compute Jacobian w.r.t a parameter for explicit TS.
308c4762a1bSJed Brown 
309c4762a1bSJed Brown   Input parameters:
310c4762a1bSJed Brown   tag    - tape identifier
311c4762a1bSJed Brown   u_vec  - vector at which to evaluate Jacobian
312c4762a1bSJed Brown   params - the parameters w.r.t. which we differentiate
313c4762a1bSJed Brown   ctx    - ADOL-C context, as defined above
314c4762a1bSJed Brown 
315c4762a1bSJed Brown   Output parameter:
316c4762a1bSJed Brown   A      - Mat object corresponding to Jacobian
317c4762a1bSJed Brown */
PetscAdolcComputeRHSJacobianP(PetscInt tag,Mat A,const PetscScalar * u_vec,PetscScalar * params,PetscCtx ctx)318*2a8381b2SBarry Smith PetscErrorCode PetscAdolcComputeRHSJacobianP(PetscInt tag, Mat A, const PetscScalar *u_vec, PetscScalar *params, PetscCtx ctx)
319d71ae5a4SJacob Faibussowitsch {
320c4762a1bSJed Brown   AdolcCtx     *adctx = (AdolcCtx *)ctx;
321c4762a1bSJed Brown   PetscInt      i, j = 0, m = adctx->m, n = adctx->n, p = adctx->num_params;
322c4762a1bSJed Brown   PetscScalar **J, *concat, **S;
323c4762a1bSJed Brown 
324c4762a1bSJed Brown   PetscFunctionBegin;
325c4762a1bSJed Brown   /* Allocate memory and concatenate independent variable values with parameter */
3269566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(m, p, &J));
3279566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(n + p, &concat));
3289566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(n + p, p, &S));
3299566063dSJacob Faibussowitsch   PetscCall(Subidentity(p, n, S));
330c4762a1bSJed Brown   for (i = 0; i < n; i++) concat[i] = u_vec[i];
331c4762a1bSJed Brown   for (i = 0; i < p; i++) concat[n + i] = params[i];
332c4762a1bSJed Brown 
333c4762a1bSJed Brown   /* Propagate the appropriate seed matrix through the forward mode of AD */
334c4762a1bSJed Brown   fov_forward(tag, m, n + p, p, concat, S, NULL, J);
3359566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(S));
3369566063dSJacob Faibussowitsch   PetscCall(PetscFree(concat));
337c4762a1bSJed Brown 
338c4762a1bSJed Brown   /* Set matrix values */
339c4762a1bSJed Brown   for (i = 0; i < m; i++) {
340c4762a1bSJed Brown     for (j = 0; j < p; j++) {
34148a46eb9SPierre Jolivet       if (fabs(J[i][j]) > 1.e-16) PetscCall(MatSetValues(A, 1, &i, 1, &j, &J[i][j], INSERT_VALUES));
342c4762a1bSJed Brown     }
343c4762a1bSJed Brown   }
3449566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(J));
3459566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
3469566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
3473ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
348c4762a1bSJed Brown }
349c4762a1bSJed Brown 
350c4762a1bSJed Brown /*
351c4762a1bSJed Brown   Compute local portion of Jacobian w.r.t a parameter for explicit TS.
352c4762a1bSJed Brown 
353c4762a1bSJed Brown   Input parameters:
354c4762a1bSJed Brown   tag    - tape identifier
355c4762a1bSJed Brown   u_vec  - vector at which to evaluate Jacobian
356c4762a1bSJed Brown   params - the parameters w.r.t. which we differentiate
357c4762a1bSJed Brown   ctx    - ADOL-C context, as defined above
358c4762a1bSJed Brown 
359c4762a1bSJed Brown   Output parameter:
360c4762a1bSJed Brown   A      - Mat object corresponding to Jacobian
361c4762a1bSJed Brown */
PetscAdolcComputeRHSJacobianPLocal(PetscInt tag,Mat A,const PetscScalar * u_vec,PetscScalar * params,PetscCtx ctx)362*2a8381b2SBarry Smith PetscErrorCode PetscAdolcComputeRHSJacobianPLocal(PetscInt tag, Mat A, const PetscScalar *u_vec, PetscScalar *params, PetscCtx ctx)
363d71ae5a4SJacob Faibussowitsch {
364c4762a1bSJed Brown   AdolcCtx     *adctx = (AdolcCtx *)ctx;
365c4762a1bSJed Brown   PetscInt      i, j = 0, m = adctx->m, n = adctx->n, p = adctx->num_params;
366c4762a1bSJed Brown   PetscScalar **J, *concat, **S;
367c4762a1bSJed Brown 
368c4762a1bSJed Brown   PetscFunctionBegin;
369c4762a1bSJed Brown   /* Allocate memory and concatenate independent variable values with parameter */
3709566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(m, p, &J));
3719566063dSJacob Faibussowitsch   PetscCall(PetscMalloc1(n + p, &concat));
3729566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(n + p, p, &S));
3739566063dSJacob Faibussowitsch   PetscCall(Subidentity(p, n, S));
374c4762a1bSJed Brown   for (i = 0; i < n; i++) concat[i] = u_vec[i];
375c4762a1bSJed Brown   for (i = 0; i < p; i++) concat[n + i] = params[i];
376c4762a1bSJed Brown 
377c4762a1bSJed Brown   /* Propagate the appropriate seed matrix through the forward mode of AD */
378c4762a1bSJed Brown   fov_forward(tag, m, n + p, p, concat, S, NULL, J);
3799566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(S));
3809566063dSJacob Faibussowitsch   PetscCall(PetscFree(concat));
381c4762a1bSJed Brown 
382c4762a1bSJed Brown   /* Set matrix values */
383c4762a1bSJed Brown   for (i = 0; i < m; i++) {
384c4762a1bSJed Brown     for (j = 0; j < p; j++) {
38548a46eb9SPierre Jolivet       if (fabs(J[i][j]) > 1.e-16) PetscCall(MatSetValuesLocal(A, 1, &i, 1, &j, &J[i][j], INSERT_VALUES));
386c4762a1bSJed Brown     }
387c4762a1bSJed Brown   }
3889566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(J));
3899566063dSJacob Faibussowitsch   PetscCall(MatAssemblyBegin(A, MAT_FINAL_ASSEMBLY));
3909566063dSJacob Faibussowitsch   PetscCall(MatAssemblyEnd(A, MAT_FINAL_ASSEMBLY));
3913ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
392c4762a1bSJed Brown }
393c4762a1bSJed Brown 
394c4762a1bSJed Brown /* --------------------------------------------------------------------------------
395c4762a1bSJed Brown    Drivers for Jacobian diagonal
396c4762a1bSJed Brown    ----------------------------------------------------------------------------- */
397c4762a1bSJed Brown 
398c4762a1bSJed Brown /*
399c4762a1bSJed Brown   Compute local portion of Jacobian diagonal for implicit TS in compressed format and recover
400c4762a1bSJed Brown   from this, using precomputed seed matrix and recovery vector.
401c4762a1bSJed Brown 
402c4762a1bSJed Brown   Input parameters:
403c4762a1bSJed Brown   tag1  - tape identifier for df/dx part
404c4762a1bSJed Brown   tag2  - tape identifier for df/d(xdot) part
405c4762a1bSJed Brown   u_vec - vector at which to evaluate Jacobian
406c4762a1bSJed Brown   ctx   - ADOL-C context, as defined above
407c4762a1bSJed Brown 
408c4762a1bSJed Brown   Output parameter:
409c4762a1bSJed Brown   diag  - Vec object corresponding to Jacobian diagonal
410c4762a1bSJed Brown */
PetscAdolcComputeIJacobianAndDiagonalLocal(PetscInt tag1,PetscInt tag2,Vec diag,PetscScalar * u_vec,PetscReal a,PetscCtx ctx)411*2a8381b2SBarry Smith PetscErrorCode PetscAdolcComputeIJacobianAndDiagonalLocal(PetscInt tag1, PetscInt tag2, Vec diag, PetscScalar *u_vec, PetscReal a, PetscCtx ctx)
412d71ae5a4SJacob Faibussowitsch {
413c4762a1bSJed Brown   AdolcCtx     *adctx = (AdolcCtx *)ctx;
414c4762a1bSJed Brown   PetscInt      i, m = adctx->m, n = adctx->n, p = adctx->p;
415c4762a1bSJed Brown   PetscScalar **J;
416c4762a1bSJed Brown 
417c4762a1bSJed Brown   PetscFunctionBegin;
4189566063dSJacob Faibussowitsch   PetscCall(AdolcMalloc2(m, p, &J));
419c4762a1bSJed Brown 
420c4762a1bSJed Brown   /* dF/dx part */
4219371c9d4SSatish Balay   if (adctx->Seed) fov_forward(tag1, m, n, p, u_vec, adctx->Seed, NULL, J);
4229371c9d4SSatish Balay   else jacobian(tag1, m, n, u_vec, J);
423c4762a1bSJed Brown   if (adctx->sparse) {
4249566063dSJacob Faibussowitsch     PetscCall(RecoverDiagonalLocal(diag, INSERT_VALUES, m, adctx->rec, J, NULL));
425c4762a1bSJed Brown   } else {
426c4762a1bSJed Brown     for (i = 0; i < m; i++) {
42748a46eb9SPierre Jolivet       if (fabs(J[i][i]) > 1.e-16) PetscCall(VecSetValuesLocal(diag, 1, &i, &J[i][i], INSERT_VALUES));
428c4762a1bSJed Brown     }
429c4762a1bSJed Brown   }
4309566063dSJacob Faibussowitsch   PetscCall(VecAssemblyBegin(diag));
4319566063dSJacob Faibussowitsch   PetscCall(VecAssemblyEnd(diag));
432c4762a1bSJed Brown 
433c4762a1bSJed Brown   /* a * dF/d(xdot) part */
4349371c9d4SSatish Balay   if (adctx->Seed) fov_forward(tag2, m, n, p, u_vec, adctx->Seed, NULL, J);
4359371c9d4SSatish Balay   else jacobian(tag2, m, n, u_vec, J);
436c4762a1bSJed Brown   if (adctx->sparse) {
4379566063dSJacob Faibussowitsch     PetscCall(RecoverDiagonalLocal(diag, ADD_VALUES, m, adctx->rec, J, NULL));
438c4762a1bSJed Brown   } else {
439c4762a1bSJed Brown     for (i = 0; i < m; i++) {
440c4762a1bSJed Brown       if (fabs(J[i][i]) > 1.e-16) {
441c4762a1bSJed Brown         J[i][i] *= a;
4429566063dSJacob Faibussowitsch         PetscCall(VecSetValuesLocal(diag, 1, &i, &J[i][i], ADD_VALUES));
443c4762a1bSJed Brown       }
444c4762a1bSJed Brown     }
445c4762a1bSJed Brown   }
4469566063dSJacob Faibussowitsch   PetscCall(VecAssemblyBegin(diag));
4479566063dSJacob Faibussowitsch   PetscCall(VecAssemblyEnd(diag));
4489566063dSJacob Faibussowitsch   PetscCall(AdolcFree2(J));
4493ba16761SJacob Faibussowitsch   PetscFunctionReturn(PETSC_SUCCESS);
450c4762a1bSJed Brown }
451