1af0996ceSBarry Smith #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 2af0996ceSBarry Smith #include <petsc/private/snesimpl.h> /*I "petscsnes.h" I*/ 324cdb843SMatthew G. Knepley #include <petscds.h> 4a925c78cSMatthew G. Knepley #include <petscblaslapack.h> 5af0996ceSBarry Smith #include <petsc/private/petscimpl.h> 6af0996ceSBarry Smith #include <petsc/private/petscfeimpl.h> 7552f7358SJed Brown 824cdb843SMatthew G. Knepley /************************** Interpolation *******************************/ 924cdb843SMatthew G. Knepley 106da023fcSToby Isaac static PetscErrorCode DMSNESConvertPlex(DM dm, DM *plex, PetscBool copy) 116da023fcSToby Isaac { 126da023fcSToby Isaac PetscBool isPlex; 136da023fcSToby Isaac PetscErrorCode ierr; 146da023fcSToby Isaac 156da023fcSToby Isaac PetscFunctionBegin; 166da023fcSToby Isaac ierr = PetscObjectTypeCompare((PetscObject) dm, DMPLEX, &isPlex);CHKERRQ(ierr); 176da023fcSToby Isaac if (isPlex) { 186da023fcSToby Isaac *plex = dm; 196da023fcSToby Isaac ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr); 20f7148743SMatthew G. Knepley } else { 21f7148743SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "dm_plex", (PetscObject *) plex);CHKERRQ(ierr); 22f7148743SMatthew G. Knepley if (!*plex) { 236da023fcSToby Isaac ierr = DMConvert(dm,DMPLEX,plex);CHKERRQ(ierr); 24f7148743SMatthew G. Knepley ierr = PetscObjectCompose((PetscObject) dm, "dm_plex", (PetscObject) *plex);CHKERRQ(ierr); 256da023fcSToby Isaac if (copy) { 266da023fcSToby Isaac PetscInt i; 276da023fcSToby Isaac PetscObject obj; 286da023fcSToby Isaac const char *comps[3] = {"A","dmAux","dmCh"}; 296da023fcSToby Isaac 306da023fcSToby Isaac ierr = DMCopyDMSNES(dm, *plex);CHKERRQ(ierr); 316da023fcSToby Isaac for (i = 0; i < 3; i++) { 326da023fcSToby Isaac ierr = PetscObjectQuery((PetscObject) dm, comps[i], &obj);CHKERRQ(ierr); 336da023fcSToby Isaac ierr = PetscObjectCompose((PetscObject) *plex, comps[i], obj);CHKERRQ(ierr); 346da023fcSToby Isaac } 356da023fcSToby Isaac } 36f7148743SMatthew G. Knepley } else { 37f7148743SMatthew G. Knepley ierr = PetscObjectReference((PetscObject) *plex);CHKERRQ(ierr); 38f7148743SMatthew G. Knepley } 396da023fcSToby Isaac } 406da023fcSToby Isaac PetscFunctionReturn(0); 416da023fcSToby Isaac } 426da023fcSToby Isaac 430adebc6cSBarry Smith PetscErrorCode DMInterpolationCreate(MPI_Comm comm, DMInterpolationInfo *ctx) 440adebc6cSBarry Smith { 45552f7358SJed Brown PetscErrorCode ierr; 46552f7358SJed Brown 47552f7358SJed Brown PetscFunctionBegin; 48552f7358SJed Brown PetscValidPointer(ctx, 2); 4995dccacaSBarry Smith ierr = PetscNew(ctx);CHKERRQ(ierr); 501aa26658SKarl Rupp 51552f7358SJed Brown (*ctx)->comm = comm; 52552f7358SJed Brown (*ctx)->dim = -1; 53552f7358SJed Brown (*ctx)->nInput = 0; 540298fd71SBarry Smith (*ctx)->points = NULL; 550298fd71SBarry Smith (*ctx)->cells = NULL; 56552f7358SJed Brown (*ctx)->n = -1; 570298fd71SBarry Smith (*ctx)->coords = NULL; 58552f7358SJed Brown PetscFunctionReturn(0); 59552f7358SJed Brown } 60552f7358SJed Brown 610adebc6cSBarry Smith PetscErrorCode DMInterpolationSetDim(DMInterpolationInfo ctx, PetscInt dim) 620adebc6cSBarry Smith { 63552f7358SJed Brown PetscFunctionBegin; 640adebc6cSBarry Smith if ((dim < 1) || (dim > 3)) SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid dimension for points: %d", dim); 65552f7358SJed Brown ctx->dim = dim; 66552f7358SJed Brown PetscFunctionReturn(0); 67552f7358SJed Brown } 68552f7358SJed Brown 690adebc6cSBarry Smith PetscErrorCode DMInterpolationGetDim(DMInterpolationInfo ctx, PetscInt *dim) 700adebc6cSBarry Smith { 71552f7358SJed Brown PetscFunctionBegin; 72552f7358SJed Brown PetscValidIntPointer(dim, 2); 73552f7358SJed Brown *dim = ctx->dim; 74552f7358SJed Brown PetscFunctionReturn(0); 75552f7358SJed Brown } 76552f7358SJed Brown 770adebc6cSBarry Smith PetscErrorCode DMInterpolationSetDof(DMInterpolationInfo ctx, PetscInt dof) 780adebc6cSBarry Smith { 79552f7358SJed Brown PetscFunctionBegin; 800adebc6cSBarry Smith if (dof < 1) SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid number of components: %d", dof); 81552f7358SJed Brown ctx->dof = dof; 82552f7358SJed Brown PetscFunctionReturn(0); 83552f7358SJed Brown } 84552f7358SJed Brown 850adebc6cSBarry Smith PetscErrorCode DMInterpolationGetDof(DMInterpolationInfo ctx, PetscInt *dof) 860adebc6cSBarry Smith { 87552f7358SJed Brown PetscFunctionBegin; 88552f7358SJed Brown PetscValidIntPointer(dof, 2); 89552f7358SJed Brown *dof = ctx->dof; 90552f7358SJed Brown PetscFunctionReturn(0); 91552f7358SJed Brown } 92552f7358SJed Brown 930adebc6cSBarry Smith PetscErrorCode DMInterpolationAddPoints(DMInterpolationInfo ctx, PetscInt n, PetscReal points[]) 940adebc6cSBarry Smith { 95552f7358SJed Brown PetscErrorCode ierr; 96552f7358SJed Brown 97552f7358SJed Brown PetscFunctionBegin; 980adebc6cSBarry Smith if (ctx->dim < 0) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The spatial dimension has not been set"); 990adebc6cSBarry Smith if (ctx->points) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "Cannot add points multiple times yet"); 100552f7358SJed Brown ctx->nInput = n; 1011aa26658SKarl Rupp 102785e854fSJed Brown ierr = PetscMalloc1(n*ctx->dim, &ctx->points);CHKERRQ(ierr); 103552f7358SJed Brown ierr = PetscMemcpy(ctx->points, points, n*ctx->dim * sizeof(PetscReal));CHKERRQ(ierr); 104552f7358SJed Brown PetscFunctionReturn(0); 105552f7358SJed Brown } 106552f7358SJed Brown 1070adebc6cSBarry Smith PetscErrorCode DMInterpolationSetUp(DMInterpolationInfo ctx, DM dm, PetscBool redundantPoints) 1080adebc6cSBarry Smith { 109552f7358SJed Brown MPI_Comm comm = ctx->comm; 110552f7358SJed Brown PetscScalar *a; 111552f7358SJed Brown PetscInt p, q, i; 112552f7358SJed Brown PetscMPIInt rank, size; 113552f7358SJed Brown PetscErrorCode ierr; 114552f7358SJed Brown Vec pointVec; 1153a93e3b7SToby Isaac PetscSF cellSF; 116552f7358SJed Brown PetscLayout layout; 117552f7358SJed Brown PetscReal *globalPoints; 118cb313848SJed Brown PetscScalar *globalPointsScalar; 119552f7358SJed Brown const PetscInt *ranges; 120552f7358SJed Brown PetscMPIInt *counts, *displs; 1213a93e3b7SToby Isaac const PetscSFNode *foundCells; 1223a93e3b7SToby Isaac const PetscInt *foundPoints; 123552f7358SJed Brown PetscMPIInt *foundProcs, *globalProcs; 1243a93e3b7SToby Isaac PetscInt n, N, numFound; 125552f7358SJed Brown 12619436ca2SJed Brown PetscFunctionBegin; 12719436ca2SJed Brown PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 12819436ca2SJed Brown ierr = MPI_Comm_size(comm, &size);CHKERRQ(ierr); 12919436ca2SJed Brown ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 1300adebc6cSBarry Smith if (ctx->dim < 0) SETERRQ(comm, PETSC_ERR_ARG_WRONGSTATE, "The spatial dimension has not been set"); 13119436ca2SJed Brown /* Locate points */ 13219436ca2SJed Brown n = ctx->nInput; 133552f7358SJed Brown if (!redundantPoints) { 134552f7358SJed Brown ierr = PetscLayoutCreate(comm, &layout);CHKERRQ(ierr); 135552f7358SJed Brown ierr = PetscLayoutSetBlockSize(layout, 1);CHKERRQ(ierr); 136552f7358SJed Brown ierr = PetscLayoutSetLocalSize(layout, n);CHKERRQ(ierr); 137552f7358SJed Brown ierr = PetscLayoutSetUp(layout);CHKERRQ(ierr); 138552f7358SJed Brown ierr = PetscLayoutGetSize(layout, &N);CHKERRQ(ierr); 139552f7358SJed Brown /* Communicate all points to all processes */ 140dcca6d9dSJed Brown ierr = PetscMalloc3(N*ctx->dim,&globalPoints,size,&counts,size,&displs);CHKERRQ(ierr); 141552f7358SJed Brown ierr = PetscLayoutGetRanges(layout, &ranges);CHKERRQ(ierr); 142552f7358SJed Brown for (p = 0; p < size; ++p) { 143552f7358SJed Brown counts[p] = (ranges[p+1] - ranges[p])*ctx->dim; 144552f7358SJed Brown displs[p] = ranges[p]*ctx->dim; 145552f7358SJed Brown } 146552f7358SJed Brown ierr = MPI_Allgatherv(ctx->points, n*ctx->dim, MPIU_REAL, globalPoints, counts, displs, MPIU_REAL, comm);CHKERRQ(ierr); 147552f7358SJed Brown } else { 148552f7358SJed Brown N = n; 149552f7358SJed Brown globalPoints = ctx->points; 15038ea73c8SJed Brown counts = displs = NULL; 15138ea73c8SJed Brown layout = NULL; 152552f7358SJed Brown } 153552f7358SJed Brown #if 0 154dcca6d9dSJed Brown ierr = PetscMalloc3(N,&foundCells,N,&foundProcs,N,&globalProcs);CHKERRQ(ierr); 15519436ca2SJed Brown /* foundCells[p] = m->locatePoint(&globalPoints[p*ctx->dim]); */ 156552f7358SJed Brown #else 157cb313848SJed Brown #if defined(PETSC_USE_COMPLEX) 15846b3086cSToby Isaac ierr = PetscMalloc1(N*ctx->dim,&globalPointsScalar);CHKERRQ(ierr); 15946b3086cSToby Isaac for (i=0; i<N*ctx->dim; i++) globalPointsScalar[i] = globalPoints[i]; 160cb313848SJed Brown #else 161cb313848SJed Brown globalPointsScalar = globalPoints; 162cb313848SJed Brown #endif 16304706141SMatthew G Knepley ierr = VecCreateSeqWithArray(PETSC_COMM_SELF, ctx->dim, N*ctx->dim, globalPointsScalar, &pointVec);CHKERRQ(ierr); 164dcca6d9dSJed Brown ierr = PetscMalloc2(N,&foundProcs,N,&globalProcs);CHKERRQ(ierr); 1657b5f2079SMatthew G. Knepley for (p = 0; p < N; ++p) {foundProcs[p] = size;} 1663a93e3b7SToby Isaac cellSF = NULL; 1672d1fa6caSMatthew G. Knepley ierr = DMLocatePoints(dm, pointVec, DM_POINTLOCATION_REMOVE, &cellSF);CHKERRQ(ierr); 1683a93e3b7SToby Isaac ierr = PetscSFGetGraph(cellSF,NULL,&numFound,&foundPoints,&foundCells);CHKERRQ(ierr); 169552f7358SJed Brown #endif 1703a93e3b7SToby Isaac for (p = 0; p < numFound; ++p) { 1713a93e3b7SToby Isaac if (foundCells[p].index >= 0) foundProcs[foundPoints ? foundPoints[p] : p] = rank; 172552f7358SJed Brown } 173552f7358SJed Brown /* Let the lowest rank process own each point */ 174b2566f29SBarry Smith ierr = MPIU_Allreduce(foundProcs, globalProcs, N, MPI_INT, MPI_MIN, comm);CHKERRQ(ierr); 175552f7358SJed Brown ctx->n = 0; 176552f7358SJed Brown for (p = 0; p < N; ++p) { 177e5b268a4SToby Isaac if (globalProcs[p] == size) SETERRQ4(comm, PETSC_ERR_PLIB, "Point %d: %g %g %g not located in mesh", p, (double)globalPoints[p*ctx->dim+0], (double)(ctx->dim > 1 ? globalPoints[p*ctx->dim+1] : 0.0), (double)(ctx->dim > 2 ? globalPoints[p*ctx->dim+2] : 0.0)); 1781aa26658SKarl Rupp else if (globalProcs[p] == rank) ctx->n++; 179552f7358SJed Brown } 180552f7358SJed Brown /* Create coordinates vector and array of owned cells */ 181785e854fSJed Brown ierr = PetscMalloc1(ctx->n, &ctx->cells);CHKERRQ(ierr); 182552f7358SJed Brown ierr = VecCreate(comm, &ctx->coords);CHKERRQ(ierr); 183552f7358SJed Brown ierr = VecSetSizes(ctx->coords, ctx->n*ctx->dim, PETSC_DECIDE);CHKERRQ(ierr); 184552f7358SJed Brown ierr = VecSetBlockSize(ctx->coords, ctx->dim);CHKERRQ(ierr); 185c0dedaeaSBarry Smith ierr = VecSetType(ctx->coords,VECSTANDARD);CHKERRQ(ierr); 186552f7358SJed Brown ierr = VecGetArray(ctx->coords, &a);CHKERRQ(ierr); 187552f7358SJed Brown for (p = 0, q = 0, i = 0; p < N; ++p) { 188552f7358SJed Brown if (globalProcs[p] == rank) { 189552f7358SJed Brown PetscInt d; 190552f7358SJed Brown 1911aa26658SKarl Rupp for (d = 0; d < ctx->dim; ++d, ++i) a[i] = globalPoints[p*ctx->dim+d]; 192f317b747SMatthew G. Knepley ctx->cells[q] = foundCells[q].index; 193f317b747SMatthew G. Knepley ++q; 194552f7358SJed Brown } 195552f7358SJed Brown } 196552f7358SJed Brown ierr = VecRestoreArray(ctx->coords, &a);CHKERRQ(ierr); 197552f7358SJed Brown #if 0 198552f7358SJed Brown ierr = PetscFree3(foundCells,foundProcs,globalProcs);CHKERRQ(ierr); 199552f7358SJed Brown #else 200552f7358SJed Brown ierr = PetscFree2(foundProcs,globalProcs);CHKERRQ(ierr); 2013a93e3b7SToby Isaac ierr = PetscSFDestroy(&cellSF);CHKERRQ(ierr); 202552f7358SJed Brown ierr = VecDestroy(&pointVec);CHKERRQ(ierr); 203552f7358SJed Brown #endif 204cb313848SJed Brown if ((void*)globalPointsScalar != (void*)globalPoints) {ierr = PetscFree(globalPointsScalar);CHKERRQ(ierr);} 205d343d804SMatthew G. Knepley if (!redundantPoints) {ierr = PetscFree3(globalPoints,counts,displs);CHKERRQ(ierr);} 206552f7358SJed Brown ierr = PetscLayoutDestroy(&layout);CHKERRQ(ierr); 207552f7358SJed Brown PetscFunctionReturn(0); 208552f7358SJed Brown } 209552f7358SJed Brown 2100adebc6cSBarry Smith PetscErrorCode DMInterpolationGetCoordinates(DMInterpolationInfo ctx, Vec *coordinates) 2110adebc6cSBarry Smith { 212552f7358SJed Brown PetscFunctionBegin; 213552f7358SJed Brown PetscValidPointer(coordinates, 2); 2140adebc6cSBarry Smith if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 215552f7358SJed Brown *coordinates = ctx->coords; 216552f7358SJed Brown PetscFunctionReturn(0); 217552f7358SJed Brown } 218552f7358SJed Brown 2190adebc6cSBarry Smith PetscErrorCode DMInterpolationGetVector(DMInterpolationInfo ctx, Vec *v) 2200adebc6cSBarry Smith { 221552f7358SJed Brown PetscErrorCode ierr; 222552f7358SJed Brown 223552f7358SJed Brown PetscFunctionBegin; 224552f7358SJed Brown PetscValidPointer(v, 2); 2250adebc6cSBarry Smith if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 226552f7358SJed Brown ierr = VecCreate(ctx->comm, v);CHKERRQ(ierr); 227552f7358SJed Brown ierr = VecSetSizes(*v, ctx->n*ctx->dof, PETSC_DECIDE);CHKERRQ(ierr); 228552f7358SJed Brown ierr = VecSetBlockSize(*v, ctx->dof);CHKERRQ(ierr); 229c0dedaeaSBarry Smith ierr = VecSetType(*v,VECSTANDARD);CHKERRQ(ierr); 230552f7358SJed Brown PetscFunctionReturn(0); 231552f7358SJed Brown } 232552f7358SJed Brown 2330adebc6cSBarry Smith PetscErrorCode DMInterpolationRestoreVector(DMInterpolationInfo ctx, Vec *v) 2340adebc6cSBarry Smith { 235552f7358SJed Brown PetscErrorCode ierr; 236552f7358SJed Brown 237552f7358SJed Brown PetscFunctionBegin; 238552f7358SJed Brown PetscValidPointer(v, 2); 2390adebc6cSBarry Smith if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 240552f7358SJed Brown ierr = VecDestroy(v);CHKERRQ(ierr); 241552f7358SJed Brown PetscFunctionReturn(0); 242552f7358SJed Brown } 243552f7358SJed Brown 2447a1931ceSMatthew G. Knepley PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Triangle_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 245a6dfd86eSKarl Rupp { 246552f7358SJed Brown PetscReal *v0, *J, *invJ, detJ; 24756044e6dSMatthew G. Knepley const PetscScalar *coords; 24856044e6dSMatthew G. Knepley PetscScalar *a; 249552f7358SJed Brown PetscInt p; 250552f7358SJed Brown PetscErrorCode ierr; 251552f7358SJed Brown 252552f7358SJed Brown PetscFunctionBegin; 253dcca6d9dSJed Brown ierr = PetscMalloc3(ctx->dim,&v0,ctx->dim*ctx->dim,&J,ctx->dim*ctx->dim,&invJ);CHKERRQ(ierr); 25456044e6dSMatthew G. Knepley ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 255552f7358SJed Brown ierr = VecGetArray(v, &a);CHKERRQ(ierr); 256552f7358SJed Brown for (p = 0; p < ctx->n; ++p) { 257552f7358SJed Brown PetscInt c = ctx->cells[p]; 258a1e44745SMatthew G. Knepley PetscScalar *x = NULL; 259552f7358SJed Brown PetscReal xi[4]; 260552f7358SJed Brown PetscInt d, f, comp; 261552f7358SJed Brown 2628e0841e0SMatthew G. Knepley ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 263e5b268a4SToby Isaac if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", (double)detJ, c); 2640298fd71SBarry Smith ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 2651aa26658SKarl Rupp for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp]; 2661aa26658SKarl Rupp 267552f7358SJed Brown for (d = 0; d < ctx->dim; ++d) { 268552f7358SJed Brown xi[d] = 0.0; 2691aa26658SKarl Rupp for (f = 0; f < ctx->dim; ++f) xi[d] += invJ[d*ctx->dim+f]*0.5*PetscRealPart(coords[p*ctx->dim+f] - v0[f]); 2701aa26658SKarl Rupp 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]; 271552f7358SJed Brown } 2720298fd71SBarry Smith ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 273552f7358SJed Brown } 274552f7358SJed Brown ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 27556044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 276552f7358SJed Brown ierr = PetscFree3(v0, J, invJ);CHKERRQ(ierr); 277552f7358SJed Brown PetscFunctionReturn(0); 278552f7358SJed Brown } 279552f7358SJed Brown 2807a1931ceSMatthew G. Knepley PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Tetrahedron_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 2817a1931ceSMatthew G. Knepley { 2827a1931ceSMatthew G. Knepley PetscReal *v0, *J, *invJ, detJ; 28356044e6dSMatthew G. Knepley const PetscScalar *coords; 28456044e6dSMatthew G. Knepley PetscScalar *a; 2857a1931ceSMatthew G. Knepley PetscInt p; 2867a1931ceSMatthew G. Knepley PetscErrorCode ierr; 2877a1931ceSMatthew G. Knepley 2887a1931ceSMatthew G. Knepley PetscFunctionBegin; 289dcca6d9dSJed Brown ierr = PetscMalloc3(ctx->dim,&v0,ctx->dim*ctx->dim,&J,ctx->dim*ctx->dim,&invJ);CHKERRQ(ierr); 29056044e6dSMatthew G. Knepley ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 2917a1931ceSMatthew G. Knepley ierr = VecGetArray(v, &a);CHKERRQ(ierr); 2927a1931ceSMatthew G. Knepley for (p = 0; p < ctx->n; ++p) { 2937a1931ceSMatthew G. Knepley PetscInt c = ctx->cells[p]; 2947a1931ceSMatthew G. Knepley const PetscInt order[3] = {2, 1, 3}; 2952584bbe8SMatthew G. Knepley PetscScalar *x = NULL; 2967a1931ceSMatthew G. Knepley PetscReal xi[4]; 2977a1931ceSMatthew G. Knepley PetscInt d, f, comp; 2987a1931ceSMatthew G. Knepley 2998e0841e0SMatthew G. Knepley ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 300e5b268a4SToby Isaac if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", (double)detJ, c); 3017a1931ceSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 3027a1931ceSMatthew G. Knepley for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp]; 3037a1931ceSMatthew G. Knepley 3047a1931ceSMatthew G. Knepley for (d = 0; d < ctx->dim; ++d) { 3057a1931ceSMatthew G. Knepley xi[d] = 0.0; 3067a1931ceSMatthew G. Knepley for (f = 0; f < ctx->dim; ++f) xi[d] += invJ[d*ctx->dim+f]*0.5*PetscRealPart(coords[p*ctx->dim+f] - v0[f]); 3077a1931ceSMatthew G. Knepley 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]; 3087a1931ceSMatthew G. Knepley } 3097a1931ceSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 3107a1931ceSMatthew G. Knepley } 3117a1931ceSMatthew G. Knepley ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 31256044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 3137a1931ceSMatthew G. Knepley ierr = PetscFree3(v0, J, invJ);CHKERRQ(ierr); 3147a1931ceSMatthew G. Knepley PetscFunctionReturn(0); 3157a1931ceSMatthew G. Knepley } 3167a1931ceSMatthew G. Knepley 3175820edbdSMatthew G Knepley PETSC_STATIC_INLINE PetscErrorCode QuadMap_Private(SNES snes, Vec Xref, Vec Xreal, void *ctx) 318552f7358SJed Brown { 319552f7358SJed Brown const PetscScalar *vertices = (const PetscScalar*) ctx; 320552f7358SJed Brown const PetscScalar x0 = vertices[0]; 321552f7358SJed Brown const PetscScalar y0 = vertices[1]; 322552f7358SJed Brown const PetscScalar x1 = vertices[2]; 323552f7358SJed Brown const PetscScalar y1 = vertices[3]; 324552f7358SJed Brown const PetscScalar x2 = vertices[4]; 325552f7358SJed Brown const PetscScalar y2 = vertices[5]; 326552f7358SJed Brown const PetscScalar x3 = vertices[6]; 327552f7358SJed Brown const PetscScalar y3 = vertices[7]; 328552f7358SJed Brown const PetscScalar f_1 = x1 - x0; 329552f7358SJed Brown const PetscScalar g_1 = y1 - y0; 330552f7358SJed Brown const PetscScalar f_3 = x3 - x0; 331552f7358SJed Brown const PetscScalar g_3 = y3 - y0; 332552f7358SJed Brown const PetscScalar f_01 = x2 - x1 - x3 + x0; 333552f7358SJed Brown const PetscScalar g_01 = y2 - y1 - y3 + y0; 33456044e6dSMatthew G. Knepley const PetscScalar *ref; 33556044e6dSMatthew G. Knepley PetscScalar *real; 336552f7358SJed Brown PetscErrorCode ierr; 337552f7358SJed Brown 338552f7358SJed Brown PetscFunctionBegin; 33956044e6dSMatthew G. Knepley ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 340552f7358SJed Brown ierr = VecGetArray(Xreal, &real);CHKERRQ(ierr); 341552f7358SJed Brown { 342552f7358SJed Brown const PetscScalar p0 = ref[0]; 343552f7358SJed Brown const PetscScalar p1 = ref[1]; 344552f7358SJed Brown 345552f7358SJed Brown real[0] = x0 + f_1 * p0 + f_3 * p1 + f_01 * p0 * p1; 346552f7358SJed Brown real[1] = y0 + g_1 * p0 + g_3 * p1 + g_01 * p0 * p1; 347552f7358SJed Brown } 348552f7358SJed Brown ierr = PetscLogFlops(28);CHKERRQ(ierr); 34956044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 350552f7358SJed Brown ierr = VecRestoreArray(Xreal, &real);CHKERRQ(ierr); 351552f7358SJed Brown PetscFunctionReturn(0); 352552f7358SJed Brown } 353552f7358SJed Brown 354af0996ceSBarry Smith #include <petsc/private/dmimpl.h> 355d1e9a80fSBarry Smith PETSC_STATIC_INLINE PetscErrorCode QuadJacobian_Private(SNES snes, Vec Xref, Mat J, Mat M, void *ctx) 356552f7358SJed Brown { 357552f7358SJed Brown const PetscScalar *vertices = (const PetscScalar*) ctx; 358552f7358SJed Brown const PetscScalar x0 = vertices[0]; 359552f7358SJed Brown const PetscScalar y0 = vertices[1]; 360552f7358SJed Brown const PetscScalar x1 = vertices[2]; 361552f7358SJed Brown const PetscScalar y1 = vertices[3]; 362552f7358SJed Brown const PetscScalar x2 = vertices[4]; 363552f7358SJed Brown const PetscScalar y2 = vertices[5]; 364552f7358SJed Brown const PetscScalar x3 = vertices[6]; 365552f7358SJed Brown const PetscScalar y3 = vertices[7]; 366552f7358SJed Brown const PetscScalar f_01 = x2 - x1 - x3 + x0; 367552f7358SJed Brown const PetscScalar g_01 = y2 - y1 - y3 + y0; 36856044e6dSMatthew G. Knepley const PetscScalar *ref; 369552f7358SJed Brown PetscErrorCode ierr; 370552f7358SJed Brown 371552f7358SJed Brown PetscFunctionBegin; 37256044e6dSMatthew G. Knepley ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 373552f7358SJed Brown { 374552f7358SJed Brown const PetscScalar x = ref[0]; 375552f7358SJed Brown const PetscScalar y = ref[1]; 376552f7358SJed Brown const PetscInt rows[2] = {0, 1}; 377da80777bSKarl Rupp PetscScalar values[4]; 378da80777bSKarl Rupp 379da80777bSKarl Rupp values[0] = (x1 - x0 + f_01*y) * 0.5; values[1] = (x3 - x0 + f_01*x) * 0.5; 380da80777bSKarl Rupp values[2] = (y1 - y0 + g_01*y) * 0.5; values[3] = (y3 - y0 + g_01*x) * 0.5; 38194ab13aaSBarry Smith ierr = MatSetValues(J, 2, rows, 2, rows, values, INSERT_VALUES);CHKERRQ(ierr); 382552f7358SJed Brown } 383552f7358SJed Brown ierr = PetscLogFlops(30);CHKERRQ(ierr); 38456044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 38594ab13aaSBarry Smith ierr = MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 38694ab13aaSBarry Smith ierr = MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 387552f7358SJed Brown PetscFunctionReturn(0); 388552f7358SJed Brown } 389552f7358SJed Brown 390a6dfd86eSKarl Rupp PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Quad_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 391a6dfd86eSKarl Rupp { 392fafc0619SMatthew G Knepley DM dmCoord; 393de73a395SMatthew G. Knepley PetscFE fem = NULL; 394552f7358SJed Brown SNES snes; 395552f7358SJed Brown KSP ksp; 396552f7358SJed Brown PC pc; 397552f7358SJed Brown Vec coordsLocal, r, ref, real; 398552f7358SJed Brown Mat J; 39956044e6dSMatthew G. Knepley const PetscScalar *coords; 40056044e6dSMatthew G. Knepley PetscScalar *a; 401de73a395SMatthew G. Knepley PetscInt Nf, p; 4025509d985SMatthew G. Knepley const PetscInt dof = ctx->dof; 403552f7358SJed Brown PetscErrorCode ierr; 404552f7358SJed Brown 405552f7358SJed Brown PetscFunctionBegin; 406de73a395SMatthew G. Knepley ierr = DMGetNumFields(dm, &Nf);CHKERRQ(ierr); 407de73a395SMatthew G. Knepley if (Nf) {ierr = DMGetField(dm, 0, (PetscObject *) &fem);CHKERRQ(ierr);} 408552f7358SJed Brown ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 409fafc0619SMatthew G Knepley ierr = DMGetCoordinateDM(dm, &dmCoord);CHKERRQ(ierr); 410552f7358SJed Brown ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr); 411552f7358SJed Brown ierr = SNESSetOptionsPrefix(snes, "quad_interp_");CHKERRQ(ierr); 412552f7358SJed Brown ierr = VecCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr); 413552f7358SJed Brown ierr = VecSetSizes(r, 2, 2);CHKERRQ(ierr); 414c0dedaeaSBarry Smith ierr = VecSetType(r,dm->vectype);CHKERRQ(ierr); 415552f7358SJed Brown ierr = VecDuplicate(r, &ref);CHKERRQ(ierr); 416552f7358SJed Brown ierr = VecDuplicate(r, &real);CHKERRQ(ierr); 417552f7358SJed Brown ierr = MatCreate(PETSC_COMM_SELF, &J);CHKERRQ(ierr); 418552f7358SJed Brown ierr = MatSetSizes(J, 2, 2, 2, 2);CHKERRQ(ierr); 419552f7358SJed Brown ierr = MatSetType(J, MATSEQDENSE);CHKERRQ(ierr); 420552f7358SJed Brown ierr = MatSetUp(J);CHKERRQ(ierr); 4210298fd71SBarry Smith ierr = SNESSetFunction(snes, r, QuadMap_Private, NULL);CHKERRQ(ierr); 4220298fd71SBarry Smith ierr = SNESSetJacobian(snes, J, J, QuadJacobian_Private, NULL);CHKERRQ(ierr); 423552f7358SJed Brown ierr = SNESGetKSP(snes, &ksp);CHKERRQ(ierr); 424552f7358SJed Brown ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr); 425552f7358SJed Brown ierr = PCSetType(pc, PCLU);CHKERRQ(ierr); 426552f7358SJed Brown ierr = SNESSetFromOptions(snes);CHKERRQ(ierr); 427552f7358SJed Brown 42856044e6dSMatthew G. Knepley ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 429552f7358SJed Brown ierr = VecGetArray(v, &a);CHKERRQ(ierr); 430552f7358SJed Brown for (p = 0; p < ctx->n; ++p) { 431a1e44745SMatthew G. Knepley PetscScalar *x = NULL, *vertices = NULL; 432552f7358SJed Brown PetscScalar *xi; 433cb313848SJed Brown PetscReal xir[2]; 434552f7358SJed Brown PetscInt c = ctx->cells[p], comp, coordSize, xSize; 435552f7358SJed Brown 436552f7358SJed Brown /* Can make this do all points at once */ 4370298fd71SBarry Smith ierr = DMPlexVecGetClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 4380adebc6cSBarry Smith if (4*2 != coordSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", coordSize, 4*2); 4390298fd71SBarry Smith ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 4400298fd71SBarry Smith ierr = SNESSetFunction(snes, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 4410298fd71SBarry Smith ierr = SNESSetJacobian(snes, NULL, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 442552f7358SJed Brown ierr = VecGetArray(real, &xi);CHKERRQ(ierr); 443552f7358SJed Brown xi[0] = coords[p*ctx->dim+0]; 444552f7358SJed Brown xi[1] = coords[p*ctx->dim+1]; 445552f7358SJed Brown ierr = VecRestoreArray(real, &xi);CHKERRQ(ierr); 446552f7358SJed Brown ierr = SNESSolve(snes, real, ref);CHKERRQ(ierr); 447552f7358SJed Brown ierr = VecGetArray(ref, &xi);CHKERRQ(ierr); 448cb313848SJed Brown xir[0] = PetscRealPart(xi[0]); 449cb313848SJed Brown xir[1] = PetscRealPart(xi[1]); 4505509d985SMatthew G. Knepley if (4*dof != xSize) { 4515509d985SMatthew G. Knepley PetscReal *B; 4525509d985SMatthew G. Knepley PetscInt d; 4531aa26658SKarl Rupp 4545509d985SMatthew G. Knepley xir[0] = 2.0*xir[0] - 1.0; xir[1] = 2.0*xir[1] - 1.0; 4555509d985SMatthew G. Knepley ierr = PetscFEGetTabulation(fem, 1, xir, &B, NULL, NULL);CHKERRQ(ierr); 4565509d985SMatthew G. Knepley for (comp = 0; comp < dof; ++comp) { 4575509d985SMatthew G. Knepley a[p*dof+comp] = 0.0; 4585509d985SMatthew G. Knepley for (d = 0; d < xSize/dof; ++d) { 4595509d985SMatthew G. Knepley a[p*dof+comp] += x[d*dof+comp]*B[d*dof+comp]; 4605509d985SMatthew G. Knepley } 4615509d985SMatthew G. Knepley } 4625509d985SMatthew G. Knepley ierr = PetscFERestoreTabulation(fem, 1, xir, &B, NULL, NULL);CHKERRQ(ierr); 4635509d985SMatthew G. Knepley } else { 4645509d985SMatthew G. Knepley for (comp = 0; comp < dof; ++comp) 4655509d985SMatthew G. Knepley 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]; 4665509d985SMatthew G. Knepley } 467552f7358SJed Brown ierr = VecRestoreArray(ref, &xi);CHKERRQ(ierr); 4680298fd71SBarry Smith ierr = DMPlexVecRestoreClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 4690298fd71SBarry Smith ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 470552f7358SJed Brown } 471552f7358SJed Brown ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 47256044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 473552f7358SJed Brown 474552f7358SJed Brown ierr = SNESDestroy(&snes);CHKERRQ(ierr); 475552f7358SJed Brown ierr = VecDestroy(&r);CHKERRQ(ierr); 476552f7358SJed Brown ierr = VecDestroy(&ref);CHKERRQ(ierr); 477552f7358SJed Brown ierr = VecDestroy(&real);CHKERRQ(ierr); 478552f7358SJed Brown ierr = MatDestroy(&J);CHKERRQ(ierr); 479552f7358SJed Brown PetscFunctionReturn(0); 480552f7358SJed Brown } 481552f7358SJed Brown 4825820edbdSMatthew G Knepley PETSC_STATIC_INLINE PetscErrorCode HexMap_Private(SNES snes, Vec Xref, Vec Xreal, void *ctx) 483552f7358SJed Brown { 484552f7358SJed Brown const PetscScalar *vertices = (const PetscScalar*) ctx; 485552f7358SJed Brown const PetscScalar x0 = vertices[0]; 486552f7358SJed Brown const PetscScalar y0 = vertices[1]; 487552f7358SJed Brown const PetscScalar z0 = vertices[2]; 4887a1931ceSMatthew G. Knepley const PetscScalar x1 = vertices[9]; 4897a1931ceSMatthew G. Knepley const PetscScalar y1 = vertices[10]; 4907a1931ceSMatthew G. Knepley const PetscScalar z1 = vertices[11]; 491552f7358SJed Brown const PetscScalar x2 = vertices[6]; 492552f7358SJed Brown const PetscScalar y2 = vertices[7]; 493552f7358SJed Brown const PetscScalar z2 = vertices[8]; 4947a1931ceSMatthew G. Knepley const PetscScalar x3 = vertices[3]; 4957a1931ceSMatthew G. Knepley const PetscScalar y3 = vertices[4]; 4967a1931ceSMatthew G. Knepley const PetscScalar z3 = vertices[5]; 497552f7358SJed Brown const PetscScalar x4 = vertices[12]; 498552f7358SJed Brown const PetscScalar y4 = vertices[13]; 499552f7358SJed Brown const PetscScalar z4 = vertices[14]; 500552f7358SJed Brown const PetscScalar x5 = vertices[15]; 501552f7358SJed Brown const PetscScalar y5 = vertices[16]; 502552f7358SJed Brown const PetscScalar z5 = vertices[17]; 503552f7358SJed Brown const PetscScalar x6 = vertices[18]; 504552f7358SJed Brown const PetscScalar y6 = vertices[19]; 505552f7358SJed Brown const PetscScalar z6 = vertices[20]; 506552f7358SJed Brown const PetscScalar x7 = vertices[21]; 507552f7358SJed Brown const PetscScalar y7 = vertices[22]; 508552f7358SJed Brown const PetscScalar z7 = vertices[23]; 509552f7358SJed Brown const PetscScalar f_1 = x1 - x0; 510552f7358SJed Brown const PetscScalar g_1 = y1 - y0; 511552f7358SJed Brown const PetscScalar h_1 = z1 - z0; 512552f7358SJed Brown const PetscScalar f_3 = x3 - x0; 513552f7358SJed Brown const PetscScalar g_3 = y3 - y0; 514552f7358SJed Brown const PetscScalar h_3 = z3 - z0; 515552f7358SJed Brown const PetscScalar f_4 = x4 - x0; 516552f7358SJed Brown const PetscScalar g_4 = y4 - y0; 517552f7358SJed Brown const PetscScalar h_4 = z4 - z0; 518552f7358SJed Brown const PetscScalar f_01 = x2 - x1 - x3 + x0; 519552f7358SJed Brown const PetscScalar g_01 = y2 - y1 - y3 + y0; 520552f7358SJed Brown const PetscScalar h_01 = z2 - z1 - z3 + z0; 521552f7358SJed Brown const PetscScalar f_12 = x7 - x3 - x4 + x0; 522552f7358SJed Brown const PetscScalar g_12 = y7 - y3 - y4 + y0; 523552f7358SJed Brown const PetscScalar h_12 = z7 - z3 - z4 + z0; 524552f7358SJed Brown const PetscScalar f_02 = x5 - x1 - x4 + x0; 525552f7358SJed Brown const PetscScalar g_02 = y5 - y1 - y4 + y0; 526552f7358SJed Brown const PetscScalar h_02 = z5 - z1 - z4 + z0; 527552f7358SJed Brown const PetscScalar f_012 = x6 - x0 + x1 - x2 + x3 + x4 - x5 - x7; 528552f7358SJed Brown const PetscScalar g_012 = y6 - y0 + y1 - y2 + y3 + y4 - y5 - y7; 529552f7358SJed Brown const PetscScalar h_012 = z6 - z0 + z1 - z2 + z3 + z4 - z5 - z7; 53056044e6dSMatthew G. Knepley const PetscScalar *ref; 53156044e6dSMatthew G. Knepley PetscScalar *real; 532552f7358SJed Brown PetscErrorCode ierr; 533552f7358SJed Brown 534552f7358SJed Brown PetscFunctionBegin; 53556044e6dSMatthew G. Knepley ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 536552f7358SJed Brown ierr = VecGetArray(Xreal, &real);CHKERRQ(ierr); 537552f7358SJed Brown { 538552f7358SJed Brown const PetscScalar p0 = ref[0]; 539552f7358SJed Brown const PetscScalar p1 = ref[1]; 540552f7358SJed Brown const PetscScalar p2 = ref[2]; 541552f7358SJed Brown 542552f7358SJed Brown 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; 543552f7358SJed Brown 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; 544552f7358SJed Brown 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; 545552f7358SJed Brown } 546552f7358SJed Brown ierr = PetscLogFlops(114);CHKERRQ(ierr); 54756044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 548552f7358SJed Brown ierr = VecRestoreArray(Xreal, &real);CHKERRQ(ierr); 549552f7358SJed Brown PetscFunctionReturn(0); 550552f7358SJed Brown } 551552f7358SJed Brown 552d1e9a80fSBarry Smith PETSC_STATIC_INLINE PetscErrorCode HexJacobian_Private(SNES snes, Vec Xref, Mat J, Mat M, void *ctx) 553552f7358SJed Brown { 554552f7358SJed Brown const PetscScalar *vertices = (const PetscScalar*) ctx; 555552f7358SJed Brown const PetscScalar x0 = vertices[0]; 556552f7358SJed Brown const PetscScalar y0 = vertices[1]; 557552f7358SJed Brown const PetscScalar z0 = vertices[2]; 5587a1931ceSMatthew G. Knepley const PetscScalar x1 = vertices[9]; 5597a1931ceSMatthew G. Knepley const PetscScalar y1 = vertices[10]; 5607a1931ceSMatthew G. Knepley const PetscScalar z1 = vertices[11]; 561552f7358SJed Brown const PetscScalar x2 = vertices[6]; 562552f7358SJed Brown const PetscScalar y2 = vertices[7]; 563552f7358SJed Brown const PetscScalar z2 = vertices[8]; 5647a1931ceSMatthew G. Knepley const PetscScalar x3 = vertices[3]; 5657a1931ceSMatthew G. Knepley const PetscScalar y3 = vertices[4]; 5667a1931ceSMatthew G. Knepley const PetscScalar z3 = vertices[5]; 567552f7358SJed Brown const PetscScalar x4 = vertices[12]; 568552f7358SJed Brown const PetscScalar y4 = vertices[13]; 569552f7358SJed Brown const PetscScalar z4 = vertices[14]; 570552f7358SJed Brown const PetscScalar x5 = vertices[15]; 571552f7358SJed Brown const PetscScalar y5 = vertices[16]; 572552f7358SJed Brown const PetscScalar z5 = vertices[17]; 573552f7358SJed Brown const PetscScalar x6 = vertices[18]; 574552f7358SJed Brown const PetscScalar y6 = vertices[19]; 575552f7358SJed Brown const PetscScalar z6 = vertices[20]; 576552f7358SJed Brown const PetscScalar x7 = vertices[21]; 577552f7358SJed Brown const PetscScalar y7 = vertices[22]; 578552f7358SJed Brown const PetscScalar z7 = vertices[23]; 579552f7358SJed Brown const PetscScalar f_xy = x2 - x1 - x3 + x0; 580552f7358SJed Brown const PetscScalar g_xy = y2 - y1 - y3 + y0; 581552f7358SJed Brown const PetscScalar h_xy = z2 - z1 - z3 + z0; 582552f7358SJed Brown const PetscScalar f_yz = x7 - x3 - x4 + x0; 583552f7358SJed Brown const PetscScalar g_yz = y7 - y3 - y4 + y0; 584552f7358SJed Brown const PetscScalar h_yz = z7 - z3 - z4 + z0; 585552f7358SJed Brown const PetscScalar f_xz = x5 - x1 - x4 + x0; 586552f7358SJed Brown const PetscScalar g_xz = y5 - y1 - y4 + y0; 587552f7358SJed Brown const PetscScalar h_xz = z5 - z1 - z4 + z0; 588552f7358SJed Brown const PetscScalar f_xyz = x6 - x0 + x1 - x2 + x3 + x4 - x5 - x7; 589552f7358SJed Brown const PetscScalar g_xyz = y6 - y0 + y1 - y2 + y3 + y4 - y5 - y7; 590552f7358SJed Brown const PetscScalar h_xyz = z6 - z0 + z1 - z2 + z3 + z4 - z5 - z7; 59156044e6dSMatthew G. Knepley const PetscScalar *ref; 592552f7358SJed Brown PetscErrorCode ierr; 593552f7358SJed Brown 594552f7358SJed Brown PetscFunctionBegin; 59556044e6dSMatthew G. Knepley ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 596552f7358SJed Brown { 597552f7358SJed Brown const PetscScalar x = ref[0]; 598552f7358SJed Brown const PetscScalar y = ref[1]; 599552f7358SJed Brown const PetscScalar z = ref[2]; 600552f7358SJed Brown const PetscInt rows[3] = {0, 1, 2}; 601da80777bSKarl Rupp PetscScalar values[9]; 602da80777bSKarl Rupp 603da80777bSKarl Rupp values[0] = (x1 - x0 + f_xy*y + f_xz*z + f_xyz*y*z) / 2.0; 604da80777bSKarl Rupp values[1] = (x3 - x0 + f_xy*x + f_yz*z + f_xyz*x*z) / 2.0; 605da80777bSKarl Rupp values[2] = (x4 - x0 + f_yz*y + f_xz*x + f_xyz*x*y) / 2.0; 606da80777bSKarl Rupp values[3] = (y1 - y0 + g_xy*y + g_xz*z + g_xyz*y*z) / 2.0; 607da80777bSKarl Rupp values[4] = (y3 - y0 + g_xy*x + g_yz*z + g_xyz*x*z) / 2.0; 608da80777bSKarl Rupp values[5] = (y4 - y0 + g_yz*y + g_xz*x + g_xyz*x*y) / 2.0; 609da80777bSKarl Rupp values[6] = (z1 - z0 + h_xy*y + h_xz*z + h_xyz*y*z) / 2.0; 610da80777bSKarl Rupp values[7] = (z3 - z0 + h_xy*x + h_yz*z + h_xyz*x*z) / 2.0; 611da80777bSKarl Rupp values[8] = (z4 - z0 + h_yz*y + h_xz*x + h_xyz*x*y) / 2.0; 6121aa26658SKarl Rupp 61394ab13aaSBarry Smith ierr = MatSetValues(J, 3, rows, 3, rows, values, INSERT_VALUES);CHKERRQ(ierr); 614552f7358SJed Brown } 615552f7358SJed Brown ierr = PetscLogFlops(152);CHKERRQ(ierr); 61656044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 61794ab13aaSBarry Smith ierr = MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 61894ab13aaSBarry Smith ierr = MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 619552f7358SJed Brown PetscFunctionReturn(0); 620552f7358SJed Brown } 621552f7358SJed Brown 622a6dfd86eSKarl Rupp PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Hex_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 623a6dfd86eSKarl Rupp { 624fafc0619SMatthew G Knepley DM dmCoord; 625552f7358SJed Brown SNES snes; 626552f7358SJed Brown KSP ksp; 627552f7358SJed Brown PC pc; 628552f7358SJed Brown Vec coordsLocal, r, ref, real; 629552f7358SJed Brown Mat J; 63056044e6dSMatthew G. Knepley const PetscScalar *coords; 63156044e6dSMatthew G. Knepley PetscScalar *a; 632552f7358SJed Brown PetscInt p; 633552f7358SJed Brown PetscErrorCode ierr; 634552f7358SJed Brown 635552f7358SJed Brown PetscFunctionBegin; 636552f7358SJed Brown ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 637fafc0619SMatthew G Knepley ierr = DMGetCoordinateDM(dm, &dmCoord);CHKERRQ(ierr); 638552f7358SJed Brown ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr); 639552f7358SJed Brown ierr = SNESSetOptionsPrefix(snes, "hex_interp_");CHKERRQ(ierr); 640552f7358SJed Brown ierr = VecCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr); 641552f7358SJed Brown ierr = VecSetSizes(r, 3, 3);CHKERRQ(ierr); 642c0dedaeaSBarry Smith ierr = VecSetType(r,dm->vectype);CHKERRQ(ierr); 643552f7358SJed Brown ierr = VecDuplicate(r, &ref);CHKERRQ(ierr); 644552f7358SJed Brown ierr = VecDuplicate(r, &real);CHKERRQ(ierr); 645552f7358SJed Brown ierr = MatCreate(PETSC_COMM_SELF, &J);CHKERRQ(ierr); 646552f7358SJed Brown ierr = MatSetSizes(J, 3, 3, 3, 3);CHKERRQ(ierr); 647552f7358SJed Brown ierr = MatSetType(J, MATSEQDENSE);CHKERRQ(ierr); 648552f7358SJed Brown ierr = MatSetUp(J);CHKERRQ(ierr); 6490298fd71SBarry Smith ierr = SNESSetFunction(snes, r, HexMap_Private, NULL);CHKERRQ(ierr); 6500298fd71SBarry Smith ierr = SNESSetJacobian(snes, J, J, HexJacobian_Private, NULL);CHKERRQ(ierr); 651552f7358SJed Brown ierr = SNESGetKSP(snes, &ksp);CHKERRQ(ierr); 652552f7358SJed Brown ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr); 653552f7358SJed Brown ierr = PCSetType(pc, PCLU);CHKERRQ(ierr); 654552f7358SJed Brown ierr = SNESSetFromOptions(snes);CHKERRQ(ierr); 655552f7358SJed Brown 65656044e6dSMatthew G. Knepley ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 657552f7358SJed Brown ierr = VecGetArray(v, &a);CHKERRQ(ierr); 658552f7358SJed Brown for (p = 0; p < ctx->n; ++p) { 659a1e44745SMatthew G. Knepley PetscScalar *x = NULL, *vertices = NULL; 660552f7358SJed Brown PetscScalar *xi; 661cb313848SJed Brown PetscReal xir[3]; 662552f7358SJed Brown PetscInt c = ctx->cells[p], comp, coordSize, xSize; 663552f7358SJed Brown 664552f7358SJed Brown /* Can make this do all points at once */ 6650298fd71SBarry Smith ierr = DMPlexVecGetClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 6660adebc6cSBarry Smith if (8*3 != coordSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", coordSize, 8*3); 6670298fd71SBarry Smith ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 6680adebc6cSBarry Smith if (8*ctx->dof != xSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", xSize, 8*ctx->dof); 6690298fd71SBarry Smith ierr = SNESSetFunction(snes, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 6700298fd71SBarry Smith ierr = SNESSetJacobian(snes, NULL, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 671552f7358SJed Brown ierr = VecGetArray(real, &xi);CHKERRQ(ierr); 672552f7358SJed Brown xi[0] = coords[p*ctx->dim+0]; 673552f7358SJed Brown xi[1] = coords[p*ctx->dim+1]; 674552f7358SJed Brown xi[2] = coords[p*ctx->dim+2]; 675552f7358SJed Brown ierr = VecRestoreArray(real, &xi);CHKERRQ(ierr); 676552f7358SJed Brown ierr = SNESSolve(snes, real, ref);CHKERRQ(ierr); 677552f7358SJed Brown ierr = VecGetArray(ref, &xi);CHKERRQ(ierr); 678cb313848SJed Brown xir[0] = PetscRealPart(xi[0]); 679cb313848SJed Brown xir[1] = PetscRealPart(xi[1]); 680cb313848SJed Brown xir[2] = PetscRealPart(xi[2]); 681552f7358SJed Brown for (comp = 0; comp < ctx->dof; ++comp) { 682552f7358SJed Brown a[p*ctx->dof+comp] = 683cb313848SJed Brown x[0*ctx->dof+comp]*(1-xir[0])*(1-xir[1])*(1-xir[2]) + 6847a1931ceSMatthew G. Knepley x[3*ctx->dof+comp]* xir[0]*(1-xir[1])*(1-xir[2]) + 685cb313848SJed Brown x[2*ctx->dof+comp]* xir[0]* xir[1]*(1-xir[2]) + 6867a1931ceSMatthew G. Knepley x[1*ctx->dof+comp]*(1-xir[0])* xir[1]*(1-xir[2]) + 687cb313848SJed Brown x[4*ctx->dof+comp]*(1-xir[0])*(1-xir[1])* xir[2] + 688cb313848SJed Brown x[5*ctx->dof+comp]* xir[0]*(1-xir[1])* xir[2] + 689cb313848SJed Brown x[6*ctx->dof+comp]* xir[0]* xir[1]* xir[2] + 690cb313848SJed Brown x[7*ctx->dof+comp]*(1-xir[0])* xir[1]* xir[2]; 691552f7358SJed Brown } 692552f7358SJed Brown ierr = VecRestoreArray(ref, &xi);CHKERRQ(ierr); 6930298fd71SBarry Smith ierr = DMPlexVecRestoreClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 6940298fd71SBarry Smith ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 695552f7358SJed Brown } 696552f7358SJed Brown ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 69756044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 698552f7358SJed Brown 699552f7358SJed Brown ierr = SNESDestroy(&snes);CHKERRQ(ierr); 700552f7358SJed Brown ierr = VecDestroy(&r);CHKERRQ(ierr); 701552f7358SJed Brown ierr = VecDestroy(&ref);CHKERRQ(ierr); 702552f7358SJed Brown ierr = VecDestroy(&real);CHKERRQ(ierr); 703552f7358SJed Brown ierr = MatDestroy(&J);CHKERRQ(ierr); 704552f7358SJed Brown PetscFunctionReturn(0); 705552f7358SJed Brown } 706552f7358SJed Brown 707552f7358SJed Brown /* 708552f7358SJed Brown Input Parameters: 709552f7358SJed Brown + ctx - The DMInterpolationInfo context 710552f7358SJed Brown . dm - The DM 711552f7358SJed Brown - x - The local vector containing the field to be interpolated 712552f7358SJed Brown 713552f7358SJed Brown Output Parameters: 714552f7358SJed Brown . v - The vector containing the interpolated values 715552f7358SJed Brown */ 7160adebc6cSBarry Smith PetscErrorCode DMInterpolationEvaluate(DMInterpolationInfo ctx, DM dm, Vec x, Vec v) 7170adebc6cSBarry Smith { 718552f7358SJed Brown PetscInt dim, coneSize, n; 719552f7358SJed Brown PetscErrorCode ierr; 720552f7358SJed Brown 721552f7358SJed Brown PetscFunctionBegin; 722552f7358SJed Brown PetscValidHeaderSpecific(dm, DM_CLASSID, 2); 723552f7358SJed Brown PetscValidHeaderSpecific(x, VEC_CLASSID, 3); 724552f7358SJed Brown PetscValidHeaderSpecific(v, VEC_CLASSID, 4); 725552f7358SJed Brown ierr = VecGetLocalSize(v, &n);CHKERRQ(ierr); 7260adebc6cSBarry Smith 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); 727552f7358SJed Brown if (n) { 728c73cfb54SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 729552f7358SJed Brown ierr = DMPlexGetConeSize(dm, ctx->cells[0], &coneSize);CHKERRQ(ierr); 730552f7358SJed Brown if (dim == 2) { 731552f7358SJed Brown if (coneSize == 3) { 7327a1931ceSMatthew G. Knepley ierr = DMInterpolate_Triangle_Private(ctx, dm, x, v);CHKERRQ(ierr); 733552f7358SJed Brown } else if (coneSize == 4) { 734552f7358SJed Brown ierr = DMInterpolate_Quad_Private(ctx, dm, x, v);CHKERRQ(ierr); 7350adebc6cSBarry Smith } else SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Unsupported dimension %d for point interpolation", dim); 736552f7358SJed Brown } else if (dim == 3) { 737552f7358SJed Brown if (coneSize == 4) { 7387a1931ceSMatthew G. Knepley ierr = DMInterpolate_Tetrahedron_Private(ctx, dm, x, v);CHKERRQ(ierr); 739552f7358SJed Brown } else { 740552f7358SJed Brown ierr = DMInterpolate_Hex_Private(ctx, dm, x, v);CHKERRQ(ierr); 741552f7358SJed Brown } 7420adebc6cSBarry Smith } else SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Unsupported dimension %d for point interpolation", dim); 743552f7358SJed Brown } 744552f7358SJed Brown PetscFunctionReturn(0); 745552f7358SJed Brown } 746552f7358SJed Brown 7470adebc6cSBarry Smith PetscErrorCode DMInterpolationDestroy(DMInterpolationInfo *ctx) 7480adebc6cSBarry Smith { 749552f7358SJed Brown PetscErrorCode ierr; 750552f7358SJed Brown 751552f7358SJed Brown PetscFunctionBegin; 752552f7358SJed Brown PetscValidPointer(ctx, 2); 753552f7358SJed Brown ierr = VecDestroy(&(*ctx)->coords);CHKERRQ(ierr); 754552f7358SJed Brown ierr = PetscFree((*ctx)->points);CHKERRQ(ierr); 755552f7358SJed Brown ierr = PetscFree((*ctx)->cells);CHKERRQ(ierr); 756552f7358SJed Brown ierr = PetscFree(*ctx);CHKERRQ(ierr); 7570298fd71SBarry Smith *ctx = NULL; 758552f7358SJed Brown PetscFunctionReturn(0); 759552f7358SJed Brown } 760cc0c4584SMatthew G. Knepley 761cc0c4584SMatthew G. Knepley /*@C 762cc0c4584SMatthew G. Knepley SNESMonitorFields - Monitors the residual for each field separately 763cc0c4584SMatthew G. Knepley 764cc0c4584SMatthew G. Knepley Collective on SNES 765cc0c4584SMatthew G. Knepley 766cc0c4584SMatthew G. Knepley Input Parameters: 767cc0c4584SMatthew G. Knepley + snes - the SNES context 768cc0c4584SMatthew G. Knepley . its - iteration number 769cc0c4584SMatthew G. Knepley . fgnorm - 2-norm of residual 770d43b4f6eSBarry Smith - vf - PetscViewerAndFormat of type ASCII 771cc0c4584SMatthew G. Knepley 772cc0c4584SMatthew G. Knepley Notes: 773cc0c4584SMatthew G. Knepley This routine prints the residual norm at each iteration. 774cc0c4584SMatthew G. Knepley 775cc0c4584SMatthew G. Knepley Level: intermediate 776cc0c4584SMatthew G. Knepley 777cc0c4584SMatthew G. Knepley .keywords: SNES, nonlinear, default, monitor, norm 778cc0c4584SMatthew G. Knepley .seealso: SNESMonitorSet(), SNESMonitorDefault() 779cc0c4584SMatthew G. Knepley @*/ 780d43b4f6eSBarry Smith PetscErrorCode SNESMonitorFields(SNES snes, PetscInt its, PetscReal fgnorm, PetscViewerAndFormat *vf) 781cc0c4584SMatthew G. Knepley { 782d43b4f6eSBarry Smith PetscViewer viewer = vf->viewer; 783cc0c4584SMatthew G. Knepley Vec res; 784cc0c4584SMatthew G. Knepley DM dm; 785cc0c4584SMatthew G. Knepley PetscSection s; 786cc0c4584SMatthew G. Knepley const PetscScalar *r; 787cc0c4584SMatthew G. Knepley PetscReal *lnorms, *norms; 788cc0c4584SMatthew G. Knepley PetscInt numFields, f, pStart, pEnd, p; 789cc0c4584SMatthew G. Knepley PetscErrorCode ierr; 790cc0c4584SMatthew G. Knepley 791cc0c4584SMatthew G. Knepley PetscFunctionBegin; 7924d4332d5SBarry Smith PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,4); 793cc0c4584SMatthew G. Knepley ierr = SNESGetFunction(snes, &res, 0, 0);CHKERRQ(ierr); 794cc0c4584SMatthew G. Knepley ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr); 795cc0c4584SMatthew G. Knepley ierr = DMGetDefaultSection(dm, &s);CHKERRQ(ierr); 796cc0c4584SMatthew G. Knepley ierr = PetscSectionGetNumFields(s, &numFields);CHKERRQ(ierr); 797cc0c4584SMatthew G. Knepley ierr = PetscSectionGetChart(s, &pStart, &pEnd);CHKERRQ(ierr); 798cc0c4584SMatthew G. Knepley ierr = PetscCalloc2(numFields, &lnorms, numFields, &norms);CHKERRQ(ierr); 799cc0c4584SMatthew G. Knepley ierr = VecGetArrayRead(res, &r);CHKERRQ(ierr); 800cc0c4584SMatthew G. Knepley for (p = pStart; p < pEnd; ++p) { 801cc0c4584SMatthew G. Knepley for (f = 0; f < numFields; ++f) { 802cc0c4584SMatthew G. Knepley PetscInt fdof, foff, d; 803cc0c4584SMatthew G. Knepley 804cc0c4584SMatthew G. Knepley ierr = PetscSectionGetFieldDof(s, p, f, &fdof);CHKERRQ(ierr); 805cc0c4584SMatthew G. Knepley ierr = PetscSectionGetFieldOffset(s, p, f, &foff);CHKERRQ(ierr); 806cc0c4584SMatthew G. Knepley for (d = 0; d < fdof; ++d) lnorms[f] += PetscRealPart(PetscSqr(r[foff+d])); 807cc0c4584SMatthew G. Knepley } 808cc0c4584SMatthew G. Knepley } 809cc0c4584SMatthew G. Knepley ierr = VecRestoreArrayRead(res, &r);CHKERRQ(ierr); 810b2566f29SBarry Smith ierr = MPIU_Allreduce(lnorms, norms, numFields, MPIU_REAL, MPIU_SUM, PetscObjectComm((PetscObject) dm));CHKERRQ(ierr); 811d43b4f6eSBarry Smith ierr = PetscViewerPushFormat(viewer,vf->format);CHKERRQ(ierr); 812cc0c4584SMatthew G. Knepley ierr = PetscViewerASCIIAddTab(viewer, ((PetscObject) snes)->tablevel);CHKERRQ(ierr); 813cc0c4584SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(viewer, "%3D SNES Function norm %14.12e [", its, (double) fgnorm);CHKERRQ(ierr); 814cc0c4584SMatthew G. Knepley for (f = 0; f < numFields; ++f) { 815cc0c4584SMatthew G. Knepley if (f > 0) {ierr = PetscViewerASCIIPrintf(viewer, ", ");CHKERRQ(ierr);} 816cc0c4584SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(viewer, "%14.12e", (double) PetscSqrtReal(norms[f]));CHKERRQ(ierr); 817cc0c4584SMatthew G. Knepley } 818cc0c4584SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(viewer, "]\n");CHKERRQ(ierr); 819cc0c4584SMatthew G. Knepley ierr = PetscViewerASCIISubtractTab(viewer, ((PetscObject) snes)->tablevel);CHKERRQ(ierr); 820d43b4f6eSBarry Smith ierr = PetscViewerPopFormat(viewer);CHKERRQ(ierr); 821cc0c4584SMatthew G. Knepley ierr = PetscFree2(lnorms, norms);CHKERRQ(ierr); 822cc0c4584SMatthew G. Knepley PetscFunctionReturn(0); 823cc0c4584SMatthew G. Knepley } 82424cdb843SMatthew G. Knepley 82524cdb843SMatthew G. Knepley /********************* Residual Computation **************************/ 82624cdb843SMatthew G. Knepley 8277d4028c8SMatthew G. Knepley /*@ 8287d4028c8SMatthew G. Knepley DMPlexSNESGetGeometryFEM - Return precomputed geometric data 8297d4028c8SMatthew G. Knepley 8307d4028c8SMatthew G. Knepley Input Parameter: 8317d4028c8SMatthew G. Knepley . dm - The DM 8327d4028c8SMatthew G. Knepley 8337d4028c8SMatthew G. Knepley Output Parameters: 8347d4028c8SMatthew G. Knepley . cellgeom - The values precomputed from cell geometry 8357d4028c8SMatthew G. Knepley 8367d4028c8SMatthew G. Knepley Level: developer 8377d4028c8SMatthew G. Knepley 8387d4028c8SMatthew G. Knepley .seealso: DMPlexSNESSetFunctionLocal() 8397d4028c8SMatthew G. Knepley @*/ 8407d4028c8SMatthew G. Knepley PetscErrorCode DMPlexSNESGetGeometryFEM(DM dm, Vec *cellgeom) 8417d4028c8SMatthew G. Knepley { 8427d4028c8SMatthew G. Knepley DMSNES dmsnes; 8437d4028c8SMatthew G. Knepley PetscObject obj; 8447d4028c8SMatthew G. Knepley PetscErrorCode ierr; 8457d4028c8SMatthew G. Knepley 8467d4028c8SMatthew G. Knepley PetscFunctionBegin; 8477d4028c8SMatthew G. Knepley PetscValidHeaderSpecific(dm,DM_CLASSID,1); 8487d4028c8SMatthew G. Knepley ierr = DMGetDMSNES(dm, &dmsnes);CHKERRQ(ierr); 8497d4028c8SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", &obj);CHKERRQ(ierr); 8507d4028c8SMatthew G. Knepley if (!obj) { 8517d4028c8SMatthew G. Knepley Vec cellgeom; 8527d4028c8SMatthew G. Knepley 8537d4028c8SMatthew G. Knepley ierr = DMPlexComputeGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 8547d4028c8SMatthew G. Knepley ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", (PetscObject) cellgeom);CHKERRQ(ierr); 8557d4028c8SMatthew G. Knepley ierr = VecDestroy(&cellgeom);CHKERRQ(ierr); 8567d4028c8SMatthew G. Knepley } 8577d4028c8SMatthew G. Knepley if (cellgeom) {PetscValidPointer(cellgeom, 3); ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", (PetscObject *) cellgeom);CHKERRQ(ierr);} 8587d4028c8SMatthew G. Knepley PetscFunctionReturn(0); 8597d4028c8SMatthew G. Knepley } 8607d4028c8SMatthew G. Knepley 86108449791SMatthew G. Knepley /*@ 86208449791SMatthew G. Knepley DMPlexSNESGetGeometryFVM - Return precomputed geometric data 86308449791SMatthew G. Knepley 86408449791SMatthew G. Knepley Input Parameter: 86508449791SMatthew G. Knepley . dm - The DM 86608449791SMatthew G. Knepley 86708449791SMatthew G. Knepley Output Parameters: 86808449791SMatthew G. Knepley + facegeom - The values precomputed from face geometry 86908449791SMatthew G. Knepley . cellgeom - The values precomputed from cell geometry 87008449791SMatthew G. Knepley - minRadius - The minimum radius over the mesh of an inscribed sphere in a cell 87108449791SMatthew G. Knepley 87208449791SMatthew G. Knepley Level: developer 87308449791SMatthew G. Knepley 87408449791SMatthew G. Knepley .seealso: DMPlexTSSetRHSFunctionLocal() 87508449791SMatthew G. Knepley @*/ 87608449791SMatthew G. Knepley PetscErrorCode DMPlexSNESGetGeometryFVM(DM dm, Vec *facegeom, Vec *cellgeom, PetscReal *minRadius) 87724cdb843SMatthew G. Knepley { 8784b32e5bbSToby Isaac DM plex; 87924cdb843SMatthew G. Knepley PetscErrorCode ierr; 88024cdb843SMatthew G. Knepley 88124cdb843SMatthew G. Knepley PetscFunctionBegin; 88208449791SMatthew G. Knepley PetscValidHeaderSpecific(dm,DM_CLASSID,1); 8834b32e5bbSToby Isaac ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 8844b32e5bbSToby Isaac ierr = DMPlexGetDataFVM(plex, NULL, cellgeom, facegeom, NULL);CHKERRQ(ierr); 8854b32e5bbSToby Isaac if (minRadius) {ierr = DMPlexGetMinRadius(plex, minRadius);CHKERRQ(ierr);} 8864b32e5bbSToby Isaac ierr = DMDestroy(&plex);CHKERRQ(ierr); 88724cdb843SMatthew G. Knepley PetscFunctionReturn(0); 88824cdb843SMatthew G. Knepley } 88924cdb843SMatthew G. Knepley 890dbd489d2SMatthew G. Knepley /*@ 89108449791SMatthew G. Knepley DMPlexSNESGetGradientDM - Return gradient data layout 89208449791SMatthew G. Knepley 89308449791SMatthew G. Knepley Input Parameters: 89408449791SMatthew G. Knepley + dm - The DM 89508449791SMatthew G. Knepley - fv - The PetscFV 89608449791SMatthew G. Knepley 89708449791SMatthew G. Knepley Output Parameter: 89808449791SMatthew G. Knepley . dmGrad - The layout for gradient values 89908449791SMatthew G. Knepley 90008449791SMatthew G. Knepley Level: developer 90108449791SMatthew G. Knepley 90208449791SMatthew G. Knepley .seealso: DMPlexSNESGetGeometryFVM() 90308449791SMatthew G. Knepley @*/ 90408449791SMatthew G. Knepley PetscErrorCode DMPlexSNESGetGradientDM(DM dm, PetscFV fv, DM *dmGrad) 90524cdb843SMatthew G. Knepley { 9064b32e5bbSToby Isaac DM plex; 90708449791SMatthew G. Knepley PetscBool computeGradients; 90824cdb843SMatthew G. Knepley PetscErrorCode ierr; 90924cdb843SMatthew G. Knepley 91024cdb843SMatthew G. Knepley PetscFunctionBegin; 91108449791SMatthew G. Knepley PetscValidHeaderSpecific(dm,DM_CLASSID,1); 91208449791SMatthew G. Knepley PetscValidHeaderSpecific(fv,PETSCFV_CLASSID,2); 91308449791SMatthew G. Knepley PetscValidPointer(dmGrad,3); 91408449791SMatthew G. Knepley ierr = PetscFVGetComputeGradients(fv, &computeGradients);CHKERRQ(ierr); 91508449791SMatthew G. Knepley if (!computeGradients) {*dmGrad = NULL; PetscFunctionReturn(0);} 9164b32e5bbSToby Isaac ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 9174b32e5bbSToby Isaac ierr = DMPlexGetDataFVM(plex, fv, NULL, NULL, dmGrad);CHKERRQ(ierr); 9184b32e5bbSToby Isaac ierr = DMDestroy(&plex);CHKERRQ(ierr); 91908449791SMatthew G. Knepley PetscFunctionReturn(0); 92008449791SMatthew G. Knepley } 92108449791SMatthew G. Knepley 92208449791SMatthew G. Knepley /*@C 92308449791SMatthew G. Knepley DMPlexGetCellFields - Retrieve the field values values for a chunk of cells 92408449791SMatthew G. Knepley 92508449791SMatthew G. Knepley Input Parameters: 92608449791SMatthew G. Knepley + dm - The DM 92708449791SMatthew G. Knepley . cStart - The first cell to include 92808449791SMatthew G. Knepley . cEnd - The first cell to exclude 92908449791SMatthew G. Knepley . locX - A local vector with the solution fields 93008449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL 93108449791SMatthew G. Knepley - locA - A local vector with auxiliary fields, or NULL 93208449791SMatthew G. Knepley 93308449791SMatthew G. Knepley Output Parameters: 93408449791SMatthew G. Knepley + u - The field coefficients 93508449791SMatthew G. Knepley . u_t - The fields derivative coefficients 93608449791SMatthew G. Knepley - a - The auxiliary field coefficients 93708449791SMatthew G. Knepley 93808449791SMatthew G. Knepley Level: developer 93908449791SMatthew G. Knepley 94008449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields() 94108449791SMatthew G. Knepley @*/ 94208449791SMatthew G. Knepley PetscErrorCode DMPlexGetCellFields(DM dm, PetscInt cStart, PetscInt cEnd, Vec locX, Vec locX_t, Vec locA, PetscScalar **u, PetscScalar **u_t, PetscScalar **a) 94308449791SMatthew G. Knepley { 94408449791SMatthew G. Knepley DM dmAux; 94508449791SMatthew G. Knepley PetscSection section, sectionAux; 94608449791SMatthew G. Knepley PetscDS prob; 94708449791SMatthew G. Knepley PetscInt numCells = cEnd - cStart, totDim, totDimAux, c; 94808449791SMatthew G. Knepley PetscErrorCode ierr; 94908449791SMatthew G. Knepley 95008449791SMatthew G. Knepley PetscFunctionBegin; 95108449791SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 95208449791SMatthew G. Knepley PetscValidHeaderSpecific(locX, VEC_CLASSID, 4); 95308449791SMatthew G. Knepley if (locX_t) {PetscValidHeaderSpecific(locX_t, VEC_CLASSID, 5);} 95408449791SMatthew G. Knepley if (locA) {PetscValidHeaderSpecific(locA, VEC_CLASSID, 6);} 95508449791SMatthew G. Knepley PetscValidPointer(u, 7); 95608449791SMatthew G. Knepley PetscValidPointer(u_t, 8); 95708449791SMatthew G. Knepley PetscValidPointer(a, 9); 95824cdb843SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 95924cdb843SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 96024cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 96108449791SMatthew G. Knepley if (locA) { 96208449791SMatthew G. Knepley PetscDS probAux; 96308449791SMatthew G. Knepley 96408449791SMatthew G. Knepley ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr); 96524cdb843SMatthew G. Knepley ierr = DMGetDefaultSection(dmAux, §ionAux);CHKERRQ(ierr); 96624cdb843SMatthew G. Knepley ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 96724cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 96824cdb843SMatthew G. Knepley } 96969291d52SBarry Smith ierr = DMGetWorkArray(dm, numCells*totDim, MPIU_SCALAR, u);CHKERRQ(ierr); 97069291d52SBarry Smith if (locX_t) {ierr = DMGetWorkArray(dm, numCells*totDim, MPIU_SCALAR, u_t);CHKERRQ(ierr);} else {*u_t = NULL;} 97169291d52SBarry Smith if (locA) {ierr = DMGetWorkArray(dm, numCells*totDimAux, MPIU_SCALAR, a);CHKERRQ(ierr);} else {*a = NULL;} 97224cdb843SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 97308449791SMatthew G. Knepley PetscScalar *x = NULL, *x_t = NULL, *ul = *u, *ul_t = *u_t, *al = *a; 97424cdb843SMatthew G. Knepley PetscInt i; 97524cdb843SMatthew G. Knepley 97608449791SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, locX, c, NULL, &x);CHKERRQ(ierr); 9779f11d433SMatthew G. Knepley for (i = 0; i < totDim; ++i) ul[(c-cStart)*totDim+i] = x[i]; 97808449791SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, locX, c, NULL, &x);CHKERRQ(ierr); 97908449791SMatthew G. Knepley if (locX_t) { 98008449791SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, locX_t, c, NULL, &x_t);CHKERRQ(ierr); 9819f11d433SMatthew G. Knepley for (i = 0; i < totDim; ++i) ul_t[(c-cStart)*totDim+i] = x_t[i]; 98208449791SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, locX_t, c, NULL, &x_t);CHKERRQ(ierr); 98324cdb843SMatthew G. Knepley } 98408449791SMatthew G. Knepley if (locA) { 9856da023fcSToby Isaac DM dmAuxPlex; 9866da023fcSToby Isaac 9876da023fcSToby Isaac ierr = DMSNESConvertPlex(dmAux, &dmAuxPlex, PETSC_FALSE);CHKERRQ(ierr); 9886da023fcSToby Isaac ierr = DMPlexVecGetClosure(dmAuxPlex, sectionAux, locA, c, NULL, &x);CHKERRQ(ierr); 9899f11d433SMatthew G. Knepley for (i = 0; i < totDimAux; ++i) al[(c-cStart)*totDimAux+i] = x[i]; 9906da023fcSToby Isaac ierr = DMPlexVecRestoreClosure(dmAuxPlex, sectionAux, locA, c, NULL, &x);CHKERRQ(ierr); 9916da023fcSToby Isaac ierr = DMDestroy(&dmAuxPlex);CHKERRQ(ierr); 99224cdb843SMatthew G. Knepley } 99324cdb843SMatthew G. Knepley } 99408449791SMatthew G. Knepley PetscFunctionReturn(0); 99508449791SMatthew G. Knepley } 99624cdb843SMatthew G. Knepley 99708449791SMatthew G. Knepley /*@C 99808449791SMatthew G. Knepley DMPlexRestoreCellFields - Restore the field values values for a chunk of cells 99908449791SMatthew G. Knepley 100008449791SMatthew G. Knepley Input Parameters: 100108449791SMatthew G. Knepley + dm - The DM 100208449791SMatthew G. Knepley . cStart - The first cell to include 100308449791SMatthew G. Knepley . cEnd - The first cell to exclude 100408449791SMatthew G. Knepley . locX - A local vector with the solution fields 100508449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL 100608449791SMatthew G. Knepley - locA - A local vector with auxiliary fields, or NULL 100708449791SMatthew G. Knepley 100808449791SMatthew G. Knepley Output Parameters: 100908449791SMatthew G. Knepley + u - The field coefficients 101008449791SMatthew G. Knepley . u_t - The fields derivative coefficients 101108449791SMatthew G. Knepley - a - The auxiliary field coefficients 101208449791SMatthew G. Knepley 101308449791SMatthew G. Knepley Level: developer 101408449791SMatthew G. Knepley 101508449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields() 101608449791SMatthew G. Knepley @*/ 101708449791SMatthew G. Knepley PetscErrorCode DMPlexRestoreCellFields(DM dm, PetscInt cStart, PetscInt cEnd, Vec locX, Vec locX_t, Vec locA, PetscScalar **u, PetscScalar **u_t, PetscScalar **a) 101808449791SMatthew G. Knepley { 101908449791SMatthew G. Knepley PetscErrorCode ierr; 102008449791SMatthew G. Knepley 102108449791SMatthew G. Knepley PetscFunctionBegin; 102269291d52SBarry Smith ierr = DMRestoreWorkArray(dm, 0, MPIU_SCALAR, u);CHKERRQ(ierr); 1023*040f60c8SVaclav Hapla if (locX_t) {ierr = DMRestoreWorkArray(dm, 0, MPIU_SCALAR, u_t);CHKERRQ(ierr);} 1024*040f60c8SVaclav Hapla if (locA) {ierr = DMRestoreWorkArray(dm, 0, MPIU_SCALAR, a);CHKERRQ(ierr);} 102508449791SMatthew G. Knepley PetscFunctionReturn(0); 102624cdb843SMatthew G. Knepley } 102708449791SMatthew G. Knepley 102808449791SMatthew G. Knepley /*@C 102908449791SMatthew G. Knepley DMPlexGetFaceFields - Retrieve the field values values for a chunk of faces 103008449791SMatthew G. Knepley 103108449791SMatthew G. Knepley Input Parameters: 103208449791SMatthew G. Knepley + dm - The DM 103308449791SMatthew G. Knepley . fStart - The first face to include 103408449791SMatthew G. Knepley . fEnd - The first face to exclude 103508449791SMatthew G. Knepley . locX - A local vector with the solution fields 103608449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL 103708449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry 103808449791SMatthew G. Knepley . cellGeometry - A local vector with cell geometry 103908449791SMatthew G. Knepley - locaGrad - A local vector with field gradients, or NULL 104008449791SMatthew G. Knepley 104108449791SMatthew G. Knepley Output Parameters: 10425f942ad5SMatthew G. Knepley + Nface - The number of faces with field values 10435f942ad5SMatthew G. Knepley . uL - The field values at the left side of the face 1044477f7dfdSMatthew G. Knepley - uR - The field values at the right side of the face 104508449791SMatthew G. Knepley 104608449791SMatthew G. Knepley Level: developer 104708449791SMatthew G. Knepley 104808449791SMatthew G. Knepley .seealso: DMPlexGetCellFields() 104908449791SMatthew G. Knepley @*/ 10505f942ad5SMatthew G. Knepley 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) 105108449791SMatthew G. Knepley { 105208449791SMatthew G. Knepley DM dmFace, dmCell, dmGrad = NULL; 1053195142f5SMatthew G. Knepley PetscSection section; 105408449791SMatthew G. Knepley PetscDS prob; 105508449791SMatthew G. Knepley DMLabel ghostLabel; 105608449791SMatthew G. Knepley const PetscScalar *facegeom, *cellgeom, *x, *lgrad; 1057477f7dfdSMatthew G. Knepley PetscBool *isFE; 1058477f7dfdSMatthew G. Knepley PetscInt dim, Nf, f, Nc, numFaces = fEnd - fStart, iface, face; 105908449791SMatthew G. Knepley PetscErrorCode ierr; 106008449791SMatthew G. Knepley 106108449791SMatthew G. Knepley PetscFunctionBegin; 106208449791SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 106308449791SMatthew G. Knepley PetscValidHeaderSpecific(locX, VEC_CLASSID, 4); 106408449791SMatthew G. Knepley if (locX_t) {PetscValidHeaderSpecific(locX_t, VEC_CLASSID, 5);} 106508449791SMatthew G. Knepley PetscValidHeaderSpecific(faceGeometry, VEC_CLASSID, 6); 106608449791SMatthew G. Knepley PetscValidHeaderSpecific(cellGeometry, VEC_CLASSID, 7); 106708449791SMatthew G. Knepley if (locGrad) {PetscValidHeaderSpecific(locGrad, VEC_CLASSID, 8);} 106808449791SMatthew G. Knepley PetscValidPointer(uL, 9); 106908449791SMatthew G. Knepley PetscValidPointer(uR, 10); 107008449791SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 107108449791SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1072195142f5SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1073477f7dfdSMatthew G. Knepley ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 1074477f7dfdSMatthew G. Knepley ierr = PetscDSGetTotalComponents(prob, &Nc);CHKERRQ(ierr); 1075477f7dfdSMatthew G. Knepley ierr = PetscMalloc1(Nf, &isFE);CHKERRQ(ierr); 1076477f7dfdSMatthew G. Knepley for (f = 0; f < Nf; ++f) { 1077477f7dfdSMatthew G. Knepley PetscObject obj; 1078477f7dfdSMatthew G. Knepley PetscClassId id; 1079477f7dfdSMatthew G. Knepley 10804a270516SSander Arens ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1081477f7dfdSMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1082477f7dfdSMatthew G. Knepley if (id == PETSCFE_CLASSID) {isFE[f] = PETSC_TRUE;} 1083477f7dfdSMatthew G. Knepley else if (id == PETSCFV_CLASSID) {isFE[f] = PETSC_FALSE;} 1084477f7dfdSMatthew G. Knepley else {isFE[f] = PETSC_FALSE;} 1085477f7dfdSMatthew G. Knepley } 1086c58f1c22SToby Isaac ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 108708449791SMatthew G. Knepley ierr = VecGetArrayRead(locX, &x);CHKERRQ(ierr); 108808449791SMatthew G. Knepley ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr); 108908449791SMatthew G. Knepley ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 109008449791SMatthew G. Knepley ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr); 109108449791SMatthew G. Knepley ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 109208449791SMatthew G. Knepley if (locGrad) { 109308449791SMatthew G. Knepley ierr = VecGetDM(locGrad, &dmGrad);CHKERRQ(ierr); 109408449791SMatthew G. Knepley ierr = VecGetArrayRead(locGrad, &lgrad);CHKERRQ(ierr); 109524cdb843SMatthew G. Knepley } 109669291d52SBarry Smith ierr = DMGetWorkArray(dm, numFaces*Nc, MPIU_SCALAR, uL);CHKERRQ(ierr); 109769291d52SBarry Smith ierr = DMGetWorkArray(dm, numFaces*Nc, MPIU_SCALAR, uR);CHKERRQ(ierr); 1098477f7dfdSMatthew G. Knepley /* Right now just eat the extra work for FE (could make a cell loop) */ 109908449791SMatthew G. Knepley for (face = fStart, iface = 0; face < fEnd; ++face) { 110008449791SMatthew G. Knepley const PetscInt *cells; 1101640bce14SSatish Balay PetscFVFaceGeom *fg; 1102640bce14SSatish Balay PetscFVCellGeom *cgL, *cgR; 1103640bce14SSatish Balay PetscScalar *xL, *xR, *gL, *gR; 110408449791SMatthew G. Knepley PetscScalar *uLl = *uL, *uRl = *uR; 11053e64cd2fSToby Isaac PetscInt ghost, nsupp, nchild; 110608449791SMatthew G. Knepley 110708449791SMatthew G. Knepley ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1108e697831aSToby Isaac ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 11093e64cd2fSToby Isaac ierr = DMPlexGetTreeChildren(dm, face, &nchild, NULL);CHKERRQ(ierr); 11107c45b140SToby Isaac if (ghost >= 0 || nsupp > 2 || nchild > 0) continue; 111108449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr); 111208449791SMatthew G. Knepley ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 111308449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cgL);CHKERRQ(ierr); 111408449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, cells[1], cellgeom, &cgR);CHKERRQ(ierr); 1115477f7dfdSMatthew G. Knepley for (f = 0; f < Nf; ++f) { 1116477f7dfdSMatthew G. Knepley PetscInt off; 1117477f7dfdSMatthew G. Knepley 111837a43ebbSMatthew G. Knepley ierr = PetscDSGetComponentOffset(prob, f, &off);CHKERRQ(ierr); 1119477f7dfdSMatthew G. Knepley if (isFE[f]) { 1120477f7dfdSMatthew G. Knepley const PetscInt *cone; 11213e64cd2fSToby Isaac PetscInt comp, coneSizeL, coneSizeR, faceLocL, faceLocR, ldof, rdof, d; 1122477f7dfdSMatthew G. Knepley 1123cca9989dSMatthew G. Knepley xL = xR = NULL; 11247c45b140SToby Isaac ierr = PetscSectionGetFieldComponents(section, f, &comp);CHKERRQ(ierr); 1125cca9989dSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, locX, cells[0], &ldof, (PetscScalar **) &xL);CHKERRQ(ierr); 1126cca9989dSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, locX, cells[1], &rdof, (PetscScalar **) &xR);CHKERRQ(ierr); 1127477f7dfdSMatthew G. Knepley ierr = DMPlexGetCone(dm, cells[0], &cone);CHKERRQ(ierr); 11283e64cd2fSToby Isaac ierr = DMPlexGetConeSize(dm, cells[0], &coneSizeL);CHKERRQ(ierr); 11293e64cd2fSToby Isaac for (faceLocL = 0; faceLocL < coneSizeL; ++faceLocL) if (cone[faceLocL] == face) break; 1130477f7dfdSMatthew G. Knepley ierr = DMPlexGetCone(dm, cells[1], &cone);CHKERRQ(ierr); 11313e64cd2fSToby Isaac ierr = DMPlexGetConeSize(dm, cells[1], &coneSizeR);CHKERRQ(ierr); 11323e64cd2fSToby Isaac for (faceLocR = 0; faceLocR < coneSizeR; ++faceLocR) if (cone[faceLocR] == face) break; 11333e64cd2fSToby Isaac 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]); 1134195142f5SMatthew G. Knepley /* Check that FEM field has values in the right cell (sometimes its an FV ghost cell) */ 11353e64cd2fSToby Isaac /* TODO: this is a hack that might not be right for nonconforming */ 11363e64cd2fSToby Isaac if (faceLocL < coneSizeL) { 1137477f7dfdSMatthew G. Knepley ierr = EvaluateFaceFields(prob, f, faceLocL, xL, &uLl[iface*Nc+off]);CHKERRQ(ierr); 11383e64cd2fSToby Isaac if (rdof == ldof && faceLocR < coneSizeR) {ierr = EvaluateFaceFields(prob, f, faceLocR, xR, &uRl[iface*Nc+off]);CHKERRQ(ierr);} 11397c45b140SToby Isaac else {for(d = 0; d < comp; ++d) uRl[iface*Nc+off+d] = uLl[iface*Nc+off+d];} 11403e64cd2fSToby Isaac } 11413e64cd2fSToby Isaac else { 11423e64cd2fSToby Isaac ierr = EvaluateFaceFields(prob, f, faceLocR, xR, &uRl[iface*Nc+off]);CHKERRQ(ierr); 11433e64cd2fSToby Isaac ierr = PetscSectionGetFieldComponents(section, f, &comp);CHKERRQ(ierr); 11443e64cd2fSToby Isaac for(d = 0; d < comp; ++d) uLl[iface*Nc+off+d] = uRl[iface*Nc+off+d]; 11453e64cd2fSToby Isaac } 1146cca9989dSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, locX, cells[0], &ldof, (PetscScalar **) &xL);CHKERRQ(ierr); 1147cca9989dSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, locX, cells[1], &rdof, (PetscScalar **) &xR);CHKERRQ(ierr); 1148477f7dfdSMatthew G. Knepley } else { 1149477f7dfdSMatthew G. Knepley PetscFV fv; 1150477f7dfdSMatthew G. Knepley PetscInt numComp, c; 1151477f7dfdSMatthew G. Knepley 1152477f7dfdSMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fv);CHKERRQ(ierr); 1153477f7dfdSMatthew G. Knepley ierr = PetscFVGetNumComponents(fv, &numComp);CHKERRQ(ierr); 1154cca9989dSMatthew G. Knepley ierr = DMPlexPointLocalFieldRead(dm, cells[0], f, x, &xL);CHKERRQ(ierr); 1155cca9989dSMatthew G. Knepley ierr = DMPlexPointLocalFieldRead(dm, cells[1], f, x, &xR);CHKERRQ(ierr); 115608449791SMatthew G. Knepley if (dmGrad) { 115708449791SMatthew G. Knepley PetscReal dxL[3], dxR[3]; 115808449791SMatthew G. Knepley 115908449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmGrad, cells[0], lgrad, &gL);CHKERRQ(ierr); 116008449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmGrad, cells[1], lgrad, &gR);CHKERRQ(ierr); 116108449791SMatthew G. Knepley DMPlex_WaxpyD_Internal(dim, -1, cgL->centroid, fg->centroid, dxL); 116208449791SMatthew G. Knepley DMPlex_WaxpyD_Internal(dim, -1, cgR->centroid, fg->centroid, dxR); 1163477f7dfdSMatthew G. Knepley for (c = 0; c < numComp; ++c) { 1164477f7dfdSMatthew G. Knepley uLl[iface*Nc+off+c] = xL[c] + DMPlex_DotD_Internal(dim, &gL[c*dim], dxL); 1165477f7dfdSMatthew G. Knepley uRl[iface*Nc+off+c] = xR[c] + DMPlex_DotD_Internal(dim, &gR[c*dim], dxR); 116608449791SMatthew G. Knepley } 116708449791SMatthew G. Knepley } else { 1168477f7dfdSMatthew G. Knepley for (c = 0; c < numComp; ++c) { 1169477f7dfdSMatthew G. Knepley uLl[iface*Nc+off+c] = xL[c]; 1170477f7dfdSMatthew G. Knepley uRl[iface*Nc+off+c] = xR[c]; 1171477f7dfdSMatthew G. Knepley } 1172477f7dfdSMatthew G. Knepley } 117308449791SMatthew G. Knepley } 117408449791SMatthew G. Knepley } 117508449791SMatthew G. Knepley ++iface; 117608449791SMatthew G. Knepley } 11775f942ad5SMatthew G. Knepley *Nface = iface; 117808449791SMatthew G. Knepley ierr = VecRestoreArrayRead(locX, &x);CHKERRQ(ierr); 117908449791SMatthew G. Knepley ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 118008449791SMatthew G. Knepley ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 118108449791SMatthew G. Knepley if (locGrad) { 118208449791SMatthew G. Knepley ierr = VecRestoreArrayRead(locGrad, &lgrad);CHKERRQ(ierr); 118308449791SMatthew G. Knepley } 1184477f7dfdSMatthew G. Knepley ierr = PetscFree(isFE);CHKERRQ(ierr); 118508449791SMatthew G. Knepley PetscFunctionReturn(0); 118608449791SMatthew G. Knepley } 118708449791SMatthew G. Knepley 118808449791SMatthew G. Knepley /*@C 118908449791SMatthew G. Knepley DMPlexRestoreFaceFields - Restore the field values values for a chunk of faces 119008449791SMatthew G. Knepley 119108449791SMatthew G. Knepley Input Parameters: 119208449791SMatthew G. Knepley + dm - The DM 119308449791SMatthew G. Knepley . fStart - The first face to include 119408449791SMatthew G. Knepley . fEnd - The first face to exclude 119508449791SMatthew G. Knepley . locX - A local vector with the solution fields 119608449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL 119708449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry 119808449791SMatthew G. Knepley . cellGeometry - A local vector with cell geometry 119908449791SMatthew G. Knepley - locaGrad - A local vector with field gradients, or NULL 120008449791SMatthew G. Knepley 120108449791SMatthew G. Knepley Output Parameters: 12025f942ad5SMatthew G. Knepley + Nface - The number of faces with field values 12035f942ad5SMatthew G. Knepley . uL - The field values at the left side of the face 1204477f7dfdSMatthew G. Knepley - uR - The field values at the right side of the face 120508449791SMatthew G. Knepley 120608449791SMatthew G. Knepley Level: developer 120708449791SMatthew G. Knepley 120808449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields() 120908449791SMatthew G. Knepley @*/ 12105f942ad5SMatthew G. Knepley 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) 121108449791SMatthew G. Knepley { 121208449791SMatthew G. Knepley PetscErrorCode ierr; 121308449791SMatthew G. Knepley 121408449791SMatthew G. Knepley PetscFunctionBegin; 121569291d52SBarry Smith ierr = DMRestoreWorkArray(dm, 0, MPIU_SCALAR, uL);CHKERRQ(ierr); 121669291d52SBarry Smith ierr = DMRestoreWorkArray(dm, 0, MPIU_SCALAR, uR);CHKERRQ(ierr); 121708449791SMatthew G. Knepley PetscFunctionReturn(0); 121808449791SMatthew G. Knepley } 121908449791SMatthew G. Knepley 122008449791SMatthew G. Knepley /*@C 122108449791SMatthew G. Knepley DMPlexGetFaceGeometry - Retrieve the geometric values for a chunk of faces 122208449791SMatthew G. Knepley 122308449791SMatthew G. Knepley Input Parameters: 122408449791SMatthew G. Knepley + dm - The DM 122508449791SMatthew G. Knepley . fStart - The first face to include 122608449791SMatthew G. Knepley . fEnd - The first face to exclude 122708449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry 122808449791SMatthew G. Knepley - cellGeometry - A local vector with cell geometry 122908449791SMatthew G. Knepley 123008449791SMatthew G. Knepley Output Parameters: 12315f942ad5SMatthew G. Knepley + Nface - The number of faces with field values 12325f942ad5SMatthew G. Knepley . fgeom - The extract the face centroid and normal 123308449791SMatthew G. Knepley - vol - The cell volume 123408449791SMatthew G. Knepley 123508449791SMatthew G. Knepley Level: developer 123608449791SMatthew G. Knepley 123708449791SMatthew G. Knepley .seealso: DMPlexGetCellFields() 123808449791SMatthew G. Knepley @*/ 12395f942ad5SMatthew G. Knepley PetscErrorCode DMPlexGetFaceGeometry(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, PetscInt *Nface, PetscFVFaceGeom **fgeom, PetscReal **vol) 124008449791SMatthew G. Knepley { 124108449791SMatthew G. Knepley DM dmFace, dmCell; 124208449791SMatthew G. Knepley DMLabel ghostLabel; 124308449791SMatthew G. Knepley const PetscScalar *facegeom, *cellgeom; 124408449791SMatthew G. Knepley PetscInt dim, numFaces = fEnd - fStart, iface, face; 124508449791SMatthew G. Knepley PetscErrorCode ierr; 124608449791SMatthew G. Knepley 124708449791SMatthew G. Knepley PetscFunctionBegin; 124808449791SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 124908449791SMatthew G. Knepley PetscValidHeaderSpecific(faceGeometry, VEC_CLASSID, 4); 125008449791SMatthew G. Knepley PetscValidHeaderSpecific(cellGeometry, VEC_CLASSID, 5); 125108449791SMatthew G. Knepley PetscValidPointer(fgeom, 6); 125208449791SMatthew G. Knepley PetscValidPointer(vol, 7); 125308449791SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1254c58f1c22SToby Isaac ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 125508449791SMatthew G. Knepley ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr); 125608449791SMatthew G. Knepley ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 125708449791SMatthew G. Knepley ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr); 125808449791SMatthew G. Knepley ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 125908449791SMatthew G. Knepley ierr = PetscMalloc1(numFaces, fgeom);CHKERRQ(ierr); 126069291d52SBarry Smith ierr = DMGetWorkArray(dm, numFaces*2, MPIU_SCALAR, vol);CHKERRQ(ierr); 126108449791SMatthew G. Knepley for (face = fStart, iface = 0; face < fEnd; ++face) { 126208449791SMatthew G. Knepley const PetscInt *cells; 1263640bce14SSatish Balay PetscFVFaceGeom *fg; 1264640bce14SSatish Balay PetscFVCellGeom *cgL, *cgR; 126508449791SMatthew G. Knepley PetscFVFaceGeom *fgeoml = *fgeom; 12662eefff9cSMatthew G. Knepley PetscReal *voll = *vol; 12677c45b140SToby Isaac PetscInt ghost, d, nchild, nsupp; 126808449791SMatthew G. Knepley 126908449791SMatthew G. Knepley ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 12707c45b140SToby Isaac ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 12717c45b140SToby Isaac ierr = DMPlexGetTreeChildren(dm, face, &nchild, NULL);CHKERRQ(ierr); 12727c45b140SToby Isaac if (ghost >= 0 || nsupp > 2 || nchild > 0) continue; 127308449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr); 127408449791SMatthew G. Knepley ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 127508449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cgL);CHKERRQ(ierr); 127608449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, cells[1], cellgeom, &cgR);CHKERRQ(ierr); 127708449791SMatthew G. Knepley for (d = 0; d < dim; ++d) { 127808449791SMatthew G. Knepley fgeoml[iface].centroid[d] = fg->centroid[d]; 127908449791SMatthew G. Knepley fgeoml[iface].normal[d] = fg->normal[d]; 128008449791SMatthew G. Knepley } 128108449791SMatthew G. Knepley voll[iface*2+0] = cgL->volume; 128208449791SMatthew G. Knepley voll[iface*2+1] = cgR->volume; 128308449791SMatthew G. Knepley ++iface; 128408449791SMatthew G. Knepley } 12855f942ad5SMatthew G. Knepley *Nface = iface; 128608449791SMatthew G. Knepley ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 128708449791SMatthew G. Knepley ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 128808449791SMatthew G. Knepley PetscFunctionReturn(0); 128908449791SMatthew G. Knepley } 129008449791SMatthew G. Knepley 129108449791SMatthew G. Knepley /*@C 129208449791SMatthew G. Knepley DMPlexRestoreFaceGeometry - Restore the field values values for a chunk of faces 129308449791SMatthew G. Knepley 129408449791SMatthew G. Knepley Input Parameters: 129508449791SMatthew G. Knepley + dm - The DM 129608449791SMatthew G. Knepley . fStart - The first face to include 129708449791SMatthew G. Knepley . fEnd - The first face to exclude 129808449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry 129908449791SMatthew G. Knepley - cellGeometry - A local vector with cell geometry 130008449791SMatthew G. Knepley 130108449791SMatthew G. Knepley Output Parameters: 13025f942ad5SMatthew G. Knepley + Nface - The number of faces with field values 13035f942ad5SMatthew G. Knepley . fgeom - The extract the face centroid and normal 130408449791SMatthew G. Knepley - vol - The cell volume 130508449791SMatthew G. Knepley 130608449791SMatthew G. Knepley Level: developer 130708449791SMatthew G. Knepley 130808449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields() 130908449791SMatthew G. Knepley @*/ 13105f942ad5SMatthew G. Knepley PetscErrorCode DMPlexRestoreFaceGeometry(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, PetscInt *Nface, PetscFVFaceGeom **fgeom, PetscReal **vol) 131108449791SMatthew G. Knepley { 131208449791SMatthew G. Knepley PetscErrorCode ierr; 131308449791SMatthew G. Knepley 131408449791SMatthew G. Knepley PetscFunctionBegin; 131508449791SMatthew G. Knepley ierr = PetscFree(*fgeom);CHKERRQ(ierr); 131669291d52SBarry Smith ierr = DMRestoreWorkArray(dm, 0, MPIU_REAL, vol);CHKERRQ(ierr); 131708449791SMatthew G. Knepley PetscFunctionReturn(0); 131808449791SMatthew G. Knepley } 131908449791SMatthew G. Knepley 132011dd639bSMatthew G. Knepley PetscErrorCode DMPlexComputeBdResidual_Internal(DM dm, Vec locX, Vec locX_t, PetscReal t, Vec locF, void *user) 132108449791SMatthew G. Knepley { 132208449791SMatthew G. Knepley DM_Plex *mesh = (DM_Plex *) dm->data; 13232d91c981SSander Arens DM dmAux = NULL, plex = NULL; 13242d91c981SSander Arens PetscSection section, sectionAux = NULL; 13252d91c981SSander Arens PetscDS prob, probAux = NULL; 132608449791SMatthew G. Knepley DMLabel depth; 13272d91c981SSander Arens Vec locA = NULL; 13284d0b9603SSander Arens PetscFEFaceGeom *fgeom; 13292d91c981SSander Arens PetscScalar *u = NULL, *u_t = NULL, *a = NULL, *elemVec = NULL; 13304d0b9603SSander Arens PetscInt dim, totDim, totDimAux, numBd, bd; 133108449791SMatthew G. Knepley PetscErrorCode ierr; 133208449791SMatthew G. Knepley 133308449791SMatthew G. Knepley PetscFunctionBegin; 133408449791SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 133508449791SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 133624cdb843SMatthew G. Knepley ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr); 133724cdb843SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 13384d0b9603SSander Arens ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 1339fa04768aSSander Arens ierr = PetscDSGetNumBoundary(prob, &numBd);CHKERRQ(ierr); 13402d91c981SSander Arens ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &locA);CHKERRQ(ierr); 13412d91c981SSander Arens if (locA) { 13422d91c981SSander Arens ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr); 13432d91c981SSander Arens ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr); 13442d91c981SSander Arens ierr = DMGetDefaultSection(plex, §ionAux);CHKERRQ(ierr); 13452d91c981SSander Arens ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 13464d0b9603SSander Arens ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 13472d91c981SSander Arens } 134824cdb843SMatthew G. Knepley for (bd = 0; bd < numBd; ++bd) { 13494fd14557SMatthew G. Knepley DMBoundaryConditionType type; 135024cdb843SMatthew G. Knepley const char *bdLabel; 135124cdb843SMatthew G. Knepley DMLabel label; 135224cdb843SMatthew G. Knepley IS pointIS; 135324cdb843SMatthew G. Knepley const PetscInt *points; 135424cdb843SMatthew G. Knepley const PetscInt *values; 13554d0b9603SSander Arens PetscInt field, numValues, v, numPoints, p, dep, numFaces, face; 135680bc4632SMatthew G. Knepley PetscObject obj; 135780bc4632SMatthew G. Knepley PetscClassId id; 135824cdb843SMatthew G. Knepley 135944ac9936SMatthew G. Knepley ierr = PetscDSGetBoundary(prob, bd, &type, NULL, &bdLabel, &field, NULL, NULL, NULL, &numValues, &values, NULL);CHKERRQ(ierr); 13604d0b9603SSander Arens ierr = PetscDSGetDiscretization(prob, field, &obj);CHKERRQ(ierr); 136180bc4632SMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 13624fd14557SMatthew G. Knepley if ((id != PETSCFE_CLASSID) || (type & DM_BC_ESSENTIAL)) continue; 1363c58f1c22SToby Isaac ierr = DMGetLabel(dm, bdLabel, &label);CHKERRQ(ierr); 1364a8e83e26SSanderA for (v = 0; v < numValues; ++v) { 1365a8e83e26SSanderA ierr = DMLabelGetStratumSize(label, values[v], &numPoints);CHKERRQ(ierr); 1366a8e83e26SSanderA ierr = DMLabelGetStratumIS(label, values[v], &pointIS);CHKERRQ(ierr); 136722734eb1Ssarens if (!pointIS) continue; /* No points with that id on this process */ 136824cdb843SMatthew G. Knepley ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 136924cdb843SMatthew G. Knepley for (p = 0, numFaces = 0; p < numPoints; ++p) { 137024cdb843SMatthew G. Knepley ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 137124cdb843SMatthew G. Knepley if (dep == dim-1) ++numFaces; 137224cdb843SMatthew G. Knepley } 13734d0b9603SSander Arens ierr = PetscMalloc4(numFaces*totDim,&u,locX_t ? numFaces*totDim : 0, &u_t, numFaces,&fgeom, numFaces*totDim,&elemVec);CHKERRQ(ierr); 13744d0b9603SSander Arens if (locA) {ierr = PetscMalloc1(numFaces*totDimAux,&a);CHKERRQ(ierr);} 13754d0b9603SSander Arens for (p = 0, face = 0; p < numPoints; ++p) { 13764d0b9603SSander Arens const PetscInt point = points[p], *support, *cone; 137724cdb843SMatthew G. Knepley PetscScalar *x = NULL; 13784d0b9603SSander Arens PetscReal dummyJ[9], dummyDetJ; 13799bfb2fe4SJed Brown PetscInt i, coneSize, faceLoc; 138024cdb843SMatthew G. Knepley 138124cdb843SMatthew G. Knepley ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 138224cdb843SMatthew G. Knepley if (dep != dim-1) continue; 13834d0b9603SSander Arens ierr = DMPlexGetSupport(dm, point, &support);CHKERRQ(ierr); 13844d0b9603SSander Arens ierr = DMPlexComputeCellGeometryFEM(dm, support[0], NULL, NULL, dummyJ, fgeom[face].invJ[0], &dummyDetJ);CHKERRQ(ierr); 13854d0b9603SSander Arens ierr = DMPlexComputeCellGeometryFEM(dm, point, NULL, fgeom[face].v0, fgeom[face].J, NULL, &fgeom[face].detJ);CHKERRQ(ierr); 13864d0b9603SSander Arens ierr = DMPlexComputeCellGeometryFVM(dm, point, NULL, NULL, fgeom[face].n);CHKERRQ(ierr); 1387e5b268a4SToby Isaac if (fgeom[face].detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for face %d", (double)fgeom[face].detJ, point); 13884d0b9603SSander Arens ierr = DMPlexGetConeSize(dm, support[0], &coneSize);CHKERRQ(ierr); 13894d0b9603SSander Arens ierr = DMPlexGetCone(dm, support[0], &cone);CHKERRQ(ierr); 13904d0b9603SSander Arens for (faceLoc = 0; faceLoc < coneSize; ++faceLoc) if (cone[faceLoc] == point) break; 13914d0b9603SSander Arens if (faceLoc == coneSize) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not find face %d in cone of support[0] %d", point, support[0]); 13924d0b9603SSander Arens fgeom[face].face[0] = faceLoc; 13934d0b9603SSander Arens ierr = DMPlexVecGetClosure(dm, section, locX, support[0], NULL, &x);CHKERRQ(ierr); 13944d0b9603SSander Arens for (i = 0; i < totDim; ++i) u[face*totDim+i] = x[i]; 13954d0b9603SSander Arens ierr = DMPlexVecRestoreClosure(dm, section, locX, support[0], NULL, &x);CHKERRQ(ierr); 139608449791SMatthew G. Knepley if (locX_t) { 13974d0b9603SSander Arens ierr = DMPlexVecGetClosure(dm, section, locX_t, support[0], NULL, &x);CHKERRQ(ierr); 13984d0b9603SSander Arens for (i = 0; i < totDim; ++i) u_t[face*totDim+i] = x[i]; 13994d0b9603SSander Arens ierr = DMPlexVecRestoreClosure(dm, section, locX_t, support[0], NULL, &x);CHKERRQ(ierr); 140024cdb843SMatthew G. Knepley } 14012d91c981SSander Arens if (locA) { 14024d0b9603SSander Arens ierr = DMPlexVecGetClosure(plex, sectionAux, locA, support[0], NULL, &x);CHKERRQ(ierr); 14034d0b9603SSander Arens for (i = 0; i < totDimAux; ++i) a[face*totDimAux+i] = x[i]; 14044d0b9603SSander Arens ierr = DMPlexVecRestoreClosure(plex, sectionAux, locA, support[0], NULL, &x);CHKERRQ(ierr); 140524cdb843SMatthew G. Knepley } 14064d0b9603SSander Arens ++face; 140724cdb843SMatthew G. Knepley } 14084d0b9603SSander Arens ierr = PetscMemzero(elemVec, numFaces* totDim * sizeof(PetscScalar));CHKERRQ(ierr); 1409cbf52bb1SSander Arens { 141024cdb843SMatthew G. Knepley PetscFE fe; 141108449791SMatthew G. Knepley PetscQuadrature q; 141224cdb843SMatthew G. Knepley PetscInt numQuadPoints, Nb; 141324cdb843SMatthew G. Knepley /* Conforming batches */ 141424cdb843SMatthew G. Knepley PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 141524cdb843SMatthew G. Knepley /* Remainder */ 141624cdb843SMatthew G. Knepley PetscInt Nr, offset; 141724cdb843SMatthew G. Knepley 14184d0b9603SSander Arens ierr = PetscDSGetDiscretization(prob, field, (PetscObject *) &fe);CHKERRQ(ierr); 14194d0b9603SSander Arens ierr = PetscFEGetFaceQuadrature(fe, &q);CHKERRQ(ierr); 142024cdb843SMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 142124cdb843SMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 14229c3cf19fSMatthew G. Knepley ierr = PetscQuadratureGetData(q, NULL, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 142324cdb843SMatthew G. Knepley blockSize = Nb*numQuadPoints; 142424cdb843SMatthew G. Knepley batchSize = numBlocks * blockSize; 142524cdb843SMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 142624cdb843SMatthew G. Knepley numChunks = numFaces / (numBatches*batchSize); 142724cdb843SMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 142824cdb843SMatthew G. Knepley Nr = numFaces % (numBatches*batchSize); 142924cdb843SMatthew G. Knepley offset = numFaces - Nr; 14304d0b9603SSander Arens ierr = PetscFEIntegrateBdResidual(fe, prob, field, Ne, fgeom, u, u_t, probAux, a, t, elemVec);CHKERRQ(ierr); 14314d0b9603SSander Arens ierr = PetscFEIntegrateBdResidual(fe, prob, field, Nr, &fgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, a ? &a[offset*totDimAux] : NULL, t, &elemVec[offset*totDim]);CHKERRQ(ierr); 143224cdb843SMatthew G. Knepley } 14334d0b9603SSander Arens for (p = 0, face = 0; p < numPoints; ++p) { 14344d0b9603SSander Arens const PetscInt point = points[p], *support; 143524cdb843SMatthew G. Knepley 143624cdb843SMatthew G. Knepley ierr = DMLabelGetValue(depth, point, &dep);CHKERRQ(ierr); 143724cdb843SMatthew G. Knepley if (dep != dim-1) continue; 14384d0b9603SSander Arens if (mesh->printFEM > 1) {ierr = DMPrintCellVector(point, "BdResidual", totDim, &elemVec[face*totDim]);CHKERRQ(ierr);} 14394d0b9603SSander Arens ierr = DMPlexGetSupport(dm, point, &support);CHKERRQ(ierr); 14404d0b9603SSander Arens ierr = DMPlexVecSetClosure(dm, NULL, locF, support[0], &elemVec[face*totDim], ADD_ALL_VALUES);CHKERRQ(ierr); 14414d0b9603SSander Arens ++face; 144224cdb843SMatthew G. Knepley } 144324cdb843SMatthew G. Knepley ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 144424cdb843SMatthew G. Knepley ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 14454d0b9603SSander Arens ierr = PetscFree4(u,u_t,fgeom,elemVec);CHKERRQ(ierr); 14461c46aac1SSander Arens if (locA) {ierr = PetscFree(a);CHKERRQ(ierr);} 144724cdb843SMatthew G. Knepley } 1448a8e83e26SSanderA } 14491c46aac1SSander Arens if (plex) {ierr = DMDestroy(&plex);CHKERRQ(ierr);} 145008449791SMatthew G. Knepley PetscFunctionReturn(0); 145108449791SMatthew G. Knepley } 145208449791SMatthew G. Knepley 145311dd639bSMatthew G. Knepley PetscErrorCode DMPlexComputeResidual_Internal(DM dm, PetscInt cStart, PetscInt cEnd, PetscReal time, Vec locX, Vec locX_t, PetscReal t, Vec locF, void *user) 145408449791SMatthew G. Knepley { 145508449791SMatthew G. Knepley DM_Plex *mesh = (DM_Plex *) dm->data; 145608449791SMatthew G. Knepley const char *name = "Residual"; 145708449791SMatthew G. Knepley DM dmAux = NULL; 145808449791SMatthew G. Knepley DM dmGrad = NULL; 145908449791SMatthew G. Knepley DMLabel ghostLabel = NULL; 146008449791SMatthew G. Knepley PetscDS prob = NULL; 146108449791SMatthew G. Knepley PetscDS probAux = NULL; 146208449791SMatthew G. Knepley PetscSection section = NULL; 146308449791SMatthew G. Knepley PetscBool useFEM = PETSC_FALSE; 146408449791SMatthew G. Knepley PetscBool useFVM = PETSC_FALSE; 1465b2666ceaSMatthew G. Knepley PetscBool isImplicit = (locX_t || time == PETSC_MIN_REAL) ? PETSC_TRUE : PETSC_FALSE; 146608449791SMatthew G. Knepley PetscFV fvm = NULL; 146708449791SMatthew G. Knepley PetscFECellGeom *cgeomFEM = NULL; 14682f84e9bcSToby Isaac PetscScalar *cgeomScal; 146908449791SMatthew G. Knepley PetscFVCellGeom *cgeomFVM = NULL; 147008449791SMatthew G. Knepley PetscFVFaceGeom *fgeomFVM = NULL; 147108449791SMatthew G. Knepley Vec locA, cellGeometryFEM = NULL, cellGeometryFVM = NULL, faceGeometryFVM = NULL, grad, locGrad = NULL; 14723755293bSMatthew G. Knepley PetscScalar *u = NULL, *u_t, *a, *uL, *uR; 1473c4d4a4f8SMatthew G. Knepley PetscInt Nf, f, totDim, totDimAux, numChunks, cellChunkSize, faceChunkSize, chunk, fStart, fEnd; 147408449791SMatthew G. Knepley PetscErrorCode ierr; 147508449791SMatthew G. Knepley 147608449791SMatthew G. Knepley PetscFunctionBegin; 147708449791SMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_ResidualFEM,dm,0,0,0);CHKERRQ(ierr); 147808449791SMatthew G. Knepley /* TODO The places where we have to use isFE are probably the member functions for the PetscDisc class */ 1479195142f5SMatthew G. Knepley /* TODO The FVM geometry is over-manipulated. Make the precalc functions return exactly what we need */ 148008449791SMatthew G. Knepley /* FEM+FVM */ 148108449791SMatthew G. Knepley /* 1: Get sizes from dm and dmAux */ 148208449791SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1483c58f1c22SToby Isaac ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 148408449791SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 148508449791SMatthew G. Knepley ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 148608449791SMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 148708449791SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &locA);CHKERRQ(ierr); 148808449791SMatthew G. Knepley if (locA) { 148908449791SMatthew G. Knepley ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr); 149008449791SMatthew G. Knepley ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 149108449791SMatthew G. Knepley ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 149208449791SMatthew G. Knepley } 149308449791SMatthew G. Knepley /* 2: Get geometric data */ 149408449791SMatthew G. Knepley for (f = 0; f < Nf; ++f) { 149508449791SMatthew G. Knepley PetscObject obj; 149608449791SMatthew G. Knepley PetscClassId id; 14977173168dSMatthew G. Knepley PetscBool fimp; 149808449791SMatthew G. Knepley 14997173168dSMatthew G. Knepley ierr = PetscDSGetImplicit(prob, f, &fimp);CHKERRQ(ierr); 15007173168dSMatthew G. Knepley if (isImplicit != fimp) continue; 150108449791SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 150208449791SMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 150308449791SMatthew G. Knepley if (id == PETSCFE_CLASSID) {useFEM = PETSC_TRUE;} 150408449791SMatthew G. Knepley if (id == PETSCFV_CLASSID) {useFVM = PETSC_TRUE; fvm = (PetscFV) obj;} 150508449791SMatthew G. Knepley } 150608449791SMatthew G. Knepley if (useFEM) { 150708449791SMatthew G. Knepley ierr = DMPlexSNESGetGeometryFEM(dm, &cellGeometryFEM);CHKERRQ(ierr); 15082f84e9bcSToby Isaac ierr = VecGetArray(cellGeometryFEM, &cgeomScal);CHKERRQ(ierr); 15092f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 15102f84e9bcSToby Isaac DM dmCell; 15112f84e9bcSToby Isaac PetscInt c; 15122f84e9bcSToby Isaac 15132f84e9bcSToby Isaac ierr = VecGetDM(cellGeometryFEM,&dmCell);CHKERRQ(ierr); 15142f84e9bcSToby Isaac ierr = PetscMalloc1(cEnd-cStart,&cgeomFEM);CHKERRQ(ierr); 15152f84e9bcSToby Isaac for (c = 0; c < cEnd - cStart; c++) { 15162f84e9bcSToby Isaac PetscScalar *thisgeom; 15172f84e9bcSToby Isaac 15182f84e9bcSToby Isaac ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 15192f84e9bcSToby Isaac cgeomFEM[c] = *((PetscFECellGeom *) thisgeom); 15202f84e9bcSToby Isaac } 15212f84e9bcSToby Isaac } 15222f84e9bcSToby Isaac else { 15232f84e9bcSToby Isaac cgeomFEM = (PetscFECellGeom *) cgeomScal; 15242f84e9bcSToby Isaac } 152508449791SMatthew G. Knepley } 152608449791SMatthew G. Knepley if (useFVM) { 152708449791SMatthew G. Knepley ierr = DMPlexSNESGetGeometryFVM(dm, &faceGeometryFVM, &cellGeometryFVM, NULL);CHKERRQ(ierr); 152808449791SMatthew G. Knepley ierr = VecGetArrayRead(faceGeometryFVM, (const PetscScalar **) &fgeomFVM);CHKERRQ(ierr); 152908449791SMatthew G. Knepley ierr = VecGetArrayRead(cellGeometryFVM, (const PetscScalar **) &cgeomFVM);CHKERRQ(ierr); 153008449791SMatthew G. Knepley /* Reconstruct and limit cell gradients */ 153108449791SMatthew G. Knepley ierr = DMPlexSNESGetGradientDM(dm, fvm, &dmGrad);CHKERRQ(ierr); 153208449791SMatthew G. Knepley if (dmGrad) { 153308449791SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 153408449791SMatthew G. Knepley ierr = DMGetGlobalVector(dmGrad, &grad);CHKERRQ(ierr); 1535de555695SMatthew G. Knepley ierr = DMPlexReconstructGradients_Internal(dm, fvm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad);CHKERRQ(ierr); 153608449791SMatthew G. Knepley /* Communicate gradient values */ 153708449791SMatthew G. Knepley ierr = DMGetLocalVector(dmGrad, &locGrad);CHKERRQ(ierr); 153808449791SMatthew G. Knepley ierr = DMGlobalToLocalBegin(dmGrad, grad, INSERT_VALUES, locGrad);CHKERRQ(ierr); 153908449791SMatthew G. Knepley ierr = DMGlobalToLocalEnd(dmGrad, grad, INSERT_VALUES, locGrad);CHKERRQ(ierr); 154008449791SMatthew G. Knepley ierr = DMRestoreGlobalVector(dmGrad, &grad);CHKERRQ(ierr); 154108449791SMatthew G. Knepley } 1542bdd6f66aSToby Isaac /* Handle non-essential (e.g. outflow) boundary values */ 1543bdd6f66aSToby Isaac ierr = DMPlexInsertBoundaryValues(dm, PETSC_FALSE, locX, time, faceGeometryFVM, cellGeometryFVM, locGrad);CHKERRQ(ierr); 154408449791SMatthew G. Knepley } 154508449791SMatthew G. Knepley /* Loop over chunks */ 154608449791SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 154708449791SMatthew G. Knepley numChunks = 1; 154808449791SMatthew G. Knepley cellChunkSize = (cEnd - cStart)/numChunks; 154908449791SMatthew G. Knepley faceChunkSize = (fEnd - fStart)/numChunks; 155008449791SMatthew G. Knepley for (chunk = 0; chunk < numChunks; ++chunk) { 15512eefff9cSMatthew G. Knepley PetscScalar *elemVec, *fluxL, *fluxR; 15522eefff9cSMatthew G. Knepley PetscReal *vol; 155308449791SMatthew G. Knepley PetscFVFaceGeom *fgeom; 155408449791SMatthew G. Knepley PetscInt cS = cStart+chunk*cellChunkSize, cE = PetscMin(cS+cellChunkSize, cEnd), numCells = cE - cS, cell; 15553755293bSMatthew G. Knepley PetscInt fS = fStart+chunk*faceChunkSize, fE = PetscMin(fS+faceChunkSize, fEnd), numFaces = 0, face; 155608449791SMatthew G. Knepley 155708449791SMatthew G. Knepley /* Extract field coefficients */ 155808449791SMatthew G. Knepley if (useFEM) { 155908449791SMatthew G. Knepley ierr = DMPlexGetCellFields(dm, cS, cE, locX, locX_t, locA, &u, &u_t, &a);CHKERRQ(ierr); 156069291d52SBarry Smith ierr = DMGetWorkArray(dm, numCells*totDim, MPIU_SCALAR, &elemVec);CHKERRQ(ierr); 1561215c4595SMatthew G. Knepley ierr = PetscMemzero(elemVec, numCells*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 156208449791SMatthew G. Knepley } 156308449791SMatthew G. Knepley if (useFVM) { 15645f942ad5SMatthew G. Knepley ierr = DMPlexGetFaceFields(dm, fS, fE, locX, locX_t, faceGeometryFVM, cellGeometryFVM, locGrad, &numFaces, &uL, &uR);CHKERRQ(ierr); 15655f942ad5SMatthew G. Knepley ierr = DMPlexGetFaceGeometry(dm, fS, fE, faceGeometryFVM, cellGeometryFVM, &numFaces, &fgeom, &vol);CHKERRQ(ierr); 156669291d52SBarry Smith ierr = DMGetWorkArray(dm, numFaces*totDim, MPIU_SCALAR, &fluxL);CHKERRQ(ierr); 156769291d52SBarry Smith ierr = DMGetWorkArray(dm, numFaces*totDim, MPIU_SCALAR, &fluxR);CHKERRQ(ierr); 1568215c4595SMatthew G. Knepley ierr = PetscMemzero(fluxL, numFaces*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 1569215c4595SMatthew G. Knepley ierr = PetscMemzero(fluxR, numFaces*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 157008449791SMatthew G. Knepley } 157108449791SMatthew G. Knepley /* TODO We will interlace both our field coefficients (u, u_t, uL, uR, etc.) and our output (elemVec, fL, fR). I think this works */ 157208449791SMatthew G. Knepley /* Loop over fields */ 157308449791SMatthew G. Knepley for (f = 0; f < Nf; ++f) { 157408449791SMatthew G. Knepley PetscObject obj; 157508449791SMatthew G. Knepley PetscClassId id; 15767173168dSMatthew G. Knepley PetscBool fimp; 157708449791SMatthew G. Knepley PetscInt numChunks, numBatches, batchSize, numBlocks, blockSize, Ne, Nr, offset; 157808449791SMatthew G. Knepley 15797173168dSMatthew G. Knepley ierr = PetscDSGetImplicit(prob, f, &fimp);CHKERRQ(ierr); 15807173168dSMatthew G. Knepley if (isImplicit != fimp) continue; 158108449791SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 158208449791SMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 158308449791SMatthew G. Knepley if (id == PETSCFE_CLASSID) { 158408449791SMatthew G. Knepley PetscFE fe = (PetscFE) obj; 158508449791SMatthew G. Knepley PetscQuadrature q; 158608449791SMatthew G. Knepley PetscInt Nq, Nb; 158708449791SMatthew G. Knepley 158808449791SMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 158908449791SMatthew G. Knepley 159008449791SMatthew G. Knepley ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 15919c3cf19fSMatthew G. Knepley ierr = PetscQuadratureGetData(q, NULL, NULL, &Nq, NULL, NULL);CHKERRQ(ierr); 159208449791SMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 159308449791SMatthew G. Knepley blockSize = Nb*Nq; 159408449791SMatthew G. Knepley batchSize = numBlocks * blockSize; 159508449791SMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 159608449791SMatthew G. Knepley numChunks = numCells / (numBatches*batchSize); 159708449791SMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 159808449791SMatthew G. Knepley Nr = numCells % (numBatches*batchSize); 159908449791SMatthew G. Knepley offset = numCells - Nr; 160008449791SMatthew G. Knepley /* Integrate FE residual to get elemVec (need fields at quadrature points) */ 160108449791SMatthew G. Knepley /* 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) */ 160211dd639bSMatthew G. Knepley ierr = PetscFEIntegrateResidual(fe, prob, f, Ne, cgeomFEM, u, u_t, probAux, a, t, elemVec);CHKERRQ(ierr); 160311dd639bSMatthew G. Knepley 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); 160408449791SMatthew G. Knepley } else if (id == PETSCFV_CLASSID) { 160508449791SMatthew G. Knepley PetscFV fv = (PetscFV) obj; 160608449791SMatthew G. Knepley 160708449791SMatthew G. Knepley Ne = numFaces; 160808449791SMatthew G. Knepley /* Riemann solve over faces (need fields at face centroids) */ 160908449791SMatthew G. Knepley /* We need to evaluate FE fields at those coordinates */ 161008449791SMatthew G. Knepley ierr = PetscFVIntegrateRHSFunction(fv, prob, f, Ne, fgeom, vol, uL, uR, fluxL, fluxR);CHKERRQ(ierr); 161108449791SMatthew G. Knepley } else SETERRQ1(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", f); 161208449791SMatthew G. Knepley } 16132f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 16142f84e9bcSToby Isaac ierr = PetscFree(cgeomFEM);CHKERRQ(ierr); 16152f84e9bcSToby Isaac } 16162f84e9bcSToby Isaac else { 16172f84e9bcSToby Isaac cgeomFEM = NULL; 16182f84e9bcSToby Isaac } 16190163fd50SMatthew G. Knepley if (cellGeometryFEM) {ierr = VecRestoreArray(cellGeometryFEM, &cgeomScal);CHKERRQ(ierr);} 162008449791SMatthew G. Knepley /* Loop over domain */ 162108449791SMatthew G. Knepley if (useFEM) { 162208449791SMatthew G. Knepley /* Add elemVec to locX */ 162308449791SMatthew G. Knepley for (cell = cS; cell < cE; ++cell) { 162408449791SMatthew G. Knepley if (mesh->printFEM > 1) {ierr = DMPrintCellVector(cell, name, totDim, &elemVec[cell*totDim]);CHKERRQ(ierr);} 1625b4920ed3SToby Isaac if (ghostLabel) { 1626b4920ed3SToby Isaac PetscInt ghostVal; 1627b4920ed3SToby Isaac 1628b4920ed3SToby Isaac ierr = DMLabelGetValue(ghostLabel,cell,&ghostVal);CHKERRQ(ierr); 1629b4920ed3SToby Isaac if (ghostVal > 0) continue; 1630b4920ed3SToby Isaac } 1631c14a31d2SToby Isaac ierr = DMPlexVecSetClosure(dm, section, locF, cell, &elemVec[cell*totDim], ADD_ALL_VALUES);CHKERRQ(ierr); 163208449791SMatthew G. Knepley } 163308449791SMatthew G. Knepley } 163408449791SMatthew G. Knepley if (useFVM) { 16354a394323SMatthew G. Knepley PetscScalar *fa; 163608449791SMatthew G. Knepley PetscInt iface; 163708449791SMatthew G. Knepley 163808449791SMatthew G. Knepley ierr = VecGetArray(locF, &fa);CHKERRQ(ierr); 1639c10b5f1bSMatthew G. Knepley for (f = 0; f < Nf; ++f) { 1640c10b5f1bSMatthew G. Knepley PetscFV fv; 1641c10b5f1bSMatthew G. Knepley PetscObject obj; 1642c10b5f1bSMatthew G. Knepley PetscClassId id; 16434a394323SMatthew G. Knepley PetscInt foff, pdim; 1644c10b5f1bSMatthew G. Knepley 1645c10b5f1bSMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1646c10b5f1bSMatthew G. Knepley ierr = PetscDSGetFieldOffset(prob, f, &foff);CHKERRQ(ierr); 1647c10b5f1bSMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1648c10b5f1bSMatthew G. Knepley if (id != PETSCFV_CLASSID) continue; 1649c10b5f1bSMatthew G. Knepley fv = (PetscFV) obj; 1650c10b5f1bSMatthew G. Knepley ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr); 1651c10b5f1bSMatthew G. Knepley /* Accumulate fluxes to cells */ 165208449791SMatthew G. Knepley for (face = fS, iface = 0; face < fE; ++face) { 165308449791SMatthew G. Knepley const PetscInt *cells; 1654b4920ed3SToby Isaac PetscScalar *fL = NULL, *fR = NULL; 16557c45b140SToby Isaac PetscInt ghost, d, nsupp, nchild; 165608449791SMatthew G. Knepley 165708449791SMatthew G. Knepley ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1658ffe9ad51SToby Isaac ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 16597c45b140SToby Isaac ierr = DMPlexGetTreeChildren(dm, face, &nchild, NULL);CHKERRQ(ierr); 16607c45b140SToby Isaac if (ghost >= 0 || nsupp > 2 || nchild > 0) continue; 166108449791SMatthew G. Knepley ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 1662b4920ed3SToby Isaac ierr = DMLabelGetValue(ghostLabel,cells[0],&ghost);CHKERRQ(ierr); 1663b6a34eadSToby Isaac if (ghost <= 0) {ierr = DMPlexPointLocalFieldRef(dm, cells[0], f, fa, &fL);CHKERRQ(ierr);} 1664b4920ed3SToby Isaac ierr = DMLabelGetValue(ghostLabel,cells[1],&ghost);CHKERRQ(ierr); 1665b6a34eadSToby Isaac if (ghost <= 0) {ierr = DMPlexPointLocalFieldRef(dm, cells[1], f, fa, &fR);CHKERRQ(ierr);} 1666c10b5f1bSMatthew G. Knepley for (d = 0; d < pdim; ++d) { 1667c10b5f1bSMatthew G. Knepley if (fL) fL[d] -= fluxL[iface*totDim+foff+d]; 1668c10b5f1bSMatthew G. Knepley if (fR) fR[d] += fluxR[iface*totDim+foff+d]; 166908449791SMatthew G. Knepley } 167008449791SMatthew G. Knepley ++iface; 167108449791SMatthew G. Knepley } 1672dab51205SMatthew G. Knepley } 1673dab51205SMatthew G. Knepley ierr = VecRestoreArray(locF, &fa);CHKERRQ(ierr); 1674dab51205SMatthew G. Knepley } 1675c10b5f1bSMatthew G. Knepley /* Handle time derivative */ 1676c10b5f1bSMatthew G. Knepley if (locX_t) { 1677dab51205SMatthew G. Knepley PetscScalar *x_t, *fa; 1678dab51205SMatthew G. Knepley 1679dab51205SMatthew G. Knepley ierr = VecGetArray(locF, &fa);CHKERRQ(ierr); 1680c10b5f1bSMatthew G. Knepley ierr = VecGetArray(locX_t, &x_t);CHKERRQ(ierr); 1681dab51205SMatthew G. Knepley for (f = 0; f < Nf; ++f) { 1682dab51205SMatthew G. Knepley PetscFV fv; 1683dab51205SMatthew G. Knepley PetscObject obj; 1684dab51205SMatthew G. Knepley PetscClassId id; 1685dab51205SMatthew G. Knepley PetscInt pdim, d; 1686dab51205SMatthew G. Knepley 1687dab51205SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1688dab51205SMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1689dab51205SMatthew G. Knepley if (id != PETSCFV_CLASSID) continue; 1690dab51205SMatthew G. Knepley fv = (PetscFV) obj; 1691dab51205SMatthew G. Knepley ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr); 1692c10b5f1bSMatthew G. Knepley for (cell = cS; cell < cE; ++cell) { 1693c10b5f1bSMatthew G. Knepley PetscScalar *u_t, *r; 1694c10b5f1bSMatthew G. Knepley 1695b4920ed3SToby Isaac if (ghostLabel) { 1696b4920ed3SToby Isaac PetscInt ghostVal; 1697b4920ed3SToby Isaac 1698b4920ed3SToby Isaac ierr = DMLabelGetValue(ghostLabel,cell,&ghostVal);CHKERRQ(ierr); 1699b4920ed3SToby Isaac if (ghostVal > 0) continue; 1700b4920ed3SToby Isaac } 1701c10b5f1bSMatthew G. Knepley ierr = DMPlexPointLocalFieldRead(dm, cell, f, x_t, &u_t);CHKERRQ(ierr); 1702c10b5f1bSMatthew G. Knepley ierr = DMPlexPointLocalFieldRef(dm, cell, f, fa, &r);CHKERRQ(ierr); 1703d63b37e5SMatthew G. Knepley for (d = 0; d < pdim; ++d) r[d] += u_t[d]; 1704c10b5f1bSMatthew G. Knepley } 1705dab51205SMatthew G. Knepley } 1706c10b5f1bSMatthew G. Knepley ierr = VecRestoreArray(locX_t, &x_t);CHKERRQ(ierr); 170708449791SMatthew G. Knepley ierr = VecRestoreArray(locF, &fa);CHKERRQ(ierr); 170808449791SMatthew G. Knepley } 170908449791SMatthew G. Knepley if (useFEM) { 171008449791SMatthew G. Knepley ierr = DMPlexRestoreCellFields(dm, cS, cE, locX, locX_t, locA, &u, &u_t, &a);CHKERRQ(ierr); 171169291d52SBarry Smith ierr = DMRestoreWorkArray(dm, numCells*totDim, MPIU_SCALAR, &elemVec);CHKERRQ(ierr); 171208449791SMatthew G. Knepley } 171308449791SMatthew G. Knepley if (useFVM) { 17145f942ad5SMatthew G. Knepley ierr = DMPlexRestoreFaceFields(dm, fS, fE, locX, locX_t, faceGeometryFVM, cellGeometryFVM, locGrad, &numFaces, &uL, &uR);CHKERRQ(ierr); 17155f942ad5SMatthew G. Knepley ierr = DMPlexRestoreFaceGeometry(dm, fS, fE, faceGeometryFVM, cellGeometryFVM, &numFaces, &fgeom, &vol);CHKERRQ(ierr); 171669291d52SBarry Smith ierr = DMRestoreWorkArray(dm, numFaces*totDim, MPIU_SCALAR, &fluxL);CHKERRQ(ierr); 171769291d52SBarry Smith ierr = DMRestoreWorkArray(dm, numFaces*totDim, MPIU_SCALAR, &fluxR);CHKERRQ(ierr); 171808449791SMatthew G. Knepley if (dmGrad) {ierr = DMRestoreLocalVector(dmGrad, &locGrad);CHKERRQ(ierr);} 171908449791SMatthew G. Knepley } 172008449791SMatthew G. Knepley } 172108449791SMatthew G. Knepley 172211dd639bSMatthew G. Knepley if (useFEM) {ierr = DMPlexComputeBdResidual_Internal(dm, locX, locX_t, t, locF, user);CHKERRQ(ierr);} 172308449791SMatthew G. Knepley 172408449791SMatthew G. Knepley /* FEM */ 172508449791SMatthew G. Knepley /* 1: Get sizes from dm and dmAux */ 172608449791SMatthew G. Knepley /* 2: Get geometric data */ 172708449791SMatthew G. Knepley /* 3: Handle boundary values */ 172808449791SMatthew G. Knepley /* 4: Loop over domain */ 172908449791SMatthew G. Knepley /* Extract coefficients */ 173008449791SMatthew G. Knepley /* Loop over fields */ 173108449791SMatthew G. Knepley /* Set tiling for FE*/ 173208449791SMatthew G. Knepley /* Integrate FE residual to get elemVec */ 173308449791SMatthew G. Knepley /* Loop over subdomain */ 173408449791SMatthew G. Knepley /* Loop over quad points */ 173508449791SMatthew G. Knepley /* Transform coords to real space */ 173608449791SMatthew G. Knepley /* Evaluate field and aux fields at point */ 173708449791SMatthew G. Knepley /* Evaluate residual at point */ 173808449791SMatthew G. Knepley /* Transform residual to real space */ 173908449791SMatthew G. Knepley /* Add residual to elemVec */ 174008449791SMatthew G. Knepley /* Loop over domain */ 174108449791SMatthew G. Knepley /* Add elemVec to locX */ 174208449791SMatthew G. Knepley 174308449791SMatthew G. Knepley /* FVM */ 174408449791SMatthew G. Knepley /* Get geometric data */ 174508449791SMatthew G. Knepley /* If using gradients */ 174608449791SMatthew G. Knepley /* Compute gradient data */ 174708449791SMatthew G. Knepley /* Loop over domain faces */ 174808449791SMatthew G. Knepley /* Count computational faces */ 174908449791SMatthew G. Knepley /* Reconstruct cell gradient */ 175008449791SMatthew G. Knepley /* Loop over domain cells */ 175108449791SMatthew G. Knepley /* Limit cell gradients */ 175208449791SMatthew G. Knepley /* Handle boundary values */ 175308449791SMatthew G. Knepley /* Loop over domain faces */ 175408449791SMatthew G. Knepley /* Read out field, centroid, normal, volume for each side of face */ 175508449791SMatthew G. Knepley /* Riemann solve over faces */ 175608449791SMatthew G. Knepley /* Loop over domain faces */ 175708449791SMatthew G. Knepley /* Accumulate fluxes to cells */ 175808449791SMatthew G. Knepley /* TODO Change printFEM to printDisc here */ 1759247ba720SToby Isaac if (mesh->printFEM) { 1760247ba720SToby Isaac Vec locFbc; 1761247ba720SToby Isaac PetscInt pStart, pEnd, p, maxDof; 1762247ba720SToby Isaac PetscScalar *zeroes; 1763247ba720SToby Isaac 1764247ba720SToby Isaac ierr = VecDuplicate(locF,&locFbc);CHKERRQ(ierr); 1765247ba720SToby Isaac ierr = VecCopy(locF,locFbc);CHKERRQ(ierr); 1766247ba720SToby Isaac ierr = PetscSectionGetChart(section,&pStart,&pEnd);CHKERRQ(ierr); 1767247ba720SToby Isaac ierr = PetscSectionGetMaxDof(section,&maxDof);CHKERRQ(ierr); 1768247ba720SToby Isaac ierr = PetscCalloc1(maxDof,&zeroes);CHKERRQ(ierr); 1769247ba720SToby Isaac for (p = pStart; p < pEnd; p++) { 1770247ba720SToby Isaac ierr = VecSetValuesSection(locFbc,section,p,zeroes,INSERT_BC_VALUES);CHKERRQ(ierr); 1771247ba720SToby Isaac } 1772247ba720SToby Isaac ierr = PetscFree(zeroes);CHKERRQ(ierr); 1773247ba720SToby Isaac ierr = DMPrintLocalVec(dm, name, mesh->printTol, locFbc);CHKERRQ(ierr); 1774247ba720SToby Isaac ierr = VecDestroy(&locFbc);CHKERRQ(ierr); 1775247ba720SToby Isaac } 177624cdb843SMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_ResidualFEM,dm,0,0,0);CHKERRQ(ierr); 177724cdb843SMatthew G. Knepley PetscFunctionReturn(0); 177824cdb843SMatthew G. Knepley } 177924cdb843SMatthew G. Knepley 178011dd639bSMatthew G. Knepley static PetscErrorCode DMPlexComputeResidualFEM_Check_Internal(DM dm, Vec X, Vec X_t, PetscReal t, Vec F, void *user) 178124cdb843SMatthew G. Knepley { 178224cdb843SMatthew G. Knepley DM dmCh, dmAux; 1783bbce034cSMatthew G. Knepley Vec A, cellgeom; 178424cdb843SMatthew G. Knepley PetscDS prob, probCh, probAux = NULL; 178524cdb843SMatthew G. Knepley PetscQuadrature q; 178624cdb843SMatthew G. Knepley PetscSection section, sectionAux; 17872f84e9bcSToby Isaac PetscFECellGeom *cgeom = NULL; 17882f84e9bcSToby Isaac PetscScalar *cgeomScal; 178924cdb843SMatthew G. Knepley PetscScalar *elemVec, *elemVecCh, *u, *u_t, *a = NULL; 179024cdb843SMatthew G. Knepley PetscInt dim, Nf, f, numCells, cStart, cEnd, c; 17913755293bSMatthew G. Knepley PetscInt totDim, totDimAux = 0, diffCell = 0; 179224cdb843SMatthew G. Knepley PetscErrorCode ierr; 179324cdb843SMatthew G. Knepley 179424cdb843SMatthew G. Knepley PetscFunctionBegin; 179524cdb843SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 179624cdb843SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 179724cdb843SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 179824cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 179924cdb843SMatthew G. Knepley ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 180024cdb843SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 180124cdb843SMatthew G. Knepley numCells = cEnd - cStart; 180224cdb843SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "dmCh", (PetscObject *) &dmCh);CHKERRQ(ierr); 180324cdb843SMatthew G. Knepley ierr = DMGetDS(dmCh, &probCh);CHKERRQ(ierr); 180424cdb843SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 180524cdb843SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 180624cdb843SMatthew G. Knepley if (dmAux) { 180724cdb843SMatthew G. Knepley ierr = DMGetDefaultSection(dmAux, §ionAux);CHKERRQ(ierr); 180824cdb843SMatthew G. Knepley ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 180924cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 181024cdb843SMatthew G. Knepley } 181124cdb843SMatthew G. Knepley ierr = VecSet(F, 0.0);CHKERRQ(ierr); 1812bbce034cSMatthew G. Knepley ierr = PetscMalloc3(numCells*totDim,&u,X_t ? numCells*totDim : 0,&u_t,numCells*totDim,&elemVec);CHKERRQ(ierr); 181324cdb843SMatthew G. Knepley ierr = PetscMalloc1(numCells*totDim,&elemVecCh);CHKERRQ(ierr); 181424cdb843SMatthew G. Knepley if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 1815bbce034cSMatthew G. Knepley ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 18162f84e9bcSToby Isaac ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 18172f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 18182f84e9bcSToby Isaac DM dmCell; 18192f84e9bcSToby Isaac 18202f84e9bcSToby Isaac ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 18212f84e9bcSToby Isaac ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 18222f84e9bcSToby Isaac for (c = 0; c < cEnd - cStart; c++) { 18237726bd6bSToby Isaac PetscScalar *thisgeom; 18242f84e9bcSToby Isaac 18252f84e9bcSToby Isaac ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 18262f84e9bcSToby Isaac cgeom[c] = *((PetscFECellGeom *) thisgeom); 18272f84e9bcSToby Isaac } 18282f84e9bcSToby Isaac } 18292f84e9bcSToby Isaac else { 18302f84e9bcSToby Isaac cgeom = (PetscFECellGeom *) cgeomScal; 18312f84e9bcSToby Isaac } 183224cdb843SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 183324cdb843SMatthew G. Knepley PetscScalar *x = NULL, *x_t = NULL; 183424cdb843SMatthew G. Knepley PetscInt i; 183524cdb843SMatthew G. Knepley 183624cdb843SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 183724cdb843SMatthew G. Knepley for (i = 0; i < totDim; ++i) u[c*totDim+i] = x[i]; 183824cdb843SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 183924cdb843SMatthew G. Knepley if (X_t) { 184024cdb843SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 184124cdb843SMatthew G. Knepley for (i = 0; i < totDim; ++i) u_t[c*totDim+i] = x_t[i]; 184224cdb843SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 184324cdb843SMatthew G. Knepley } 184424cdb843SMatthew G. Knepley if (dmAux) { 18456da023fcSToby Isaac DM dmAuxPlex; 18466da023fcSToby Isaac 18476da023fcSToby Isaac ierr = DMSNESConvertPlex(dmAux,&dmAuxPlex, PETSC_FALSE);CHKERRQ(ierr); 18486da023fcSToby Isaac ierr = DMPlexVecGetClosure(dmAuxPlex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 184924cdb843SMatthew G. Knepley for (i = 0; i < totDimAux; ++i) a[c*totDimAux+i] = x[i]; 18506da023fcSToby Isaac ierr = DMPlexVecRestoreClosure(dmAuxPlex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 18516da023fcSToby Isaac ierr = DMDestroy(&dmAuxPlex);CHKERRQ(ierr); 185224cdb843SMatthew G. Knepley } 185324cdb843SMatthew G. Knepley } 185424cdb843SMatthew G. Knepley for (f = 0; f < Nf; ++f) { 185524cdb843SMatthew G. Knepley PetscFE fe, feCh; 185624cdb843SMatthew G. Knepley PetscInt numQuadPoints, Nb; 185724cdb843SMatthew G. Knepley /* Conforming batches */ 185824cdb843SMatthew G. Knepley PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 185924cdb843SMatthew G. Knepley /* Remainder */ 186024cdb843SMatthew G. Knepley PetscInt Nr, offset; 186124cdb843SMatthew G. Knepley 186224cdb843SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fe);CHKERRQ(ierr); 186324cdb843SMatthew G. Knepley ierr = PetscDSGetDiscretization(probCh, f, (PetscObject *) &feCh);CHKERRQ(ierr); 186424cdb843SMatthew G. Knepley ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 186524cdb843SMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 186624cdb843SMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 18679c3cf19fSMatthew G. Knepley ierr = PetscQuadratureGetData(q, NULL, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 186824cdb843SMatthew G. Knepley blockSize = Nb*numQuadPoints; 186924cdb843SMatthew G. Knepley batchSize = numBlocks * blockSize; 187024cdb843SMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 187124cdb843SMatthew G. Knepley numChunks = numCells / (numBatches*batchSize); 187224cdb843SMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 187324cdb843SMatthew G. Knepley Nr = numCells % (numBatches*batchSize); 187424cdb843SMatthew G. Knepley offset = numCells - Nr; 187511dd639bSMatthew G. Knepley ierr = PetscFEIntegrateResidual(fe, prob, f, Ne, cgeom, u, u_t, probAux, a, t, elemVec);CHKERRQ(ierr); 187611dd639bSMatthew G. Knepley ierr = PetscFEIntegrateResidual(feCh, prob, f, Ne, cgeom, u, u_t, probAux, a, t, elemVecCh);CHKERRQ(ierr); 187711dd639bSMatthew G. Knepley 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); 187811dd639bSMatthew G. Knepley 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); 187924cdb843SMatthew G. Knepley } 188024cdb843SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 188124cdb843SMatthew G. Knepley PetscBool diff = PETSC_FALSE; 188224cdb843SMatthew G. Knepley PetscInt d; 188324cdb843SMatthew G. Knepley 188424cdb843SMatthew G. Knepley for (d = 0; d < totDim; ++d) if (PetscAbsScalar(elemVec[c*totDim+d] - elemVecCh[c*totDim+d]) > 1.0e-7) {diff = PETSC_TRUE;break;} 188524cdb843SMatthew G. Knepley if (diff) { 188624cdb843SMatthew G. Knepley ierr = PetscPrintf(PetscObjectComm((PetscObject) dm), "Different cell %d\n", c);CHKERRQ(ierr); 188724cdb843SMatthew G. Knepley ierr = DMPrintCellVector(c, "Residual", totDim, &elemVec[c*totDim]);CHKERRQ(ierr); 188824cdb843SMatthew G. Knepley ierr = DMPrintCellVector(c, "Check Residual", totDim, &elemVecCh[c*totDim]);CHKERRQ(ierr); 188924cdb843SMatthew G. Knepley ++diffCell; 189024cdb843SMatthew G. Knepley } 189124cdb843SMatthew G. Knepley if (diffCell > 9) break; 1892c14a31d2SToby Isaac ierr = DMPlexVecSetClosure(dm, section, F, c, &elemVec[c*totDim], ADD_ALL_VALUES);CHKERRQ(ierr); 189324cdb843SMatthew G. Knepley } 18942f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 18952f84e9bcSToby Isaac ierr = PetscFree(cgeom);CHKERRQ(ierr); 18962f84e9bcSToby Isaac } 18972f84e9bcSToby Isaac else { 18982f84e9bcSToby Isaac cgeom = NULL; 18992f84e9bcSToby Isaac } 19002f84e9bcSToby Isaac ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 1901bbce034cSMatthew G. Knepley ierr = PetscFree3(u,u_t,elemVec);CHKERRQ(ierr); 190224cdb843SMatthew G. Knepley ierr = PetscFree(elemVecCh);CHKERRQ(ierr); 190324cdb843SMatthew G. Knepley if (dmAux) {ierr = PetscFree(a);CHKERRQ(ierr);} 190424cdb843SMatthew G. Knepley PetscFunctionReturn(0); 190524cdb843SMatthew G. Knepley } 190624cdb843SMatthew G. Knepley 190724cdb843SMatthew G. Knepley /*@ 190824cdb843SMatthew G. Knepley DMPlexSNESComputeResidualFEM - Form the local residual F from the local input X using pointwise functions specified by the user 190924cdb843SMatthew G. Knepley 191024cdb843SMatthew G. Knepley Input Parameters: 191124cdb843SMatthew G. Knepley + dm - The mesh 191224cdb843SMatthew G. Knepley . X - Local solution 191324cdb843SMatthew G. Knepley - user - The user context 191424cdb843SMatthew G. Knepley 191524cdb843SMatthew G. Knepley Output Parameter: 191624cdb843SMatthew G. Knepley . F - Local output vector 191724cdb843SMatthew G. Knepley 191824cdb843SMatthew G. Knepley Level: developer 191924cdb843SMatthew G. Knepley 192024cdb843SMatthew G. Knepley .seealso: DMPlexComputeJacobianActionFEM() 192124cdb843SMatthew G. Knepley @*/ 192224cdb843SMatthew G. Knepley PetscErrorCode DMPlexSNESComputeResidualFEM(DM dm, Vec X, Vec F, void *user) 192324cdb843SMatthew G. Knepley { 192424cdb843SMatthew G. Knepley PetscObject check; 1925c4d4a4f8SMatthew G. Knepley PetscInt cStart, cEnd, cEndInterior; 19266da023fcSToby Isaac DM plex; 192724cdb843SMatthew G. Knepley PetscErrorCode ierr; 192824cdb843SMatthew G. Knepley 192924cdb843SMatthew G. Knepley PetscFunctionBegin; 19306da023fcSToby Isaac ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 19316da023fcSToby Isaac ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 19326da023fcSToby Isaac ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 1933c4d4a4f8SMatthew G. Knepley cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 193424cdb843SMatthew G. Knepley /* The dmCh is used to check two mathematically equivalent discretizations for computational equivalence */ 19356da023fcSToby Isaac ierr = PetscObjectQuery((PetscObject) plex, "dmCh", &check);CHKERRQ(ierr); 193611dd639bSMatthew G. Knepley if (check) {ierr = DMPlexComputeResidualFEM_Check_Internal(plex, X, NULL, 0.0, F, user);CHKERRQ(ierr);} 193711dd639bSMatthew G. Knepley else {ierr = DMPlexComputeResidual_Internal(plex, cStart, cEnd, PETSC_MIN_REAL, X, NULL, 0.0, F, user);CHKERRQ(ierr);} 19389a81d013SToby Isaac ierr = DMDestroy(&plex);CHKERRQ(ierr); 193924cdb843SMatthew G. Knepley PetscFunctionReturn(0); 194024cdb843SMatthew G. Knepley } 194124cdb843SMatthew G. Knepley 1942bdd6f66aSToby Isaac /*@ 1943bdd6f66aSToby Isaac DMPlexSNESComputeBoundaryFEM - Form the boundary values for the local input X 1944bdd6f66aSToby Isaac 1945bdd6f66aSToby Isaac Input Parameters: 1946bdd6f66aSToby Isaac + dm - The mesh 1947bdd6f66aSToby Isaac - user - The user context 1948bdd6f66aSToby Isaac 1949bdd6f66aSToby Isaac Output Parameter: 1950bdd6f66aSToby Isaac . X - Local solution 1951bdd6f66aSToby Isaac 1952bdd6f66aSToby Isaac Level: developer 1953bdd6f66aSToby Isaac 1954bdd6f66aSToby Isaac .seealso: DMPlexComputeJacobianActionFEM() 1955bdd6f66aSToby Isaac @*/ 1956bdd6f66aSToby Isaac PetscErrorCode DMPlexSNESComputeBoundaryFEM(DM dm, Vec X, void *user) 1957bdd6f66aSToby Isaac { 1958bdd6f66aSToby Isaac DM plex; 1959bdd6f66aSToby Isaac PetscErrorCode ierr; 1960bdd6f66aSToby Isaac 1961bdd6f66aSToby Isaac PetscFunctionBegin; 1962bdd6f66aSToby Isaac ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 1963bdd6f66aSToby Isaac ierr = DMPlexInsertBoundaryValues(plex, PETSC_TRUE, X, PETSC_MIN_REAL, NULL, NULL, NULL);CHKERRQ(ierr); 1964bdd6f66aSToby Isaac ierr = DMDestroy(&plex);CHKERRQ(ierr); 1965bdd6f66aSToby Isaac PetscFunctionReturn(0); 1966bdd6f66aSToby Isaac } 1967bdd6f66aSToby Isaac 1968089bfe53SSander Arens PetscErrorCode DMPlexComputeBdJacobian_Internal(DM dm, Vec locX, Vec locX_t, PetscReal t, PetscReal X_tShift, Mat Jac, Mat JacP, void *user) 1969089bfe53SSander Arens { 1970089bfe53SSander Arens DM_Plex *mesh = (DM_Plex *) dm->data; 19712d91c981SSander Arens DM dmAux = NULL, plex = NULL; 19722d91c981SSander Arens PetscSection section, globalSection, subSection, sectionAux = NULL; 19732d91c981SSander Arens PetscDS prob, probAux = NULL; 1974089bfe53SSander Arens DMLabel depth; 19752d91c981SSander Arens Vec locA = NULL; 19764d0b9603SSander Arens PetscFEFaceGeom *fgeom; 19772d91c981SSander Arens PetscScalar *u = NULL, *u_t = NULL, *a = NULL, *elemMat = NULL; 19784d0b9603SSander Arens PetscInt dim, totDim, totDimAux, numBd, bd, Nf; 1979089bfe53SSander Arens PetscBool isMatISP; 1980089bfe53SSander Arens PetscErrorCode ierr; 1981089bfe53SSander Arens 1982089bfe53SSander Arens PetscFunctionBegin; 1983089bfe53SSander Arens ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1984089bfe53SSander Arens ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1985089bfe53SSander Arens ierr = PetscObjectTypeCompare((PetscObject) JacP, MATIS, &isMatISP);CHKERRQ(ierr); 1986089bfe53SSander Arens ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr); 1987089bfe53SSander Arens if (isMatISP) { 1988089bfe53SSander Arens ierr = DMPlexGetSubdomainSection(dm, &subSection);CHKERRQ(ierr); 1989089bfe53SSander Arens } 1990089bfe53SSander Arens ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr); 1991089bfe53SSander Arens ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1992089bfe53SSander Arens ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 19934d0b9603SSander Arens ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 1994089bfe53SSander Arens ierr = PetscDSGetNumBoundary(prob, &numBd);CHKERRQ(ierr); 19952d91c981SSander Arens ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &locA);CHKERRQ(ierr); 19962d91c981SSander Arens if (locA) { 19972d91c981SSander Arens ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr); 19982d91c981SSander Arens ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr); 19992d91c981SSander Arens ierr = DMGetDefaultSection(plex, §ionAux);CHKERRQ(ierr); 20002d91c981SSander Arens ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 20014d0b9603SSander Arens ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 20022d91c981SSander Arens } 2003089bfe53SSander Arens for (bd = 0; bd < numBd; ++bd) { 2004df1fddb2SMatthew G. Knepley DMBoundaryConditionType type; 2005089bfe53SSander Arens const char *bdLabel; 2006089bfe53SSander Arens DMLabel label; 2007089bfe53SSander Arens IS pointIS; 2008089bfe53SSander Arens const PetscInt *points; 2009089bfe53SSander Arens const PetscInt *values; 20104d0b9603SSander Arens PetscInt fieldI, fieldJ, numValues, v, numPoints, p, dep, numFaces, face; 2011089bfe53SSander Arens PetscObject obj; 2012089bfe53SSander Arens PetscClassId id; 2013089bfe53SSander Arens 2014df1fddb2SMatthew G. Knepley ierr = PetscDSGetBoundary(prob, bd, &type, NULL, &bdLabel, &fieldI, NULL, NULL, NULL, &numValues, &values, NULL);CHKERRQ(ierr); 20154d0b9603SSander Arens ierr = PetscDSGetDiscretization(prob, fieldI, &obj);CHKERRQ(ierr); 2016089bfe53SSander Arens ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 2017df1fddb2SMatthew G. Knepley if ((id != PETSCFE_CLASSID) || (type & DM_BC_ESSENTIAL)) continue; 2018089bfe53SSander Arens ierr = DMGetLabel(dm, bdLabel, &label);CHKERRQ(ierr); 2019089bfe53SSander Arens for (v = 0; v < numValues; ++v) { 2020089bfe53SSander Arens ierr = DMLabelGetStratumSize(label, values[v], &numPoints);CHKERRQ(ierr); 2021089bfe53SSander Arens ierr = DMLabelGetStratumIS(label, values[v], &pointIS);CHKERRQ(ierr); 2022089bfe53SSander Arens if (!pointIS) continue; /* No points with that id on this process */ 2023089bfe53SSander Arens ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 2024089bfe53SSander Arens for (p = 0, numFaces = 0; p < numPoints; ++p) { 2025089bfe53SSander Arens ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 2026089bfe53SSander Arens if (dep == dim-1) ++numFaces; 2027089bfe53SSander Arens } 20284d0b9603SSander Arens ierr = PetscMalloc4(numFaces*totDim,&u,locX_t ? numFaces*totDim : 0,&u_t,numFaces,&fgeom,numFaces*totDim*totDim,&elemMat);CHKERRQ(ierr); 20294d0b9603SSander Arens if (locA) {ierr = PetscMalloc1(numFaces*totDimAux,&a);CHKERRQ(ierr);} 20304d0b9603SSander Arens for (p = 0, face = 0; p < numPoints; ++p) { 20314d0b9603SSander Arens const PetscInt point = points[p], *support, *cone; 2032089bfe53SSander Arens PetscScalar *x = NULL; 20334d0b9603SSander Arens PetscReal dummyJ[9], dummyDetJ; 20349bfb2fe4SJed Brown PetscInt i, coneSize, faceLoc; 2035089bfe53SSander Arens 20364d0b9603SSander Arens ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 2037089bfe53SSander Arens if (dep != dim-1) continue; 20384d0b9603SSander Arens ierr = DMPlexGetSupport(dm, point, &support);CHKERRQ(ierr); 20394d0b9603SSander Arens ierr = DMPlexComputeCellGeometryFEM(dm, support[0], NULL, NULL, dummyJ, fgeom[face].invJ[0], &dummyDetJ);CHKERRQ(ierr); 20404d0b9603SSander Arens ierr = DMPlexComputeCellGeometryFEM(dm, point, NULL, fgeom[face].v0, fgeom[face].J, NULL, &fgeom[face].detJ);CHKERRQ(ierr); 20414d0b9603SSander Arens ierr = DMPlexComputeCellGeometryFVM(dm, point, NULL, NULL, fgeom[face].n);CHKERRQ(ierr); 2042e5b268a4SToby Isaac if (fgeom[face].detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for face %d", (double)fgeom[face].detJ, point); 20434d0b9603SSander Arens ierr = DMPlexGetConeSize(dm, support[0], &coneSize);CHKERRQ(ierr); 20444d0b9603SSander Arens ierr = DMPlexGetCone(dm, support[0], &cone);CHKERRQ(ierr); 20454d0b9603SSander Arens for (faceLoc = 0; faceLoc < coneSize; ++faceLoc) if (cone[faceLoc] == point) break; 20464d0b9603SSander Arens if (faceLoc == coneSize) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not find face %d in cone of support[0] %d", point, support[0]); 20474d0b9603SSander Arens fgeom[face].face[0] = faceLoc; 20484d0b9603SSander Arens ierr = DMPlexVecGetClosure(dm, section, locX, support[0], NULL, &x);CHKERRQ(ierr); 20494d0b9603SSander Arens for (i = 0; i < totDim; ++i) u[face*totDim+i] = x[i]; 20504d0b9603SSander Arens ierr = DMPlexVecRestoreClosure(dm, section, locX, support[0], NULL, &x);CHKERRQ(ierr); 2051089bfe53SSander Arens if (locX_t) { 20524d0b9603SSander Arens ierr = DMPlexVecGetClosure(dm, section, locX_t, support[0], NULL, &x);CHKERRQ(ierr); 20534d0b9603SSander Arens for (i = 0; i < totDim; ++i) u_t[face*totDim+i] = x[i]; 20544d0b9603SSander Arens ierr = DMPlexVecRestoreClosure(dm, section, locX_t, support[0], NULL, &x);CHKERRQ(ierr); 2055089bfe53SSander Arens } 20562d91c981SSander Arens if (locA) { 20574d0b9603SSander Arens ierr = DMPlexVecGetClosure(plex, sectionAux, locA, support[0], NULL, &x);CHKERRQ(ierr); 20584d0b9603SSander Arens for (i = 0; i < totDimAux; ++i) a[face*totDimAux+i] = x[i]; 20594d0b9603SSander Arens ierr = DMPlexVecRestoreClosure(plex, sectionAux, locA, support[0], NULL, &x);CHKERRQ(ierr); 20602d91c981SSander Arens } 20614d0b9603SSander Arens ++face; 2062089bfe53SSander Arens } 20634d0b9603SSander Arens ierr = PetscMemzero(elemMat, numFaces*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 2064089bfe53SSander Arens { 2065089bfe53SSander Arens PetscFE fe; 2066089bfe53SSander Arens PetscQuadrature q; 2067089bfe53SSander Arens PetscInt numQuadPoints, Nb; 2068089bfe53SSander Arens /* Conforming batches */ 2069089bfe53SSander Arens PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 2070089bfe53SSander Arens /* Remainder */ 2071089bfe53SSander Arens PetscInt Nr, offset; 2072089bfe53SSander Arens 20734d0b9603SSander Arens ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 20744d0b9603SSander Arens ierr = PetscFEGetFaceQuadrature(fe, &q);CHKERRQ(ierr); 2075089bfe53SSander Arens ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 2076089bfe53SSander Arens ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 20779c3cf19fSMatthew G. Knepley ierr = PetscQuadratureGetData(q, NULL, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 2078089bfe53SSander Arens blockSize = Nb*numQuadPoints; 2079089bfe53SSander Arens batchSize = numBlocks * blockSize; 2080089bfe53SSander Arens ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 2081089bfe53SSander Arens numChunks = numFaces / (numBatches*batchSize); 2082089bfe53SSander Arens Ne = numChunks*numBatches*batchSize; 2083089bfe53SSander Arens Nr = numFaces % (numBatches*batchSize); 2084089bfe53SSander Arens offset = numFaces - Nr; 2085089bfe53SSander Arens for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 20864d0b9603SSander Arens ierr = PetscFEIntegrateBdJacobian(fe, prob, fieldI, fieldJ, Ne, fgeom, u, u_t, probAux, a, t, X_tShift, elemMat);CHKERRQ(ierr); 20874d0b9603SSander Arens ierr = PetscFEIntegrateBdJacobian(fe, prob, fieldI, fieldJ, Nr, &fgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, a ? &a[offset*totDimAux] : NULL, t, X_tShift, &elemMat[offset*totDim*totDim]);CHKERRQ(ierr); 2088089bfe53SSander Arens } 2089089bfe53SSander Arens } 20904d0b9603SSander Arens for (p = 0, face = 0; p < numPoints; ++p) { 20914d0b9603SSander Arens const PetscInt point = points[p], *support; 2092089bfe53SSander Arens 2093089bfe53SSander Arens ierr = DMLabelGetValue(depth, point, &dep);CHKERRQ(ierr); 2094089bfe53SSander Arens if (dep != dim-1) continue; 20954d0b9603SSander Arens if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(point, "BdJacobian", totDim, totDim, &elemMat[face*totDim*totDim]);CHKERRQ(ierr);} 20964d0b9603SSander Arens ierr = DMPlexGetSupport(dm, point, &support);CHKERRQ(ierr); 2097089bfe53SSander Arens if (!isMatISP) { 20984d0b9603SSander Arens ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, support[0], &elemMat[face*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2099089bfe53SSander Arens } else { 2100089bfe53SSander Arens Mat lJ; 2101089bfe53SSander Arens 2102089bfe53SSander Arens ierr = MatISGetLocalMat(JacP,&lJ);CHKERRQ(ierr); 21034d0b9603SSander Arens ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, support[0], &elemMat[face*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2104089bfe53SSander Arens } 21054d0b9603SSander Arens ++face; 2106089bfe53SSander Arens } 2107089bfe53SSander Arens ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 2108089bfe53SSander Arens ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 21094d0b9603SSander Arens ierr = PetscFree4(u,u_t,fgeom,elemMat);CHKERRQ(ierr); 21101c46aac1SSander Arens if (locA) {ierr = PetscFree(a);CHKERRQ(ierr);} 21112d91c981SSander Arens } 2112089bfe53SSander Arens } 21131c46aac1SSander Arens if (plex) {ierr = DMDestroy(&plex);CHKERRQ(ierr);} 2114089bfe53SSander Arens PetscFunctionReturn(0); 2115089bfe53SSander Arens } 2116089bfe53SSander Arens 2117b953af5fSMatthew G. Knepley 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) 211824cdb843SMatthew G. Knepley { 211924cdb843SMatthew G. Knepley DM_Plex *mesh = (DM_Plex *) dm->data; 212024cdb843SMatthew G. Knepley const char *name = "Jacobian"; 2121f7ed7b21SMatthew G. Knepley DM dmAux, plex; 2122bbce034cSMatthew G. Knepley Vec A, cellgeom; 212324cdb843SMatthew G. Knepley PetscDS prob, probAux = NULL; 2124be36d101SStefano Zampini PetscSection section, globalSection, subSection, sectionAux; 21252f84e9bcSToby Isaac PetscFECellGeom *cgeom = NULL; 21262f84e9bcSToby Isaac PetscScalar *cgeomScal; 2127426ff135SMatthew G. Knepley PetscScalar *elemMat, *elemMatP, *elemMatD, *u, *u_t, *a = NULL; 212884f7fa7aSMatthew G. Knepley PetscInt dim, Nf, fieldI, fieldJ, numCells, c; 2129089bfe53SSander Arens PetscInt totDim, totDimAux; 2130be36d101SStefano Zampini PetscBool isMatIS, isMatISP, isShell, hasJac, hasPrec, hasDyn, hasFV = PETSC_FALSE; 213124cdb843SMatthew G. Knepley PetscErrorCode ierr; 213224cdb843SMatthew G. Knepley 213324cdb843SMatthew G. Knepley PetscFunctionBegin; 213424cdb843SMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 213524cdb843SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 213624cdb843SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 2137be36d101SStefano Zampini ierr = PetscObjectTypeCompare((PetscObject) JacP, MATIS, &isMatISP);CHKERRQ(ierr); 213824cdb843SMatthew G. Knepley ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr); 2139be36d101SStefano Zampini if (isMatISP) { 2140be36d101SStefano Zampini ierr = DMPlexGetSubdomainSection(dm, &subSection);CHKERRQ(ierr); 2141be36d101SStefano Zampini } 214224cdb843SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 214324cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 2144efc10488SMatthew G. Knepley ierr = PetscDSHasJacobian(prob, &hasJac);CHKERRQ(ierr); 214555ad3c34SMatthew G. Knepley ierr = PetscDSHasJacobianPreconditioner(prob, &hasPrec);CHKERRQ(ierr); 2146426ff135SMatthew G. Knepley ierr = PetscDSHasDynamicJacobian(prob, &hasDyn);CHKERRQ(ierr); 2147426ff135SMatthew G. Knepley hasDyn = hasDyn && (X_tShift != 0.0) ? PETSC_TRUE : PETSC_FALSE; 214824cdb843SMatthew G. Knepley ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 214924cdb843SMatthew G. Knepley numCells = cEnd - cStart; 215024cdb843SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 215124cdb843SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 215224cdb843SMatthew G. Knepley if (dmAux) { 2153f7ed7b21SMatthew G. Knepley ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr); 2154f7ed7b21SMatthew G. Knepley ierr = DMGetDefaultSection(plex, §ionAux);CHKERRQ(ierr); 215524cdb843SMatthew G. Knepley ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 215624cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 215724cdb843SMatthew G. Knepley } 2158290cf56fSMatthew G. Knepley if (hasJac && hasPrec) {ierr = MatZeroEntries(Jac);CHKERRQ(ierr);} 215924cdb843SMatthew G. Knepley ierr = MatZeroEntries(JacP);CHKERRQ(ierr); 2160efc10488SMatthew G. Knepley 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); 216124cdb843SMatthew G. Knepley if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 2162bbce034cSMatthew G. Knepley ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 21632f84e9bcSToby Isaac ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 21642f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 21652f84e9bcSToby Isaac DM dmCell; 21662f84e9bcSToby Isaac 21672f84e9bcSToby Isaac ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 21682f84e9bcSToby Isaac ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 21692f84e9bcSToby Isaac for (c = 0; c < cEnd - cStart; c++) { 21707726bd6bSToby Isaac PetscScalar *thisgeom; 21712f84e9bcSToby Isaac 21722f84e9bcSToby Isaac ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 21732f84e9bcSToby Isaac cgeom[c] = *((PetscFECellGeom *) thisgeom); 21742f84e9bcSToby Isaac } 2175efc10488SMatthew G. Knepley } else { 21762f84e9bcSToby Isaac cgeom = (PetscFECellGeom *) cgeomScal; 21772f84e9bcSToby Isaac } 217824cdb843SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 217924cdb843SMatthew G. Knepley PetscScalar *x = NULL, *x_t = NULL; 218024cdb843SMatthew G. Knepley PetscInt i; 218124cdb843SMatthew G. Knepley 218224cdb843SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 21839f11d433SMatthew G. Knepley for (i = 0; i < totDim; ++i) u[(c-cStart)*totDim+i] = x[i]; 218424cdb843SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 218524cdb843SMatthew G. Knepley if (X_t) { 218624cdb843SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 21879f11d433SMatthew G. Knepley for (i = 0; i < totDim; ++i) u_t[(c-cStart)*totDim+i] = x_t[i]; 218824cdb843SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 218924cdb843SMatthew G. Knepley } 219024cdb843SMatthew G. Knepley if (dmAux) { 2191f7ed7b21SMatthew G. Knepley ierr = DMPlexVecGetClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 21929f11d433SMatthew G. Knepley for (i = 0; i < totDimAux; ++i) a[(c-cStart)*totDimAux+i] = x[i]; 2193f7ed7b21SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 219424cdb843SMatthew G. Knepley } 219524cdb843SMatthew G. Knepley } 2196efc10488SMatthew G. Knepley if (hasJac) {ierr = PetscMemzero(elemMat, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 219755ad3c34SMatthew G. Knepley if (hasPrec) {ierr = PetscMemzero(elemMatP, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2198426ff135SMatthew G. Knepley if (hasDyn) {ierr = PetscMemzero(elemMatD, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 219924cdb843SMatthew G. Knepley for (fieldI = 0; fieldI < Nf; ++fieldI) { 22005244db28SMatthew G. Knepley PetscClassId id; 220124cdb843SMatthew G. Knepley PetscFE fe; 2202089bfe53SSander Arens PetscQuadrature q; 220324cdb843SMatthew G. Knepley PetscInt numQuadPoints, Nb; 220424cdb843SMatthew G. Knepley /* Conforming batches */ 220524cdb843SMatthew G. Knepley PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 220624cdb843SMatthew G. Knepley /* Remainder */ 220724cdb843SMatthew G. Knepley PetscInt Nr, offset; 220824cdb843SMatthew G. Knepley 220924cdb843SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 22105244db28SMatthew G. Knepley ierr = PetscObjectGetClassId((PetscObject) fe, &id);CHKERRQ(ierr); 22115244db28SMatthew G. Knepley if (id == PETSCFV_CLASSID) {hasFV = PETSC_TRUE; continue;} 2212089bfe53SSander Arens ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 221324cdb843SMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 221424cdb843SMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 22159c3cf19fSMatthew G. Knepley ierr = PetscQuadratureGetData(q, NULL, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 221624cdb843SMatthew G. Knepley blockSize = Nb*numQuadPoints; 221724cdb843SMatthew G. Knepley batchSize = numBlocks * blockSize; 221824cdb843SMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 221924cdb843SMatthew G. Knepley numChunks = numCells / (numBatches*batchSize); 222024cdb843SMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 222124cdb843SMatthew G. Knepley Nr = numCells % (numBatches*batchSize); 222224cdb843SMatthew G. Knepley offset = numCells - Nr; 222324cdb843SMatthew G. Knepley for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 2224efc10488SMatthew G. Knepley if (hasJac) { 222511dd639bSMatthew G. Knepley ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMat);CHKERRQ(ierr); 222611dd639bSMatthew G. Knepley 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); 2227efc10488SMatthew G. Knepley } 222855ad3c34SMatthew G. Knepley if (hasPrec) { 222911dd639bSMatthew G. Knepley ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_PRE, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatP);CHKERRQ(ierr); 223011dd639bSMatthew G. Knepley 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); 2231426ff135SMatthew G. Knepley } 2232426ff135SMatthew G. Knepley if (hasDyn) { 223311dd639bSMatthew G. Knepley ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatD);CHKERRQ(ierr); 223411dd639bSMatthew G. Knepley 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); 223555ad3c34SMatthew G. Knepley } 223624cdb843SMatthew G. Knepley } 223724cdb843SMatthew G. Knepley } 2238426ff135SMatthew G. Knepley if (hasDyn) { 2239426ff135SMatthew G. Knepley for (c = 0; c < (cEnd - cStart)*totDim*totDim; ++c) elemMat[c] += X_tShift*elemMatD[c]; 2240426ff135SMatthew G. Knepley } 22415244db28SMatthew G. Knepley if (hasFV) { 22425244db28SMatthew G. Knepley PetscClassId id; 22435244db28SMatthew G. Knepley PetscFV fv; 22445244db28SMatthew G. Knepley PetscInt offsetI, NcI, NbI = 1, fc, f; 22455244db28SMatthew G. Knepley 22465244db28SMatthew G. Knepley for (fieldI = 0; fieldI < Nf; ++fieldI) { 22475244db28SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fv);CHKERRQ(ierr); 22485244db28SMatthew G. Knepley ierr = PetscDSGetFieldOffset(prob, fieldI, &offsetI);CHKERRQ(ierr); 22495244db28SMatthew G. Knepley ierr = PetscObjectGetClassId((PetscObject) fv, &id);CHKERRQ(ierr); 22505244db28SMatthew G. Knepley if (id != PETSCFV_CLASSID) continue; 22515244db28SMatthew G. Knepley /* Put in the identity */ 22525244db28SMatthew G. Knepley ierr = PetscFVGetNumComponents(fv, &NcI);CHKERRQ(ierr); 22535244db28SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 22545244db28SMatthew G. Knepley const PetscInt eOffset = (c-cStart)*totDim*totDim; 22555244db28SMatthew G. Knepley for (fc = 0; fc < NcI; ++fc) { 22565244db28SMatthew G. Knepley for (f = 0; f < NbI; ++f) { 22575244db28SMatthew G. Knepley const PetscInt i = offsetI + f*NcI+fc; 22585244db28SMatthew G. Knepley if (hasPrec) { 22595244db28SMatthew G. Knepley if (hasJac) {elemMat[eOffset+i*totDim+i] = 1.0;} 22605244db28SMatthew G. Knepley elemMatP[eOffset+i*totDim+i] = 1.0; 22615244db28SMatthew G. Knepley } else {elemMat[eOffset+i*totDim+i] = 1.0;} 22625244db28SMatthew G. Knepley } 22635244db28SMatthew G. Knepley } 22645244db28SMatthew G. Knepley } 22655244db28SMatthew G. Knepley } 22665244db28SMatthew G. Knepley /* No allocated space for FV stuff, so ignore the zero entries */ 22675244db28SMatthew G. Knepley ierr = MatSetOption(JacP, MAT_IGNORE_ZERO_ENTRIES, PETSC_TRUE);CHKERRQ(ierr); 22685244db28SMatthew G. Knepley } 2269be36d101SStefano Zampini isMatIS = PETSC_FALSE; 2270be36d101SStefano Zampini if (hasPrec && hasJac) { 2271be36d101SStefano Zampini ierr = PetscObjectTypeCompare((PetscObject) JacP, MATIS, &isMatIS);CHKERRQ(ierr); 2272be36d101SStefano Zampini } 2273be36d101SStefano Zampini if (isMatIS && !subSection) { 2274be36d101SStefano Zampini ierr = DMPlexGetSubdomainSection(dm, &subSection);CHKERRQ(ierr); 2275be36d101SStefano Zampini } 227624cdb843SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 227755ad3c34SMatthew G. Knepley if (hasPrec) { 2278efc10488SMatthew G. Knepley if (hasJac) { 227955ad3c34SMatthew G. Knepley if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 2280be36d101SStefano Zampini if (!isMatIS) { 228155ad3c34SMatthew G. Knepley ierr = DMPlexMatSetClosure(dm, section, globalSection, Jac, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2282be36d101SStefano Zampini } else { 2283be36d101SStefano Zampini Mat lJ; 2284be36d101SStefano Zampini 2285be36d101SStefano Zampini ierr = MatISGetLocalMat(Jac,&lJ);CHKERRQ(ierr); 2286be36d101SStefano Zampini ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2287be36d101SStefano Zampini } 2288efc10488SMatthew G. Knepley } 228955ad3c34SMatthew G. Knepley if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMatP[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 2290be36d101SStefano Zampini if (!isMatISP) { 229155ad3c34SMatthew G. Knepley ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, c, &elemMatP[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 229255ad3c34SMatthew G. Knepley } else { 2293be36d101SStefano Zampini Mat lJ; 2294be36d101SStefano Zampini 2295be36d101SStefano Zampini ierr = MatISGetLocalMat(JacP,&lJ);CHKERRQ(ierr); 2296be36d101SStefano Zampini ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, c, &elemMatP[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2297be36d101SStefano Zampini } 2298be36d101SStefano Zampini } else { 22999f11d433SMatthew G. Knepley if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 2300be36d101SStefano Zampini if (!isMatISP) { 23019f11d433SMatthew G. Knepley ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2302be36d101SStefano Zampini } else { 2303be36d101SStefano Zampini Mat lJ; 2304be36d101SStefano Zampini 2305be36d101SStefano Zampini ierr = MatISGetLocalMat(JacP,&lJ);CHKERRQ(ierr); 2306be36d101SStefano Zampini ierr = DMPlexMatSetClosure(dm, section, subSection, lJ, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 2307be36d101SStefano Zampini } 230824cdb843SMatthew G. Knepley } 230955ad3c34SMatthew G. Knepley } 23105244db28SMatthew G. Knepley if (hasFV) {ierr = MatSetOption(JacP, MAT_IGNORE_ZERO_ENTRIES, PETSC_FALSE);CHKERRQ(ierr);} 23112f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 23122f84e9bcSToby Isaac ierr = PetscFree(cgeom);CHKERRQ(ierr); 23135244db28SMatthew G. Knepley } else { 23142f84e9bcSToby Isaac cgeom = NULL; 23152f84e9bcSToby Isaac } 23162f84e9bcSToby Isaac ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2317426ff135SMatthew G. Knepley ierr = PetscFree5(u,u_t,elemMat,elemMatP,elemMatD);CHKERRQ(ierr); 2318f7ed7b21SMatthew G. Knepley if (dmAux) { 2319f7ed7b21SMatthew G. Knepley ierr = PetscFree(a);CHKERRQ(ierr); 2320f7ed7b21SMatthew G. Knepley ierr = DMDestroy(&plex);CHKERRQ(ierr); 2321f7ed7b21SMatthew G. Knepley } 2322089bfe53SSander Arens ierr = DMPlexComputeBdJacobian_Internal(dm, X, X_t, t, X_tShift, Jac, JacP, user);CHKERRQ(ierr); 2323efc10488SMatthew G. Knepley if (hasJac && hasPrec) { 232482ef7567SMatthew G. Knepley ierr = MatAssemblyBegin(Jac, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 232582ef7567SMatthew G. Knepley ierr = MatAssemblyEnd(Jac, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 232682ef7567SMatthew G. Knepley } 232724cdb843SMatthew G. Knepley ierr = MatAssemblyBegin(JacP, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 232824cdb843SMatthew G. Knepley ierr = MatAssemblyEnd(JacP, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 232924cdb843SMatthew G. Knepley if (mesh->printFEM) { 233024cdb843SMatthew G. Knepley ierr = PetscPrintf(PETSC_COMM_WORLD, "%s:\n", name);CHKERRQ(ierr); 233124cdb843SMatthew G. Knepley ierr = MatChop(JacP, 1.0e-10);CHKERRQ(ierr); 233224cdb843SMatthew G. Knepley ierr = MatView(JacP, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 233324cdb843SMatthew G. Knepley } 233424cdb843SMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 233524cdb843SMatthew G. Knepley ierr = PetscObjectTypeCompare((PetscObject) Jac, MATSHELL, &isShell);CHKERRQ(ierr); 233624cdb843SMatthew G. Knepley if (isShell) { 233724cdb843SMatthew G. Knepley JacActionCtx *jctx; 233824cdb843SMatthew G. Knepley 233924cdb843SMatthew G. Knepley ierr = MatShellGetContext(Jac, &jctx);CHKERRQ(ierr); 234024cdb843SMatthew G. Knepley ierr = VecCopy(X, jctx->u);CHKERRQ(ierr); 234124cdb843SMatthew G. Knepley } 234224cdb843SMatthew G. Knepley PetscFunctionReturn(0); 234324cdb843SMatthew G. Knepley } 234424cdb843SMatthew G. Knepley 2345a925c78cSMatthew G. Knepley 2346a925c78cSMatthew G. Knepley 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) 2347a925c78cSMatthew G. Knepley { 2348a925c78cSMatthew G. Knepley DM_Plex *mesh = (DM_Plex *) dm->data; 2349a925c78cSMatthew G. Knepley const char *name = "Jacobian"; 2350a925c78cSMatthew G. Knepley DM dmAux, plex; 2351a925c78cSMatthew G. Knepley Vec A, cellgeom; 2352a925c78cSMatthew G. Knepley PetscDS prob, probAux = NULL; 2353a925c78cSMatthew G. Knepley PetscQuadrature quad; 2354a925c78cSMatthew G. Knepley PetscSection section, globalSection, sectionAux; 2355a925c78cSMatthew G. Knepley PetscFECellGeom *cgeom = NULL; 2356a925c78cSMatthew G. Knepley PetscScalar *cgeomScal; 2357a925c78cSMatthew G. Knepley PetscScalar *elemMat, *elemMatD, *u, *u_t, *a = NULL, *y, *z; 235875b37a90SMatthew G. Knepley PetscInt dim, Nf, fieldI, fieldJ, numCells, c; 23594d0b9603SSander Arens PetscInt totDim, totDimAux = 0; 236075b37a90SMatthew G. Knepley PetscBool hasDyn; 2361a925c78cSMatthew G. Knepley PetscErrorCode ierr; 2362a925c78cSMatthew G. Knepley 2363a925c78cSMatthew G. Knepley PetscFunctionBegin; 2364a925c78cSMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2365a925c78cSMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 2366a925c78cSMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 2367a925c78cSMatthew G. Knepley ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr); 2368a925c78cSMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 2369a925c78cSMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 2370a925c78cSMatthew G. Knepley ierr = PetscDSHasDynamicJacobian(prob, &hasDyn);CHKERRQ(ierr); 2371a925c78cSMatthew G. Knepley hasDyn = hasDyn && (X_tShift != 0.0) ? PETSC_TRUE : PETSC_FALSE; 2372a925c78cSMatthew G. Knepley ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 2373a925c78cSMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 2374a925c78cSMatthew G. Knepley numCells = cEnd - cStart; 2375a925c78cSMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 2376a925c78cSMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 2377a925c78cSMatthew G. Knepley if (dmAux) { 2378a925c78cSMatthew G. Knepley ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr); 2379a925c78cSMatthew G. Knepley ierr = DMGetDefaultSection(plex, §ionAux);CHKERRQ(ierr); 2380a925c78cSMatthew G. Knepley ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 2381a925c78cSMatthew G. Knepley ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 2382a925c78cSMatthew G. Knepley } 2383a925c78cSMatthew G. Knepley ierr = VecSet(Z, 0.0);CHKERRQ(ierr); 2384a925c78cSMatthew G. Knepley 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); 2385a925c78cSMatthew G. Knepley if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 2386a925c78cSMatthew G. Knepley ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 2387a925c78cSMatthew G. Knepley ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2388a925c78cSMatthew G. Knepley if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 2389a925c78cSMatthew G. Knepley DM dmCell; 2390a925c78cSMatthew G. Knepley 2391a925c78cSMatthew G. Knepley ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 2392a925c78cSMatthew G. Knepley ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 2393a925c78cSMatthew G. Knepley for (c = 0; c < cEnd - cStart; c++) { 2394a925c78cSMatthew G. Knepley PetscScalar *thisgeom; 2395a925c78cSMatthew G. Knepley 2396a925c78cSMatthew G. Knepley ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 2397a925c78cSMatthew G. Knepley cgeom[c] = *((PetscFECellGeom *) thisgeom); 2398a925c78cSMatthew G. Knepley } 2399a925c78cSMatthew G. Knepley } else { 2400a925c78cSMatthew G. Knepley cgeom = (PetscFECellGeom *) cgeomScal; 2401a925c78cSMatthew G. Knepley } 2402a925c78cSMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 2403a925c78cSMatthew G. Knepley PetscScalar *x = NULL, *x_t = NULL; 2404a925c78cSMatthew G. Knepley PetscInt i; 2405a925c78cSMatthew G. Knepley 2406a925c78cSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2407a925c78cSMatthew G. Knepley for (i = 0; i < totDim; ++i) u[(c-cStart)*totDim+i] = x[i]; 2408a925c78cSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2409a925c78cSMatthew G. Knepley if (X_t) { 2410a925c78cSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2411a925c78cSMatthew G. Knepley for (i = 0; i < totDim; ++i) u_t[(c-cStart)*totDim+i] = x_t[i]; 2412a925c78cSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2413a925c78cSMatthew G. Knepley } 2414a925c78cSMatthew G. Knepley if (dmAux) { 2415a925c78cSMatthew G. Knepley ierr = DMPlexVecGetClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2416a925c78cSMatthew G. Knepley for (i = 0; i < totDimAux; ++i) a[(c-cStart)*totDimAux+i] = x[i]; 2417a925c78cSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2418a925c78cSMatthew G. Knepley } 2419a925c78cSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, Y, c, NULL, &x);CHKERRQ(ierr); 2420a925c78cSMatthew G. Knepley for (i = 0; i < totDim; ++i) y[(c-cStart)*totDim+i] = x[i]; 2421a925c78cSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, Y, c, NULL, &x);CHKERRQ(ierr); 2422a925c78cSMatthew G. Knepley } 2423a925c78cSMatthew G. Knepley ierr = PetscMemzero(elemMat, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 2424a925c78cSMatthew G. Knepley if (hasDyn) {ierr = PetscMemzero(elemMatD, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2425a925c78cSMatthew G. Knepley for (fieldI = 0; fieldI < Nf; ++fieldI) { 2426a925c78cSMatthew G. Knepley PetscFE fe; 2427a925c78cSMatthew G. Knepley PetscInt numQuadPoints, Nb; 2428a925c78cSMatthew G. Knepley /* Conforming batches */ 2429a925c78cSMatthew G. Knepley PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 2430a925c78cSMatthew G. Knepley /* Remainder */ 2431a925c78cSMatthew G. Knepley PetscInt Nr, offset; 2432a925c78cSMatthew G. Knepley 2433a925c78cSMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 2434a925c78cSMatthew G. Knepley ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr); 2435a925c78cSMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 2436a925c78cSMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 24379c3cf19fSMatthew G. Knepley ierr = PetscQuadratureGetData(quad, NULL, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 2438a925c78cSMatthew G. Knepley blockSize = Nb*numQuadPoints; 2439a925c78cSMatthew G. Knepley batchSize = numBlocks * blockSize; 2440a925c78cSMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 2441a925c78cSMatthew G. Knepley numChunks = numCells / (numBatches*batchSize); 2442a925c78cSMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 2443a925c78cSMatthew G. Knepley Nr = numCells % (numBatches*batchSize); 2444a925c78cSMatthew G. Knepley offset = numCells - Nr; 2445a925c78cSMatthew G. Knepley for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 24461bf9e2faSMatthew G. Knepley ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMat);CHKERRQ(ierr); 24471bf9e2faSMatthew G. Knepley 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); 2448a925c78cSMatthew G. Knepley if (hasDyn) { 24491bf9e2faSMatthew G. Knepley ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatD);CHKERRQ(ierr); 24501bf9e2faSMatthew G. Knepley 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); 2451a925c78cSMatthew G. Knepley } 2452a925c78cSMatthew G. Knepley } 2453a925c78cSMatthew G. Knepley } 2454a925c78cSMatthew G. Knepley if (hasDyn) { 2455a925c78cSMatthew G. Knepley for (c = 0; c < (cEnd - cStart)*totDim*totDim; ++c) elemMat[c] += X_tShift*elemMatD[c]; 2456a925c78cSMatthew G. Knepley } 2457a925c78cSMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 2458a925c78cSMatthew G. Knepley const PetscBLASInt M = totDim, one = 1; 2459a925c78cSMatthew G. Knepley const PetscScalar a = 1.0, b = 0.0; 2460a925c78cSMatthew G. Knepley 2461a925c78cSMatthew G. Knepley PetscStackCallBLAS("BLASgemv", BLASgemv_("N", &M, &M, &a, &elemMat[(c-cStart)*totDim*totDim], &M, &y[(c-cStart)*totDim], &one, &b, z, &one)); 2462a925c78cSMatthew G. Knepley if (mesh->printFEM > 1) { 2463a925c78cSMatthew G. Knepley ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr); 2464a925c78cSMatthew G. Knepley ierr = DMPrintCellVector(c, "Y", totDim, &y[(c-cStart)*totDim]);CHKERRQ(ierr); 2465a925c78cSMatthew G. Knepley ierr = DMPrintCellVector(c, "Z", totDim, z);CHKERRQ(ierr); 2466a925c78cSMatthew G. Knepley } 2467a925c78cSMatthew G. Knepley ierr = DMPlexVecSetClosure(dm, section, Z, c, z, ADD_VALUES);CHKERRQ(ierr); 2468a925c78cSMatthew G. Knepley } 2469a925c78cSMatthew G. Knepley if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) {ierr = PetscFree(cgeom);CHKERRQ(ierr);} 2470a925c78cSMatthew G. Knepley else {cgeom = NULL;} 2471a925c78cSMatthew G. Knepley ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2472a925c78cSMatthew G. Knepley ierr = PetscFree6(u,u_t,elemMat,elemMatD,y,z);CHKERRQ(ierr); 2473a925c78cSMatthew G. Knepley if (dmAux) { 2474a925c78cSMatthew G. Knepley ierr = PetscFree(a);CHKERRQ(ierr); 2475a925c78cSMatthew G. Knepley ierr = DMDestroy(&plex);CHKERRQ(ierr); 2476a925c78cSMatthew G. Knepley } 2477a925c78cSMatthew G. Knepley if (mesh->printFEM) { 2478a925c78cSMatthew G. Knepley ierr = PetscPrintf(PETSC_COMM_WORLD, "Z:\n");CHKERRQ(ierr); 2479a925c78cSMatthew G. Knepley ierr = VecView(Z, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 2480a925c78cSMatthew G. Knepley } 2481a925c78cSMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2482a925c78cSMatthew G. Knepley PetscFunctionReturn(0); 2483a925c78cSMatthew G. Knepley } 2484a925c78cSMatthew G. Knepley 248524cdb843SMatthew G. Knepley /*@ 248624cdb843SMatthew G. Knepley DMPlexSNESComputeJacobianFEM - Form the local portion of the Jacobian matrix J at the local solution X using pointwise functions specified by the user. 248724cdb843SMatthew G. Knepley 248824cdb843SMatthew G. Knepley Input Parameters: 248924cdb843SMatthew G. Knepley + dm - The mesh 249024cdb843SMatthew G. Knepley . X - Local input vector 249124cdb843SMatthew G. Knepley - user - The user context 249224cdb843SMatthew G. Knepley 249324cdb843SMatthew G. Knepley Output Parameter: 249424cdb843SMatthew G. Knepley . Jac - Jacobian matrix 249524cdb843SMatthew G. Knepley 249624cdb843SMatthew G. Knepley Note: 249724cdb843SMatthew G. Knepley We form the residual one batch of elements at a time. This allows us to offload work onto an accelerator, 249824cdb843SMatthew G. Knepley like a GPU, or vectorize on a multicore machine. 249924cdb843SMatthew G. Knepley 250024cdb843SMatthew G. Knepley Level: developer 250124cdb843SMatthew G. Knepley 250224cdb843SMatthew G. Knepley .seealso: FormFunctionLocal() 250324cdb843SMatthew G. Knepley @*/ 250424cdb843SMatthew G. Knepley PetscErrorCode DMPlexSNESComputeJacobianFEM(DM dm, Vec X, Mat Jac, Mat JacP,void *user) 250524cdb843SMatthew G. Knepley { 2506b953af5fSMatthew G. Knepley PetscInt cStart, cEnd, cEndInterior; 25076da023fcSToby Isaac DM plex; 250824cdb843SMatthew G. Knepley PetscErrorCode ierr; 250924cdb843SMatthew G. Knepley 251024cdb843SMatthew G. Knepley PetscFunctionBegin; 25116da023fcSToby Isaac ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 25126da023fcSToby Isaac ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 25136da023fcSToby Isaac ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 2514b953af5fSMatthew G. Knepley cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 25156da023fcSToby Isaac ierr = DMPlexComputeJacobian_Internal(plex, cStart, cEnd, 0.0, 0.0, X, NULL, Jac, JacP, user);CHKERRQ(ierr); 25169a81d013SToby Isaac ierr = DMDestroy(&plex);CHKERRQ(ierr); 251724cdb843SMatthew G. Knepley PetscFunctionReturn(0); 251824cdb843SMatthew G. Knepley } 25191878804aSMatthew G. Knepley 2520a925c78cSMatthew G. Knepley /*@ 2521a925c78cSMatthew G. Knepley 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. 2522a925c78cSMatthew G. Knepley 2523a925c78cSMatthew G. Knepley Input Parameters: 2524a925c78cSMatthew G. Knepley + dm - The mesh 2525a925c78cSMatthew G. Knepley . X - Local solution vector 2526a925c78cSMatthew G. Knepley . Y - Local input vector 2527a925c78cSMatthew G. Knepley - user - The user context 2528a925c78cSMatthew G. Knepley 2529a925c78cSMatthew G. Knepley Output Parameter: 2530a925c78cSMatthew G. Knepley . Z - Local output vector 2531a925c78cSMatthew G. Knepley 2532a925c78cSMatthew G. Knepley Note: 2533a925c78cSMatthew G. Knepley We form the residual one batch of elements at a time. This allows us to offload work onto an accelerator, 2534a925c78cSMatthew G. Knepley like a GPU, or vectorize on a multicore machine. 2535a925c78cSMatthew G. Knepley 2536a925c78cSMatthew G. Knepley Level: developer 2537a925c78cSMatthew G. Knepley 2538a925c78cSMatthew G. Knepley .seealso: FormFunctionLocal() 2539a925c78cSMatthew G. Knepley @*/ 2540a925c78cSMatthew G. Knepley PetscErrorCode DMPlexSNESComputeJacobianActionFEM(DM dm, Vec X, Vec Y, Vec Z, void *user) 2541a925c78cSMatthew G. Knepley { 2542a925c78cSMatthew G. Knepley PetscInt cStart, cEnd, cEndInterior; 2543a925c78cSMatthew G. Knepley DM plex; 2544a925c78cSMatthew G. Knepley PetscErrorCode ierr; 2545a925c78cSMatthew G. Knepley 2546a925c78cSMatthew G. Knepley PetscFunctionBegin; 2547a925c78cSMatthew G. Knepley ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 2548a925c78cSMatthew G. Knepley ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 2549a925c78cSMatthew G. Knepley ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 2550a925c78cSMatthew G. Knepley cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 2551a925c78cSMatthew G. Knepley ierr = DMPlexComputeJacobianAction_Internal(plex, cStart, cEnd, 0.0, 0.0, X, NULL, Y, Z, user);CHKERRQ(ierr); 2552a925c78cSMatthew G. Knepley ierr = DMDestroy(&plex);CHKERRQ(ierr); 2553a925c78cSMatthew G. Knepley PetscFunctionReturn(0); 2554a925c78cSMatthew G. Knepley } 2555a925c78cSMatthew G. Knepley 25569f520fc2SToby Isaac /*@ 25579f520fc2SToby Isaac DMPlexSetSNESLocalFEM - Use DMPlex's internal FEM routines to compute SNES boundary values, residual, and Jacobian. 25589f520fc2SToby Isaac 25599f520fc2SToby Isaac Input Parameters: 25609f520fc2SToby Isaac + dm - The DM object 2561dff059c6SToby Isaac . boundaryctx - the user context that will be passed to pointwise evaluation of boundary values (see PetscDSAddBoundary()) 25629f520fc2SToby Isaac . residualctx - the user context that will be passed to pointwise evaluation of finite element residual computations (see PetscDSSetResidual()) 25639f520fc2SToby Isaac - jacobianctx - the user context that will be passed to pointwise evaluation of finite element Jacobian construction (see PetscDSSetJacobian()) 25641a244344SSatish Balay 25651a244344SSatish Balay Level: developer 25669f520fc2SToby Isaac @*/ 25679f520fc2SToby Isaac PetscErrorCode DMPlexSetSNESLocalFEM(DM dm, void *boundaryctx, void *residualctx, void *jacobianctx) 25689f520fc2SToby Isaac { 25699f520fc2SToby Isaac PetscErrorCode ierr; 25709f520fc2SToby Isaac 25719f520fc2SToby Isaac PetscFunctionBegin; 25729f520fc2SToby Isaac ierr = DMSNESSetBoundaryLocal(dm,DMPlexSNESComputeBoundaryFEM,boundaryctx);CHKERRQ(ierr); 25739f520fc2SToby Isaac ierr = DMSNESSetFunctionLocal(dm,DMPlexSNESComputeResidualFEM,residualctx);CHKERRQ(ierr); 25749f520fc2SToby Isaac ierr = DMSNESSetJacobianLocal(dm,DMPlexSNESComputeJacobianFEM,jacobianctx);CHKERRQ(ierr); 25759f520fc2SToby Isaac PetscFunctionReturn(0); 25769f520fc2SToby Isaac } 25779f520fc2SToby Isaac 25780163fd50SMatthew G. Knepley 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) 25791878804aSMatthew G. Knepley { 2580282e7bb4SMatthew G. Knepley PetscDS prob; 25811878804aSMatthew G. Knepley Mat J, M; 25821878804aSMatthew G. Knepley Vec r, b; 25831878804aSMatthew G. Knepley MatNullSpace nullSpace; 25841878804aSMatthew G. Knepley PetscReal *error, res = 0.0; 25851878804aSMatthew G. Knepley PetscInt numFields; 2586282e7bb4SMatthew G. Knepley PetscBool hasJac, hasPrec; 25871878804aSMatthew G. Knepley PetscErrorCode ierr; 25881878804aSMatthew G. Knepley 25891878804aSMatthew G. Knepley PetscFunctionBegin; 25901878804aSMatthew G. Knepley ierr = VecDuplicate(u, &r);CHKERRQ(ierr); 25911878804aSMatthew G. Knepley ierr = DMCreateMatrix(dm, &J);CHKERRQ(ierr); 25921878804aSMatthew G. Knepley /* TODO Null space for J */ 25931878804aSMatthew G. Knepley /* Check discretization error */ 25941878804aSMatthew G. Knepley ierr = DMGetNumFields(dm, &numFields);CHKERRQ(ierr); 25951878804aSMatthew G. Knepley ierr = PetscMalloc1(PetscMax(1, numFields), &error);CHKERRQ(ierr); 25961878804aSMatthew G. Knepley if (numFields > 1) { 25971878804aSMatthew G. Knepley PetscInt f; 25981878804aSMatthew G. Knepley 25991189c1efSToby Isaac ierr = DMComputeL2FieldDiff(dm, 0.0, exactFuncs, ctxs, u, error);CHKERRQ(ierr); 26001878804aSMatthew G. Knepley ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: [");CHKERRQ(ierr); 26011878804aSMatthew G. Knepley for (f = 0; f < numFields; ++f) { 26021878804aSMatthew G. Knepley if (f) {ierr = PetscPrintf(PETSC_COMM_WORLD, ", ");CHKERRQ(ierr);} 2603e5b268a4SToby Isaac if (error[f] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "%g", (double)error[f]);CHKERRQ(ierr);} 26041878804aSMatthew G. Knepley else {ierr = PetscPrintf(PETSC_COMM_WORLD, "< 1.0e-11");CHKERRQ(ierr);} 26051878804aSMatthew G. Knepley } 26061878804aSMatthew G. Knepley ierr = PetscPrintf(PETSC_COMM_WORLD, "]\n");CHKERRQ(ierr); 26071878804aSMatthew G. Knepley } else { 26080709b2feSToby Isaac ierr = DMComputeL2Diff(dm, 0.0, exactFuncs, ctxs, u, &error[0]);CHKERRQ(ierr); 2609e5b268a4SToby Isaac if (error[0] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: %g\n", (double)error[0]);CHKERRQ(ierr);} 26101878804aSMatthew G. Knepley else {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: < 1.0e-11\n");CHKERRQ(ierr);} 26111878804aSMatthew G. Knepley } 26121878804aSMatthew G. Knepley ierr = PetscFree(error);CHKERRQ(ierr); 26131878804aSMatthew G. Knepley /* Check residual */ 26141878804aSMatthew G. Knepley ierr = SNESComputeFunction(snes, u, r);CHKERRQ(ierr); 26151878804aSMatthew G. Knepley ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 2616e5b268a4SToby Isaac ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Residual: %g\n", (double)res);CHKERRQ(ierr); 26171878804aSMatthew G. Knepley ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 26181878804aSMatthew G. Knepley ierr = PetscObjectSetName((PetscObject) r, "Initial Residual");CHKERRQ(ierr); 2619685405a1SBarry Smith ierr = PetscObjectSetOptionsPrefix((PetscObject)r,"res_");CHKERRQ(ierr); 2620685405a1SBarry Smith ierr = VecViewFromOptions(r, NULL, "-vec_view");CHKERRQ(ierr); 26211878804aSMatthew G. Knepley /* Check Jacobian */ 2622282e7bb4SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 2623282e7bb4SMatthew G. Knepley ierr = PetscDSHasJacobian(prob, &hasJac);CHKERRQ(ierr); 2624282e7bb4SMatthew G. Knepley ierr = PetscDSHasJacobianPreconditioner(prob, &hasPrec);CHKERRQ(ierr); 2625282e7bb4SMatthew G. Knepley if (hasJac && hasPrec) { 2626282e7bb4SMatthew G. Knepley ierr = DMCreateMatrix(dm, &M);CHKERRQ(ierr); 2627282e7bb4SMatthew G. Knepley ierr = SNESComputeJacobian(snes, u, J, M);CHKERRQ(ierr); 2628282e7bb4SMatthew G. Knepley ierr = PetscObjectSetOptionsPrefix((PetscObject) M, "jacpre_");CHKERRQ(ierr); 2629282e7bb4SMatthew G. Knepley ierr = MatViewFromOptions(M, NULL, "-mat_view");CHKERRQ(ierr); 2630282e7bb4SMatthew G. Knepley ierr = MatDestroy(&M);CHKERRQ(ierr); 2631282e7bb4SMatthew G. Knepley } else { 2632282e7bb4SMatthew G. Knepley ierr = SNESComputeJacobian(snes, u, J, J);CHKERRQ(ierr); 2633282e7bb4SMatthew G. Knepley } 2634282e7bb4SMatthew G. Knepley ierr = PetscObjectSetOptionsPrefix((PetscObject) J, "jac_");CHKERRQ(ierr); 2635282e7bb4SMatthew G. Knepley ierr = MatViewFromOptions(J, NULL, "-mat_view");CHKERRQ(ierr); 26361878804aSMatthew G. Knepley ierr = MatGetNullSpace(J, &nullSpace);CHKERRQ(ierr); 26371878804aSMatthew G. Knepley if (nullSpace) { 26381878804aSMatthew G. Knepley PetscBool isNull; 26391878804aSMatthew G. Knepley ierr = MatNullSpaceTest(nullSpace, J, &isNull);CHKERRQ(ierr); 26401878804aSMatthew G. Knepley if (!isNull) SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_PLIB, "The null space calculated for the system operator is invalid."); 26411878804aSMatthew G. Knepley } 26421878804aSMatthew G. Knepley ierr = VecDuplicate(u, &b);CHKERRQ(ierr); 26431878804aSMatthew G. Knepley ierr = VecSet(r, 0.0);CHKERRQ(ierr); 26441878804aSMatthew G. Knepley ierr = SNESComputeFunction(snes, r, b);CHKERRQ(ierr); 2645282e7bb4SMatthew G. Knepley ierr = MatMult(J, u, r);CHKERRQ(ierr); 26461878804aSMatthew G. Knepley ierr = VecAXPY(r, 1.0, b);CHKERRQ(ierr); 26471878804aSMatthew G. Knepley ierr = VecDestroy(&b);CHKERRQ(ierr); 26481878804aSMatthew G. Knepley ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 2649e5b268a4SToby Isaac ierr = PetscPrintf(PETSC_COMM_WORLD, "Linear L_2 Residual: %g\n", (double)res);CHKERRQ(ierr); 26501878804aSMatthew G. Knepley ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 26511878804aSMatthew G. Knepley ierr = PetscObjectSetName((PetscObject) r, "Au - b = Au + F(0)");CHKERRQ(ierr); 2652685405a1SBarry Smith ierr = PetscObjectSetOptionsPrefix((PetscObject)r,"linear_res_");CHKERRQ(ierr); 2653685405a1SBarry Smith ierr = VecViewFromOptions(r, NULL, "-vec_view");CHKERRQ(ierr); 26541878804aSMatthew G. Knepley ierr = VecDestroy(&r);CHKERRQ(ierr); 26551878804aSMatthew G. Knepley ierr = MatNullSpaceDestroy(&nullSpace);CHKERRQ(ierr); 26561878804aSMatthew G. Knepley ierr = MatDestroy(&J);CHKERRQ(ierr); 26571878804aSMatthew G. Knepley PetscFunctionReturn(0); 26581878804aSMatthew G. Knepley } 26591878804aSMatthew G. Knepley 26600163fd50SMatthew G. Knepley PetscErrorCode DMSNESCheckFromOptions(SNES snes, Vec u, PetscErrorCode (**exactFuncs)(PetscInt dim, PetscReal time, const PetscReal x[], PetscInt Nf, PetscScalar *u, void *ctx), void **ctxs) 26611878804aSMatthew G. Knepley { 26621878804aSMatthew G. Knepley DM dm; 26631878804aSMatthew G. Knepley Vec sol; 26641878804aSMatthew G. Knepley PetscBool check; 26651878804aSMatthew G. Knepley PetscErrorCode ierr; 26661878804aSMatthew G. Knepley 26671878804aSMatthew G. Knepley PetscFunctionBegin; 2668c5929fdfSBarry Smith ierr = PetscOptionsHasName(((PetscObject)snes)->options,((PetscObject)snes)->prefix, "-dmsnes_check", &check);CHKERRQ(ierr); 26691878804aSMatthew G. Knepley if (!check) PetscFunctionReturn(0); 26701878804aSMatthew G. Knepley ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr); 26711878804aSMatthew G. Knepley ierr = VecDuplicate(u, &sol);CHKERRQ(ierr); 26721878804aSMatthew G. Knepley ierr = SNESSetSolution(snes, sol);CHKERRQ(ierr); 26731878804aSMatthew G. Knepley ierr = DMSNESCheckFromOptions_Internal(snes, dm, u, sol, exactFuncs, ctxs);CHKERRQ(ierr); 26741878804aSMatthew G. Knepley ierr = VecDestroy(&sol);CHKERRQ(ierr); 2675552f7358SJed Brown PetscFunctionReturn(0); 2676552f7358SJed Brown } 2677