1 #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 2 #include <petsc/private/snesimpl.h> /*I "petscsnes.h" I*/ 3 #include <petscds.h> 4 #include <petscblaslapack.h> 5 #include <petsc/private/petscimpl.h> 6 #include <petsc/private/petscfeimpl.h> 7 8 /************************** Interpolation *******************************/ 9 10 #undef __FUNCT__ 11 #define __FUNCT__ "DMSNESConvertPlex" 12 static PetscErrorCode DMSNESConvertPlex(DM dm, DM *plex, PetscBool copy) 13 { 14 PetscBool isPlex; 15 PetscErrorCode ierr; 16 17 PetscFunctionBegin; 18 ierr = PetscObjectTypeCompare((PetscObject) dm, DMPLEX, &isPlex);CHKERRQ(ierr); 19 if (isPlex) { 20 *plex = dm; 21 ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr); 22 } else { 23 ierr = PetscObjectQuery((PetscObject) dm, "dm_plex", (PetscObject *) plex);CHKERRQ(ierr); 24 if (!*plex) { 25 ierr = DMConvert(dm,DMPLEX,plex);CHKERRQ(ierr); 26 ierr = PetscObjectCompose((PetscObject) dm, "dm_plex", (PetscObject) *plex);CHKERRQ(ierr); 27 if (copy) { 28 PetscInt i; 29 PetscObject obj; 30 const char *comps[3] = {"A","dmAux","dmCh"}; 31 32 ierr = DMCopyDMSNES(dm, *plex);CHKERRQ(ierr); 33 for (i = 0; i < 3; i++) { 34 ierr = PetscObjectQuery((PetscObject) dm, comps[i], &obj);CHKERRQ(ierr); 35 ierr = PetscObjectCompose((PetscObject) *plex, comps[i], obj);CHKERRQ(ierr); 36 } 37 } 38 } else { 39 ierr = PetscObjectReference((PetscObject) *plex);CHKERRQ(ierr); 40 } 41 } 42 PetscFunctionReturn(0); 43 } 44 45 #undef __FUNCT__ 46 #define __FUNCT__ "DMInterpolationCreate" 47 PetscErrorCode DMInterpolationCreate(MPI_Comm comm, DMInterpolationInfo *ctx) 48 { 49 PetscErrorCode ierr; 50 51 PetscFunctionBegin; 52 PetscValidPointer(ctx, 2); 53 ierr = PetscNew(ctx);CHKERRQ(ierr); 54 55 (*ctx)->comm = comm; 56 (*ctx)->dim = -1; 57 (*ctx)->nInput = 0; 58 (*ctx)->points = NULL; 59 (*ctx)->cells = NULL; 60 (*ctx)->n = -1; 61 (*ctx)->coords = NULL; 62 PetscFunctionReturn(0); 63 } 64 65 #undef __FUNCT__ 66 #define __FUNCT__ "DMInterpolationSetDim" 67 PetscErrorCode DMInterpolationSetDim(DMInterpolationInfo ctx, PetscInt dim) 68 { 69 PetscFunctionBegin; 70 if ((dim < 1) || (dim > 3)) SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid dimension for points: %d", dim); 71 ctx->dim = dim; 72 PetscFunctionReturn(0); 73 } 74 75 #undef __FUNCT__ 76 #define __FUNCT__ "DMInterpolationGetDim" 77 PetscErrorCode DMInterpolationGetDim(DMInterpolationInfo ctx, PetscInt *dim) 78 { 79 PetscFunctionBegin; 80 PetscValidIntPointer(dim, 2); 81 *dim = ctx->dim; 82 PetscFunctionReturn(0); 83 } 84 85 #undef __FUNCT__ 86 #define __FUNCT__ "DMInterpolationSetDof" 87 PetscErrorCode DMInterpolationSetDof(DMInterpolationInfo ctx, PetscInt dof) 88 { 89 PetscFunctionBegin; 90 if (dof < 1) SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid number of components: %d", dof); 91 ctx->dof = dof; 92 PetscFunctionReturn(0); 93 } 94 95 #undef __FUNCT__ 96 #define __FUNCT__ "DMInterpolationGetDof" 97 PetscErrorCode DMInterpolationGetDof(DMInterpolationInfo ctx, PetscInt *dof) 98 { 99 PetscFunctionBegin; 100 PetscValidIntPointer(dof, 2); 101 *dof = ctx->dof; 102 PetscFunctionReturn(0); 103 } 104 105 #undef __FUNCT__ 106 #define __FUNCT__ "DMInterpolationAddPoints" 107 PetscErrorCode DMInterpolationAddPoints(DMInterpolationInfo ctx, PetscInt n, PetscReal points[]) 108 { 109 PetscErrorCode ierr; 110 111 PetscFunctionBegin; 112 if (ctx->dim < 0) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The spatial dimension has not been set"); 113 if (ctx->points) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "Cannot add points multiple times yet"); 114 ctx->nInput = n; 115 116 ierr = PetscMalloc1(n*ctx->dim, &ctx->points);CHKERRQ(ierr); 117 ierr = PetscMemcpy(ctx->points, points, n*ctx->dim * sizeof(PetscReal));CHKERRQ(ierr); 118 PetscFunctionReturn(0); 119 } 120 121 #undef __FUNCT__ 122 #define __FUNCT__ "DMInterpolationSetUp" 123 PetscErrorCode DMInterpolationSetUp(DMInterpolationInfo ctx, DM dm, PetscBool redundantPoints) 124 { 125 MPI_Comm comm = ctx->comm; 126 PetscScalar *a; 127 PetscInt p, q, i; 128 PetscMPIInt rank, size; 129 PetscErrorCode ierr; 130 Vec pointVec; 131 PetscSF cellSF; 132 PetscLayout layout; 133 PetscReal *globalPoints; 134 PetscScalar *globalPointsScalar; 135 const PetscInt *ranges; 136 PetscMPIInt *counts, *displs; 137 const PetscSFNode *foundCells; 138 const PetscInt *foundPoints; 139 PetscMPIInt *foundProcs, *globalProcs; 140 PetscInt n, N, numFound; 141 142 PetscFunctionBegin; 143 PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 144 ierr = MPI_Comm_size(comm, &size);CHKERRQ(ierr); 145 ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 146 if (ctx->dim < 0) SETERRQ(comm, PETSC_ERR_ARG_WRONGSTATE, "The spatial dimension has not been set"); 147 /* Locate points */ 148 n = ctx->nInput; 149 if (!redundantPoints) { 150 ierr = PetscLayoutCreate(comm, &layout);CHKERRQ(ierr); 151 ierr = PetscLayoutSetBlockSize(layout, 1);CHKERRQ(ierr); 152 ierr = PetscLayoutSetLocalSize(layout, n);CHKERRQ(ierr); 153 ierr = PetscLayoutSetUp(layout);CHKERRQ(ierr); 154 ierr = PetscLayoutGetSize(layout, &N);CHKERRQ(ierr); 155 /* Communicate all points to all processes */ 156 ierr = PetscMalloc3(N*ctx->dim,&globalPoints,size,&counts,size,&displs);CHKERRQ(ierr); 157 ierr = PetscLayoutGetRanges(layout, &ranges);CHKERRQ(ierr); 158 for (p = 0; p < size; ++p) { 159 counts[p] = (ranges[p+1] - ranges[p])*ctx->dim; 160 displs[p] = ranges[p]*ctx->dim; 161 } 162 ierr = MPI_Allgatherv(ctx->points, n*ctx->dim, MPIU_REAL, globalPoints, counts, displs, MPIU_REAL, comm);CHKERRQ(ierr); 163 } else { 164 N = n; 165 globalPoints = ctx->points; 166 counts = displs = NULL; 167 layout = NULL; 168 } 169 #if 0 170 ierr = PetscMalloc3(N,&foundCells,N,&foundProcs,N,&globalProcs);CHKERRQ(ierr); 171 /* foundCells[p] = m->locatePoint(&globalPoints[p*ctx->dim]); */ 172 #else 173 #if defined(PETSC_USE_COMPLEX) 174 ierr = PetscMalloc1(N,&globalPointsScalar);CHKERRQ(ierr); 175 for (i=0; i<N; i++) globalPointsScalar[i] = globalPoints[i]; 176 #else 177 globalPointsScalar = globalPoints; 178 #endif 179 ierr = VecCreateSeqWithArray(PETSC_COMM_SELF, ctx->dim, N*ctx->dim, globalPointsScalar, &pointVec);CHKERRQ(ierr); 180 ierr = PetscMalloc2(N,&foundProcs,N,&globalProcs);CHKERRQ(ierr); 181 for (p = 0; p < N; ++p) {foundProcs[p] = size;} 182 cellSF = NULL; 183 ierr = DMLocatePoints(dm, pointVec, DM_POINTLOCATION_REMOVE, &cellSF);CHKERRQ(ierr); 184 ierr = PetscSFGetGraph(cellSF,NULL,&numFound,&foundPoints,&foundCells);CHKERRQ(ierr); 185 #endif 186 for (p = 0; p < numFound; ++p) { 187 if (foundCells[p].index >= 0) foundProcs[foundPoints ? foundPoints[p] : p] = rank; 188 } 189 /* Let the lowest rank process own each point */ 190 ierr = MPIU_Allreduce(foundProcs, globalProcs, N, MPI_INT, MPI_MIN, comm);CHKERRQ(ierr); 191 ctx->n = 0; 192 for (p = 0; p < N; ++p) { 193 if (globalProcs[p] == size) SETERRQ4(comm, PETSC_ERR_PLIB, "Point %d: %g %g %g not located in mesh", p, globalPoints[p*ctx->dim+0], ctx->dim > 1 ? globalPoints[p*ctx->dim+1] : 0.0, ctx->dim > 2 ? globalPoints[p*ctx->dim+2] : 0.0); 194 else if (globalProcs[p] == rank) ctx->n++; 195 } 196 /* Create coordinates vector and array of owned cells */ 197 ierr = PetscMalloc1(ctx->n, &ctx->cells);CHKERRQ(ierr); 198 ierr = VecCreate(comm, &ctx->coords);CHKERRQ(ierr); 199 ierr = VecSetSizes(ctx->coords, ctx->n*ctx->dim, PETSC_DECIDE);CHKERRQ(ierr); 200 ierr = VecSetBlockSize(ctx->coords, ctx->dim);CHKERRQ(ierr); 201 ierr = VecSetType(ctx->coords,VECSTANDARD);CHKERRQ(ierr); 202 ierr = VecGetArray(ctx->coords, &a);CHKERRQ(ierr); 203 for (p = 0, q = 0, i = 0; p < N; ++p) { 204 if (globalProcs[p] == rank) { 205 PetscInt d; 206 207 for (d = 0; d < ctx->dim; ++d, ++i) a[i] = globalPoints[p*ctx->dim+d]; 208 ctx->cells[q++] = foundCells[p].index; 209 } 210 } 211 ierr = VecRestoreArray(ctx->coords, &a);CHKERRQ(ierr); 212 #if 0 213 ierr = PetscFree3(foundCells,foundProcs,globalProcs);CHKERRQ(ierr); 214 #else 215 ierr = PetscFree2(foundProcs,globalProcs);CHKERRQ(ierr); 216 ierr = PetscSFDestroy(&cellSF);CHKERRQ(ierr); 217 ierr = VecDestroy(&pointVec);CHKERRQ(ierr); 218 #endif 219 if ((void*)globalPointsScalar != (void*)globalPoints) {ierr = PetscFree(globalPointsScalar);CHKERRQ(ierr);} 220 if (!redundantPoints) {ierr = PetscFree3(globalPoints,counts,displs);CHKERRQ(ierr);} 221 ierr = PetscLayoutDestroy(&layout);CHKERRQ(ierr); 222 PetscFunctionReturn(0); 223 } 224 225 #undef __FUNCT__ 226 #define __FUNCT__ "DMInterpolationGetCoordinates" 227 PetscErrorCode DMInterpolationGetCoordinates(DMInterpolationInfo ctx, Vec *coordinates) 228 { 229 PetscFunctionBegin; 230 PetscValidPointer(coordinates, 2); 231 if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 232 *coordinates = ctx->coords; 233 PetscFunctionReturn(0); 234 } 235 236 #undef __FUNCT__ 237 #define __FUNCT__ "DMInterpolationGetVector" 238 PetscErrorCode DMInterpolationGetVector(DMInterpolationInfo ctx, Vec *v) 239 { 240 PetscErrorCode ierr; 241 242 PetscFunctionBegin; 243 PetscValidPointer(v, 2); 244 if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 245 ierr = VecCreate(ctx->comm, v);CHKERRQ(ierr); 246 ierr = VecSetSizes(*v, ctx->n*ctx->dof, PETSC_DECIDE);CHKERRQ(ierr); 247 ierr = VecSetBlockSize(*v, ctx->dof);CHKERRQ(ierr); 248 ierr = VecSetType(*v,VECSTANDARD);CHKERRQ(ierr); 249 PetscFunctionReturn(0); 250 } 251 252 #undef __FUNCT__ 253 #define __FUNCT__ "DMInterpolationRestoreVector" 254 PetscErrorCode DMInterpolationRestoreVector(DMInterpolationInfo ctx, Vec *v) 255 { 256 PetscErrorCode ierr; 257 258 PetscFunctionBegin; 259 PetscValidPointer(v, 2); 260 if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 261 ierr = VecDestroy(v);CHKERRQ(ierr); 262 PetscFunctionReturn(0); 263 } 264 265 #undef __FUNCT__ 266 #define __FUNCT__ "DMInterpolate_Triangle_Private" 267 PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Triangle_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 268 { 269 PetscReal *v0, *J, *invJ, detJ; 270 const PetscScalar *coords; 271 PetscScalar *a; 272 PetscInt p; 273 PetscErrorCode ierr; 274 275 PetscFunctionBegin; 276 ierr = PetscMalloc3(ctx->dim,&v0,ctx->dim*ctx->dim,&J,ctx->dim*ctx->dim,&invJ);CHKERRQ(ierr); 277 ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 278 ierr = VecGetArray(v, &a);CHKERRQ(ierr); 279 for (p = 0; p < ctx->n; ++p) { 280 PetscInt c = ctx->cells[p]; 281 PetscScalar *x = NULL; 282 PetscReal xi[4]; 283 PetscInt d, f, comp; 284 285 ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 286 if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c); 287 ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 288 for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp]; 289 290 for (d = 0; d < ctx->dim; ++d) { 291 xi[d] = 0.0; 292 for (f = 0; f < ctx->dim; ++f) xi[d] += invJ[d*ctx->dim+f]*0.5*PetscRealPart(coords[p*ctx->dim+f] - v0[f]); 293 for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] += PetscRealPart(x[(d+1)*ctx->dof+comp] - x[0*ctx->dof+comp])*xi[d]; 294 } 295 ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 296 } 297 ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 298 ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 299 ierr = PetscFree3(v0, J, invJ);CHKERRQ(ierr); 300 PetscFunctionReturn(0); 301 } 302 303 #undef __FUNCT__ 304 #define __FUNCT__ "DMInterpolate_Tetrahedron_Private" 305 PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Tetrahedron_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 306 { 307 PetscReal *v0, *J, *invJ, detJ; 308 const PetscScalar *coords; 309 PetscScalar *a; 310 PetscInt p; 311 PetscErrorCode ierr; 312 313 PetscFunctionBegin; 314 ierr = PetscMalloc3(ctx->dim,&v0,ctx->dim*ctx->dim,&J,ctx->dim*ctx->dim,&invJ);CHKERRQ(ierr); 315 ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 316 ierr = VecGetArray(v, &a);CHKERRQ(ierr); 317 for (p = 0; p < ctx->n; ++p) { 318 PetscInt c = ctx->cells[p]; 319 const PetscInt order[3] = {2, 1, 3}; 320 PetscScalar *x = NULL; 321 PetscReal xi[4]; 322 PetscInt d, f, comp; 323 324 ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 325 if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c); 326 ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 327 for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp]; 328 329 for (d = 0; d < ctx->dim; ++d) { 330 xi[d] = 0.0; 331 for (f = 0; f < ctx->dim; ++f) xi[d] += invJ[d*ctx->dim+f]*0.5*PetscRealPart(coords[p*ctx->dim+f] - v0[f]); 332 for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] += PetscRealPart(x[order[d]*ctx->dof+comp] - x[0*ctx->dof+comp])*xi[d]; 333 } 334 ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 335 } 336 ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 337 ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 338 ierr = PetscFree3(v0, J, invJ);CHKERRQ(ierr); 339 PetscFunctionReturn(0); 340 } 341 342 #undef __FUNCT__ 343 #define __FUNCT__ "QuadMap_Private" 344 PETSC_STATIC_INLINE PetscErrorCode QuadMap_Private(SNES snes, Vec Xref, Vec Xreal, void *ctx) 345 { 346 const PetscScalar *vertices = (const PetscScalar*) ctx; 347 const PetscScalar x0 = vertices[0]; 348 const PetscScalar y0 = vertices[1]; 349 const PetscScalar x1 = vertices[2]; 350 const PetscScalar y1 = vertices[3]; 351 const PetscScalar x2 = vertices[4]; 352 const PetscScalar y2 = vertices[5]; 353 const PetscScalar x3 = vertices[6]; 354 const PetscScalar y3 = vertices[7]; 355 const PetscScalar f_1 = x1 - x0; 356 const PetscScalar g_1 = y1 - y0; 357 const PetscScalar f_3 = x3 - x0; 358 const PetscScalar g_3 = y3 - y0; 359 const PetscScalar f_01 = x2 - x1 - x3 + x0; 360 const PetscScalar g_01 = y2 - y1 - y3 + y0; 361 const PetscScalar *ref; 362 PetscScalar *real; 363 PetscErrorCode ierr; 364 365 PetscFunctionBegin; 366 ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 367 ierr = VecGetArray(Xreal, &real);CHKERRQ(ierr); 368 { 369 const PetscScalar p0 = ref[0]; 370 const PetscScalar p1 = ref[1]; 371 372 real[0] = x0 + f_1 * p0 + f_3 * p1 + f_01 * p0 * p1; 373 real[1] = y0 + g_1 * p0 + g_3 * p1 + g_01 * p0 * p1; 374 } 375 ierr = PetscLogFlops(28);CHKERRQ(ierr); 376 ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 377 ierr = VecRestoreArray(Xreal, &real);CHKERRQ(ierr); 378 PetscFunctionReturn(0); 379 } 380 381 #include <petsc/private/dmimpl.h> 382 #undef __FUNCT__ 383 #define __FUNCT__ "QuadJacobian_Private" 384 PETSC_STATIC_INLINE PetscErrorCode QuadJacobian_Private(SNES snes, Vec Xref, Mat J, Mat M, void *ctx) 385 { 386 const PetscScalar *vertices = (const PetscScalar*) ctx; 387 const PetscScalar x0 = vertices[0]; 388 const PetscScalar y0 = vertices[1]; 389 const PetscScalar x1 = vertices[2]; 390 const PetscScalar y1 = vertices[3]; 391 const PetscScalar x2 = vertices[4]; 392 const PetscScalar y2 = vertices[5]; 393 const PetscScalar x3 = vertices[6]; 394 const PetscScalar y3 = vertices[7]; 395 const PetscScalar f_01 = x2 - x1 - x3 + x0; 396 const PetscScalar g_01 = y2 - y1 - y3 + y0; 397 const PetscScalar *ref; 398 PetscErrorCode ierr; 399 400 PetscFunctionBegin; 401 ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 402 { 403 const PetscScalar x = ref[0]; 404 const PetscScalar y = ref[1]; 405 const PetscInt rows[2] = {0, 1}; 406 PetscScalar values[4]; 407 408 values[0] = (x1 - x0 + f_01*y) * 0.5; values[1] = (x3 - x0 + f_01*x) * 0.5; 409 values[2] = (y1 - y0 + g_01*y) * 0.5; values[3] = (y3 - y0 + g_01*x) * 0.5; 410 ierr = MatSetValues(J, 2, rows, 2, rows, values, INSERT_VALUES);CHKERRQ(ierr); 411 } 412 ierr = PetscLogFlops(30);CHKERRQ(ierr); 413 ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 414 ierr = MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 415 ierr = MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 416 PetscFunctionReturn(0); 417 } 418 419 #undef __FUNCT__ 420 #define __FUNCT__ "DMInterpolate_Quad_Private" 421 PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Quad_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 422 { 423 DM dmCoord; 424 PetscFE fem; 425 SNES snes; 426 KSP ksp; 427 PC pc; 428 Vec coordsLocal, r, ref, real; 429 Mat J; 430 const PetscScalar *coords; 431 PetscScalar *a; 432 PetscInt p; 433 const PetscInt dof = ctx->dof; 434 PetscErrorCode ierr; 435 436 PetscFunctionBegin; 437 ierr = DMGetField(dm, 0, (PetscObject *) &fem);CHKERRQ(ierr); 438 ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 439 ierr = DMGetCoordinateDM(dm, &dmCoord);CHKERRQ(ierr); 440 ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr); 441 ierr = SNESSetOptionsPrefix(snes, "quad_interp_");CHKERRQ(ierr); 442 ierr = VecCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr); 443 ierr = VecSetSizes(r, 2, 2);CHKERRQ(ierr); 444 ierr = VecSetType(r,dm->vectype);CHKERRQ(ierr); 445 ierr = VecDuplicate(r, &ref);CHKERRQ(ierr); 446 ierr = VecDuplicate(r, &real);CHKERRQ(ierr); 447 ierr = MatCreate(PETSC_COMM_SELF, &J);CHKERRQ(ierr); 448 ierr = MatSetSizes(J, 2, 2, 2, 2);CHKERRQ(ierr); 449 ierr = MatSetType(J, MATSEQDENSE);CHKERRQ(ierr); 450 ierr = MatSetUp(J);CHKERRQ(ierr); 451 ierr = SNESSetFunction(snes, r, QuadMap_Private, NULL);CHKERRQ(ierr); 452 ierr = SNESSetJacobian(snes, J, J, QuadJacobian_Private, NULL);CHKERRQ(ierr); 453 ierr = SNESGetKSP(snes, &ksp);CHKERRQ(ierr); 454 ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr); 455 ierr = PCSetType(pc, PCLU);CHKERRQ(ierr); 456 ierr = SNESSetFromOptions(snes);CHKERRQ(ierr); 457 458 ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 459 ierr = VecGetArray(v, &a);CHKERRQ(ierr); 460 for (p = 0; p < ctx->n; ++p) { 461 PetscScalar *x = NULL, *vertices = NULL; 462 PetscScalar *xi; 463 PetscReal xir[2]; 464 PetscInt c = ctx->cells[p], comp, coordSize, xSize; 465 466 /* Can make this do all points at once */ 467 ierr = DMPlexVecGetClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 468 if (4*2 != coordSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", coordSize, 4*2); 469 ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 470 ierr = SNESSetFunction(snes, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 471 ierr = SNESSetJacobian(snes, NULL, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 472 ierr = VecGetArray(real, &xi);CHKERRQ(ierr); 473 xi[0] = coords[p*ctx->dim+0]; 474 xi[1] = coords[p*ctx->dim+1]; 475 ierr = VecRestoreArray(real, &xi);CHKERRQ(ierr); 476 ierr = SNESSolve(snes, real, ref);CHKERRQ(ierr); 477 ierr = VecGetArray(ref, &xi);CHKERRQ(ierr); 478 xir[0] = PetscRealPart(xi[0]); 479 xir[1] = PetscRealPart(xi[1]); 480 if (4*dof != xSize) { 481 PetscReal *B; 482 PetscInt d; 483 484 xir[0] = 2.0*xir[0] - 1.0; xir[1] = 2.0*xir[1] - 1.0; 485 ierr = PetscFEGetTabulation(fem, 1, xir, &B, NULL, NULL);CHKERRQ(ierr); 486 for (comp = 0; comp < dof; ++comp) { 487 a[p*dof+comp] = 0.0; 488 for (d = 0; d < xSize/dof; ++d) { 489 a[p*dof+comp] += x[d*dof+comp]*B[d*dof+comp]; 490 } 491 } 492 ierr = PetscFERestoreTabulation(fem, 1, xir, &B, NULL, NULL);CHKERRQ(ierr); 493 } else { 494 for (comp = 0; comp < dof; ++comp) 495 a[p*dof+comp] = x[0*dof+comp]*(1 - xir[0])*(1 - xir[1]) + x[1*dof+comp]*xir[0]*(1 - xir[1]) + x[2*dof+comp]*xir[0]*xir[1] + x[3*dof+comp]*(1 - xir[0])*xir[1]; 496 } 497 ierr = VecRestoreArray(ref, &xi);CHKERRQ(ierr); 498 ierr = DMPlexVecRestoreClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 499 ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 500 } 501 ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 502 ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 503 504 ierr = SNESDestroy(&snes);CHKERRQ(ierr); 505 ierr = VecDestroy(&r);CHKERRQ(ierr); 506 ierr = VecDestroy(&ref);CHKERRQ(ierr); 507 ierr = VecDestroy(&real);CHKERRQ(ierr); 508 ierr = MatDestroy(&J);CHKERRQ(ierr); 509 PetscFunctionReturn(0); 510 } 511 512 #undef __FUNCT__ 513 #define __FUNCT__ "HexMap_Private" 514 PETSC_STATIC_INLINE PetscErrorCode HexMap_Private(SNES snes, Vec Xref, Vec Xreal, void *ctx) 515 { 516 const PetscScalar *vertices = (const PetscScalar*) ctx; 517 const PetscScalar x0 = vertices[0]; 518 const PetscScalar y0 = vertices[1]; 519 const PetscScalar z0 = vertices[2]; 520 const PetscScalar x1 = vertices[9]; 521 const PetscScalar y1 = vertices[10]; 522 const PetscScalar z1 = vertices[11]; 523 const PetscScalar x2 = vertices[6]; 524 const PetscScalar y2 = vertices[7]; 525 const PetscScalar z2 = vertices[8]; 526 const PetscScalar x3 = vertices[3]; 527 const PetscScalar y3 = vertices[4]; 528 const PetscScalar z3 = vertices[5]; 529 const PetscScalar x4 = vertices[12]; 530 const PetscScalar y4 = vertices[13]; 531 const PetscScalar z4 = vertices[14]; 532 const PetscScalar x5 = vertices[15]; 533 const PetscScalar y5 = vertices[16]; 534 const PetscScalar z5 = vertices[17]; 535 const PetscScalar x6 = vertices[18]; 536 const PetscScalar y6 = vertices[19]; 537 const PetscScalar z6 = vertices[20]; 538 const PetscScalar x7 = vertices[21]; 539 const PetscScalar y7 = vertices[22]; 540 const PetscScalar z7 = vertices[23]; 541 const PetscScalar f_1 = x1 - x0; 542 const PetscScalar g_1 = y1 - y0; 543 const PetscScalar h_1 = z1 - z0; 544 const PetscScalar f_3 = x3 - x0; 545 const PetscScalar g_3 = y3 - y0; 546 const PetscScalar h_3 = z3 - z0; 547 const PetscScalar f_4 = x4 - x0; 548 const PetscScalar g_4 = y4 - y0; 549 const PetscScalar h_4 = z4 - z0; 550 const PetscScalar f_01 = x2 - x1 - x3 + x0; 551 const PetscScalar g_01 = y2 - y1 - y3 + y0; 552 const PetscScalar h_01 = z2 - z1 - z3 + z0; 553 const PetscScalar f_12 = x7 - x3 - x4 + x0; 554 const PetscScalar g_12 = y7 - y3 - y4 + y0; 555 const PetscScalar h_12 = z7 - z3 - z4 + z0; 556 const PetscScalar f_02 = x5 - x1 - x4 + x0; 557 const PetscScalar g_02 = y5 - y1 - y4 + y0; 558 const PetscScalar h_02 = z5 - z1 - z4 + z0; 559 const PetscScalar f_012 = x6 - x0 + x1 - x2 + x3 + x4 - x5 - x7; 560 const PetscScalar g_012 = y6 - y0 + y1 - y2 + y3 + y4 - y5 - y7; 561 const PetscScalar h_012 = z6 - z0 + z1 - z2 + z3 + z4 - z5 - z7; 562 const PetscScalar *ref; 563 PetscScalar *real; 564 PetscErrorCode ierr; 565 566 PetscFunctionBegin; 567 ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 568 ierr = VecGetArray(Xreal, &real);CHKERRQ(ierr); 569 { 570 const PetscScalar p0 = ref[0]; 571 const PetscScalar p1 = ref[1]; 572 const PetscScalar p2 = ref[2]; 573 574 real[0] = x0 + f_1*p0 + f_3*p1 + f_4*p2 + f_01*p0*p1 + f_12*p1*p2 + f_02*p0*p2 + f_012*p0*p1*p2; 575 real[1] = y0 + g_1*p0 + g_3*p1 + g_4*p2 + g_01*p0*p1 + g_01*p0*p1 + g_12*p1*p2 + g_02*p0*p2 + g_012*p0*p1*p2; 576 real[2] = z0 + h_1*p0 + h_3*p1 + h_4*p2 + h_01*p0*p1 + h_01*p0*p1 + h_12*p1*p2 + h_02*p0*p2 + h_012*p0*p1*p2; 577 } 578 ierr = PetscLogFlops(114);CHKERRQ(ierr); 579 ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 580 ierr = VecRestoreArray(Xreal, &real);CHKERRQ(ierr); 581 PetscFunctionReturn(0); 582 } 583 584 #undef __FUNCT__ 585 #define __FUNCT__ "HexJacobian_Private" 586 PETSC_STATIC_INLINE PetscErrorCode HexJacobian_Private(SNES snes, Vec Xref, Mat J, Mat M, void *ctx) 587 { 588 const PetscScalar *vertices = (const PetscScalar*) ctx; 589 const PetscScalar x0 = vertices[0]; 590 const PetscScalar y0 = vertices[1]; 591 const PetscScalar z0 = vertices[2]; 592 const PetscScalar x1 = vertices[9]; 593 const PetscScalar y1 = vertices[10]; 594 const PetscScalar z1 = vertices[11]; 595 const PetscScalar x2 = vertices[6]; 596 const PetscScalar y2 = vertices[7]; 597 const PetscScalar z2 = vertices[8]; 598 const PetscScalar x3 = vertices[3]; 599 const PetscScalar y3 = vertices[4]; 600 const PetscScalar z3 = vertices[5]; 601 const PetscScalar x4 = vertices[12]; 602 const PetscScalar y4 = vertices[13]; 603 const PetscScalar z4 = vertices[14]; 604 const PetscScalar x5 = vertices[15]; 605 const PetscScalar y5 = vertices[16]; 606 const PetscScalar z5 = vertices[17]; 607 const PetscScalar x6 = vertices[18]; 608 const PetscScalar y6 = vertices[19]; 609 const PetscScalar z6 = vertices[20]; 610 const PetscScalar x7 = vertices[21]; 611 const PetscScalar y7 = vertices[22]; 612 const PetscScalar z7 = vertices[23]; 613 const PetscScalar f_xy = x2 - x1 - x3 + x0; 614 const PetscScalar g_xy = y2 - y1 - y3 + y0; 615 const PetscScalar h_xy = z2 - z1 - z3 + z0; 616 const PetscScalar f_yz = x7 - x3 - x4 + x0; 617 const PetscScalar g_yz = y7 - y3 - y4 + y0; 618 const PetscScalar h_yz = z7 - z3 - z4 + z0; 619 const PetscScalar f_xz = x5 - x1 - x4 + x0; 620 const PetscScalar g_xz = y5 - y1 - y4 + y0; 621 const PetscScalar h_xz = z5 - z1 - z4 + z0; 622 const PetscScalar f_xyz = x6 - x0 + x1 - x2 + x3 + x4 - x5 - x7; 623 const PetscScalar g_xyz = y6 - y0 + y1 - y2 + y3 + y4 - y5 - y7; 624 const PetscScalar h_xyz = z6 - z0 + z1 - z2 + z3 + z4 - z5 - z7; 625 const PetscScalar *ref; 626 PetscErrorCode ierr; 627 628 PetscFunctionBegin; 629 ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 630 { 631 const PetscScalar x = ref[0]; 632 const PetscScalar y = ref[1]; 633 const PetscScalar z = ref[2]; 634 const PetscInt rows[3] = {0, 1, 2}; 635 PetscScalar values[9]; 636 637 values[0] = (x1 - x0 + f_xy*y + f_xz*z + f_xyz*y*z) / 2.0; 638 values[1] = (x3 - x0 + f_xy*x + f_yz*z + f_xyz*x*z) / 2.0; 639 values[2] = (x4 - x0 + f_yz*y + f_xz*x + f_xyz*x*y) / 2.0; 640 values[3] = (y1 - y0 + g_xy*y + g_xz*z + g_xyz*y*z) / 2.0; 641 values[4] = (y3 - y0 + g_xy*x + g_yz*z + g_xyz*x*z) / 2.0; 642 values[5] = (y4 - y0 + g_yz*y + g_xz*x + g_xyz*x*y) / 2.0; 643 values[6] = (z1 - z0 + h_xy*y + h_xz*z + h_xyz*y*z) / 2.0; 644 values[7] = (z3 - z0 + h_xy*x + h_yz*z + h_xyz*x*z) / 2.0; 645 values[8] = (z4 - z0 + h_yz*y + h_xz*x + h_xyz*x*y) / 2.0; 646 647 ierr = MatSetValues(J, 3, rows, 3, rows, values, INSERT_VALUES);CHKERRQ(ierr); 648 } 649 ierr = PetscLogFlops(152);CHKERRQ(ierr); 650 ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 651 ierr = MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 652 ierr = MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 653 PetscFunctionReturn(0); 654 } 655 656 #undef __FUNCT__ 657 #define __FUNCT__ "DMInterpolate_Hex_Private" 658 PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Hex_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 659 { 660 DM dmCoord; 661 SNES snes; 662 KSP ksp; 663 PC pc; 664 Vec coordsLocal, r, ref, real; 665 Mat J; 666 const PetscScalar *coords; 667 PetscScalar *a; 668 PetscInt p; 669 PetscErrorCode ierr; 670 671 PetscFunctionBegin; 672 ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 673 ierr = DMGetCoordinateDM(dm, &dmCoord);CHKERRQ(ierr); 674 ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr); 675 ierr = SNESSetOptionsPrefix(snes, "hex_interp_");CHKERRQ(ierr); 676 ierr = VecCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr); 677 ierr = VecSetSizes(r, 3, 3);CHKERRQ(ierr); 678 ierr = VecSetType(r,dm->vectype);CHKERRQ(ierr); 679 ierr = VecDuplicate(r, &ref);CHKERRQ(ierr); 680 ierr = VecDuplicate(r, &real);CHKERRQ(ierr); 681 ierr = MatCreate(PETSC_COMM_SELF, &J);CHKERRQ(ierr); 682 ierr = MatSetSizes(J, 3, 3, 3, 3);CHKERRQ(ierr); 683 ierr = MatSetType(J, MATSEQDENSE);CHKERRQ(ierr); 684 ierr = MatSetUp(J);CHKERRQ(ierr); 685 ierr = SNESSetFunction(snes, r, HexMap_Private, NULL);CHKERRQ(ierr); 686 ierr = SNESSetJacobian(snes, J, J, HexJacobian_Private, NULL);CHKERRQ(ierr); 687 ierr = SNESGetKSP(snes, &ksp);CHKERRQ(ierr); 688 ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr); 689 ierr = PCSetType(pc, PCLU);CHKERRQ(ierr); 690 ierr = SNESSetFromOptions(snes);CHKERRQ(ierr); 691 692 ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 693 ierr = VecGetArray(v, &a);CHKERRQ(ierr); 694 for (p = 0; p < ctx->n; ++p) { 695 PetscScalar *x = NULL, *vertices = NULL; 696 PetscScalar *xi; 697 PetscReal xir[3]; 698 PetscInt c = ctx->cells[p], comp, coordSize, xSize; 699 700 /* Can make this do all points at once */ 701 ierr = DMPlexVecGetClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 702 if (8*3 != coordSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", coordSize, 8*3); 703 ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 704 if (8*ctx->dof != xSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", xSize, 8*ctx->dof); 705 ierr = SNESSetFunction(snes, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 706 ierr = SNESSetJacobian(snes, NULL, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 707 ierr = VecGetArray(real, &xi);CHKERRQ(ierr); 708 xi[0] = coords[p*ctx->dim+0]; 709 xi[1] = coords[p*ctx->dim+1]; 710 xi[2] = coords[p*ctx->dim+2]; 711 ierr = VecRestoreArray(real, &xi);CHKERRQ(ierr); 712 ierr = SNESSolve(snes, real, ref);CHKERRQ(ierr); 713 ierr = VecGetArray(ref, &xi);CHKERRQ(ierr); 714 xir[0] = PetscRealPart(xi[0]); 715 xir[1] = PetscRealPart(xi[1]); 716 xir[2] = PetscRealPart(xi[2]); 717 for (comp = 0; comp < ctx->dof; ++comp) { 718 a[p*ctx->dof+comp] = 719 x[0*ctx->dof+comp]*(1-xir[0])*(1-xir[1])*(1-xir[2]) + 720 x[3*ctx->dof+comp]* xir[0]*(1-xir[1])*(1-xir[2]) + 721 x[2*ctx->dof+comp]* xir[0]* xir[1]*(1-xir[2]) + 722 x[1*ctx->dof+comp]*(1-xir[0])* xir[1]*(1-xir[2]) + 723 x[4*ctx->dof+comp]*(1-xir[0])*(1-xir[1])* xir[2] + 724 x[5*ctx->dof+comp]* xir[0]*(1-xir[1])* xir[2] + 725 x[6*ctx->dof+comp]* xir[0]* xir[1]* xir[2] + 726 x[7*ctx->dof+comp]*(1-xir[0])* xir[1]* xir[2]; 727 } 728 ierr = VecRestoreArray(ref, &xi);CHKERRQ(ierr); 729 ierr = DMPlexVecRestoreClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 730 ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 731 } 732 ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 733 ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 734 735 ierr = SNESDestroy(&snes);CHKERRQ(ierr); 736 ierr = VecDestroy(&r);CHKERRQ(ierr); 737 ierr = VecDestroy(&ref);CHKERRQ(ierr); 738 ierr = VecDestroy(&real);CHKERRQ(ierr); 739 ierr = MatDestroy(&J);CHKERRQ(ierr); 740 PetscFunctionReturn(0); 741 } 742 743 #undef __FUNCT__ 744 #define __FUNCT__ "DMInterpolationEvaluate" 745 /* 746 Input Parameters: 747 + ctx - The DMInterpolationInfo context 748 . dm - The DM 749 - x - The local vector containing the field to be interpolated 750 751 Output Parameters: 752 . v - The vector containing the interpolated values 753 */ 754 PetscErrorCode DMInterpolationEvaluate(DMInterpolationInfo ctx, DM dm, Vec x, Vec v) 755 { 756 PetscInt dim, coneSize, n; 757 PetscErrorCode ierr; 758 759 PetscFunctionBegin; 760 PetscValidHeaderSpecific(dm, DM_CLASSID, 2); 761 PetscValidHeaderSpecific(x, VEC_CLASSID, 3); 762 PetscValidHeaderSpecific(v, VEC_CLASSID, 4); 763 ierr = VecGetLocalSize(v, &n);CHKERRQ(ierr); 764 if (n != ctx->n*ctx->dof) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid input vector size %d should be %d", n, ctx->n*ctx->dof); 765 if (n) { 766 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 767 ierr = DMPlexGetConeSize(dm, ctx->cells[0], &coneSize);CHKERRQ(ierr); 768 if (dim == 2) { 769 if (coneSize == 3) { 770 ierr = DMInterpolate_Triangle_Private(ctx, dm, x, v);CHKERRQ(ierr); 771 } else if (coneSize == 4) { 772 ierr = DMInterpolate_Quad_Private(ctx, dm, x, v);CHKERRQ(ierr); 773 } else SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Unsupported dimension %d for point interpolation", dim); 774 } else if (dim == 3) { 775 if (coneSize == 4) { 776 ierr = DMInterpolate_Tetrahedron_Private(ctx, dm, x, v);CHKERRQ(ierr); 777 } else { 778 ierr = DMInterpolate_Hex_Private(ctx, dm, x, v);CHKERRQ(ierr); 779 } 780 } else SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Unsupported dimension %d for point interpolation", dim); 781 } 782 PetscFunctionReturn(0); 783 } 784 785 #undef __FUNCT__ 786 #define __FUNCT__ "DMInterpolationDestroy" 787 PetscErrorCode DMInterpolationDestroy(DMInterpolationInfo *ctx) 788 { 789 PetscErrorCode ierr; 790 791 PetscFunctionBegin; 792 PetscValidPointer(ctx, 2); 793 ierr = VecDestroy(&(*ctx)->coords);CHKERRQ(ierr); 794 ierr = PetscFree((*ctx)->points);CHKERRQ(ierr); 795 ierr = PetscFree((*ctx)->cells);CHKERRQ(ierr); 796 ierr = PetscFree(*ctx);CHKERRQ(ierr); 797 *ctx = NULL; 798 PetscFunctionReturn(0); 799 } 800 801 #undef __FUNCT__ 802 #define __FUNCT__ "SNESMonitorFields" 803 /*@C 804 SNESMonitorFields - Monitors the residual for each field separately 805 806 Collective on SNES 807 808 Input Parameters: 809 + snes - the SNES context 810 . its - iteration number 811 . fgnorm - 2-norm of residual 812 - vf - PetscViewerAndFormat of type ASCII 813 814 Notes: 815 This routine prints the residual norm at each iteration. 816 817 Level: intermediate 818 819 .keywords: SNES, nonlinear, default, monitor, norm 820 .seealso: SNESMonitorSet(), SNESMonitorDefault() 821 @*/ 822 PetscErrorCode SNESMonitorFields(SNES snes, PetscInt its, PetscReal fgnorm, PetscViewerAndFormat *vf) 823 { 824 PetscViewer viewer = vf->viewer; 825 Vec res; 826 DM dm; 827 PetscSection s; 828 const PetscScalar *r; 829 PetscReal *lnorms, *norms; 830 PetscInt numFields, f, pStart, pEnd, p; 831 PetscErrorCode ierr; 832 833 PetscFunctionBegin; 834 PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,4); 835 ierr = SNESGetFunction(snes, &res, 0, 0);CHKERRQ(ierr); 836 ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr); 837 ierr = DMGetDefaultSection(dm, &s);CHKERRQ(ierr); 838 ierr = PetscSectionGetNumFields(s, &numFields);CHKERRQ(ierr); 839 ierr = PetscSectionGetChart(s, &pStart, &pEnd);CHKERRQ(ierr); 840 ierr = PetscCalloc2(numFields, &lnorms, numFields, &norms);CHKERRQ(ierr); 841 ierr = VecGetArrayRead(res, &r);CHKERRQ(ierr); 842 for (p = pStart; p < pEnd; ++p) { 843 for (f = 0; f < numFields; ++f) { 844 PetscInt fdof, foff, d; 845 846 ierr = PetscSectionGetFieldDof(s, p, f, &fdof);CHKERRQ(ierr); 847 ierr = PetscSectionGetFieldOffset(s, p, f, &foff);CHKERRQ(ierr); 848 for (d = 0; d < fdof; ++d) lnorms[f] += PetscRealPart(PetscSqr(r[foff+d])); 849 } 850 } 851 ierr = VecRestoreArrayRead(res, &r);CHKERRQ(ierr); 852 ierr = MPIU_Allreduce(lnorms, norms, numFields, MPIU_REAL, MPIU_SUM, PetscObjectComm((PetscObject) dm));CHKERRQ(ierr); 853 ierr = PetscViewerPushFormat(viewer,vf->format);CHKERRQ(ierr); 854 ierr = PetscViewerASCIIAddTab(viewer, ((PetscObject) snes)->tablevel);CHKERRQ(ierr); 855 ierr = PetscViewerASCIIPrintf(viewer, "%3D SNES Function norm %14.12e [", its, (double) fgnorm);CHKERRQ(ierr); 856 for (f = 0; f < numFields; ++f) { 857 if (f > 0) {ierr = PetscViewerASCIIPrintf(viewer, ", ");CHKERRQ(ierr);} 858 ierr = PetscViewerASCIIPrintf(viewer, "%14.12e", (double) PetscSqrtReal(norms[f]));CHKERRQ(ierr); 859 } 860 ierr = PetscViewerASCIIPrintf(viewer, "]\n");CHKERRQ(ierr); 861 ierr = PetscViewerASCIISubtractTab(viewer, ((PetscObject) snes)->tablevel);CHKERRQ(ierr); 862 ierr = PetscViewerPopFormat(viewer);CHKERRQ(ierr); 863 ierr = PetscFree2(lnorms, norms);CHKERRQ(ierr); 864 PetscFunctionReturn(0); 865 } 866 867 /********************* Residual Computation **************************/ 868 869 #undef __FUNCT__ 870 #define __FUNCT__ "DMPlexSNESGetGeometryFEM" 871 /*@ 872 DMPlexSNESGetGeometryFEM - Return precomputed geometric data 873 874 Input Parameter: 875 . dm - The DM 876 877 Output Parameters: 878 . cellgeom - The values precomputed from cell geometry 879 880 Level: developer 881 882 .seealso: DMPlexSNESSetFunctionLocal() 883 @*/ 884 PetscErrorCode DMPlexSNESGetGeometryFEM(DM dm, Vec *cellgeom) 885 { 886 DMSNES dmsnes; 887 PetscObject obj; 888 PetscErrorCode ierr; 889 890 PetscFunctionBegin; 891 PetscValidHeaderSpecific(dm,DM_CLASSID,1); 892 ierr = DMGetDMSNES(dm, &dmsnes);CHKERRQ(ierr); 893 ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", &obj);CHKERRQ(ierr); 894 if (!obj) { 895 Vec cellgeom; 896 897 ierr = DMPlexComputeGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 898 ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", (PetscObject) cellgeom);CHKERRQ(ierr); 899 ierr = VecDestroy(&cellgeom);CHKERRQ(ierr); 900 } 901 if (cellgeom) {PetscValidPointer(cellgeom, 3); ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", (PetscObject *) cellgeom);CHKERRQ(ierr);} 902 PetscFunctionReturn(0); 903 } 904 905 #undef __FUNCT__ 906 #define __FUNCT__ "DMPlexSNESGetGeometryFVM" 907 /*@ 908 DMPlexSNESGetGeometryFVM - Return precomputed geometric data 909 910 Input Parameter: 911 . dm - The DM 912 913 Output Parameters: 914 + facegeom - The values precomputed from face geometry 915 . cellgeom - The values precomputed from cell geometry 916 - minRadius - The minimum radius over the mesh of an inscribed sphere in a cell 917 918 Level: developer 919 920 .seealso: DMPlexTSSetRHSFunctionLocal() 921 @*/ 922 PetscErrorCode DMPlexSNESGetGeometryFVM(DM dm, Vec *facegeom, Vec *cellgeom, PetscReal *minRadius) 923 { 924 DM plex; 925 PetscErrorCode ierr; 926 927 PetscFunctionBegin; 928 PetscValidHeaderSpecific(dm,DM_CLASSID,1); 929 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 930 ierr = DMPlexGetDataFVM(plex, NULL, cellgeom, facegeom, NULL);CHKERRQ(ierr); 931 if (minRadius) {ierr = DMPlexGetMinRadius(plex, minRadius);CHKERRQ(ierr);} 932 ierr = DMDestroy(&plex);CHKERRQ(ierr); 933 PetscFunctionReturn(0); 934 } 935 936 #undef __FUNCT__ 937 #define __FUNCT__ "DMPlexSNESGetGradientDM" 938 /*@ 939 DMPlexSNESGetGradientDM - Return gradient data layout 940 941 Input Parameters: 942 + dm - The DM 943 - fv - The PetscFV 944 945 Output Parameter: 946 . dmGrad - The layout for gradient values 947 948 Level: developer 949 950 .seealso: DMPlexSNESGetGeometryFVM() 951 @*/ 952 PetscErrorCode DMPlexSNESGetGradientDM(DM dm, PetscFV fv, DM *dmGrad) 953 { 954 DM plex; 955 PetscBool computeGradients; 956 PetscErrorCode ierr; 957 958 PetscFunctionBegin; 959 PetscValidHeaderSpecific(dm,DM_CLASSID,1); 960 PetscValidHeaderSpecific(fv,PETSCFV_CLASSID,2); 961 PetscValidPointer(dmGrad,3); 962 ierr = PetscFVGetComputeGradients(fv, &computeGradients);CHKERRQ(ierr); 963 if (!computeGradients) {*dmGrad = NULL; PetscFunctionReturn(0);} 964 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 965 ierr = DMPlexGetDataFVM(plex, fv, NULL, NULL, dmGrad);CHKERRQ(ierr); 966 ierr = DMDestroy(&plex);CHKERRQ(ierr); 967 PetscFunctionReturn(0); 968 } 969 970 #undef __FUNCT__ 971 #define __FUNCT__ "DMPlexGetCellFields" 972 /*@C 973 DMPlexGetCellFields - Retrieve the field values values for a chunk of cells 974 975 Input Parameters: 976 + dm - The DM 977 . cStart - The first cell to include 978 . cEnd - The first cell to exclude 979 . locX - A local vector with the solution fields 980 . locX_t - A local vector with solution field time derivatives, or NULL 981 - locA - A local vector with auxiliary fields, or NULL 982 983 Output Parameters: 984 + u - The field coefficients 985 . u_t - The fields derivative coefficients 986 - a - The auxiliary field coefficients 987 988 Level: developer 989 990 .seealso: DMPlexGetFaceFields() 991 @*/ 992 PetscErrorCode DMPlexGetCellFields(DM dm, PetscInt cStart, PetscInt cEnd, Vec locX, Vec locX_t, Vec locA, PetscScalar **u, PetscScalar **u_t, PetscScalar **a) 993 { 994 DM dmAux; 995 PetscSection section, sectionAux; 996 PetscDS prob; 997 PetscInt numCells = cEnd - cStart, totDim, totDimAux, c; 998 PetscErrorCode ierr; 999 1000 PetscFunctionBegin; 1001 PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 1002 PetscValidHeaderSpecific(locX, VEC_CLASSID, 4); 1003 if (locX_t) {PetscValidHeaderSpecific(locX_t, VEC_CLASSID, 5);} 1004 if (locA) {PetscValidHeaderSpecific(locA, VEC_CLASSID, 6);} 1005 PetscValidPointer(u, 7); 1006 PetscValidPointer(u_t, 8); 1007 PetscValidPointer(a, 9); 1008 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1009 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1010 ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 1011 if (locA) { 1012 PetscDS probAux; 1013 1014 ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr); 1015 ierr = DMGetDefaultSection(dmAux, §ionAux);CHKERRQ(ierr); 1016 ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 1017 ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 1018 } 1019 ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, u);CHKERRQ(ierr); 1020 if (locX_t) {ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, u_t);CHKERRQ(ierr);} else {*u_t = NULL;} 1021 if (locA) {ierr = DMGetWorkArray(dm, numCells*totDimAux, PETSC_SCALAR, a);CHKERRQ(ierr);} else {*a = NULL;} 1022 for (c = cStart; c < cEnd; ++c) { 1023 PetscScalar *x = NULL, *x_t = NULL, *ul = *u, *ul_t = *u_t, *al = *a; 1024 PetscInt i; 1025 1026 ierr = DMPlexVecGetClosure(dm, section, locX, c, NULL, &x);CHKERRQ(ierr); 1027 for (i = 0; i < totDim; ++i) ul[(c-cStart)*totDim+i] = x[i]; 1028 ierr = DMPlexVecRestoreClosure(dm, section, locX, c, NULL, &x);CHKERRQ(ierr); 1029 if (locX_t) { 1030 ierr = DMPlexVecGetClosure(dm, section, locX_t, c, NULL, &x_t);CHKERRQ(ierr); 1031 for (i = 0; i < totDim; ++i) ul_t[(c-cStart)*totDim+i] = x_t[i]; 1032 ierr = DMPlexVecRestoreClosure(dm, section, locX_t, c, NULL, &x_t);CHKERRQ(ierr); 1033 } 1034 if (locA) { 1035 DM dmAuxPlex; 1036 1037 ierr = DMSNESConvertPlex(dmAux, &dmAuxPlex, PETSC_FALSE);CHKERRQ(ierr); 1038 ierr = DMPlexVecGetClosure(dmAuxPlex, sectionAux, locA, c, NULL, &x);CHKERRQ(ierr); 1039 for (i = 0; i < totDimAux; ++i) al[(c-cStart)*totDimAux+i] = x[i]; 1040 ierr = DMPlexVecRestoreClosure(dmAuxPlex, sectionAux, locA, c, NULL, &x);CHKERRQ(ierr); 1041 ierr = DMDestroy(&dmAuxPlex);CHKERRQ(ierr); 1042 } 1043 } 1044 PetscFunctionReturn(0); 1045 } 1046 1047 #undef __FUNCT__ 1048 #define __FUNCT__ "DMPlexRestoreCellFields" 1049 /*@C 1050 DMPlexRestoreCellFields - Restore the field values values for a chunk of cells 1051 1052 Input Parameters: 1053 + dm - The DM 1054 . cStart - The first cell to include 1055 . cEnd - The first cell to exclude 1056 . locX - A local vector with the solution fields 1057 . locX_t - A local vector with solution field time derivatives, or NULL 1058 - locA - A local vector with auxiliary fields, or NULL 1059 1060 Output Parameters: 1061 + u - The field coefficients 1062 . u_t - The fields derivative coefficients 1063 - a - The auxiliary field coefficients 1064 1065 Level: developer 1066 1067 .seealso: DMPlexGetFaceFields() 1068 @*/ 1069 PetscErrorCode DMPlexRestoreCellFields(DM dm, PetscInt cStart, PetscInt cEnd, Vec locX, Vec locX_t, Vec locA, PetscScalar **u, PetscScalar **u_t, PetscScalar **a) 1070 { 1071 PetscErrorCode ierr; 1072 1073 PetscFunctionBegin; 1074 ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, u);CHKERRQ(ierr); 1075 if (*u_t) {ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, u_t);CHKERRQ(ierr);} 1076 if (*a) {ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, a);CHKERRQ(ierr);} 1077 PetscFunctionReturn(0); 1078 } 1079 1080 #undef __FUNCT__ 1081 #define __FUNCT__ "DMPlexGetFaceFields" 1082 /*@C 1083 DMPlexGetFaceFields - Retrieve the field values values for a chunk of faces 1084 1085 Input Parameters: 1086 + dm - The DM 1087 . fStart - The first face to include 1088 . fEnd - The first face to exclude 1089 . locX - A local vector with the solution fields 1090 . locX_t - A local vector with solution field time derivatives, or NULL 1091 . faceGeometry - A local vector with face geometry 1092 . cellGeometry - A local vector with cell geometry 1093 - locaGrad - A local vector with field gradients, or NULL 1094 1095 Output Parameters: 1096 + Nface - The number of faces with field values 1097 . uL - The field values at the left side of the face 1098 - uR - The field values at the right side of the face 1099 1100 Level: developer 1101 1102 .seealso: DMPlexGetCellFields() 1103 @*/ 1104 PetscErrorCode DMPlexGetFaceFields(DM dm, PetscInt fStart, PetscInt fEnd, Vec locX, Vec locX_t, Vec faceGeometry, Vec cellGeometry, Vec locGrad, PetscInt *Nface, PetscScalar **uL, PetscScalar **uR) 1105 { 1106 DM dmFace, dmCell, dmGrad = NULL; 1107 PetscSection section; 1108 PetscDS prob; 1109 DMLabel ghostLabel; 1110 const PetscScalar *facegeom, *cellgeom, *x, *lgrad; 1111 PetscBool *isFE; 1112 PetscInt dim, Nf, f, Nc, numFaces = fEnd - fStart, iface, face; 1113 PetscErrorCode ierr; 1114 1115 PetscFunctionBegin; 1116 PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 1117 PetscValidHeaderSpecific(locX, VEC_CLASSID, 4); 1118 if (locX_t) {PetscValidHeaderSpecific(locX_t, VEC_CLASSID, 5);} 1119 PetscValidHeaderSpecific(faceGeometry, VEC_CLASSID, 6); 1120 PetscValidHeaderSpecific(cellGeometry, VEC_CLASSID, 7); 1121 if (locGrad) {PetscValidHeaderSpecific(locGrad, VEC_CLASSID, 8);} 1122 PetscValidPointer(uL, 9); 1123 PetscValidPointer(uR, 10); 1124 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1125 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1126 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1127 ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 1128 ierr = PetscDSGetTotalComponents(prob, &Nc);CHKERRQ(ierr); 1129 ierr = PetscMalloc1(Nf, &isFE);CHKERRQ(ierr); 1130 for (f = 0; f < Nf; ++f) { 1131 PetscObject obj; 1132 PetscClassId id; 1133 1134 ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1135 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1136 if (id == PETSCFE_CLASSID) {isFE[f] = PETSC_TRUE;} 1137 else if (id == PETSCFV_CLASSID) {isFE[f] = PETSC_FALSE;} 1138 else {isFE[f] = PETSC_FALSE;} 1139 } 1140 ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 1141 ierr = VecGetArrayRead(locX, &x);CHKERRQ(ierr); 1142 ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr); 1143 ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 1144 ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr); 1145 ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 1146 if (locGrad) { 1147 ierr = VecGetDM(locGrad, &dmGrad);CHKERRQ(ierr); 1148 ierr = VecGetArrayRead(locGrad, &lgrad);CHKERRQ(ierr); 1149 } 1150 ierr = DMGetWorkArray(dm, numFaces*Nc, PETSC_SCALAR, uL);CHKERRQ(ierr); 1151 ierr = DMGetWorkArray(dm, numFaces*Nc, PETSC_SCALAR, uR);CHKERRQ(ierr); 1152 /* Right now just eat the extra work for FE (could make a cell loop) */ 1153 for (face = fStart, iface = 0; face < fEnd; ++face) { 1154 const PetscInt *cells; 1155 PetscFVFaceGeom *fg; 1156 PetscFVCellGeom *cgL, *cgR; 1157 PetscScalar *xL, *xR, *gL, *gR; 1158 PetscScalar *uLl = *uL, *uRl = *uR; 1159 PetscInt ghost, nsupp, nchild; 1160 1161 ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1162 ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 1163 ierr = DMPlexGetTreeChildren(dm, face, &nchild, NULL);CHKERRQ(ierr); 1164 if (ghost >= 0 || nsupp > 2 || nchild > 0) continue; 1165 ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr); 1166 ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 1167 ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cgL);CHKERRQ(ierr); 1168 ierr = DMPlexPointLocalRead(dmCell, cells[1], cellgeom, &cgR);CHKERRQ(ierr); 1169 for (f = 0; f < Nf; ++f) { 1170 PetscInt off; 1171 1172 ierr = PetscDSGetComponentOffset(prob, f, &off);CHKERRQ(ierr); 1173 if (isFE[f]) { 1174 const PetscInt *cone; 1175 PetscInt comp, coneSizeL, coneSizeR, faceLocL, faceLocR, ldof, rdof, d; 1176 1177 xL = xR = NULL; 1178 ierr = PetscSectionGetFieldComponents(section, f, &comp);CHKERRQ(ierr); 1179 ierr = DMPlexVecGetClosure(dm, section, locX, cells[0], &ldof, (PetscScalar **) &xL);CHKERRQ(ierr); 1180 ierr = DMPlexVecGetClosure(dm, section, locX, cells[1], &rdof, (PetscScalar **) &xR);CHKERRQ(ierr); 1181 ierr = DMPlexGetCone(dm, cells[0], &cone);CHKERRQ(ierr); 1182 ierr = DMPlexGetConeSize(dm, cells[0], &coneSizeL);CHKERRQ(ierr); 1183 for (faceLocL = 0; faceLocL < coneSizeL; ++faceLocL) if (cone[faceLocL] == face) break; 1184 ierr = DMPlexGetCone(dm, cells[1], &cone);CHKERRQ(ierr); 1185 ierr = DMPlexGetConeSize(dm, cells[1], &coneSizeR);CHKERRQ(ierr); 1186 for (faceLocR = 0; faceLocR < coneSizeR; ++faceLocR) if (cone[faceLocR] == face) break; 1187 if (faceLocL == coneSizeL && faceLocR == coneSizeR) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not find face %d in cone of cell %d or cell %d", face, cells[0], cells[1]); 1188 /* Check that FEM field has values in the right cell (sometimes its an FV ghost cell) */ 1189 /* TODO: this is a hack that might not be right for nonconforming */ 1190 if (faceLocL < coneSizeL) { 1191 ierr = EvaluateFaceFields(prob, f, faceLocL, xL, &uLl[iface*Nc+off]);CHKERRQ(ierr); 1192 if (rdof == ldof && faceLocR < coneSizeR) {ierr = EvaluateFaceFields(prob, f, faceLocR, xR, &uRl[iface*Nc+off]);CHKERRQ(ierr);} 1193 else {for(d = 0; d < comp; ++d) uRl[iface*Nc+off+d] = uLl[iface*Nc+off+d];} 1194 } 1195 else { 1196 ierr = EvaluateFaceFields(prob, f, faceLocR, xR, &uRl[iface*Nc+off]);CHKERRQ(ierr); 1197 ierr = PetscSectionGetFieldComponents(section, f, &comp);CHKERRQ(ierr); 1198 for(d = 0; d < comp; ++d) uLl[iface*Nc+off+d] = uRl[iface*Nc+off+d]; 1199 } 1200 ierr = DMPlexVecRestoreClosure(dm, section, locX, cells[0], &ldof, (PetscScalar **) &xL);CHKERRQ(ierr); 1201 ierr = DMPlexVecRestoreClosure(dm, section, locX, cells[1], &rdof, (PetscScalar **) &xR);CHKERRQ(ierr); 1202 } else { 1203 PetscFV fv; 1204 PetscInt numComp, c; 1205 1206 ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fv);CHKERRQ(ierr); 1207 ierr = PetscFVGetNumComponents(fv, &numComp);CHKERRQ(ierr); 1208 ierr = DMPlexPointLocalFieldRead(dm, cells[0], f, x, &xL);CHKERRQ(ierr); 1209 ierr = DMPlexPointLocalFieldRead(dm, cells[1], f, x, &xR);CHKERRQ(ierr); 1210 if (dmGrad) { 1211 PetscReal dxL[3], dxR[3]; 1212 1213 ierr = DMPlexPointLocalRead(dmGrad, cells[0], lgrad, &gL);CHKERRQ(ierr); 1214 ierr = DMPlexPointLocalRead(dmGrad, cells[1], lgrad, &gR);CHKERRQ(ierr); 1215 DMPlex_WaxpyD_Internal(dim, -1, cgL->centroid, fg->centroid, dxL); 1216 DMPlex_WaxpyD_Internal(dim, -1, cgR->centroid, fg->centroid, dxR); 1217 for (c = 0; c < numComp; ++c) { 1218 uLl[iface*Nc+off+c] = xL[c] + DMPlex_DotD_Internal(dim, &gL[c*dim], dxL); 1219 uRl[iface*Nc+off+c] = xR[c] + DMPlex_DotD_Internal(dim, &gR[c*dim], dxR); 1220 } 1221 } else { 1222 for (c = 0; c < numComp; ++c) { 1223 uLl[iface*Nc+off+c] = xL[c]; 1224 uRl[iface*Nc+off+c] = xR[c]; 1225 } 1226 } 1227 } 1228 } 1229 ++iface; 1230 } 1231 *Nface = iface; 1232 ierr = VecRestoreArrayRead(locX, &x);CHKERRQ(ierr); 1233 ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 1234 ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 1235 if (locGrad) { 1236 ierr = VecRestoreArrayRead(locGrad, &lgrad);CHKERRQ(ierr); 1237 } 1238 ierr = PetscFree(isFE);CHKERRQ(ierr); 1239 PetscFunctionReturn(0); 1240 } 1241 1242 #undef __FUNCT__ 1243 #define __FUNCT__ "DMPlexRestoreFaceFields" 1244 /*@C 1245 DMPlexRestoreFaceFields - Restore the field values values for a chunk of faces 1246 1247 Input Parameters: 1248 + dm - The DM 1249 . fStart - The first face to include 1250 . fEnd - The first face to exclude 1251 . locX - A local vector with the solution fields 1252 . locX_t - A local vector with solution field time derivatives, or NULL 1253 . faceGeometry - A local vector with face geometry 1254 . cellGeometry - A local vector with cell geometry 1255 - locaGrad - A local vector with field gradients, or NULL 1256 1257 Output Parameters: 1258 + Nface - The number of faces with field values 1259 . uL - The field values at the left side of the face 1260 - uR - The field values at the right side of the face 1261 1262 Level: developer 1263 1264 .seealso: DMPlexGetFaceFields() 1265 @*/ 1266 PetscErrorCode DMPlexRestoreFaceFields(DM dm, PetscInt fStart, PetscInt fEnd, Vec locX, Vec locX_t, Vec faceGeometry, Vec cellGeometry, Vec locGrad, PetscInt *Nface, PetscScalar **uL, PetscScalar **uR) 1267 { 1268 PetscErrorCode ierr; 1269 1270 PetscFunctionBegin; 1271 ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, uL);CHKERRQ(ierr); 1272 ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, uR);CHKERRQ(ierr); 1273 PetscFunctionReturn(0); 1274 } 1275 1276 #undef __FUNCT__ 1277 #define __FUNCT__ "DMPlexGetFaceGeometry" 1278 /*@C 1279 DMPlexGetFaceGeometry - Retrieve the geometric values for a chunk of faces 1280 1281 Input Parameters: 1282 + dm - The DM 1283 . fStart - The first face to include 1284 . fEnd - The first face to exclude 1285 . faceGeometry - A local vector with face geometry 1286 - cellGeometry - A local vector with cell geometry 1287 1288 Output Parameters: 1289 + Nface - The number of faces with field values 1290 . fgeom - The extract the face centroid and normal 1291 - vol - The cell volume 1292 1293 Level: developer 1294 1295 .seealso: DMPlexGetCellFields() 1296 @*/ 1297 PetscErrorCode DMPlexGetFaceGeometry(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, PetscInt *Nface, PetscFVFaceGeom **fgeom, PetscReal **vol) 1298 { 1299 DM dmFace, dmCell; 1300 DMLabel ghostLabel; 1301 const PetscScalar *facegeom, *cellgeom; 1302 PetscInt dim, numFaces = fEnd - fStart, iface, face; 1303 PetscErrorCode ierr; 1304 1305 PetscFunctionBegin; 1306 PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 1307 PetscValidHeaderSpecific(faceGeometry, VEC_CLASSID, 4); 1308 PetscValidHeaderSpecific(cellGeometry, VEC_CLASSID, 5); 1309 PetscValidPointer(fgeom, 6); 1310 PetscValidPointer(vol, 7); 1311 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1312 ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 1313 ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr); 1314 ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 1315 ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr); 1316 ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 1317 ierr = PetscMalloc1(numFaces, fgeom);CHKERRQ(ierr); 1318 ierr = DMGetWorkArray(dm, numFaces*2, PETSC_SCALAR, vol);CHKERRQ(ierr); 1319 for (face = fStart, iface = 0; face < fEnd; ++face) { 1320 const PetscInt *cells; 1321 PetscFVFaceGeom *fg; 1322 PetscFVCellGeom *cgL, *cgR; 1323 PetscFVFaceGeom *fgeoml = *fgeom; 1324 PetscReal *voll = *vol; 1325 PetscInt ghost, d, nchild, nsupp; 1326 1327 ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1328 ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 1329 ierr = DMPlexGetTreeChildren(dm, face, &nchild, NULL);CHKERRQ(ierr); 1330 if (ghost >= 0 || nsupp > 2 || nchild > 0) continue; 1331 ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr); 1332 ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 1333 ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cgL);CHKERRQ(ierr); 1334 ierr = DMPlexPointLocalRead(dmCell, cells[1], cellgeom, &cgR);CHKERRQ(ierr); 1335 for (d = 0; d < dim; ++d) { 1336 fgeoml[iface].centroid[d] = fg->centroid[d]; 1337 fgeoml[iface].normal[d] = fg->normal[d]; 1338 } 1339 voll[iface*2+0] = cgL->volume; 1340 voll[iface*2+1] = cgR->volume; 1341 ++iface; 1342 } 1343 *Nface = iface; 1344 ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 1345 ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 1346 PetscFunctionReturn(0); 1347 } 1348 1349 #undef __FUNCT__ 1350 #define __FUNCT__ "DMPlexRestoreFaceGeometry" 1351 /*@C 1352 DMPlexRestoreFaceGeometry - Restore the field values values for a chunk of faces 1353 1354 Input Parameters: 1355 + dm - The DM 1356 . fStart - The first face to include 1357 . fEnd - The first face to exclude 1358 . faceGeometry - A local vector with face geometry 1359 - cellGeometry - A local vector with cell geometry 1360 1361 Output Parameters: 1362 + Nface - The number of faces with field values 1363 . fgeom - The extract the face centroid and normal 1364 - vol - The cell volume 1365 1366 Level: developer 1367 1368 .seealso: DMPlexGetFaceFields() 1369 @*/ 1370 PetscErrorCode DMPlexRestoreFaceGeometry(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, PetscInt *Nface, PetscFVFaceGeom **fgeom, PetscReal **vol) 1371 { 1372 PetscErrorCode ierr; 1373 1374 PetscFunctionBegin; 1375 ierr = PetscFree(*fgeom);CHKERRQ(ierr); 1376 ierr = DMRestoreWorkArray(dm, 0, PETSC_REAL, vol);CHKERRQ(ierr); 1377 PetscFunctionReturn(0); 1378 } 1379 1380 #undef __FUNCT__ 1381 #define __FUNCT__ "DMPlexComputeBdResidual_Internal" 1382 PetscErrorCode DMPlexComputeBdResidual_Internal(DM dm, Vec locX, Vec locX_t, PetscReal t, Vec locF, void *user) 1383 { 1384 DM_Plex *mesh = (DM_Plex *) dm->data; 1385 PetscSection section; 1386 PetscDS prob; 1387 DMLabel depth; 1388 PetscFECellGeom *cgeom; 1389 PetscScalar *u = NULL, *u_t = NULL, *elemVec = NULL; 1390 PetscInt dim, Nf, f, totDimBd, numBd, bd; 1391 PetscErrorCode ierr; 1392 1393 PetscFunctionBegin; 1394 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1395 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1396 ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr); 1397 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1398 ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 1399 ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr); 1400 ierr = PetscDSGetNumBoundary(prob, &numBd);CHKERRQ(ierr); 1401 for (bd = 0; bd < numBd; ++bd) { 1402 const char *bdLabel; 1403 DMLabel label; 1404 IS pointIS; 1405 const PetscInt *points; 1406 const PetscInt *values; 1407 PetscInt field, numValues, v, numPoints, p, dep, numFaces; 1408 PetscBool isEssential; 1409 PetscObject obj; 1410 PetscClassId id; 1411 1412 ierr = PetscDSGetBoundary(prob, bd, &isEssential, NULL, &bdLabel, &field, NULL, NULL, NULL, &numValues, &values, NULL);CHKERRQ(ierr); 1413 ierr = PetscDSGetBdDiscretization(prob, field, &obj);CHKERRQ(ierr); 1414 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1415 if ((id != PETSCFE_CLASSID) || isEssential) continue; 1416 ierr = DMGetLabel(dm, bdLabel, &label);CHKERRQ(ierr); 1417 for (v = 0; v < numValues; ++v) { 1418 ierr = DMLabelGetStratumSize(label, values[v], &numPoints);CHKERRQ(ierr); 1419 ierr = DMLabelGetStratumIS(label, values[v], &pointIS);CHKERRQ(ierr); 1420 if (!pointIS) continue; /* No points with that id on this process */ 1421 ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 1422 for (p = 0, numFaces = 0; p < numPoints; ++p) { 1423 ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 1424 if (dep == dim-1) ++numFaces; 1425 } 1426 ierr = PetscMalloc3(numFaces*totDimBd,&u,numFaces,&cgeom,numFaces*totDimBd,&elemVec);CHKERRQ(ierr); 1427 ierr = PetscMemzero(elemVec, numFaces*totDimBd * sizeof(PetscScalar));CHKERRQ(ierr); 1428 if (locX_t) {ierr = PetscMalloc1(numFaces*totDimBd,&u_t);CHKERRQ(ierr);} 1429 for (p = 0, f = 0; p < numPoints; ++p) { 1430 const PetscInt point = points[p]; 1431 PetscScalar *x = NULL; 1432 PetscInt i; 1433 1434 ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 1435 if (dep != dim-1) continue; 1436 ierr = DMPlexComputeCellGeometryFEM(dm, point, NULL, cgeom[f].v0, cgeom[f].J, cgeom[f].invJ, &cgeom[f].detJ);CHKERRQ(ierr); 1437 ierr = DMPlexComputeCellGeometryFVM(dm, point, NULL, NULL, cgeom[f].n);CHKERRQ(ierr); 1438 if (cgeom[f].detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for face %d", cgeom[f].detJ, point); 1439 /* TODO: Matt, this is wrong if feBd does not match fe: i.e., if the order differs. */ 1440 ierr = DMPlexVecGetClosure(dm, section, locX, point, NULL, &x);CHKERRQ(ierr); 1441 for (i = 0; i < totDimBd; ++i) u[f*totDimBd+i] = x[i]; 1442 ierr = DMPlexVecRestoreClosure(dm, section, locX, point, NULL, &x);CHKERRQ(ierr); 1443 if (locX_t) { 1444 ierr = DMPlexVecGetClosure(dm, section, locX_t, point, NULL, &x);CHKERRQ(ierr); 1445 for (i = 0; i < totDimBd; ++i) u_t[f*totDimBd+i] = x[i]; 1446 ierr = DMPlexVecRestoreClosure(dm, section, locX_t, point, NULL, &x);CHKERRQ(ierr); 1447 } 1448 ++f; 1449 } 1450 { 1451 PetscFE fe; 1452 PetscQuadrature q; 1453 PetscInt numQuadPoints, Nb; 1454 /* Conforming batches */ 1455 PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 1456 /* Remainder */ 1457 PetscInt Nr, offset; 1458 1459 ierr = PetscDSGetBdDiscretization(prob, field, (PetscObject *) &fe);CHKERRQ(ierr); 1460 ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 1461 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 1462 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 1463 ierr = PetscQuadratureGetData(q, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 1464 blockSize = Nb*numQuadPoints; 1465 batchSize = numBlocks * blockSize; 1466 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 1467 numChunks = numFaces / (numBatches*batchSize); 1468 Ne = numChunks*numBatches*batchSize; 1469 Nr = numFaces % (numBatches*batchSize); 1470 offset = numFaces - Nr; 1471 ierr = PetscFEIntegrateBdResidual(fe, prob, field, Ne, cgeom, u, u_t, NULL, NULL, t, elemVec);CHKERRQ(ierr); 1472 ierr = PetscFEIntegrateBdResidual(fe, prob, field, Nr, &cgeom[offset], &u[offset*totDimBd], u_t ? &u_t[offset*totDimBd] : NULL, NULL, NULL, t, &elemVec[offset*totDimBd]);CHKERRQ(ierr); 1473 } 1474 for (p = 0, f = 0; p < numPoints; ++p) { 1475 const PetscInt point = points[p]; 1476 1477 ierr = DMLabelGetValue(depth, point, &dep);CHKERRQ(ierr); 1478 if (dep != dim-1) continue; 1479 if (mesh->printFEM > 1) {ierr = DMPrintCellVector(point, "BdResidual", totDimBd, &elemVec[f*totDimBd]);CHKERRQ(ierr);} 1480 ierr = DMPlexVecSetClosure(dm, NULL, locF, point, &elemVec[f*totDimBd], ADD_ALL_VALUES);CHKERRQ(ierr); 1481 ++f; 1482 } 1483 ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 1484 ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 1485 ierr = PetscFree3(u,cgeom,elemVec);CHKERRQ(ierr); 1486 if (locX_t) {ierr = PetscFree(u_t);CHKERRQ(ierr);} 1487 } 1488 } 1489 PetscFunctionReturn(0); 1490 } 1491 1492 #undef __FUNCT__ 1493 #define __FUNCT__ "DMPlexComputeResidual_Internal" 1494 PetscErrorCode DMPlexComputeResidual_Internal(DM dm, PetscInt cStart, PetscInt cEnd, PetscReal time, Vec locX, Vec locX_t, PetscReal t, Vec locF, void *user) 1495 { 1496 DM_Plex *mesh = (DM_Plex *) dm->data; 1497 const char *name = "Residual"; 1498 DM dmAux = NULL; 1499 DM dmGrad = NULL; 1500 DMLabel ghostLabel = NULL; 1501 PetscDS prob = NULL; 1502 PetscDS probAux = NULL; 1503 PetscSection section = NULL; 1504 PetscBool useFEM = PETSC_FALSE; 1505 PetscBool useFVM = PETSC_FALSE; 1506 PetscBool isImplicit = (locX_t || time == PETSC_MIN_REAL) ? PETSC_TRUE : PETSC_FALSE; 1507 PetscFV fvm = NULL; 1508 PetscFECellGeom *cgeomFEM = NULL; 1509 PetscScalar *cgeomScal; 1510 PetscFVCellGeom *cgeomFVM = NULL; 1511 PetscFVFaceGeom *fgeomFVM = NULL; 1512 Vec locA, cellGeometryFEM = NULL, cellGeometryFVM = NULL, faceGeometryFVM = NULL, grad, locGrad = NULL; 1513 PetscScalar *u = NULL, *u_t, *a, *uL, *uR; 1514 PetscInt Nf, f, totDim, totDimAux, numChunks, cellChunkSize, faceChunkSize, chunk, fStart, fEnd; 1515 PetscErrorCode ierr; 1516 1517 PetscFunctionBegin; 1518 ierr = PetscLogEventBegin(DMPLEX_ResidualFEM,dm,0,0,0);CHKERRQ(ierr); 1519 /* TODO The places where we have to use isFE are probably the member functions for the PetscDisc class */ 1520 /* TODO The FVM geometry is over-manipulated. Make the precalc functions return exactly what we need */ 1521 /* FEM+FVM */ 1522 /* 1: Get sizes from dm and dmAux */ 1523 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1524 ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 1525 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1526 ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 1527 ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 1528 ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &locA);CHKERRQ(ierr); 1529 if (locA) { 1530 ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr); 1531 ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 1532 ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 1533 } 1534 /* 2: Get geometric data */ 1535 for (f = 0; f < Nf; ++f) { 1536 PetscObject obj; 1537 PetscClassId id; 1538 PetscBool fimp; 1539 1540 ierr = PetscDSGetImplicit(prob, f, &fimp);CHKERRQ(ierr); 1541 if (isImplicit != fimp) continue; 1542 ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1543 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1544 if (id == PETSCFE_CLASSID) {useFEM = PETSC_TRUE;} 1545 if (id == PETSCFV_CLASSID) {useFVM = PETSC_TRUE; fvm = (PetscFV) obj;} 1546 } 1547 if (useFEM) { 1548 ierr = DMPlexSNESGetGeometryFEM(dm, &cellGeometryFEM);CHKERRQ(ierr); 1549 ierr = VecGetArray(cellGeometryFEM, &cgeomScal);CHKERRQ(ierr); 1550 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 1551 DM dmCell; 1552 PetscInt c; 1553 1554 ierr = VecGetDM(cellGeometryFEM,&dmCell);CHKERRQ(ierr); 1555 ierr = PetscMalloc1(cEnd-cStart,&cgeomFEM);CHKERRQ(ierr); 1556 for (c = 0; c < cEnd - cStart; c++) { 1557 PetscScalar *thisgeom; 1558 1559 ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 1560 cgeomFEM[c] = *((PetscFECellGeom *) thisgeom); 1561 } 1562 } 1563 else { 1564 cgeomFEM = (PetscFECellGeom *) cgeomScal; 1565 } 1566 } 1567 if (useFVM) { 1568 ierr = DMPlexSNESGetGeometryFVM(dm, &faceGeometryFVM, &cellGeometryFVM, NULL);CHKERRQ(ierr); 1569 ierr = VecGetArrayRead(faceGeometryFVM, (const PetscScalar **) &fgeomFVM);CHKERRQ(ierr); 1570 ierr = VecGetArrayRead(cellGeometryFVM, (const PetscScalar **) &cgeomFVM);CHKERRQ(ierr); 1571 /* Reconstruct and limit cell gradients */ 1572 ierr = DMPlexSNESGetGradientDM(dm, fvm, &dmGrad);CHKERRQ(ierr); 1573 if (dmGrad) { 1574 ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 1575 ierr = DMGetGlobalVector(dmGrad, &grad);CHKERRQ(ierr); 1576 ierr = DMPlexReconstructGradients_Internal(dm, fvm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad);CHKERRQ(ierr); 1577 /* Communicate gradient values */ 1578 ierr = DMGetLocalVector(dmGrad, &locGrad);CHKERRQ(ierr); 1579 ierr = DMGlobalToLocalBegin(dmGrad, grad, INSERT_VALUES, locGrad);CHKERRQ(ierr); 1580 ierr = DMGlobalToLocalEnd(dmGrad, grad, INSERT_VALUES, locGrad);CHKERRQ(ierr); 1581 ierr = DMRestoreGlobalVector(dmGrad, &grad);CHKERRQ(ierr); 1582 } 1583 /* Handle non-essential (e.g. outflow) boundary values */ 1584 ierr = DMPlexInsertBoundaryValues(dm, PETSC_FALSE, locX, time, faceGeometryFVM, cellGeometryFVM, locGrad);CHKERRQ(ierr); 1585 } 1586 /* Loop over chunks */ 1587 ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 1588 numChunks = 1; 1589 cellChunkSize = (cEnd - cStart)/numChunks; 1590 faceChunkSize = (fEnd - fStart)/numChunks; 1591 for (chunk = 0; chunk < numChunks; ++chunk) { 1592 PetscScalar *elemVec, *fluxL, *fluxR; 1593 PetscReal *vol; 1594 PetscFVFaceGeom *fgeom; 1595 PetscInt cS = cStart+chunk*cellChunkSize, cE = PetscMin(cS+cellChunkSize, cEnd), numCells = cE - cS, cell; 1596 PetscInt fS = fStart+chunk*faceChunkSize, fE = PetscMin(fS+faceChunkSize, fEnd), numFaces = 0, face; 1597 1598 /* Extract field coefficients */ 1599 if (useFEM) { 1600 ierr = DMPlexGetCellFields(dm, cS, cE, locX, locX_t, locA, &u, &u_t, &a);CHKERRQ(ierr); 1601 ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, &elemVec);CHKERRQ(ierr); 1602 ierr = PetscMemzero(elemVec, numCells*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 1603 } 1604 if (useFVM) { 1605 ierr = DMPlexGetFaceFields(dm, fS, fE, locX, locX_t, faceGeometryFVM, cellGeometryFVM, locGrad, &numFaces, &uL, &uR);CHKERRQ(ierr); 1606 ierr = DMPlexGetFaceGeometry(dm, fS, fE, faceGeometryFVM, cellGeometryFVM, &numFaces, &fgeom, &vol);CHKERRQ(ierr); 1607 ierr = DMGetWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxL);CHKERRQ(ierr); 1608 ierr = DMGetWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxR);CHKERRQ(ierr); 1609 ierr = PetscMemzero(fluxL, numFaces*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 1610 ierr = PetscMemzero(fluxR, numFaces*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 1611 } 1612 /* TODO We will interlace both our field coefficients (u, u_t, uL, uR, etc.) and our output (elemVec, fL, fR). I think this works */ 1613 /* Loop over fields */ 1614 for (f = 0; f < Nf; ++f) { 1615 PetscObject obj; 1616 PetscClassId id; 1617 PetscBool fimp; 1618 PetscInt numChunks, numBatches, batchSize, numBlocks, blockSize, Ne, Nr, offset; 1619 1620 ierr = PetscDSGetImplicit(prob, f, &fimp);CHKERRQ(ierr); 1621 if (isImplicit != fimp) continue; 1622 ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1623 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1624 if (id == PETSCFE_CLASSID) { 1625 PetscFE fe = (PetscFE) obj; 1626 PetscQuadrature q; 1627 PetscInt Nq, Nb; 1628 1629 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 1630 1631 ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 1632 ierr = PetscQuadratureGetData(q, NULL, &Nq, NULL, NULL);CHKERRQ(ierr); 1633 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 1634 blockSize = Nb*Nq; 1635 batchSize = numBlocks * blockSize; 1636 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 1637 numChunks = numCells / (numBatches*batchSize); 1638 Ne = numChunks*numBatches*batchSize; 1639 Nr = numCells % (numBatches*batchSize); 1640 offset = numCells - Nr; 1641 /* Integrate FE residual to get elemVec (need fields at quadrature points) */ 1642 /* For FV, I think we use a P0 basis and the cell coefficients (for subdivided cells, we can tweak the basis tabulation to be the indicator function) */ 1643 ierr = PetscFEIntegrateResidual(fe, prob, f, Ne, cgeomFEM, u, u_t, probAux, a, t, elemVec);CHKERRQ(ierr); 1644 ierr = PetscFEIntegrateResidual(fe, prob, f, Nr, &cgeomFEM[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, &elemVec[offset*totDim]);CHKERRQ(ierr); 1645 } else if (id == PETSCFV_CLASSID) { 1646 PetscFV fv = (PetscFV) obj; 1647 1648 Ne = numFaces; 1649 /* Riemann solve over faces (need fields at face centroids) */ 1650 /* We need to evaluate FE fields at those coordinates */ 1651 ierr = PetscFVIntegrateRHSFunction(fv, prob, f, Ne, fgeom, vol, uL, uR, fluxL, fluxR);CHKERRQ(ierr); 1652 } else SETERRQ1(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", f); 1653 } 1654 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 1655 ierr = PetscFree(cgeomFEM);CHKERRQ(ierr); 1656 } 1657 else { 1658 cgeomFEM = NULL; 1659 } 1660 if (cellGeometryFEM) {ierr = VecRestoreArray(cellGeometryFEM, &cgeomScal);CHKERRQ(ierr);} 1661 /* Loop over domain */ 1662 if (useFEM) { 1663 /* Add elemVec to locX */ 1664 for (cell = cS; cell < cE; ++cell) { 1665 if (mesh->printFEM > 1) {ierr = DMPrintCellVector(cell, name, totDim, &elemVec[cell*totDim]);CHKERRQ(ierr);} 1666 if (ghostLabel) { 1667 PetscInt ghostVal; 1668 1669 ierr = DMLabelGetValue(ghostLabel,cell,&ghostVal);CHKERRQ(ierr); 1670 if (ghostVal > 0) continue; 1671 } 1672 ierr = DMPlexVecSetClosure(dm, section, locF, cell, &elemVec[cell*totDim], ADD_ALL_VALUES);CHKERRQ(ierr); 1673 } 1674 } 1675 if (useFVM) { 1676 PetscScalar *fa; 1677 PetscInt iface; 1678 1679 ierr = VecGetArray(locF, &fa);CHKERRQ(ierr); 1680 for (f = 0; f < Nf; ++f) { 1681 PetscFV fv; 1682 PetscObject obj; 1683 PetscClassId id; 1684 PetscInt foff, pdim; 1685 1686 ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1687 ierr = PetscDSGetFieldOffset(prob, f, &foff);CHKERRQ(ierr); 1688 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1689 if (id != PETSCFV_CLASSID) continue; 1690 fv = (PetscFV) obj; 1691 ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr); 1692 /* Accumulate fluxes to cells */ 1693 for (face = fS, iface = 0; face < fE; ++face) { 1694 const PetscInt *cells; 1695 PetscScalar *fL = NULL, *fR = NULL; 1696 PetscInt ghost, d, nsupp, nchild; 1697 1698 ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1699 ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 1700 ierr = DMPlexGetTreeChildren(dm, face, &nchild, NULL);CHKERRQ(ierr); 1701 if (ghost >= 0 || nsupp > 2 || nchild > 0) continue; 1702 ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 1703 ierr = DMLabelGetValue(ghostLabel,cells[0],&ghost);CHKERRQ(ierr); 1704 if (ghost <= 0) {ierr = DMPlexPointLocalFieldRef(dm, cells[0], f, fa, &fL);CHKERRQ(ierr);} 1705 ierr = DMLabelGetValue(ghostLabel,cells[1],&ghost);CHKERRQ(ierr); 1706 if (ghost <= 0) {ierr = DMPlexPointLocalFieldRef(dm, cells[1], f, fa, &fR);CHKERRQ(ierr);} 1707 for (d = 0; d < pdim; ++d) { 1708 if (fL) fL[d] -= fluxL[iface*totDim+foff+d]; 1709 if (fR) fR[d] += fluxR[iface*totDim+foff+d]; 1710 } 1711 ++iface; 1712 } 1713 } 1714 ierr = VecRestoreArray(locF, &fa);CHKERRQ(ierr); 1715 } 1716 /* Handle time derivative */ 1717 if (locX_t) { 1718 PetscScalar *x_t, *fa; 1719 1720 ierr = VecGetArray(locF, &fa);CHKERRQ(ierr); 1721 ierr = VecGetArray(locX_t, &x_t);CHKERRQ(ierr); 1722 for (f = 0; f < Nf; ++f) { 1723 PetscFV fv; 1724 PetscObject obj; 1725 PetscClassId id; 1726 PetscInt pdim, d; 1727 1728 ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1729 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1730 if (id != PETSCFV_CLASSID) continue; 1731 fv = (PetscFV) obj; 1732 ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr); 1733 for (cell = cS; cell < cE; ++cell) { 1734 PetscScalar *u_t, *r; 1735 1736 if (ghostLabel) { 1737 PetscInt ghostVal; 1738 1739 ierr = DMLabelGetValue(ghostLabel,cell,&ghostVal);CHKERRQ(ierr); 1740 if (ghostVal > 0) continue; 1741 } 1742 ierr = DMPlexPointLocalFieldRead(dm, cell, f, x_t, &u_t);CHKERRQ(ierr); 1743 ierr = DMPlexPointLocalFieldRef(dm, cell, f, fa, &r);CHKERRQ(ierr); 1744 for (d = 0; d < pdim; ++d) r[d] += u_t[d]; 1745 } 1746 } 1747 ierr = VecRestoreArray(locX_t, &x_t);CHKERRQ(ierr); 1748 ierr = VecRestoreArray(locF, &fa);CHKERRQ(ierr); 1749 } 1750 if (useFEM) { 1751 ierr = DMPlexRestoreCellFields(dm, cS, cE, locX, locX_t, locA, &u, &u_t, &a);CHKERRQ(ierr); 1752 ierr = DMRestoreWorkArray(dm, numCells*totDim, PETSC_SCALAR, &elemVec);CHKERRQ(ierr); 1753 } 1754 if (useFVM) { 1755 ierr = DMPlexRestoreFaceFields(dm, fS, fE, locX, locX_t, faceGeometryFVM, cellGeometryFVM, locGrad, &numFaces, &uL, &uR);CHKERRQ(ierr); 1756 ierr = DMPlexRestoreFaceGeometry(dm, fS, fE, faceGeometryFVM, cellGeometryFVM, &numFaces, &fgeom, &vol);CHKERRQ(ierr); 1757 ierr = DMRestoreWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxL);CHKERRQ(ierr); 1758 ierr = DMRestoreWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxR);CHKERRQ(ierr); 1759 if (dmGrad) {ierr = DMRestoreLocalVector(dmGrad, &locGrad);CHKERRQ(ierr);} 1760 } 1761 } 1762 1763 if (useFEM) {ierr = DMPlexComputeBdResidual_Internal(dm, locX, locX_t, t, locF, user);CHKERRQ(ierr);} 1764 1765 /* FEM */ 1766 /* 1: Get sizes from dm and dmAux */ 1767 /* 2: Get geometric data */ 1768 /* 3: Handle boundary values */ 1769 /* 4: Loop over domain */ 1770 /* Extract coefficients */ 1771 /* Loop over fields */ 1772 /* Set tiling for FE*/ 1773 /* Integrate FE residual to get elemVec */ 1774 /* Loop over subdomain */ 1775 /* Loop over quad points */ 1776 /* Transform coords to real space */ 1777 /* Evaluate field and aux fields at point */ 1778 /* Evaluate residual at point */ 1779 /* Transform residual to real space */ 1780 /* Add residual to elemVec */ 1781 /* Loop over domain */ 1782 /* Add elemVec to locX */ 1783 1784 /* FVM */ 1785 /* Get geometric data */ 1786 /* If using gradients */ 1787 /* Compute gradient data */ 1788 /* Loop over domain faces */ 1789 /* Count computational faces */ 1790 /* Reconstruct cell gradient */ 1791 /* Loop over domain cells */ 1792 /* Limit cell gradients */ 1793 /* Handle boundary values */ 1794 /* Loop over domain faces */ 1795 /* Read out field, centroid, normal, volume for each side of face */ 1796 /* Riemann solve over faces */ 1797 /* Loop over domain faces */ 1798 /* Accumulate fluxes to cells */ 1799 /* TODO Change printFEM to printDisc here */ 1800 if (mesh->printFEM) { 1801 Vec locFbc; 1802 PetscInt pStart, pEnd, p, maxDof; 1803 PetscScalar *zeroes; 1804 1805 ierr = VecDuplicate(locF,&locFbc);CHKERRQ(ierr); 1806 ierr = VecCopy(locF,locFbc);CHKERRQ(ierr); 1807 ierr = PetscSectionGetChart(section,&pStart,&pEnd);CHKERRQ(ierr); 1808 ierr = PetscSectionGetMaxDof(section,&maxDof);CHKERRQ(ierr); 1809 ierr = PetscCalloc1(maxDof,&zeroes);CHKERRQ(ierr); 1810 for (p = pStart; p < pEnd; p++) { 1811 ierr = VecSetValuesSection(locFbc,section,p,zeroes,INSERT_BC_VALUES);CHKERRQ(ierr); 1812 } 1813 ierr = PetscFree(zeroes);CHKERRQ(ierr); 1814 ierr = DMPrintLocalVec(dm, name, mesh->printTol, locFbc);CHKERRQ(ierr); 1815 ierr = VecDestroy(&locFbc);CHKERRQ(ierr); 1816 } 1817 ierr = PetscLogEventEnd(DMPLEX_ResidualFEM,dm,0,0,0);CHKERRQ(ierr); 1818 PetscFunctionReturn(0); 1819 } 1820 1821 #undef __FUNCT__ 1822 #define __FUNCT__ "DMPlexComputeResidualFEM_Check_Internal" 1823 static PetscErrorCode DMPlexComputeResidualFEM_Check_Internal(DM dm, Vec X, Vec X_t, PetscReal t, Vec F, void *user) 1824 { 1825 DM dmCh, dmAux; 1826 Vec A, cellgeom; 1827 PetscDS prob, probCh, probAux = NULL; 1828 PetscQuadrature q; 1829 PetscSection section, sectionAux; 1830 PetscFECellGeom *cgeom = NULL; 1831 PetscScalar *cgeomScal; 1832 PetscScalar *elemVec, *elemVecCh, *u, *u_t, *a = NULL; 1833 PetscInt dim, Nf, f, numCells, cStart, cEnd, c; 1834 PetscInt totDim, totDimAux = 0, diffCell = 0; 1835 PetscErrorCode ierr; 1836 1837 PetscFunctionBegin; 1838 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1839 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1840 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1841 ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 1842 ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 1843 ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 1844 numCells = cEnd - cStart; 1845 ierr = PetscObjectQuery((PetscObject) dm, "dmCh", (PetscObject *) &dmCh);CHKERRQ(ierr); 1846 ierr = DMGetDS(dmCh, &probCh);CHKERRQ(ierr); 1847 ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 1848 ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 1849 if (dmAux) { 1850 ierr = DMGetDefaultSection(dmAux, §ionAux);CHKERRQ(ierr); 1851 ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 1852 ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 1853 } 1854 ierr = VecSet(F, 0.0);CHKERRQ(ierr); 1855 ierr = PetscMalloc3(numCells*totDim,&u,X_t ? numCells*totDim : 0,&u_t,numCells*totDim,&elemVec);CHKERRQ(ierr); 1856 ierr = PetscMalloc1(numCells*totDim,&elemVecCh);CHKERRQ(ierr); 1857 if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 1858 ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 1859 ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 1860 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 1861 DM dmCell; 1862 1863 ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 1864 ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 1865 for (c = 0; c < cEnd - cStart; c++) { 1866 PetscScalar *thisgeom; 1867 1868 ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 1869 cgeom[c] = *((PetscFECellGeom *) thisgeom); 1870 } 1871 } 1872 else { 1873 cgeom = (PetscFECellGeom *) cgeomScal; 1874 } 1875 for (c = cStart; c < cEnd; ++c) { 1876 PetscScalar *x = NULL, *x_t = NULL; 1877 PetscInt i; 1878 1879 ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 1880 for (i = 0; i < totDim; ++i) u[c*totDim+i] = x[i]; 1881 ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 1882 if (X_t) { 1883 ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 1884 for (i = 0; i < totDim; ++i) u_t[c*totDim+i] = x_t[i]; 1885 ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 1886 } 1887 if (dmAux) { 1888 DM dmAuxPlex; 1889 1890 ierr = DMSNESConvertPlex(dmAux,&dmAuxPlex, PETSC_FALSE);CHKERRQ(ierr); 1891 ierr = DMPlexVecGetClosure(dmAuxPlex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 1892 for (i = 0; i < totDimAux; ++i) a[c*totDimAux+i] = x[i]; 1893 ierr = DMPlexVecRestoreClosure(dmAuxPlex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 1894 ierr = DMDestroy(&dmAuxPlex);CHKERRQ(ierr); 1895 } 1896 } 1897 for (f = 0; f < Nf; ++f) { 1898 PetscFE fe, feCh; 1899 PetscInt numQuadPoints, Nb; 1900 /* Conforming batches */ 1901 PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 1902 /* Remainder */ 1903 PetscInt Nr, offset; 1904 1905 ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fe);CHKERRQ(ierr); 1906 ierr = PetscDSGetDiscretization(probCh, f, (PetscObject *) &feCh);CHKERRQ(ierr); 1907 ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 1908 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 1909 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 1910 ierr = PetscQuadratureGetData(q, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 1911 blockSize = Nb*numQuadPoints; 1912 batchSize = numBlocks * blockSize; 1913 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 1914 numChunks = numCells / (numBatches*batchSize); 1915 Ne = numChunks*numBatches*batchSize; 1916 Nr = numCells % (numBatches*batchSize); 1917 offset = numCells - Nr; 1918 ierr = PetscFEIntegrateResidual(fe, prob, f, Ne, cgeom, u, u_t, probAux, a, t, elemVec);CHKERRQ(ierr); 1919 ierr = PetscFEIntegrateResidual(feCh, prob, f, Ne, cgeom, u, u_t, probAux, a, t, elemVecCh);CHKERRQ(ierr); 1920 ierr = PetscFEIntegrateResidual(fe, prob, f, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, &elemVec[offset*totDim]);CHKERRQ(ierr); 1921 ierr = PetscFEIntegrateResidual(feCh, prob, f, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, &elemVecCh[offset*totDim]);CHKERRQ(ierr); 1922 } 1923 for (c = cStart; c < cEnd; ++c) { 1924 PetscBool diff = PETSC_FALSE; 1925 PetscInt d; 1926 1927 for (d = 0; d < totDim; ++d) if (PetscAbsScalar(elemVec[c*totDim+d] - elemVecCh[c*totDim+d]) > 1.0e-7) {diff = PETSC_TRUE;break;} 1928 if (diff) { 1929 ierr = PetscPrintf(PetscObjectComm((PetscObject) dm), "Different cell %d\n", c);CHKERRQ(ierr); 1930 ierr = DMPrintCellVector(c, "Residual", totDim, &elemVec[c*totDim]);CHKERRQ(ierr); 1931 ierr = DMPrintCellVector(c, "Check Residual", totDim, &elemVecCh[c*totDim]);CHKERRQ(ierr); 1932 ++diffCell; 1933 } 1934 if (diffCell > 9) break; 1935 ierr = DMPlexVecSetClosure(dm, section, F, c, &elemVec[c*totDim], ADD_ALL_VALUES);CHKERRQ(ierr); 1936 } 1937 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 1938 ierr = PetscFree(cgeom);CHKERRQ(ierr); 1939 } 1940 else { 1941 cgeom = NULL; 1942 } 1943 ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 1944 ierr = PetscFree3(u,u_t,elemVec);CHKERRQ(ierr); 1945 ierr = PetscFree(elemVecCh);CHKERRQ(ierr); 1946 if (dmAux) {ierr = PetscFree(a);CHKERRQ(ierr);} 1947 PetscFunctionReturn(0); 1948 } 1949 1950 #undef __FUNCT__ 1951 #define __FUNCT__ "DMPlexSNESComputeResidualFEM" 1952 /*@ 1953 DMPlexSNESComputeResidualFEM - Form the local residual F from the local input X using pointwise functions specified by the user 1954 1955 Input Parameters: 1956 + dm - The mesh 1957 . X - Local solution 1958 - user - The user context 1959 1960 Output Parameter: 1961 . F - Local output vector 1962 1963 Level: developer 1964 1965 .seealso: DMPlexComputeJacobianActionFEM() 1966 @*/ 1967 PetscErrorCode DMPlexSNESComputeResidualFEM(DM dm, Vec X, Vec F, void *user) 1968 { 1969 PetscObject check; 1970 PetscInt cStart, cEnd, cEndInterior; 1971 DM plex; 1972 PetscErrorCode ierr; 1973 1974 PetscFunctionBegin; 1975 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 1976 ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 1977 ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 1978 cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 1979 /* The dmCh is used to check two mathematically equivalent discretizations for computational equivalence */ 1980 ierr = PetscObjectQuery((PetscObject) plex, "dmCh", &check);CHKERRQ(ierr); 1981 if (check) {ierr = DMPlexComputeResidualFEM_Check_Internal(plex, X, NULL, 0.0, F, user);CHKERRQ(ierr);} 1982 else {ierr = DMPlexComputeResidual_Internal(plex, cStart, cEnd, PETSC_MIN_REAL, X, NULL, 0.0, F, user);CHKERRQ(ierr);} 1983 ierr = DMDestroy(&plex);CHKERRQ(ierr); 1984 PetscFunctionReturn(0); 1985 } 1986 1987 #undef __FUNCT__ 1988 #define __FUNCT__ "DMPlexSNESComputeBoundaryFEM" 1989 /*@ 1990 DMPlexSNESComputeBoundaryFEM - Form the boundary values for the local input X 1991 1992 Input Parameters: 1993 + dm - The mesh 1994 - user - The user context 1995 1996 Output Parameter: 1997 . X - Local solution 1998 1999 Level: developer 2000 2001 .seealso: DMPlexComputeJacobianActionFEM() 2002 @*/ 2003 PetscErrorCode DMPlexSNESComputeBoundaryFEM(DM dm, Vec X, void *user) 2004 { 2005 DM plex; 2006 PetscErrorCode ierr; 2007 2008 PetscFunctionBegin; 2009 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 2010 ierr = DMPlexInsertBoundaryValues(plex, PETSC_TRUE, X, PETSC_MIN_REAL, NULL, NULL, NULL);CHKERRQ(ierr); 2011 ierr = DMDestroy(&plex);CHKERRQ(ierr); 2012 PetscFunctionReturn(0); 2013 } 2014 2015 #undef __FUNCT__ 2016 #define __FUNCT__ "DMPlexComputeJacobian_Internal" 2017 PetscErrorCode DMPlexComputeJacobian_Internal(DM dm, PetscInt cStart, PetscInt cEnd, PetscReal t, PetscReal X_tShift, Vec X, Vec X_t, Mat Jac, Mat JacP,void *user) 2018 { 2019 DM_Plex *mesh = (DM_Plex *) dm->data; 2020 const char *name = "Jacobian"; 2021 DM dmAux, plex; 2022 DMLabel depth; 2023 Vec A, cellgeom; 2024 PetscDS prob, probAux = NULL; 2025 PetscQuadrature quad; 2026 PetscSection section, globalSection, subSection, sectionAux; 2027 PetscFECellGeom *cgeom = NULL; 2028 PetscScalar *cgeomScal; 2029 PetscScalar *elemMat, *elemMatP, *elemMatD, *u, *u_t, *a = NULL; 2030 PetscInt dim, Nf, f, fieldI, fieldJ, numCells, c; 2031 PetscInt totDim, totDimBd, totDimAux, numBd, bd; 2032 PetscBool isMatIS, isMatISP, isShell, hasJac, hasPrec, hasDyn, hasFV = PETSC_FALSE; 2033 PetscErrorCode ierr; 2034 2035 PetscFunctionBegin; 2036 ierr = PetscLogEventBegin(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2037 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 2038 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 2039 ierr = PetscObjectTypeCompare((PetscObject) JacP, MATIS, &isMatISP);CHKERRQ(ierr); 2040 ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr); 2041 if (isMatISP) { 2042 ierr = DMPlexGetSubdomainSection(dm, &subSection);CHKERRQ(ierr); 2043 } 2044 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 2045 ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 2046 ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr); 2047 ierr = PetscDSHasJacobian(prob, &hasJac);CHKERRQ(ierr); 2048 ierr = PetscDSHasJacobianPreconditioner(prob, &hasPrec);CHKERRQ(ierr); 2049 ierr = PetscDSHasDynamicJacobian(prob, &hasDyn);CHKERRQ(ierr); 2050 hasDyn = hasDyn && (X_tShift != 0.0) ? PETSC_TRUE : PETSC_FALSE; 2051 ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 2052 numCells = cEnd - cStart; 2053 ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 2054 ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 2055 if (dmAux) { 2056 ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr); 2057 ierr = DMGetDefaultSection(plex, §ionAux);CHKERRQ(ierr); 2058 ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 2059 ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 2060 } 2061 ierr = MatZeroEntries(JacP);CHKERRQ(ierr); 2062 ierr = PetscMalloc5(numCells*totDim,&u,X_t ? numCells*totDim : 0,&u_t,hasJac ? numCells*totDim*totDim : 0,&elemMat,hasPrec ? numCells*totDim*totDim : 0, &elemMatP,hasDyn ? numCells*totDim*totDim : 0, &elemMatD);CHKERRQ(ierr); 2063 if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 2064 ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 2065 ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2066 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 2067 DM dmCell; 2068 2069 ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 2070 ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 2071 for (c = 0; c < cEnd - cStart; c++) { 2072 PetscScalar *thisgeom; 2073 2074 ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 2075 cgeom[c] = *((PetscFECellGeom *) thisgeom); 2076 } 2077 } else { 2078 cgeom = (PetscFECellGeom *) cgeomScal; 2079 } 2080 for (c = cStart; c < cEnd; ++c) { 2081 PetscScalar *x = NULL, *x_t = NULL; 2082 PetscInt i; 2083 2084 ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2085 for (i = 0; i < totDim; ++i) u[(c-cStart)*totDim+i] = x[i]; 2086 ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2087 if (X_t) { 2088 ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2089 for (i = 0; i < totDim; ++i) u_t[(c-cStart)*totDim+i] = x_t[i]; 2090 ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2091 } 2092 if (dmAux) { 2093 ierr = DMPlexVecGetClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2094 for (i = 0; i < totDimAux; ++i) a[(c-cStart)*totDimAux+i] = x[i]; 2095 ierr = DMPlexVecRestoreClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2096 } 2097 } 2098 if (hasJac) {ierr = PetscMemzero(elemMat, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2099 if (hasPrec) {ierr = PetscMemzero(elemMatP, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2100 if (hasDyn) {ierr = PetscMemzero(elemMatD, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2101 for (fieldI = 0; fieldI < Nf; ++fieldI) { 2102 PetscClassId id; 2103 PetscFE fe; 2104 PetscInt numQuadPoints, Nb; 2105 /* Conforming batches */ 2106 PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 2107 /* Remainder */ 2108 PetscInt Nr, offset; 2109 2110 ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 2111 ierr = PetscObjectGetClassId((PetscObject) fe, &id);CHKERRQ(ierr); 2112 if (id == PETSCFV_CLASSID) {hasFV = PETSC_TRUE; continue;} 2113 ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr); 2114 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 2115 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 2116 ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 2117 blockSize = Nb*numQuadPoints; 2118 batchSize = numBlocks * blockSize; 2119 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 2120 numChunks = numCells / (numBatches*batchSize); 2121 Ne = numChunks*numBatches*batchSize; 2122 Nr = numCells % (numBatches*batchSize); 2123 offset = numCells - Nr; 2124 for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 2125 if (hasJac) { 2126 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMat);CHKERRQ(ierr); 2127 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, X_tShift, &elemMat[offset*totDim*totDim]);CHKERRQ(ierr); 2128 } 2129 if (hasPrec) { 2130 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_PRE, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatP);CHKERRQ(ierr); 2131 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_PRE, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, X_tShift, &elemMatP[offset*totDim*totDim]);CHKERRQ(ierr); 2132 } 2133 if (hasDyn) { 2134 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatD);CHKERRQ(ierr); 2135 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, X_tShift, &elemMatD[offset*totDim*totDim]);CHKERRQ(ierr); 2136 } 2137 } 2138 } 2139 if (hasDyn) { 2140 for (c = 0; c < (cEnd - cStart)*totDim*totDim; ++c) elemMat[c] += X_tShift*elemMatD[c]; 2141 } 2142 if (hasFV) { 2143 PetscClassId id; 2144 PetscFV fv; 2145 PetscInt offsetI, NcI, NbI = 1, fc, f; 2146 2147 for (fieldI = 0; fieldI < Nf; ++fieldI) { 2148 ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fv);CHKERRQ(ierr); 2149 ierr = PetscDSGetFieldOffset(prob, fieldI, &offsetI);CHKERRQ(ierr); 2150 ierr = PetscObjectGetClassId((PetscObject) fv, &id);CHKERRQ(ierr); 2151 if (id != PETSCFV_CLASSID) continue; 2152 /* Put in the identity */ 2153 ierr = PetscFVGetNumComponents(fv, &NcI);CHKERRQ(ierr); 2154 for (c = cStart; c < cEnd; ++c) { 2155 const PetscInt eOffset = (c-cStart)*totDim*totDim; 2156 for (fc = 0; fc < NcI; ++fc) { 2157 for (f = 0; f < NbI; ++f) { 2158 const PetscInt i = offsetI + f*NcI+fc; 2159 if (hasPrec) { 2160 if (hasJac) {elemMat[eOffset+i*totDim+i] = 1.0;} 2161 elemMatP[eOffset+i*totDim+i] = 1.0; 2162 } else {elemMat[eOffset+i*totDim+i] = 1.0;} 2163 } 2164 } 2165 } 2166 } 2167 /* No allocated space for FV stuff, so ignore the zero entries */ 2168 ierr = MatSetOption(JacP, MAT_IGNORE_ZERO_ENTRIES, PETSC_TRUE);CHKERRQ(ierr); 2169 } 2170 isMatIS = PETSC_FALSE; 2171 if (hasPrec && hasJac) { 2172 ierr = PetscObjectTypeCompare((PetscObject) JacP, MATIS, &isMatIS);CHKERRQ(ierr); 2173 } 2174 if (isMatIS && !subSection) { 2175 ierr = DMPlexGetSubdomainSection(dm, &subSection);CHKERRQ(ierr); 2176 } 2177 for (c = cStart; c < cEnd; ++c) { 2178 if (hasPrec) { 2179 if (hasJac) { 2180 if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 2181 if (!isMatIS) { 2182 ierr = DMPlexMatSetClosure(dm, section, globalSection, Jac, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2183 } else { 2184 Mat lJ; 2185 2186 ierr = MatISGetLocalMat(Jac,&lJ);CHKERRQ(ierr); 2187 ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2188 } 2189 } 2190 if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMatP[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 2191 if (!isMatISP) { 2192 ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, c, &elemMatP[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2193 } else { 2194 Mat lJ; 2195 2196 ierr = MatISGetLocalMat(JacP,&lJ);CHKERRQ(ierr); 2197 ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, c, &elemMatP[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2198 } 2199 } else { 2200 if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 2201 if (!isMatISP) { 2202 ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2203 } else { 2204 Mat lJ; 2205 2206 ierr = MatISGetLocalMat(JacP,&lJ);CHKERRQ(ierr); 2207 ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2208 } 2209 } 2210 } 2211 if (hasFV) {ierr = MatSetOption(JacP, MAT_IGNORE_ZERO_ENTRIES, PETSC_FALSE);CHKERRQ(ierr);} 2212 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 2213 ierr = PetscFree(cgeom);CHKERRQ(ierr); 2214 } else { 2215 cgeom = NULL; 2216 } 2217 ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2218 ierr = PetscFree5(u,u_t,elemMat,elemMatP,elemMatD);CHKERRQ(ierr); 2219 if (dmAux) { 2220 ierr = PetscFree(a);CHKERRQ(ierr); 2221 ierr = DMDestroy(&plex);CHKERRQ(ierr); 2222 } 2223 ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr); 2224 ierr = PetscDSGetNumBoundary(prob, &numBd);CHKERRQ(ierr); 2225 for (bd = 0; bd < numBd; ++bd) { 2226 const char *bdLabel; 2227 DMLabel label; 2228 IS pointIS; 2229 const PetscInt *points; 2230 const PetscInt *values; 2231 PetscInt field, numValues, v, numPoints, p, dep, numFaces; 2232 PetscBool isEssential; 2233 PetscObject obj; 2234 PetscClassId id; 2235 2236 ierr = PetscDSGetBoundary(prob, bd, &isEssential, NULL, &bdLabel, &field, NULL, NULL, NULL, &numValues, &values, NULL);CHKERRQ(ierr); 2237 ierr = DMGetField(dm, field, &obj);CHKERRQ(ierr); 2238 ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 2239 if ((id != PETSCFE_CLASSID) || isEssential) continue; 2240 ierr = DMGetLabel(dm, bdLabel, &label);CHKERRQ(ierr); 2241 for (v = 0; v < numValues; ++v) { 2242 ierr = DMLabelGetStratumSize(label, values[v], &numPoints);CHKERRQ(ierr); 2243 ierr = DMLabelGetStratumIS(label, values[v], &pointIS);CHKERRQ(ierr); 2244 if (!pointIS) continue; /* No points with that id on this process */ 2245 ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 2246 for (p = 0, numFaces = 0; p < numPoints; ++p) { 2247 ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 2248 if (dep == dim-1) ++numFaces; 2249 } 2250 ierr = PetscMalloc3(numFaces*totDimBd,&u,numFaces,&cgeom,numFaces*totDimBd*totDimBd,&elemMat);CHKERRQ(ierr); 2251 if (X_t) {ierr = PetscMalloc1(numFaces*totDimBd,&u_t);CHKERRQ(ierr);} 2252 for (p = 0, f = 0; p < numPoints; ++p) { 2253 const PetscInt point = points[p]; 2254 PetscScalar *x = NULL; 2255 PetscInt i; 2256 2257 ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 2258 if (dep != dim-1) continue; 2259 ierr = DMPlexComputeCellGeometryFEM(dm, point, NULL, cgeom[f].v0, cgeom[f].J, cgeom[f].invJ, &cgeom[f].detJ);CHKERRQ(ierr); 2260 ierr = DMPlexComputeCellGeometryFVM(dm, point, NULL, NULL, cgeom[f].n);CHKERRQ(ierr); 2261 if (cgeom[f].detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for face %d", cgeom[f].detJ, point); 2262 ierr = DMPlexVecGetClosure(dm, section, X, point, NULL, &x);CHKERRQ(ierr); 2263 for (i = 0; i < totDimBd; ++i) u[f*totDimBd+i] = x[i]; 2264 ierr = DMPlexVecRestoreClosure(dm, section, X, point, NULL, &x);CHKERRQ(ierr); 2265 if (X_t) { 2266 ierr = DMPlexVecGetClosure(dm, section, X_t, point, NULL, &x);CHKERRQ(ierr); 2267 for (i = 0; i < totDimBd; ++i) u_t[f*totDimBd+i] = x[i]; 2268 ierr = DMPlexVecRestoreClosure(dm, section, X_t, point, NULL, &x);CHKERRQ(ierr); 2269 } 2270 ++f; 2271 } 2272 ierr = PetscMemzero(elemMat, numFaces*totDimBd*totDimBd * sizeof(PetscScalar));CHKERRQ(ierr); 2273 { 2274 PetscFE fe; 2275 PetscInt numQuadPoints, Nb; 2276 /* Conforming batches */ 2277 PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 2278 /* Remainder */ 2279 PetscInt Nr, offset; 2280 2281 ierr = PetscDSGetBdDiscretization(prob, field, (PetscObject *) &fe);CHKERRQ(ierr); 2282 ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr); 2283 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 2284 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 2285 ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 2286 blockSize = Nb*numQuadPoints; 2287 batchSize = numBlocks * blockSize; 2288 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 2289 numChunks = numFaces / (numBatches*batchSize); 2290 Ne = numChunks*numBatches*batchSize; 2291 Nr = numFaces % (numBatches*batchSize); 2292 offset = numFaces - Nr; 2293 for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 2294 ierr = PetscFEIntegrateBdJacobian(fe, prob, field, fieldJ, Ne, cgeom, u, u_t, NULL, NULL, t, X_tShift, elemMat);CHKERRQ(ierr); 2295 ierr = PetscFEIntegrateBdJacobian(fe, prob, field, fieldJ, Nr, &cgeom[offset], &u[offset*totDimBd], u_t ? &u_t[offset*totDimBd] : NULL, NULL, NULL, t, X_tShift, &elemMat[offset*totDimBd*totDimBd]);CHKERRQ(ierr); 2296 } 2297 } 2298 for (p = 0, f = 0; p < numPoints; ++p) { 2299 const PetscInt point = points[p]; 2300 2301 ierr = DMLabelGetValue(depth, point, &dep);CHKERRQ(ierr); 2302 if (dep != dim-1) continue; 2303 if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(point, "BdJacobian", totDimBd, totDimBd, &elemMat[f*totDimBd*totDimBd]);CHKERRQ(ierr);} 2304 if (!isMatISP) { 2305 ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, point, &elemMat[f*totDimBd*totDimBd], ADD_VALUES);CHKERRQ(ierr); 2306 } else { 2307 Mat lJ; 2308 2309 ierr = MatISGetLocalMat(JacP,&lJ);CHKERRQ(ierr); 2310 ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, point, &elemMat[f*totDimBd*totDimBd], ADD_VALUES);CHKERRQ(ierr); 2311 } 2312 ++f; 2313 } 2314 ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 2315 ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 2316 ierr = PetscFree3(u,cgeom,elemMat);CHKERRQ(ierr); 2317 if (X_t) {ierr = PetscFree(u_t);CHKERRQ(ierr);} 2318 } 2319 } 2320 if (hasJac && hasPrec) { 2321 ierr = MatAssemblyBegin(Jac, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 2322 ierr = MatAssemblyEnd(Jac, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 2323 } 2324 ierr = MatAssemblyBegin(JacP, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 2325 ierr = MatAssemblyEnd(JacP, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 2326 if (mesh->printFEM) { 2327 ierr = PetscPrintf(PETSC_COMM_WORLD, "%s:\n", name);CHKERRQ(ierr); 2328 ierr = MatChop(JacP, 1.0e-10);CHKERRQ(ierr); 2329 ierr = MatView(JacP, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 2330 } 2331 ierr = PetscLogEventEnd(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2332 ierr = PetscObjectTypeCompare((PetscObject) Jac, MATSHELL, &isShell);CHKERRQ(ierr); 2333 if (isShell) { 2334 JacActionCtx *jctx; 2335 2336 ierr = MatShellGetContext(Jac, &jctx);CHKERRQ(ierr); 2337 ierr = VecCopy(X, jctx->u);CHKERRQ(ierr); 2338 } 2339 PetscFunctionReturn(0); 2340 } 2341 2342 2343 #undef __FUNCT__ 2344 #define __FUNCT__ "DMPlexComputeJacobianAction_Internal" 2345 PetscErrorCode DMPlexComputeJacobianAction_Internal(DM dm, PetscInt cStart, PetscInt cEnd, PetscReal t, PetscReal X_tShift, Vec X, Vec X_t, Vec Y, Vec Z, void *user) 2346 { 2347 DM_Plex *mesh = (DM_Plex *) dm->data; 2348 const char *name = "Jacobian"; 2349 DM dmAux, plex; 2350 Vec A, cellgeom; 2351 PetscDS prob, probAux = NULL; 2352 PetscQuadrature quad; 2353 PetscSection section, globalSection, sectionAux; 2354 PetscFECellGeom *cgeom = NULL; 2355 PetscScalar *cgeomScal; 2356 PetscScalar *elemMat, *elemMatD, *u, *u_t, *a = NULL, *y, *z; 2357 PetscInt dim, Nf, fieldI, fieldJ, numCells, c; 2358 PetscInt totDim, totDimBd, totDimAux = 0; 2359 PetscBool hasDyn; 2360 PetscErrorCode ierr; 2361 2362 PetscFunctionBegin; 2363 ierr = PetscLogEventBegin(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2364 ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 2365 ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 2366 ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr); 2367 ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 2368 ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 2369 ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr); 2370 ierr = PetscDSHasDynamicJacobian(prob, &hasDyn);CHKERRQ(ierr); 2371 hasDyn = hasDyn && (X_tShift != 0.0) ? PETSC_TRUE : PETSC_FALSE; 2372 ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 2373 ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 2374 numCells = cEnd - cStart; 2375 ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 2376 ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 2377 if (dmAux) { 2378 ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr); 2379 ierr = DMGetDefaultSection(plex, §ionAux);CHKERRQ(ierr); 2380 ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 2381 ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 2382 } 2383 ierr = VecSet(Z, 0.0);CHKERRQ(ierr); 2384 ierr = PetscMalloc6(numCells*totDim,&u,X_t ? numCells*totDim : 0,&u_t,numCells*totDim*totDim,&elemMat,hasDyn ? numCells*totDim*totDim : 0, &elemMatD,numCells*totDim,&y,totDim,&z);CHKERRQ(ierr); 2385 if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 2386 ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 2387 ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2388 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 2389 DM dmCell; 2390 2391 ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 2392 ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 2393 for (c = 0; c < cEnd - cStart; c++) { 2394 PetscScalar *thisgeom; 2395 2396 ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 2397 cgeom[c] = *((PetscFECellGeom *) thisgeom); 2398 } 2399 } else { 2400 cgeom = (PetscFECellGeom *) cgeomScal; 2401 } 2402 for (c = cStart; c < cEnd; ++c) { 2403 PetscScalar *x = NULL, *x_t = NULL; 2404 PetscInt i; 2405 2406 ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2407 for (i = 0; i < totDim; ++i) u[(c-cStart)*totDim+i] = x[i]; 2408 ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2409 if (X_t) { 2410 ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2411 for (i = 0; i < totDim; ++i) u_t[(c-cStart)*totDim+i] = x_t[i]; 2412 ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2413 } 2414 if (dmAux) { 2415 ierr = DMPlexVecGetClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2416 for (i = 0; i < totDimAux; ++i) a[(c-cStart)*totDimAux+i] = x[i]; 2417 ierr = DMPlexVecRestoreClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2418 } 2419 ierr = DMPlexVecGetClosure(dm, section, Y, c, NULL, &x);CHKERRQ(ierr); 2420 for (i = 0; i < totDim; ++i) y[(c-cStart)*totDim+i] = x[i]; 2421 ierr = DMPlexVecRestoreClosure(dm, section, Y, c, NULL, &x);CHKERRQ(ierr); 2422 } 2423 ierr = PetscMemzero(elemMat, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 2424 if (hasDyn) {ierr = PetscMemzero(elemMatD, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2425 for (fieldI = 0; fieldI < Nf; ++fieldI) { 2426 PetscFE fe; 2427 PetscInt numQuadPoints, Nb; 2428 /* Conforming batches */ 2429 PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 2430 /* Remainder */ 2431 PetscInt Nr, offset; 2432 2433 ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 2434 ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr); 2435 ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 2436 ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 2437 ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 2438 blockSize = Nb*numQuadPoints; 2439 batchSize = numBlocks * blockSize; 2440 ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 2441 numChunks = numCells / (numBatches*batchSize); 2442 Ne = numChunks*numBatches*batchSize; 2443 Nr = numCells % (numBatches*batchSize); 2444 offset = numCells - Nr; 2445 for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 2446 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMat);CHKERRQ(ierr); 2447 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, X_tShift, &elemMat[offset*totDim*totDim]);CHKERRQ(ierr); 2448 if (hasDyn) { 2449 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatD);CHKERRQ(ierr); 2450 ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], t, X_tShift, &elemMatD[offset*totDim*totDim]);CHKERRQ(ierr); 2451 } 2452 } 2453 } 2454 if (hasDyn) { 2455 for (c = 0; c < (cEnd - cStart)*totDim*totDim; ++c) elemMat[c] += X_tShift*elemMatD[c]; 2456 } 2457 for (c = cStart; c < cEnd; ++c) { 2458 const PetscBLASInt M = totDim, one = 1; 2459 const PetscScalar a = 1.0, b = 0.0; 2460 2461 PetscStackCallBLAS("BLASgemv", BLASgemv_("N", &M, &M, &a, &elemMat[(c-cStart)*totDim*totDim], &M, &y[(c-cStart)*totDim], &one, &b, z, &one)); 2462 if (mesh->printFEM > 1) { 2463 ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr); 2464 ierr = DMPrintCellVector(c, "Y", totDim, &y[(c-cStart)*totDim]);CHKERRQ(ierr); 2465 ierr = DMPrintCellVector(c, "Z", totDim, z);CHKERRQ(ierr); 2466 } 2467 ierr = DMPlexVecSetClosure(dm, section, Z, c, z, ADD_VALUES);CHKERRQ(ierr); 2468 } 2469 if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) {ierr = PetscFree(cgeom);CHKERRQ(ierr);} 2470 else {cgeom = NULL;} 2471 ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2472 ierr = PetscFree6(u,u_t,elemMat,elemMatD,y,z);CHKERRQ(ierr); 2473 if (dmAux) { 2474 ierr = PetscFree(a);CHKERRQ(ierr); 2475 ierr = DMDestroy(&plex);CHKERRQ(ierr); 2476 } 2477 if (mesh->printFEM) { 2478 ierr = PetscPrintf(PETSC_COMM_WORLD, "Z:\n");CHKERRQ(ierr); 2479 ierr = VecView(Z, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 2480 } 2481 ierr = PetscLogEventEnd(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2482 PetscFunctionReturn(0); 2483 } 2484 2485 #undef __FUNCT__ 2486 #define __FUNCT__ "DMPlexSNESComputeJacobianFEM" 2487 /*@ 2488 DMPlexSNESComputeJacobianFEM - Form the local portion of the Jacobian matrix J at the local solution X using pointwise functions specified by the user. 2489 2490 Input Parameters: 2491 + dm - The mesh 2492 . X - Local input vector 2493 - user - The user context 2494 2495 Output Parameter: 2496 . Jac - Jacobian matrix 2497 2498 Note: 2499 We form the residual one batch of elements at a time. This allows us to offload work onto an accelerator, 2500 like a GPU, or vectorize on a multicore machine. 2501 2502 Level: developer 2503 2504 .seealso: FormFunctionLocal() 2505 @*/ 2506 PetscErrorCode DMPlexSNESComputeJacobianFEM(DM dm, Vec X, Mat Jac, Mat JacP,void *user) 2507 { 2508 PetscInt cStart, cEnd, cEndInterior; 2509 DM plex; 2510 PetscErrorCode ierr; 2511 2512 PetscFunctionBegin; 2513 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 2514 ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 2515 ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 2516 cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 2517 ierr = DMPlexComputeJacobian_Internal(plex, cStart, cEnd, 0.0, 0.0, X, NULL, Jac, JacP, user);CHKERRQ(ierr); 2518 ierr = DMDestroy(&plex);CHKERRQ(ierr); 2519 PetscFunctionReturn(0); 2520 } 2521 2522 #undef __FUNCT__ 2523 #define __FUNCT__ "DMPlexSNESComputeJacobianActionFEM" 2524 /*@ 2525 DMPlexSNESComputeJacobianActionFEM - Form the local portion of the Jacobian action Z = J(X) Y at the local solution X using pointwise functions specified by the user. 2526 2527 Input Parameters: 2528 + dm - The mesh 2529 . X - Local solution vector 2530 . Y - Local input vector 2531 - user - The user context 2532 2533 Output Parameter: 2534 . Z - Local output vector 2535 2536 Note: 2537 We form the residual one batch of elements at a time. This allows us to offload work onto an accelerator, 2538 like a GPU, or vectorize on a multicore machine. 2539 2540 Level: developer 2541 2542 .seealso: FormFunctionLocal() 2543 @*/ 2544 PetscErrorCode DMPlexSNESComputeJacobianActionFEM(DM dm, Vec X, Vec Y, Vec Z, void *user) 2545 { 2546 PetscInt cStart, cEnd, cEndInterior; 2547 DM plex; 2548 PetscErrorCode ierr; 2549 2550 PetscFunctionBegin; 2551 ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 2552 ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 2553 ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 2554 cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 2555 ierr = DMPlexComputeJacobianAction_Internal(plex, cStart, cEnd, 0.0, 0.0, X, NULL, Y, Z, user);CHKERRQ(ierr); 2556 ierr = DMDestroy(&plex);CHKERRQ(ierr); 2557 PetscFunctionReturn(0); 2558 } 2559 2560 #undef __FUNCT__ 2561 #define __FUNCT__ "DMPlexSetSNESLocalFEM" 2562 /*@ 2563 DMPlexSetSNESLocalFEM - Use DMPlex's internal FEM routines to compute SNES boundary values, residual, and Jacobian. 2564 2565 Input Parameters: 2566 + dm - The DM object 2567 . boundaryctx - the user context that will be passed to pointwise evaluation of boundary values (see PetscDSAddBoundary()) 2568 . residualctx - the user context that will be passed to pointwise evaluation of finite element residual computations (see PetscDSSetResidual()) 2569 - jacobianctx - the user context that will be passed to pointwise evaluation of finite element Jacobian construction (see PetscDSSetJacobian()) 2570 2571 Level: developer 2572 @*/ 2573 PetscErrorCode DMPlexSetSNESLocalFEM(DM dm, void *boundaryctx, void *residualctx, void *jacobianctx) 2574 { 2575 PetscErrorCode ierr; 2576 2577 PetscFunctionBegin; 2578 ierr = DMSNESSetBoundaryLocal(dm,DMPlexSNESComputeBoundaryFEM,boundaryctx);CHKERRQ(ierr); 2579 ierr = DMSNESSetFunctionLocal(dm,DMPlexSNESComputeResidualFEM,residualctx);CHKERRQ(ierr); 2580 ierr = DMSNESSetJacobianLocal(dm,DMPlexSNESComputeJacobianFEM,jacobianctx);CHKERRQ(ierr); 2581 PetscFunctionReturn(0); 2582 } 2583 2584 #undef __FUNCT__ 2585 #define __FUNCT__ "DMSNESCheckFromOptions_Internal" 2586 PetscErrorCode DMSNESCheckFromOptions_Internal(SNES snes, DM dm, Vec u, Vec sol, PetscErrorCode (**exactFuncs)(PetscInt, PetscReal, const PetscReal x[], PetscInt, PetscScalar *u, void *ctx), void **ctxs) 2587 { 2588 Mat J, M; 2589 Vec r, b; 2590 MatNullSpace nullSpace; 2591 PetscReal *error, res = 0.0; 2592 PetscInt numFields; 2593 PetscErrorCode ierr; 2594 2595 PetscFunctionBegin; 2596 ierr = VecDuplicate(u, &r);CHKERRQ(ierr); 2597 ierr = DMCreateMatrix(dm, &J);CHKERRQ(ierr); 2598 M = J; 2599 /* TODO Null space for J */ 2600 /* Check discretization error */ 2601 ierr = DMGetNumFields(dm, &numFields);CHKERRQ(ierr); 2602 ierr = PetscMalloc1(PetscMax(1, numFields), &error);CHKERRQ(ierr); 2603 if (numFields > 1) { 2604 PetscInt f; 2605 2606 ierr = DMComputeL2FieldDiff(dm, 0.0, exactFuncs, ctxs, u, error);CHKERRQ(ierr); 2607 ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: [");CHKERRQ(ierr); 2608 for (f = 0; f < numFields; ++f) { 2609 if (f) {ierr = PetscPrintf(PETSC_COMM_WORLD, ", ");CHKERRQ(ierr);} 2610 if (error[f] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "%g", error[f]);CHKERRQ(ierr);} 2611 else {ierr = PetscPrintf(PETSC_COMM_WORLD, "< 1.0e-11");CHKERRQ(ierr);} 2612 } 2613 ierr = PetscPrintf(PETSC_COMM_WORLD, "]\n");CHKERRQ(ierr); 2614 } else { 2615 ierr = DMComputeL2Diff(dm, 0.0, exactFuncs, ctxs, u, &error[0]);CHKERRQ(ierr); 2616 if (error[0] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: %g\n", error[0]);CHKERRQ(ierr);} 2617 else {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: < 1.0e-11\n");CHKERRQ(ierr);} 2618 } 2619 ierr = PetscFree(error);CHKERRQ(ierr); 2620 /* Check residual */ 2621 ierr = SNESComputeFunction(snes, u, r);CHKERRQ(ierr); 2622 ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 2623 ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Residual: %g\n", res);CHKERRQ(ierr); 2624 ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 2625 ierr = PetscObjectSetName((PetscObject) r, "Initial Residual");CHKERRQ(ierr); 2626 ierr = PetscObjectSetOptionsPrefix((PetscObject)r,"res_");CHKERRQ(ierr); 2627 ierr = VecViewFromOptions(r, NULL, "-vec_view");CHKERRQ(ierr); 2628 /* Check Jacobian */ 2629 ierr = SNESComputeJacobian(snes, u, M, M);CHKERRQ(ierr); 2630 ierr = MatGetNullSpace(J, &nullSpace);CHKERRQ(ierr); 2631 if (nullSpace) { 2632 PetscBool isNull; 2633 ierr = MatNullSpaceTest(nullSpace, J, &isNull);CHKERRQ(ierr); 2634 if (!isNull) SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_PLIB, "The null space calculated for the system operator is invalid."); 2635 } 2636 ierr = VecDuplicate(u, &b);CHKERRQ(ierr); 2637 ierr = VecSet(r, 0.0);CHKERRQ(ierr); 2638 ierr = SNESComputeFunction(snes, r, b);CHKERRQ(ierr); 2639 ierr = MatMult(M, u, r);CHKERRQ(ierr); 2640 ierr = VecAXPY(r, 1.0, b);CHKERRQ(ierr); 2641 ierr = VecDestroy(&b);CHKERRQ(ierr); 2642 ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 2643 ierr = PetscPrintf(PETSC_COMM_WORLD, "Linear L_2 Residual: %g\n", res);CHKERRQ(ierr); 2644 ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 2645 ierr = PetscObjectSetName((PetscObject) r, "Au - b = Au + F(0)");CHKERRQ(ierr); 2646 ierr = PetscObjectSetOptionsPrefix((PetscObject)r,"linear_res_");CHKERRQ(ierr); 2647 ierr = VecViewFromOptions(r, NULL, "-vec_view");CHKERRQ(ierr); 2648 ierr = VecDestroy(&r);CHKERRQ(ierr); 2649 ierr = MatNullSpaceDestroy(&nullSpace);CHKERRQ(ierr); 2650 ierr = MatDestroy(&J);CHKERRQ(ierr); 2651 PetscFunctionReturn(0); 2652 } 2653 2654 #undef __FUNCT__ 2655 #define __FUNCT__ "DMSNESCheckFromOptions" 2656 PetscErrorCode DMSNESCheckFromOptions(SNES snes, Vec u, PetscErrorCode (**exactFuncs)(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx), void **ctxs) 2657 { 2658 DM dm; 2659 Vec sol; 2660 PetscBool check; 2661 PetscErrorCode ierr; 2662 2663 PetscFunctionBegin; 2664 ierr = PetscOptionsHasName(((PetscObject)snes)->options,((PetscObject)snes)->prefix, "-dmsnes_check", &check);CHKERRQ(ierr); 2665 if (!check) PetscFunctionReturn(0); 2666 ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr); 2667 ierr = VecDuplicate(u, &sol);CHKERRQ(ierr); 2668 ierr = SNESSetSolution(snes, sol);CHKERRQ(ierr); 2669 ierr = DMSNESCheckFromOptions_Internal(snes, dm, u, sol, exactFuncs, ctxs);CHKERRQ(ierr); 2670 ierr = VecDestroy(&sol);CHKERRQ(ierr); 2671 PetscFunctionReturn(0); 2672 } 2673