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 */ 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 */ 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 */ 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 */ 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 */ 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 */ 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 */ 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 */ 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 */ 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