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 10552f7358SJed Brown #undef __FUNCT__ 116da023fcSToby Isaac #define __FUNCT__ "DMSNESConvertPlex" 126da023fcSToby Isaac static PetscErrorCode DMSNESConvertPlex(DM dm, DM *plex, PetscBool copy) 136da023fcSToby Isaac { 146da023fcSToby Isaac PetscBool isPlex; 156da023fcSToby Isaac PetscErrorCode ierr; 166da023fcSToby Isaac 176da023fcSToby Isaac PetscFunctionBegin; 186da023fcSToby Isaac ierr = PetscObjectTypeCompare((PetscObject) dm, DMPLEX, &isPlex);CHKERRQ(ierr); 196da023fcSToby Isaac if (isPlex) { 206da023fcSToby Isaac *plex = dm; 216da023fcSToby Isaac ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr); 22f7148743SMatthew G. Knepley } else { 23f7148743SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "dm_plex", (PetscObject *) plex);CHKERRQ(ierr); 24f7148743SMatthew G. Knepley if (!*plex) { 256da023fcSToby Isaac ierr = DMConvert(dm,DMPLEX,plex);CHKERRQ(ierr); 26f7148743SMatthew G. Knepley ierr = PetscObjectCompose((PetscObject) dm, "dm_plex", (PetscObject) *plex);CHKERRQ(ierr); 276da023fcSToby Isaac if (copy) { 286da023fcSToby Isaac PetscInt i; 296da023fcSToby Isaac PetscObject obj; 306da023fcSToby Isaac const char *comps[3] = {"A","dmAux","dmCh"}; 316da023fcSToby Isaac 326da023fcSToby Isaac ierr = DMCopyDMSNES(dm, *plex);CHKERRQ(ierr); 336da023fcSToby Isaac for (i = 0; i < 3; i++) { 346da023fcSToby Isaac ierr = PetscObjectQuery((PetscObject) dm, comps[i], &obj);CHKERRQ(ierr); 356da023fcSToby Isaac ierr = PetscObjectCompose((PetscObject) *plex, comps[i], obj);CHKERRQ(ierr); 366da023fcSToby Isaac } 376da023fcSToby Isaac } 38f7148743SMatthew G. Knepley } else { 39f7148743SMatthew G. Knepley ierr = PetscObjectReference((PetscObject) *plex);CHKERRQ(ierr); 40f7148743SMatthew G. Knepley } 416da023fcSToby Isaac } 426da023fcSToby Isaac PetscFunctionReturn(0); 436da023fcSToby Isaac } 446da023fcSToby Isaac 456da023fcSToby Isaac #undef __FUNCT__ 46552f7358SJed Brown #define __FUNCT__ "DMInterpolationCreate" 470adebc6cSBarry Smith PetscErrorCode DMInterpolationCreate(MPI_Comm comm, DMInterpolationInfo *ctx) 480adebc6cSBarry Smith { 49552f7358SJed Brown PetscErrorCode ierr; 50552f7358SJed Brown 51552f7358SJed Brown PetscFunctionBegin; 52552f7358SJed Brown PetscValidPointer(ctx, 2); 53552f7358SJed Brown ierr = PetscMalloc(sizeof(struct _DMInterpolationInfo), ctx);CHKERRQ(ierr); 541aa26658SKarl Rupp 55552f7358SJed Brown (*ctx)->comm = comm; 56552f7358SJed Brown (*ctx)->dim = -1; 57552f7358SJed Brown (*ctx)->nInput = 0; 580298fd71SBarry Smith (*ctx)->points = NULL; 590298fd71SBarry Smith (*ctx)->cells = NULL; 60552f7358SJed Brown (*ctx)->n = -1; 610298fd71SBarry Smith (*ctx)->coords = NULL; 62552f7358SJed Brown PetscFunctionReturn(0); 63552f7358SJed Brown } 64552f7358SJed Brown 65552f7358SJed Brown #undef __FUNCT__ 66552f7358SJed Brown #define __FUNCT__ "DMInterpolationSetDim" 670adebc6cSBarry Smith PetscErrorCode DMInterpolationSetDim(DMInterpolationInfo ctx, PetscInt dim) 680adebc6cSBarry Smith { 69552f7358SJed Brown PetscFunctionBegin; 700adebc6cSBarry Smith if ((dim < 1) || (dim > 3)) SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid dimension for points: %d", dim); 71552f7358SJed Brown ctx->dim = dim; 72552f7358SJed Brown PetscFunctionReturn(0); 73552f7358SJed Brown } 74552f7358SJed Brown 75552f7358SJed Brown #undef __FUNCT__ 76552f7358SJed Brown #define __FUNCT__ "DMInterpolationGetDim" 770adebc6cSBarry Smith PetscErrorCode DMInterpolationGetDim(DMInterpolationInfo ctx, PetscInt *dim) 780adebc6cSBarry Smith { 79552f7358SJed Brown PetscFunctionBegin; 80552f7358SJed Brown PetscValidIntPointer(dim, 2); 81552f7358SJed Brown *dim = ctx->dim; 82552f7358SJed Brown PetscFunctionReturn(0); 83552f7358SJed Brown } 84552f7358SJed Brown 85552f7358SJed Brown #undef __FUNCT__ 86552f7358SJed Brown #define __FUNCT__ "DMInterpolationSetDof" 870adebc6cSBarry Smith PetscErrorCode DMInterpolationSetDof(DMInterpolationInfo ctx, PetscInt dof) 880adebc6cSBarry Smith { 89552f7358SJed Brown PetscFunctionBegin; 900adebc6cSBarry Smith if (dof < 1) SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid number of components: %d", dof); 91552f7358SJed Brown ctx->dof = dof; 92552f7358SJed Brown PetscFunctionReturn(0); 93552f7358SJed Brown } 94552f7358SJed Brown 95552f7358SJed Brown #undef __FUNCT__ 96552f7358SJed Brown #define __FUNCT__ "DMInterpolationGetDof" 970adebc6cSBarry Smith PetscErrorCode DMInterpolationGetDof(DMInterpolationInfo ctx, PetscInt *dof) 980adebc6cSBarry Smith { 99552f7358SJed Brown PetscFunctionBegin; 100552f7358SJed Brown PetscValidIntPointer(dof, 2); 101552f7358SJed Brown *dof = ctx->dof; 102552f7358SJed Brown PetscFunctionReturn(0); 103552f7358SJed Brown } 104552f7358SJed Brown 105552f7358SJed Brown #undef __FUNCT__ 106552f7358SJed Brown #define __FUNCT__ "DMInterpolationAddPoints" 1070adebc6cSBarry Smith PetscErrorCode DMInterpolationAddPoints(DMInterpolationInfo ctx, PetscInt n, PetscReal points[]) 1080adebc6cSBarry Smith { 109552f7358SJed Brown PetscErrorCode ierr; 110552f7358SJed Brown 111552f7358SJed Brown PetscFunctionBegin; 1120adebc6cSBarry Smith if (ctx->dim < 0) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The spatial dimension has not been set"); 1130adebc6cSBarry Smith if (ctx->points) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "Cannot add points multiple times yet"); 114552f7358SJed Brown ctx->nInput = n; 1151aa26658SKarl Rupp 116785e854fSJed Brown ierr = PetscMalloc1(n*ctx->dim, &ctx->points);CHKERRQ(ierr); 117552f7358SJed Brown ierr = PetscMemcpy(ctx->points, points, n*ctx->dim * sizeof(PetscReal));CHKERRQ(ierr); 118552f7358SJed Brown PetscFunctionReturn(0); 119552f7358SJed Brown } 120552f7358SJed Brown 121552f7358SJed Brown #undef __FUNCT__ 122552f7358SJed Brown #define __FUNCT__ "DMInterpolationSetUp" 1230adebc6cSBarry Smith PetscErrorCode DMInterpolationSetUp(DMInterpolationInfo ctx, DM dm, PetscBool redundantPoints) 1240adebc6cSBarry Smith { 125552f7358SJed Brown MPI_Comm comm = ctx->comm; 126552f7358SJed Brown PetscScalar *a; 127552f7358SJed Brown PetscInt p, q, i; 128552f7358SJed Brown PetscMPIInt rank, size; 129552f7358SJed Brown PetscErrorCode ierr; 130552f7358SJed Brown Vec pointVec; 1313a93e3b7SToby Isaac PetscSF cellSF; 132552f7358SJed Brown PetscLayout layout; 133552f7358SJed Brown PetscReal *globalPoints; 134cb313848SJed Brown PetscScalar *globalPointsScalar; 135552f7358SJed Brown const PetscInt *ranges; 136552f7358SJed Brown PetscMPIInt *counts, *displs; 1373a93e3b7SToby Isaac const PetscSFNode *foundCells; 1383a93e3b7SToby Isaac const PetscInt *foundPoints; 139552f7358SJed Brown PetscMPIInt *foundProcs, *globalProcs; 1403a93e3b7SToby Isaac PetscInt n, N, numFound; 141552f7358SJed Brown 14219436ca2SJed Brown PetscFunctionBegin; 14319436ca2SJed Brown PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 14419436ca2SJed Brown ierr = MPI_Comm_size(comm, &size);CHKERRQ(ierr); 14519436ca2SJed Brown ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr); 1460adebc6cSBarry Smith if (ctx->dim < 0) SETERRQ(comm, PETSC_ERR_ARG_WRONGSTATE, "The spatial dimension has not been set"); 14719436ca2SJed Brown /* Locate points */ 14819436ca2SJed Brown n = ctx->nInput; 149552f7358SJed Brown if (!redundantPoints) { 150552f7358SJed Brown ierr = PetscLayoutCreate(comm, &layout);CHKERRQ(ierr); 151552f7358SJed Brown ierr = PetscLayoutSetBlockSize(layout, 1);CHKERRQ(ierr); 152552f7358SJed Brown ierr = PetscLayoutSetLocalSize(layout, n);CHKERRQ(ierr); 153552f7358SJed Brown ierr = PetscLayoutSetUp(layout);CHKERRQ(ierr); 154552f7358SJed Brown ierr = PetscLayoutGetSize(layout, &N);CHKERRQ(ierr); 155552f7358SJed Brown /* Communicate all points to all processes */ 156dcca6d9dSJed Brown ierr = PetscMalloc3(N*ctx->dim,&globalPoints,size,&counts,size,&displs);CHKERRQ(ierr); 157552f7358SJed Brown ierr = PetscLayoutGetRanges(layout, &ranges);CHKERRQ(ierr); 158552f7358SJed Brown for (p = 0; p < size; ++p) { 159552f7358SJed Brown counts[p] = (ranges[p+1] - ranges[p])*ctx->dim; 160552f7358SJed Brown displs[p] = ranges[p]*ctx->dim; 161552f7358SJed Brown } 162552f7358SJed Brown ierr = MPI_Allgatherv(ctx->points, n*ctx->dim, MPIU_REAL, globalPoints, counts, displs, MPIU_REAL, comm);CHKERRQ(ierr); 163552f7358SJed Brown } else { 164552f7358SJed Brown N = n; 165552f7358SJed Brown globalPoints = ctx->points; 16638ea73c8SJed Brown counts = displs = NULL; 16738ea73c8SJed Brown layout = NULL; 168552f7358SJed Brown } 169552f7358SJed Brown #if 0 170dcca6d9dSJed Brown ierr = PetscMalloc3(N,&foundCells,N,&foundProcs,N,&globalProcs);CHKERRQ(ierr); 17119436ca2SJed Brown /* foundCells[p] = m->locatePoint(&globalPoints[p*ctx->dim]); */ 172552f7358SJed Brown #else 173cb313848SJed Brown #if defined(PETSC_USE_COMPLEX) 174785e854fSJed Brown ierr = PetscMalloc1(N,&globalPointsScalar);CHKERRQ(ierr); 175cb313848SJed Brown for (i=0; i<N; i++) globalPointsScalar[i] = globalPoints[i]; 176cb313848SJed Brown #else 177cb313848SJed Brown globalPointsScalar = globalPoints; 178cb313848SJed Brown #endif 17904706141SMatthew G Knepley ierr = VecCreateSeqWithArray(PETSC_COMM_SELF, ctx->dim, N*ctx->dim, globalPointsScalar, &pointVec);CHKERRQ(ierr); 180dcca6d9dSJed Brown ierr = PetscMalloc2(N,&foundProcs,N,&globalProcs);CHKERRQ(ierr); 1813a93e3b7SToby Isaac cellSF = NULL; 1823a93e3b7SToby Isaac ierr = DMLocatePoints(dm, pointVec, &cellSF);CHKERRQ(ierr); 1833a93e3b7SToby Isaac ierr = PetscSFGetGraph(cellSF,NULL,&numFound,&foundPoints,&foundCells);CHKERRQ(ierr); 184552f7358SJed Brown #endif 1853a93e3b7SToby Isaac for (p = 0; p < numFound; ++p) { 1863a93e3b7SToby Isaac if (foundCells[p].index >= 0) foundProcs[foundPoints ? foundPoints[p] : p] = rank; 1873a93e3b7SToby Isaac else foundProcs[foundPoints ? foundPoints[p] : p] = size; 188552f7358SJed Brown } 189552f7358SJed Brown /* Let the lowest rank process own each point */ 190b2566f29SBarry Smith ierr = MPIU_Allreduce(foundProcs, globalProcs, N, MPI_INT, MPI_MIN, comm);CHKERRQ(ierr); 191552f7358SJed Brown ctx->n = 0; 192552f7358SJed Brown for (p = 0; p < N; ++p) { 1930adebc6cSBarry Smith if (globalProcs[p] == size) SETERRQ4(comm, PETSC_ERR_PLIB, "Point %d: %g %g %g not located in mesh", p, globalPoints[p*ctx->dim+0], ctx->dim > 1 ? globalPoints[p*ctx->dim+1] : 0.0, ctx->dim > 2 ? globalPoints[p*ctx->dim+2] : 0.0); 1941aa26658SKarl Rupp else if (globalProcs[p] == rank) ctx->n++; 195552f7358SJed Brown } 196552f7358SJed Brown /* Create coordinates vector and array of owned cells */ 197785e854fSJed Brown ierr = PetscMalloc1(ctx->n, &ctx->cells);CHKERRQ(ierr); 198552f7358SJed Brown ierr = VecCreate(comm, &ctx->coords);CHKERRQ(ierr); 199552f7358SJed Brown ierr = VecSetSizes(ctx->coords, ctx->n*ctx->dim, PETSC_DECIDE);CHKERRQ(ierr); 200552f7358SJed Brown ierr = VecSetBlockSize(ctx->coords, ctx->dim);CHKERRQ(ierr); 201c0dedaeaSBarry Smith ierr = VecSetType(ctx->coords,VECSTANDARD);CHKERRQ(ierr); 202552f7358SJed Brown ierr = VecGetArray(ctx->coords, &a);CHKERRQ(ierr); 203552f7358SJed Brown for (p = 0, q = 0, i = 0; p < N; ++p) { 204552f7358SJed Brown if (globalProcs[p] == rank) { 205552f7358SJed Brown PetscInt d; 206552f7358SJed Brown 2071aa26658SKarl Rupp for (d = 0; d < ctx->dim; ++d, ++i) a[i] = globalPoints[p*ctx->dim+d]; 2083a93e3b7SToby Isaac ctx->cells[q++] = foundCells[p].index; 209552f7358SJed Brown } 210552f7358SJed Brown } 211552f7358SJed Brown ierr = VecRestoreArray(ctx->coords, &a);CHKERRQ(ierr); 212552f7358SJed Brown #if 0 213552f7358SJed Brown ierr = PetscFree3(foundCells,foundProcs,globalProcs);CHKERRQ(ierr); 214552f7358SJed Brown #else 215552f7358SJed Brown ierr = PetscFree2(foundProcs,globalProcs);CHKERRQ(ierr); 2163a93e3b7SToby Isaac ierr = PetscSFDestroy(&cellSF);CHKERRQ(ierr); 217552f7358SJed Brown ierr = VecDestroy(&pointVec);CHKERRQ(ierr); 218552f7358SJed Brown #endif 219cb313848SJed Brown if ((void*)globalPointsScalar != (void*)globalPoints) {ierr = PetscFree(globalPointsScalar);CHKERRQ(ierr);} 220d343d804SMatthew G. Knepley if (!redundantPoints) {ierr = PetscFree3(globalPoints,counts,displs);CHKERRQ(ierr);} 221552f7358SJed Brown ierr = PetscLayoutDestroy(&layout);CHKERRQ(ierr); 222552f7358SJed Brown PetscFunctionReturn(0); 223552f7358SJed Brown } 224552f7358SJed Brown 225552f7358SJed Brown #undef __FUNCT__ 226552f7358SJed Brown #define __FUNCT__ "DMInterpolationGetCoordinates" 2270adebc6cSBarry Smith PetscErrorCode DMInterpolationGetCoordinates(DMInterpolationInfo ctx, Vec *coordinates) 2280adebc6cSBarry Smith { 229552f7358SJed Brown PetscFunctionBegin; 230552f7358SJed Brown PetscValidPointer(coordinates, 2); 2310adebc6cSBarry Smith if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 232552f7358SJed Brown *coordinates = ctx->coords; 233552f7358SJed Brown PetscFunctionReturn(0); 234552f7358SJed Brown } 235552f7358SJed Brown 236552f7358SJed Brown #undef __FUNCT__ 237552f7358SJed Brown #define __FUNCT__ "DMInterpolationGetVector" 2380adebc6cSBarry Smith PetscErrorCode DMInterpolationGetVector(DMInterpolationInfo ctx, Vec *v) 2390adebc6cSBarry Smith { 240552f7358SJed Brown PetscErrorCode ierr; 241552f7358SJed Brown 242552f7358SJed Brown PetscFunctionBegin; 243552f7358SJed Brown PetscValidPointer(v, 2); 2440adebc6cSBarry Smith if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 245552f7358SJed Brown ierr = VecCreate(ctx->comm, v);CHKERRQ(ierr); 246552f7358SJed Brown ierr = VecSetSizes(*v, ctx->n*ctx->dof, PETSC_DECIDE);CHKERRQ(ierr); 247552f7358SJed Brown ierr = VecSetBlockSize(*v, ctx->dof);CHKERRQ(ierr); 248c0dedaeaSBarry Smith ierr = VecSetType(*v,VECSTANDARD);CHKERRQ(ierr); 249552f7358SJed Brown PetscFunctionReturn(0); 250552f7358SJed Brown } 251552f7358SJed Brown 252552f7358SJed Brown #undef __FUNCT__ 253552f7358SJed Brown #define __FUNCT__ "DMInterpolationRestoreVector" 2540adebc6cSBarry Smith PetscErrorCode DMInterpolationRestoreVector(DMInterpolationInfo ctx, Vec *v) 2550adebc6cSBarry Smith { 256552f7358SJed Brown PetscErrorCode ierr; 257552f7358SJed Brown 258552f7358SJed Brown PetscFunctionBegin; 259552f7358SJed Brown PetscValidPointer(v, 2); 2600adebc6cSBarry Smith if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup."); 261552f7358SJed Brown ierr = VecDestroy(v);CHKERRQ(ierr); 262552f7358SJed Brown PetscFunctionReturn(0); 263552f7358SJed Brown } 264552f7358SJed Brown 265552f7358SJed Brown #undef __FUNCT__ 2667a1931ceSMatthew G. Knepley #define __FUNCT__ "DMInterpolate_Triangle_Private" 2677a1931ceSMatthew G. Knepley PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Triangle_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 268a6dfd86eSKarl Rupp { 269552f7358SJed Brown PetscReal *v0, *J, *invJ, detJ; 27056044e6dSMatthew G. Knepley const PetscScalar *coords; 27156044e6dSMatthew G. Knepley PetscScalar *a; 272552f7358SJed Brown PetscInt p; 273552f7358SJed Brown PetscErrorCode ierr; 274552f7358SJed Brown 275552f7358SJed Brown PetscFunctionBegin; 276dcca6d9dSJed Brown ierr = PetscMalloc3(ctx->dim,&v0,ctx->dim*ctx->dim,&J,ctx->dim*ctx->dim,&invJ);CHKERRQ(ierr); 27756044e6dSMatthew G. Knepley ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 278552f7358SJed Brown ierr = VecGetArray(v, &a);CHKERRQ(ierr); 279552f7358SJed Brown for (p = 0; p < ctx->n; ++p) { 280552f7358SJed Brown PetscInt c = ctx->cells[p]; 281a1e44745SMatthew G. Knepley PetscScalar *x = NULL; 282552f7358SJed Brown PetscReal xi[4]; 283552f7358SJed Brown PetscInt d, f, comp; 284552f7358SJed Brown 2858e0841e0SMatthew G. Knepley ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 286552f7358SJed Brown if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c); 2870298fd71SBarry Smith ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 2881aa26658SKarl Rupp for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp]; 2891aa26658SKarl Rupp 290552f7358SJed Brown for (d = 0; d < ctx->dim; ++d) { 291552f7358SJed Brown xi[d] = 0.0; 2921aa26658SKarl 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]); 2931aa26658SKarl 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]; 294552f7358SJed Brown } 2950298fd71SBarry Smith ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 296552f7358SJed Brown } 297552f7358SJed Brown ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 29856044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 299552f7358SJed Brown ierr = PetscFree3(v0, J, invJ);CHKERRQ(ierr); 300552f7358SJed Brown PetscFunctionReturn(0); 301552f7358SJed Brown } 302552f7358SJed Brown 303552f7358SJed Brown #undef __FUNCT__ 3047a1931ceSMatthew G. Knepley #define __FUNCT__ "DMInterpolate_Tetrahedron_Private" 3057a1931ceSMatthew G. Knepley PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Tetrahedron_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 3067a1931ceSMatthew G. Knepley { 3077a1931ceSMatthew G. Knepley PetscReal *v0, *J, *invJ, detJ; 30856044e6dSMatthew G. Knepley const PetscScalar *coords; 30956044e6dSMatthew G. Knepley PetscScalar *a; 3107a1931ceSMatthew G. Knepley PetscInt p; 3117a1931ceSMatthew G. Knepley PetscErrorCode ierr; 3127a1931ceSMatthew G. Knepley 3137a1931ceSMatthew G. Knepley PetscFunctionBegin; 314dcca6d9dSJed Brown ierr = PetscMalloc3(ctx->dim,&v0,ctx->dim*ctx->dim,&J,ctx->dim*ctx->dim,&invJ);CHKERRQ(ierr); 31556044e6dSMatthew G. Knepley ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 3167a1931ceSMatthew G. Knepley ierr = VecGetArray(v, &a);CHKERRQ(ierr); 3177a1931ceSMatthew G. Knepley for (p = 0; p < ctx->n; ++p) { 3187a1931ceSMatthew G. Knepley PetscInt c = ctx->cells[p]; 3197a1931ceSMatthew G. Knepley const PetscInt order[3] = {2, 1, 3}; 3202584bbe8SMatthew G. Knepley PetscScalar *x = NULL; 3217a1931ceSMatthew G. Knepley PetscReal xi[4]; 3227a1931ceSMatthew G. Knepley PetscInt d, f, comp; 3237a1931ceSMatthew G. Knepley 3248e0841e0SMatthew G. Knepley ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 3257a1931ceSMatthew G. Knepley if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c); 3267a1931ceSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 3277a1931ceSMatthew G. Knepley for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp]; 3287a1931ceSMatthew G. Knepley 3297a1931ceSMatthew G. Knepley for (d = 0; d < ctx->dim; ++d) { 3307a1931ceSMatthew G. Knepley xi[d] = 0.0; 3317a1931ceSMatthew 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]); 3327a1931ceSMatthew 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]; 3337a1931ceSMatthew G. Knepley } 3347a1931ceSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr); 3357a1931ceSMatthew G. Knepley } 3367a1931ceSMatthew G. Knepley ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 33756044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 3387a1931ceSMatthew G. Knepley ierr = PetscFree3(v0, J, invJ);CHKERRQ(ierr); 3397a1931ceSMatthew G. Knepley PetscFunctionReturn(0); 3407a1931ceSMatthew G. Knepley } 3417a1931ceSMatthew G. Knepley 3427a1931ceSMatthew G. Knepley #undef __FUNCT__ 343552f7358SJed Brown #define __FUNCT__ "QuadMap_Private" 3445820edbdSMatthew G Knepley PETSC_STATIC_INLINE PetscErrorCode QuadMap_Private(SNES snes, Vec Xref, Vec Xreal, void *ctx) 345552f7358SJed Brown { 346552f7358SJed Brown const PetscScalar *vertices = (const PetscScalar*) ctx; 347552f7358SJed Brown const PetscScalar x0 = vertices[0]; 348552f7358SJed Brown const PetscScalar y0 = vertices[1]; 349552f7358SJed Brown const PetscScalar x1 = vertices[2]; 350552f7358SJed Brown const PetscScalar y1 = vertices[3]; 351552f7358SJed Brown const PetscScalar x2 = vertices[4]; 352552f7358SJed Brown const PetscScalar y2 = vertices[5]; 353552f7358SJed Brown const PetscScalar x3 = vertices[6]; 354552f7358SJed Brown const PetscScalar y3 = vertices[7]; 355552f7358SJed Brown const PetscScalar f_1 = x1 - x0; 356552f7358SJed Brown const PetscScalar g_1 = y1 - y0; 357552f7358SJed Brown const PetscScalar f_3 = x3 - x0; 358552f7358SJed Brown const PetscScalar g_3 = y3 - y0; 359552f7358SJed Brown const PetscScalar f_01 = x2 - x1 - x3 + x0; 360552f7358SJed Brown const PetscScalar g_01 = y2 - y1 - y3 + y0; 36156044e6dSMatthew G. Knepley const PetscScalar *ref; 36256044e6dSMatthew G. Knepley PetscScalar *real; 363552f7358SJed Brown PetscErrorCode ierr; 364552f7358SJed Brown 365552f7358SJed Brown PetscFunctionBegin; 36656044e6dSMatthew G. Knepley ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 367552f7358SJed Brown ierr = VecGetArray(Xreal, &real);CHKERRQ(ierr); 368552f7358SJed Brown { 369552f7358SJed Brown const PetscScalar p0 = ref[0]; 370552f7358SJed Brown const PetscScalar p1 = ref[1]; 371552f7358SJed Brown 372552f7358SJed Brown real[0] = x0 + f_1 * p0 + f_3 * p1 + f_01 * p0 * p1; 373552f7358SJed Brown real[1] = y0 + g_1 * p0 + g_3 * p1 + g_01 * p0 * p1; 374552f7358SJed Brown } 375552f7358SJed Brown ierr = PetscLogFlops(28);CHKERRQ(ierr); 37656044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 377552f7358SJed Brown ierr = VecRestoreArray(Xreal, &real);CHKERRQ(ierr); 378552f7358SJed Brown PetscFunctionReturn(0); 379552f7358SJed Brown } 380552f7358SJed Brown 381af0996ceSBarry Smith #include <petsc/private/dmimpl.h> 382552f7358SJed Brown #undef __FUNCT__ 383552f7358SJed Brown #define __FUNCT__ "QuadJacobian_Private" 384d1e9a80fSBarry Smith PETSC_STATIC_INLINE PetscErrorCode QuadJacobian_Private(SNES snes, Vec Xref, Mat J, Mat M, void *ctx) 385552f7358SJed Brown { 386552f7358SJed Brown const PetscScalar *vertices = (const PetscScalar*) ctx; 387552f7358SJed Brown const PetscScalar x0 = vertices[0]; 388552f7358SJed Brown const PetscScalar y0 = vertices[1]; 389552f7358SJed Brown const PetscScalar x1 = vertices[2]; 390552f7358SJed Brown const PetscScalar y1 = vertices[3]; 391552f7358SJed Brown const PetscScalar x2 = vertices[4]; 392552f7358SJed Brown const PetscScalar y2 = vertices[5]; 393552f7358SJed Brown const PetscScalar x3 = vertices[6]; 394552f7358SJed Brown const PetscScalar y3 = vertices[7]; 395552f7358SJed Brown const PetscScalar f_01 = x2 - x1 - x3 + x0; 396552f7358SJed Brown const PetscScalar g_01 = y2 - y1 - y3 + y0; 39756044e6dSMatthew G. Knepley const PetscScalar *ref; 398552f7358SJed Brown PetscErrorCode ierr; 399552f7358SJed Brown 400552f7358SJed Brown PetscFunctionBegin; 40156044e6dSMatthew G. Knepley ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 402552f7358SJed Brown { 403552f7358SJed Brown const PetscScalar x = ref[0]; 404552f7358SJed Brown const PetscScalar y = ref[1]; 405552f7358SJed Brown const PetscInt rows[2] = {0, 1}; 406da80777bSKarl Rupp PetscScalar values[4]; 407da80777bSKarl Rupp 408da80777bSKarl Rupp values[0] = (x1 - x0 + f_01*y) * 0.5; values[1] = (x3 - x0 + f_01*x) * 0.5; 409da80777bSKarl Rupp values[2] = (y1 - y0 + g_01*y) * 0.5; values[3] = (y3 - y0 + g_01*x) * 0.5; 41094ab13aaSBarry Smith ierr = MatSetValues(J, 2, rows, 2, rows, values, INSERT_VALUES);CHKERRQ(ierr); 411552f7358SJed Brown } 412552f7358SJed Brown ierr = PetscLogFlops(30);CHKERRQ(ierr); 41356044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 41494ab13aaSBarry Smith ierr = MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 41594ab13aaSBarry Smith ierr = MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 416552f7358SJed Brown PetscFunctionReturn(0); 417552f7358SJed Brown } 418552f7358SJed Brown 419552f7358SJed Brown #undef __FUNCT__ 420552f7358SJed Brown #define __FUNCT__ "DMInterpolate_Quad_Private" 421a6dfd86eSKarl Rupp PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Quad_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 422a6dfd86eSKarl Rupp { 423fafc0619SMatthew G Knepley DM dmCoord; 424552f7358SJed Brown SNES snes; 425552f7358SJed Brown KSP ksp; 426552f7358SJed Brown PC pc; 427552f7358SJed Brown Vec coordsLocal, r, ref, real; 428552f7358SJed Brown Mat J; 42956044e6dSMatthew G. Knepley const PetscScalar *coords; 43056044e6dSMatthew G. Knepley PetscScalar *a; 431552f7358SJed Brown PetscInt p; 432552f7358SJed Brown PetscErrorCode ierr; 433552f7358SJed Brown 434552f7358SJed Brown PetscFunctionBegin; 435552f7358SJed Brown ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 436fafc0619SMatthew G Knepley ierr = DMGetCoordinateDM(dm, &dmCoord);CHKERRQ(ierr); 437552f7358SJed Brown ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr); 438552f7358SJed Brown ierr = SNESSetOptionsPrefix(snes, "quad_interp_");CHKERRQ(ierr); 439552f7358SJed Brown ierr = VecCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr); 440552f7358SJed Brown ierr = VecSetSizes(r, 2, 2);CHKERRQ(ierr); 441c0dedaeaSBarry Smith ierr = VecSetType(r,dm->vectype);CHKERRQ(ierr); 442552f7358SJed Brown ierr = VecDuplicate(r, &ref);CHKERRQ(ierr); 443552f7358SJed Brown ierr = VecDuplicate(r, &real);CHKERRQ(ierr); 444552f7358SJed Brown ierr = MatCreate(PETSC_COMM_SELF, &J);CHKERRQ(ierr); 445552f7358SJed Brown ierr = MatSetSizes(J, 2, 2, 2, 2);CHKERRQ(ierr); 446552f7358SJed Brown ierr = MatSetType(J, MATSEQDENSE);CHKERRQ(ierr); 447552f7358SJed Brown ierr = MatSetUp(J);CHKERRQ(ierr); 4480298fd71SBarry Smith ierr = SNESSetFunction(snes, r, QuadMap_Private, NULL);CHKERRQ(ierr); 4490298fd71SBarry Smith ierr = SNESSetJacobian(snes, J, J, QuadJacobian_Private, NULL);CHKERRQ(ierr); 450552f7358SJed Brown ierr = SNESGetKSP(snes, &ksp);CHKERRQ(ierr); 451552f7358SJed Brown ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr); 452552f7358SJed Brown ierr = PCSetType(pc, PCLU);CHKERRQ(ierr); 453552f7358SJed Brown ierr = SNESSetFromOptions(snes);CHKERRQ(ierr); 454552f7358SJed Brown 45556044e6dSMatthew G. Knepley ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 456552f7358SJed Brown ierr = VecGetArray(v, &a);CHKERRQ(ierr); 457552f7358SJed Brown for (p = 0; p < ctx->n; ++p) { 458a1e44745SMatthew G. Knepley PetscScalar *x = NULL, *vertices = NULL; 459552f7358SJed Brown PetscScalar *xi; 460cb313848SJed Brown PetscReal xir[2]; 461552f7358SJed Brown PetscInt c = ctx->cells[p], comp, coordSize, xSize; 462552f7358SJed Brown 463552f7358SJed Brown /* Can make this do all points at once */ 4640298fd71SBarry Smith ierr = DMPlexVecGetClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 4650adebc6cSBarry Smith if (4*2 != coordSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", coordSize, 4*2); 4660298fd71SBarry Smith ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 4670adebc6cSBarry Smith if (4*ctx->dof != xSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", xSize, 4*ctx->dof); 4680298fd71SBarry Smith ierr = SNESSetFunction(snes, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 4690298fd71SBarry Smith ierr = SNESSetJacobian(snes, NULL, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 470552f7358SJed Brown ierr = VecGetArray(real, &xi);CHKERRQ(ierr); 471552f7358SJed Brown xi[0] = coords[p*ctx->dim+0]; 472552f7358SJed Brown xi[1] = coords[p*ctx->dim+1]; 473552f7358SJed Brown ierr = VecRestoreArray(real, &xi);CHKERRQ(ierr); 474552f7358SJed Brown ierr = SNESSolve(snes, real, ref);CHKERRQ(ierr); 475552f7358SJed Brown ierr = VecGetArray(ref, &xi);CHKERRQ(ierr); 476cb313848SJed Brown xir[0] = PetscRealPart(xi[0]); 477cb313848SJed Brown xir[1] = PetscRealPart(xi[1]); 4781aa26658SKarl Rupp for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp]*(1 - xir[0])*(1 - xir[1]) + x[1*ctx->dof+comp]*xir[0]*(1 - xir[1]) + x[2*ctx->dof+comp]*xir[0]*xir[1] + x[3*ctx->dof+comp]*(1 - xir[0])*xir[1]; 4791aa26658SKarl Rupp 480552f7358SJed Brown ierr = VecRestoreArray(ref, &xi);CHKERRQ(ierr); 4810298fd71SBarry Smith ierr = DMPlexVecRestoreClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 4820298fd71SBarry Smith ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 483552f7358SJed Brown } 484552f7358SJed Brown ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 48556044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 486552f7358SJed Brown 487552f7358SJed Brown ierr = SNESDestroy(&snes);CHKERRQ(ierr); 488552f7358SJed Brown ierr = VecDestroy(&r);CHKERRQ(ierr); 489552f7358SJed Brown ierr = VecDestroy(&ref);CHKERRQ(ierr); 490552f7358SJed Brown ierr = VecDestroy(&real);CHKERRQ(ierr); 491552f7358SJed Brown ierr = MatDestroy(&J);CHKERRQ(ierr); 492552f7358SJed Brown PetscFunctionReturn(0); 493552f7358SJed Brown } 494552f7358SJed Brown 495552f7358SJed Brown #undef __FUNCT__ 496552f7358SJed Brown #define __FUNCT__ "HexMap_Private" 4975820edbdSMatthew G Knepley PETSC_STATIC_INLINE PetscErrorCode HexMap_Private(SNES snes, Vec Xref, Vec Xreal, void *ctx) 498552f7358SJed Brown { 499552f7358SJed Brown const PetscScalar *vertices = (const PetscScalar*) ctx; 500552f7358SJed Brown const PetscScalar x0 = vertices[0]; 501552f7358SJed Brown const PetscScalar y0 = vertices[1]; 502552f7358SJed Brown const PetscScalar z0 = vertices[2]; 5037a1931ceSMatthew G. Knepley const PetscScalar x1 = vertices[9]; 5047a1931ceSMatthew G. Knepley const PetscScalar y1 = vertices[10]; 5057a1931ceSMatthew G. Knepley const PetscScalar z1 = vertices[11]; 506552f7358SJed Brown const PetscScalar x2 = vertices[6]; 507552f7358SJed Brown const PetscScalar y2 = vertices[7]; 508552f7358SJed Brown const PetscScalar z2 = vertices[8]; 5097a1931ceSMatthew G. Knepley const PetscScalar x3 = vertices[3]; 5107a1931ceSMatthew G. Knepley const PetscScalar y3 = vertices[4]; 5117a1931ceSMatthew G. Knepley const PetscScalar z3 = vertices[5]; 512552f7358SJed Brown const PetscScalar x4 = vertices[12]; 513552f7358SJed Brown const PetscScalar y4 = vertices[13]; 514552f7358SJed Brown const PetscScalar z4 = vertices[14]; 515552f7358SJed Brown const PetscScalar x5 = vertices[15]; 516552f7358SJed Brown const PetscScalar y5 = vertices[16]; 517552f7358SJed Brown const PetscScalar z5 = vertices[17]; 518552f7358SJed Brown const PetscScalar x6 = vertices[18]; 519552f7358SJed Brown const PetscScalar y6 = vertices[19]; 520552f7358SJed Brown const PetscScalar z6 = vertices[20]; 521552f7358SJed Brown const PetscScalar x7 = vertices[21]; 522552f7358SJed Brown const PetscScalar y7 = vertices[22]; 523552f7358SJed Brown const PetscScalar z7 = vertices[23]; 524552f7358SJed Brown const PetscScalar f_1 = x1 - x0; 525552f7358SJed Brown const PetscScalar g_1 = y1 - y0; 526552f7358SJed Brown const PetscScalar h_1 = z1 - z0; 527552f7358SJed Brown const PetscScalar f_3 = x3 - x0; 528552f7358SJed Brown const PetscScalar g_3 = y3 - y0; 529552f7358SJed Brown const PetscScalar h_3 = z3 - z0; 530552f7358SJed Brown const PetscScalar f_4 = x4 - x0; 531552f7358SJed Brown const PetscScalar g_4 = y4 - y0; 532552f7358SJed Brown const PetscScalar h_4 = z4 - z0; 533552f7358SJed Brown const PetscScalar f_01 = x2 - x1 - x3 + x0; 534552f7358SJed Brown const PetscScalar g_01 = y2 - y1 - y3 + y0; 535552f7358SJed Brown const PetscScalar h_01 = z2 - z1 - z3 + z0; 536552f7358SJed Brown const PetscScalar f_12 = x7 - x3 - x4 + x0; 537552f7358SJed Brown const PetscScalar g_12 = y7 - y3 - y4 + y0; 538552f7358SJed Brown const PetscScalar h_12 = z7 - z3 - z4 + z0; 539552f7358SJed Brown const PetscScalar f_02 = x5 - x1 - x4 + x0; 540552f7358SJed Brown const PetscScalar g_02 = y5 - y1 - y4 + y0; 541552f7358SJed Brown const PetscScalar h_02 = z5 - z1 - z4 + z0; 542552f7358SJed Brown const PetscScalar f_012 = x6 - x0 + x1 - x2 + x3 + x4 - x5 - x7; 543552f7358SJed Brown const PetscScalar g_012 = y6 - y0 + y1 - y2 + y3 + y4 - y5 - y7; 544552f7358SJed Brown const PetscScalar h_012 = z6 - z0 + z1 - z2 + z3 + z4 - z5 - z7; 54556044e6dSMatthew G. Knepley const PetscScalar *ref; 54656044e6dSMatthew G. Knepley PetscScalar *real; 547552f7358SJed Brown PetscErrorCode ierr; 548552f7358SJed Brown 549552f7358SJed Brown PetscFunctionBegin; 55056044e6dSMatthew G. Knepley ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 551552f7358SJed Brown ierr = VecGetArray(Xreal, &real);CHKERRQ(ierr); 552552f7358SJed Brown { 553552f7358SJed Brown const PetscScalar p0 = ref[0]; 554552f7358SJed Brown const PetscScalar p1 = ref[1]; 555552f7358SJed Brown const PetscScalar p2 = ref[2]; 556552f7358SJed Brown 557552f7358SJed 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; 558552f7358SJed 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; 559552f7358SJed 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; 560552f7358SJed Brown } 561552f7358SJed Brown ierr = PetscLogFlops(114);CHKERRQ(ierr); 56256044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 563552f7358SJed Brown ierr = VecRestoreArray(Xreal, &real);CHKERRQ(ierr); 564552f7358SJed Brown PetscFunctionReturn(0); 565552f7358SJed Brown } 566552f7358SJed Brown 567552f7358SJed Brown #undef __FUNCT__ 568552f7358SJed Brown #define __FUNCT__ "HexJacobian_Private" 569d1e9a80fSBarry Smith PETSC_STATIC_INLINE PetscErrorCode HexJacobian_Private(SNES snes, Vec Xref, Mat J, Mat M, void *ctx) 570552f7358SJed Brown { 571552f7358SJed Brown const PetscScalar *vertices = (const PetscScalar*) ctx; 572552f7358SJed Brown const PetscScalar x0 = vertices[0]; 573552f7358SJed Brown const PetscScalar y0 = vertices[1]; 574552f7358SJed Brown const PetscScalar z0 = vertices[2]; 5757a1931ceSMatthew G. Knepley const PetscScalar x1 = vertices[9]; 5767a1931ceSMatthew G. Knepley const PetscScalar y1 = vertices[10]; 5777a1931ceSMatthew G. Knepley const PetscScalar z1 = vertices[11]; 578552f7358SJed Brown const PetscScalar x2 = vertices[6]; 579552f7358SJed Brown const PetscScalar y2 = vertices[7]; 580552f7358SJed Brown const PetscScalar z2 = vertices[8]; 5817a1931ceSMatthew G. Knepley const PetscScalar x3 = vertices[3]; 5827a1931ceSMatthew G. Knepley const PetscScalar y3 = vertices[4]; 5837a1931ceSMatthew G. Knepley const PetscScalar z3 = vertices[5]; 584552f7358SJed Brown const PetscScalar x4 = vertices[12]; 585552f7358SJed Brown const PetscScalar y4 = vertices[13]; 586552f7358SJed Brown const PetscScalar z4 = vertices[14]; 587552f7358SJed Brown const PetscScalar x5 = vertices[15]; 588552f7358SJed Brown const PetscScalar y5 = vertices[16]; 589552f7358SJed Brown const PetscScalar z5 = vertices[17]; 590552f7358SJed Brown const PetscScalar x6 = vertices[18]; 591552f7358SJed Brown const PetscScalar y6 = vertices[19]; 592552f7358SJed Brown const PetscScalar z6 = vertices[20]; 593552f7358SJed Brown const PetscScalar x7 = vertices[21]; 594552f7358SJed Brown const PetscScalar y7 = vertices[22]; 595552f7358SJed Brown const PetscScalar z7 = vertices[23]; 596552f7358SJed Brown const PetscScalar f_xy = x2 - x1 - x3 + x0; 597552f7358SJed Brown const PetscScalar g_xy = y2 - y1 - y3 + y0; 598552f7358SJed Brown const PetscScalar h_xy = z2 - z1 - z3 + z0; 599552f7358SJed Brown const PetscScalar f_yz = x7 - x3 - x4 + x0; 600552f7358SJed Brown const PetscScalar g_yz = y7 - y3 - y4 + y0; 601552f7358SJed Brown const PetscScalar h_yz = z7 - z3 - z4 + z0; 602552f7358SJed Brown const PetscScalar f_xz = x5 - x1 - x4 + x0; 603552f7358SJed Brown const PetscScalar g_xz = y5 - y1 - y4 + y0; 604552f7358SJed Brown const PetscScalar h_xz = z5 - z1 - z4 + z0; 605552f7358SJed Brown const PetscScalar f_xyz = x6 - x0 + x1 - x2 + x3 + x4 - x5 - x7; 606552f7358SJed Brown const PetscScalar g_xyz = y6 - y0 + y1 - y2 + y3 + y4 - y5 - y7; 607552f7358SJed Brown const PetscScalar h_xyz = z6 - z0 + z1 - z2 + z3 + z4 - z5 - z7; 60856044e6dSMatthew G. Knepley const PetscScalar *ref; 609552f7358SJed Brown PetscErrorCode ierr; 610552f7358SJed Brown 611552f7358SJed Brown PetscFunctionBegin; 61256044e6dSMatthew G. Knepley ierr = VecGetArrayRead(Xref, &ref);CHKERRQ(ierr); 613552f7358SJed Brown { 614552f7358SJed Brown const PetscScalar x = ref[0]; 615552f7358SJed Brown const PetscScalar y = ref[1]; 616552f7358SJed Brown const PetscScalar z = ref[2]; 617552f7358SJed Brown const PetscInt rows[3] = {0, 1, 2}; 618da80777bSKarl Rupp PetscScalar values[9]; 619da80777bSKarl Rupp 620da80777bSKarl Rupp values[0] = (x1 - x0 + f_xy*y + f_xz*z + f_xyz*y*z) / 2.0; 621da80777bSKarl Rupp values[1] = (x3 - x0 + f_xy*x + f_yz*z + f_xyz*x*z) / 2.0; 622da80777bSKarl Rupp values[2] = (x4 - x0 + f_yz*y + f_xz*x + f_xyz*x*y) / 2.0; 623da80777bSKarl Rupp values[3] = (y1 - y0 + g_xy*y + g_xz*z + g_xyz*y*z) / 2.0; 624da80777bSKarl Rupp values[4] = (y3 - y0 + g_xy*x + g_yz*z + g_xyz*x*z) / 2.0; 625da80777bSKarl Rupp values[5] = (y4 - y0 + g_yz*y + g_xz*x + g_xyz*x*y) / 2.0; 626da80777bSKarl Rupp values[6] = (z1 - z0 + h_xy*y + h_xz*z + h_xyz*y*z) / 2.0; 627da80777bSKarl Rupp values[7] = (z3 - z0 + h_xy*x + h_yz*z + h_xyz*x*z) / 2.0; 628da80777bSKarl Rupp values[8] = (z4 - z0 + h_yz*y + h_xz*x + h_xyz*x*y) / 2.0; 6291aa26658SKarl Rupp 63094ab13aaSBarry Smith ierr = MatSetValues(J, 3, rows, 3, rows, values, INSERT_VALUES);CHKERRQ(ierr); 631552f7358SJed Brown } 632552f7358SJed Brown ierr = PetscLogFlops(152);CHKERRQ(ierr); 63356044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(Xref, &ref);CHKERRQ(ierr); 63494ab13aaSBarry Smith ierr = MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 63594ab13aaSBarry Smith ierr = MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 636552f7358SJed Brown PetscFunctionReturn(0); 637552f7358SJed Brown } 638552f7358SJed Brown 639552f7358SJed Brown #undef __FUNCT__ 640552f7358SJed Brown #define __FUNCT__ "DMInterpolate_Hex_Private" 641a6dfd86eSKarl Rupp PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Hex_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v) 642a6dfd86eSKarl Rupp { 643fafc0619SMatthew G Knepley DM dmCoord; 644552f7358SJed Brown SNES snes; 645552f7358SJed Brown KSP ksp; 646552f7358SJed Brown PC pc; 647552f7358SJed Brown Vec coordsLocal, r, ref, real; 648552f7358SJed Brown Mat J; 64956044e6dSMatthew G. Knepley const PetscScalar *coords; 65056044e6dSMatthew G. Knepley PetscScalar *a; 651552f7358SJed Brown PetscInt p; 652552f7358SJed Brown PetscErrorCode ierr; 653552f7358SJed Brown 654552f7358SJed Brown PetscFunctionBegin; 655552f7358SJed Brown ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 656fafc0619SMatthew G Knepley ierr = DMGetCoordinateDM(dm, &dmCoord);CHKERRQ(ierr); 657552f7358SJed Brown ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr); 658552f7358SJed Brown ierr = SNESSetOptionsPrefix(snes, "hex_interp_");CHKERRQ(ierr); 659552f7358SJed Brown ierr = VecCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr); 660552f7358SJed Brown ierr = VecSetSizes(r, 3, 3);CHKERRQ(ierr); 661c0dedaeaSBarry Smith ierr = VecSetType(r,dm->vectype);CHKERRQ(ierr); 662552f7358SJed Brown ierr = VecDuplicate(r, &ref);CHKERRQ(ierr); 663552f7358SJed Brown ierr = VecDuplicate(r, &real);CHKERRQ(ierr); 664552f7358SJed Brown ierr = MatCreate(PETSC_COMM_SELF, &J);CHKERRQ(ierr); 665552f7358SJed Brown ierr = MatSetSizes(J, 3, 3, 3, 3);CHKERRQ(ierr); 666552f7358SJed Brown ierr = MatSetType(J, MATSEQDENSE);CHKERRQ(ierr); 667552f7358SJed Brown ierr = MatSetUp(J);CHKERRQ(ierr); 6680298fd71SBarry Smith ierr = SNESSetFunction(snes, r, HexMap_Private, NULL);CHKERRQ(ierr); 6690298fd71SBarry Smith ierr = SNESSetJacobian(snes, J, J, HexJacobian_Private, NULL);CHKERRQ(ierr); 670552f7358SJed Brown ierr = SNESGetKSP(snes, &ksp);CHKERRQ(ierr); 671552f7358SJed Brown ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr); 672552f7358SJed Brown ierr = PCSetType(pc, PCLU);CHKERRQ(ierr); 673552f7358SJed Brown ierr = SNESSetFromOptions(snes);CHKERRQ(ierr); 674552f7358SJed Brown 67556044e6dSMatthew G. Knepley ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 676552f7358SJed Brown ierr = VecGetArray(v, &a);CHKERRQ(ierr); 677552f7358SJed Brown for (p = 0; p < ctx->n; ++p) { 678a1e44745SMatthew G. Knepley PetscScalar *x = NULL, *vertices = NULL; 679552f7358SJed Brown PetscScalar *xi; 680cb313848SJed Brown PetscReal xir[3]; 681552f7358SJed Brown PetscInt c = ctx->cells[p], comp, coordSize, xSize; 682552f7358SJed Brown 683552f7358SJed Brown /* Can make this do all points at once */ 6840298fd71SBarry Smith ierr = DMPlexVecGetClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 6850adebc6cSBarry Smith if (8*3 != coordSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", coordSize, 8*3); 6860298fd71SBarry Smith ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 6870adebc6cSBarry Smith if (8*ctx->dof != xSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", xSize, 8*ctx->dof); 6880298fd71SBarry Smith ierr = SNESSetFunction(snes, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 6890298fd71SBarry Smith ierr = SNESSetJacobian(snes, NULL, NULL, NULL, (void*) vertices);CHKERRQ(ierr); 690552f7358SJed Brown ierr = VecGetArray(real, &xi);CHKERRQ(ierr); 691552f7358SJed Brown xi[0] = coords[p*ctx->dim+0]; 692552f7358SJed Brown xi[1] = coords[p*ctx->dim+1]; 693552f7358SJed Brown xi[2] = coords[p*ctx->dim+2]; 694552f7358SJed Brown ierr = VecRestoreArray(real, &xi);CHKERRQ(ierr); 695552f7358SJed Brown ierr = SNESSolve(snes, real, ref);CHKERRQ(ierr); 696552f7358SJed Brown ierr = VecGetArray(ref, &xi);CHKERRQ(ierr); 697cb313848SJed Brown xir[0] = PetscRealPart(xi[0]); 698cb313848SJed Brown xir[1] = PetscRealPart(xi[1]); 699cb313848SJed Brown xir[2] = PetscRealPart(xi[2]); 700552f7358SJed Brown for (comp = 0; comp < ctx->dof; ++comp) { 701552f7358SJed Brown a[p*ctx->dof+comp] = 702cb313848SJed Brown x[0*ctx->dof+comp]*(1-xir[0])*(1-xir[1])*(1-xir[2]) + 7037a1931ceSMatthew G. Knepley x[3*ctx->dof+comp]* xir[0]*(1-xir[1])*(1-xir[2]) + 704cb313848SJed Brown x[2*ctx->dof+comp]* xir[0]* xir[1]*(1-xir[2]) + 7057a1931ceSMatthew G. Knepley x[1*ctx->dof+comp]*(1-xir[0])* xir[1]*(1-xir[2]) + 706cb313848SJed Brown x[4*ctx->dof+comp]*(1-xir[0])*(1-xir[1])* xir[2] + 707cb313848SJed Brown x[5*ctx->dof+comp]* xir[0]*(1-xir[1])* xir[2] + 708cb313848SJed Brown x[6*ctx->dof+comp]* xir[0]* xir[1]* xir[2] + 709cb313848SJed Brown x[7*ctx->dof+comp]*(1-xir[0])* xir[1]* xir[2]; 710552f7358SJed Brown } 711552f7358SJed Brown ierr = VecRestoreArray(ref, &xi);CHKERRQ(ierr); 7120298fd71SBarry Smith ierr = DMPlexVecRestoreClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr); 7130298fd71SBarry Smith ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr); 714552f7358SJed Brown } 715552f7358SJed Brown ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 71656044e6dSMatthew G. Knepley ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr); 717552f7358SJed Brown 718552f7358SJed Brown ierr = SNESDestroy(&snes);CHKERRQ(ierr); 719552f7358SJed Brown ierr = VecDestroy(&r);CHKERRQ(ierr); 720552f7358SJed Brown ierr = VecDestroy(&ref);CHKERRQ(ierr); 721552f7358SJed Brown ierr = VecDestroy(&real);CHKERRQ(ierr); 722552f7358SJed Brown ierr = MatDestroy(&J);CHKERRQ(ierr); 723552f7358SJed Brown PetscFunctionReturn(0); 724552f7358SJed Brown } 725552f7358SJed Brown 726552f7358SJed Brown #undef __FUNCT__ 727552f7358SJed Brown #define __FUNCT__ "DMInterpolationEvaluate" 728552f7358SJed Brown /* 729552f7358SJed Brown Input Parameters: 730552f7358SJed Brown + ctx - The DMInterpolationInfo context 731552f7358SJed Brown . dm - The DM 732552f7358SJed Brown - x - The local vector containing the field to be interpolated 733552f7358SJed Brown 734552f7358SJed Brown Output Parameters: 735552f7358SJed Brown . v - The vector containing the interpolated values 736552f7358SJed Brown */ 7370adebc6cSBarry Smith PetscErrorCode DMInterpolationEvaluate(DMInterpolationInfo ctx, DM dm, Vec x, Vec v) 7380adebc6cSBarry Smith { 739552f7358SJed Brown PetscInt dim, coneSize, n; 740552f7358SJed Brown PetscErrorCode ierr; 741552f7358SJed Brown 742552f7358SJed Brown PetscFunctionBegin; 743552f7358SJed Brown PetscValidHeaderSpecific(dm, DM_CLASSID, 2); 744552f7358SJed Brown PetscValidHeaderSpecific(x, VEC_CLASSID, 3); 745552f7358SJed Brown PetscValidHeaderSpecific(v, VEC_CLASSID, 4); 746552f7358SJed Brown ierr = VecGetLocalSize(v, &n);CHKERRQ(ierr); 7470adebc6cSBarry 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); 748552f7358SJed Brown if (n) { 749c73cfb54SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 750552f7358SJed Brown ierr = DMPlexGetConeSize(dm, ctx->cells[0], &coneSize);CHKERRQ(ierr); 751552f7358SJed Brown if (dim == 2) { 752552f7358SJed Brown if (coneSize == 3) { 7537a1931ceSMatthew G. Knepley ierr = DMInterpolate_Triangle_Private(ctx, dm, x, v);CHKERRQ(ierr); 754552f7358SJed Brown } else if (coneSize == 4) { 755552f7358SJed Brown ierr = DMInterpolate_Quad_Private(ctx, dm, x, v);CHKERRQ(ierr); 7560adebc6cSBarry Smith } else SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Unsupported dimension %d for point interpolation", dim); 757552f7358SJed Brown } else if (dim == 3) { 758552f7358SJed Brown if (coneSize == 4) { 7597a1931ceSMatthew G. Knepley ierr = DMInterpolate_Tetrahedron_Private(ctx, dm, x, v);CHKERRQ(ierr); 760552f7358SJed Brown } else { 761552f7358SJed Brown ierr = DMInterpolate_Hex_Private(ctx, dm, x, v);CHKERRQ(ierr); 762552f7358SJed Brown } 7630adebc6cSBarry Smith } else SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Unsupported dimension %d for point interpolation", dim); 764552f7358SJed Brown } 765552f7358SJed Brown PetscFunctionReturn(0); 766552f7358SJed Brown } 767552f7358SJed Brown 768552f7358SJed Brown #undef __FUNCT__ 769552f7358SJed Brown #define __FUNCT__ "DMInterpolationDestroy" 7700adebc6cSBarry Smith PetscErrorCode DMInterpolationDestroy(DMInterpolationInfo *ctx) 7710adebc6cSBarry Smith { 772552f7358SJed Brown PetscErrorCode ierr; 773552f7358SJed Brown 774552f7358SJed Brown PetscFunctionBegin; 775552f7358SJed Brown PetscValidPointer(ctx, 2); 776552f7358SJed Brown ierr = VecDestroy(&(*ctx)->coords);CHKERRQ(ierr); 777552f7358SJed Brown ierr = PetscFree((*ctx)->points);CHKERRQ(ierr); 778552f7358SJed Brown ierr = PetscFree((*ctx)->cells);CHKERRQ(ierr); 779552f7358SJed Brown ierr = PetscFree(*ctx);CHKERRQ(ierr); 7800298fd71SBarry Smith *ctx = NULL; 781552f7358SJed Brown PetscFunctionReturn(0); 782552f7358SJed Brown } 783cc0c4584SMatthew G. Knepley 784cc0c4584SMatthew G. Knepley #undef __FUNCT__ 785cc0c4584SMatthew G. Knepley #define __FUNCT__ "SNESMonitorFields" 786cc0c4584SMatthew G. Knepley /*@C 787cc0c4584SMatthew G. Knepley SNESMonitorFields - Monitors the residual for each field separately 788cc0c4584SMatthew G. Knepley 789cc0c4584SMatthew G. Knepley Collective on SNES 790cc0c4584SMatthew G. Knepley 791cc0c4584SMatthew G. Knepley Input Parameters: 792cc0c4584SMatthew G. Knepley + snes - the SNES context 793cc0c4584SMatthew G. Knepley . its - iteration number 794cc0c4584SMatthew G. Knepley . fgnorm - 2-norm of residual 795d43b4f6eSBarry Smith - vf - PetscViewerAndFormat of type ASCII 796cc0c4584SMatthew G. Knepley 797cc0c4584SMatthew G. Knepley Notes: 798cc0c4584SMatthew G. Knepley This routine prints the residual norm at each iteration. 799cc0c4584SMatthew G. Knepley 800cc0c4584SMatthew G. Knepley Level: intermediate 801cc0c4584SMatthew G. Knepley 802cc0c4584SMatthew G. Knepley .keywords: SNES, nonlinear, default, monitor, norm 803cc0c4584SMatthew G. Knepley .seealso: SNESMonitorSet(), SNESMonitorDefault() 804cc0c4584SMatthew G. Knepley @*/ 805d43b4f6eSBarry Smith PetscErrorCode SNESMonitorFields(SNES snes, PetscInt its, PetscReal fgnorm, PetscViewerAndFormat *vf) 806cc0c4584SMatthew G. Knepley { 807d43b4f6eSBarry Smith PetscViewer viewer = vf->viewer; 808cc0c4584SMatthew G. Knepley Vec res; 809cc0c4584SMatthew G. Knepley DM dm; 810cc0c4584SMatthew G. Knepley PetscSection s; 811cc0c4584SMatthew G. Knepley const PetscScalar *r; 812cc0c4584SMatthew G. Knepley PetscReal *lnorms, *norms; 813cc0c4584SMatthew G. Knepley PetscInt numFields, f, pStart, pEnd, p; 814cc0c4584SMatthew G. Knepley PetscErrorCode ierr; 815cc0c4584SMatthew G. Knepley 816cc0c4584SMatthew G. Knepley PetscFunctionBegin; 8174d4332d5SBarry Smith PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,4); 818cc0c4584SMatthew G. Knepley ierr = SNESGetFunction(snes, &res, 0, 0);CHKERRQ(ierr); 819cc0c4584SMatthew G. Knepley ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr); 820cc0c4584SMatthew G. Knepley ierr = DMGetDefaultSection(dm, &s);CHKERRQ(ierr); 821cc0c4584SMatthew G. Knepley ierr = PetscSectionGetNumFields(s, &numFields);CHKERRQ(ierr); 822cc0c4584SMatthew G. Knepley ierr = PetscSectionGetChart(s, &pStart, &pEnd);CHKERRQ(ierr); 823cc0c4584SMatthew G. Knepley ierr = PetscCalloc2(numFields, &lnorms, numFields, &norms);CHKERRQ(ierr); 824cc0c4584SMatthew G. Knepley ierr = VecGetArrayRead(res, &r);CHKERRQ(ierr); 825cc0c4584SMatthew G. Knepley for (p = pStart; p < pEnd; ++p) { 826cc0c4584SMatthew G. Knepley for (f = 0; f < numFields; ++f) { 827cc0c4584SMatthew G. Knepley PetscInt fdof, foff, d; 828cc0c4584SMatthew G. Knepley 829cc0c4584SMatthew G. Knepley ierr = PetscSectionGetFieldDof(s, p, f, &fdof);CHKERRQ(ierr); 830cc0c4584SMatthew G. Knepley ierr = PetscSectionGetFieldOffset(s, p, f, &foff);CHKERRQ(ierr); 831cc0c4584SMatthew G. Knepley for (d = 0; d < fdof; ++d) lnorms[f] += PetscRealPart(PetscSqr(r[foff+d])); 832cc0c4584SMatthew G. Knepley } 833cc0c4584SMatthew G. Knepley } 834cc0c4584SMatthew G. Knepley ierr = VecRestoreArrayRead(res, &r);CHKERRQ(ierr); 835b2566f29SBarry Smith ierr = MPIU_Allreduce(lnorms, norms, numFields, MPIU_REAL, MPIU_SUM, PetscObjectComm((PetscObject) dm));CHKERRQ(ierr); 836d43b4f6eSBarry Smith ierr = PetscViewerPushFormat(viewer,vf->format);CHKERRQ(ierr); 837cc0c4584SMatthew G. Knepley ierr = PetscViewerASCIIAddTab(viewer, ((PetscObject) snes)->tablevel);CHKERRQ(ierr); 838cc0c4584SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(viewer, "%3D SNES Function norm %14.12e [", its, (double) fgnorm);CHKERRQ(ierr); 839cc0c4584SMatthew G. Knepley for (f = 0; f < numFields; ++f) { 840cc0c4584SMatthew G. Knepley if (f > 0) {ierr = PetscViewerASCIIPrintf(viewer, ", ");CHKERRQ(ierr);} 841cc0c4584SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(viewer, "%14.12e", (double) PetscSqrtReal(norms[f]));CHKERRQ(ierr); 842cc0c4584SMatthew G. Knepley } 843cc0c4584SMatthew G. Knepley ierr = PetscViewerASCIIPrintf(viewer, "]\n");CHKERRQ(ierr); 844cc0c4584SMatthew G. Knepley ierr = PetscViewerASCIISubtractTab(viewer, ((PetscObject) snes)->tablevel);CHKERRQ(ierr); 845d43b4f6eSBarry Smith ierr = PetscViewerPopFormat(viewer);CHKERRQ(ierr); 846cc0c4584SMatthew G. Knepley ierr = PetscFree2(lnorms, norms);CHKERRQ(ierr); 847cc0c4584SMatthew G. Knepley PetscFunctionReturn(0); 848cc0c4584SMatthew G. Knepley } 84924cdb843SMatthew G. Knepley 85024cdb843SMatthew G. Knepley /********************* Residual Computation **************************/ 85124cdb843SMatthew G. Knepley 85224cdb843SMatthew G. Knepley #undef __FUNCT__ 8537d4028c8SMatthew G. Knepley #define __FUNCT__ "DMPlexSNESGetGeometryFEM" 8547d4028c8SMatthew G. Knepley /*@ 8557d4028c8SMatthew G. Knepley DMPlexSNESGetGeometryFEM - Return precomputed geometric data 8567d4028c8SMatthew G. Knepley 8577d4028c8SMatthew G. Knepley Input Parameter: 8587d4028c8SMatthew G. Knepley . dm - The DM 8597d4028c8SMatthew G. Knepley 8607d4028c8SMatthew G. Knepley Output Parameters: 8617d4028c8SMatthew G. Knepley . cellgeom - The values precomputed from cell geometry 8627d4028c8SMatthew G. Knepley 8637d4028c8SMatthew G. Knepley Level: developer 8647d4028c8SMatthew G. Knepley 8657d4028c8SMatthew G. Knepley .seealso: DMPlexSNESSetFunctionLocal() 8667d4028c8SMatthew G. Knepley @*/ 8677d4028c8SMatthew G. Knepley PetscErrorCode DMPlexSNESGetGeometryFEM(DM dm, Vec *cellgeom) 8687d4028c8SMatthew G. Knepley { 8697d4028c8SMatthew G. Knepley DMSNES dmsnes; 8707d4028c8SMatthew G. Knepley PetscObject obj; 8717d4028c8SMatthew G. Knepley PetscErrorCode ierr; 8727d4028c8SMatthew G. Knepley 8737d4028c8SMatthew G. Knepley PetscFunctionBegin; 8747d4028c8SMatthew G. Knepley PetscValidHeaderSpecific(dm,DM_CLASSID,1); 8757d4028c8SMatthew G. Knepley ierr = DMGetDMSNES(dm, &dmsnes);CHKERRQ(ierr); 8767d4028c8SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", &obj);CHKERRQ(ierr); 8777d4028c8SMatthew G. Knepley if (!obj) { 8787d4028c8SMatthew G. Knepley Vec cellgeom; 8797d4028c8SMatthew G. Knepley 8807d4028c8SMatthew G. Knepley ierr = DMPlexComputeGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 8817d4028c8SMatthew G. Knepley ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", (PetscObject) cellgeom);CHKERRQ(ierr); 8827d4028c8SMatthew G. Knepley ierr = VecDestroy(&cellgeom);CHKERRQ(ierr); 8837d4028c8SMatthew G. Knepley } 8847d4028c8SMatthew G. Knepley if (cellgeom) {PetscValidPointer(cellgeom, 3); ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", (PetscObject *) cellgeom);CHKERRQ(ierr);} 8857d4028c8SMatthew G. Knepley PetscFunctionReturn(0); 8867d4028c8SMatthew G. Knepley } 8877d4028c8SMatthew G. Knepley 8887d4028c8SMatthew G. Knepley #undef __FUNCT__ 88908449791SMatthew G. Knepley #define __FUNCT__ "DMPlexSNESGetGeometryFVM" 89008449791SMatthew G. Knepley /*@ 89108449791SMatthew G. Knepley DMPlexSNESGetGeometryFVM - Return precomputed geometric data 89208449791SMatthew G. Knepley 89308449791SMatthew G. Knepley Input Parameter: 89408449791SMatthew G. Knepley . dm - The DM 89508449791SMatthew G. Knepley 89608449791SMatthew G. Knepley Output Parameters: 89708449791SMatthew G. Knepley + facegeom - The values precomputed from face geometry 89808449791SMatthew G. Knepley . cellgeom - The values precomputed from cell geometry 89908449791SMatthew G. Knepley - minRadius - The minimum radius over the mesh of an inscribed sphere in a cell 90008449791SMatthew G. Knepley 90108449791SMatthew G. Knepley Level: developer 90208449791SMatthew G. Knepley 90308449791SMatthew G. Knepley .seealso: DMPlexTSSetRHSFunctionLocal() 90408449791SMatthew G. Knepley @*/ 90508449791SMatthew G. Knepley PetscErrorCode DMPlexSNESGetGeometryFVM(DM dm, Vec *facegeom, Vec *cellgeom, PetscReal *minRadius) 90624cdb843SMatthew G. Knepley { 90708449791SMatthew G. Knepley DMSNES dmsnes; 90808449791SMatthew G. Knepley PetscObject obj; 90924cdb843SMatthew G. Knepley PetscErrorCode ierr; 91024cdb843SMatthew G. Knepley 91124cdb843SMatthew G. Knepley PetscFunctionBegin; 91208449791SMatthew G. Knepley PetscValidHeaderSpecific(dm,DM_CLASSID,1); 91308449791SMatthew G. Knepley ierr = DMGetDMSNES(dm, &dmsnes);CHKERRQ(ierr); 91408449791SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_facegeom_fvm", &obj);CHKERRQ(ierr); 91508449791SMatthew G. Knepley if (!obj) { 91608449791SMatthew G. Knepley Vec cellgeom, facegeom; 91724cdb843SMatthew G. Knepley 91808449791SMatthew G. Knepley ierr = DMPlexComputeGeometryFVM(dm, &cellgeom, &facegeom);CHKERRQ(ierr); 91908449791SMatthew G. Knepley ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_facegeom_fvm", (PetscObject) facegeom);CHKERRQ(ierr); 92008449791SMatthew G. Knepley ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fvm", (PetscObject) cellgeom);CHKERRQ(ierr); 92108449791SMatthew G. Knepley ierr = VecDestroy(&facegeom);CHKERRQ(ierr); 92208449791SMatthew G. Knepley ierr = VecDestroy(&cellgeom);CHKERRQ(ierr); 92308449791SMatthew G. Knepley } 92408449791SMatthew G. Knepley if (facegeom) {PetscValidPointer(facegeom, 2); ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_facegeom_fvm", (PetscObject *) facegeom);CHKERRQ(ierr);} 92508449791SMatthew G. Knepley if (cellgeom) {PetscValidPointer(cellgeom, 3); ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fvm", (PetscObject *) cellgeom);CHKERRQ(ierr);} 92608449791SMatthew G. Knepley if (minRadius) {ierr = DMPlexGetMinRadius(dm, minRadius);CHKERRQ(ierr);} 92724cdb843SMatthew G. Knepley PetscFunctionReturn(0); 92824cdb843SMatthew G. Knepley } 92924cdb843SMatthew G. Knepley 93024cdb843SMatthew G. Knepley #undef __FUNCT__ 93108449791SMatthew G. Knepley #define __FUNCT__ "DMPlexSNESGetGradientDM" 932dbd489d2SMatthew G. Knepley /*@ 93308449791SMatthew G. Knepley DMPlexSNESGetGradientDM - Return gradient data layout 93408449791SMatthew G. Knepley 93508449791SMatthew G. Knepley Input Parameters: 93608449791SMatthew G. Knepley + dm - The DM 93708449791SMatthew G. Knepley - fv - The PetscFV 93808449791SMatthew G. Knepley 93908449791SMatthew G. Knepley Output Parameter: 94008449791SMatthew G. Knepley . dmGrad - The layout for gradient values 94108449791SMatthew G. Knepley 94208449791SMatthew G. Knepley Level: developer 94308449791SMatthew G. Knepley 94408449791SMatthew G. Knepley .seealso: DMPlexSNESGetGeometryFVM() 94508449791SMatthew G. Knepley @*/ 94608449791SMatthew G. Knepley PetscErrorCode DMPlexSNESGetGradientDM(DM dm, PetscFV fv, DM *dmGrad) 94724cdb843SMatthew G. Knepley { 94808449791SMatthew G. Knepley DMSNES dmsnes; 94908449791SMatthew G. Knepley PetscObject obj; 95008449791SMatthew G. Knepley PetscBool computeGradients; 95124cdb843SMatthew G. Knepley PetscErrorCode ierr; 95224cdb843SMatthew G. Knepley 95324cdb843SMatthew G. Knepley PetscFunctionBegin; 95408449791SMatthew G. Knepley PetscValidHeaderSpecific(dm,DM_CLASSID,1); 95508449791SMatthew G. Knepley PetscValidHeaderSpecific(fv,PETSCFV_CLASSID,2); 95608449791SMatthew G. Knepley PetscValidPointer(dmGrad,3); 95708449791SMatthew G. Knepley ierr = PetscFVGetComputeGradients(fv, &computeGradients);CHKERRQ(ierr); 95808449791SMatthew G. Knepley if (!computeGradients) {*dmGrad = NULL; PetscFunctionReturn(0);} 95908449791SMatthew G. Knepley ierr = DMGetDMSNES(dm, &dmsnes);CHKERRQ(ierr); 96008449791SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_dmgrad_fvm", &obj);CHKERRQ(ierr); 96108449791SMatthew G. Knepley if (!obj) { 96208449791SMatthew G. Knepley DM dmGrad; 96308449791SMatthew G. Knepley Vec faceGeometry, cellGeometry; 96408449791SMatthew G. Knepley 96508449791SMatthew G. Knepley ierr = DMPlexSNESGetGeometryFVM(dm, &faceGeometry, &cellGeometry, NULL);CHKERRQ(ierr); 96608449791SMatthew G. Knepley ierr = DMPlexComputeGradientFVM(dm, fv, faceGeometry, cellGeometry, &dmGrad);CHKERRQ(ierr); 96708449791SMatthew G. Knepley ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_dmgrad_fvm", (PetscObject) dmGrad);CHKERRQ(ierr); 96808449791SMatthew G. Knepley ierr = DMDestroy(&dmGrad);CHKERRQ(ierr); 96908449791SMatthew G. Knepley } 97008449791SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_dmgrad_fvm", (PetscObject *) dmGrad);CHKERRQ(ierr); 97108449791SMatthew G. Knepley PetscFunctionReturn(0); 97208449791SMatthew G. Knepley } 97308449791SMatthew G. Knepley 97408449791SMatthew G. Knepley #undef __FUNCT__ 97508449791SMatthew G. Knepley #define __FUNCT__ "DMPlexGetCellFields" 97608449791SMatthew G. Knepley /*@C 97708449791SMatthew G. Knepley DMPlexGetCellFields - Retrieve the field values values for a chunk of cells 97808449791SMatthew G. Knepley 97908449791SMatthew G. Knepley Input Parameters: 98008449791SMatthew G. Knepley + dm - The DM 98108449791SMatthew G. Knepley . cStart - The first cell to include 98208449791SMatthew G. Knepley . cEnd - The first cell to exclude 98308449791SMatthew G. Knepley . locX - A local vector with the solution fields 98408449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL 98508449791SMatthew G. Knepley - locA - A local vector with auxiliary fields, or NULL 98608449791SMatthew G. Knepley 98708449791SMatthew G. Knepley Output Parameters: 98808449791SMatthew G. Knepley + u - The field coefficients 98908449791SMatthew G. Knepley . u_t - The fields derivative coefficients 99008449791SMatthew G. Knepley - a - The auxiliary field coefficients 99108449791SMatthew G. Knepley 99208449791SMatthew G. Knepley Level: developer 99308449791SMatthew G. Knepley 99408449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields() 99508449791SMatthew G. Knepley @*/ 99608449791SMatthew G. Knepley PetscErrorCode DMPlexGetCellFields(DM dm, PetscInt cStart, PetscInt cEnd, Vec locX, Vec locX_t, Vec locA, PetscScalar **u, PetscScalar **u_t, PetscScalar **a) 99708449791SMatthew G. Knepley { 99808449791SMatthew G. Knepley DM dmAux; 99908449791SMatthew G. Knepley PetscSection section, sectionAux; 100008449791SMatthew G. Knepley PetscDS prob; 100108449791SMatthew G. Knepley PetscInt numCells = cEnd - cStart, totDim, totDimAux, c; 100208449791SMatthew G. Knepley PetscErrorCode ierr; 100308449791SMatthew G. Knepley 100408449791SMatthew G. Knepley PetscFunctionBegin; 100508449791SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 100608449791SMatthew G. Knepley PetscValidHeaderSpecific(locX, VEC_CLASSID, 4); 100708449791SMatthew G. Knepley if (locX_t) {PetscValidHeaderSpecific(locX_t, VEC_CLASSID, 5);} 100808449791SMatthew G. Knepley if (locA) {PetscValidHeaderSpecific(locA, VEC_CLASSID, 6);} 100908449791SMatthew G. Knepley PetscValidPointer(u, 7); 101008449791SMatthew G. Knepley PetscValidPointer(u_t, 8); 101108449791SMatthew G. Knepley PetscValidPointer(a, 9); 101224cdb843SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 101324cdb843SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 101424cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 101508449791SMatthew G. Knepley if (locA) { 101608449791SMatthew G. Knepley PetscDS probAux; 101708449791SMatthew G. Knepley 101808449791SMatthew G. Knepley ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr); 101924cdb843SMatthew G. Knepley ierr = DMGetDefaultSection(dmAux, §ionAux);CHKERRQ(ierr); 102024cdb843SMatthew G. Knepley ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 102124cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 102224cdb843SMatthew G. Knepley } 102308449791SMatthew G. Knepley ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, u);CHKERRQ(ierr); 102449073227SMatthew G. Knepley if (locX_t) {ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, u_t);CHKERRQ(ierr);} else {*u_t = NULL;} 102549073227SMatthew G. Knepley if (locA) {ierr = DMGetWorkArray(dm, numCells*totDimAux, PETSC_SCALAR, a);CHKERRQ(ierr);} else {*a = NULL;} 102624cdb843SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 102708449791SMatthew G. Knepley PetscScalar *x = NULL, *x_t = NULL, *ul = *u, *ul_t = *u_t, *al = *a; 102824cdb843SMatthew G. Knepley PetscInt i; 102924cdb843SMatthew G. Knepley 103008449791SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, locX, c, NULL, &x);CHKERRQ(ierr); 10319f11d433SMatthew G. Knepley for (i = 0; i < totDim; ++i) ul[(c-cStart)*totDim+i] = x[i]; 103208449791SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, locX, c, NULL, &x);CHKERRQ(ierr); 103308449791SMatthew G. Knepley if (locX_t) { 103408449791SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, locX_t, c, NULL, &x_t);CHKERRQ(ierr); 10359f11d433SMatthew G. Knepley for (i = 0; i < totDim; ++i) ul_t[(c-cStart)*totDim+i] = x_t[i]; 103608449791SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, locX_t, c, NULL, &x_t);CHKERRQ(ierr); 103724cdb843SMatthew G. Knepley } 103808449791SMatthew G. Knepley if (locA) { 10396da023fcSToby Isaac DM dmAuxPlex; 10406da023fcSToby Isaac 10416da023fcSToby Isaac ierr = DMSNESConvertPlex(dmAux, &dmAuxPlex, PETSC_FALSE);CHKERRQ(ierr); 10426da023fcSToby Isaac ierr = DMPlexVecGetClosure(dmAuxPlex, sectionAux, locA, c, NULL, &x);CHKERRQ(ierr); 10439f11d433SMatthew G. Knepley for (i = 0; i < totDimAux; ++i) al[(c-cStart)*totDimAux+i] = x[i]; 10446da023fcSToby Isaac ierr = DMPlexVecRestoreClosure(dmAuxPlex, sectionAux, locA, c, NULL, &x);CHKERRQ(ierr); 10456da023fcSToby Isaac ierr = DMDestroy(&dmAuxPlex);CHKERRQ(ierr); 104624cdb843SMatthew G. Knepley } 104724cdb843SMatthew G. Knepley } 104808449791SMatthew G. Knepley PetscFunctionReturn(0); 104908449791SMatthew G. Knepley } 105024cdb843SMatthew G. Knepley 105108449791SMatthew G. Knepley #undef __FUNCT__ 105208449791SMatthew G. Knepley #define __FUNCT__ "DMPlexRestoreCellFields" 105308449791SMatthew G. Knepley /*@C 105408449791SMatthew G. Knepley DMPlexRestoreCellFields - Restore the field values values for a chunk of cells 105508449791SMatthew G. Knepley 105608449791SMatthew G. Knepley Input Parameters: 105708449791SMatthew G. Knepley + dm - The DM 105808449791SMatthew G. Knepley . cStart - The first cell to include 105908449791SMatthew G. Knepley . cEnd - The first cell to exclude 106008449791SMatthew G. Knepley . locX - A local vector with the solution fields 106108449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL 106208449791SMatthew G. Knepley - locA - A local vector with auxiliary fields, or NULL 106308449791SMatthew G. Knepley 106408449791SMatthew G. Knepley Output Parameters: 106508449791SMatthew G. Knepley + u - The field coefficients 106608449791SMatthew G. Knepley . u_t - The fields derivative coefficients 106708449791SMatthew G. Knepley - a - The auxiliary field coefficients 106808449791SMatthew G. Knepley 106908449791SMatthew G. Knepley Level: developer 107008449791SMatthew G. Knepley 107108449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields() 107208449791SMatthew G. Knepley @*/ 107308449791SMatthew G. Knepley PetscErrorCode DMPlexRestoreCellFields(DM dm, PetscInt cStart, PetscInt cEnd, Vec locX, Vec locX_t, Vec locA, PetscScalar **u, PetscScalar **u_t, PetscScalar **a) 107408449791SMatthew G. Knepley { 107508449791SMatthew G. Knepley PetscErrorCode ierr; 107608449791SMatthew G. Knepley 107708449791SMatthew G. Knepley PetscFunctionBegin; 107808449791SMatthew G. Knepley ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, u);CHKERRQ(ierr); 107949073227SMatthew G. Knepley if (*u_t) {ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, u_t);CHKERRQ(ierr);} 108049073227SMatthew G. Knepley if (*a) {ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, a);CHKERRQ(ierr);} 108108449791SMatthew G. Knepley PetscFunctionReturn(0); 108224cdb843SMatthew G. Knepley } 108308449791SMatthew G. Knepley 108408449791SMatthew G. Knepley #undef __FUNCT__ 108508449791SMatthew G. Knepley #define __FUNCT__ "DMPlexGetFaceFields" 108608449791SMatthew G. Knepley /*@C 108708449791SMatthew G. Knepley DMPlexGetFaceFields - Retrieve the field values values for a chunk of faces 108808449791SMatthew G. Knepley 108908449791SMatthew G. Knepley Input Parameters: 109008449791SMatthew G. Knepley + dm - The DM 109108449791SMatthew G. Knepley . fStart - The first face to include 109208449791SMatthew G. Knepley . fEnd - The first face to exclude 109308449791SMatthew G. Knepley . locX - A local vector with the solution fields 109408449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL 109508449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry 109608449791SMatthew G. Knepley . cellGeometry - A local vector with cell geometry 109708449791SMatthew G. Knepley - locaGrad - A local vector with field gradients, or NULL 109808449791SMatthew G. Knepley 109908449791SMatthew G. Knepley Output Parameters: 1100477f7dfdSMatthew G. Knepley + uL - The field values at the left side of the face 1101477f7dfdSMatthew G. Knepley - uR - The field values at the right side of the face 110208449791SMatthew G. Knepley 110308449791SMatthew G. Knepley Level: developer 110408449791SMatthew G. Knepley 110508449791SMatthew G. Knepley .seealso: DMPlexGetCellFields() 110608449791SMatthew G. Knepley @*/ 110708449791SMatthew G. Knepley PetscErrorCode DMPlexGetFaceFields(DM dm, PetscInt fStart, PetscInt fEnd, Vec locX, Vec locX_t, Vec faceGeometry, Vec cellGeometry, Vec locGrad, PetscScalar **uL, PetscScalar **uR) 110808449791SMatthew G. Knepley { 110908449791SMatthew G. Knepley DM dmFace, dmCell, dmGrad = NULL; 1110195142f5SMatthew G. Knepley PetscSection section; 111108449791SMatthew G. Knepley PetscDS prob; 111208449791SMatthew G. Knepley DMLabel ghostLabel; 111308449791SMatthew G. Knepley const PetscScalar *facegeom, *cellgeom, *x, *lgrad; 1114477f7dfdSMatthew G. Knepley PetscBool *isFE; 1115477f7dfdSMatthew G. Knepley PetscInt dim, Nf, f, Nc, numFaces = fEnd - fStart, iface, face; 111608449791SMatthew G. Knepley PetscErrorCode ierr; 111708449791SMatthew G. Knepley 111808449791SMatthew G. Knepley PetscFunctionBegin; 111908449791SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 112008449791SMatthew G. Knepley PetscValidHeaderSpecific(locX, VEC_CLASSID, 4); 112108449791SMatthew G. Knepley if (locX_t) {PetscValidHeaderSpecific(locX_t, VEC_CLASSID, 5);} 112208449791SMatthew G. Knepley PetscValidHeaderSpecific(faceGeometry, VEC_CLASSID, 6); 112308449791SMatthew G. Knepley PetscValidHeaderSpecific(cellGeometry, VEC_CLASSID, 7); 112408449791SMatthew G. Knepley if (locGrad) {PetscValidHeaderSpecific(locGrad, VEC_CLASSID, 8);} 112508449791SMatthew G. Knepley PetscValidPointer(uL, 9); 112608449791SMatthew G. Knepley PetscValidPointer(uR, 10); 112708449791SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 112808449791SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1129195142f5SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1130477f7dfdSMatthew G. Knepley ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 1131477f7dfdSMatthew G. Knepley ierr = PetscDSGetTotalComponents(prob, &Nc);CHKERRQ(ierr); 1132477f7dfdSMatthew G. Knepley ierr = PetscMalloc1(Nf, &isFE);CHKERRQ(ierr); 1133477f7dfdSMatthew G. Knepley for (f = 0; f < Nf; ++f) { 1134477f7dfdSMatthew G. Knepley PetscObject obj; 1135477f7dfdSMatthew G. Knepley PetscClassId id; 1136477f7dfdSMatthew G. Knepley 1137477f7dfdSMatthew G. Knepley ierr = DMGetField(dm, f, &obj);CHKERRQ(ierr); 1138477f7dfdSMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1139477f7dfdSMatthew G. Knepley if (id == PETSCFE_CLASSID) {isFE[f] = PETSC_TRUE;} 1140477f7dfdSMatthew G. Knepley else if (id == PETSCFV_CLASSID) {isFE[f] = PETSC_FALSE;} 1141477f7dfdSMatthew G. Knepley else {isFE[f] = PETSC_FALSE;} 1142477f7dfdSMatthew G. Knepley } 1143c58f1c22SToby Isaac ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 114408449791SMatthew G. Knepley ierr = VecGetArrayRead(locX, &x);CHKERRQ(ierr); 114508449791SMatthew G. Knepley ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr); 114608449791SMatthew G. Knepley ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 114708449791SMatthew G. Knepley ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr); 114808449791SMatthew G. Knepley ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 114908449791SMatthew G. Knepley if (locGrad) { 115008449791SMatthew G. Knepley ierr = VecGetDM(locGrad, &dmGrad);CHKERRQ(ierr); 115108449791SMatthew G. Knepley ierr = VecGetArrayRead(locGrad, &lgrad);CHKERRQ(ierr); 115224cdb843SMatthew G. Knepley } 1153477f7dfdSMatthew G. Knepley ierr = DMGetWorkArray(dm, numFaces*Nc, PETSC_SCALAR, uL);CHKERRQ(ierr); 1154477f7dfdSMatthew G. Knepley ierr = DMGetWorkArray(dm, numFaces*Nc, PETSC_SCALAR, uR);CHKERRQ(ierr); 1155477f7dfdSMatthew G. Knepley /* Right now just eat the extra work for FE (could make a cell loop) */ 115608449791SMatthew G. Knepley for (face = fStart, iface = 0; face < fEnd; ++face) { 115708449791SMatthew G. Knepley const PetscInt *cells; 1158640bce14SSatish Balay PetscFVFaceGeom *fg; 1159640bce14SSatish Balay PetscFVCellGeom *cgL, *cgR; 1160640bce14SSatish Balay PetscScalar *xL, *xR, *gL, *gR; 116108449791SMatthew G. Knepley PetscScalar *uLl = *uL, *uRl = *uR; 1162e697831aSToby Isaac PetscInt ghost, nsupp; 116308449791SMatthew G. Knepley 116408449791SMatthew G. Knepley ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1165e697831aSToby Isaac ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 116608449791SMatthew G. Knepley if (ghost >= 0) continue; 116708449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr); 116808449791SMatthew G. Knepley ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 116908449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cgL);CHKERRQ(ierr); 117008449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, cells[1], cellgeom, &cgR);CHKERRQ(ierr); 1171477f7dfdSMatthew G. Knepley for (f = 0; f < Nf; ++f) { 1172477f7dfdSMatthew G. Knepley PetscInt off; 1173477f7dfdSMatthew G. Knepley 117437a43ebbSMatthew G. Knepley ierr = PetscDSGetComponentOffset(prob, f, &off);CHKERRQ(ierr); 1175477f7dfdSMatthew G. Knepley if (isFE[f]) { 1176477f7dfdSMatthew G. Knepley const PetscInt *cone; 1177cca9989dSMatthew G. Knepley PetscInt comp, coneSize, faceLocL, faceLocR, ldof, rdof, d; 1178477f7dfdSMatthew G. Knepley 1179cca9989dSMatthew G. Knepley xL = xR = NULL; 1180cca9989dSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, locX, cells[0], &ldof, (PetscScalar **) &xL);CHKERRQ(ierr); 1181cca9989dSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, locX, cells[1], &rdof, (PetscScalar **) &xR);CHKERRQ(ierr); 1182477f7dfdSMatthew G. Knepley ierr = DMPlexGetCone(dm, cells[0], &cone);CHKERRQ(ierr); 1183477f7dfdSMatthew G. Knepley ierr = DMPlexGetConeSize(dm, cells[0], &coneSize);CHKERRQ(ierr); 1184477f7dfdSMatthew G. Knepley for (faceLocL = 0; faceLocL < coneSize; ++faceLocL) if (cone[faceLocL] == face) break; 1185477f7dfdSMatthew G. Knepley if (faceLocL == coneSize) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not find face %d in cone of cell %d", face, cells[0]); 1186477f7dfdSMatthew G. Knepley ierr = DMPlexGetCone(dm, cells[1], &cone);CHKERRQ(ierr); 1187477f7dfdSMatthew G. Knepley ierr = DMPlexGetConeSize(dm, cells[1], &coneSize);CHKERRQ(ierr); 1188477f7dfdSMatthew G. Knepley for (faceLocR = 0; faceLocR < coneSize; ++faceLocR) if (cone[faceLocR] == face) break; 1189477f7dfdSMatthew G. Knepley if (faceLocR == coneSize) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not find face %d in cone of cell %d", face, cells[1]); 1190195142f5SMatthew G. Knepley /* Check that FEM field has values in the right cell (sometimes its an FV ghost cell) */ 1191477f7dfdSMatthew G. Knepley ierr = EvaluateFaceFields(prob, f, faceLocL, xL, &uLl[iface*Nc+off]);CHKERRQ(ierr); 1192cca9989dSMatthew G. Knepley if (rdof == ldof) {ierr = EvaluateFaceFields(prob, f, faceLocR, xR, &uRl[iface*Nc+off]);CHKERRQ(ierr);} 1193cca9989dSMatthew G. Knepley else {ierr = PetscSectionGetFieldComponents(section, f, &comp);CHKERRQ(ierr); for(d = 0; d < comp; ++d) uRl[iface*Nc+off+d] = uLl[iface*Nc+off+d];} 1194cca9989dSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, locX, cells[0], &ldof, (PetscScalar **) &xL);CHKERRQ(ierr); 1195cca9989dSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, locX, cells[1], &rdof, (PetscScalar **) &xR);CHKERRQ(ierr); 1196477f7dfdSMatthew G. Knepley } else { 1197477f7dfdSMatthew G. Knepley PetscFV fv; 1198477f7dfdSMatthew G. Knepley PetscInt numComp, c; 1199477f7dfdSMatthew G. Knepley 1200477f7dfdSMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fv);CHKERRQ(ierr); 1201477f7dfdSMatthew G. Knepley ierr = PetscFVGetNumComponents(fv, &numComp);CHKERRQ(ierr); 1202e697831aSToby Isaac if (nsupp > 2) { 1203e697831aSToby Isaac for (f = 0; f < Nf; ++f) { 1204e697831aSToby Isaac PetscInt off; 1205e697831aSToby Isaac 1206e697831aSToby Isaac ierr = PetscDSGetComponentOffset(prob, f, &off);CHKERRQ(ierr); 1207e697831aSToby Isaac ierr = PetscFVGetNumComponents(fv, &numComp);CHKERRQ(ierr); 1208e697831aSToby Isaac for (c = 0; c < numComp; ++c) { 1209e697831aSToby Isaac uLl[iface*Nc+off+c] = 0.; 1210e697831aSToby Isaac uRl[iface*Nc+off+c] = 0.; 1211e697831aSToby Isaac } 1212e697831aSToby Isaac } 1213e697831aSToby Isaac continue; 1214e697831aSToby Isaac } 1215cca9989dSMatthew G. Knepley ierr = DMPlexPointLocalFieldRead(dm, cells[0], f, x, &xL);CHKERRQ(ierr); 1216cca9989dSMatthew G. Knepley ierr = DMPlexPointLocalFieldRead(dm, cells[1], f, x, &xR);CHKERRQ(ierr); 121708449791SMatthew G. Knepley if (dmGrad) { 121808449791SMatthew G. Knepley PetscReal dxL[3], dxR[3]; 121908449791SMatthew G. Knepley 122008449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmGrad, cells[0], lgrad, &gL);CHKERRQ(ierr); 122108449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmGrad, cells[1], lgrad, &gR);CHKERRQ(ierr); 122208449791SMatthew G. Knepley DMPlex_WaxpyD_Internal(dim, -1, cgL->centroid, fg->centroid, dxL); 122308449791SMatthew G. Knepley DMPlex_WaxpyD_Internal(dim, -1, cgR->centroid, fg->centroid, dxR); 1224477f7dfdSMatthew G. Knepley for (c = 0; c < numComp; ++c) { 1225477f7dfdSMatthew G. Knepley uLl[iface*Nc+off+c] = xL[c] + DMPlex_DotD_Internal(dim, &gL[c*dim], dxL); 1226477f7dfdSMatthew G. Knepley uRl[iface*Nc+off+c] = xR[c] + DMPlex_DotD_Internal(dim, &gR[c*dim], dxR); 122708449791SMatthew G. Knepley } 122808449791SMatthew G. Knepley } else { 1229477f7dfdSMatthew G. Knepley for (c = 0; c < numComp; ++c) { 1230477f7dfdSMatthew G. Knepley uLl[iface*Nc+off+c] = xL[c]; 1231477f7dfdSMatthew G. Knepley uRl[iface*Nc+off+c] = xR[c]; 1232477f7dfdSMatthew G. Knepley } 1233477f7dfdSMatthew G. Knepley } 123408449791SMatthew G. Knepley } 123508449791SMatthew G. Knepley } 123608449791SMatthew G. Knepley ++iface; 123708449791SMatthew G. Knepley } 123808449791SMatthew G. Knepley ierr = VecRestoreArrayRead(locX, &x);CHKERRQ(ierr); 123908449791SMatthew G. Knepley ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 124008449791SMatthew G. Knepley ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 124108449791SMatthew G. Knepley if (locGrad) { 124208449791SMatthew G. Knepley ierr = VecRestoreArrayRead(locGrad, &lgrad);CHKERRQ(ierr); 124308449791SMatthew G. Knepley } 1244477f7dfdSMatthew G. Knepley ierr = PetscFree(isFE);CHKERRQ(ierr); 124508449791SMatthew G. Knepley PetscFunctionReturn(0); 124608449791SMatthew G. Knepley } 124708449791SMatthew G. Knepley 124808449791SMatthew G. Knepley #undef __FUNCT__ 124908449791SMatthew G. Knepley #define __FUNCT__ "DMPlexRestoreFaceFields" 125008449791SMatthew G. Knepley /*@C 125108449791SMatthew G. Knepley DMPlexRestoreFaceFields - Restore the field values values for a chunk of faces 125208449791SMatthew G. Knepley 125308449791SMatthew G. Knepley Input Parameters: 125408449791SMatthew G. Knepley + dm - The DM 125508449791SMatthew G. Knepley . fStart - The first face to include 125608449791SMatthew G. Knepley . fEnd - The first face to exclude 125708449791SMatthew G. Knepley . locX - A local vector with the solution fields 125808449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL 125908449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry 126008449791SMatthew G. Knepley . cellGeometry - A local vector with cell geometry 126108449791SMatthew G. Knepley - locaGrad - A local vector with field gradients, or NULL 126208449791SMatthew G. Knepley 126308449791SMatthew G. Knepley Output Parameters: 1264477f7dfdSMatthew G. Knepley + uL - The field values at the left side of the face 1265477f7dfdSMatthew G. Knepley - uR - The field values at the right side of the face 126608449791SMatthew G. Knepley 126708449791SMatthew G. Knepley Level: developer 126808449791SMatthew G. Knepley 126908449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields() 127008449791SMatthew G. Knepley @*/ 127108449791SMatthew G. Knepley PetscErrorCode DMPlexRestoreFaceFields(DM dm, PetscInt fStart, PetscInt fEnd, Vec locX, Vec locX_t, Vec faceGeometry, Vec cellGeometry, Vec locGrad, PetscScalar **uL, PetscScalar **uR) 127208449791SMatthew G. Knepley { 127308449791SMatthew G. Knepley PetscErrorCode ierr; 127408449791SMatthew G. Knepley 127508449791SMatthew G. Knepley PetscFunctionBegin; 127608449791SMatthew G. Knepley ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, uL);CHKERRQ(ierr); 127708449791SMatthew G. Knepley ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, uR);CHKERRQ(ierr); 127808449791SMatthew G. Knepley PetscFunctionReturn(0); 127908449791SMatthew G. Knepley } 128008449791SMatthew G. Knepley 128108449791SMatthew G. Knepley #undef __FUNCT__ 128208449791SMatthew G. Knepley #define __FUNCT__ "DMPlexGetFaceGeometry" 128308449791SMatthew G. Knepley /*@C 128408449791SMatthew G. Knepley DMPlexGetFaceGeometry - Retrieve the geometric values for a chunk of faces 128508449791SMatthew G. Knepley 128608449791SMatthew G. Knepley Input Parameters: 128708449791SMatthew G. Knepley + dm - The DM 128808449791SMatthew G. Knepley . fStart - The first face to include 128908449791SMatthew G. Knepley . fEnd - The first face to exclude 129008449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry 129108449791SMatthew G. Knepley - cellGeometry - A local vector with cell geometry 129208449791SMatthew G. Knepley 129308449791SMatthew G. Knepley Output Parameters: 129408449791SMatthew G. Knepley + fgeom - The extract the face centroid and normal 129508449791SMatthew G. Knepley - vol - The cell volume 129608449791SMatthew G. Knepley 129708449791SMatthew G. Knepley Level: developer 129808449791SMatthew G. Knepley 129908449791SMatthew G. Knepley .seealso: DMPlexGetCellFields() 130008449791SMatthew G. Knepley @*/ 130108449791SMatthew G. Knepley PetscErrorCode DMPlexGetFaceGeometry(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, PetscFVFaceGeom **fgeom, PetscReal **vol) 130208449791SMatthew G. Knepley { 130308449791SMatthew G. Knepley DM dmFace, dmCell; 130408449791SMatthew G. Knepley DMLabel ghostLabel; 130508449791SMatthew G. Knepley const PetscScalar *facegeom, *cellgeom; 130608449791SMatthew G. Knepley PetscInt dim, numFaces = fEnd - fStart, iface, face; 130708449791SMatthew G. Knepley PetscErrorCode ierr; 130808449791SMatthew G. Knepley 130908449791SMatthew G. Knepley PetscFunctionBegin; 131008449791SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 131108449791SMatthew G. Knepley PetscValidHeaderSpecific(faceGeometry, VEC_CLASSID, 4); 131208449791SMatthew G. Knepley PetscValidHeaderSpecific(cellGeometry, VEC_CLASSID, 5); 131308449791SMatthew G. Knepley PetscValidPointer(fgeom, 6); 131408449791SMatthew G. Knepley PetscValidPointer(vol, 7); 131508449791SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1316c58f1c22SToby Isaac ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 131708449791SMatthew G. Knepley ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr); 131808449791SMatthew G. Knepley ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 131908449791SMatthew G. Knepley ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr); 132008449791SMatthew G. Knepley ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 132108449791SMatthew G. Knepley ierr = PetscMalloc1(numFaces, fgeom);CHKERRQ(ierr); 132208449791SMatthew G. Knepley ierr = DMGetWorkArray(dm, numFaces*2, PETSC_SCALAR, vol);CHKERRQ(ierr); 132308449791SMatthew G. Knepley for (face = fStart, iface = 0; face < fEnd; ++face) { 132408449791SMatthew G. Knepley const PetscInt *cells; 1325640bce14SSatish Balay PetscFVFaceGeom *fg; 1326640bce14SSatish Balay PetscFVCellGeom *cgL, *cgR; 132708449791SMatthew G. Knepley PetscFVFaceGeom *fgeoml = *fgeom; 13282eefff9cSMatthew G. Knepley PetscReal *voll = *vol; 132908449791SMatthew G. Knepley PetscInt ghost, d; 133008449791SMatthew G. Knepley 133108449791SMatthew G. Knepley ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 133208449791SMatthew G. Knepley if (ghost >= 0) continue; 133308449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr); 133408449791SMatthew G. Knepley ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 133508449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cgL);CHKERRQ(ierr); 133608449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, cells[1], cellgeom, &cgR);CHKERRQ(ierr); 133708449791SMatthew G. Knepley for (d = 0; d < dim; ++d) { 133808449791SMatthew G. Knepley fgeoml[iface].centroid[d] = fg->centroid[d]; 133908449791SMatthew G. Knepley fgeoml[iface].normal[d] = fg->normal[d]; 134008449791SMatthew G. Knepley } 134108449791SMatthew G. Knepley voll[iface*2+0] = cgL->volume; 134208449791SMatthew G. Knepley voll[iface*2+1] = cgR->volume; 134308449791SMatthew G. Knepley ++iface; 134408449791SMatthew G. Knepley } 134508449791SMatthew G. Knepley ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 134608449791SMatthew G. Knepley ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 134708449791SMatthew G. Knepley PetscFunctionReturn(0); 134808449791SMatthew G. Knepley } 134908449791SMatthew G. Knepley 135008449791SMatthew G. Knepley #undef __FUNCT__ 135108449791SMatthew G. Knepley #define __FUNCT__ "DMPlexRestoreFaceGeometry" 135208449791SMatthew G. Knepley /*@C 135308449791SMatthew G. Knepley DMPlexRestoreFaceGeometry - Restore the field values values for a chunk of faces 135408449791SMatthew G. Knepley 135508449791SMatthew G. Knepley Input Parameters: 135608449791SMatthew G. Knepley + dm - The DM 135708449791SMatthew G. Knepley . fStart - The first face to include 135808449791SMatthew G. Knepley . fEnd - The first face to exclude 135908449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry 136008449791SMatthew G. Knepley - cellGeometry - A local vector with cell geometry 136108449791SMatthew G. Knepley 136208449791SMatthew G. Knepley Output Parameters: 136308449791SMatthew G. Knepley + fgeom - The extract the face centroid and normal 136408449791SMatthew G. Knepley - vol - The cell volume 136508449791SMatthew G. Knepley 136608449791SMatthew G. Knepley Level: developer 136708449791SMatthew G. Knepley 136808449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields() 136908449791SMatthew G. Knepley @*/ 137008449791SMatthew G. Knepley PetscErrorCode DMPlexRestoreFaceGeometry(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, PetscFVFaceGeom **fgeom, PetscReal **vol) 137108449791SMatthew G. Knepley { 137208449791SMatthew G. Knepley PetscErrorCode ierr; 137308449791SMatthew G. Knepley 137408449791SMatthew G. Knepley PetscFunctionBegin; 137508449791SMatthew G. Knepley ierr = PetscFree(*fgeom);CHKERRQ(ierr); 137608449791SMatthew G. Knepley ierr = DMRestoreWorkArray(dm, 0, PETSC_REAL, vol);CHKERRQ(ierr); 137708449791SMatthew G. Knepley PetscFunctionReturn(0); 137808449791SMatthew G. Knepley } 137908449791SMatthew G. Knepley 138008449791SMatthew G. Knepley #undef __FUNCT__ 1381cd0a786dSToby Isaac #define __FUNCT__ "DMPlexApplyLimiter_Internal" 1382655c4201SToby Isaac static PetscErrorCode DMPlexApplyLimiter_Internal (DM dm, DM dmCell, PetscLimiter lim, PetscInt dim, PetscInt totDim, PetscInt cell, PetscInt face, PetscInt fStart, PetscInt fEnd, PetscReal *cellPhi, const PetscScalar *x, 1383cd0a786dSToby Isaac const PetscScalar *cellgeom, const PetscFVCellGeom *cg, const PetscScalar *cx, const PetscScalar *cgrad) 1384cd0a786dSToby Isaac { 1385cd0a786dSToby Isaac const PetscInt *children; 1386cd0a786dSToby Isaac PetscInt numChildren; 1387cd0a786dSToby Isaac PetscErrorCode ierr; 1388cd0a786dSToby Isaac 1389cd0a786dSToby Isaac PetscFunctionBegin; 1390cd0a786dSToby Isaac ierr = DMPlexGetTreeChildren(dm,face,&numChildren,&children);CHKERRQ(ierr); 1391cd0a786dSToby Isaac if (numChildren) { 1392cd0a786dSToby Isaac PetscInt c; 1393cd0a786dSToby Isaac 1394cd0a786dSToby Isaac for (c = 0; c < numChildren; c++) { 1395cd0a786dSToby Isaac PetscInt childFace = children[c]; 1396655c4201SToby Isaac 1397655c4201SToby Isaac if (childFace >= fStart && childFace < fEnd) { 1398655c4201SToby Isaac ierr = DMPlexApplyLimiter_Internal(dm,dmCell,lim,dim,totDim,cell,childFace,fStart,fEnd,cellPhi,x,cellgeom,cg,cx,cgrad);CHKERRQ(ierr); 1399655c4201SToby Isaac } 1400cd0a786dSToby Isaac } 1401cd0a786dSToby Isaac } 1402cd0a786dSToby Isaac else { 1403640bce14SSatish Balay PetscScalar *ncx; 1404640bce14SSatish Balay PetscFVCellGeom *ncg; 1405cd0a786dSToby Isaac const PetscInt *fcells; 1406cd0a786dSToby Isaac PetscInt ncell, d; 1407cd0a786dSToby Isaac PetscReal v[3]; 1408cd0a786dSToby Isaac 1409cd0a786dSToby Isaac ierr = DMPlexGetSupport(dm, face, &fcells);CHKERRQ(ierr); 1410cd0a786dSToby Isaac ncell = cell == fcells[0] ? fcells[1] : fcells[0]; 1411cd0a786dSToby Isaac ierr = DMPlexPointLocalRead(dm, ncell, x, &ncx);CHKERRQ(ierr); 1412cd0a786dSToby Isaac ierr = DMPlexPointLocalRead(dmCell, ncell, cellgeom, &ncg);CHKERRQ(ierr); 1413cd0a786dSToby Isaac DMPlex_WaxpyD_Internal(dim, -1, cg->centroid, ncg->centroid, v); 1414cd0a786dSToby Isaac for (d = 0; d < totDim; ++d) { 1415cd0a786dSToby Isaac /* We use the symmetric slope limited form of Berger, Aftosmis, and Murman 2005 */ 1416cd0a786dSToby Isaac PetscReal phi, flim = 0.5 * PetscRealPart(ncx[d] - cx[d]) / DMPlex_DotD_Internal(dim, &cgrad[d*dim], v); 1417cd0a786dSToby Isaac 1418cd0a786dSToby Isaac ierr = PetscLimiterLimit(lim, flim, &phi);CHKERRQ(ierr); 1419cd0a786dSToby Isaac cellPhi[d] = PetscMin(cellPhi[d], phi); 1420cd0a786dSToby Isaac } 1421cd0a786dSToby Isaac } 1422cd0a786dSToby Isaac PetscFunctionReturn(0); 1423cd0a786dSToby Isaac } 1424cd0a786dSToby Isaac 1425cd0a786dSToby Isaac #undef __FUNCT__ 142608449791SMatthew G. Knepley #define __FUNCT__ "DMPlexReconstructGradients_Internal" 142708449791SMatthew G. Knepley PetscErrorCode DMPlexReconstructGradients_Internal(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, Vec locX, Vec grad) 142808449791SMatthew G. Knepley { 142908449791SMatthew G. Knepley DM dmFace, dmCell, dmGrad; 143008449791SMatthew G. Knepley DMLabel ghostLabel; 143108449791SMatthew G. Knepley PetscDS prob; 143208449791SMatthew G. Knepley PetscFV fvm; 143308449791SMatthew G. Knepley PetscLimiter lim; 143408449791SMatthew G. Knepley const PetscScalar *facegeom, *cellgeom, *x; 143508449791SMatthew G. Knepley PetscScalar *gr; 143608449791SMatthew G. Knepley PetscReal *cellPhi; 143708449791SMatthew G. Knepley PetscInt dim, face, cell, totDim, cStart, cEnd, cEndInterior; 143808449791SMatthew G. Knepley PetscErrorCode ierr; 143908449791SMatthew G. Knepley 144008449791SMatthew G. Knepley PetscFunctionBegin; 144108449791SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 144208449791SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 144308449791SMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 1444c58f1c22SToby Isaac ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 144508449791SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, 0, (PetscObject *) &fvm);CHKERRQ(ierr); 144608449791SMatthew G. Knepley ierr = PetscFVGetLimiter(fvm, &lim);CHKERRQ(ierr); 144708449791SMatthew G. Knepley ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr); 144808449791SMatthew G. Knepley ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 144908449791SMatthew G. Knepley ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr); 145008449791SMatthew G. Knepley ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 145108449791SMatthew G. Knepley ierr = VecGetArrayRead(locX, &x);CHKERRQ(ierr); 145208449791SMatthew G. Knepley ierr = VecGetDM(grad, &dmGrad);CHKERRQ(ierr); 145308449791SMatthew G. Knepley ierr = VecZeroEntries(grad);CHKERRQ(ierr); 145408449791SMatthew G. Knepley ierr = VecGetArray(grad, &gr);CHKERRQ(ierr); 145508449791SMatthew G. Knepley /* Reconstruct gradients */ 145608449791SMatthew G. Knepley for (face = fStart; face < fEnd; ++face) { 145708449791SMatthew G. Knepley const PetscInt *cells; 1458640bce14SSatish Balay PetscFVFaceGeom *fg; 1459640bce14SSatish Balay PetscScalar *cx[2]; 146008449791SMatthew G. Knepley PetscScalar *cgrad[2]; 146108449791SMatthew G. Knepley PetscBool boundary; 146250d63984SToby Isaac PetscInt ghost, c, pd, d, numChildren, numCells; 146308449791SMatthew G. Knepley 146408449791SMatthew G. Knepley ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1465a6ba4734SToby Isaac ierr = DMIsBoundaryPoint(dm, face, &boundary);CHKERRQ(ierr); 146650d63984SToby Isaac ierr = DMPlexGetTreeChildren(dm, face, &numChildren, NULL);CHKERRQ(ierr); 146750d63984SToby Isaac if (ghost >= 0 || boundary || numChildren) continue; 146850d63984SToby Isaac ierr = DMPlexGetSupportSize(dm, face, &numCells);CHKERRQ(ierr); 146950d63984SToby Isaac if (numCells != 2) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "facet %d has %d support points: expected 2",face,numCells); 147008449791SMatthew G. Knepley ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 147108449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr); 147208449791SMatthew G. Knepley for (c = 0; c < 2; ++c) { 147308449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dm, cells[c], x, &cx[c]);CHKERRQ(ierr); 147408449791SMatthew G. Knepley ierr = DMPlexPointGlobalRef(dmGrad, cells[c], gr, &cgrad[c]);CHKERRQ(ierr); 147508449791SMatthew G. Knepley } 147608449791SMatthew G. Knepley for (pd = 0; pd < totDim; ++pd) { 147708449791SMatthew G. Knepley PetscScalar delta = cx[1][pd] - cx[0][pd]; 147808449791SMatthew G. Knepley 147908449791SMatthew G. Knepley for (d = 0; d < dim; ++d) { 148008449791SMatthew G. Knepley if (cgrad[0]) cgrad[0][pd*dim+d] += fg->grad[0][d] * delta; 148108449791SMatthew G. Knepley if (cgrad[1]) cgrad[1][pd*dim+d] -= fg->grad[1][d] * delta; 148208449791SMatthew G. Knepley } 148308449791SMatthew G. Knepley } 148408449791SMatthew G. Knepley } 148508449791SMatthew G. Knepley /* Limit interior gradients (using cell-based loop because it generalizes better to vector limiters) */ 148608449791SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 148708449791SMatthew G. Knepley ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 148808449791SMatthew G. Knepley cEndInterior = cEndInterior < 0 ? cEnd : cEndInterior; 148908449791SMatthew G. Knepley ierr = DMGetWorkArray(dm, totDim, PETSC_REAL, &cellPhi);CHKERRQ(ierr); 149008449791SMatthew G. Knepley for (cell = dmGrad && lim ? cStart : cEnd; cell < cEndInterior; ++cell) { 149108449791SMatthew G. Knepley const PetscInt *faces; 1492640bce14SSatish Balay PetscScalar *cx; 1493640bce14SSatish Balay PetscFVCellGeom *cg; 149408449791SMatthew G. Knepley PetscScalar *cgrad; 149508449791SMatthew G. Knepley PetscInt coneSize, f, pd, d; 149608449791SMatthew G. Knepley 149708449791SMatthew G. Knepley ierr = DMPlexGetConeSize(dm, cell, &coneSize);CHKERRQ(ierr); 149808449791SMatthew G. Knepley ierr = DMPlexGetCone(dm, cell, &faces);CHKERRQ(ierr); 149908449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dm, cell, x, &cx);CHKERRQ(ierr); 150008449791SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, cell, cellgeom, &cg);CHKERRQ(ierr); 150108449791SMatthew G. Knepley ierr = DMPlexPointGlobalRef(dmGrad, cell, gr, &cgrad);CHKERRQ(ierr); 150208449791SMatthew G. Knepley if (!cgrad) continue; /* Unowned overlap cell, we do not compute */ 150308449791SMatthew G. Knepley /* Limiter will be minimum value over all neighbors */ 150408449791SMatthew G. Knepley for (d = 0; d < totDim; ++d) cellPhi[d] = PETSC_MAX_REAL; 150508449791SMatthew G. Knepley for (f = 0; f < coneSize; ++f) { 1506655c4201SToby Isaac ierr = DMPlexApplyLimiter_Internal(dm,dmCell,lim,dim,totDim,cell,faces[f],fStart,fEnd,cellPhi,x,cellgeom,cg,cx,cgrad);CHKERRQ(ierr); 150708449791SMatthew G. Knepley } 150808449791SMatthew G. Knepley /* Apply limiter to gradient */ 150908449791SMatthew G. Knepley for (pd = 0; pd < totDim; ++pd) 151008449791SMatthew G. Knepley /* Scalar limiter applied to each component separately */ 151108449791SMatthew G. Knepley for (d = 0; d < dim; ++d) cgrad[pd*dim+d] *= cellPhi[pd]; 151208449791SMatthew G. Knepley } 151308449791SMatthew G. Knepley ierr = DMRestoreWorkArray(dm, totDim, PETSC_REAL, &cellPhi);CHKERRQ(ierr); 151408449791SMatthew G. Knepley ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr); 151508449791SMatthew G. Knepley ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr); 151608449791SMatthew G. Knepley ierr = VecRestoreArrayRead(locX, &x);CHKERRQ(ierr); 151708449791SMatthew G. Knepley ierr = VecRestoreArray(grad, &gr);CHKERRQ(ierr); 151808449791SMatthew G. Knepley PetscFunctionReturn(0); 151908449791SMatthew G. Knepley } 152008449791SMatthew G. Knepley 152108449791SMatthew G. Knepley #undef __FUNCT__ 152208449791SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeBdResidual_Internal" 152311dd639bSMatthew G. Knepley PetscErrorCode DMPlexComputeBdResidual_Internal(DM dm, Vec locX, Vec locX_t, PetscReal t, Vec locF, void *user) 152408449791SMatthew G. Knepley { 152508449791SMatthew G. Knepley DM_Plex *mesh = (DM_Plex *) dm->data; 152608449791SMatthew G. Knepley PetscSection section; 152708449791SMatthew G. Knepley PetscDS prob; 152808449791SMatthew G. Knepley DMLabel depth; 152908449791SMatthew G. Knepley PetscFECellGeom *cgeom; 153008449791SMatthew G. Knepley PetscScalar *u = NULL, *u_t = NULL, *elemVec = NULL; 153108449791SMatthew G. Knepley PetscInt dim, Nf, f, totDimBd, numBd, bd; 153208449791SMatthew G. Knepley PetscErrorCode ierr; 153308449791SMatthew G. Knepley 153408449791SMatthew G. Knepley PetscFunctionBegin; 153508449791SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 153608449791SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 153708449791SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 153808449791SMatthew G. Knepley ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 153908449791SMatthew G. Knepley ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr); 154024cdb843SMatthew G. Knepley ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr); 1541a6ba4734SToby Isaac ierr = DMGetNumBoundary(dm, &numBd);CHKERRQ(ierr); 154224cdb843SMatthew G. Knepley for (bd = 0; bd < numBd; ++bd) { 154324cdb843SMatthew G. Knepley const char *bdLabel; 154424cdb843SMatthew G. Knepley DMLabel label; 154524cdb843SMatthew G. Knepley IS pointIS; 154624cdb843SMatthew G. Knepley const PetscInt *points; 154724cdb843SMatthew G. Knepley const PetscInt *values; 1548a8e83e26SSanderA PetscInt field, numValues, v, numPoints, p, dep, numFaces; 154924cdb843SMatthew G. Knepley PetscBool isEssential; 155080bc4632SMatthew G. Knepley PetscObject obj; 155180bc4632SMatthew G. Knepley PetscClassId id; 155224cdb843SMatthew G. Knepley 1553a6ba4734SToby Isaac ierr = DMGetBoundary(dm, bd, &isEssential, NULL, &bdLabel, &field, NULL, NULL, NULL, &numValues, &values, NULL);CHKERRQ(ierr); 155480bc4632SMatthew G. Knepley ierr = DMGetField(dm, field, &obj);CHKERRQ(ierr); 155580bc4632SMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 155680bc4632SMatthew G. Knepley if ((id != PETSCFE_CLASSID) || isEssential) continue; 1557c58f1c22SToby Isaac ierr = DMGetLabel(dm, bdLabel, &label);CHKERRQ(ierr); 1558a8e83e26SSanderA for (v = 0; v < numValues; ++v) { 1559a8e83e26SSanderA ierr = DMLabelGetStratumSize(label, values[v], &numPoints);CHKERRQ(ierr); 1560a8e83e26SSanderA ierr = DMLabelGetStratumIS(label, values[v], &pointIS);CHKERRQ(ierr); 156122734eb1Ssarens if (!pointIS) continue; /* No points with that id on this process */ 156224cdb843SMatthew G. Knepley ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 156324cdb843SMatthew G. Knepley for (p = 0, numFaces = 0; p < numPoints; ++p) { 156424cdb843SMatthew G. Knepley ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 156524cdb843SMatthew G. Knepley if (dep == dim-1) ++numFaces; 156624cdb843SMatthew G. Knepley } 1567bbce034cSMatthew G. Knepley ierr = PetscMalloc3(numFaces*totDimBd,&u,numFaces,&cgeom,numFaces*totDimBd,&elemVec);CHKERRQ(ierr); 156808449791SMatthew G. Knepley if (locX_t) {ierr = PetscMalloc1(numFaces*totDimBd,&u_t);CHKERRQ(ierr);} 156924cdb843SMatthew G. Knepley for (p = 0, f = 0; p < numPoints; ++p) { 157024cdb843SMatthew G. Knepley const PetscInt point = points[p]; 157124cdb843SMatthew G. Knepley PetscScalar *x = NULL; 157224cdb843SMatthew G. Knepley PetscInt i; 157324cdb843SMatthew G. Knepley 157424cdb843SMatthew G. Knepley ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 157524cdb843SMatthew G. Knepley if (dep != dim-1) continue; 1576bbce034cSMatthew G. Knepley ierr = DMPlexComputeCellGeometryFEM(dm, point, NULL, cgeom[f].v0, cgeom[f].J, cgeom[f].invJ, &cgeom[f].detJ);CHKERRQ(ierr); 1577302440fdSBarry Smith ierr = DMPlexComputeCellGeometryFVM(dm, point, NULL, NULL, cgeom[f].n);CHKERRQ(ierr); 1578bbce034cSMatthew G. Knepley if (cgeom[f].detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for face %d", cgeom[f].detJ, point); 1579929b1830SToby Isaac /* TODO: Matt, this is wrong if feBd does not match fe: i.e., if the order differs. */ 158008449791SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, locX, point, NULL, &x);CHKERRQ(ierr); 158124cdb843SMatthew G. Knepley for (i = 0; i < totDimBd; ++i) u[f*totDimBd+i] = x[i]; 158208449791SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, locX, point, NULL, &x);CHKERRQ(ierr); 158308449791SMatthew G. Knepley if (locX_t) { 158408449791SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, locX_t, point, NULL, &x);CHKERRQ(ierr); 158524cdb843SMatthew G. Knepley for (i = 0; i < totDimBd; ++i) u_t[f*totDimBd+i] = x[i]; 158608449791SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, locX_t, point, NULL, &x);CHKERRQ(ierr); 158724cdb843SMatthew G. Knepley } 158824cdb843SMatthew G. Knepley ++f; 158924cdb843SMatthew G. Knepley } 159024cdb843SMatthew G. Knepley for (f = 0; f < Nf; ++f) { 159124cdb843SMatthew G. Knepley PetscFE fe; 159208449791SMatthew G. Knepley PetscQuadrature q; 159324cdb843SMatthew G. Knepley PetscInt numQuadPoints, Nb; 159424cdb843SMatthew G. Knepley /* Conforming batches */ 159524cdb843SMatthew G. Knepley PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 159624cdb843SMatthew G. Knepley /* Remainder */ 159724cdb843SMatthew G. Knepley PetscInt Nr, offset; 159824cdb843SMatthew G. Knepley 159924cdb843SMatthew G. Knepley ierr = PetscDSGetBdDiscretization(prob, f, (PetscObject *) &fe);CHKERRQ(ierr); 160024cdb843SMatthew G. Knepley ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 160124cdb843SMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 160224cdb843SMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 160324cdb843SMatthew G. Knepley ierr = PetscQuadratureGetData(q, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 160424cdb843SMatthew G. Knepley blockSize = Nb*numQuadPoints; 160524cdb843SMatthew G. Knepley batchSize = numBlocks * blockSize; 160624cdb843SMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 160724cdb843SMatthew G. Knepley numChunks = numFaces / (numBatches*batchSize); 160824cdb843SMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 160924cdb843SMatthew G. Knepley Nr = numFaces % (numBatches*batchSize); 161024cdb843SMatthew G. Knepley offset = numFaces - Nr; 161111dd639bSMatthew G. Knepley ierr = PetscFEIntegrateBdResidual(fe, prob, f, Ne, cgeom, u, u_t, NULL, NULL, t, elemVec);CHKERRQ(ierr); 161211dd639bSMatthew G. Knepley ierr = PetscFEIntegrateBdResidual(fe, prob, f, Nr, &cgeom[offset], &u[offset*totDimBd], u_t ? &u_t[offset*totDimBd] : NULL, NULL, NULL, t, &elemVec[offset*totDimBd]);CHKERRQ(ierr); 161324cdb843SMatthew G. Knepley } 161424cdb843SMatthew G. Knepley for (p = 0, f = 0; p < numPoints; ++p) { 161524cdb843SMatthew G. Knepley const PetscInt point = points[p]; 161624cdb843SMatthew G. Knepley 161724cdb843SMatthew G. Knepley ierr = DMLabelGetValue(depth, point, &dep);CHKERRQ(ierr); 161824cdb843SMatthew G. Knepley if (dep != dim-1) continue; 161924cdb843SMatthew G. Knepley if (mesh->printFEM > 1) {ierr = DMPrintCellVector(point, "BdResidual", totDimBd, &elemVec[f*totDimBd]);CHKERRQ(ierr);} 1620c14a31d2SToby Isaac ierr = DMPlexVecSetClosure(dm, NULL, locF, point, &elemVec[f*totDimBd], ADD_ALL_VALUES);CHKERRQ(ierr); 162124cdb843SMatthew G. Knepley ++f; 162224cdb843SMatthew G. Knepley } 162324cdb843SMatthew G. Knepley ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 162424cdb843SMatthew G. Knepley ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 1625bbce034cSMatthew G. Knepley ierr = PetscFree3(u,cgeom,elemVec);CHKERRQ(ierr); 162608449791SMatthew G. Knepley if (locX_t) {ierr = PetscFree(u_t);CHKERRQ(ierr);} 162724cdb843SMatthew G. Knepley } 1628a8e83e26SSanderA } 162908449791SMatthew G. Knepley PetscFunctionReturn(0); 163008449791SMatthew G. Knepley } 163108449791SMatthew G. Knepley 163208449791SMatthew G. Knepley #undef __FUNCT__ 1633f2c5ccc7SToby Isaac #define __FUNCT__ "DMPlexReconstructGradientsFVM" 1634f2c5ccc7SToby Isaac /*@ 1635f2c5ccc7SToby Isaac DMPlexReconstructGradientsFVM - reconstruct the gradient of a vector using a finite volume method. 1636f2c5ccc7SToby Isaac 1637f2c5ccc7SToby Isaac Input Parameters: 1638f2c5ccc7SToby Isaac + dm - the mesh 1639f2c5ccc7SToby Isaac - locX - the local representation of the vector 1640f2c5ccc7SToby Isaac 1641f2c5ccc7SToby Isaac Output Parameter: 1642f2c5ccc7SToby Isaac . grad - the global representation of the gradient 1643f2c5ccc7SToby Isaac 1644f2c5ccc7SToby Isaac Level: developer 1645f2c5ccc7SToby Isaac 1646f2c5ccc7SToby Isaac .seealso: DMPlexSNESGetGradientDM() 1647f2c5ccc7SToby Isaac @*/ 1648f2c5ccc7SToby Isaac PetscErrorCode DMPlexReconstructGradientsFVM(DM dm, Vec locX, Vec grad) 1649f2c5ccc7SToby Isaac { 1650f2c5ccc7SToby Isaac PetscDS prob; 1651f2c5ccc7SToby Isaac PetscInt Nf, f, fStart, fEnd; 16529fc93327SToby Isaac PetscBool useFVM = PETSC_FALSE; 1653f2c5ccc7SToby Isaac PetscFV fvm = NULL; 1654f2c5ccc7SToby Isaac Vec faceGeometryFVM, cellGeometryFVM; 1655f2c5ccc7SToby Isaac PetscFVCellGeom *cgeomFVM = NULL; 1656f2c5ccc7SToby Isaac PetscFVFaceGeom *fgeomFVM = NULL; 1657f2c5ccc7SToby Isaac DM dmGrad = NULL; 1658f2c5ccc7SToby Isaac PetscErrorCode ierr; 1659f2c5ccc7SToby Isaac 1660f2c5ccc7SToby Isaac PetscFunctionBegin; 1661f2c5ccc7SToby Isaac ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 1662f2c5ccc7SToby Isaac ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 1663f2c5ccc7SToby Isaac for (f = 0; f < Nf; ++f) { 1664f2c5ccc7SToby Isaac PetscObject obj; 1665f2c5ccc7SToby Isaac PetscClassId id; 1666f2c5ccc7SToby Isaac 1667f2c5ccc7SToby Isaac ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1668f2c5ccc7SToby Isaac ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1669f2c5ccc7SToby Isaac if (id == PETSCFV_CLASSID) {useFVM = PETSC_TRUE; fvm = (PetscFV) obj;} 1670f2c5ccc7SToby Isaac } 1671f2c5ccc7SToby Isaac if (!useFVM) SETERRQ(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"This dm does not have a finite volume discretization"); 1672f2c5ccc7SToby Isaac ierr = DMPlexSNESGetGradientDM(dm, fvm, &dmGrad);CHKERRQ(ierr); 1673f2c5ccc7SToby Isaac if (!dmGrad) SETERRQ(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"This dm's finite volume discretization does not reconstruct gradients"); 1674f2c5ccc7SToby Isaac ierr = DMPlexSNESGetGeometryFVM(dm, &faceGeometryFVM, &cellGeometryFVM, NULL);CHKERRQ(ierr); 1675f2c5ccc7SToby Isaac ierr = VecGetArrayRead(faceGeometryFVM, (const PetscScalar **) &fgeomFVM);CHKERRQ(ierr); 1676f2c5ccc7SToby Isaac ierr = VecGetArrayRead(cellGeometryFVM, (const PetscScalar **) &cgeomFVM);CHKERRQ(ierr); 1677f2c5ccc7SToby Isaac ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 1678f2c5ccc7SToby Isaac ierr = DMPlexReconstructGradients_Internal(dm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad);CHKERRQ(ierr); 1679f2c5ccc7SToby Isaac PetscFunctionReturn(0); 1680f2c5ccc7SToby Isaac } 1681f2c5ccc7SToby Isaac 1682f2c5ccc7SToby Isaac #undef __FUNCT__ 168308449791SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeResidual_Internal" 168411dd639bSMatthew G. Knepley PetscErrorCode DMPlexComputeResidual_Internal(DM dm, PetscInt cStart, PetscInt cEnd, PetscReal time, Vec locX, Vec locX_t, PetscReal t, Vec locF, void *user) 168508449791SMatthew G. Knepley { 168608449791SMatthew G. Knepley DM_Plex *mesh = (DM_Plex *) dm->data; 168708449791SMatthew G. Knepley const char *name = "Residual"; 168808449791SMatthew G. Knepley DM dmAux = NULL; 168908449791SMatthew G. Knepley DM dmGrad = NULL; 169008449791SMatthew G. Knepley DMLabel ghostLabel = NULL; 169108449791SMatthew G. Knepley PetscDS prob = NULL; 169208449791SMatthew G. Knepley PetscDS probAux = NULL; 169308449791SMatthew G. Knepley PetscSection section = NULL; 169408449791SMatthew G. Knepley PetscBool useFEM = PETSC_FALSE; 169508449791SMatthew G. Knepley PetscBool useFVM = PETSC_FALSE; 1696b2666ceaSMatthew G. Knepley PetscBool isImplicit = (locX_t || time == PETSC_MIN_REAL) ? PETSC_TRUE : PETSC_FALSE; 169708449791SMatthew G. Knepley PetscFV fvm = NULL; 169808449791SMatthew G. Knepley PetscFECellGeom *cgeomFEM = NULL; 16992f84e9bcSToby Isaac PetscScalar *cgeomScal; 170008449791SMatthew G. Knepley PetscFVCellGeom *cgeomFVM = NULL; 170108449791SMatthew G. Knepley PetscFVFaceGeom *fgeomFVM = NULL; 170208449791SMatthew G. Knepley Vec locA, cellGeometryFEM = NULL, cellGeometryFVM = NULL, faceGeometryFVM = NULL, grad, locGrad = NULL; 170308449791SMatthew G. Knepley PetscScalar *u, *u_t, *a, *uL, *uR; 1704c4d4a4f8SMatthew G. Knepley PetscInt Nf, f, totDim, totDimAux, numChunks, cellChunkSize, faceChunkSize, chunk, fStart, fEnd; 170508449791SMatthew G. Knepley PetscErrorCode ierr; 170608449791SMatthew G. Knepley 170708449791SMatthew G. Knepley PetscFunctionBegin; 170808449791SMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_ResidualFEM,dm,0,0,0);CHKERRQ(ierr); 170908449791SMatthew G. Knepley /* TODO The places where we have to use isFE are probably the member functions for the PetscDisc class */ 1710195142f5SMatthew G. Knepley /* TODO The FVM geometry is over-manipulated. Make the precalc functions return exactly what we need */ 171108449791SMatthew G. Knepley /* FEM+FVM */ 171208449791SMatthew G. Knepley /* 1: Get sizes from dm and dmAux */ 171308449791SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 1714c58f1c22SToby Isaac ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 171508449791SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 171608449791SMatthew G. Knepley ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr); 171708449791SMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 171808449791SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &locA);CHKERRQ(ierr); 171908449791SMatthew G. Knepley if (locA) { 172008449791SMatthew G. Knepley ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr); 172108449791SMatthew G. Knepley ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 172208449791SMatthew G. Knepley ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 172308449791SMatthew G. Knepley } 172408449791SMatthew G. Knepley /* 2: Get geometric data */ 172508449791SMatthew G. Knepley for (f = 0; f < Nf; ++f) { 172608449791SMatthew G. Knepley PetscObject obj; 172708449791SMatthew G. Knepley PetscClassId id; 17287173168dSMatthew G. Knepley PetscBool fimp; 172908449791SMatthew G. Knepley 17307173168dSMatthew G. Knepley ierr = PetscDSGetImplicit(prob, f, &fimp);CHKERRQ(ierr); 17317173168dSMatthew G. Knepley if (isImplicit != fimp) continue; 173208449791SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 173308449791SMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 173408449791SMatthew G. Knepley if (id == PETSCFE_CLASSID) {useFEM = PETSC_TRUE;} 173508449791SMatthew G. Knepley if (id == PETSCFV_CLASSID) {useFVM = PETSC_TRUE; fvm = (PetscFV) obj;} 173608449791SMatthew G. Knepley } 173708449791SMatthew G. Knepley if (useFEM) { 173808449791SMatthew G. Knepley ierr = DMPlexSNESGetGeometryFEM(dm, &cellGeometryFEM);CHKERRQ(ierr); 17392f84e9bcSToby Isaac ierr = VecGetArray(cellGeometryFEM, &cgeomScal);CHKERRQ(ierr); 17402f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 17412f84e9bcSToby Isaac DM dmCell; 17422f84e9bcSToby Isaac PetscInt c; 17432f84e9bcSToby Isaac 17442f84e9bcSToby Isaac ierr = VecGetDM(cellGeometryFEM,&dmCell);CHKERRQ(ierr); 17452f84e9bcSToby Isaac ierr = PetscMalloc1(cEnd-cStart,&cgeomFEM);CHKERRQ(ierr); 17462f84e9bcSToby Isaac for (c = 0; c < cEnd - cStart; c++) { 17472f84e9bcSToby Isaac PetscScalar *thisgeom; 17482f84e9bcSToby Isaac 17492f84e9bcSToby Isaac ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 17502f84e9bcSToby Isaac cgeomFEM[c] = *((PetscFECellGeom *) thisgeom); 17512f84e9bcSToby Isaac } 17522f84e9bcSToby Isaac } 17532f84e9bcSToby Isaac else { 17542f84e9bcSToby Isaac cgeomFEM = (PetscFECellGeom *) cgeomScal; 17552f84e9bcSToby Isaac } 175608449791SMatthew G. Knepley } 175708449791SMatthew G. Knepley if (useFVM) { 175808449791SMatthew G. Knepley ierr = DMPlexSNESGetGeometryFVM(dm, &faceGeometryFVM, &cellGeometryFVM, NULL);CHKERRQ(ierr); 175908449791SMatthew G. Knepley ierr = VecGetArrayRead(faceGeometryFVM, (const PetscScalar **) &fgeomFVM);CHKERRQ(ierr); 176008449791SMatthew G. Knepley ierr = VecGetArrayRead(cellGeometryFVM, (const PetscScalar **) &cgeomFVM);CHKERRQ(ierr); 176108449791SMatthew G. Knepley /* Reconstruct and limit cell gradients */ 176208449791SMatthew G. Knepley ierr = DMPlexSNESGetGradientDM(dm, fvm, &dmGrad);CHKERRQ(ierr); 176308449791SMatthew G. Knepley if (dmGrad) { 176408449791SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 176508449791SMatthew G. Knepley ierr = DMGetGlobalVector(dmGrad, &grad);CHKERRQ(ierr); 176608449791SMatthew G. Knepley ierr = DMPlexReconstructGradients_Internal(dm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad);CHKERRQ(ierr); 176708449791SMatthew G. Knepley /* Communicate gradient values */ 176808449791SMatthew G. Knepley ierr = DMGetLocalVector(dmGrad, &locGrad);CHKERRQ(ierr); 176908449791SMatthew G. Knepley ierr = DMGlobalToLocalBegin(dmGrad, grad, INSERT_VALUES, locGrad);CHKERRQ(ierr); 177008449791SMatthew G. Knepley ierr = DMGlobalToLocalEnd(dmGrad, grad, INSERT_VALUES, locGrad);CHKERRQ(ierr); 177108449791SMatthew G. Knepley ierr = DMRestoreGlobalVector(dmGrad, &grad);CHKERRQ(ierr); 177208449791SMatthew G. Knepley } 1773bdd6f66aSToby Isaac /* Handle non-essential (e.g. outflow) boundary values */ 1774bdd6f66aSToby Isaac ierr = DMPlexInsertBoundaryValues(dm, PETSC_FALSE, locX, time, faceGeometryFVM, cellGeometryFVM, locGrad);CHKERRQ(ierr); 177508449791SMatthew G. Knepley } 177608449791SMatthew G. Knepley /* Loop over chunks */ 177708449791SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 177808449791SMatthew G. Knepley numChunks = 1; 177908449791SMatthew G. Knepley cellChunkSize = (cEnd - cStart)/numChunks; 178008449791SMatthew G. Knepley faceChunkSize = (fEnd - fStart)/numChunks; 178108449791SMatthew G. Knepley for (chunk = 0; chunk < numChunks; ++chunk) { 17822eefff9cSMatthew G. Knepley PetscScalar *elemVec, *fluxL, *fluxR; 17832eefff9cSMatthew G. Knepley PetscReal *vol; 178408449791SMatthew G. Knepley PetscFVFaceGeom *fgeom; 178508449791SMatthew G. Knepley PetscInt cS = cStart+chunk*cellChunkSize, cE = PetscMin(cS+cellChunkSize, cEnd), numCells = cE - cS, cell; 178608449791SMatthew G. Knepley PetscInt fS = fStart+chunk*faceChunkSize, fE = PetscMin(fS+faceChunkSize, fEnd), numFaces = fE - fS, face; 178708449791SMatthew G. Knepley 178808449791SMatthew G. Knepley /* Extract field coefficients */ 178908449791SMatthew G. Knepley if (useFEM) { 179008449791SMatthew G. Knepley ierr = DMPlexGetCellFields(dm, cS, cE, locX, locX_t, locA, &u, &u_t, &a);CHKERRQ(ierr); 179108449791SMatthew G. Knepley ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, &elemVec);CHKERRQ(ierr); 1792215c4595SMatthew G. Knepley ierr = PetscMemzero(elemVec, numCells*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 179308449791SMatthew G. Knepley } 179408449791SMatthew G. Knepley if (useFVM) { 179508449791SMatthew G. Knepley ierr = DMPlexGetFaceFields(dm, fS, fE, locX, locX_t, faceGeometryFVM, cellGeometryFVM, locGrad, &uL, &uR);CHKERRQ(ierr); 179608449791SMatthew G. Knepley ierr = DMPlexGetFaceGeometry(dm, fS, fE, faceGeometryFVM, cellGeometryFVM, &fgeom, &vol);CHKERRQ(ierr); 179708449791SMatthew G. Knepley ierr = DMGetWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxL);CHKERRQ(ierr); 179808449791SMatthew G. Knepley ierr = DMGetWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxR);CHKERRQ(ierr); 1799215c4595SMatthew G. Knepley ierr = PetscMemzero(fluxL, numFaces*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 1800215c4595SMatthew G. Knepley ierr = PetscMemzero(fluxR, numFaces*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 180108449791SMatthew G. Knepley } 180208449791SMatthew 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 */ 180308449791SMatthew G. Knepley /* Loop over fields */ 180408449791SMatthew G. Knepley for (f = 0; f < Nf; ++f) { 180508449791SMatthew G. Knepley PetscObject obj; 180608449791SMatthew G. Knepley PetscClassId id; 18077173168dSMatthew G. Knepley PetscBool fimp; 180808449791SMatthew G. Knepley PetscInt numChunks, numBatches, batchSize, numBlocks, blockSize, Ne, Nr, offset; 180908449791SMatthew G. Knepley 18107173168dSMatthew G. Knepley ierr = PetscDSGetImplicit(prob, f, &fimp);CHKERRQ(ierr); 18117173168dSMatthew G. Knepley if (isImplicit != fimp) continue; 181208449791SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 181308449791SMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 181408449791SMatthew G. Knepley if (id == PETSCFE_CLASSID) { 181508449791SMatthew G. Knepley PetscFE fe = (PetscFE) obj; 181608449791SMatthew G. Knepley PetscQuadrature q; 181708449791SMatthew G. Knepley PetscInt Nq, Nb; 181808449791SMatthew G. Knepley 181908449791SMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 182008449791SMatthew G. Knepley 182108449791SMatthew G. Knepley ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 182208449791SMatthew G. Knepley ierr = PetscQuadratureGetData(q, NULL, &Nq, NULL, NULL);CHKERRQ(ierr); 182308449791SMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 182408449791SMatthew G. Knepley blockSize = Nb*Nq; 182508449791SMatthew G. Knepley batchSize = numBlocks * blockSize; 182608449791SMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 182708449791SMatthew G. Knepley numChunks = numCells / (numBatches*batchSize); 182808449791SMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 182908449791SMatthew G. Knepley Nr = numCells % (numBatches*batchSize); 183008449791SMatthew G. Knepley offset = numCells - Nr; 183108449791SMatthew G. Knepley /* Integrate FE residual to get elemVec (need fields at quadrature points) */ 183208449791SMatthew 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) */ 183311dd639bSMatthew G. Knepley ierr = PetscFEIntegrateResidual(fe, prob, f, Ne, cgeomFEM, u, u_t, probAux, a, t, elemVec);CHKERRQ(ierr); 183411dd639bSMatthew 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); 183508449791SMatthew G. Knepley } else if (id == PETSCFV_CLASSID) { 183608449791SMatthew G. Knepley PetscFV fv = (PetscFV) obj; 183708449791SMatthew G. Knepley 183808449791SMatthew G. Knepley Ne = numFaces; 183908449791SMatthew G. Knepley /* Riemann solve over faces (need fields at face centroids) */ 184008449791SMatthew G. Knepley /* We need to evaluate FE fields at those coordinates */ 184108449791SMatthew G. Knepley ierr = PetscFVIntegrateRHSFunction(fv, prob, f, Ne, fgeom, vol, uL, uR, fluxL, fluxR);CHKERRQ(ierr); 184208449791SMatthew G. Knepley } else SETERRQ1(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", f); 184308449791SMatthew G. Knepley } 18442f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 18452f84e9bcSToby Isaac ierr = PetscFree(cgeomFEM);CHKERRQ(ierr); 18462f84e9bcSToby Isaac } 18472f84e9bcSToby Isaac else { 18482f84e9bcSToby Isaac cgeomFEM = NULL; 18492f84e9bcSToby Isaac } 18500163fd50SMatthew G. Knepley if (cellGeometryFEM) {ierr = VecRestoreArray(cellGeometryFEM, &cgeomScal);CHKERRQ(ierr);} 185108449791SMatthew G. Knepley /* Loop over domain */ 185208449791SMatthew G. Knepley if (useFEM) { 185308449791SMatthew G. Knepley /* Add elemVec to locX */ 185408449791SMatthew G. Knepley for (cell = cS; cell < cE; ++cell) { 185508449791SMatthew G. Knepley if (mesh->printFEM > 1) {ierr = DMPrintCellVector(cell, name, totDim, &elemVec[cell*totDim]);CHKERRQ(ierr);} 1856c14a31d2SToby Isaac ierr = DMPlexVecSetClosure(dm, section, locF, cell, &elemVec[cell*totDim], ADD_ALL_VALUES);CHKERRQ(ierr); 185708449791SMatthew G. Knepley } 185808449791SMatthew G. Knepley } 185908449791SMatthew G. Knepley if (useFVM) { 18604a394323SMatthew G. Knepley PetscScalar *fa; 186108449791SMatthew G. Knepley PetscInt iface; 186208449791SMatthew G. Knepley 186308449791SMatthew G. Knepley ierr = VecGetArray(locF, &fa);CHKERRQ(ierr); 1864c10b5f1bSMatthew G. Knepley for (f = 0; f < Nf; ++f) { 1865c10b5f1bSMatthew G. Knepley PetscFV fv; 1866c10b5f1bSMatthew G. Knepley PetscObject obj; 1867c10b5f1bSMatthew G. Knepley PetscClassId id; 18684a394323SMatthew G. Knepley PetscInt foff, pdim; 1869c10b5f1bSMatthew G. Knepley 1870c10b5f1bSMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1871c10b5f1bSMatthew G. Knepley ierr = PetscDSGetFieldOffset(prob, f, &foff);CHKERRQ(ierr); 1872c10b5f1bSMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1873c10b5f1bSMatthew G. Knepley if (id != PETSCFV_CLASSID) continue; 1874c10b5f1bSMatthew G. Knepley fv = (PetscFV) obj; 1875c10b5f1bSMatthew G. Knepley ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr); 1876c10b5f1bSMatthew G. Knepley /* Accumulate fluxes to cells */ 187708449791SMatthew G. Knepley for (face = fS, iface = 0; face < fE; ++face) { 187808449791SMatthew G. Knepley const PetscInt *cells; 187908449791SMatthew G. Knepley PetscScalar *fL, *fR; 1880ffe9ad51SToby Isaac PetscInt ghost, d, nsupp; 188108449791SMatthew G. Knepley 188208449791SMatthew G. Knepley ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr); 1883ffe9ad51SToby Isaac ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr); 18841993971cSToby Isaac if (ghost >= 0) continue; 18851993971cSToby Isaac if (nsupp > 2) { /* noop */ 18861993971cSToby Isaac ++iface; 18871993971cSToby Isaac continue; 18881993971cSToby Isaac } 188908449791SMatthew G. Knepley ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr); 1890c10b5f1bSMatthew G. Knepley ierr = DMPlexPointGlobalFieldRef(dm, cells[0], f, fa, &fL);CHKERRQ(ierr); 1891c10b5f1bSMatthew G. Knepley ierr = DMPlexPointGlobalFieldRef(dm, cells[1], f, fa, &fR);CHKERRQ(ierr); 1892c10b5f1bSMatthew G. Knepley for (d = 0; d < pdim; ++d) { 1893c10b5f1bSMatthew G. Knepley if (fL) fL[d] -= fluxL[iface*totDim+foff+d]; 1894c10b5f1bSMatthew G. Knepley if (fR) fR[d] += fluxR[iface*totDim+foff+d]; 189508449791SMatthew G. Knepley } 189608449791SMatthew G. Knepley ++iface; 189708449791SMatthew G. Knepley } 1898dab51205SMatthew G. Knepley } 1899dab51205SMatthew G. Knepley ierr = VecRestoreArray(locF, &fa);CHKERRQ(ierr); 1900dab51205SMatthew G. Knepley } 1901c10b5f1bSMatthew G. Knepley /* Handle time derivative */ 1902c10b5f1bSMatthew G. Knepley if (locX_t) { 1903dab51205SMatthew G. Knepley PetscScalar *x_t, *fa; 1904dab51205SMatthew G. Knepley 1905dab51205SMatthew G. Knepley ierr = VecGetArray(locF, &fa);CHKERRQ(ierr); 1906c10b5f1bSMatthew G. Knepley ierr = VecGetArray(locX_t, &x_t);CHKERRQ(ierr); 1907dab51205SMatthew G. Knepley for (f = 0; f < Nf; ++f) { 1908dab51205SMatthew G. Knepley PetscFV fv; 1909dab51205SMatthew G. Knepley PetscObject obj; 1910dab51205SMatthew G. Knepley PetscClassId id; 1911dab51205SMatthew G. Knepley PetscInt pdim, d; 1912dab51205SMatthew G. Knepley 1913dab51205SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr); 1914dab51205SMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 1915dab51205SMatthew G. Knepley if (id != PETSCFV_CLASSID) continue; 1916dab51205SMatthew G. Knepley fv = (PetscFV) obj; 1917dab51205SMatthew G. Knepley ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr); 1918c10b5f1bSMatthew G. Knepley for (cell = cS; cell < cE; ++cell) { 1919c10b5f1bSMatthew G. Knepley PetscScalar *u_t, *r; 1920c10b5f1bSMatthew G. Knepley 1921c10b5f1bSMatthew G. Knepley ierr = DMPlexPointLocalFieldRead(dm, cell, f, x_t, &u_t);CHKERRQ(ierr); 1922c10b5f1bSMatthew G. Knepley ierr = DMPlexPointLocalFieldRef(dm, cell, f, fa, &r);CHKERRQ(ierr); 1923d63b37e5SMatthew G. Knepley for (d = 0; d < pdim; ++d) r[d] += u_t[d]; 1924c10b5f1bSMatthew G. Knepley } 1925dab51205SMatthew G. Knepley } 1926c10b5f1bSMatthew G. Knepley ierr = VecRestoreArray(locX_t, &x_t);CHKERRQ(ierr); 192708449791SMatthew G. Knepley ierr = VecRestoreArray(locF, &fa);CHKERRQ(ierr); 192808449791SMatthew G. Knepley } 192908449791SMatthew G. Knepley if (useFEM) { 193008449791SMatthew G. Knepley ierr = DMPlexRestoreCellFields(dm, cS, cE, locX, locX_t, locA, &u, &u_t, &a);CHKERRQ(ierr); 193108449791SMatthew G. Knepley ierr = DMRestoreWorkArray(dm, numCells*totDim, PETSC_SCALAR, &elemVec);CHKERRQ(ierr); 193208449791SMatthew G. Knepley } 193308449791SMatthew G. Knepley if (useFVM) { 193408449791SMatthew G. Knepley ierr = DMPlexRestoreFaceFields(dm, fS, fE, locX, locX_t, faceGeometryFVM, cellGeometryFVM, locGrad, &uL, &uR);CHKERRQ(ierr); 193508449791SMatthew G. Knepley ierr = DMPlexRestoreFaceGeometry(dm, fS, fE, faceGeometryFVM, cellGeometryFVM, &fgeom, &vol);CHKERRQ(ierr); 193608449791SMatthew G. Knepley ierr = DMRestoreWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxL);CHKERRQ(ierr); 193708449791SMatthew G. Knepley ierr = DMRestoreWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxR);CHKERRQ(ierr); 193808449791SMatthew G. Knepley if (dmGrad) {ierr = DMRestoreLocalVector(dmGrad, &locGrad);CHKERRQ(ierr);} 193908449791SMatthew G. Knepley } 194008449791SMatthew G. Knepley } 194108449791SMatthew G. Knepley 194211dd639bSMatthew G. Knepley if (useFEM) {ierr = DMPlexComputeBdResidual_Internal(dm, locX, locX_t, t, locF, user);CHKERRQ(ierr);} 194308449791SMatthew G. Knepley 194408449791SMatthew G. Knepley /* FEM */ 194508449791SMatthew G. Knepley /* 1: Get sizes from dm and dmAux */ 194608449791SMatthew G. Knepley /* 2: Get geometric data */ 194708449791SMatthew G. Knepley /* 3: Handle boundary values */ 194808449791SMatthew G. Knepley /* 4: Loop over domain */ 194908449791SMatthew G. Knepley /* Extract coefficients */ 195008449791SMatthew G. Knepley /* Loop over fields */ 195108449791SMatthew G. Knepley /* Set tiling for FE*/ 195208449791SMatthew G. Knepley /* Integrate FE residual to get elemVec */ 195308449791SMatthew G. Knepley /* Loop over subdomain */ 195408449791SMatthew G. Knepley /* Loop over quad points */ 195508449791SMatthew G. Knepley /* Transform coords to real space */ 195608449791SMatthew G. Knepley /* Evaluate field and aux fields at point */ 195708449791SMatthew G. Knepley /* Evaluate residual at point */ 195808449791SMatthew G. Knepley /* Transform residual to real space */ 195908449791SMatthew G. Knepley /* Add residual to elemVec */ 196008449791SMatthew G. Knepley /* Loop over domain */ 196108449791SMatthew G. Knepley /* Add elemVec to locX */ 196208449791SMatthew G. Knepley 196308449791SMatthew G. Knepley /* FVM */ 196408449791SMatthew G. Knepley /* Get geometric data */ 196508449791SMatthew G. Knepley /* If using gradients */ 196608449791SMatthew G. Knepley /* Compute gradient data */ 196708449791SMatthew G. Knepley /* Loop over domain faces */ 196808449791SMatthew G. Knepley /* Count computational faces */ 196908449791SMatthew G. Knepley /* Reconstruct cell gradient */ 197008449791SMatthew G. Knepley /* Loop over domain cells */ 197108449791SMatthew G. Knepley /* Limit cell gradients */ 197208449791SMatthew G. Knepley /* Handle boundary values */ 197308449791SMatthew G. Knepley /* Loop over domain faces */ 197408449791SMatthew G. Knepley /* Read out field, centroid, normal, volume for each side of face */ 197508449791SMatthew G. Knepley /* Riemann solve over faces */ 197608449791SMatthew G. Knepley /* Loop over domain faces */ 197708449791SMatthew G. Knepley /* Accumulate fluxes to cells */ 197808449791SMatthew G. Knepley /* TODO Change printFEM to printDisc here */ 1979247ba720SToby Isaac if (mesh->printFEM) { 1980247ba720SToby Isaac Vec locFbc; 1981247ba720SToby Isaac PetscInt pStart, pEnd, p, maxDof; 1982247ba720SToby Isaac PetscScalar *zeroes; 1983247ba720SToby Isaac 1984247ba720SToby Isaac ierr = VecDuplicate(locF,&locFbc);CHKERRQ(ierr); 1985247ba720SToby Isaac ierr = VecCopy(locF,locFbc);CHKERRQ(ierr); 1986247ba720SToby Isaac ierr = PetscSectionGetChart(section,&pStart,&pEnd);CHKERRQ(ierr); 1987247ba720SToby Isaac ierr = PetscSectionGetMaxDof(section,&maxDof);CHKERRQ(ierr); 1988247ba720SToby Isaac ierr = PetscCalloc1(maxDof,&zeroes);CHKERRQ(ierr); 1989247ba720SToby Isaac for (p = pStart; p < pEnd; p++) { 1990247ba720SToby Isaac ierr = VecSetValuesSection(locFbc,section,p,zeroes,INSERT_BC_VALUES);CHKERRQ(ierr); 1991247ba720SToby Isaac } 1992247ba720SToby Isaac ierr = PetscFree(zeroes);CHKERRQ(ierr); 1993247ba720SToby Isaac ierr = DMPrintLocalVec(dm, name, mesh->printTol, locFbc);CHKERRQ(ierr); 1994247ba720SToby Isaac ierr = VecDestroy(&locFbc);CHKERRQ(ierr); 1995247ba720SToby Isaac } 199624cdb843SMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_ResidualFEM,dm,0,0,0);CHKERRQ(ierr); 199724cdb843SMatthew G. Knepley PetscFunctionReturn(0); 199824cdb843SMatthew G. Knepley } 199924cdb843SMatthew G. Knepley 200024cdb843SMatthew G. Knepley #undef __FUNCT__ 200124cdb843SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeResidualFEM_Check_Internal" 200211dd639bSMatthew G. Knepley static PetscErrorCode DMPlexComputeResidualFEM_Check_Internal(DM dm, Vec X, Vec X_t, PetscReal t, Vec F, void *user) 200324cdb843SMatthew G. Knepley { 200424cdb843SMatthew G. Knepley DM dmCh, dmAux; 2005bbce034cSMatthew G. Knepley Vec A, cellgeom; 200624cdb843SMatthew G. Knepley PetscDS prob, probCh, probAux = NULL; 200724cdb843SMatthew G. Knepley PetscQuadrature q; 200824cdb843SMatthew G. Knepley PetscSection section, sectionAux; 20092f84e9bcSToby Isaac PetscFECellGeom *cgeom = NULL; 20102f84e9bcSToby Isaac PetscScalar *cgeomScal; 201124cdb843SMatthew G. Knepley PetscScalar *elemVec, *elemVecCh, *u, *u_t, *a = NULL; 201224cdb843SMatthew G. Knepley PetscInt dim, Nf, f, numCells, cStart, cEnd, c; 201324cdb843SMatthew G. Knepley PetscInt totDim, totDimAux, diffCell = 0; 201424cdb843SMatthew G. Knepley PetscErrorCode ierr; 201524cdb843SMatthew G. Knepley 201624cdb843SMatthew G. Knepley PetscFunctionBegin; 201724cdb843SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 201824cdb843SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 201924cdb843SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 202024cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 202124cdb843SMatthew G. Knepley ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 202224cdb843SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 202324cdb843SMatthew G. Knepley numCells = cEnd - cStart; 202424cdb843SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "dmCh", (PetscObject *) &dmCh);CHKERRQ(ierr); 202524cdb843SMatthew G. Knepley ierr = DMGetDS(dmCh, &probCh);CHKERRQ(ierr); 202624cdb843SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 202724cdb843SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 202824cdb843SMatthew G. Knepley if (dmAux) { 202924cdb843SMatthew G. Knepley ierr = DMGetDefaultSection(dmAux, §ionAux);CHKERRQ(ierr); 203024cdb843SMatthew G. Knepley ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 203124cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 203224cdb843SMatthew G. Knepley } 203324cdb843SMatthew G. Knepley ierr = VecSet(F, 0.0);CHKERRQ(ierr); 2034bbce034cSMatthew G. Knepley ierr = PetscMalloc3(numCells*totDim,&u,X_t ? numCells*totDim : 0,&u_t,numCells*totDim,&elemVec);CHKERRQ(ierr); 203524cdb843SMatthew G. Knepley ierr = PetscMalloc1(numCells*totDim,&elemVecCh);CHKERRQ(ierr); 203624cdb843SMatthew G. Knepley if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 2037bbce034cSMatthew G. Knepley ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 20382f84e9bcSToby Isaac ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 20392f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 20402f84e9bcSToby Isaac DM dmCell; 20412f84e9bcSToby Isaac 20422f84e9bcSToby Isaac ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 20432f84e9bcSToby Isaac ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 20442f84e9bcSToby Isaac for (c = 0; c < cEnd - cStart; c++) { 20457726bd6bSToby Isaac PetscScalar *thisgeom; 20462f84e9bcSToby Isaac 20472f84e9bcSToby Isaac ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 20482f84e9bcSToby Isaac cgeom[c] = *((PetscFECellGeom *) thisgeom); 20492f84e9bcSToby Isaac } 20502f84e9bcSToby Isaac } 20512f84e9bcSToby Isaac else { 20522f84e9bcSToby Isaac cgeom = (PetscFECellGeom *) cgeomScal; 20532f84e9bcSToby Isaac } 205424cdb843SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 205524cdb843SMatthew G. Knepley PetscScalar *x = NULL, *x_t = NULL; 205624cdb843SMatthew G. Knepley PetscInt i; 205724cdb843SMatthew G. Knepley 205824cdb843SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 205924cdb843SMatthew G. Knepley for (i = 0; i < totDim; ++i) u[c*totDim+i] = x[i]; 206024cdb843SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 206124cdb843SMatthew G. Knepley if (X_t) { 206224cdb843SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 206324cdb843SMatthew G. Knepley for (i = 0; i < totDim; ++i) u_t[c*totDim+i] = x_t[i]; 206424cdb843SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 206524cdb843SMatthew G. Knepley } 206624cdb843SMatthew G. Knepley if (dmAux) { 20676da023fcSToby Isaac DM dmAuxPlex; 20686da023fcSToby Isaac 20696da023fcSToby Isaac ierr = DMSNESConvertPlex(dmAux,&dmAuxPlex, PETSC_FALSE);CHKERRQ(ierr); 20706da023fcSToby Isaac ierr = DMPlexVecGetClosure(dmAuxPlex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 207124cdb843SMatthew G. Knepley for (i = 0; i < totDimAux; ++i) a[c*totDimAux+i] = x[i]; 20726da023fcSToby Isaac ierr = DMPlexVecRestoreClosure(dmAuxPlex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 20736da023fcSToby Isaac ierr = DMDestroy(&dmAuxPlex);CHKERRQ(ierr); 207424cdb843SMatthew G. Knepley } 207524cdb843SMatthew G. Knepley } 207624cdb843SMatthew G. Knepley for (f = 0; f < Nf; ++f) { 207724cdb843SMatthew G. Knepley PetscFE fe, feCh; 207824cdb843SMatthew G. Knepley PetscInt numQuadPoints, Nb; 207924cdb843SMatthew G. Knepley /* Conforming batches */ 208024cdb843SMatthew G. Knepley PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 208124cdb843SMatthew G. Knepley /* Remainder */ 208224cdb843SMatthew G. Knepley PetscInt Nr, offset; 208324cdb843SMatthew G. Knepley 208424cdb843SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fe);CHKERRQ(ierr); 208524cdb843SMatthew G. Knepley ierr = PetscDSGetDiscretization(probCh, f, (PetscObject *) &feCh);CHKERRQ(ierr); 208624cdb843SMatthew G. Knepley ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr); 208724cdb843SMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 208824cdb843SMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 208924cdb843SMatthew G. Knepley ierr = PetscQuadratureGetData(q, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 209024cdb843SMatthew G. Knepley blockSize = Nb*numQuadPoints; 209124cdb843SMatthew G. Knepley batchSize = numBlocks * blockSize; 209224cdb843SMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 209324cdb843SMatthew G. Knepley numChunks = numCells / (numBatches*batchSize); 209424cdb843SMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 209524cdb843SMatthew G. Knepley Nr = numCells % (numBatches*batchSize); 209624cdb843SMatthew G. Knepley offset = numCells - Nr; 209711dd639bSMatthew G. Knepley ierr = PetscFEIntegrateResidual(fe, prob, f, Ne, cgeom, u, u_t, probAux, a, t, elemVec);CHKERRQ(ierr); 209811dd639bSMatthew G. Knepley ierr = PetscFEIntegrateResidual(feCh, prob, f, Ne, cgeom, u, u_t, probAux, a, t, elemVecCh);CHKERRQ(ierr); 209911dd639bSMatthew 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); 210011dd639bSMatthew 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); 210124cdb843SMatthew G. Knepley } 210224cdb843SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 210324cdb843SMatthew G. Knepley PetscBool diff = PETSC_FALSE; 210424cdb843SMatthew G. Knepley PetscInt d; 210524cdb843SMatthew G. Knepley 210624cdb843SMatthew 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;} 210724cdb843SMatthew G. Knepley if (diff) { 210824cdb843SMatthew G. Knepley ierr = PetscPrintf(PetscObjectComm((PetscObject) dm), "Different cell %d\n", c);CHKERRQ(ierr); 210924cdb843SMatthew G. Knepley ierr = DMPrintCellVector(c, "Residual", totDim, &elemVec[c*totDim]);CHKERRQ(ierr); 211024cdb843SMatthew G. Knepley ierr = DMPrintCellVector(c, "Check Residual", totDim, &elemVecCh[c*totDim]);CHKERRQ(ierr); 211124cdb843SMatthew G. Knepley ++diffCell; 211224cdb843SMatthew G. Knepley } 211324cdb843SMatthew G. Knepley if (diffCell > 9) break; 2114c14a31d2SToby Isaac ierr = DMPlexVecSetClosure(dm, section, F, c, &elemVec[c*totDim], ADD_ALL_VALUES);CHKERRQ(ierr); 211524cdb843SMatthew G. Knepley } 21162f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 21172f84e9bcSToby Isaac ierr = PetscFree(cgeom);CHKERRQ(ierr); 21182f84e9bcSToby Isaac } 21192f84e9bcSToby Isaac else { 21202f84e9bcSToby Isaac cgeom = NULL; 21212f84e9bcSToby Isaac } 21222f84e9bcSToby Isaac ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2123bbce034cSMatthew G. Knepley ierr = PetscFree3(u,u_t,elemVec);CHKERRQ(ierr); 212424cdb843SMatthew G. Knepley ierr = PetscFree(elemVecCh);CHKERRQ(ierr); 212524cdb843SMatthew G. Knepley if (dmAux) {ierr = PetscFree(a);CHKERRQ(ierr);} 212624cdb843SMatthew G. Knepley PetscFunctionReturn(0); 212724cdb843SMatthew G. Knepley } 212824cdb843SMatthew G. Knepley 212924cdb843SMatthew G. Knepley #undef __FUNCT__ 213024cdb843SMatthew G. Knepley #define __FUNCT__ "DMPlexSNESComputeResidualFEM" 213124cdb843SMatthew G. Knepley /*@ 213224cdb843SMatthew G. Knepley DMPlexSNESComputeResidualFEM - Form the local residual F from the local input X using pointwise functions specified by the user 213324cdb843SMatthew G. Knepley 213424cdb843SMatthew G. Knepley Input Parameters: 213524cdb843SMatthew G. Knepley + dm - The mesh 213624cdb843SMatthew G. Knepley . X - Local solution 213724cdb843SMatthew G. Knepley - user - The user context 213824cdb843SMatthew G. Knepley 213924cdb843SMatthew G. Knepley Output Parameter: 214024cdb843SMatthew G. Knepley . F - Local output vector 214124cdb843SMatthew G. Knepley 214224cdb843SMatthew G. Knepley Level: developer 214324cdb843SMatthew G. Knepley 214424cdb843SMatthew G. Knepley .seealso: DMPlexComputeJacobianActionFEM() 214524cdb843SMatthew G. Knepley @*/ 214624cdb843SMatthew G. Knepley PetscErrorCode DMPlexSNESComputeResidualFEM(DM dm, Vec X, Vec F, void *user) 214724cdb843SMatthew G. Knepley { 214824cdb843SMatthew G. Knepley PetscObject check; 2149c4d4a4f8SMatthew G. Knepley PetscInt cStart, cEnd, cEndInterior; 21506da023fcSToby Isaac DM plex; 215124cdb843SMatthew G. Knepley PetscErrorCode ierr; 215224cdb843SMatthew G. Knepley 215324cdb843SMatthew G. Knepley PetscFunctionBegin; 21546da023fcSToby Isaac ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 21556da023fcSToby Isaac ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 21566da023fcSToby Isaac ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 2157c4d4a4f8SMatthew G. Knepley cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 215824cdb843SMatthew G. Knepley /* The dmCh is used to check two mathematically equivalent discretizations for computational equivalence */ 21596da023fcSToby Isaac ierr = PetscObjectQuery((PetscObject) plex, "dmCh", &check);CHKERRQ(ierr); 216011dd639bSMatthew G. Knepley if (check) {ierr = DMPlexComputeResidualFEM_Check_Internal(plex, X, NULL, 0.0, F, user);CHKERRQ(ierr);} 216111dd639bSMatthew G. Knepley else {ierr = DMPlexComputeResidual_Internal(plex, cStart, cEnd, PETSC_MIN_REAL, X, NULL, 0.0, F, user);CHKERRQ(ierr);} 21629a81d013SToby Isaac ierr = DMDestroy(&plex);CHKERRQ(ierr); 216324cdb843SMatthew G. Knepley PetscFunctionReturn(0); 216424cdb843SMatthew G. Knepley } 216524cdb843SMatthew G. Knepley 216624cdb843SMatthew G. Knepley #undef __FUNCT__ 2167bdd6f66aSToby Isaac #define __FUNCT__ "DMPlexSNESComputeBoundaryFEM" 2168bdd6f66aSToby Isaac /*@ 2169bdd6f66aSToby Isaac DMPlexSNESComputeBoundaryFEM - Form the boundary values for the local input X 2170bdd6f66aSToby Isaac 2171bdd6f66aSToby Isaac Input Parameters: 2172bdd6f66aSToby Isaac + dm - The mesh 2173bdd6f66aSToby Isaac - user - The user context 2174bdd6f66aSToby Isaac 2175bdd6f66aSToby Isaac Output Parameter: 2176bdd6f66aSToby Isaac . X - Local solution 2177bdd6f66aSToby Isaac 2178bdd6f66aSToby Isaac Level: developer 2179bdd6f66aSToby Isaac 2180bdd6f66aSToby Isaac .seealso: DMPlexComputeJacobianActionFEM() 2181bdd6f66aSToby Isaac @*/ 2182bdd6f66aSToby Isaac PetscErrorCode DMPlexSNESComputeBoundaryFEM(DM dm, Vec X, void *user) 2183bdd6f66aSToby Isaac { 2184bdd6f66aSToby Isaac DM plex; 2185bdd6f66aSToby Isaac PetscErrorCode ierr; 2186bdd6f66aSToby Isaac 2187bdd6f66aSToby Isaac PetscFunctionBegin; 2188bdd6f66aSToby Isaac ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 2189bdd6f66aSToby Isaac ierr = DMPlexInsertBoundaryValues(plex, PETSC_TRUE, X, PETSC_MIN_REAL, NULL, NULL, NULL);CHKERRQ(ierr); 2190bdd6f66aSToby Isaac ierr = DMDestroy(&plex);CHKERRQ(ierr); 2191bdd6f66aSToby Isaac PetscFunctionReturn(0); 2192bdd6f66aSToby Isaac } 2193bdd6f66aSToby Isaac 2194bdd6f66aSToby Isaac #undef __FUNCT__ 2195b953af5fSMatthew G. Knepley #define __FUNCT__ "DMPlexComputeJacobian_Internal" 2196b953af5fSMatthew 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) 219724cdb843SMatthew G. Knepley { 219824cdb843SMatthew G. Knepley DM_Plex *mesh = (DM_Plex *) dm->data; 219924cdb843SMatthew G. Knepley const char *name = "Jacobian"; 2200f7ed7b21SMatthew G. Knepley DM dmAux, plex; 220124cdb843SMatthew G. Knepley DMLabel depth; 2202bbce034cSMatthew G. Knepley Vec A, cellgeom; 220324cdb843SMatthew G. Knepley PetscDS prob, probAux = NULL; 220424cdb843SMatthew G. Knepley PetscQuadrature quad; 220524cdb843SMatthew G. Knepley PetscSection section, globalSection, sectionAux; 22062f84e9bcSToby Isaac PetscFECellGeom *cgeom = NULL; 22072f84e9bcSToby Isaac PetscScalar *cgeomScal; 2208426ff135SMatthew G. Knepley PetscScalar *elemMat, *elemMatP, *elemMatD, *u, *u_t, *a = NULL; 2209b953af5fSMatthew G. Knepley PetscInt dim, Nf, f, fieldI, fieldJ, numCells, c; 221024cdb843SMatthew G. Knepley PetscInt totDim, totDimBd, totDimAux, numBd, bd; 2211426ff135SMatthew G. Knepley PetscBool isShell, hasPrec, hasDyn; 221224cdb843SMatthew G. Knepley PetscErrorCode ierr; 221324cdb843SMatthew G. Knepley 221424cdb843SMatthew G. Knepley PetscFunctionBegin; 221524cdb843SMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 221624cdb843SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 221724cdb843SMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 221824cdb843SMatthew G. Knepley ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr); 221924cdb843SMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 222024cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 222124cdb843SMatthew G. Knepley ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr); 222255ad3c34SMatthew G. Knepley ierr = PetscDSHasJacobianPreconditioner(prob, &hasPrec);CHKERRQ(ierr); 2223426ff135SMatthew G. Knepley ierr = PetscDSHasDynamicJacobian(prob, &hasDyn);CHKERRQ(ierr); 2224426ff135SMatthew G. Knepley hasDyn = hasDyn && (X_tShift != 0.0) ? PETSC_TRUE : PETSC_FALSE; 222524cdb843SMatthew G. Knepley ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 222624cdb843SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 222724cdb843SMatthew G. Knepley numCells = cEnd - cStart; 222824cdb843SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 222924cdb843SMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 223024cdb843SMatthew G. Knepley if (dmAux) { 2231f7ed7b21SMatthew G. Knepley ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr); 2232f7ed7b21SMatthew G. Knepley ierr = DMGetDefaultSection(plex, §ionAux);CHKERRQ(ierr); 223324cdb843SMatthew G. Knepley ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 223424cdb843SMatthew G. Knepley ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 223524cdb843SMatthew G. Knepley } 223624cdb843SMatthew G. Knepley ierr = MatZeroEntries(JacP);CHKERRQ(ierr); 2237426ff135SMatthew G. Knepley ierr = PetscMalloc5(numCells*totDim,&u,X_t ? numCells*totDim : 0,&u_t,numCells*totDim*totDim,&elemMat,hasPrec ? numCells*totDim*totDim : 0, &elemMatP,hasDyn ? numCells*totDim*totDim : 0, &elemMatD);CHKERRQ(ierr); 223824cdb843SMatthew G. Knepley if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 2239bbce034cSMatthew G. Knepley ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 22402f84e9bcSToby Isaac ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 22412f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 22422f84e9bcSToby Isaac DM dmCell; 22432f84e9bcSToby Isaac 22442f84e9bcSToby Isaac ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 22452f84e9bcSToby Isaac ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 22462f84e9bcSToby Isaac for (c = 0; c < cEnd - cStart; c++) { 22477726bd6bSToby Isaac PetscScalar *thisgeom; 22482f84e9bcSToby Isaac 22492f84e9bcSToby Isaac ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 22502f84e9bcSToby Isaac cgeom[c] = *((PetscFECellGeom *) thisgeom); 22512f84e9bcSToby Isaac } 22522f84e9bcSToby Isaac } 22532f84e9bcSToby Isaac else { 22542f84e9bcSToby Isaac cgeom = (PetscFECellGeom *) cgeomScal; 22552f84e9bcSToby Isaac } 225624cdb843SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 225724cdb843SMatthew G. Knepley PetscScalar *x = NULL, *x_t = NULL; 225824cdb843SMatthew G. Knepley PetscInt i; 225924cdb843SMatthew G. Knepley 226024cdb843SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 22619f11d433SMatthew G. Knepley for (i = 0; i < totDim; ++i) u[(c-cStart)*totDim+i] = x[i]; 226224cdb843SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 226324cdb843SMatthew G. Knepley if (X_t) { 226424cdb843SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 22659f11d433SMatthew G. Knepley for (i = 0; i < totDim; ++i) u_t[(c-cStart)*totDim+i] = x_t[i]; 226624cdb843SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 226724cdb843SMatthew G. Knepley } 226824cdb843SMatthew G. Knepley if (dmAux) { 2269f7ed7b21SMatthew G. Knepley ierr = DMPlexVecGetClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 22709f11d433SMatthew G. Knepley for (i = 0; i < totDimAux; ++i) a[(c-cStart)*totDimAux+i] = x[i]; 2271f7ed7b21SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 227224cdb843SMatthew G. Knepley } 227324cdb843SMatthew G. Knepley } 227424cdb843SMatthew G. Knepley ierr = PetscMemzero(elemMat, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 227555ad3c34SMatthew G. Knepley if (hasPrec) {ierr = PetscMemzero(elemMatP, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2276426ff135SMatthew G. Knepley if (hasDyn) {ierr = PetscMemzero(elemMatD, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 227724cdb843SMatthew G. Knepley for (fieldI = 0; fieldI < Nf; ++fieldI) { 227824cdb843SMatthew G. Knepley PetscFE fe; 227924cdb843SMatthew G. Knepley PetscInt numQuadPoints, Nb; 228024cdb843SMatthew G. Knepley /* Conforming batches */ 228124cdb843SMatthew G. Knepley PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 228224cdb843SMatthew G. Knepley /* Remainder */ 228324cdb843SMatthew G. Knepley PetscInt Nr, offset; 228424cdb843SMatthew G. Knepley 228524cdb843SMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 228624cdb843SMatthew G. Knepley ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr); 228724cdb843SMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 228824cdb843SMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 228924cdb843SMatthew G. Knepley ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 229024cdb843SMatthew G. Knepley blockSize = Nb*numQuadPoints; 229124cdb843SMatthew G. Knepley batchSize = numBlocks * blockSize; 229224cdb843SMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 229324cdb843SMatthew G. Knepley numChunks = numCells / (numBatches*batchSize); 229424cdb843SMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 229524cdb843SMatthew G. Knepley Nr = numCells % (numBatches*batchSize); 229624cdb843SMatthew G. Knepley offset = numCells - Nr; 229724cdb843SMatthew G. Knepley for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 229811dd639bSMatthew G. Knepley ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMat);CHKERRQ(ierr); 229911dd639bSMatthew 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); 230055ad3c34SMatthew G. Knepley if (hasPrec) { 230111dd639bSMatthew G. Knepley ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_PRE, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatP);CHKERRQ(ierr); 230211dd639bSMatthew 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); 2303426ff135SMatthew G. Knepley } 2304426ff135SMatthew G. Knepley if (hasDyn) { 230511dd639bSMatthew G. Knepley ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatD);CHKERRQ(ierr); 230611dd639bSMatthew 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); 230755ad3c34SMatthew G. Knepley } 230824cdb843SMatthew G. Knepley } 230924cdb843SMatthew G. Knepley } 2310426ff135SMatthew G. Knepley if (hasDyn) { 2311426ff135SMatthew G. Knepley for (c = 0; c < (cEnd - cStart)*totDim*totDim; ++c) elemMat[c] += X_tShift*elemMatD[c]; 2312426ff135SMatthew G. Knepley } 231324cdb843SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 231455ad3c34SMatthew G. Knepley if (hasPrec) { 231555ad3c34SMatthew G. Knepley if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 231655ad3c34SMatthew G. Knepley ierr = DMPlexMatSetClosure(dm, section, globalSection, Jac, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 231755ad3c34SMatthew G. Knepley if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMatP[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 231855ad3c34SMatthew G. Knepley ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, c, &elemMatP[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 231955ad3c34SMatthew G. Knepley } else { 23209f11d433SMatthew G. Knepley if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);} 23219f11d433SMatthew G. Knepley ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr); 232224cdb843SMatthew G. Knepley } 232355ad3c34SMatthew G. Knepley } 23242f84e9bcSToby Isaac if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 23252f84e9bcSToby Isaac ierr = PetscFree(cgeom);CHKERRQ(ierr); 23262f84e9bcSToby Isaac } 23272f84e9bcSToby Isaac else { 23282f84e9bcSToby Isaac cgeom = NULL; 23292f84e9bcSToby Isaac } 23302f84e9bcSToby Isaac ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2331426ff135SMatthew G. Knepley ierr = PetscFree5(u,u_t,elemMat,elemMatP,elemMatD);CHKERRQ(ierr); 2332f7ed7b21SMatthew G. Knepley if (dmAux) { 2333f7ed7b21SMatthew G. Knepley ierr = PetscFree(a);CHKERRQ(ierr); 2334f7ed7b21SMatthew G. Knepley ierr = DMDestroy(&plex);CHKERRQ(ierr); 2335f7ed7b21SMatthew G. Knepley } 233624cdb843SMatthew G. Knepley ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr); 2337a6ba4734SToby Isaac ierr = DMGetNumBoundary(dm, &numBd);CHKERRQ(ierr); 233824cdb843SMatthew G. Knepley ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr); 2339a6ba4734SToby Isaac ierr = DMGetNumBoundary(dm, &numBd);CHKERRQ(ierr); 234024cdb843SMatthew G. Knepley for (bd = 0; bd < numBd; ++bd) { 234124cdb843SMatthew G. Knepley const char *bdLabel; 234224cdb843SMatthew G. Knepley DMLabel label; 234324cdb843SMatthew G. Knepley IS pointIS; 234424cdb843SMatthew G. Knepley const PetscInt *points; 234524cdb843SMatthew G. Knepley const PetscInt *values; 2346a8e83e26SSanderA PetscInt field, numValues, v, numPoints, p, dep, numFaces; 234724cdb843SMatthew G. Knepley PetscBool isEssential; 234880bc4632SMatthew G. Knepley PetscObject obj; 234980bc4632SMatthew G. Knepley PetscClassId id; 235024cdb843SMatthew G. Knepley 2351a6ba4734SToby Isaac ierr = DMGetBoundary(dm, bd, &isEssential, NULL, &bdLabel, &field, NULL, NULL, NULL, &numValues, &values, NULL);CHKERRQ(ierr); 235280bc4632SMatthew G. Knepley ierr = DMGetField(dm, field, &obj);CHKERRQ(ierr); 235380bc4632SMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 235480bc4632SMatthew G. Knepley if ((id != PETSCFE_CLASSID) || isEssential) continue; 2355c58f1c22SToby Isaac ierr = DMGetLabel(dm, bdLabel, &label);CHKERRQ(ierr); 2356a8e83e26SSanderA for (v = 0; v < numValues; ++v) { 2357a8e83e26SSanderA ierr = DMLabelGetStratumSize(label, values[v], &numPoints);CHKERRQ(ierr); 2358a8e83e26SSanderA ierr = DMLabelGetStratumIS(label, values[v], &pointIS);CHKERRQ(ierr); 235922734eb1Ssarens if (!pointIS) continue; /* No points with that id on this process */ 236024cdb843SMatthew G. Knepley ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr); 236124cdb843SMatthew G. Knepley for (p = 0, numFaces = 0; p < numPoints; ++p) { 236224cdb843SMatthew G. Knepley ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 236324cdb843SMatthew G. Knepley if (dep == dim-1) ++numFaces; 236424cdb843SMatthew G. Knepley } 2365bbce034cSMatthew G. Knepley ierr = PetscMalloc3(numFaces*totDimBd,&u,numFaces,&cgeom,numFaces*totDimBd*totDimBd,&elemMat);CHKERRQ(ierr); 236624cdb843SMatthew G. Knepley if (X_t) {ierr = PetscMalloc1(numFaces*totDimBd,&u_t);CHKERRQ(ierr);} 236724cdb843SMatthew G. Knepley for (p = 0, f = 0; p < numPoints; ++p) { 236824cdb843SMatthew G. Knepley const PetscInt point = points[p]; 236924cdb843SMatthew G. Knepley PetscScalar *x = NULL; 237024cdb843SMatthew G. Knepley PetscInt i; 237124cdb843SMatthew G. Knepley 237224cdb843SMatthew G. Knepley ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr); 237324cdb843SMatthew G. Knepley if (dep != dim-1) continue; 2374bbce034cSMatthew G. Knepley ierr = DMPlexComputeCellGeometryFEM(dm, point, NULL, cgeom[f].v0, cgeom[f].J, cgeom[f].invJ, &cgeom[f].detJ);CHKERRQ(ierr); 2375302440fdSBarry Smith ierr = DMPlexComputeCellGeometryFVM(dm, point, NULL, NULL, cgeom[f].n);CHKERRQ(ierr); 2376bbce034cSMatthew G. Knepley if (cgeom[f].detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for face %d", cgeom[f].detJ, point); 237724cdb843SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X, point, NULL, &x);CHKERRQ(ierr); 237824cdb843SMatthew G. Knepley for (i = 0; i < totDimBd; ++i) u[f*totDimBd+i] = x[i]; 237924cdb843SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X, point, NULL, &x);CHKERRQ(ierr); 238024cdb843SMatthew G. Knepley if (X_t) { 238124cdb843SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X_t, point, NULL, &x);CHKERRQ(ierr); 238224cdb843SMatthew G. Knepley for (i = 0; i < totDimBd; ++i) u_t[f*totDimBd+i] = x[i]; 238324cdb843SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X_t, point, NULL, &x);CHKERRQ(ierr); 238424cdb843SMatthew G. Knepley } 238524cdb843SMatthew G. Knepley ++f; 238624cdb843SMatthew G. Knepley } 238724cdb843SMatthew G. Knepley ierr = PetscMemzero(elemMat, numFaces*totDimBd*totDimBd * sizeof(PetscScalar));CHKERRQ(ierr); 238824cdb843SMatthew G. Knepley for (fieldI = 0; fieldI < Nf; ++fieldI) { 238924cdb843SMatthew G. Knepley PetscFE fe; 239024cdb843SMatthew G. Knepley PetscInt numQuadPoints, Nb; 239124cdb843SMatthew G. Knepley /* Conforming batches */ 239224cdb843SMatthew G. Knepley PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 239324cdb843SMatthew G. Knepley /* Remainder */ 239424cdb843SMatthew G. Knepley PetscInt Nr, offset; 239524cdb843SMatthew G. Knepley 239624cdb843SMatthew G. Knepley ierr = PetscDSGetBdDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 239724cdb843SMatthew G. Knepley ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr); 239824cdb843SMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 239924cdb843SMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 240024cdb843SMatthew G. Knepley ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 240124cdb843SMatthew G. Knepley blockSize = Nb*numQuadPoints; 240224cdb843SMatthew G. Knepley batchSize = numBlocks * blockSize; 240324cdb843SMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 240424cdb843SMatthew G. Knepley numChunks = numFaces / (numBatches*batchSize); 240524cdb843SMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 240624cdb843SMatthew G. Knepley Nr = numFaces % (numBatches*batchSize); 240724cdb843SMatthew G. Knepley offset = numFaces - Nr; 240824cdb843SMatthew G. Knepley for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 240911dd639bSMatthew G. Knepley ierr = PetscFEIntegrateBdJacobian(fe, prob, fieldI, fieldJ, Ne, cgeom, u, u_t, NULL, NULL, t, X_tShift, elemMat);CHKERRQ(ierr); 241011dd639bSMatthew G. Knepley ierr = PetscFEIntegrateBdJacobian(fe, prob, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDimBd], u_t ? &u_t[offset*totDimBd] : NULL, NULL, NULL, t, X_tShift, &elemMat[offset*totDimBd*totDimBd]);CHKERRQ(ierr); 241124cdb843SMatthew G. Knepley } 241224cdb843SMatthew G. Knepley } 241324cdb843SMatthew G. Knepley for (p = 0, f = 0; p < numPoints; ++p) { 241424cdb843SMatthew G. Knepley const PetscInt point = points[p]; 241524cdb843SMatthew G. Knepley 241624cdb843SMatthew G. Knepley ierr = DMLabelGetValue(depth, point, &dep);CHKERRQ(ierr); 241724cdb843SMatthew G. Knepley if (dep != dim-1) continue; 241824cdb843SMatthew G. Knepley if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(point, "BdJacobian", totDimBd, totDimBd, &elemMat[f*totDimBd*totDimBd]);CHKERRQ(ierr);} 241924cdb843SMatthew G. Knepley ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, point, &elemMat[f*totDimBd*totDimBd], ADD_VALUES);CHKERRQ(ierr); 242024cdb843SMatthew G. Knepley ++f; 242124cdb843SMatthew G. Knepley } 242224cdb843SMatthew G. Knepley ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr); 242324cdb843SMatthew G. Knepley ierr = ISDestroy(&pointIS);CHKERRQ(ierr); 2424bbce034cSMatthew G. Knepley ierr = PetscFree3(u,cgeom,elemMat);CHKERRQ(ierr); 242524cdb843SMatthew G. Knepley if (X_t) {ierr = PetscFree(u_t);CHKERRQ(ierr);} 242624cdb843SMatthew G. Knepley } 2427a8e83e26SSanderA } 242882ef7567SMatthew G. Knepley if (hasPrec) { 242982ef7567SMatthew G. Knepley ierr = MatAssemblyBegin(Jac, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 243082ef7567SMatthew G. Knepley ierr = MatAssemblyEnd(Jac, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 243182ef7567SMatthew G. Knepley } 243224cdb843SMatthew G. Knepley ierr = MatAssemblyBegin(JacP, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 243324cdb843SMatthew G. Knepley ierr = MatAssemblyEnd(JacP, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr); 243424cdb843SMatthew G. Knepley if (mesh->printFEM) { 243524cdb843SMatthew G. Knepley ierr = PetscPrintf(PETSC_COMM_WORLD, "%s:\n", name);CHKERRQ(ierr); 243624cdb843SMatthew G. Knepley ierr = MatChop(JacP, 1.0e-10);CHKERRQ(ierr); 243724cdb843SMatthew G. Knepley ierr = MatView(JacP, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 243824cdb843SMatthew G. Knepley } 243924cdb843SMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 244024cdb843SMatthew G. Knepley ierr = PetscObjectTypeCompare((PetscObject) Jac, MATSHELL, &isShell);CHKERRQ(ierr); 244124cdb843SMatthew G. Knepley if (isShell) { 244224cdb843SMatthew G. Knepley JacActionCtx *jctx; 244324cdb843SMatthew G. Knepley 244424cdb843SMatthew G. Knepley ierr = MatShellGetContext(Jac, &jctx);CHKERRQ(ierr); 244524cdb843SMatthew G. Knepley ierr = VecCopy(X, jctx->u);CHKERRQ(ierr); 244624cdb843SMatthew G. Knepley } 244724cdb843SMatthew G. Knepley PetscFunctionReturn(0); 244824cdb843SMatthew G. Knepley } 244924cdb843SMatthew G. Knepley 2450a925c78cSMatthew G. Knepley 2451a925c78cSMatthew G. Knepley #undef __FUNCT__ 2452a925c78cSMatthew G. Knepley #define __FUNCT__ "DMPlexComputeJacobianAction_Internal" 2453a925c78cSMatthew 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) 2454a925c78cSMatthew G. Knepley { 2455a925c78cSMatthew G. Knepley DM_Plex *mesh = (DM_Plex *) dm->data; 2456a925c78cSMatthew G. Knepley const char *name = "Jacobian"; 2457a925c78cSMatthew G. Knepley DM dmAux, plex; 2458a925c78cSMatthew G. Knepley DMLabel depth; 2459a925c78cSMatthew G. Knepley Vec A, cellgeom; 2460a925c78cSMatthew G. Knepley PetscDS prob, probAux = NULL; 2461a925c78cSMatthew G. Knepley PetscQuadrature quad; 2462a925c78cSMatthew G. Knepley PetscSection section, globalSection, sectionAux; 2463a925c78cSMatthew G. Knepley PetscFECellGeom *cgeom = NULL; 2464a925c78cSMatthew G. Knepley PetscScalar *cgeomScal; 2465a925c78cSMatthew G. Knepley PetscScalar *elemMat, *elemMatD, *u, *u_t, *a = NULL, *y, *z; 2466a925c78cSMatthew G. Knepley PetscInt dim, Nf, f, fieldI, fieldJ, numCells, c; 2467a925c78cSMatthew G. Knepley PetscInt totDim, totDimBd, totDimAux, numBd, bd; 2468a925c78cSMatthew G. Knepley PetscBool isShell, hasDyn; 2469a925c78cSMatthew G. Knepley PetscErrorCode ierr; 2470a925c78cSMatthew G. Knepley 2471a925c78cSMatthew G. Knepley PetscFunctionBegin; 2472a925c78cSMatthew G. Knepley ierr = PetscLogEventBegin(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2473a925c78cSMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 2474a925c78cSMatthew G. Knepley ierr = DMGetDefaultSection(dm, §ion);CHKERRQ(ierr); 2475a925c78cSMatthew G. Knepley ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr); 2476a925c78cSMatthew G. Knepley ierr = DMGetDS(dm, &prob);CHKERRQ(ierr); 2477a925c78cSMatthew G. Knepley ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr); 2478a925c78cSMatthew G. Knepley ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr); 2479a925c78cSMatthew G. Knepley ierr = PetscDSHasDynamicJacobian(prob, &hasDyn);CHKERRQ(ierr); 2480a925c78cSMatthew G. Knepley hasDyn = hasDyn && (X_tShift != 0.0) ? PETSC_TRUE : PETSC_FALSE; 2481a925c78cSMatthew G. Knepley ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr); 2482a925c78cSMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 2483a925c78cSMatthew G. Knepley numCells = cEnd - cStart; 2484a925c78cSMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr); 2485a925c78cSMatthew G. Knepley ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr); 2486a925c78cSMatthew G. Knepley if (dmAux) { 2487a925c78cSMatthew G. Knepley ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr); 2488a925c78cSMatthew G. Knepley ierr = DMGetDefaultSection(plex, §ionAux);CHKERRQ(ierr); 2489a925c78cSMatthew G. Knepley ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr); 2490a925c78cSMatthew G. Knepley ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr); 2491a925c78cSMatthew G. Knepley } 2492a925c78cSMatthew G. Knepley ierr = VecSet(Z, 0.0);CHKERRQ(ierr); 2493a925c78cSMatthew 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); 2494a925c78cSMatthew G. Knepley if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);} 2495a925c78cSMatthew G. Knepley ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr); 2496a925c78cSMatthew G. Knepley ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2497a925c78cSMatthew G. Knepley if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) { 2498a925c78cSMatthew G. Knepley DM dmCell; 2499a925c78cSMatthew G. Knepley 2500a925c78cSMatthew G. Knepley ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr); 2501a925c78cSMatthew G. Knepley ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr); 2502a925c78cSMatthew G. Knepley for (c = 0; c < cEnd - cStart; c++) { 2503a925c78cSMatthew G. Knepley PetscScalar *thisgeom; 2504a925c78cSMatthew G. Knepley 2505a925c78cSMatthew G. Knepley ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr); 2506a925c78cSMatthew G. Knepley cgeom[c] = *((PetscFECellGeom *) thisgeom); 2507a925c78cSMatthew G. Knepley } 2508a925c78cSMatthew G. Knepley } else { 2509a925c78cSMatthew G. Knepley cgeom = (PetscFECellGeom *) cgeomScal; 2510a925c78cSMatthew G. Knepley } 2511a925c78cSMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 2512a925c78cSMatthew G. Knepley PetscScalar *x = NULL, *x_t = NULL; 2513a925c78cSMatthew G. Knepley PetscInt i; 2514a925c78cSMatthew G. Knepley 2515a925c78cSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2516a925c78cSMatthew G. Knepley for (i = 0; i < totDim; ++i) u[(c-cStart)*totDim+i] = x[i]; 2517a925c78cSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr); 2518a925c78cSMatthew G. Knepley if (X_t) { 2519a925c78cSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2520a925c78cSMatthew G. Knepley for (i = 0; i < totDim; ++i) u_t[(c-cStart)*totDim+i] = x_t[i]; 2521a925c78cSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr); 2522a925c78cSMatthew G. Knepley } 2523a925c78cSMatthew G. Knepley if (dmAux) { 2524a925c78cSMatthew G. Knepley ierr = DMPlexVecGetClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2525a925c78cSMatthew G. Knepley for (i = 0; i < totDimAux; ++i) a[(c-cStart)*totDimAux+i] = x[i]; 2526a925c78cSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr); 2527a925c78cSMatthew G. Knepley } 2528a925c78cSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, section, Y, c, NULL, &x);CHKERRQ(ierr); 2529a925c78cSMatthew G. Knepley for (i = 0; i < totDim; ++i) y[(c-cStart)*totDim+i] = x[i]; 2530a925c78cSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, section, Y, c, NULL, &x);CHKERRQ(ierr); 2531a925c78cSMatthew G. Knepley } 2532a925c78cSMatthew G. Knepley ierr = PetscMemzero(elemMat, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr); 2533a925c78cSMatthew G. Knepley if (hasDyn) {ierr = PetscMemzero(elemMatD, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);} 2534a925c78cSMatthew G. Knepley for (fieldI = 0; fieldI < Nf; ++fieldI) { 2535a925c78cSMatthew G. Knepley PetscFE fe; 2536a925c78cSMatthew G. Knepley PetscInt numQuadPoints, Nb; 2537a925c78cSMatthew G. Knepley /* Conforming batches */ 2538a925c78cSMatthew G. Knepley PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize; 2539a925c78cSMatthew G. Knepley /* Remainder */ 2540a925c78cSMatthew G. Knepley PetscInt Nr, offset; 2541a925c78cSMatthew G. Knepley 2542a925c78cSMatthew G. Knepley ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr); 2543a925c78cSMatthew G. Knepley ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr); 2544a925c78cSMatthew G. Knepley ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr); 2545a925c78cSMatthew G. Knepley ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr); 2546a925c78cSMatthew G. Knepley ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr); 2547a925c78cSMatthew G. Knepley blockSize = Nb*numQuadPoints; 2548a925c78cSMatthew G. Knepley batchSize = numBlocks * blockSize; 2549a925c78cSMatthew G. Knepley ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr); 2550a925c78cSMatthew G. Knepley numChunks = numCells / (numBatches*batchSize); 2551a925c78cSMatthew G. Knepley Ne = numChunks*numBatches*batchSize; 2552a925c78cSMatthew G. Knepley Nr = numCells % (numBatches*batchSize); 2553a925c78cSMatthew G. Knepley offset = numCells - Nr; 2554a925c78cSMatthew G. Knepley for (fieldJ = 0; fieldJ < Nf; ++fieldJ) { 2555*1bf9e2faSMatthew G. Knepley ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMat);CHKERRQ(ierr); 2556*1bf9e2faSMatthew 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); 2557a925c78cSMatthew G. Knepley if (hasDyn) { 2558*1bf9e2faSMatthew G. Knepley ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, t, X_tShift, elemMatD);CHKERRQ(ierr); 2559*1bf9e2faSMatthew 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); 2560a925c78cSMatthew G. Knepley } 2561a925c78cSMatthew G. Knepley } 2562a925c78cSMatthew G. Knepley } 2563a925c78cSMatthew G. Knepley if (hasDyn) { 2564a925c78cSMatthew G. Knepley for (c = 0; c < (cEnd - cStart)*totDim*totDim; ++c) elemMat[c] += X_tShift*elemMatD[c]; 2565a925c78cSMatthew G. Knepley } 2566a925c78cSMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 2567a925c78cSMatthew G. Knepley const PetscBLASInt M = totDim, one = 1; 2568a925c78cSMatthew G. Knepley const PetscScalar a = 1.0, b = 0.0; 2569a925c78cSMatthew G. Knepley 2570a925c78cSMatthew G. Knepley PetscStackCallBLAS("BLASgemv", BLASgemv_("N", &M, &M, &a, &elemMat[(c-cStart)*totDim*totDim], &M, &y[(c-cStart)*totDim], &one, &b, z, &one)); 2571a925c78cSMatthew G. Knepley if (mesh->printFEM > 1) { 2572a925c78cSMatthew G. Knepley ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr); 2573a925c78cSMatthew G. Knepley ierr = DMPrintCellVector(c, "Y", totDim, &y[(c-cStart)*totDim]);CHKERRQ(ierr); 2574a925c78cSMatthew G. Knepley ierr = DMPrintCellVector(c, "Z", totDim, z);CHKERRQ(ierr); 2575a925c78cSMatthew G. Knepley } 2576a925c78cSMatthew G. Knepley ierr = DMPlexVecSetClosure(dm, section, Z, c, z, ADD_VALUES);CHKERRQ(ierr); 2577a925c78cSMatthew G. Knepley } 2578a925c78cSMatthew G. Knepley if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) {ierr = PetscFree(cgeom);CHKERRQ(ierr);} 2579a925c78cSMatthew G. Knepley else {cgeom = NULL;} 2580a925c78cSMatthew G. Knepley ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr); 2581a925c78cSMatthew G. Knepley ierr = PetscFree6(u,u_t,elemMat,elemMatD,y,z);CHKERRQ(ierr); 2582a925c78cSMatthew G. Knepley if (dmAux) { 2583a925c78cSMatthew G. Knepley ierr = PetscFree(a);CHKERRQ(ierr); 2584a925c78cSMatthew G. Knepley ierr = DMDestroy(&plex);CHKERRQ(ierr); 2585a925c78cSMatthew G. Knepley } 2586a925c78cSMatthew G. Knepley if (mesh->printFEM) { 2587a925c78cSMatthew G. Knepley ierr = PetscPrintf(PETSC_COMM_WORLD, "Z:\n");CHKERRQ(ierr); 2588a925c78cSMatthew G. Knepley ierr = VecView(Z, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr); 2589a925c78cSMatthew G. Knepley } 2590a925c78cSMatthew G. Knepley ierr = PetscLogEventEnd(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr); 2591a925c78cSMatthew G. Knepley PetscFunctionReturn(0); 2592a925c78cSMatthew G. Knepley } 2593a925c78cSMatthew G. Knepley 259424cdb843SMatthew G. Knepley #undef __FUNCT__ 259524cdb843SMatthew G. Knepley #define __FUNCT__ "DMPlexSNESComputeJacobianFEM" 259624cdb843SMatthew G. Knepley /*@ 259724cdb843SMatthew G. Knepley DMPlexSNESComputeJacobianFEM - Form the local portion of the Jacobian matrix J at the local solution X using pointwise functions specified by the user. 259824cdb843SMatthew G. Knepley 259924cdb843SMatthew G. Knepley Input Parameters: 260024cdb843SMatthew G. Knepley + dm - The mesh 260124cdb843SMatthew G. Knepley . X - Local input vector 260224cdb843SMatthew G. Knepley - user - The user context 260324cdb843SMatthew G. Knepley 260424cdb843SMatthew G. Knepley Output Parameter: 260524cdb843SMatthew G. Knepley . Jac - Jacobian matrix 260624cdb843SMatthew G. Knepley 260724cdb843SMatthew G. Knepley Note: 260824cdb843SMatthew G. Knepley We form the residual one batch of elements at a time. This allows us to offload work onto an accelerator, 260924cdb843SMatthew G. Knepley like a GPU, or vectorize on a multicore machine. 261024cdb843SMatthew G. Knepley 261124cdb843SMatthew G. Knepley Level: developer 261224cdb843SMatthew G. Knepley 261324cdb843SMatthew G. Knepley .seealso: FormFunctionLocal() 261424cdb843SMatthew G. Knepley @*/ 261524cdb843SMatthew G. Knepley PetscErrorCode DMPlexSNESComputeJacobianFEM(DM dm, Vec X, Mat Jac, Mat JacP,void *user) 261624cdb843SMatthew G. Knepley { 2617b953af5fSMatthew G. Knepley PetscInt cStart, cEnd, cEndInterior; 26186da023fcSToby Isaac DM plex; 261924cdb843SMatthew G. Knepley PetscErrorCode ierr; 262024cdb843SMatthew G. Knepley 262124cdb843SMatthew G. Knepley PetscFunctionBegin; 26226da023fcSToby Isaac ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 26236da023fcSToby Isaac ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 26246da023fcSToby Isaac ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 2625b953af5fSMatthew G. Knepley cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 26266da023fcSToby Isaac ierr = DMPlexComputeJacobian_Internal(plex, cStart, cEnd, 0.0, 0.0, X, NULL, Jac, JacP, user);CHKERRQ(ierr); 26279a81d013SToby Isaac ierr = DMDestroy(&plex);CHKERRQ(ierr); 262824cdb843SMatthew G. Knepley PetscFunctionReturn(0); 262924cdb843SMatthew G. Knepley } 26301878804aSMatthew G. Knepley 26311878804aSMatthew G. Knepley #undef __FUNCT__ 2632a925c78cSMatthew G. Knepley #define __FUNCT__ "DMPlexSNESComputeJacobianActionFEM" 2633a925c78cSMatthew G. Knepley /*@ 2634a925c78cSMatthew 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. 2635a925c78cSMatthew G. Knepley 2636a925c78cSMatthew G. Knepley Input Parameters: 2637a925c78cSMatthew G. Knepley + dm - The mesh 2638a925c78cSMatthew G. Knepley . X - Local solution vector 2639a925c78cSMatthew G. Knepley . Y - Local input vector 2640a925c78cSMatthew G. Knepley - user - The user context 2641a925c78cSMatthew G. Knepley 2642a925c78cSMatthew G. Knepley Output Parameter: 2643a925c78cSMatthew G. Knepley . Z - Local output vector 2644a925c78cSMatthew G. Knepley 2645a925c78cSMatthew G. Knepley Note: 2646a925c78cSMatthew G. Knepley We form the residual one batch of elements at a time. This allows us to offload work onto an accelerator, 2647a925c78cSMatthew G. Knepley like a GPU, or vectorize on a multicore machine. 2648a925c78cSMatthew G. Knepley 2649a925c78cSMatthew G. Knepley Level: developer 2650a925c78cSMatthew G. Knepley 2651a925c78cSMatthew G. Knepley .seealso: FormFunctionLocal() 2652a925c78cSMatthew G. Knepley @*/ 2653a925c78cSMatthew G. Knepley PetscErrorCode DMPlexSNESComputeJacobianActionFEM(DM dm, Vec X, Vec Y, Vec Z, void *user) 2654a925c78cSMatthew G. Knepley { 2655a925c78cSMatthew G. Knepley PetscInt cStart, cEnd, cEndInterior; 2656a925c78cSMatthew G. Knepley DM plex; 2657a925c78cSMatthew G. Knepley PetscErrorCode ierr; 2658a925c78cSMatthew G. Knepley 2659a925c78cSMatthew G. Knepley PetscFunctionBegin; 2660a925c78cSMatthew G. Knepley ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr); 2661a925c78cSMatthew G. Knepley ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr); 2662a925c78cSMatthew G. Knepley ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr); 2663a925c78cSMatthew G. Knepley cEnd = cEndInterior < 0 ? cEnd : cEndInterior; 2664a925c78cSMatthew G. Knepley ierr = DMPlexComputeJacobianAction_Internal(plex, cStart, cEnd, 0.0, 0.0, X, NULL, Y, Z, user);CHKERRQ(ierr); 2665a925c78cSMatthew G. Knepley ierr = DMDestroy(&plex);CHKERRQ(ierr); 2666a925c78cSMatthew G. Knepley PetscFunctionReturn(0); 2667a925c78cSMatthew G. Knepley } 2668a925c78cSMatthew G. Knepley 2669a925c78cSMatthew G. Knepley #undef __FUNCT__ 26709f520fc2SToby Isaac #define __FUNCT__ "DMPlexSetSNESLocalFEM" 26719f520fc2SToby Isaac /*@ 26729f520fc2SToby Isaac DMPlexSetSNESLocalFEM - Use DMPlex's internal FEM routines to compute SNES boundary values, residual, and Jacobian. 26739f520fc2SToby Isaac 26749f520fc2SToby Isaac Input Parameters: 26759f520fc2SToby Isaac + dm - The DM object 26769f520fc2SToby Isaac . boundaryctx - the user context that will be passed to pointwise evaluation of boundary values (see DMAddBoundary()) 26779f520fc2SToby Isaac . residualctx - the user context that will be passed to pointwise evaluation of finite element residual computations (see PetscDSSetResidual()) 26789f520fc2SToby Isaac - jacobianctx - the user context that will be passed to pointwise evaluation of finite element Jacobian construction (see PetscDSSetJacobian()) 26791a244344SSatish Balay 26801a244344SSatish Balay Level: developer 26819f520fc2SToby Isaac @*/ 26829f520fc2SToby Isaac PetscErrorCode DMPlexSetSNESLocalFEM(DM dm, void *boundaryctx, void *residualctx, void *jacobianctx) 26839f520fc2SToby Isaac { 26849f520fc2SToby Isaac PetscErrorCode ierr; 26859f520fc2SToby Isaac 26869f520fc2SToby Isaac PetscFunctionBegin; 26879f520fc2SToby Isaac ierr = DMSNESSetBoundaryLocal(dm,DMPlexSNESComputeBoundaryFEM,boundaryctx);CHKERRQ(ierr); 26889f520fc2SToby Isaac ierr = DMSNESSetFunctionLocal(dm,DMPlexSNESComputeResidualFEM,residualctx);CHKERRQ(ierr); 26899f520fc2SToby Isaac ierr = DMSNESSetJacobianLocal(dm,DMPlexSNESComputeJacobianFEM,jacobianctx);CHKERRQ(ierr); 26909f520fc2SToby Isaac PetscFunctionReturn(0); 26919f520fc2SToby Isaac } 26929f520fc2SToby Isaac 26939f520fc2SToby Isaac #undef __FUNCT__ 26941878804aSMatthew G. Knepley #define __FUNCT__ "DMSNESCheckFromOptions_Internal" 26950163fd50SMatthew 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) 26961878804aSMatthew G. Knepley { 26971878804aSMatthew G. Knepley Mat J, M; 26981878804aSMatthew G. Knepley Vec r, b; 26991878804aSMatthew G. Knepley MatNullSpace nullSpace; 27001878804aSMatthew G. Knepley PetscReal *error, res = 0.0; 27011878804aSMatthew G. Knepley PetscInt numFields; 27021878804aSMatthew G. Knepley PetscErrorCode ierr; 27031878804aSMatthew G. Knepley 27041878804aSMatthew G. Knepley PetscFunctionBegin; 27051878804aSMatthew G. Knepley ierr = VecDuplicate(u, &r);CHKERRQ(ierr); 27061878804aSMatthew G. Knepley ierr = DMCreateMatrix(dm, &J);CHKERRQ(ierr); 27071878804aSMatthew G. Knepley M = J; 27081878804aSMatthew G. Knepley /* TODO Null space for J */ 27091878804aSMatthew G. Knepley /* Check discretization error */ 27101878804aSMatthew G. Knepley ierr = DMGetNumFields(dm, &numFields);CHKERRQ(ierr); 27111878804aSMatthew G. Knepley ierr = PetscMalloc1(PetscMax(1, numFields), &error);CHKERRQ(ierr); 27121878804aSMatthew G. Knepley if (numFields > 1) { 27131878804aSMatthew G. Knepley PetscInt f; 27141878804aSMatthew G. Knepley 27151189c1efSToby Isaac ierr = DMComputeL2FieldDiff(dm, 0.0, exactFuncs, ctxs, u, error);CHKERRQ(ierr); 27161878804aSMatthew G. Knepley ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: [");CHKERRQ(ierr); 27171878804aSMatthew G. Knepley for (f = 0; f < numFields; ++f) { 27181878804aSMatthew G. Knepley if (f) {ierr = PetscPrintf(PETSC_COMM_WORLD, ", ");CHKERRQ(ierr);} 27191878804aSMatthew G. Knepley if (error[f] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "%g", error[f]);CHKERRQ(ierr);} 27201878804aSMatthew G. Knepley else {ierr = PetscPrintf(PETSC_COMM_WORLD, "< 1.0e-11");CHKERRQ(ierr);} 27211878804aSMatthew G. Knepley } 27221878804aSMatthew G. Knepley ierr = PetscPrintf(PETSC_COMM_WORLD, "]\n");CHKERRQ(ierr); 27231878804aSMatthew G. Knepley } else { 27240709b2feSToby Isaac ierr = DMComputeL2Diff(dm, 0.0, exactFuncs, ctxs, u, &error[0]);CHKERRQ(ierr); 27251878804aSMatthew G. Knepley if (error[0] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: %g\n", error[0]);CHKERRQ(ierr);} 27261878804aSMatthew G. Knepley else {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: < 1.0e-11\n");CHKERRQ(ierr);} 27271878804aSMatthew G. Knepley } 27281878804aSMatthew G. Knepley ierr = PetscFree(error);CHKERRQ(ierr); 27291878804aSMatthew G. Knepley /* Check residual */ 27301878804aSMatthew G. Knepley ierr = SNESComputeFunction(snes, u, r);CHKERRQ(ierr); 27311878804aSMatthew G. Knepley ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 27321878804aSMatthew G. Knepley ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Residual: %g\n", res);CHKERRQ(ierr); 27331878804aSMatthew G. Knepley ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 27341878804aSMatthew G. Knepley ierr = PetscObjectSetName((PetscObject) r, "Initial Residual");CHKERRQ(ierr); 2735685405a1SBarry Smith ierr = PetscObjectSetOptionsPrefix((PetscObject)r,"res_");CHKERRQ(ierr); 2736685405a1SBarry Smith ierr = VecViewFromOptions(r, NULL, "-vec_view");CHKERRQ(ierr); 27371878804aSMatthew G. Knepley /* Check Jacobian */ 27381878804aSMatthew G. Knepley ierr = SNESComputeJacobian(snes, u, M, M);CHKERRQ(ierr); 27391878804aSMatthew G. Knepley ierr = MatGetNullSpace(J, &nullSpace);CHKERRQ(ierr); 27401878804aSMatthew G. Knepley if (nullSpace) { 27411878804aSMatthew G. Knepley PetscBool isNull; 27421878804aSMatthew G. Knepley ierr = MatNullSpaceTest(nullSpace, J, &isNull);CHKERRQ(ierr); 27431878804aSMatthew G. Knepley if (!isNull) SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_PLIB, "The null space calculated for the system operator is invalid."); 27441878804aSMatthew G. Knepley } 27451878804aSMatthew G. Knepley ierr = VecDuplicate(u, &b);CHKERRQ(ierr); 27461878804aSMatthew G. Knepley ierr = VecSet(r, 0.0);CHKERRQ(ierr); 27471878804aSMatthew G. Knepley ierr = SNESComputeFunction(snes, r, b);CHKERRQ(ierr); 27481878804aSMatthew G. Knepley ierr = MatMult(M, u, r);CHKERRQ(ierr); 27491878804aSMatthew G. Knepley ierr = VecAXPY(r, 1.0, b);CHKERRQ(ierr); 27501878804aSMatthew G. Knepley ierr = VecDestroy(&b);CHKERRQ(ierr); 27511878804aSMatthew G. Knepley ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr); 27521878804aSMatthew G. Knepley ierr = PetscPrintf(PETSC_COMM_WORLD, "Linear L_2 Residual: %g\n", res);CHKERRQ(ierr); 27531878804aSMatthew G. Knepley ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr); 27541878804aSMatthew G. Knepley ierr = PetscObjectSetName((PetscObject) r, "Au - b = Au + F(0)");CHKERRQ(ierr); 2755685405a1SBarry Smith ierr = PetscObjectSetOptionsPrefix((PetscObject)r,"linear_res_");CHKERRQ(ierr); 2756685405a1SBarry Smith ierr = VecViewFromOptions(r, NULL, "-vec_view");CHKERRQ(ierr); 27571878804aSMatthew G. Knepley ierr = VecDestroy(&r);CHKERRQ(ierr); 27581878804aSMatthew G. Knepley ierr = MatNullSpaceDestroy(&nullSpace);CHKERRQ(ierr); 27591878804aSMatthew G. Knepley ierr = MatDestroy(&J);CHKERRQ(ierr); 27601878804aSMatthew G. Knepley PetscFunctionReturn(0); 27611878804aSMatthew G. Knepley } 27621878804aSMatthew G. Knepley 27631878804aSMatthew G. Knepley #undef __FUNCT__ 27641878804aSMatthew G. Knepley #define __FUNCT__ "DMSNESCheckFromOptions" 27650163fd50SMatthew 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) 27661878804aSMatthew G. Knepley { 27671878804aSMatthew G. Knepley DM dm; 27681878804aSMatthew G. Knepley Vec sol; 27691878804aSMatthew G. Knepley PetscBool check; 27701878804aSMatthew G. Knepley PetscErrorCode ierr; 27711878804aSMatthew G. Knepley 27721878804aSMatthew G. Knepley PetscFunctionBegin; 2773c5929fdfSBarry Smith ierr = PetscOptionsHasName(((PetscObject)snes)->options,((PetscObject)snes)->prefix, "-dmsnes_check", &check);CHKERRQ(ierr); 27741878804aSMatthew G. Knepley if (!check) PetscFunctionReturn(0); 27751878804aSMatthew G. Knepley ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr); 27761878804aSMatthew G. Knepley ierr = VecDuplicate(u, &sol);CHKERRQ(ierr); 27771878804aSMatthew G. Knepley ierr = SNESSetSolution(snes, sol);CHKERRQ(ierr); 27781878804aSMatthew G. Knepley ierr = DMSNESCheckFromOptions_Internal(snes, dm, u, sol, exactFuncs, ctxs);CHKERRQ(ierr); 27791878804aSMatthew G. Knepley ierr = VecDestroy(&sol);CHKERRQ(ierr); 2780552f7358SJed Brown PetscFunctionReturn(0); 2781552f7358SJed Brown } 2782