xref: /petsc/src/snes/utils/dmplexsnes.c (revision f7ed7b2126e91d8c741c0721c0ebd06fbb69e925)
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>
4af0996ceSBarry Smith #include <petsc/private/petscimpl.h>
5af0996ceSBarry Smith #include <petsc/private/petscfeimpl.h>
6552f7358SJed Brown 
724cdb843SMatthew G. Knepley /************************** Interpolation *******************************/
824cdb843SMatthew G. Knepley 
9552f7358SJed Brown #undef __FUNCT__
106da023fcSToby Isaac #define __FUNCT__ "DMSNESConvertPlex"
116da023fcSToby Isaac static PetscErrorCode DMSNESConvertPlex(DM dm, DM *plex, PetscBool copy)
126da023fcSToby Isaac {
136da023fcSToby Isaac   PetscBool      isPlex;
146da023fcSToby Isaac   PetscErrorCode ierr;
156da023fcSToby Isaac 
166da023fcSToby Isaac   PetscFunctionBegin;
176da023fcSToby Isaac   ierr = PetscObjectTypeCompare((PetscObject) dm, DMPLEX, &isPlex);CHKERRQ(ierr);
186da023fcSToby Isaac   if (isPlex) {
196da023fcSToby Isaac     *plex = dm;
206da023fcSToby Isaac     ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr);
21f7148743SMatthew G. Knepley   } else {
22f7148743SMatthew G. Knepley     ierr = PetscObjectQuery((PetscObject) dm, "dm_plex", (PetscObject *) plex);CHKERRQ(ierr);
23f7148743SMatthew G. Knepley     if (!*plex) {
246da023fcSToby Isaac       ierr = DMConvert(dm,DMPLEX,plex);CHKERRQ(ierr);
25f7148743SMatthew G. Knepley       ierr = PetscObjectCompose((PetscObject) dm, "dm_plex", (PetscObject) *plex);CHKERRQ(ierr);
266da023fcSToby Isaac       if (copy) {
276da023fcSToby Isaac         PetscInt    i;
286da023fcSToby Isaac         PetscObject obj;
296da023fcSToby Isaac         const char *comps[3] = {"A","dmAux","dmCh"};
306da023fcSToby Isaac 
316da023fcSToby Isaac         ierr = DMCopyDMSNES(dm, *plex);CHKERRQ(ierr);
326da023fcSToby Isaac         for (i = 0; i < 3; i++) {
336da023fcSToby Isaac           ierr = PetscObjectQuery((PetscObject) dm, comps[i], &obj);CHKERRQ(ierr);
346da023fcSToby Isaac           ierr = PetscObjectCompose((PetscObject) *plex, comps[i], obj);CHKERRQ(ierr);
356da023fcSToby Isaac         }
366da023fcSToby Isaac       }
37f7148743SMatthew G. Knepley     } else {
38f7148743SMatthew G. Knepley       ierr = PetscObjectReference((PetscObject) *plex);CHKERRQ(ierr);
39f7148743SMatthew G. Knepley     }
406da023fcSToby Isaac   }
416da023fcSToby Isaac   PetscFunctionReturn(0);
426da023fcSToby Isaac }
436da023fcSToby Isaac 
446da023fcSToby Isaac #undef __FUNCT__
45552f7358SJed Brown #define __FUNCT__ "DMInterpolationCreate"
460adebc6cSBarry Smith PetscErrorCode DMInterpolationCreate(MPI_Comm comm, DMInterpolationInfo *ctx)
470adebc6cSBarry Smith {
48552f7358SJed Brown   PetscErrorCode ierr;
49552f7358SJed Brown 
50552f7358SJed Brown   PetscFunctionBegin;
51552f7358SJed Brown   PetscValidPointer(ctx, 2);
52552f7358SJed Brown   ierr = PetscMalloc(sizeof(struct _DMInterpolationInfo), ctx);CHKERRQ(ierr);
531aa26658SKarl Rupp 
54552f7358SJed Brown   (*ctx)->comm   = comm;
55552f7358SJed Brown   (*ctx)->dim    = -1;
56552f7358SJed Brown   (*ctx)->nInput = 0;
570298fd71SBarry Smith   (*ctx)->points = NULL;
580298fd71SBarry Smith   (*ctx)->cells  = NULL;
59552f7358SJed Brown   (*ctx)->n      = -1;
600298fd71SBarry Smith   (*ctx)->coords = NULL;
61552f7358SJed Brown   PetscFunctionReturn(0);
62552f7358SJed Brown }
63552f7358SJed Brown 
64552f7358SJed Brown #undef __FUNCT__
65552f7358SJed Brown #define __FUNCT__ "DMInterpolationSetDim"
660adebc6cSBarry Smith PetscErrorCode DMInterpolationSetDim(DMInterpolationInfo ctx, PetscInt dim)
670adebc6cSBarry Smith {
68552f7358SJed Brown   PetscFunctionBegin;
690adebc6cSBarry Smith   if ((dim < 1) || (dim > 3)) SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid dimension for points: %d", dim);
70552f7358SJed Brown   ctx->dim = dim;
71552f7358SJed Brown   PetscFunctionReturn(0);
72552f7358SJed Brown }
73552f7358SJed Brown 
74552f7358SJed Brown #undef __FUNCT__
75552f7358SJed Brown #define __FUNCT__ "DMInterpolationGetDim"
760adebc6cSBarry Smith PetscErrorCode DMInterpolationGetDim(DMInterpolationInfo ctx, PetscInt *dim)
770adebc6cSBarry Smith {
78552f7358SJed Brown   PetscFunctionBegin;
79552f7358SJed Brown   PetscValidIntPointer(dim, 2);
80552f7358SJed Brown   *dim = ctx->dim;
81552f7358SJed Brown   PetscFunctionReturn(0);
82552f7358SJed Brown }
83552f7358SJed Brown 
84552f7358SJed Brown #undef __FUNCT__
85552f7358SJed Brown #define __FUNCT__ "DMInterpolationSetDof"
860adebc6cSBarry Smith PetscErrorCode DMInterpolationSetDof(DMInterpolationInfo ctx, PetscInt dof)
870adebc6cSBarry Smith {
88552f7358SJed Brown   PetscFunctionBegin;
890adebc6cSBarry Smith   if (dof < 1) SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Invalid number of components: %d", dof);
90552f7358SJed Brown   ctx->dof = dof;
91552f7358SJed Brown   PetscFunctionReturn(0);
92552f7358SJed Brown }
93552f7358SJed Brown 
94552f7358SJed Brown #undef __FUNCT__
95552f7358SJed Brown #define __FUNCT__ "DMInterpolationGetDof"
960adebc6cSBarry Smith PetscErrorCode DMInterpolationGetDof(DMInterpolationInfo ctx, PetscInt *dof)
970adebc6cSBarry Smith {
98552f7358SJed Brown   PetscFunctionBegin;
99552f7358SJed Brown   PetscValidIntPointer(dof, 2);
100552f7358SJed Brown   *dof = ctx->dof;
101552f7358SJed Brown   PetscFunctionReturn(0);
102552f7358SJed Brown }
103552f7358SJed Brown 
104552f7358SJed Brown #undef __FUNCT__
105552f7358SJed Brown #define __FUNCT__ "DMInterpolationAddPoints"
1060adebc6cSBarry Smith PetscErrorCode DMInterpolationAddPoints(DMInterpolationInfo ctx, PetscInt n, PetscReal points[])
1070adebc6cSBarry Smith {
108552f7358SJed Brown   PetscErrorCode ierr;
109552f7358SJed Brown 
110552f7358SJed Brown   PetscFunctionBegin;
1110adebc6cSBarry Smith   if (ctx->dim < 0) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The spatial dimension has not been set");
1120adebc6cSBarry Smith   if (ctx->points)  SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "Cannot add points multiple times yet");
113552f7358SJed Brown   ctx->nInput = n;
1141aa26658SKarl Rupp 
115785e854fSJed Brown   ierr = PetscMalloc1(n*ctx->dim, &ctx->points);CHKERRQ(ierr);
116552f7358SJed Brown   ierr = PetscMemcpy(ctx->points, points, n*ctx->dim * sizeof(PetscReal));CHKERRQ(ierr);
117552f7358SJed Brown   PetscFunctionReturn(0);
118552f7358SJed Brown }
119552f7358SJed Brown 
120552f7358SJed Brown #undef __FUNCT__
121552f7358SJed Brown #define __FUNCT__ "DMInterpolationSetUp"
1220adebc6cSBarry Smith PetscErrorCode DMInterpolationSetUp(DMInterpolationInfo ctx, DM dm, PetscBool redundantPoints)
1230adebc6cSBarry Smith {
124552f7358SJed Brown   MPI_Comm       comm = ctx->comm;
125552f7358SJed Brown   PetscScalar   *a;
126552f7358SJed Brown   PetscInt       p, q, i;
127552f7358SJed Brown   PetscMPIInt    rank, size;
128552f7358SJed Brown   PetscErrorCode ierr;
129552f7358SJed Brown   Vec            pointVec;
130552f7358SJed Brown   IS             cellIS;
131552f7358SJed Brown   PetscLayout    layout;
132552f7358SJed Brown   PetscReal      *globalPoints;
133cb313848SJed Brown   PetscScalar    *globalPointsScalar;
134552f7358SJed Brown   const PetscInt *ranges;
135552f7358SJed Brown   PetscMPIInt    *counts, *displs;
136552f7358SJed Brown   const PetscInt *foundCells;
137552f7358SJed Brown   PetscMPIInt    *foundProcs, *globalProcs;
13819436ca2SJed Brown   PetscInt       n, N;
139552f7358SJed Brown 
14019436ca2SJed Brown   PetscFunctionBegin;
14119436ca2SJed Brown   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
14219436ca2SJed Brown   ierr = MPI_Comm_size(comm, &size);CHKERRQ(ierr);
14319436ca2SJed Brown   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
1440adebc6cSBarry Smith   if (ctx->dim < 0) SETERRQ(comm, PETSC_ERR_ARG_WRONGSTATE, "The spatial dimension has not been set");
14519436ca2SJed Brown   /* Locate points */
14619436ca2SJed Brown   n = ctx->nInput;
147552f7358SJed Brown   if (!redundantPoints) {
148552f7358SJed Brown     ierr = PetscLayoutCreate(comm, &layout);CHKERRQ(ierr);
149552f7358SJed Brown     ierr = PetscLayoutSetBlockSize(layout, 1);CHKERRQ(ierr);
150552f7358SJed Brown     ierr = PetscLayoutSetLocalSize(layout, n);CHKERRQ(ierr);
151552f7358SJed Brown     ierr = PetscLayoutSetUp(layout);CHKERRQ(ierr);
152552f7358SJed Brown     ierr = PetscLayoutGetSize(layout, &N);CHKERRQ(ierr);
153552f7358SJed Brown     /* Communicate all points to all processes */
154dcca6d9dSJed Brown     ierr = PetscMalloc3(N*ctx->dim,&globalPoints,size,&counts,size,&displs);CHKERRQ(ierr);
155552f7358SJed Brown     ierr = PetscLayoutGetRanges(layout, &ranges);CHKERRQ(ierr);
156552f7358SJed Brown     for (p = 0; p < size; ++p) {
157552f7358SJed Brown       counts[p] = (ranges[p+1] - ranges[p])*ctx->dim;
158552f7358SJed Brown       displs[p] = ranges[p]*ctx->dim;
159552f7358SJed Brown     }
160552f7358SJed Brown     ierr = MPI_Allgatherv(ctx->points, n*ctx->dim, MPIU_REAL, globalPoints, counts, displs, MPIU_REAL, comm);CHKERRQ(ierr);
161552f7358SJed Brown   } else {
162552f7358SJed Brown     N = n;
163552f7358SJed Brown     globalPoints = ctx->points;
16438ea73c8SJed Brown     counts = displs = NULL;
16538ea73c8SJed Brown     layout = NULL;
166552f7358SJed Brown   }
167552f7358SJed Brown #if 0
168dcca6d9dSJed Brown   ierr = PetscMalloc3(N,&foundCells,N,&foundProcs,N,&globalProcs);CHKERRQ(ierr);
16919436ca2SJed Brown   /* foundCells[p] = m->locatePoint(&globalPoints[p*ctx->dim]); */
170552f7358SJed Brown #else
171cb313848SJed Brown #if defined(PETSC_USE_COMPLEX)
172785e854fSJed Brown   ierr = PetscMalloc1(N,&globalPointsScalar);CHKERRQ(ierr);
173cb313848SJed Brown   for (i=0; i<N; i++) globalPointsScalar[i] = globalPoints[i];
174cb313848SJed Brown #else
175cb313848SJed Brown   globalPointsScalar = globalPoints;
176cb313848SJed Brown #endif
17704706141SMatthew G Knepley   ierr = VecCreateSeqWithArray(PETSC_COMM_SELF, ctx->dim, N*ctx->dim, globalPointsScalar, &pointVec);CHKERRQ(ierr);
178dcca6d9dSJed Brown   ierr = PetscMalloc2(N,&foundProcs,N,&globalProcs);CHKERRQ(ierr);
179552f7358SJed Brown   ierr = DMLocatePoints(dm, pointVec, &cellIS);CHKERRQ(ierr);
180552f7358SJed Brown   ierr = ISGetIndices(cellIS, &foundCells);CHKERRQ(ierr);
181552f7358SJed Brown #endif
182552f7358SJed Brown   for (p = 0; p < N; ++p) {
1831aa26658SKarl Rupp     if (foundCells[p] >= 0) foundProcs[p] = rank;
1841aa26658SKarl Rupp     else foundProcs[p] = size;
185552f7358SJed Brown   }
186552f7358SJed Brown   /* Let the lowest rank process own each point */
187b2566f29SBarry Smith   ierr   = MPIU_Allreduce(foundProcs, globalProcs, N, MPI_INT, MPI_MIN, comm);CHKERRQ(ierr);
188552f7358SJed Brown   ctx->n = 0;
189552f7358SJed Brown   for (p = 0; p < N; ++p) {
1900adebc6cSBarry 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);
1911aa26658SKarl Rupp     else if (globalProcs[p] == rank) ctx->n++;
192552f7358SJed Brown   }
193552f7358SJed Brown   /* Create coordinates vector and array of owned cells */
194785e854fSJed Brown   ierr = PetscMalloc1(ctx->n, &ctx->cells);CHKERRQ(ierr);
195552f7358SJed Brown   ierr = VecCreate(comm, &ctx->coords);CHKERRQ(ierr);
196552f7358SJed Brown   ierr = VecSetSizes(ctx->coords, ctx->n*ctx->dim, PETSC_DECIDE);CHKERRQ(ierr);
197552f7358SJed Brown   ierr = VecSetBlockSize(ctx->coords, ctx->dim);CHKERRQ(ierr);
198c0dedaeaSBarry Smith   ierr = VecSetType(ctx->coords,VECSTANDARD);CHKERRQ(ierr);
199552f7358SJed Brown   ierr = VecGetArray(ctx->coords, &a);CHKERRQ(ierr);
200552f7358SJed Brown   for (p = 0, q = 0, i = 0; p < N; ++p) {
201552f7358SJed Brown     if (globalProcs[p] == rank) {
202552f7358SJed Brown       PetscInt d;
203552f7358SJed Brown 
2041aa26658SKarl Rupp       for (d = 0; d < ctx->dim; ++d, ++i) a[i] = globalPoints[p*ctx->dim+d];
205552f7358SJed Brown       ctx->cells[q++] = foundCells[p];
206552f7358SJed Brown     }
207552f7358SJed Brown   }
208552f7358SJed Brown   ierr = VecRestoreArray(ctx->coords, &a);CHKERRQ(ierr);
209552f7358SJed Brown #if 0
210552f7358SJed Brown   ierr = PetscFree3(foundCells,foundProcs,globalProcs);CHKERRQ(ierr);
211552f7358SJed Brown #else
212552f7358SJed Brown   ierr = PetscFree2(foundProcs,globalProcs);CHKERRQ(ierr);
213552f7358SJed Brown   ierr = ISRestoreIndices(cellIS, &foundCells);CHKERRQ(ierr);
214552f7358SJed Brown   ierr = ISDestroy(&cellIS);CHKERRQ(ierr);
215552f7358SJed Brown   ierr = VecDestroy(&pointVec);CHKERRQ(ierr);
216552f7358SJed Brown #endif
217cb313848SJed Brown   if ((void*)globalPointsScalar != (void*)globalPoints) {ierr = PetscFree(globalPointsScalar);CHKERRQ(ierr);}
218d343d804SMatthew G. Knepley   if (!redundantPoints) {ierr = PetscFree3(globalPoints,counts,displs);CHKERRQ(ierr);}
219552f7358SJed Brown   ierr = PetscLayoutDestroy(&layout);CHKERRQ(ierr);
220552f7358SJed Brown   PetscFunctionReturn(0);
221552f7358SJed Brown }
222552f7358SJed Brown 
223552f7358SJed Brown #undef __FUNCT__
224552f7358SJed Brown #define __FUNCT__ "DMInterpolationGetCoordinates"
2250adebc6cSBarry Smith PetscErrorCode DMInterpolationGetCoordinates(DMInterpolationInfo ctx, Vec *coordinates)
2260adebc6cSBarry Smith {
227552f7358SJed Brown   PetscFunctionBegin;
228552f7358SJed Brown   PetscValidPointer(coordinates, 2);
2290adebc6cSBarry Smith   if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup.");
230552f7358SJed Brown   *coordinates = ctx->coords;
231552f7358SJed Brown   PetscFunctionReturn(0);
232552f7358SJed Brown }
233552f7358SJed Brown 
234552f7358SJed Brown #undef __FUNCT__
235552f7358SJed Brown #define __FUNCT__ "DMInterpolationGetVector"
2360adebc6cSBarry Smith PetscErrorCode DMInterpolationGetVector(DMInterpolationInfo ctx, Vec *v)
2370adebc6cSBarry Smith {
238552f7358SJed Brown   PetscErrorCode ierr;
239552f7358SJed Brown 
240552f7358SJed Brown   PetscFunctionBegin;
241552f7358SJed Brown   PetscValidPointer(v, 2);
2420adebc6cSBarry Smith   if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup.");
243552f7358SJed Brown   ierr = VecCreate(ctx->comm, v);CHKERRQ(ierr);
244552f7358SJed Brown   ierr = VecSetSizes(*v, ctx->n*ctx->dof, PETSC_DECIDE);CHKERRQ(ierr);
245552f7358SJed Brown   ierr = VecSetBlockSize(*v, ctx->dof);CHKERRQ(ierr);
246c0dedaeaSBarry Smith   ierr = VecSetType(*v,VECSTANDARD);CHKERRQ(ierr);
247552f7358SJed Brown   PetscFunctionReturn(0);
248552f7358SJed Brown }
249552f7358SJed Brown 
250552f7358SJed Brown #undef __FUNCT__
251552f7358SJed Brown #define __FUNCT__ "DMInterpolationRestoreVector"
2520adebc6cSBarry Smith PetscErrorCode DMInterpolationRestoreVector(DMInterpolationInfo ctx, Vec *v)
2530adebc6cSBarry Smith {
254552f7358SJed Brown   PetscErrorCode ierr;
255552f7358SJed Brown 
256552f7358SJed Brown   PetscFunctionBegin;
257552f7358SJed Brown   PetscValidPointer(v, 2);
2580adebc6cSBarry Smith   if (!ctx->coords) SETERRQ(ctx->comm, PETSC_ERR_ARG_WRONGSTATE, "The interpolation context has not been setup.");
259552f7358SJed Brown   ierr = VecDestroy(v);CHKERRQ(ierr);
260552f7358SJed Brown   PetscFunctionReturn(0);
261552f7358SJed Brown }
262552f7358SJed Brown 
263552f7358SJed Brown #undef __FUNCT__
2647a1931ceSMatthew G. Knepley #define __FUNCT__ "DMInterpolate_Triangle_Private"
2657a1931ceSMatthew G. Knepley PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Triangle_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v)
266a6dfd86eSKarl Rupp {
267552f7358SJed Brown   PetscReal      *v0, *J, *invJ, detJ;
26856044e6dSMatthew G. Knepley   const PetscScalar *coords;
26956044e6dSMatthew G. Knepley   PetscScalar    *a;
270552f7358SJed Brown   PetscInt       p;
271552f7358SJed Brown   PetscErrorCode ierr;
272552f7358SJed Brown 
273552f7358SJed Brown   PetscFunctionBegin;
274dcca6d9dSJed Brown   ierr = PetscMalloc3(ctx->dim,&v0,ctx->dim*ctx->dim,&J,ctx->dim*ctx->dim,&invJ);CHKERRQ(ierr);
27556044e6dSMatthew G. Knepley   ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr);
276552f7358SJed Brown   ierr = VecGetArray(v, &a);CHKERRQ(ierr);
277552f7358SJed Brown   for (p = 0; p < ctx->n; ++p) {
278552f7358SJed Brown     PetscInt     c = ctx->cells[p];
279a1e44745SMatthew G. Knepley     PetscScalar *x = NULL;
280552f7358SJed Brown     PetscReal    xi[4];
281552f7358SJed Brown     PetscInt     d, f, comp;
282552f7358SJed Brown 
2838e0841e0SMatthew G. Knepley     ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr);
284552f7358SJed Brown     if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c);
2850298fd71SBarry Smith     ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr);
2861aa26658SKarl Rupp     for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp];
2871aa26658SKarl Rupp 
288552f7358SJed Brown     for (d = 0; d < ctx->dim; ++d) {
289552f7358SJed Brown       xi[d] = 0.0;
2901aa26658SKarl 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]);
2911aa26658SKarl 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];
292552f7358SJed Brown     }
2930298fd71SBarry Smith     ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr);
294552f7358SJed Brown   }
295552f7358SJed Brown   ierr = VecRestoreArray(v, &a);CHKERRQ(ierr);
29656044e6dSMatthew G. Knepley   ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr);
297552f7358SJed Brown   ierr = PetscFree3(v0, J, invJ);CHKERRQ(ierr);
298552f7358SJed Brown   PetscFunctionReturn(0);
299552f7358SJed Brown }
300552f7358SJed Brown 
301552f7358SJed Brown #undef __FUNCT__
3027a1931ceSMatthew G. Knepley #define __FUNCT__ "DMInterpolate_Tetrahedron_Private"
3037a1931ceSMatthew G. Knepley PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Tetrahedron_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v)
3047a1931ceSMatthew G. Knepley {
3057a1931ceSMatthew G. Knepley   PetscReal      *v0, *J, *invJ, detJ;
30656044e6dSMatthew G. Knepley   const PetscScalar *coords;
30756044e6dSMatthew G. Knepley   PetscScalar    *a;
3087a1931ceSMatthew G. Knepley   PetscInt       p;
3097a1931ceSMatthew G. Knepley   PetscErrorCode ierr;
3107a1931ceSMatthew G. Knepley 
3117a1931ceSMatthew G. Knepley   PetscFunctionBegin;
312dcca6d9dSJed Brown   ierr = PetscMalloc3(ctx->dim,&v0,ctx->dim*ctx->dim,&J,ctx->dim*ctx->dim,&invJ);CHKERRQ(ierr);
31356044e6dSMatthew G. Knepley   ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr);
3147a1931ceSMatthew G. Knepley   ierr = VecGetArray(v, &a);CHKERRQ(ierr);
3157a1931ceSMatthew G. Knepley   for (p = 0; p < ctx->n; ++p) {
3167a1931ceSMatthew G. Knepley     PetscInt       c = ctx->cells[p];
3177a1931ceSMatthew G. Knepley     const PetscInt order[3] = {2, 1, 3};
3182584bbe8SMatthew G. Knepley     PetscScalar   *x = NULL;
3197a1931ceSMatthew G. Knepley     PetscReal      xi[4];
3207a1931ceSMatthew G. Knepley     PetscInt       d, f, comp;
3217a1931ceSMatthew G. Knepley 
3228e0841e0SMatthew G. Knepley     ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr);
3237a1931ceSMatthew G. Knepley     if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c);
3247a1931ceSMatthew G. Knepley     ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr);
3257a1931ceSMatthew G. Knepley     for (comp = 0; comp < ctx->dof; ++comp) a[p*ctx->dof+comp] = x[0*ctx->dof+comp];
3267a1931ceSMatthew G. Knepley 
3277a1931ceSMatthew G. Knepley     for (d = 0; d < ctx->dim; ++d) {
3287a1931ceSMatthew G. Knepley       xi[d] = 0.0;
3297a1931ceSMatthew 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]);
3307a1931ceSMatthew 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];
3317a1931ceSMatthew G. Knepley     }
3327a1931ceSMatthew G. Knepley     ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, NULL, &x);CHKERRQ(ierr);
3337a1931ceSMatthew G. Knepley   }
3347a1931ceSMatthew G. Knepley   ierr = VecRestoreArray(v, &a);CHKERRQ(ierr);
33556044e6dSMatthew G. Knepley   ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr);
3367a1931ceSMatthew G. Knepley   ierr = PetscFree3(v0, J, invJ);CHKERRQ(ierr);
3377a1931ceSMatthew G. Knepley   PetscFunctionReturn(0);
3387a1931ceSMatthew G. Knepley }
3397a1931ceSMatthew G. Knepley 
3407a1931ceSMatthew G. Knepley #undef __FUNCT__
341552f7358SJed Brown #define __FUNCT__ "QuadMap_Private"
3425820edbdSMatthew G Knepley PETSC_STATIC_INLINE PetscErrorCode QuadMap_Private(SNES snes, Vec Xref, Vec Xreal, void *ctx)
343552f7358SJed Brown {
344552f7358SJed Brown   const PetscScalar *vertices = (const PetscScalar*) ctx;
345552f7358SJed Brown   const PetscScalar x0        = vertices[0];
346552f7358SJed Brown   const PetscScalar y0        = vertices[1];
347552f7358SJed Brown   const PetscScalar x1        = vertices[2];
348552f7358SJed Brown   const PetscScalar y1        = vertices[3];
349552f7358SJed Brown   const PetscScalar x2        = vertices[4];
350552f7358SJed Brown   const PetscScalar y2        = vertices[5];
351552f7358SJed Brown   const PetscScalar x3        = vertices[6];
352552f7358SJed Brown   const PetscScalar y3        = vertices[7];
353552f7358SJed Brown   const PetscScalar f_1       = x1 - x0;
354552f7358SJed Brown   const PetscScalar g_1       = y1 - y0;
355552f7358SJed Brown   const PetscScalar f_3       = x3 - x0;
356552f7358SJed Brown   const PetscScalar g_3       = y3 - y0;
357552f7358SJed Brown   const PetscScalar f_01      = x2 - x1 - x3 + x0;
358552f7358SJed Brown   const PetscScalar g_01      = y2 - y1 - y3 + y0;
35956044e6dSMatthew G. Knepley   const PetscScalar *ref;
36056044e6dSMatthew G. Knepley   PetscScalar       *real;
361552f7358SJed Brown   PetscErrorCode    ierr;
362552f7358SJed Brown 
363552f7358SJed Brown   PetscFunctionBegin;
36456044e6dSMatthew G. Knepley   ierr = VecGetArrayRead(Xref,  &ref);CHKERRQ(ierr);
365552f7358SJed Brown   ierr = VecGetArray(Xreal, &real);CHKERRQ(ierr);
366552f7358SJed Brown   {
367552f7358SJed Brown     const PetscScalar p0 = ref[0];
368552f7358SJed Brown     const PetscScalar p1 = ref[1];
369552f7358SJed Brown 
370552f7358SJed Brown     real[0] = x0 + f_1 * p0 + f_3 * p1 + f_01 * p0 * p1;
371552f7358SJed Brown     real[1] = y0 + g_1 * p0 + g_3 * p1 + g_01 * p0 * p1;
372552f7358SJed Brown   }
373552f7358SJed Brown   ierr = PetscLogFlops(28);CHKERRQ(ierr);
37456044e6dSMatthew G. Knepley   ierr = VecRestoreArrayRead(Xref,  &ref);CHKERRQ(ierr);
375552f7358SJed Brown   ierr = VecRestoreArray(Xreal, &real);CHKERRQ(ierr);
376552f7358SJed Brown   PetscFunctionReturn(0);
377552f7358SJed Brown }
378552f7358SJed Brown 
379af0996ceSBarry Smith #include <petsc/private/dmimpl.h>
380552f7358SJed Brown #undef __FUNCT__
381552f7358SJed Brown #define __FUNCT__ "QuadJacobian_Private"
382d1e9a80fSBarry Smith PETSC_STATIC_INLINE PetscErrorCode QuadJacobian_Private(SNES snes, Vec Xref, Mat J, Mat M, void *ctx)
383552f7358SJed Brown {
384552f7358SJed Brown   const PetscScalar *vertices = (const PetscScalar*) ctx;
385552f7358SJed Brown   const PetscScalar x0        = vertices[0];
386552f7358SJed Brown   const PetscScalar y0        = vertices[1];
387552f7358SJed Brown   const PetscScalar x1        = vertices[2];
388552f7358SJed Brown   const PetscScalar y1        = vertices[3];
389552f7358SJed Brown   const PetscScalar x2        = vertices[4];
390552f7358SJed Brown   const PetscScalar y2        = vertices[5];
391552f7358SJed Brown   const PetscScalar x3        = vertices[6];
392552f7358SJed Brown   const PetscScalar y3        = vertices[7];
393552f7358SJed Brown   const PetscScalar f_01      = x2 - x1 - x3 + x0;
394552f7358SJed Brown   const PetscScalar g_01      = y2 - y1 - y3 + y0;
39556044e6dSMatthew G. Knepley   const PetscScalar *ref;
396552f7358SJed Brown   PetscErrorCode    ierr;
397552f7358SJed Brown 
398552f7358SJed Brown   PetscFunctionBegin;
39956044e6dSMatthew G. Knepley   ierr = VecGetArrayRead(Xref,  &ref);CHKERRQ(ierr);
400552f7358SJed Brown   {
401552f7358SJed Brown     const PetscScalar x       = ref[0];
402552f7358SJed Brown     const PetscScalar y       = ref[1];
403552f7358SJed Brown     const PetscInt    rows[2] = {0, 1};
404da80777bSKarl Rupp     PetscScalar       values[4];
405da80777bSKarl Rupp 
406da80777bSKarl Rupp     values[0] = (x1 - x0 + f_01*y) * 0.5; values[1] = (x3 - x0 + f_01*x) * 0.5;
407da80777bSKarl Rupp     values[2] = (y1 - y0 + g_01*y) * 0.5; values[3] = (y3 - y0 + g_01*x) * 0.5;
40894ab13aaSBarry Smith     ierr      = MatSetValues(J, 2, rows, 2, rows, values, INSERT_VALUES);CHKERRQ(ierr);
409552f7358SJed Brown   }
410552f7358SJed Brown   ierr = PetscLogFlops(30);CHKERRQ(ierr);
41156044e6dSMatthew G. Knepley   ierr = VecRestoreArrayRead(Xref,  &ref);CHKERRQ(ierr);
41294ab13aaSBarry Smith   ierr = MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
41394ab13aaSBarry Smith   ierr = MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
414552f7358SJed Brown   PetscFunctionReturn(0);
415552f7358SJed Brown }
416552f7358SJed Brown 
417552f7358SJed Brown #undef __FUNCT__
418552f7358SJed Brown #define __FUNCT__ "DMInterpolate_Quad_Private"
419a6dfd86eSKarl Rupp PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Quad_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v)
420a6dfd86eSKarl Rupp {
421fafc0619SMatthew G Knepley   DM             dmCoord;
422552f7358SJed Brown   SNES           snes;
423552f7358SJed Brown   KSP            ksp;
424552f7358SJed Brown   PC             pc;
425552f7358SJed Brown   Vec            coordsLocal, r, ref, real;
426552f7358SJed Brown   Mat            J;
42756044e6dSMatthew G. Knepley   const PetscScalar *coords;
42856044e6dSMatthew G. Knepley   PetscScalar    *a;
429552f7358SJed Brown   PetscInt       p;
430552f7358SJed Brown   PetscErrorCode ierr;
431552f7358SJed Brown 
432552f7358SJed Brown   PetscFunctionBegin;
433552f7358SJed Brown   ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr);
434fafc0619SMatthew G Knepley   ierr = DMGetCoordinateDM(dm, &dmCoord);CHKERRQ(ierr);
435552f7358SJed Brown   ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr);
436552f7358SJed Brown   ierr = SNESSetOptionsPrefix(snes, "quad_interp_");CHKERRQ(ierr);
437552f7358SJed Brown   ierr = VecCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr);
438552f7358SJed Brown   ierr = VecSetSizes(r, 2, 2);CHKERRQ(ierr);
439c0dedaeaSBarry Smith   ierr = VecSetType(r,dm->vectype);CHKERRQ(ierr);
440552f7358SJed Brown   ierr = VecDuplicate(r, &ref);CHKERRQ(ierr);
441552f7358SJed Brown   ierr = VecDuplicate(r, &real);CHKERRQ(ierr);
442552f7358SJed Brown   ierr = MatCreate(PETSC_COMM_SELF, &J);CHKERRQ(ierr);
443552f7358SJed Brown   ierr = MatSetSizes(J, 2, 2, 2, 2);CHKERRQ(ierr);
444552f7358SJed Brown   ierr = MatSetType(J, MATSEQDENSE);CHKERRQ(ierr);
445552f7358SJed Brown   ierr = MatSetUp(J);CHKERRQ(ierr);
4460298fd71SBarry Smith   ierr = SNESSetFunction(snes, r, QuadMap_Private, NULL);CHKERRQ(ierr);
4470298fd71SBarry Smith   ierr = SNESSetJacobian(snes, J, J, QuadJacobian_Private, NULL);CHKERRQ(ierr);
448552f7358SJed Brown   ierr = SNESGetKSP(snes, &ksp);CHKERRQ(ierr);
449552f7358SJed Brown   ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr);
450552f7358SJed Brown   ierr = PCSetType(pc, PCLU);CHKERRQ(ierr);
451552f7358SJed Brown   ierr = SNESSetFromOptions(snes);CHKERRQ(ierr);
452552f7358SJed Brown 
45356044e6dSMatthew G. Knepley   ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr);
454552f7358SJed Brown   ierr = VecGetArray(v, &a);CHKERRQ(ierr);
455552f7358SJed Brown   for (p = 0; p < ctx->n; ++p) {
456a1e44745SMatthew G. Knepley     PetscScalar *x = NULL, *vertices = NULL;
457552f7358SJed Brown     PetscScalar *xi;
458cb313848SJed Brown     PetscReal    xir[2];
459552f7358SJed Brown     PetscInt     c = ctx->cells[p], comp, coordSize, xSize;
460552f7358SJed Brown 
461552f7358SJed Brown     /* Can make this do all points at once */
4620298fd71SBarry Smith     ierr = DMPlexVecGetClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr);
4630adebc6cSBarry Smith     if (4*2 != coordSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", coordSize, 4*2);
4640298fd71SBarry Smith     ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr);
4650adebc6cSBarry Smith     if (4*ctx->dof != xSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", xSize, 4*ctx->dof);
4660298fd71SBarry Smith     ierr   = SNESSetFunction(snes, NULL, NULL, (void*) vertices);CHKERRQ(ierr);
4670298fd71SBarry Smith     ierr   = SNESSetJacobian(snes, NULL, NULL, NULL, (void*) vertices);CHKERRQ(ierr);
468552f7358SJed Brown     ierr   = VecGetArray(real, &xi);CHKERRQ(ierr);
469552f7358SJed Brown     xi[0]  = coords[p*ctx->dim+0];
470552f7358SJed Brown     xi[1]  = coords[p*ctx->dim+1];
471552f7358SJed Brown     ierr   = VecRestoreArray(real, &xi);CHKERRQ(ierr);
472552f7358SJed Brown     ierr   = SNESSolve(snes, real, ref);CHKERRQ(ierr);
473552f7358SJed Brown     ierr   = VecGetArray(ref, &xi);CHKERRQ(ierr);
474cb313848SJed Brown     xir[0] = PetscRealPart(xi[0]);
475cb313848SJed Brown     xir[1] = PetscRealPart(xi[1]);
4761aa26658SKarl 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];
4771aa26658SKarl Rupp 
478552f7358SJed Brown     ierr = VecRestoreArray(ref, &xi);CHKERRQ(ierr);
4790298fd71SBarry Smith     ierr = DMPlexVecRestoreClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr);
4800298fd71SBarry Smith     ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr);
481552f7358SJed Brown   }
482552f7358SJed Brown   ierr = VecRestoreArray(v, &a);CHKERRQ(ierr);
48356044e6dSMatthew G. Knepley   ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr);
484552f7358SJed Brown 
485552f7358SJed Brown   ierr = SNESDestroy(&snes);CHKERRQ(ierr);
486552f7358SJed Brown   ierr = VecDestroy(&r);CHKERRQ(ierr);
487552f7358SJed Brown   ierr = VecDestroy(&ref);CHKERRQ(ierr);
488552f7358SJed Brown   ierr = VecDestroy(&real);CHKERRQ(ierr);
489552f7358SJed Brown   ierr = MatDestroy(&J);CHKERRQ(ierr);
490552f7358SJed Brown   PetscFunctionReturn(0);
491552f7358SJed Brown }
492552f7358SJed Brown 
493552f7358SJed Brown #undef __FUNCT__
494552f7358SJed Brown #define __FUNCT__ "HexMap_Private"
4955820edbdSMatthew G Knepley PETSC_STATIC_INLINE PetscErrorCode HexMap_Private(SNES snes, Vec Xref, Vec Xreal, void *ctx)
496552f7358SJed Brown {
497552f7358SJed Brown   const PetscScalar *vertices = (const PetscScalar*) ctx;
498552f7358SJed Brown   const PetscScalar x0        = vertices[0];
499552f7358SJed Brown   const PetscScalar y0        = vertices[1];
500552f7358SJed Brown   const PetscScalar z0        = vertices[2];
5017a1931ceSMatthew G. Knepley   const PetscScalar x1        = vertices[9];
5027a1931ceSMatthew G. Knepley   const PetscScalar y1        = vertices[10];
5037a1931ceSMatthew G. Knepley   const PetscScalar z1        = vertices[11];
504552f7358SJed Brown   const PetscScalar x2        = vertices[6];
505552f7358SJed Brown   const PetscScalar y2        = vertices[7];
506552f7358SJed Brown   const PetscScalar z2        = vertices[8];
5077a1931ceSMatthew G. Knepley   const PetscScalar x3        = vertices[3];
5087a1931ceSMatthew G. Knepley   const PetscScalar y3        = vertices[4];
5097a1931ceSMatthew G. Knepley   const PetscScalar z3        = vertices[5];
510552f7358SJed Brown   const PetscScalar x4        = vertices[12];
511552f7358SJed Brown   const PetscScalar y4        = vertices[13];
512552f7358SJed Brown   const PetscScalar z4        = vertices[14];
513552f7358SJed Brown   const PetscScalar x5        = vertices[15];
514552f7358SJed Brown   const PetscScalar y5        = vertices[16];
515552f7358SJed Brown   const PetscScalar z5        = vertices[17];
516552f7358SJed Brown   const PetscScalar x6        = vertices[18];
517552f7358SJed Brown   const PetscScalar y6        = vertices[19];
518552f7358SJed Brown   const PetscScalar z6        = vertices[20];
519552f7358SJed Brown   const PetscScalar x7        = vertices[21];
520552f7358SJed Brown   const PetscScalar y7        = vertices[22];
521552f7358SJed Brown   const PetscScalar z7        = vertices[23];
522552f7358SJed Brown   const PetscScalar f_1       = x1 - x0;
523552f7358SJed Brown   const PetscScalar g_1       = y1 - y0;
524552f7358SJed Brown   const PetscScalar h_1       = z1 - z0;
525552f7358SJed Brown   const PetscScalar f_3       = x3 - x0;
526552f7358SJed Brown   const PetscScalar g_3       = y3 - y0;
527552f7358SJed Brown   const PetscScalar h_3       = z3 - z0;
528552f7358SJed Brown   const PetscScalar f_4       = x4 - x0;
529552f7358SJed Brown   const PetscScalar g_4       = y4 - y0;
530552f7358SJed Brown   const PetscScalar h_4       = z4 - z0;
531552f7358SJed Brown   const PetscScalar f_01      = x2 - x1 - x3 + x0;
532552f7358SJed Brown   const PetscScalar g_01      = y2 - y1 - y3 + y0;
533552f7358SJed Brown   const PetscScalar h_01      = z2 - z1 - z3 + z0;
534552f7358SJed Brown   const PetscScalar f_12      = x7 - x3 - x4 + x0;
535552f7358SJed Brown   const PetscScalar g_12      = y7 - y3 - y4 + y0;
536552f7358SJed Brown   const PetscScalar h_12      = z7 - z3 - z4 + z0;
537552f7358SJed Brown   const PetscScalar f_02      = x5 - x1 - x4 + x0;
538552f7358SJed Brown   const PetscScalar g_02      = y5 - y1 - y4 + y0;
539552f7358SJed Brown   const PetscScalar h_02      = z5 - z1 - z4 + z0;
540552f7358SJed Brown   const PetscScalar f_012     = x6 - x0 + x1 - x2 + x3 + x4 - x5 - x7;
541552f7358SJed Brown   const PetscScalar g_012     = y6 - y0 + y1 - y2 + y3 + y4 - y5 - y7;
542552f7358SJed Brown   const PetscScalar h_012     = z6 - z0 + z1 - z2 + z3 + z4 - z5 - z7;
54356044e6dSMatthew G. Knepley   const PetscScalar *ref;
54456044e6dSMatthew G. Knepley   PetscScalar       *real;
545552f7358SJed Brown   PetscErrorCode    ierr;
546552f7358SJed Brown 
547552f7358SJed Brown   PetscFunctionBegin;
54856044e6dSMatthew G. Knepley   ierr = VecGetArrayRead(Xref,  &ref);CHKERRQ(ierr);
549552f7358SJed Brown   ierr = VecGetArray(Xreal, &real);CHKERRQ(ierr);
550552f7358SJed Brown   {
551552f7358SJed Brown     const PetscScalar p0 = ref[0];
552552f7358SJed Brown     const PetscScalar p1 = ref[1];
553552f7358SJed Brown     const PetscScalar p2 = ref[2];
554552f7358SJed Brown 
555552f7358SJed 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;
556552f7358SJed 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;
557552f7358SJed 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;
558552f7358SJed Brown   }
559552f7358SJed Brown   ierr = PetscLogFlops(114);CHKERRQ(ierr);
56056044e6dSMatthew G. Knepley   ierr = VecRestoreArrayRead(Xref,  &ref);CHKERRQ(ierr);
561552f7358SJed Brown   ierr = VecRestoreArray(Xreal, &real);CHKERRQ(ierr);
562552f7358SJed Brown   PetscFunctionReturn(0);
563552f7358SJed Brown }
564552f7358SJed Brown 
565552f7358SJed Brown #undef __FUNCT__
566552f7358SJed Brown #define __FUNCT__ "HexJacobian_Private"
567d1e9a80fSBarry Smith PETSC_STATIC_INLINE PetscErrorCode HexJacobian_Private(SNES snes, Vec Xref, Mat J, Mat M, void *ctx)
568552f7358SJed Brown {
569552f7358SJed Brown   const PetscScalar *vertices = (const PetscScalar*) ctx;
570552f7358SJed Brown   const PetscScalar x0        = vertices[0];
571552f7358SJed Brown   const PetscScalar y0        = vertices[1];
572552f7358SJed Brown   const PetscScalar z0        = vertices[2];
5737a1931ceSMatthew G. Knepley   const PetscScalar x1        = vertices[9];
5747a1931ceSMatthew G. Knepley   const PetscScalar y1        = vertices[10];
5757a1931ceSMatthew G. Knepley   const PetscScalar z1        = vertices[11];
576552f7358SJed Brown   const PetscScalar x2        = vertices[6];
577552f7358SJed Brown   const PetscScalar y2        = vertices[7];
578552f7358SJed Brown   const PetscScalar z2        = vertices[8];
5797a1931ceSMatthew G. Knepley   const PetscScalar x3        = vertices[3];
5807a1931ceSMatthew G. Knepley   const PetscScalar y3        = vertices[4];
5817a1931ceSMatthew G. Knepley   const PetscScalar z3        = vertices[5];
582552f7358SJed Brown   const PetscScalar x4        = vertices[12];
583552f7358SJed Brown   const PetscScalar y4        = vertices[13];
584552f7358SJed Brown   const PetscScalar z4        = vertices[14];
585552f7358SJed Brown   const PetscScalar x5        = vertices[15];
586552f7358SJed Brown   const PetscScalar y5        = vertices[16];
587552f7358SJed Brown   const PetscScalar z5        = vertices[17];
588552f7358SJed Brown   const PetscScalar x6        = vertices[18];
589552f7358SJed Brown   const PetscScalar y6        = vertices[19];
590552f7358SJed Brown   const PetscScalar z6        = vertices[20];
591552f7358SJed Brown   const PetscScalar x7        = vertices[21];
592552f7358SJed Brown   const PetscScalar y7        = vertices[22];
593552f7358SJed Brown   const PetscScalar z7        = vertices[23];
594552f7358SJed Brown   const PetscScalar f_xy      = x2 - x1 - x3 + x0;
595552f7358SJed Brown   const PetscScalar g_xy      = y2 - y1 - y3 + y0;
596552f7358SJed Brown   const PetscScalar h_xy      = z2 - z1 - z3 + z0;
597552f7358SJed Brown   const PetscScalar f_yz      = x7 - x3 - x4 + x0;
598552f7358SJed Brown   const PetscScalar g_yz      = y7 - y3 - y4 + y0;
599552f7358SJed Brown   const PetscScalar h_yz      = z7 - z3 - z4 + z0;
600552f7358SJed Brown   const PetscScalar f_xz      = x5 - x1 - x4 + x0;
601552f7358SJed Brown   const PetscScalar g_xz      = y5 - y1 - y4 + y0;
602552f7358SJed Brown   const PetscScalar h_xz      = z5 - z1 - z4 + z0;
603552f7358SJed Brown   const PetscScalar f_xyz     = x6 - x0 + x1 - x2 + x3 + x4 - x5 - x7;
604552f7358SJed Brown   const PetscScalar g_xyz     = y6 - y0 + y1 - y2 + y3 + y4 - y5 - y7;
605552f7358SJed Brown   const PetscScalar h_xyz     = z6 - z0 + z1 - z2 + z3 + z4 - z5 - z7;
60656044e6dSMatthew G. Knepley   const PetscScalar *ref;
607552f7358SJed Brown   PetscErrorCode    ierr;
608552f7358SJed Brown 
609552f7358SJed Brown   PetscFunctionBegin;
61056044e6dSMatthew G. Knepley   ierr = VecGetArrayRead(Xref,  &ref);CHKERRQ(ierr);
611552f7358SJed Brown   {
612552f7358SJed Brown     const PetscScalar x       = ref[0];
613552f7358SJed Brown     const PetscScalar y       = ref[1];
614552f7358SJed Brown     const PetscScalar z       = ref[2];
615552f7358SJed Brown     const PetscInt    rows[3] = {0, 1, 2};
616da80777bSKarl Rupp     PetscScalar       values[9];
617da80777bSKarl Rupp 
618da80777bSKarl Rupp     values[0] = (x1 - x0 + f_xy*y + f_xz*z + f_xyz*y*z) / 2.0;
619da80777bSKarl Rupp     values[1] = (x3 - x0 + f_xy*x + f_yz*z + f_xyz*x*z) / 2.0;
620da80777bSKarl Rupp     values[2] = (x4 - x0 + f_yz*y + f_xz*x + f_xyz*x*y) / 2.0;
621da80777bSKarl Rupp     values[3] = (y1 - y0 + g_xy*y + g_xz*z + g_xyz*y*z) / 2.0;
622da80777bSKarl Rupp     values[4] = (y3 - y0 + g_xy*x + g_yz*z + g_xyz*x*z) / 2.0;
623da80777bSKarl Rupp     values[5] = (y4 - y0 + g_yz*y + g_xz*x + g_xyz*x*y) / 2.0;
624da80777bSKarl Rupp     values[6] = (z1 - z0 + h_xy*y + h_xz*z + h_xyz*y*z) / 2.0;
625da80777bSKarl Rupp     values[7] = (z3 - z0 + h_xy*x + h_yz*z + h_xyz*x*z) / 2.0;
626da80777bSKarl Rupp     values[8] = (z4 - z0 + h_yz*y + h_xz*x + h_xyz*x*y) / 2.0;
6271aa26658SKarl Rupp 
62894ab13aaSBarry Smith     ierr = MatSetValues(J, 3, rows, 3, rows, values, INSERT_VALUES);CHKERRQ(ierr);
629552f7358SJed Brown   }
630552f7358SJed Brown   ierr = PetscLogFlops(152);CHKERRQ(ierr);
63156044e6dSMatthew G. Knepley   ierr = VecRestoreArrayRead(Xref,  &ref);CHKERRQ(ierr);
63294ab13aaSBarry Smith   ierr = MatAssemblyBegin(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
63394ab13aaSBarry Smith   ierr = MatAssemblyEnd(J, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
634552f7358SJed Brown   PetscFunctionReturn(0);
635552f7358SJed Brown }
636552f7358SJed Brown 
637552f7358SJed Brown #undef __FUNCT__
638552f7358SJed Brown #define __FUNCT__ "DMInterpolate_Hex_Private"
639a6dfd86eSKarl Rupp PETSC_STATIC_INLINE PetscErrorCode DMInterpolate_Hex_Private(DMInterpolationInfo ctx, DM dm, Vec xLocal, Vec v)
640a6dfd86eSKarl Rupp {
641fafc0619SMatthew G Knepley   DM             dmCoord;
642552f7358SJed Brown   SNES           snes;
643552f7358SJed Brown   KSP            ksp;
644552f7358SJed Brown   PC             pc;
645552f7358SJed Brown   Vec            coordsLocal, r, ref, real;
646552f7358SJed Brown   Mat            J;
64756044e6dSMatthew G. Knepley   const PetscScalar *coords;
64856044e6dSMatthew G. Knepley   PetscScalar    *a;
649552f7358SJed Brown   PetscInt       p;
650552f7358SJed Brown   PetscErrorCode ierr;
651552f7358SJed Brown 
652552f7358SJed Brown   PetscFunctionBegin;
653552f7358SJed Brown   ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr);
654fafc0619SMatthew G Knepley   ierr = DMGetCoordinateDM(dm, &dmCoord);CHKERRQ(ierr);
655552f7358SJed Brown   ierr = SNESCreate(PETSC_COMM_SELF, &snes);CHKERRQ(ierr);
656552f7358SJed Brown   ierr = SNESSetOptionsPrefix(snes, "hex_interp_");CHKERRQ(ierr);
657552f7358SJed Brown   ierr = VecCreate(PETSC_COMM_SELF, &r);CHKERRQ(ierr);
658552f7358SJed Brown   ierr = VecSetSizes(r, 3, 3);CHKERRQ(ierr);
659c0dedaeaSBarry Smith   ierr = VecSetType(r,dm->vectype);CHKERRQ(ierr);
660552f7358SJed Brown   ierr = VecDuplicate(r, &ref);CHKERRQ(ierr);
661552f7358SJed Brown   ierr = VecDuplicate(r, &real);CHKERRQ(ierr);
662552f7358SJed Brown   ierr = MatCreate(PETSC_COMM_SELF, &J);CHKERRQ(ierr);
663552f7358SJed Brown   ierr = MatSetSizes(J, 3, 3, 3, 3);CHKERRQ(ierr);
664552f7358SJed Brown   ierr = MatSetType(J, MATSEQDENSE);CHKERRQ(ierr);
665552f7358SJed Brown   ierr = MatSetUp(J);CHKERRQ(ierr);
6660298fd71SBarry Smith   ierr = SNESSetFunction(snes, r, HexMap_Private, NULL);CHKERRQ(ierr);
6670298fd71SBarry Smith   ierr = SNESSetJacobian(snes, J, J, HexJacobian_Private, NULL);CHKERRQ(ierr);
668552f7358SJed Brown   ierr = SNESGetKSP(snes, &ksp);CHKERRQ(ierr);
669552f7358SJed Brown   ierr = KSPGetPC(ksp, &pc);CHKERRQ(ierr);
670552f7358SJed Brown   ierr = PCSetType(pc, PCLU);CHKERRQ(ierr);
671552f7358SJed Brown   ierr = SNESSetFromOptions(snes);CHKERRQ(ierr);
672552f7358SJed Brown 
67356044e6dSMatthew G. Knepley   ierr = VecGetArrayRead(ctx->coords, &coords);CHKERRQ(ierr);
674552f7358SJed Brown   ierr = VecGetArray(v, &a);CHKERRQ(ierr);
675552f7358SJed Brown   for (p = 0; p < ctx->n; ++p) {
676a1e44745SMatthew G. Knepley     PetscScalar *x = NULL, *vertices = NULL;
677552f7358SJed Brown     PetscScalar *xi;
678cb313848SJed Brown     PetscReal    xir[3];
679552f7358SJed Brown     PetscInt     c = ctx->cells[p], comp, coordSize, xSize;
680552f7358SJed Brown 
681552f7358SJed Brown     /* Can make this do all points at once */
6820298fd71SBarry Smith     ierr = DMPlexVecGetClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr);
6830adebc6cSBarry Smith     if (8*3 != coordSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", coordSize, 8*3);
6840298fd71SBarry Smith     ierr = DMPlexVecGetClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr);
6850adebc6cSBarry Smith     if (8*ctx->dof != xSize) SETERRQ2(ctx->comm, PETSC_ERR_ARG_SIZ, "Invalid closure size %d should be %d", xSize, 8*ctx->dof);
6860298fd71SBarry Smith     ierr   = SNESSetFunction(snes, NULL, NULL, (void*) vertices);CHKERRQ(ierr);
6870298fd71SBarry Smith     ierr   = SNESSetJacobian(snes, NULL, NULL, NULL, (void*) vertices);CHKERRQ(ierr);
688552f7358SJed Brown     ierr   = VecGetArray(real, &xi);CHKERRQ(ierr);
689552f7358SJed Brown     xi[0]  = coords[p*ctx->dim+0];
690552f7358SJed Brown     xi[1]  = coords[p*ctx->dim+1];
691552f7358SJed Brown     xi[2]  = coords[p*ctx->dim+2];
692552f7358SJed Brown     ierr   = VecRestoreArray(real, &xi);CHKERRQ(ierr);
693552f7358SJed Brown     ierr   = SNESSolve(snes, real, ref);CHKERRQ(ierr);
694552f7358SJed Brown     ierr   = VecGetArray(ref, &xi);CHKERRQ(ierr);
695cb313848SJed Brown     xir[0] = PetscRealPart(xi[0]);
696cb313848SJed Brown     xir[1] = PetscRealPart(xi[1]);
697cb313848SJed Brown     xir[2] = PetscRealPart(xi[2]);
698552f7358SJed Brown     for (comp = 0; comp < ctx->dof; ++comp) {
699552f7358SJed Brown       a[p*ctx->dof+comp] =
700cb313848SJed Brown         x[0*ctx->dof+comp]*(1-xir[0])*(1-xir[1])*(1-xir[2]) +
7017a1931ceSMatthew G. Knepley         x[3*ctx->dof+comp]*    xir[0]*(1-xir[1])*(1-xir[2]) +
702cb313848SJed Brown         x[2*ctx->dof+comp]*    xir[0]*    xir[1]*(1-xir[2]) +
7037a1931ceSMatthew G. Knepley         x[1*ctx->dof+comp]*(1-xir[0])*    xir[1]*(1-xir[2]) +
704cb313848SJed Brown         x[4*ctx->dof+comp]*(1-xir[0])*(1-xir[1])*   xir[2] +
705cb313848SJed Brown         x[5*ctx->dof+comp]*    xir[0]*(1-xir[1])*   xir[2] +
706cb313848SJed Brown         x[6*ctx->dof+comp]*    xir[0]*    xir[1]*   xir[2] +
707cb313848SJed Brown         x[7*ctx->dof+comp]*(1-xir[0])*    xir[1]*   xir[2];
708552f7358SJed Brown     }
709552f7358SJed Brown     ierr = VecRestoreArray(ref, &xi);CHKERRQ(ierr);
7100298fd71SBarry Smith     ierr = DMPlexVecRestoreClosure(dmCoord, NULL, coordsLocal, c, &coordSize, &vertices);CHKERRQ(ierr);
7110298fd71SBarry Smith     ierr = DMPlexVecRestoreClosure(dm, NULL, xLocal, c, &xSize, &x);CHKERRQ(ierr);
712552f7358SJed Brown   }
713552f7358SJed Brown   ierr = VecRestoreArray(v, &a);CHKERRQ(ierr);
71456044e6dSMatthew G. Knepley   ierr = VecRestoreArrayRead(ctx->coords, &coords);CHKERRQ(ierr);
715552f7358SJed Brown 
716552f7358SJed Brown   ierr = SNESDestroy(&snes);CHKERRQ(ierr);
717552f7358SJed Brown   ierr = VecDestroy(&r);CHKERRQ(ierr);
718552f7358SJed Brown   ierr = VecDestroy(&ref);CHKERRQ(ierr);
719552f7358SJed Brown   ierr = VecDestroy(&real);CHKERRQ(ierr);
720552f7358SJed Brown   ierr = MatDestroy(&J);CHKERRQ(ierr);
721552f7358SJed Brown   PetscFunctionReturn(0);
722552f7358SJed Brown }
723552f7358SJed Brown 
724552f7358SJed Brown #undef __FUNCT__
725552f7358SJed Brown #define __FUNCT__ "DMInterpolationEvaluate"
726552f7358SJed Brown /*
727552f7358SJed Brown   Input Parameters:
728552f7358SJed Brown + ctx - The DMInterpolationInfo context
729552f7358SJed Brown . dm  - The DM
730552f7358SJed Brown - x   - The local vector containing the field to be interpolated
731552f7358SJed Brown 
732552f7358SJed Brown   Output Parameters:
733552f7358SJed Brown . v   - The vector containing the interpolated values
734552f7358SJed Brown */
7350adebc6cSBarry Smith PetscErrorCode DMInterpolationEvaluate(DMInterpolationInfo ctx, DM dm, Vec x, Vec v)
7360adebc6cSBarry Smith {
737552f7358SJed Brown   PetscInt       dim, coneSize, n;
738552f7358SJed Brown   PetscErrorCode ierr;
739552f7358SJed Brown 
740552f7358SJed Brown   PetscFunctionBegin;
741552f7358SJed Brown   PetscValidHeaderSpecific(dm, DM_CLASSID, 2);
742552f7358SJed Brown   PetscValidHeaderSpecific(x, VEC_CLASSID, 3);
743552f7358SJed Brown   PetscValidHeaderSpecific(v, VEC_CLASSID, 4);
744552f7358SJed Brown   ierr = VecGetLocalSize(v, &n);CHKERRQ(ierr);
7450adebc6cSBarry 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);
746552f7358SJed Brown   if (n) {
747c73cfb54SMatthew G. Knepley     ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
748552f7358SJed Brown     ierr = DMPlexGetConeSize(dm, ctx->cells[0], &coneSize);CHKERRQ(ierr);
749552f7358SJed Brown     if (dim == 2) {
750552f7358SJed Brown       if (coneSize == 3) {
7517a1931ceSMatthew G. Knepley         ierr = DMInterpolate_Triangle_Private(ctx, dm, x, v);CHKERRQ(ierr);
752552f7358SJed Brown       } else if (coneSize == 4) {
753552f7358SJed Brown         ierr = DMInterpolate_Quad_Private(ctx, dm, x, v);CHKERRQ(ierr);
7540adebc6cSBarry Smith       } else SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Unsupported dimension %d for point interpolation", dim);
755552f7358SJed Brown     } else if (dim == 3) {
756552f7358SJed Brown       if (coneSize == 4) {
7577a1931ceSMatthew G. Knepley         ierr = DMInterpolate_Tetrahedron_Private(ctx, dm, x, v);CHKERRQ(ierr);
758552f7358SJed Brown       } else {
759552f7358SJed Brown         ierr = DMInterpolate_Hex_Private(ctx, dm, x, v);CHKERRQ(ierr);
760552f7358SJed Brown       }
7610adebc6cSBarry Smith     } else SETERRQ1(ctx->comm, PETSC_ERR_ARG_OUTOFRANGE, "Unsupported dimension %d for point interpolation", dim);
762552f7358SJed Brown   }
763552f7358SJed Brown   PetscFunctionReturn(0);
764552f7358SJed Brown }
765552f7358SJed Brown 
766552f7358SJed Brown #undef __FUNCT__
767552f7358SJed Brown #define __FUNCT__ "DMInterpolationDestroy"
7680adebc6cSBarry Smith PetscErrorCode DMInterpolationDestroy(DMInterpolationInfo *ctx)
7690adebc6cSBarry Smith {
770552f7358SJed Brown   PetscErrorCode ierr;
771552f7358SJed Brown 
772552f7358SJed Brown   PetscFunctionBegin;
773552f7358SJed Brown   PetscValidPointer(ctx, 2);
774552f7358SJed Brown   ierr = VecDestroy(&(*ctx)->coords);CHKERRQ(ierr);
775552f7358SJed Brown   ierr = PetscFree((*ctx)->points);CHKERRQ(ierr);
776552f7358SJed Brown   ierr = PetscFree((*ctx)->cells);CHKERRQ(ierr);
777552f7358SJed Brown   ierr = PetscFree(*ctx);CHKERRQ(ierr);
7780298fd71SBarry Smith   *ctx = NULL;
779552f7358SJed Brown   PetscFunctionReturn(0);
780552f7358SJed Brown }
781cc0c4584SMatthew G. Knepley 
782cc0c4584SMatthew G. Knepley #undef __FUNCT__
783cc0c4584SMatthew G. Knepley #define __FUNCT__ "SNESMonitorFields"
784cc0c4584SMatthew G. Knepley /*@C
785cc0c4584SMatthew G. Knepley   SNESMonitorFields - Monitors the residual for each field separately
786cc0c4584SMatthew G. Knepley 
787cc0c4584SMatthew G. Knepley   Collective on SNES
788cc0c4584SMatthew G. Knepley 
789cc0c4584SMatthew G. Knepley   Input Parameters:
790cc0c4584SMatthew G. Knepley + snes   - the SNES context
791cc0c4584SMatthew G. Knepley . its    - iteration number
792cc0c4584SMatthew G. Knepley . fgnorm - 2-norm of residual
7934d4332d5SBarry Smith - dummy  - PetscViewer of type ASCII
794cc0c4584SMatthew G. Knepley 
795cc0c4584SMatthew G. Knepley   Notes:
796cc0c4584SMatthew G. Knepley   This routine prints the residual norm at each iteration.
797cc0c4584SMatthew G. Knepley 
798cc0c4584SMatthew G. Knepley   Level: intermediate
799cc0c4584SMatthew G. Knepley 
800cc0c4584SMatthew G. Knepley .keywords: SNES, nonlinear, default, monitor, norm
801cc0c4584SMatthew G. Knepley .seealso: SNESMonitorSet(), SNESMonitorDefault()
802cc0c4584SMatthew G. Knepley @*/
803cc0c4584SMatthew G. Knepley PetscErrorCode SNESMonitorFields(SNES snes, PetscInt its, PetscReal fgnorm, void *dummy)
804cc0c4584SMatthew G. Knepley {
8054d4332d5SBarry Smith   PetscViewer        viewer = (PetscViewer) dummy;
806cc0c4584SMatthew G. Knepley   Vec                res;
807cc0c4584SMatthew G. Knepley   DM                 dm;
808cc0c4584SMatthew G. Knepley   PetscSection       s;
809cc0c4584SMatthew G. Knepley   const PetscScalar *r;
810cc0c4584SMatthew G. Knepley   PetscReal         *lnorms, *norms;
811cc0c4584SMatthew G. Knepley   PetscInt           numFields, f, pStart, pEnd, p;
812cc0c4584SMatthew G. Knepley   PetscErrorCode     ierr;
813cc0c4584SMatthew G. Knepley 
814cc0c4584SMatthew G. Knepley   PetscFunctionBegin;
8154d4332d5SBarry Smith   PetscValidHeaderSpecific(viewer,PETSC_VIEWER_CLASSID,4);
816cc0c4584SMatthew G. Knepley   ierr = SNESGetFunction(snes, &res, 0, 0);CHKERRQ(ierr);
817cc0c4584SMatthew G. Knepley   ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr);
818cc0c4584SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &s);CHKERRQ(ierr);
819cc0c4584SMatthew G. Knepley   ierr = PetscSectionGetNumFields(s, &numFields);CHKERRQ(ierr);
820cc0c4584SMatthew G. Knepley   ierr = PetscSectionGetChart(s, &pStart, &pEnd);CHKERRQ(ierr);
821cc0c4584SMatthew G. Knepley   ierr = PetscCalloc2(numFields, &lnorms, numFields, &norms);CHKERRQ(ierr);
822cc0c4584SMatthew G. Knepley   ierr = VecGetArrayRead(res, &r);CHKERRQ(ierr);
823cc0c4584SMatthew G. Knepley   for (p = pStart; p < pEnd; ++p) {
824cc0c4584SMatthew G. Knepley     for (f = 0; f < numFields; ++f) {
825cc0c4584SMatthew G. Knepley       PetscInt fdof, foff, d;
826cc0c4584SMatthew G. Knepley 
827cc0c4584SMatthew G. Knepley       ierr = PetscSectionGetFieldDof(s, p, f, &fdof);CHKERRQ(ierr);
828cc0c4584SMatthew G. Knepley       ierr = PetscSectionGetFieldOffset(s, p, f, &foff);CHKERRQ(ierr);
829cc0c4584SMatthew G. Knepley       for (d = 0; d < fdof; ++d) lnorms[f] += PetscRealPart(PetscSqr(r[foff+d]));
830cc0c4584SMatthew G. Knepley     }
831cc0c4584SMatthew G. Knepley   }
832cc0c4584SMatthew G. Knepley   ierr = VecRestoreArrayRead(res, &r);CHKERRQ(ierr);
833b2566f29SBarry Smith   ierr = MPIU_Allreduce(lnorms, norms, numFields, MPIU_REAL, MPIU_SUM, PetscObjectComm((PetscObject) dm));CHKERRQ(ierr);
834cc0c4584SMatthew G. Knepley   ierr = PetscViewerASCIIAddTab(viewer, ((PetscObject) snes)->tablevel);CHKERRQ(ierr);
835cc0c4584SMatthew G. Knepley   ierr = PetscViewerASCIIPrintf(viewer, "%3D SNES Function norm %14.12e [", its, (double) fgnorm);CHKERRQ(ierr);
836cc0c4584SMatthew G. Knepley   for (f = 0; f < numFields; ++f) {
837cc0c4584SMatthew G. Knepley     if (f > 0) {ierr = PetscViewerASCIIPrintf(viewer, ", ");CHKERRQ(ierr);}
838cc0c4584SMatthew G. Knepley     ierr = PetscViewerASCIIPrintf(viewer, "%14.12e", (double) PetscSqrtReal(norms[f]));CHKERRQ(ierr);
839cc0c4584SMatthew G. Knepley   }
840cc0c4584SMatthew G. Knepley   ierr = PetscViewerASCIIPrintf(viewer, "]\n");CHKERRQ(ierr);
841cc0c4584SMatthew G. Knepley   ierr = PetscViewerASCIISubtractTab(viewer, ((PetscObject) snes)->tablevel);CHKERRQ(ierr);
842cc0c4584SMatthew G. Knepley   ierr = PetscFree2(lnorms, norms);CHKERRQ(ierr);
843cc0c4584SMatthew G. Knepley   PetscFunctionReturn(0);
844cc0c4584SMatthew G. Knepley }
84524cdb843SMatthew G. Knepley 
84624cdb843SMatthew G. Knepley /********************* Residual Computation **************************/
84724cdb843SMatthew G. Knepley 
84824cdb843SMatthew G. Knepley #undef __FUNCT__
8497d4028c8SMatthew G. Knepley #define __FUNCT__ "DMPlexSNESGetGeometryFEM"
8507d4028c8SMatthew G. Knepley /*@
8517d4028c8SMatthew G. Knepley   DMPlexSNESGetGeometryFEM - Return precomputed geometric data
8527d4028c8SMatthew G. Knepley 
8537d4028c8SMatthew G. Knepley   Input Parameter:
8547d4028c8SMatthew G. Knepley . dm - The DM
8557d4028c8SMatthew G. Knepley 
8567d4028c8SMatthew G. Knepley   Output Parameters:
8577d4028c8SMatthew G. Knepley . cellgeom - The values precomputed from cell geometry
8587d4028c8SMatthew G. Knepley 
8597d4028c8SMatthew G. Knepley   Level: developer
8607d4028c8SMatthew G. Knepley 
8617d4028c8SMatthew G. Knepley .seealso: DMPlexSNESSetFunctionLocal()
8627d4028c8SMatthew G. Knepley @*/
8637d4028c8SMatthew G. Knepley PetscErrorCode DMPlexSNESGetGeometryFEM(DM dm, Vec *cellgeom)
8647d4028c8SMatthew G. Knepley {
8657d4028c8SMatthew G. Knepley   DMSNES         dmsnes;
8667d4028c8SMatthew G. Knepley   PetscObject    obj;
8677d4028c8SMatthew G. Knepley   PetscErrorCode ierr;
8687d4028c8SMatthew G. Knepley 
8697d4028c8SMatthew G. Knepley   PetscFunctionBegin;
8707d4028c8SMatthew G. Knepley   PetscValidHeaderSpecific(dm,DM_CLASSID,1);
8717d4028c8SMatthew G. Knepley   ierr = DMGetDMSNES(dm, &dmsnes);CHKERRQ(ierr);
8727d4028c8SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", &obj);CHKERRQ(ierr);
8737d4028c8SMatthew G. Knepley   if (!obj) {
8747d4028c8SMatthew G. Knepley     Vec cellgeom;
8757d4028c8SMatthew G. Knepley 
8767d4028c8SMatthew G. Knepley     ierr = DMPlexComputeGeometryFEM(dm, &cellgeom);CHKERRQ(ierr);
8777d4028c8SMatthew G. Knepley     ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", (PetscObject) cellgeom);CHKERRQ(ierr);
8787d4028c8SMatthew G. Knepley     ierr = VecDestroy(&cellgeom);CHKERRQ(ierr);
8797d4028c8SMatthew G. Knepley   }
8807d4028c8SMatthew G. Knepley   if (cellgeom) {PetscValidPointer(cellgeom, 3); ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fem", (PetscObject *) cellgeom);CHKERRQ(ierr);}
8817d4028c8SMatthew G. Knepley   PetscFunctionReturn(0);
8827d4028c8SMatthew G. Knepley }
8837d4028c8SMatthew G. Knepley 
8847d4028c8SMatthew G. Knepley #undef __FUNCT__
88508449791SMatthew G. Knepley #define __FUNCT__ "DMPlexSNESGetGeometryFVM"
88608449791SMatthew G. Knepley /*@
88708449791SMatthew G. Knepley   DMPlexSNESGetGeometryFVM - Return precomputed geometric data
88808449791SMatthew G. Knepley 
88908449791SMatthew G. Knepley   Input Parameter:
89008449791SMatthew G. Knepley . dm - The DM
89108449791SMatthew G. Knepley 
89208449791SMatthew G. Knepley   Output Parameters:
89308449791SMatthew G. Knepley + facegeom - The values precomputed from face geometry
89408449791SMatthew G. Knepley . cellgeom - The values precomputed from cell geometry
89508449791SMatthew G. Knepley - minRadius - The minimum radius over the mesh of an inscribed sphere in a cell
89608449791SMatthew G. Knepley 
89708449791SMatthew G. Knepley   Level: developer
89808449791SMatthew G. Knepley 
89908449791SMatthew G. Knepley .seealso: DMPlexTSSetRHSFunctionLocal()
90008449791SMatthew G. Knepley @*/
90108449791SMatthew G. Knepley PetscErrorCode DMPlexSNESGetGeometryFVM(DM dm, Vec *facegeom, Vec *cellgeom, PetscReal *minRadius)
90224cdb843SMatthew G. Knepley {
90308449791SMatthew G. Knepley   DMSNES         dmsnes;
90408449791SMatthew G. Knepley   PetscObject    obj;
90524cdb843SMatthew G. Knepley   PetscErrorCode ierr;
90624cdb843SMatthew G. Knepley 
90724cdb843SMatthew G. Knepley   PetscFunctionBegin;
90808449791SMatthew G. Knepley   PetscValidHeaderSpecific(dm,DM_CLASSID,1);
90908449791SMatthew G. Knepley   ierr = DMGetDMSNES(dm, &dmsnes);CHKERRQ(ierr);
91008449791SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_facegeom_fvm", &obj);CHKERRQ(ierr);
91108449791SMatthew G. Knepley   if (!obj) {
91208449791SMatthew G. Knepley     Vec cellgeom, facegeom;
91324cdb843SMatthew G. Knepley 
91408449791SMatthew G. Knepley     ierr = DMPlexComputeGeometryFVM(dm, &cellgeom, &facegeom);CHKERRQ(ierr);
91508449791SMatthew G. Knepley     ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_facegeom_fvm", (PetscObject) facegeom);CHKERRQ(ierr);
91608449791SMatthew G. Knepley     ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fvm", (PetscObject) cellgeom);CHKERRQ(ierr);
91708449791SMatthew G. Knepley     ierr = VecDestroy(&facegeom);CHKERRQ(ierr);
91808449791SMatthew G. Knepley     ierr = VecDestroy(&cellgeom);CHKERRQ(ierr);
91908449791SMatthew G. Knepley   }
92008449791SMatthew G. Knepley   if (facegeom) {PetscValidPointer(facegeom, 2); ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_facegeom_fvm", (PetscObject *) facegeom);CHKERRQ(ierr);}
92108449791SMatthew G. Knepley   if (cellgeom) {PetscValidPointer(cellgeom, 3); ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_cellgeom_fvm", (PetscObject *) cellgeom);CHKERRQ(ierr);}
92208449791SMatthew G. Knepley   if (minRadius) {ierr = DMPlexGetMinRadius(dm, minRadius);CHKERRQ(ierr);}
92324cdb843SMatthew G. Knepley   PetscFunctionReturn(0);
92424cdb843SMatthew G. Knepley }
92524cdb843SMatthew G. Knepley 
92624cdb843SMatthew G. Knepley #undef __FUNCT__
92708449791SMatthew G. Knepley #define __FUNCT__ "DMPlexSNESGetGradientDM"
928dbd489d2SMatthew G. Knepley /*@
92908449791SMatthew G. Knepley   DMPlexSNESGetGradientDM - Return gradient data layout
93008449791SMatthew G. Knepley 
93108449791SMatthew G. Knepley   Input Parameters:
93208449791SMatthew G. Knepley + dm - The DM
93308449791SMatthew G. Knepley - fv - The PetscFV
93408449791SMatthew G. Knepley 
93508449791SMatthew G. Knepley   Output Parameter:
93608449791SMatthew G. Knepley . dmGrad - The layout for gradient values
93708449791SMatthew G. Knepley 
93808449791SMatthew G. Knepley   Level: developer
93908449791SMatthew G. Knepley 
94008449791SMatthew G. Knepley .seealso: DMPlexSNESGetGeometryFVM()
94108449791SMatthew G. Knepley @*/
94208449791SMatthew G. Knepley PetscErrorCode DMPlexSNESGetGradientDM(DM dm, PetscFV fv, DM *dmGrad)
94324cdb843SMatthew G. Knepley {
94408449791SMatthew G. Knepley   DMSNES         dmsnes;
94508449791SMatthew G. Knepley   PetscObject    obj;
94608449791SMatthew G. Knepley   PetscBool      computeGradients;
94724cdb843SMatthew G. Knepley   PetscErrorCode ierr;
94824cdb843SMatthew G. Knepley 
94924cdb843SMatthew G. Knepley   PetscFunctionBegin;
95008449791SMatthew G. Knepley   PetscValidHeaderSpecific(dm,DM_CLASSID,1);
95108449791SMatthew G. Knepley   PetscValidHeaderSpecific(fv,PETSCFV_CLASSID,2);
95208449791SMatthew G. Knepley   PetscValidPointer(dmGrad,3);
95308449791SMatthew G. Knepley   ierr = PetscFVGetComputeGradients(fv, &computeGradients);CHKERRQ(ierr);
95408449791SMatthew G. Knepley   if (!computeGradients) {*dmGrad = NULL; PetscFunctionReturn(0);}
95508449791SMatthew G. Knepley   ierr = DMGetDMSNES(dm, &dmsnes);CHKERRQ(ierr);
95608449791SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_dmgrad_fvm", &obj);CHKERRQ(ierr);
95708449791SMatthew G. Knepley   if (!obj) {
95808449791SMatthew G. Knepley     DM  dmGrad;
95908449791SMatthew G. Knepley     Vec faceGeometry, cellGeometry;
96008449791SMatthew G. Knepley 
96108449791SMatthew G. Knepley     ierr = DMPlexSNESGetGeometryFVM(dm, &faceGeometry, &cellGeometry, NULL);CHKERRQ(ierr);
96208449791SMatthew G. Knepley     ierr = DMPlexComputeGradientFVM(dm, fv, faceGeometry, cellGeometry, &dmGrad);CHKERRQ(ierr);
96308449791SMatthew G. Knepley     ierr = PetscObjectCompose((PetscObject) dmsnes, "DMPlexSNES_dmgrad_fvm", (PetscObject) dmGrad);CHKERRQ(ierr);
96408449791SMatthew G. Knepley     ierr = DMDestroy(&dmGrad);CHKERRQ(ierr);
96508449791SMatthew G. Knepley   }
96608449791SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dmsnes, "DMPlexSNES_dmgrad_fvm", (PetscObject *) dmGrad);CHKERRQ(ierr);
96708449791SMatthew G. Knepley   PetscFunctionReturn(0);
96808449791SMatthew G. Knepley }
96908449791SMatthew G. Knepley 
97008449791SMatthew G. Knepley #undef __FUNCT__
97108449791SMatthew G. Knepley #define __FUNCT__ "DMPlexGetCellFields"
97208449791SMatthew G. Knepley /*@C
97308449791SMatthew G. Knepley   DMPlexGetCellFields - Retrieve the field values values for a chunk of cells
97408449791SMatthew G. Knepley 
97508449791SMatthew G. Knepley   Input Parameters:
97608449791SMatthew G. Knepley + dm     - The DM
97708449791SMatthew G. Knepley . cStart - The first cell to include
97808449791SMatthew G. Knepley . cEnd   - The first cell to exclude
97908449791SMatthew G. Knepley . locX   - A local vector with the solution fields
98008449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL
98108449791SMatthew G. Knepley - locA   - A local vector with auxiliary fields, or NULL
98208449791SMatthew G. Knepley 
98308449791SMatthew G. Knepley   Output Parameters:
98408449791SMatthew G. Knepley + u   - The field coefficients
98508449791SMatthew G. Knepley . u_t - The fields derivative coefficients
98608449791SMatthew G. Knepley - a   - The auxiliary field coefficients
98708449791SMatthew G. Knepley 
98808449791SMatthew G. Knepley   Level: developer
98908449791SMatthew G. Knepley 
99008449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields()
99108449791SMatthew G. Knepley @*/
99208449791SMatthew G. Knepley PetscErrorCode DMPlexGetCellFields(DM dm, PetscInt cStart, PetscInt cEnd, Vec locX, Vec locX_t, Vec locA, PetscScalar **u, PetscScalar **u_t, PetscScalar **a)
99308449791SMatthew G. Knepley {
99408449791SMatthew G. Knepley   DM             dmAux;
99508449791SMatthew G. Knepley   PetscSection   section, sectionAux;
99608449791SMatthew G. Knepley   PetscDS        prob;
99708449791SMatthew G. Knepley   PetscInt       numCells = cEnd - cStart, totDim, totDimAux, c;
99808449791SMatthew G. Knepley   PetscErrorCode ierr;
99908449791SMatthew G. Knepley 
100008449791SMatthew G. Knepley   PetscFunctionBegin;
100108449791SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
100208449791SMatthew G. Knepley   PetscValidHeaderSpecific(locX, VEC_CLASSID, 4);
100308449791SMatthew G. Knepley   if (locX_t) {PetscValidHeaderSpecific(locX_t, VEC_CLASSID, 5);}
100408449791SMatthew G. Knepley   if (locA)   {PetscValidHeaderSpecific(locA, VEC_CLASSID, 6);}
100508449791SMatthew G. Knepley   PetscValidPointer(u, 7);
100608449791SMatthew G. Knepley   PetscValidPointer(u_t, 8);
100708449791SMatthew G. Knepley   PetscValidPointer(a, 9);
100824cdb843SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
100924cdb843SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
101024cdb843SMatthew G. Knepley   ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr);
101108449791SMatthew G. Knepley   if (locA) {
101208449791SMatthew G. Knepley     PetscDS probAux;
101308449791SMatthew G. Knepley 
101408449791SMatthew G. Knepley     ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr);
101524cdb843SMatthew G. Knepley     ierr = DMGetDefaultSection(dmAux, &sectionAux);CHKERRQ(ierr);
101624cdb843SMatthew G. Knepley     ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr);
101724cdb843SMatthew G. Knepley     ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr);
101824cdb843SMatthew G. Knepley   }
101908449791SMatthew G. Knepley   ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, u);CHKERRQ(ierr);
102049073227SMatthew G. Knepley   if (locX_t) {ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, u_t);CHKERRQ(ierr);} else {*u_t = NULL;}
102149073227SMatthew G. Knepley   if (locA)   {ierr = DMGetWorkArray(dm, numCells*totDimAux, PETSC_SCALAR, a);CHKERRQ(ierr);} else {*a = NULL;}
102224cdb843SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
102308449791SMatthew G. Knepley     PetscScalar *x = NULL, *x_t = NULL, *ul = *u, *ul_t = *u_t, *al = *a;
102424cdb843SMatthew G. Knepley     PetscInt     i;
102524cdb843SMatthew G. Knepley 
102608449791SMatthew G. Knepley     ierr = DMPlexVecGetClosure(dm, section, locX, c, NULL, &x);CHKERRQ(ierr);
10279f11d433SMatthew G. Knepley     for (i = 0; i < totDim; ++i) ul[(c-cStart)*totDim+i] = x[i];
102808449791SMatthew G. Knepley     ierr = DMPlexVecRestoreClosure(dm, section, locX, c, NULL, &x);CHKERRQ(ierr);
102908449791SMatthew G. Knepley     if (locX_t) {
103008449791SMatthew G. Knepley       ierr = DMPlexVecGetClosure(dm, section, locX_t, c, NULL, &x_t);CHKERRQ(ierr);
10319f11d433SMatthew G. Knepley       for (i = 0; i < totDim; ++i) ul_t[(c-cStart)*totDim+i] = x_t[i];
103208449791SMatthew G. Knepley       ierr = DMPlexVecRestoreClosure(dm, section, locX_t, c, NULL, &x_t);CHKERRQ(ierr);
103324cdb843SMatthew G. Knepley     }
103408449791SMatthew G. Knepley     if (locA) {
10356da023fcSToby Isaac       DM dmAuxPlex;
10366da023fcSToby Isaac 
10376da023fcSToby Isaac       ierr = DMSNESConvertPlex(dmAux, &dmAuxPlex, PETSC_FALSE);CHKERRQ(ierr);
10386da023fcSToby Isaac       ierr = DMPlexVecGetClosure(dmAuxPlex, sectionAux, locA, c, NULL, &x);CHKERRQ(ierr);
10399f11d433SMatthew G. Knepley       for (i = 0; i < totDimAux; ++i) al[(c-cStart)*totDimAux+i] = x[i];
10406da023fcSToby Isaac       ierr = DMPlexVecRestoreClosure(dmAuxPlex, sectionAux, locA, c, NULL, &x);CHKERRQ(ierr);
10416da023fcSToby Isaac       ierr = DMDestroy(&dmAuxPlex);CHKERRQ(ierr);
104224cdb843SMatthew G. Knepley     }
104324cdb843SMatthew G. Knepley   }
104408449791SMatthew G. Knepley   PetscFunctionReturn(0);
104508449791SMatthew G. Knepley }
104624cdb843SMatthew G. Knepley 
104708449791SMatthew G. Knepley #undef __FUNCT__
104808449791SMatthew G. Knepley #define __FUNCT__ "DMPlexRestoreCellFields"
104908449791SMatthew G. Knepley /*@C
105008449791SMatthew G. Knepley   DMPlexRestoreCellFields - Restore the field values values for a chunk of cells
105108449791SMatthew G. Knepley 
105208449791SMatthew G. Knepley   Input Parameters:
105308449791SMatthew G. Knepley + dm     - The DM
105408449791SMatthew G. Knepley . cStart - The first cell to include
105508449791SMatthew G. Knepley . cEnd   - The first cell to exclude
105608449791SMatthew G. Knepley . locX   - A local vector with the solution fields
105708449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL
105808449791SMatthew G. Knepley - locA   - A local vector with auxiliary fields, or NULL
105908449791SMatthew G. Knepley 
106008449791SMatthew G. Knepley   Output Parameters:
106108449791SMatthew G. Knepley + u   - The field coefficients
106208449791SMatthew G. Knepley . u_t - The fields derivative coefficients
106308449791SMatthew G. Knepley - a   - The auxiliary field coefficients
106408449791SMatthew G. Knepley 
106508449791SMatthew G. Knepley   Level: developer
106608449791SMatthew G. Knepley 
106708449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields()
106808449791SMatthew G. Knepley @*/
106908449791SMatthew G. Knepley PetscErrorCode DMPlexRestoreCellFields(DM dm, PetscInt cStart, PetscInt cEnd, Vec locX, Vec locX_t, Vec locA, PetscScalar **u, PetscScalar **u_t, PetscScalar **a)
107008449791SMatthew G. Knepley {
107108449791SMatthew G. Knepley   PetscErrorCode ierr;
107208449791SMatthew G. Knepley 
107308449791SMatthew G. Knepley   PetscFunctionBegin;
107408449791SMatthew G. Knepley   ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, u);CHKERRQ(ierr);
107549073227SMatthew G. Knepley   if (*u_t) {ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, u_t);CHKERRQ(ierr);}
107649073227SMatthew G. Knepley   if (*a)   {ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, a);CHKERRQ(ierr);}
107708449791SMatthew G. Knepley   PetscFunctionReturn(0);
107824cdb843SMatthew G. Knepley }
107908449791SMatthew G. Knepley 
108008449791SMatthew G. Knepley #undef __FUNCT__
108108449791SMatthew G. Knepley #define __FUNCT__ "DMPlexGetFaceFields"
108208449791SMatthew G. Knepley /*@C
108308449791SMatthew G. Knepley   DMPlexGetFaceFields - Retrieve the field values values for a chunk of faces
108408449791SMatthew G. Knepley 
108508449791SMatthew G. Knepley   Input Parameters:
108608449791SMatthew G. Knepley + dm     - The DM
108708449791SMatthew G. Knepley . fStart - The first face to include
108808449791SMatthew G. Knepley . fEnd   - The first face to exclude
108908449791SMatthew G. Knepley . locX   - A local vector with the solution fields
109008449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL
109108449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry
109208449791SMatthew G. Knepley . cellGeometry - A local vector with cell geometry
109308449791SMatthew G. Knepley - locaGrad - A local vector with field gradients, or NULL
109408449791SMatthew G. Knepley 
109508449791SMatthew G. Knepley   Output Parameters:
1096477f7dfdSMatthew G. Knepley + uL - The field values at the left side of the face
1097477f7dfdSMatthew G. Knepley - uR - The field values at the right side of the face
109808449791SMatthew G. Knepley 
109908449791SMatthew G. Knepley   Level: developer
110008449791SMatthew G. Knepley 
110108449791SMatthew G. Knepley .seealso: DMPlexGetCellFields()
110208449791SMatthew G. Knepley @*/
110308449791SMatthew 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)
110408449791SMatthew G. Knepley {
110508449791SMatthew G. Knepley   DM                 dmFace, dmCell, dmGrad = NULL;
1106195142f5SMatthew G. Knepley   PetscSection       section;
110708449791SMatthew G. Knepley   PetscDS            prob;
110808449791SMatthew G. Knepley   DMLabel            ghostLabel;
110908449791SMatthew G. Knepley   const PetscScalar *facegeom, *cellgeom, *x, *lgrad;
1110477f7dfdSMatthew G. Knepley   PetscBool         *isFE;
1111477f7dfdSMatthew G. Knepley   PetscInt           dim, Nf, f, Nc, numFaces = fEnd - fStart, iface, face;
111208449791SMatthew G. Knepley   PetscErrorCode     ierr;
111308449791SMatthew G. Knepley 
111408449791SMatthew G. Knepley   PetscFunctionBegin;
111508449791SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
111608449791SMatthew G. Knepley   PetscValidHeaderSpecific(locX, VEC_CLASSID, 4);
111708449791SMatthew G. Knepley   if (locX_t) {PetscValidHeaderSpecific(locX_t, VEC_CLASSID, 5);}
111808449791SMatthew G. Knepley   PetscValidHeaderSpecific(faceGeometry, VEC_CLASSID, 6);
111908449791SMatthew G. Knepley   PetscValidHeaderSpecific(cellGeometry, VEC_CLASSID, 7);
112008449791SMatthew G. Knepley   if (locGrad) {PetscValidHeaderSpecific(locGrad, VEC_CLASSID, 8);}
112108449791SMatthew G. Knepley   PetscValidPointer(uL, 9);
112208449791SMatthew G. Knepley   PetscValidPointer(uR, 10);
112308449791SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
112408449791SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
1125195142f5SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
1126477f7dfdSMatthew G. Knepley   ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr);
1127477f7dfdSMatthew G. Knepley   ierr = PetscDSGetTotalComponents(prob, &Nc);CHKERRQ(ierr);
1128477f7dfdSMatthew G. Knepley   ierr = PetscMalloc1(Nf, &isFE);CHKERRQ(ierr);
1129477f7dfdSMatthew G. Knepley   for (f = 0; f < Nf; ++f) {
1130477f7dfdSMatthew G. Knepley     PetscObject  obj;
1131477f7dfdSMatthew G. Knepley     PetscClassId id;
1132477f7dfdSMatthew G. Knepley 
1133477f7dfdSMatthew G. Knepley     ierr = DMGetField(dm, f, &obj);CHKERRQ(ierr);
1134477f7dfdSMatthew G. Knepley     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
1135477f7dfdSMatthew G. Knepley     if (id == PETSCFE_CLASSID)      {isFE[f] = PETSC_TRUE;}
1136477f7dfdSMatthew G. Knepley     else if (id == PETSCFV_CLASSID) {isFE[f] = PETSC_FALSE;}
1137477f7dfdSMatthew G. Knepley     else                            {isFE[f] = PETSC_FALSE;}
1138477f7dfdSMatthew G. Knepley   }
1139c58f1c22SToby Isaac   ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr);
114008449791SMatthew G. Knepley   ierr = VecGetArrayRead(locX, &x);CHKERRQ(ierr);
114108449791SMatthew G. Knepley   ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr);
114208449791SMatthew G. Knepley   ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
114308449791SMatthew G. Knepley   ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr);
114408449791SMatthew G. Knepley   ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
114508449791SMatthew G. Knepley   if (locGrad) {
114608449791SMatthew G. Knepley     ierr = VecGetDM(locGrad, &dmGrad);CHKERRQ(ierr);
114708449791SMatthew G. Knepley     ierr = VecGetArrayRead(locGrad, &lgrad);CHKERRQ(ierr);
114824cdb843SMatthew G. Knepley   }
1149477f7dfdSMatthew G. Knepley   ierr = DMGetWorkArray(dm, numFaces*Nc, PETSC_SCALAR, uL);CHKERRQ(ierr);
1150477f7dfdSMatthew G. Knepley   ierr = DMGetWorkArray(dm, numFaces*Nc, PETSC_SCALAR, uR);CHKERRQ(ierr);
1151477f7dfdSMatthew G. Knepley   /* Right now just eat the extra work for FE (could make a cell loop) */
115208449791SMatthew G. Knepley   for (face = fStart, iface = 0; face < fEnd; ++face) {
115308449791SMatthew G. Knepley     const PetscInt        *cells;
115408449791SMatthew G. Knepley     const PetscFVFaceGeom *fg;
115508449791SMatthew G. Knepley     const PetscFVCellGeom *cgL, *cgR;
115608449791SMatthew G. Knepley     const PetscScalar     *xL, *xR, *gL, *gR;
115708449791SMatthew G. Knepley     PetscScalar           *uLl = *uL, *uRl = *uR;
1158e697831aSToby Isaac     PetscInt               ghost, nsupp;
115908449791SMatthew G. Knepley 
116008449791SMatthew G. Knepley     ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr);
1161e697831aSToby Isaac     ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr);
116208449791SMatthew G. Knepley     if (ghost >= 0) continue;
116308449791SMatthew G. Knepley     ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr);
116408449791SMatthew G. Knepley     ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr);
116508449791SMatthew G. Knepley     ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cgL);CHKERRQ(ierr);
116608449791SMatthew G. Knepley     ierr = DMPlexPointLocalRead(dmCell, cells[1], cellgeom, &cgR);CHKERRQ(ierr);
1167477f7dfdSMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
1168477f7dfdSMatthew G. Knepley       PetscInt off;
1169477f7dfdSMatthew G. Knepley 
117037a43ebbSMatthew G. Knepley       ierr = PetscDSGetComponentOffset(prob, f, &off);CHKERRQ(ierr);
1171477f7dfdSMatthew G. Knepley       if (isFE[f]) {
1172477f7dfdSMatthew G. Knepley         const PetscInt *cone;
1173cca9989dSMatthew G. Knepley         PetscInt        comp, coneSize, faceLocL, faceLocR, ldof, rdof, d;
1174477f7dfdSMatthew G. Knepley 
1175cca9989dSMatthew G. Knepley         xL = xR = NULL;
1176cca9989dSMatthew G. Knepley         ierr = DMPlexVecGetClosure(dm, section, locX, cells[0], &ldof, (PetscScalar **) &xL);CHKERRQ(ierr);
1177cca9989dSMatthew G. Knepley         ierr = DMPlexVecGetClosure(dm, section, locX, cells[1], &rdof, (PetscScalar **) &xR);CHKERRQ(ierr);
1178477f7dfdSMatthew G. Knepley         ierr = DMPlexGetCone(dm, cells[0], &cone);CHKERRQ(ierr);
1179477f7dfdSMatthew G. Knepley         ierr = DMPlexGetConeSize(dm, cells[0], &coneSize);CHKERRQ(ierr);
1180477f7dfdSMatthew G. Knepley         for (faceLocL = 0; faceLocL < coneSize; ++faceLocL) if (cone[faceLocL] == face) break;
1181477f7dfdSMatthew 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]);
1182477f7dfdSMatthew G. Knepley         ierr = DMPlexGetCone(dm, cells[1], &cone);CHKERRQ(ierr);
1183477f7dfdSMatthew G. Knepley         ierr = DMPlexGetConeSize(dm, cells[1], &coneSize);CHKERRQ(ierr);
1184477f7dfdSMatthew G. Knepley         for (faceLocR = 0; faceLocR < coneSize; ++faceLocR) if (cone[faceLocR] == face) break;
1185477f7dfdSMatthew 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]);
1186195142f5SMatthew G. Knepley         /* Check that FEM field has values in the right cell (sometimes its an FV ghost cell) */
1187477f7dfdSMatthew G. Knepley         ierr = EvaluateFaceFields(prob, f, faceLocL, xL, &uLl[iface*Nc+off]);CHKERRQ(ierr);
1188cca9989dSMatthew G. Knepley         if (rdof == ldof) {ierr = EvaluateFaceFields(prob, f, faceLocR, xR, &uRl[iface*Nc+off]);CHKERRQ(ierr);}
1189cca9989dSMatthew 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];}
1190cca9989dSMatthew G. Knepley         ierr = DMPlexVecRestoreClosure(dm, section, locX, cells[0], &ldof, (PetscScalar **) &xL);CHKERRQ(ierr);
1191cca9989dSMatthew G. Knepley         ierr = DMPlexVecRestoreClosure(dm, section, locX, cells[1], &rdof, (PetscScalar **) &xR);CHKERRQ(ierr);
1192477f7dfdSMatthew G. Knepley       } else {
1193477f7dfdSMatthew G. Knepley         PetscFV  fv;
1194477f7dfdSMatthew G. Knepley         PetscInt numComp, c;
1195477f7dfdSMatthew G. Knepley 
1196477f7dfdSMatthew G. Knepley         ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fv);CHKERRQ(ierr);
1197477f7dfdSMatthew G. Knepley         ierr = PetscFVGetNumComponents(fv, &numComp);CHKERRQ(ierr);
1198e697831aSToby Isaac         if (nsupp > 2) {
1199e697831aSToby Isaac           for (f = 0; f < Nf; ++f) {
1200e697831aSToby Isaac             PetscInt off;
1201e697831aSToby Isaac 
1202e697831aSToby Isaac             ierr = PetscDSGetComponentOffset(prob, f, &off);CHKERRQ(ierr);
1203e697831aSToby Isaac             ierr = PetscFVGetNumComponents(fv, &numComp);CHKERRQ(ierr);
1204e697831aSToby Isaac             for (c = 0; c < numComp; ++c) {
1205e697831aSToby Isaac               uLl[iface*Nc+off+c] = 0.;
1206e697831aSToby Isaac               uRl[iface*Nc+off+c] = 0.;
1207e697831aSToby Isaac             }
1208e697831aSToby Isaac           }
1209e697831aSToby Isaac           continue;
1210e697831aSToby Isaac         }
1211cca9989dSMatthew G. Knepley         ierr = DMPlexPointLocalFieldRead(dm, cells[0], f, x, &xL);CHKERRQ(ierr);
1212cca9989dSMatthew G. Knepley         ierr = DMPlexPointLocalFieldRead(dm, cells[1], f, x, &xR);CHKERRQ(ierr);
121308449791SMatthew G. Knepley         if (dmGrad) {
121408449791SMatthew G. Knepley           PetscReal dxL[3], dxR[3];
121508449791SMatthew G. Knepley 
121608449791SMatthew G. Knepley           ierr = DMPlexPointLocalRead(dmGrad, cells[0], lgrad, &gL);CHKERRQ(ierr);
121708449791SMatthew G. Knepley           ierr = DMPlexPointLocalRead(dmGrad, cells[1], lgrad, &gR);CHKERRQ(ierr);
121808449791SMatthew G. Knepley           DMPlex_WaxpyD_Internal(dim, -1, cgL->centroid, fg->centroid, dxL);
121908449791SMatthew G. Knepley           DMPlex_WaxpyD_Internal(dim, -1, cgR->centroid, fg->centroid, dxR);
1220477f7dfdSMatthew G. Knepley           for (c = 0; c < numComp; ++c) {
1221477f7dfdSMatthew G. Knepley             uLl[iface*Nc+off+c] = xL[c] + DMPlex_DotD_Internal(dim, &gL[c*dim], dxL);
1222477f7dfdSMatthew G. Knepley             uRl[iface*Nc+off+c] = xR[c] + DMPlex_DotD_Internal(dim, &gR[c*dim], dxR);
122308449791SMatthew G. Knepley           }
122408449791SMatthew G. Knepley         } else {
1225477f7dfdSMatthew G. Knepley           for (c = 0; c < numComp; ++c) {
1226477f7dfdSMatthew G. Knepley             uLl[iface*Nc+off+c] = xL[c];
1227477f7dfdSMatthew G. Knepley             uRl[iface*Nc+off+c] = xR[c];
1228477f7dfdSMatthew G. Knepley           }
1229477f7dfdSMatthew G. Knepley         }
123008449791SMatthew G. Knepley       }
123108449791SMatthew G. Knepley     }
123208449791SMatthew G. Knepley     ++iface;
123308449791SMatthew G. Knepley   }
123408449791SMatthew G. Knepley   ierr = VecRestoreArrayRead(locX, &x);CHKERRQ(ierr);
123508449791SMatthew G. Knepley   ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
123608449791SMatthew G. Knepley   ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
123708449791SMatthew G. Knepley   if (locGrad) {
123808449791SMatthew G. Knepley     ierr = VecRestoreArrayRead(locGrad, &lgrad);CHKERRQ(ierr);
123908449791SMatthew G. Knepley   }
1240477f7dfdSMatthew G. Knepley   ierr = PetscFree(isFE);CHKERRQ(ierr);
124108449791SMatthew G. Knepley   PetscFunctionReturn(0);
124208449791SMatthew G. Knepley }
124308449791SMatthew G. Knepley 
124408449791SMatthew G. Knepley #undef __FUNCT__
124508449791SMatthew G. Knepley #define __FUNCT__ "DMPlexRestoreFaceFields"
124608449791SMatthew G. Knepley /*@C
124708449791SMatthew G. Knepley   DMPlexRestoreFaceFields - Restore the field values values for a chunk of faces
124808449791SMatthew G. Knepley 
124908449791SMatthew G. Knepley   Input Parameters:
125008449791SMatthew G. Knepley + dm     - The DM
125108449791SMatthew G. Knepley . fStart - The first face to include
125208449791SMatthew G. Knepley . fEnd   - The first face to exclude
125308449791SMatthew G. Knepley . locX   - A local vector with the solution fields
125408449791SMatthew G. Knepley . locX_t - A local vector with solution field time derivatives, or NULL
125508449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry
125608449791SMatthew G. Knepley . cellGeometry - A local vector with cell geometry
125708449791SMatthew G. Knepley - locaGrad - A local vector with field gradients, or NULL
125808449791SMatthew G. Knepley 
125908449791SMatthew G. Knepley   Output Parameters:
1260477f7dfdSMatthew G. Knepley + uL - The field values at the left side of the face
1261477f7dfdSMatthew G. Knepley - uR - The field values at the right side of the face
126208449791SMatthew G. Knepley 
126308449791SMatthew G. Knepley   Level: developer
126408449791SMatthew G. Knepley 
126508449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields()
126608449791SMatthew G. Knepley @*/
126708449791SMatthew 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)
126808449791SMatthew G. Knepley {
126908449791SMatthew G. Knepley   PetscErrorCode ierr;
127008449791SMatthew G. Knepley 
127108449791SMatthew G. Knepley   PetscFunctionBegin;
127208449791SMatthew G. Knepley   ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, uL);CHKERRQ(ierr);
127308449791SMatthew G. Knepley   ierr = DMRestoreWorkArray(dm, 0, PETSC_SCALAR, uR);CHKERRQ(ierr);
127408449791SMatthew G. Knepley   PetscFunctionReturn(0);
127508449791SMatthew G. Knepley }
127608449791SMatthew G. Knepley 
127708449791SMatthew G. Knepley #undef __FUNCT__
127808449791SMatthew G. Knepley #define __FUNCT__ "DMPlexGetFaceGeometry"
127908449791SMatthew G. Knepley /*@C
128008449791SMatthew G. Knepley   DMPlexGetFaceGeometry - Retrieve the geometric values for a chunk of faces
128108449791SMatthew G. Knepley 
128208449791SMatthew G. Knepley   Input Parameters:
128308449791SMatthew G. Knepley + dm     - The DM
128408449791SMatthew G. Knepley . fStart - The first face to include
128508449791SMatthew G. Knepley . fEnd   - The first face to exclude
128608449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry
128708449791SMatthew G. Knepley - cellGeometry - A local vector with cell geometry
128808449791SMatthew G. Knepley 
128908449791SMatthew G. Knepley   Output Parameters:
129008449791SMatthew G. Knepley + fgeom - The extract the face centroid and normal
129108449791SMatthew G. Knepley - vol   - The cell volume
129208449791SMatthew G. Knepley 
129308449791SMatthew G. Knepley   Level: developer
129408449791SMatthew G. Knepley 
129508449791SMatthew G. Knepley .seealso: DMPlexGetCellFields()
129608449791SMatthew G. Knepley @*/
129708449791SMatthew G. Knepley PetscErrorCode DMPlexGetFaceGeometry(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, PetscFVFaceGeom **fgeom, PetscReal **vol)
129808449791SMatthew G. Knepley {
129908449791SMatthew G. Knepley   DM                 dmFace, dmCell;
130008449791SMatthew G. Knepley   DMLabel            ghostLabel;
130108449791SMatthew G. Knepley   const PetscScalar *facegeom, *cellgeom;
130208449791SMatthew G. Knepley   PetscInt           dim, numFaces = fEnd - fStart, iface, face;
130308449791SMatthew G. Knepley   PetscErrorCode     ierr;
130408449791SMatthew G. Knepley 
130508449791SMatthew G. Knepley   PetscFunctionBegin;
130608449791SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
130708449791SMatthew G. Knepley   PetscValidHeaderSpecific(faceGeometry, VEC_CLASSID, 4);
130808449791SMatthew G. Knepley   PetscValidHeaderSpecific(cellGeometry, VEC_CLASSID, 5);
130908449791SMatthew G. Knepley   PetscValidPointer(fgeom, 6);
131008449791SMatthew G. Knepley   PetscValidPointer(vol, 7);
131108449791SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
1312c58f1c22SToby Isaac   ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr);
131308449791SMatthew G. Knepley   ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr);
131408449791SMatthew G. Knepley   ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
131508449791SMatthew G. Knepley   ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr);
131608449791SMatthew G. Knepley   ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
131708449791SMatthew G. Knepley   ierr = PetscMalloc1(numFaces, fgeom);CHKERRQ(ierr);
131808449791SMatthew G. Knepley   ierr = DMGetWorkArray(dm, numFaces*2, PETSC_SCALAR, vol);CHKERRQ(ierr);
131908449791SMatthew G. Knepley   for (face = fStart, iface = 0; face < fEnd; ++face) {
132008449791SMatthew G. Knepley     const PetscInt        *cells;
132108449791SMatthew G. Knepley     const PetscFVFaceGeom *fg;
132208449791SMatthew G. Knepley     const PetscFVCellGeom *cgL, *cgR;
132308449791SMatthew G. Knepley     PetscFVFaceGeom       *fgeoml = *fgeom;
13242eefff9cSMatthew G. Knepley     PetscReal             *voll   = *vol;
132508449791SMatthew G. Knepley     PetscInt               ghost, d;
132608449791SMatthew G. Knepley 
132708449791SMatthew G. Knepley     ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr);
132808449791SMatthew G. Knepley     if (ghost >= 0) continue;
132908449791SMatthew G. Knepley     ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr);
133008449791SMatthew G. Knepley     ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr);
133108449791SMatthew G. Knepley     ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cgL);CHKERRQ(ierr);
133208449791SMatthew G. Knepley     ierr = DMPlexPointLocalRead(dmCell, cells[1], cellgeom, &cgR);CHKERRQ(ierr);
133308449791SMatthew G. Knepley     for (d = 0; d < dim; ++d) {
133408449791SMatthew G. Knepley       fgeoml[iface].centroid[d] = fg->centroid[d];
133508449791SMatthew G. Knepley       fgeoml[iface].normal[d]   = fg->normal[d];
133608449791SMatthew G. Knepley     }
133708449791SMatthew G. Knepley     voll[iface*2+0] = cgL->volume;
133808449791SMatthew G. Knepley     voll[iface*2+1] = cgR->volume;
133908449791SMatthew G. Knepley     ++iface;
134008449791SMatthew G. Knepley   }
134108449791SMatthew G. Knepley   ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
134208449791SMatthew G. Knepley   ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
134308449791SMatthew G. Knepley   PetscFunctionReturn(0);
134408449791SMatthew G. Knepley }
134508449791SMatthew G. Knepley 
134608449791SMatthew G. Knepley #undef __FUNCT__
134708449791SMatthew G. Knepley #define __FUNCT__ "DMPlexRestoreFaceGeometry"
134808449791SMatthew G. Knepley /*@C
134908449791SMatthew G. Knepley   DMPlexRestoreFaceGeometry - Restore the field values values for a chunk of faces
135008449791SMatthew G. Knepley 
135108449791SMatthew G. Knepley   Input Parameters:
135208449791SMatthew G. Knepley + dm     - The DM
135308449791SMatthew G. Knepley . fStart - The first face to include
135408449791SMatthew G. Knepley . fEnd   - The first face to exclude
135508449791SMatthew G. Knepley . faceGeometry - A local vector with face geometry
135608449791SMatthew G. Knepley - cellGeometry - A local vector with cell geometry
135708449791SMatthew G. Knepley 
135808449791SMatthew G. Knepley   Output Parameters:
135908449791SMatthew G. Knepley + fgeom - The extract the face centroid and normal
136008449791SMatthew G. Knepley - vol   - The cell volume
136108449791SMatthew G. Knepley 
136208449791SMatthew G. Knepley   Level: developer
136308449791SMatthew G. Knepley 
136408449791SMatthew G. Knepley .seealso: DMPlexGetFaceFields()
136508449791SMatthew G. Knepley @*/
136608449791SMatthew G. Knepley PetscErrorCode DMPlexRestoreFaceGeometry(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, PetscFVFaceGeom **fgeom, PetscReal **vol)
136708449791SMatthew G. Knepley {
136808449791SMatthew G. Knepley   PetscErrorCode ierr;
136908449791SMatthew G. Knepley 
137008449791SMatthew G. Knepley   PetscFunctionBegin;
137108449791SMatthew G. Knepley   ierr = PetscFree(*fgeom);CHKERRQ(ierr);
137208449791SMatthew G. Knepley   ierr = DMRestoreWorkArray(dm, 0, PETSC_REAL, vol);CHKERRQ(ierr);
137308449791SMatthew G. Knepley   PetscFunctionReturn(0);
137408449791SMatthew G. Knepley }
137508449791SMatthew G. Knepley 
137608449791SMatthew G. Knepley #undef __FUNCT__
1377cd0a786dSToby Isaac #define __FUNCT__ "DMPlexApplyLimiter_Internal"
1378655c4201SToby 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,
1379cd0a786dSToby Isaac                                                    const PetscScalar *cellgeom, const PetscFVCellGeom *cg, const PetscScalar *cx, const PetscScalar *cgrad)
1380cd0a786dSToby Isaac {
1381cd0a786dSToby Isaac   const PetscInt        *children;
1382cd0a786dSToby Isaac   PetscInt               numChildren;
1383cd0a786dSToby Isaac   PetscErrorCode         ierr;
1384cd0a786dSToby Isaac 
1385cd0a786dSToby Isaac   PetscFunctionBegin;
1386cd0a786dSToby Isaac   ierr = DMPlexGetTreeChildren(dm,face,&numChildren,&children);CHKERRQ(ierr);
1387cd0a786dSToby Isaac   if (numChildren) {
1388cd0a786dSToby Isaac     PetscInt c;
1389cd0a786dSToby Isaac 
1390cd0a786dSToby Isaac     for (c = 0; c < numChildren; c++) {
1391cd0a786dSToby Isaac       PetscInt childFace = children[c];
1392655c4201SToby Isaac 
1393655c4201SToby Isaac       if (childFace >= fStart && childFace < fEnd) {
1394655c4201SToby Isaac         ierr = DMPlexApplyLimiter_Internal(dm,dmCell,lim,dim,totDim,cell,childFace,fStart,fEnd,cellPhi,x,cellgeom,cg,cx,cgrad);CHKERRQ(ierr);
1395655c4201SToby Isaac       }
1396cd0a786dSToby Isaac     }
1397cd0a786dSToby Isaac   }
1398cd0a786dSToby Isaac   else {
1399cd0a786dSToby Isaac     const PetscScalar     *ncx;
1400cd0a786dSToby Isaac     const PetscFVCellGeom *ncg;
1401cd0a786dSToby Isaac     const PetscInt        *fcells;
1402cd0a786dSToby Isaac     PetscInt               ncell, d;
1403cd0a786dSToby Isaac     PetscReal              v[3];
1404cd0a786dSToby Isaac 
1405cd0a786dSToby Isaac     ierr  = DMPlexGetSupport(dm, face, &fcells);CHKERRQ(ierr);
1406cd0a786dSToby Isaac     ncell = cell == fcells[0] ? fcells[1] : fcells[0];
1407cd0a786dSToby Isaac     ierr  = DMPlexPointLocalRead(dm, ncell, x, &ncx);CHKERRQ(ierr);
1408cd0a786dSToby Isaac     ierr  = DMPlexPointLocalRead(dmCell, ncell, cellgeom, &ncg);CHKERRQ(ierr);
1409cd0a786dSToby Isaac     DMPlex_WaxpyD_Internal(dim, -1, cg->centroid, ncg->centroid, v);
1410cd0a786dSToby Isaac     for (d = 0; d < totDim; ++d) {
1411cd0a786dSToby Isaac       /* We use the symmetric slope limited form of Berger, Aftosmis, and Murman 2005 */
1412cd0a786dSToby Isaac       PetscReal phi, flim = 0.5 * PetscRealPart(ncx[d] - cx[d]) / DMPlex_DotD_Internal(dim, &cgrad[d*dim], v);
1413cd0a786dSToby Isaac 
1414cd0a786dSToby Isaac       ierr = PetscLimiterLimit(lim, flim, &phi);CHKERRQ(ierr);
1415cd0a786dSToby Isaac       cellPhi[d] = PetscMin(cellPhi[d], phi);
1416cd0a786dSToby Isaac     }
1417cd0a786dSToby Isaac   }
1418cd0a786dSToby Isaac   PetscFunctionReturn(0);
1419cd0a786dSToby Isaac }
1420cd0a786dSToby Isaac 
1421cd0a786dSToby Isaac #undef __FUNCT__
142208449791SMatthew G. Knepley #define __FUNCT__ "DMPlexReconstructGradients_Internal"
142308449791SMatthew G. Knepley PetscErrorCode DMPlexReconstructGradients_Internal(DM dm, PetscInt fStart, PetscInt fEnd, Vec faceGeometry, Vec cellGeometry, Vec locX, Vec grad)
142408449791SMatthew G. Knepley {
142508449791SMatthew G. Knepley   DM                 dmFace, dmCell, dmGrad;
142608449791SMatthew G. Knepley   DMLabel            ghostLabel;
142708449791SMatthew G. Knepley   PetscDS            prob;
142808449791SMatthew G. Knepley   PetscFV            fvm;
142908449791SMatthew G. Knepley   PetscLimiter       lim;
143008449791SMatthew G. Knepley   const PetscScalar *facegeom, *cellgeom, *x;
143108449791SMatthew G. Knepley   PetscScalar       *gr;
143208449791SMatthew G. Knepley   PetscReal         *cellPhi;
143308449791SMatthew G. Knepley   PetscInt           dim, face, cell, totDim, cStart, cEnd, cEndInterior;
143408449791SMatthew G. Knepley   PetscErrorCode     ierr;
143508449791SMatthew G. Knepley 
143608449791SMatthew G. Knepley   PetscFunctionBegin;
143708449791SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
143808449791SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
143908449791SMatthew G. Knepley   ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr);
1440c58f1c22SToby Isaac   ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr);
144108449791SMatthew G. Knepley   ierr = PetscDSGetDiscretization(prob, 0, (PetscObject *) &fvm);CHKERRQ(ierr);
144208449791SMatthew G. Knepley   ierr = PetscFVGetLimiter(fvm, &lim);CHKERRQ(ierr);
144308449791SMatthew G. Knepley   ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr);
144408449791SMatthew G. Knepley   ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
144508449791SMatthew G. Knepley   ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr);
144608449791SMatthew G. Knepley   ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
144708449791SMatthew G. Knepley   ierr = VecGetArrayRead(locX, &x);CHKERRQ(ierr);
144808449791SMatthew G. Knepley   ierr = VecGetDM(grad, &dmGrad);CHKERRQ(ierr);
144908449791SMatthew G. Knepley   ierr = VecZeroEntries(grad);CHKERRQ(ierr);
145008449791SMatthew G. Knepley   ierr = VecGetArray(grad, &gr);CHKERRQ(ierr);
145108449791SMatthew G. Knepley   /* Reconstruct gradients */
145208449791SMatthew G. Knepley   for (face = fStart; face < fEnd; ++face) {
145308449791SMatthew G. Knepley     const PetscInt        *cells;
145408449791SMatthew G. Knepley     const PetscFVFaceGeom *fg;
145508449791SMatthew G. Knepley     const PetscScalar     *cx[2];
145608449791SMatthew G. Knepley     PetscScalar           *cgrad[2];
145708449791SMatthew G. Knepley     PetscBool              boundary;
145850d63984SToby Isaac     PetscInt               ghost, c, pd, d, numChildren, numCells;
145908449791SMatthew G. Knepley 
146008449791SMatthew G. Knepley     ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr);
1461a6ba4734SToby Isaac     ierr = DMIsBoundaryPoint(dm, face, &boundary);CHKERRQ(ierr);
146250d63984SToby Isaac     ierr = DMPlexGetTreeChildren(dm, face, &numChildren, NULL);CHKERRQ(ierr);
146350d63984SToby Isaac     if (ghost >= 0 || boundary || numChildren) continue;
146450d63984SToby Isaac     ierr = DMPlexGetSupportSize(dm, face, &numCells);CHKERRQ(ierr);
146550d63984SToby Isaac     if (numCells != 2) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "facet %d has %d support points: expected 2",face,numCells);
146608449791SMatthew G. Knepley     ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr);
146708449791SMatthew G. Knepley     ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr);
146808449791SMatthew G. Knepley     for (c = 0; c < 2; ++c) {
146908449791SMatthew G. Knepley       ierr = DMPlexPointLocalRead(dm, cells[c], x, &cx[c]);CHKERRQ(ierr);
147008449791SMatthew G. Knepley       ierr = DMPlexPointGlobalRef(dmGrad, cells[c], gr, &cgrad[c]);CHKERRQ(ierr);
147108449791SMatthew G. Knepley     }
147208449791SMatthew G. Knepley     for (pd = 0; pd < totDim; ++pd) {
147308449791SMatthew G. Knepley       PetscScalar delta = cx[1][pd] - cx[0][pd];
147408449791SMatthew G. Knepley 
147508449791SMatthew G. Knepley       for (d = 0; d < dim; ++d) {
147608449791SMatthew G. Knepley         if (cgrad[0]) cgrad[0][pd*dim+d] += fg->grad[0][d] * delta;
147708449791SMatthew G. Knepley         if (cgrad[1]) cgrad[1][pd*dim+d] -= fg->grad[1][d] * delta;
147808449791SMatthew G. Knepley       }
147908449791SMatthew G. Knepley     }
148008449791SMatthew G. Knepley   }
148108449791SMatthew G. Knepley   /* Limit interior gradients (using cell-based loop because it generalizes better to vector limiters) */
148208449791SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
148308449791SMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
148408449791SMatthew G. Knepley   cEndInterior = cEndInterior < 0 ? cEnd : cEndInterior;
148508449791SMatthew G. Knepley   ierr = DMGetWorkArray(dm, totDim, PETSC_REAL, &cellPhi);CHKERRQ(ierr);
148608449791SMatthew G. Knepley   for (cell = dmGrad && lim ? cStart : cEnd; cell < cEndInterior; ++cell) {
148708449791SMatthew G. Knepley     const PetscInt        *faces;
148808449791SMatthew G. Knepley     const PetscScalar     *cx;
148908449791SMatthew G. Knepley     const PetscFVCellGeom *cg;
149008449791SMatthew G. Knepley     PetscScalar           *cgrad;
149108449791SMatthew G. Knepley     PetscInt               coneSize, f, pd, d;
149208449791SMatthew G. Knepley 
149308449791SMatthew G. Knepley     ierr = DMPlexGetConeSize(dm, cell, &coneSize);CHKERRQ(ierr);
149408449791SMatthew G. Knepley     ierr = DMPlexGetCone(dm, cell, &faces);CHKERRQ(ierr);
149508449791SMatthew G. Knepley     ierr = DMPlexPointLocalRead(dm, cell, x, &cx);CHKERRQ(ierr);
149608449791SMatthew G. Knepley     ierr = DMPlexPointLocalRead(dmCell, cell, cellgeom, &cg);CHKERRQ(ierr);
149708449791SMatthew G. Knepley     ierr = DMPlexPointGlobalRef(dmGrad, cell, gr, &cgrad);CHKERRQ(ierr);
149808449791SMatthew G. Knepley     if (!cgrad) continue; /* Unowned overlap cell, we do not compute */
149908449791SMatthew G. Knepley     /* Limiter will be minimum value over all neighbors */
150008449791SMatthew G. Knepley     for (d = 0; d < totDim; ++d) cellPhi[d] = PETSC_MAX_REAL;
150108449791SMatthew G. Knepley     for (f = 0; f < coneSize; ++f) {
1502655c4201SToby Isaac       ierr = DMPlexApplyLimiter_Internal(dm,dmCell,lim,dim,totDim,cell,faces[f],fStart,fEnd,cellPhi,x,cellgeom,cg,cx,cgrad);CHKERRQ(ierr);
150308449791SMatthew G. Knepley     }
150408449791SMatthew G. Knepley     /* Apply limiter to gradient */
150508449791SMatthew G. Knepley     for (pd = 0; pd < totDim; ++pd)
150608449791SMatthew G. Knepley       /* Scalar limiter applied to each component separately */
150708449791SMatthew G. Knepley       for (d = 0; d < dim; ++d) cgrad[pd*dim+d] *= cellPhi[pd];
150808449791SMatthew G. Knepley   }
150908449791SMatthew G. Knepley   ierr = DMRestoreWorkArray(dm, totDim, PETSC_REAL, &cellPhi);CHKERRQ(ierr);
151008449791SMatthew G. Knepley   ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
151108449791SMatthew G. Knepley   ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
151208449791SMatthew G. Knepley   ierr = VecRestoreArrayRead(locX, &x);CHKERRQ(ierr);
151308449791SMatthew G. Knepley   ierr = VecRestoreArray(grad, &gr);CHKERRQ(ierr);
151408449791SMatthew G. Knepley   PetscFunctionReturn(0);
151508449791SMatthew G. Knepley }
151608449791SMatthew G. Knepley 
151708449791SMatthew G. Knepley #undef __FUNCT__
151808449791SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeBdResidual_Internal"
151908449791SMatthew G. Knepley PetscErrorCode DMPlexComputeBdResidual_Internal(DM dm, Vec locX, Vec locX_t, Vec locF, void *user)
152008449791SMatthew G. Knepley {
152108449791SMatthew G. Knepley   DM_Plex         *mesh = (DM_Plex *) dm->data;
152208449791SMatthew G. Knepley   PetscSection     section;
152308449791SMatthew G. Knepley   PetscDS          prob;
152408449791SMatthew G. Knepley   DMLabel          depth;
152508449791SMatthew G. Knepley   PetscFECellGeom *cgeom;
152608449791SMatthew G. Knepley   PetscScalar     *u = NULL, *u_t = NULL, *elemVec = NULL;
152708449791SMatthew G. Knepley   PetscInt         dim, Nf, f, totDimBd, numBd, bd;
152808449791SMatthew G. Knepley   PetscErrorCode   ierr;
152908449791SMatthew G. Knepley 
153008449791SMatthew G. Knepley   PetscFunctionBegin;
153108449791SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
153208449791SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
153308449791SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
153408449791SMatthew G. Knepley   ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr);
153508449791SMatthew G. Knepley   ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr);
153624cdb843SMatthew G. Knepley   ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr);
1537a6ba4734SToby Isaac   ierr = DMGetNumBoundary(dm, &numBd);CHKERRQ(ierr);
153824cdb843SMatthew G. Knepley   for (bd = 0; bd < numBd; ++bd) {
153924cdb843SMatthew G. Knepley     const char     *bdLabel;
154024cdb843SMatthew G. Knepley     DMLabel         label;
154124cdb843SMatthew G. Knepley     IS              pointIS;
154224cdb843SMatthew G. Knepley     const PetscInt *points;
154324cdb843SMatthew G. Knepley     const PetscInt *values;
154424cdb843SMatthew G. Knepley     PetscInt        field, numValues, numPoints, p, dep, numFaces;
154524cdb843SMatthew G. Knepley     PetscBool       isEssential;
154624cdb843SMatthew G. Knepley 
1547a6ba4734SToby Isaac     ierr = DMGetBoundary(dm, bd, &isEssential, NULL, &bdLabel, &field, NULL, NULL, NULL, &numValues, &values, NULL);CHKERRQ(ierr);
154824cdb843SMatthew G. Knepley     if (isEssential) continue;
154924cdb843SMatthew G. Knepley     if (numValues != 1) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "Bug me and I will fix this");
1550c58f1c22SToby Isaac     ierr = DMGetLabel(dm, bdLabel, &label);CHKERRQ(ierr);
155124cdb843SMatthew G. Knepley     ierr = DMLabelGetStratumSize(label, 1, &numPoints);CHKERRQ(ierr);
155224cdb843SMatthew G. Knepley     ierr = DMLabelGetStratumIS(label, 1, &pointIS);CHKERRQ(ierr);
155324cdb843SMatthew G. Knepley     ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr);
155424cdb843SMatthew G. Knepley     for (p = 0, numFaces = 0; p < numPoints; ++p) {
155524cdb843SMatthew G. Knepley       ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr);
155624cdb843SMatthew G. Knepley       if (dep == dim-1) ++numFaces;
155724cdb843SMatthew G. Knepley     }
1558bbce034cSMatthew G. Knepley     ierr = PetscMalloc3(numFaces*totDimBd,&u,numFaces,&cgeom,numFaces*totDimBd,&elemVec);CHKERRQ(ierr);
155908449791SMatthew G. Knepley     if (locX_t) {ierr = PetscMalloc1(numFaces*totDimBd,&u_t);CHKERRQ(ierr);}
156024cdb843SMatthew G. Knepley     for (p = 0, f = 0; p < numPoints; ++p) {
156124cdb843SMatthew G. Knepley       const PetscInt point = points[p];
156224cdb843SMatthew G. Knepley       PetscScalar   *x     = NULL;
156324cdb843SMatthew G. Knepley       PetscInt       i;
156424cdb843SMatthew G. Knepley 
156524cdb843SMatthew G. Knepley       ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr);
156624cdb843SMatthew G. Knepley       if (dep != dim-1) continue;
1567bbce034cSMatthew G. Knepley       ierr = DMPlexComputeCellGeometryFEM(dm, point, NULL, cgeom[f].v0, cgeom[f].J, cgeom[f].invJ, &cgeom[f].detJ);CHKERRQ(ierr);
1568302440fdSBarry Smith       ierr = DMPlexComputeCellGeometryFVM(dm, point, NULL, NULL, cgeom[f].n);CHKERRQ(ierr);
1569bbce034cSMatthew 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);
1570929b1830SToby Isaac       /* TODO: Matt, this is wrong if feBd does not match fe: i.e., if the order differs. */
157108449791SMatthew G. Knepley       ierr = DMPlexVecGetClosure(dm, section, locX, point, NULL, &x);CHKERRQ(ierr);
157224cdb843SMatthew G. Knepley       for (i = 0; i < totDimBd; ++i) u[f*totDimBd+i] = x[i];
157308449791SMatthew G. Knepley       ierr = DMPlexVecRestoreClosure(dm, section, locX, point, NULL, &x);CHKERRQ(ierr);
157408449791SMatthew G. Knepley       if (locX_t) {
157508449791SMatthew G. Knepley         ierr = DMPlexVecGetClosure(dm, section, locX_t, point, NULL, &x);CHKERRQ(ierr);
157624cdb843SMatthew G. Knepley         for (i = 0; i < totDimBd; ++i) u_t[f*totDimBd+i] = x[i];
157708449791SMatthew G. Knepley         ierr = DMPlexVecRestoreClosure(dm, section, locX_t, point, NULL, &x);CHKERRQ(ierr);
157824cdb843SMatthew G. Knepley       }
157924cdb843SMatthew G. Knepley       ++f;
158024cdb843SMatthew G. Knepley     }
158124cdb843SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
158224cdb843SMatthew G. Knepley       PetscFE         fe;
158308449791SMatthew G. Knepley       PetscQuadrature q;
158424cdb843SMatthew G. Knepley       PetscInt        numQuadPoints, Nb;
158524cdb843SMatthew G. Knepley       /* Conforming batches */
158624cdb843SMatthew G. Knepley       PetscInt        numChunks, numBatches, numBlocks, Ne, blockSize, batchSize;
158724cdb843SMatthew G. Knepley       /* Remainder */
158824cdb843SMatthew G. Knepley       PetscInt        Nr, offset;
158924cdb843SMatthew G. Knepley 
159024cdb843SMatthew G. Knepley       ierr = PetscDSGetBdDiscretization(prob, f, (PetscObject *) &fe);CHKERRQ(ierr);
159124cdb843SMatthew G. Knepley       ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr);
159224cdb843SMatthew G. Knepley       ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr);
159324cdb843SMatthew G. Knepley       ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr);
159424cdb843SMatthew G. Knepley       ierr = PetscQuadratureGetData(q, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr);
159524cdb843SMatthew G. Knepley       blockSize = Nb*numQuadPoints;
159624cdb843SMatthew G. Knepley       batchSize = numBlocks * blockSize;
159724cdb843SMatthew G. Knepley       ierr =  PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr);
159824cdb843SMatthew G. Knepley       numChunks = numFaces / (numBatches*batchSize);
159924cdb843SMatthew G. Knepley       Ne        = numChunks*numBatches*batchSize;
160024cdb843SMatthew G. Knepley       Nr        = numFaces % (numBatches*batchSize);
160124cdb843SMatthew G. Knepley       offset    = numFaces - Nr;
1602bbce034cSMatthew G. Knepley       ierr = PetscFEIntegrateBdResidual(fe, prob, f, Ne, cgeom, u, u_t, NULL, NULL, elemVec);CHKERRQ(ierr);
1603bbce034cSMatthew G. Knepley       ierr = PetscFEIntegrateBdResidual(fe, prob, f, Nr, &cgeom[offset], &u[offset*totDimBd], u_t ? &u_t[offset*totDimBd] : NULL, NULL, NULL, &elemVec[offset*totDimBd]);CHKERRQ(ierr);
160424cdb843SMatthew G. Knepley     }
160524cdb843SMatthew G. Knepley     for (p = 0, f = 0; p < numPoints; ++p) {
160624cdb843SMatthew G. Knepley       const PetscInt point = points[p];
160724cdb843SMatthew G. Knepley 
160824cdb843SMatthew G. Knepley       ierr = DMLabelGetValue(depth, point, &dep);CHKERRQ(ierr);
160924cdb843SMatthew G. Knepley       if (dep != dim-1) continue;
161024cdb843SMatthew G. Knepley       if (mesh->printFEM > 1) {ierr = DMPrintCellVector(point, "BdResidual", totDimBd, &elemVec[f*totDimBd]);CHKERRQ(ierr);}
1611c14a31d2SToby Isaac       ierr = DMPlexVecSetClosure(dm, NULL, locF, point, &elemVec[f*totDimBd], ADD_ALL_VALUES);CHKERRQ(ierr);
161224cdb843SMatthew G. Knepley       ++f;
161324cdb843SMatthew G. Knepley     }
161424cdb843SMatthew G. Knepley     ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr);
161524cdb843SMatthew G. Knepley     ierr = ISDestroy(&pointIS);CHKERRQ(ierr);
1616bbce034cSMatthew G. Knepley     ierr = PetscFree3(u,cgeom,elemVec);CHKERRQ(ierr);
161708449791SMatthew G. Knepley     if (locX_t) {ierr = PetscFree(u_t);CHKERRQ(ierr);}
161824cdb843SMatthew G. Knepley   }
161908449791SMatthew G. Knepley   PetscFunctionReturn(0);
162008449791SMatthew G. Knepley }
162108449791SMatthew G. Knepley 
162208449791SMatthew G. Knepley #undef __FUNCT__
1623f2c5ccc7SToby Isaac #define __FUNCT__ "DMPlexReconstructGradientsFVM"
1624f2c5ccc7SToby Isaac /*@
1625f2c5ccc7SToby Isaac   DMPlexReconstructGradientsFVM - reconstruct the gradient of a vector using a finite volume method.
1626f2c5ccc7SToby Isaac 
1627f2c5ccc7SToby Isaac   Input Parameters:
1628f2c5ccc7SToby Isaac + dm - the mesh
1629f2c5ccc7SToby Isaac - locX - the local representation of the vector
1630f2c5ccc7SToby Isaac 
1631f2c5ccc7SToby Isaac   Output Parameter:
1632f2c5ccc7SToby Isaac . grad - the global representation of the gradient
1633f2c5ccc7SToby Isaac 
1634f2c5ccc7SToby Isaac   Level: developer
1635f2c5ccc7SToby Isaac 
1636f2c5ccc7SToby Isaac .seealso: DMPlexSNESGetGradientDM()
1637f2c5ccc7SToby Isaac @*/
1638f2c5ccc7SToby Isaac PetscErrorCode DMPlexReconstructGradientsFVM(DM dm, Vec locX, Vec grad)
1639f2c5ccc7SToby Isaac {
1640f2c5ccc7SToby Isaac   PetscDS          prob;
1641f2c5ccc7SToby Isaac   PetscInt         Nf, f, fStart, fEnd;
1642f2c5ccc7SToby Isaac   PetscBool        useFVM;
1643f2c5ccc7SToby Isaac   PetscFV          fvm = NULL;
1644f2c5ccc7SToby Isaac   Vec              faceGeometryFVM, cellGeometryFVM;
1645f2c5ccc7SToby Isaac   PetscFVCellGeom  *cgeomFVM   = NULL;
1646f2c5ccc7SToby Isaac   PetscFVFaceGeom  *fgeomFVM   = NULL;
1647f2c5ccc7SToby Isaac   DM               dmGrad = NULL;
1648f2c5ccc7SToby Isaac   PetscErrorCode   ierr;
1649f2c5ccc7SToby Isaac 
1650f2c5ccc7SToby Isaac   PetscFunctionBegin;
1651f2c5ccc7SToby Isaac   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
1652f2c5ccc7SToby Isaac   ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr);
1653f2c5ccc7SToby Isaac   for (f = 0; f < Nf; ++f) {
1654f2c5ccc7SToby Isaac     PetscObject  obj;
1655f2c5ccc7SToby Isaac     PetscClassId id;
1656f2c5ccc7SToby Isaac 
1657f2c5ccc7SToby Isaac     ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr);
1658f2c5ccc7SToby Isaac     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
1659f2c5ccc7SToby Isaac     if (id == PETSCFV_CLASSID) {useFVM = PETSC_TRUE; fvm = (PetscFV) obj;}
1660f2c5ccc7SToby Isaac   }
1661f2c5ccc7SToby Isaac   if (!useFVM) SETERRQ(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"This dm does not have a finite volume discretization");
1662f2c5ccc7SToby Isaac   ierr = DMPlexSNESGetGradientDM(dm, fvm, &dmGrad);CHKERRQ(ierr);
1663f2c5ccc7SToby Isaac   if (!dmGrad) SETERRQ(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"This dm's finite volume discretization does not reconstruct gradients");
1664f2c5ccc7SToby Isaac   ierr = DMPlexSNESGetGeometryFVM(dm, &faceGeometryFVM, &cellGeometryFVM, NULL);CHKERRQ(ierr);
1665f2c5ccc7SToby Isaac   ierr = VecGetArrayRead(faceGeometryFVM, (const PetscScalar **) &fgeomFVM);CHKERRQ(ierr);
1666f2c5ccc7SToby Isaac   ierr = VecGetArrayRead(cellGeometryFVM, (const PetscScalar **) &cgeomFVM);CHKERRQ(ierr);
1667f2c5ccc7SToby Isaac   ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr);
1668f2c5ccc7SToby Isaac   ierr = DMPlexReconstructGradients_Internal(dm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad);CHKERRQ(ierr);
1669f2c5ccc7SToby Isaac   PetscFunctionReturn(0);
1670f2c5ccc7SToby Isaac }
1671f2c5ccc7SToby Isaac 
1672f2c5ccc7SToby Isaac #undef __FUNCT__
167308449791SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeResidual_Internal"
1674c4d4a4f8SMatthew G. Knepley PetscErrorCode DMPlexComputeResidual_Internal(DM dm, PetscInt cStart, PetscInt cEnd, PetscReal time, Vec locX, Vec locX_t, Vec locF, void *user)
167508449791SMatthew G. Knepley {
167608449791SMatthew G. Knepley   DM_Plex          *mesh       = (DM_Plex *) dm->data;
167708449791SMatthew G. Knepley   const char       *name       = "Residual";
167808449791SMatthew G. Knepley   DM                dmAux      = NULL;
167908449791SMatthew G. Knepley   DM                dmGrad     = NULL;
168008449791SMatthew G. Knepley   DMLabel           ghostLabel = NULL;
168108449791SMatthew G. Knepley   PetscDS           prob       = NULL;
168208449791SMatthew G. Knepley   PetscDS           probAux    = NULL;
168308449791SMatthew G. Knepley   PetscSection      section    = NULL;
168408449791SMatthew G. Knepley   PetscBool         useFEM     = PETSC_FALSE;
168508449791SMatthew G. Knepley   PetscBool         useFVM     = PETSC_FALSE;
1686b2666ceaSMatthew G. Knepley   PetscBool         isImplicit = (locX_t || time == PETSC_MIN_REAL) ? PETSC_TRUE : PETSC_FALSE;
168708449791SMatthew G. Knepley   PetscFV           fvm        = NULL;
168808449791SMatthew G. Knepley   PetscFECellGeom  *cgeomFEM   = NULL;
16892f84e9bcSToby Isaac   PetscScalar      *cgeomScal;
169008449791SMatthew G. Knepley   PetscFVCellGeom  *cgeomFVM   = NULL;
169108449791SMatthew G. Knepley   PetscFVFaceGeom  *fgeomFVM   = NULL;
169208449791SMatthew G. Knepley   Vec               locA, cellGeometryFEM = NULL, cellGeometryFVM = NULL, faceGeometryFVM = NULL, grad, locGrad = NULL;
169308449791SMatthew G. Knepley   PetscScalar      *u, *u_t, *a, *uL, *uR;
1694c4d4a4f8SMatthew G. Knepley   PetscInt          Nf, f, totDim, totDimAux, numChunks, cellChunkSize, faceChunkSize, chunk, fStart, fEnd;
169508449791SMatthew G. Knepley   PetscErrorCode    ierr;
169608449791SMatthew G. Knepley 
169708449791SMatthew G. Knepley   PetscFunctionBegin;
169808449791SMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_ResidualFEM,dm,0,0,0);CHKERRQ(ierr);
169908449791SMatthew G. Knepley   /* TODO The places where we have to use isFE are probably the member functions for the PetscDisc class */
1700195142f5SMatthew G. Knepley   /* TODO The FVM geometry is over-manipulated. Make the precalc functions return exactly what we need */
170108449791SMatthew G. Knepley   /* FEM+FVM */
170208449791SMatthew G. Knepley   /* 1: Get sizes from dm and dmAux */
170308449791SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
1704c58f1c22SToby Isaac   ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr);
170508449791SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
170608449791SMatthew G. Knepley   ierr = PetscDSGetNumFields(prob, &Nf);CHKERRQ(ierr);
170708449791SMatthew G. Knepley   ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr);
170808449791SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &locA);CHKERRQ(ierr);
170908449791SMatthew G. Knepley   if (locA) {
171008449791SMatthew G. Knepley     ierr = VecGetDM(locA, &dmAux);CHKERRQ(ierr);
171108449791SMatthew G. Knepley     ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr);
171208449791SMatthew G. Knepley     ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr);
171308449791SMatthew G. Knepley   }
171408449791SMatthew G. Knepley   /* 2: Get geometric data */
171508449791SMatthew G. Knepley   for (f = 0; f < Nf; ++f) {
171608449791SMatthew G. Knepley     PetscObject  obj;
171708449791SMatthew G. Knepley     PetscClassId id;
17187173168dSMatthew G. Knepley     PetscBool    fimp;
171908449791SMatthew G. Knepley 
17207173168dSMatthew G. Knepley     ierr = PetscDSGetImplicit(prob, f, &fimp);CHKERRQ(ierr);
17217173168dSMatthew G. Knepley     if (isImplicit != fimp) continue;
172208449791SMatthew G. Knepley     ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr);
172308449791SMatthew G. Knepley     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
172408449791SMatthew G. Knepley     if (id == PETSCFE_CLASSID) {useFEM = PETSC_TRUE;}
172508449791SMatthew G. Knepley     if (id == PETSCFV_CLASSID) {useFVM = PETSC_TRUE; fvm = (PetscFV) obj;}
172608449791SMatthew G. Knepley   }
172708449791SMatthew G. Knepley   if (useFEM) {
172808449791SMatthew G. Knepley     ierr = DMPlexSNESGetGeometryFEM(dm, &cellGeometryFEM);CHKERRQ(ierr);
17292f84e9bcSToby Isaac     ierr = VecGetArray(cellGeometryFEM, &cgeomScal);CHKERRQ(ierr);
17302f84e9bcSToby Isaac     if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) {
17312f84e9bcSToby Isaac       DM dmCell;
17322f84e9bcSToby Isaac       PetscInt c;
17332f84e9bcSToby Isaac 
17342f84e9bcSToby Isaac       ierr = VecGetDM(cellGeometryFEM,&dmCell);CHKERRQ(ierr);
17352f84e9bcSToby Isaac       ierr = PetscMalloc1(cEnd-cStart,&cgeomFEM);CHKERRQ(ierr);
17362f84e9bcSToby Isaac       for (c = 0; c < cEnd - cStart; c++) {
17372f84e9bcSToby Isaac         PetscScalar *thisgeom;
17382f84e9bcSToby Isaac 
17392f84e9bcSToby Isaac         ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr);
17402f84e9bcSToby Isaac         cgeomFEM[c] = *((PetscFECellGeom *) thisgeom);
17412f84e9bcSToby Isaac       }
17422f84e9bcSToby Isaac     }
17432f84e9bcSToby Isaac     else {
17442f84e9bcSToby Isaac       cgeomFEM = (PetscFECellGeom *) cgeomScal;
17452f84e9bcSToby Isaac     }
174608449791SMatthew G. Knepley   }
174708449791SMatthew G. Knepley   if (useFVM) {
174808449791SMatthew G. Knepley     ierr = DMPlexSNESGetGeometryFVM(dm, &faceGeometryFVM, &cellGeometryFVM, NULL);CHKERRQ(ierr);
174908449791SMatthew G. Knepley     ierr = VecGetArrayRead(faceGeometryFVM, (const PetscScalar **) &fgeomFVM);CHKERRQ(ierr);
175008449791SMatthew G. Knepley     ierr = VecGetArrayRead(cellGeometryFVM, (const PetscScalar **) &cgeomFVM);CHKERRQ(ierr);
175108449791SMatthew G. Knepley     /* Reconstruct and limit cell gradients */
175208449791SMatthew G. Knepley     ierr = DMPlexSNESGetGradientDM(dm, fvm, &dmGrad);CHKERRQ(ierr);
175308449791SMatthew G. Knepley     if (dmGrad) {
175408449791SMatthew G. Knepley       ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr);
175508449791SMatthew G. Knepley       ierr = DMGetGlobalVector(dmGrad, &grad);CHKERRQ(ierr);
175608449791SMatthew G. Knepley       ierr = DMPlexReconstructGradients_Internal(dm, fStart, fEnd, faceGeometryFVM, cellGeometryFVM, locX, grad);CHKERRQ(ierr);
175708449791SMatthew G. Knepley       /* Communicate gradient values */
175808449791SMatthew G. Knepley       ierr = DMGetLocalVector(dmGrad, &locGrad);CHKERRQ(ierr);
175908449791SMatthew G. Knepley       ierr = DMGlobalToLocalBegin(dmGrad, grad, INSERT_VALUES, locGrad);CHKERRQ(ierr);
176008449791SMatthew G. Knepley       ierr = DMGlobalToLocalEnd(dmGrad, grad, INSERT_VALUES, locGrad);CHKERRQ(ierr);
176108449791SMatthew G. Knepley       ierr = DMRestoreGlobalVector(dmGrad, &grad);CHKERRQ(ierr);
176208449791SMatthew G. Knepley     }
1763bdd6f66aSToby Isaac     /* Handle non-essential (e.g. outflow) boundary values */
1764bdd6f66aSToby Isaac     ierr = DMPlexInsertBoundaryValues(dm, PETSC_FALSE, locX, time, faceGeometryFVM, cellGeometryFVM, locGrad);CHKERRQ(ierr);
176508449791SMatthew G. Knepley   }
176608449791SMatthew G. Knepley   /* Loop over chunks */
176708449791SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr);
176808449791SMatthew G. Knepley   numChunks     = 1;
176908449791SMatthew G. Knepley   cellChunkSize = (cEnd - cStart)/numChunks;
177008449791SMatthew G. Knepley   faceChunkSize = (fEnd - fStart)/numChunks;
177108449791SMatthew G. Knepley   for (chunk = 0; chunk < numChunks; ++chunk) {
17722eefff9cSMatthew G. Knepley     PetscScalar     *elemVec, *fluxL, *fluxR;
17732eefff9cSMatthew G. Knepley     PetscReal       *vol;
177408449791SMatthew G. Knepley     PetscFVFaceGeom *fgeom;
177508449791SMatthew G. Knepley     PetscInt         cS = cStart+chunk*cellChunkSize, cE = PetscMin(cS+cellChunkSize, cEnd), numCells = cE - cS, cell;
177608449791SMatthew G. Knepley     PetscInt         fS = fStart+chunk*faceChunkSize, fE = PetscMin(fS+faceChunkSize, fEnd), numFaces = fE - fS, face;
177708449791SMatthew G. Knepley 
177808449791SMatthew G. Knepley     /* Extract field coefficients */
177908449791SMatthew G. Knepley     if (useFEM) {
178008449791SMatthew G. Knepley       ierr = DMPlexGetCellFields(dm, cS, cE, locX, locX_t, locA, &u, &u_t, &a);CHKERRQ(ierr);
178108449791SMatthew G. Knepley       ierr = DMGetWorkArray(dm, numCells*totDim, PETSC_SCALAR, &elemVec);CHKERRQ(ierr);
1782215c4595SMatthew G. Knepley       ierr = PetscMemzero(elemVec, numCells*totDim * sizeof(PetscScalar));CHKERRQ(ierr);
178308449791SMatthew G. Knepley     }
178408449791SMatthew G. Knepley     if (useFVM) {
178508449791SMatthew G. Knepley       ierr = DMPlexGetFaceFields(dm, fS, fE, locX, locX_t, faceGeometryFVM, cellGeometryFVM, locGrad, &uL, &uR);CHKERRQ(ierr);
178608449791SMatthew G. Knepley       ierr = DMPlexGetFaceGeometry(dm, fS, fE, faceGeometryFVM, cellGeometryFVM, &fgeom, &vol);CHKERRQ(ierr);
178708449791SMatthew G. Knepley       ierr = DMGetWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxL);CHKERRQ(ierr);
178808449791SMatthew G. Knepley       ierr = DMGetWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxR);CHKERRQ(ierr);
1789215c4595SMatthew G. Knepley       ierr = PetscMemzero(fluxL, numFaces*totDim * sizeof(PetscScalar));CHKERRQ(ierr);
1790215c4595SMatthew G. Knepley       ierr = PetscMemzero(fluxR, numFaces*totDim * sizeof(PetscScalar));CHKERRQ(ierr);
179108449791SMatthew G. Knepley     }
179208449791SMatthew 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 */
179308449791SMatthew G. Knepley     /* Loop over fields */
179408449791SMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
179508449791SMatthew G. Knepley       PetscObject  obj;
179608449791SMatthew G. Knepley       PetscClassId id;
17977173168dSMatthew G. Knepley       PetscBool    fimp;
179808449791SMatthew G. Knepley       PetscInt     numChunks, numBatches, batchSize, numBlocks, blockSize, Ne, Nr, offset;
179908449791SMatthew G. Knepley 
18007173168dSMatthew G. Knepley       ierr = PetscDSGetImplicit(prob, f, &fimp);CHKERRQ(ierr);
18017173168dSMatthew G. Knepley       if (isImplicit != fimp) continue;
180208449791SMatthew G. Knepley       ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr);
180308449791SMatthew G. Knepley       ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
180408449791SMatthew G. Knepley       if (id == PETSCFE_CLASSID) {
180508449791SMatthew G. Knepley         PetscFE         fe = (PetscFE) obj;
180608449791SMatthew G. Knepley         PetscQuadrature q;
180708449791SMatthew G. Knepley         PetscInt        Nq, Nb;
180808449791SMatthew G. Knepley 
180908449791SMatthew G. Knepley         ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr);
181008449791SMatthew G. Knepley 
181108449791SMatthew G. Knepley         ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr);
181208449791SMatthew G. Knepley         ierr = PetscQuadratureGetData(q, NULL, &Nq, NULL, NULL);CHKERRQ(ierr);
181308449791SMatthew G. Knepley         ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr);
181408449791SMatthew G. Knepley         blockSize = Nb*Nq;
181508449791SMatthew G. Knepley         batchSize = numBlocks * blockSize;
181608449791SMatthew G. Knepley         ierr =  PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr);
181708449791SMatthew G. Knepley         numChunks = numCells / (numBatches*batchSize);
181808449791SMatthew G. Knepley         Ne        = numChunks*numBatches*batchSize;
181908449791SMatthew G. Knepley         Nr        = numCells % (numBatches*batchSize);
182008449791SMatthew G. Knepley         offset    = numCells - Nr;
182108449791SMatthew G. Knepley         /* Integrate FE residual to get elemVec (need fields at quadrature points) */
182208449791SMatthew 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) */
182308449791SMatthew G. Knepley         ierr = PetscFEIntegrateResidual(fe, prob, f, Ne, cgeomFEM, u, u_t, probAux, a, elemVec);CHKERRQ(ierr);
182408449791SMatthew G. Knepley         ierr = PetscFEIntegrateResidual(fe, prob, f, Nr, &cgeomFEM[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], &elemVec[offset*totDim]);CHKERRQ(ierr);
182508449791SMatthew G. Knepley       } else if (id == PETSCFV_CLASSID) {
182608449791SMatthew G. Knepley         PetscFV fv = (PetscFV) obj;
182708449791SMatthew G. Knepley 
182808449791SMatthew G. Knepley         Ne = numFaces;
182908449791SMatthew G. Knepley         Nr = 0;
183008449791SMatthew G. Knepley         /* Riemann solve over faces (need fields at face centroids) */
183108449791SMatthew G. Knepley         /*   We need to evaluate FE fields at those coordinates */
183208449791SMatthew G. Knepley         ierr = PetscFVIntegrateRHSFunction(fv, prob, f, Ne, fgeom, vol, uL, uR, fluxL, fluxR);CHKERRQ(ierr);
183308449791SMatthew G. Knepley       } else SETERRQ1(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", f);
183408449791SMatthew G. Knepley     }
18352f84e9bcSToby Isaac     if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) {
18362f84e9bcSToby Isaac       ierr = PetscFree(cgeomFEM);CHKERRQ(ierr);
18372f84e9bcSToby Isaac     }
18382f84e9bcSToby Isaac     else {
18392f84e9bcSToby Isaac       cgeomFEM = NULL;
18402f84e9bcSToby Isaac     }
18410163fd50SMatthew G. Knepley     if (cellGeometryFEM) {ierr = VecRestoreArray(cellGeometryFEM, &cgeomScal);CHKERRQ(ierr);}
184208449791SMatthew G. Knepley     /* Loop over domain */
184308449791SMatthew G. Knepley     if (useFEM) {
184408449791SMatthew G. Knepley       /* Add elemVec to locX */
184508449791SMatthew G. Knepley       for (cell = cS; cell < cE; ++cell) {
184608449791SMatthew G. Knepley         if (mesh->printFEM > 1) {ierr = DMPrintCellVector(cell, name, totDim, &elemVec[cell*totDim]);CHKERRQ(ierr);}
1847c14a31d2SToby Isaac         ierr = DMPlexVecSetClosure(dm, section, locF, cell, &elemVec[cell*totDim], ADD_ALL_VALUES);CHKERRQ(ierr);
184808449791SMatthew G. Knepley       }
184908449791SMatthew G. Knepley     }
185008449791SMatthew G. Knepley     if (useFVM) {
18514a394323SMatthew G. Knepley       PetscScalar *fa;
185208449791SMatthew G. Knepley       PetscInt     iface;
185308449791SMatthew G. Knepley 
185408449791SMatthew G. Knepley       ierr = VecGetArray(locF, &fa);CHKERRQ(ierr);
1855c10b5f1bSMatthew G. Knepley       for (f = 0; f < Nf; ++f) {
1856c10b5f1bSMatthew G. Knepley         PetscFV      fv;
1857c10b5f1bSMatthew G. Knepley         PetscObject  obj;
1858c10b5f1bSMatthew G. Knepley         PetscClassId id;
18594a394323SMatthew G. Knepley         PetscInt     foff, pdim;
1860c10b5f1bSMatthew G. Knepley 
1861c10b5f1bSMatthew G. Knepley         ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr);
1862c10b5f1bSMatthew G. Knepley         ierr = PetscDSGetFieldOffset(prob, f, &foff);CHKERRQ(ierr);
1863c10b5f1bSMatthew G. Knepley         ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
1864c10b5f1bSMatthew G. Knepley         if (id != PETSCFV_CLASSID) continue;
1865c10b5f1bSMatthew G. Knepley         fv   = (PetscFV) obj;
1866c10b5f1bSMatthew G. Knepley         ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr);
1867c10b5f1bSMatthew G. Knepley         /* Accumulate fluxes to cells */
186808449791SMatthew G. Knepley         for (face = fS, iface = 0; face < fE; ++face) {
186908449791SMatthew G. Knepley           const PetscInt *cells;
187008449791SMatthew G. Knepley           PetscScalar    *fL, *fR;
1871ffe9ad51SToby Isaac           PetscInt        ghost, d, nsupp;
187208449791SMatthew G. Knepley 
187308449791SMatthew G. Knepley           ierr = DMLabelGetValue(ghostLabel, face, &ghost);CHKERRQ(ierr);
1874ffe9ad51SToby Isaac           ierr = DMPlexGetSupportSize(dm, face, &nsupp);CHKERRQ(ierr);
18751993971cSToby Isaac           if (ghost >= 0) continue;
18761993971cSToby Isaac           if (nsupp > 2) { /* noop */
18771993971cSToby Isaac             ++iface;
18781993971cSToby Isaac             continue;
18791993971cSToby Isaac           }
188008449791SMatthew G. Knepley           ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr);
1881c10b5f1bSMatthew G. Knepley           ierr = DMPlexPointGlobalFieldRef(dm, cells[0], f, fa, &fL);CHKERRQ(ierr);
1882c10b5f1bSMatthew G. Knepley           ierr = DMPlexPointGlobalFieldRef(dm, cells[1], f, fa, &fR);CHKERRQ(ierr);
1883c10b5f1bSMatthew G. Knepley           for (d = 0; d < pdim; ++d) {
1884c10b5f1bSMatthew G. Knepley             if (fL) fL[d] -= fluxL[iface*totDim+foff+d];
1885c10b5f1bSMatthew G. Knepley             if (fR) fR[d] += fluxR[iface*totDim+foff+d];
188608449791SMatthew G. Knepley           }
188708449791SMatthew G. Knepley           ++iface;
188808449791SMatthew G. Knepley         }
1889dab51205SMatthew G. Knepley       }
1890dab51205SMatthew G. Knepley       ierr = VecRestoreArray(locF, &fa);CHKERRQ(ierr);
1891dab51205SMatthew G. Knepley     }
1892c10b5f1bSMatthew G. Knepley     /* Handle time derivative */
1893c10b5f1bSMatthew G. Knepley     if (locX_t) {
1894dab51205SMatthew G. Knepley       PetscScalar *x_t, *fa;
1895dab51205SMatthew G. Knepley 
1896dab51205SMatthew G. Knepley       ierr = VecGetArray(locF, &fa);CHKERRQ(ierr);
1897c10b5f1bSMatthew G. Knepley       ierr = VecGetArray(locX_t, &x_t);CHKERRQ(ierr);
1898dab51205SMatthew G. Knepley       for (f = 0; f < Nf; ++f) {
1899dab51205SMatthew G. Knepley         PetscFV      fv;
1900dab51205SMatthew G. Knepley         PetscObject  obj;
1901dab51205SMatthew G. Knepley         PetscClassId id;
1902dab51205SMatthew G. Knepley         PetscInt     pdim, d;
1903dab51205SMatthew G. Knepley 
1904dab51205SMatthew G. Knepley         ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr);
1905dab51205SMatthew G. Knepley         ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
1906dab51205SMatthew G. Knepley         if (id != PETSCFV_CLASSID) continue;
1907dab51205SMatthew G. Knepley         fv   = (PetscFV) obj;
1908dab51205SMatthew G. Knepley         ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr);
1909c10b5f1bSMatthew G. Knepley         for (cell = cS; cell < cE; ++cell) {
1910c10b5f1bSMatthew G. Knepley           PetscScalar *u_t, *r;
1911c10b5f1bSMatthew G. Knepley 
1912c10b5f1bSMatthew G. Knepley           ierr = DMPlexPointLocalFieldRead(dm, cell, f, x_t, &u_t);CHKERRQ(ierr);
1913c10b5f1bSMatthew G. Knepley           ierr = DMPlexPointLocalFieldRef(dm, cell, f, fa, &r);CHKERRQ(ierr);
1914d63b37e5SMatthew G. Knepley           for (d = 0; d < pdim; ++d) r[d] += u_t[d];
1915c10b5f1bSMatthew G. Knepley         }
1916dab51205SMatthew G. Knepley       }
1917c10b5f1bSMatthew G. Knepley       ierr = VecRestoreArray(locX_t, &x_t);CHKERRQ(ierr);
191808449791SMatthew G. Knepley       ierr = VecRestoreArray(locF, &fa);CHKERRQ(ierr);
191908449791SMatthew G. Knepley     }
192008449791SMatthew G. Knepley     if (useFEM) {
192108449791SMatthew G. Knepley       ierr = DMPlexRestoreCellFields(dm, cS, cE, locX, locX_t, locA, &u, &u_t, &a);CHKERRQ(ierr);
192208449791SMatthew G. Knepley       ierr = DMRestoreWorkArray(dm, numCells*totDim, PETSC_SCALAR, &elemVec);CHKERRQ(ierr);
192308449791SMatthew G. Knepley     }
192408449791SMatthew G. Knepley     if (useFVM) {
192508449791SMatthew G. Knepley       ierr = DMPlexRestoreFaceFields(dm, fS, fE, locX, locX_t, faceGeometryFVM, cellGeometryFVM, locGrad, &uL, &uR);CHKERRQ(ierr);
192608449791SMatthew G. Knepley       ierr = DMPlexRestoreFaceGeometry(dm, fS, fE, faceGeometryFVM, cellGeometryFVM, &fgeom, &vol);CHKERRQ(ierr);
192708449791SMatthew G. Knepley       ierr = DMRestoreWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxL);CHKERRQ(ierr);
192808449791SMatthew G. Knepley       ierr = DMRestoreWorkArray(dm, numFaces*totDim, PETSC_SCALAR, &fluxR);CHKERRQ(ierr);
192908449791SMatthew G. Knepley       if (dmGrad) {ierr = DMRestoreLocalVector(dmGrad, &locGrad);CHKERRQ(ierr);}
193008449791SMatthew G. Knepley     }
193108449791SMatthew G. Knepley   }
193208449791SMatthew G. Knepley 
193308449791SMatthew G. Knepley   if (useFEM) {ierr = DMPlexComputeBdResidual_Internal(dm, locX, locX_t, locF, user);CHKERRQ(ierr);}
193408449791SMatthew G. Knepley 
193508449791SMatthew G. Knepley   /* FEM */
193608449791SMatthew G. Knepley   /* 1: Get sizes from dm and dmAux */
193708449791SMatthew G. Knepley   /* 2: Get geometric data */
193808449791SMatthew G. Knepley   /* 3: Handle boundary values */
193908449791SMatthew G. Knepley   /* 4: Loop over domain */
194008449791SMatthew G. Knepley   /*   Extract coefficients */
194108449791SMatthew G. Knepley   /* Loop over fields */
194208449791SMatthew G. Knepley   /*   Set tiling for FE*/
194308449791SMatthew G. Knepley   /*   Integrate FE residual to get elemVec */
194408449791SMatthew G. Knepley   /*     Loop over subdomain */
194508449791SMatthew G. Knepley   /*       Loop over quad points */
194608449791SMatthew G. Knepley   /*         Transform coords to real space */
194708449791SMatthew G. Knepley   /*         Evaluate field and aux fields at point */
194808449791SMatthew G. Knepley   /*         Evaluate residual at point */
194908449791SMatthew G. Knepley   /*         Transform residual to real space */
195008449791SMatthew G. Knepley   /*       Add residual to elemVec */
195108449791SMatthew G. Knepley   /* Loop over domain */
195208449791SMatthew G. Knepley   /*   Add elemVec to locX */
195308449791SMatthew G. Knepley 
195408449791SMatthew G. Knepley   /* FVM */
195508449791SMatthew G. Knepley   /* Get geometric data */
195608449791SMatthew G. Knepley   /* If using gradients */
195708449791SMatthew G. Knepley   /*   Compute gradient data */
195808449791SMatthew G. Knepley   /*   Loop over domain faces */
195908449791SMatthew G. Knepley   /*     Count computational faces */
196008449791SMatthew G. Knepley   /*     Reconstruct cell gradient */
196108449791SMatthew G. Knepley   /*   Loop over domain cells */
196208449791SMatthew G. Knepley   /*     Limit cell gradients */
196308449791SMatthew G. Knepley   /* Handle boundary values */
196408449791SMatthew G. Knepley   /* Loop over domain faces */
196508449791SMatthew G. Knepley   /*   Read out field, centroid, normal, volume for each side of face */
196608449791SMatthew G. Knepley   /* Riemann solve over faces */
196708449791SMatthew G. Knepley   /* Loop over domain faces */
196808449791SMatthew G. Knepley   /*   Accumulate fluxes to cells */
196908449791SMatthew G. Knepley   /* TODO Change printFEM to printDisc here */
1970247ba720SToby Isaac   if (mesh->printFEM) {
1971247ba720SToby Isaac     Vec         locFbc;
1972247ba720SToby Isaac     PetscInt    pStart, pEnd, p, maxDof;
1973247ba720SToby Isaac     PetscScalar *zeroes;
1974247ba720SToby Isaac 
1975247ba720SToby Isaac     ierr = VecDuplicate(locF,&locFbc);CHKERRQ(ierr);
1976247ba720SToby Isaac     ierr = VecCopy(locF,locFbc);CHKERRQ(ierr);
1977247ba720SToby Isaac     ierr = PetscSectionGetChart(section,&pStart,&pEnd);CHKERRQ(ierr);
1978247ba720SToby Isaac     ierr = PetscSectionGetMaxDof(section,&maxDof);CHKERRQ(ierr);
1979247ba720SToby Isaac     ierr = PetscCalloc1(maxDof,&zeroes);CHKERRQ(ierr);
1980247ba720SToby Isaac     for (p = pStart; p < pEnd; p++) {
1981247ba720SToby Isaac       ierr = VecSetValuesSection(locFbc,section,p,zeroes,INSERT_BC_VALUES);CHKERRQ(ierr);
1982247ba720SToby Isaac     }
1983247ba720SToby Isaac     ierr = PetscFree(zeroes);CHKERRQ(ierr);
1984247ba720SToby Isaac     ierr = DMPrintLocalVec(dm, name, mesh->printTol, locFbc);CHKERRQ(ierr);
1985247ba720SToby Isaac     ierr = VecDestroy(&locFbc);CHKERRQ(ierr);
1986247ba720SToby Isaac   }
198724cdb843SMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_ResidualFEM,dm,0,0,0);CHKERRQ(ierr);
198824cdb843SMatthew G. Knepley   PetscFunctionReturn(0);
198924cdb843SMatthew G. Knepley }
199024cdb843SMatthew G. Knepley 
199124cdb843SMatthew G. Knepley #undef __FUNCT__
199224cdb843SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeResidualFEM_Check_Internal"
199324cdb843SMatthew G. Knepley static PetscErrorCode DMPlexComputeResidualFEM_Check_Internal(DM dm, Vec X, Vec X_t, Vec F, void *user)
199424cdb843SMatthew G. Knepley {
199524cdb843SMatthew G. Knepley   DM                dmCh, dmAux;
1996bbce034cSMatthew G. Knepley   Vec               A, cellgeom;
199724cdb843SMatthew G. Knepley   PetscDS           prob, probCh, probAux = NULL;
199824cdb843SMatthew G. Knepley   PetscQuadrature   q;
199924cdb843SMatthew G. Knepley   PetscSection      section, sectionAux;
20002f84e9bcSToby Isaac   PetscFECellGeom  *cgeom = NULL;
20012f84e9bcSToby Isaac   PetscScalar      *cgeomScal;
200224cdb843SMatthew G. Knepley   PetscScalar      *elemVec, *elemVecCh, *u, *u_t, *a = NULL;
200324cdb843SMatthew G. Knepley   PetscInt          dim, Nf, f, numCells, cStart, cEnd, c;
200424cdb843SMatthew G. Knepley   PetscInt          totDim, totDimAux, diffCell = 0;
200524cdb843SMatthew G. Knepley   PetscErrorCode    ierr;
200624cdb843SMatthew G. Knepley 
200724cdb843SMatthew G. Knepley   PetscFunctionBegin;
200824cdb843SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
200924cdb843SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
201024cdb843SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
201124cdb843SMatthew G. Knepley   ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr);
201224cdb843SMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr);
201324cdb843SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
201424cdb843SMatthew G. Knepley   numCells = cEnd - cStart;
201524cdb843SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "dmCh", (PetscObject *) &dmCh);CHKERRQ(ierr);
201624cdb843SMatthew G. Knepley   ierr = DMGetDS(dmCh, &probCh);CHKERRQ(ierr);
201724cdb843SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr);
201824cdb843SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr);
201924cdb843SMatthew G. Knepley   if (dmAux) {
202024cdb843SMatthew G. Knepley     ierr = DMGetDefaultSection(dmAux, &sectionAux);CHKERRQ(ierr);
202124cdb843SMatthew G. Knepley     ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr);
202224cdb843SMatthew G. Knepley     ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr);
202324cdb843SMatthew G. Knepley   }
202424cdb843SMatthew G. Knepley   ierr = VecSet(F, 0.0);CHKERRQ(ierr);
2025bbce034cSMatthew G. Knepley   ierr = PetscMalloc3(numCells*totDim,&u,X_t ? numCells*totDim : 0,&u_t,numCells*totDim,&elemVec);CHKERRQ(ierr);
202624cdb843SMatthew G. Knepley   ierr = PetscMalloc1(numCells*totDim,&elemVecCh);CHKERRQ(ierr);
202724cdb843SMatthew G. Knepley   if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);}
2028bbce034cSMatthew G. Knepley   ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr);
20292f84e9bcSToby Isaac   ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr);
20302f84e9bcSToby Isaac   if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) {
20312f84e9bcSToby Isaac     DM dmCell;
20322f84e9bcSToby Isaac 
20332f84e9bcSToby Isaac     ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr);
20342f84e9bcSToby Isaac     ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr);
20352f84e9bcSToby Isaac     for (c = 0; c < cEnd - cStart; c++) {
20367726bd6bSToby Isaac       PetscScalar *thisgeom;
20372f84e9bcSToby Isaac 
20382f84e9bcSToby Isaac       ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr);
20392f84e9bcSToby Isaac       cgeom[c] = *((PetscFECellGeom *) thisgeom);
20402f84e9bcSToby Isaac     }
20412f84e9bcSToby Isaac   }
20422f84e9bcSToby Isaac   else {
20432f84e9bcSToby Isaac     cgeom = (PetscFECellGeom *) cgeomScal;
20442f84e9bcSToby Isaac   }
204524cdb843SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
204624cdb843SMatthew G. Knepley     PetscScalar *x = NULL, *x_t = NULL;
204724cdb843SMatthew G. Knepley     PetscInt     i;
204824cdb843SMatthew G. Knepley 
204924cdb843SMatthew G. Knepley     ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr);
205024cdb843SMatthew G. Knepley     for (i = 0; i < totDim; ++i) u[c*totDim+i] = x[i];
205124cdb843SMatthew G. Knepley     ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr);
205224cdb843SMatthew G. Knepley     if (X_t) {
205324cdb843SMatthew G. Knepley       ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr);
205424cdb843SMatthew G. Knepley       for (i = 0; i < totDim; ++i) u_t[c*totDim+i] = x_t[i];
205524cdb843SMatthew G. Knepley       ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr);
205624cdb843SMatthew G. Knepley     }
205724cdb843SMatthew G. Knepley     if (dmAux) {
20586da023fcSToby Isaac       DM dmAuxPlex;
20596da023fcSToby Isaac 
20606da023fcSToby Isaac       ierr = DMSNESConvertPlex(dmAux,&dmAuxPlex, PETSC_FALSE);CHKERRQ(ierr);
20616da023fcSToby Isaac       ierr = DMPlexVecGetClosure(dmAuxPlex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr);
206224cdb843SMatthew G. Knepley       for (i = 0; i < totDimAux; ++i) a[c*totDimAux+i] = x[i];
20636da023fcSToby Isaac       ierr = DMPlexVecRestoreClosure(dmAuxPlex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr);
20646da023fcSToby Isaac       ierr = DMDestroy(&dmAuxPlex);CHKERRQ(ierr);
206524cdb843SMatthew G. Knepley     }
206624cdb843SMatthew G. Knepley   }
206724cdb843SMatthew G. Knepley   for (f = 0; f < Nf; ++f) {
206824cdb843SMatthew G. Knepley     PetscFE  fe, feCh;
206924cdb843SMatthew G. Knepley     PetscInt numQuadPoints, Nb;
207024cdb843SMatthew G. Knepley     /* Conforming batches */
207124cdb843SMatthew G. Knepley     PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize;
207224cdb843SMatthew G. Knepley     /* Remainder */
207324cdb843SMatthew G. Knepley     PetscInt Nr, offset;
207424cdb843SMatthew G. Knepley 
207524cdb843SMatthew G. Knepley     ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fe);CHKERRQ(ierr);
207624cdb843SMatthew G. Knepley     ierr = PetscDSGetDiscretization(probCh, f, (PetscObject *) &feCh);CHKERRQ(ierr);
207724cdb843SMatthew G. Knepley     ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr);
207824cdb843SMatthew G. Knepley     ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr);
207924cdb843SMatthew G. Knepley     ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr);
208024cdb843SMatthew G. Knepley     ierr = PetscQuadratureGetData(q, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr);
208124cdb843SMatthew G. Knepley     blockSize = Nb*numQuadPoints;
208224cdb843SMatthew G. Knepley     batchSize = numBlocks * blockSize;
208324cdb843SMatthew G. Knepley     ierr =  PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr);
208424cdb843SMatthew G. Knepley     numChunks = numCells / (numBatches*batchSize);
208524cdb843SMatthew G. Knepley     Ne        = numChunks*numBatches*batchSize;
208624cdb843SMatthew G. Knepley     Nr        = numCells % (numBatches*batchSize);
208724cdb843SMatthew G. Knepley     offset    = numCells - Nr;
2088bbce034cSMatthew G. Knepley     ierr = PetscFEIntegrateResidual(fe, prob, f, Ne, cgeom, u, u_t, probAux, a, elemVec);CHKERRQ(ierr);
2089bbce034cSMatthew G. Knepley     ierr = PetscFEIntegrateResidual(feCh, prob, f, Ne, cgeom, u, u_t, probAux, a, elemVecCh);CHKERRQ(ierr);
2090bbce034cSMatthew G. Knepley     ierr = PetscFEIntegrateResidual(fe, prob, f, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], &elemVec[offset*totDim]);CHKERRQ(ierr);
2091bbce034cSMatthew G. Knepley     ierr = PetscFEIntegrateResidual(feCh, prob, f, Nr, &cgeom[offset], &u[offset*totDim], u_t ? &u_t[offset*totDim] : NULL, probAux, &a[offset*totDimAux], &elemVecCh[offset*totDim]);CHKERRQ(ierr);
209224cdb843SMatthew G. Knepley   }
209324cdb843SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
209424cdb843SMatthew G. Knepley     PetscBool diff = PETSC_FALSE;
209524cdb843SMatthew G. Knepley     PetscInt  d;
209624cdb843SMatthew G. Knepley 
209724cdb843SMatthew 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;}
209824cdb843SMatthew G. Knepley     if (diff) {
209924cdb843SMatthew G. Knepley       ierr = PetscPrintf(PetscObjectComm((PetscObject) dm), "Different cell %d\n", c);CHKERRQ(ierr);
210024cdb843SMatthew G. Knepley       ierr = DMPrintCellVector(c, "Residual", totDim, &elemVec[c*totDim]);CHKERRQ(ierr);
210124cdb843SMatthew G. Knepley       ierr = DMPrintCellVector(c, "Check Residual", totDim, &elemVecCh[c*totDim]);CHKERRQ(ierr);
210224cdb843SMatthew G. Knepley       ++diffCell;
210324cdb843SMatthew G. Knepley     }
210424cdb843SMatthew G. Knepley     if (diffCell > 9) break;
2105c14a31d2SToby Isaac     ierr = DMPlexVecSetClosure(dm, section, F, c, &elemVec[c*totDim], ADD_ALL_VALUES);CHKERRQ(ierr);
210624cdb843SMatthew G. Knepley   }
21072f84e9bcSToby Isaac   if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) {
21082f84e9bcSToby Isaac     ierr = PetscFree(cgeom);CHKERRQ(ierr);
21092f84e9bcSToby Isaac   }
21102f84e9bcSToby Isaac   else {
21112f84e9bcSToby Isaac     cgeom = NULL;
21122f84e9bcSToby Isaac   }
21132f84e9bcSToby Isaac   ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr);
2114bbce034cSMatthew G. Knepley   ierr = PetscFree3(u,u_t,elemVec);CHKERRQ(ierr);
211524cdb843SMatthew G. Knepley   ierr = PetscFree(elemVecCh);CHKERRQ(ierr);
211624cdb843SMatthew G. Knepley   if (dmAux) {ierr = PetscFree(a);CHKERRQ(ierr);}
211724cdb843SMatthew G. Knepley   PetscFunctionReturn(0);
211824cdb843SMatthew G. Knepley }
211924cdb843SMatthew G. Knepley 
212024cdb843SMatthew G. Knepley #undef __FUNCT__
212124cdb843SMatthew G. Knepley #define __FUNCT__ "DMPlexSNESComputeResidualFEM"
212224cdb843SMatthew G. Knepley /*@
212324cdb843SMatthew G. Knepley   DMPlexSNESComputeResidualFEM - Form the local residual F from the local input X using pointwise functions specified by the user
212424cdb843SMatthew G. Knepley 
212524cdb843SMatthew G. Knepley   Input Parameters:
212624cdb843SMatthew G. Knepley + dm - The mesh
212724cdb843SMatthew G. Knepley . X  - Local solution
212824cdb843SMatthew G. Knepley - user - The user context
212924cdb843SMatthew G. Knepley 
213024cdb843SMatthew G. Knepley   Output Parameter:
213124cdb843SMatthew G. Knepley . F  - Local output vector
213224cdb843SMatthew G. Knepley 
213324cdb843SMatthew G. Knepley   Level: developer
213424cdb843SMatthew G. Knepley 
213524cdb843SMatthew G. Knepley .seealso: DMPlexComputeJacobianActionFEM()
213624cdb843SMatthew G. Knepley @*/
213724cdb843SMatthew G. Knepley PetscErrorCode DMPlexSNESComputeResidualFEM(DM dm, Vec X, Vec F, void *user)
213824cdb843SMatthew G. Knepley {
213924cdb843SMatthew G. Knepley   PetscObject    check;
2140c4d4a4f8SMatthew G. Knepley   PetscInt       cStart, cEnd, cEndInterior;
21416da023fcSToby Isaac   DM             plex;
214224cdb843SMatthew G. Knepley   PetscErrorCode ierr;
214324cdb843SMatthew G. Knepley 
214424cdb843SMatthew G. Knepley   PetscFunctionBegin;
21456da023fcSToby Isaac   ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr);
21466da023fcSToby Isaac   ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr);
21476da023fcSToby Isaac   ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
2148c4d4a4f8SMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
214924cdb843SMatthew G. Knepley   /* The dmCh is used to check two mathematically equivalent discretizations for computational equivalence */
21506da023fcSToby Isaac   ierr = PetscObjectQuery((PetscObject) plex, "dmCh", &check);CHKERRQ(ierr);
21516da023fcSToby Isaac   if (check) {ierr = DMPlexComputeResidualFEM_Check_Internal(plex, X, NULL, F, user);CHKERRQ(ierr);}
21526da023fcSToby Isaac   else       {ierr = DMPlexComputeResidual_Internal(plex, cStart, cEnd, PETSC_MIN_REAL, X, NULL, F, user);CHKERRQ(ierr);}
21539a81d013SToby Isaac   ierr = DMDestroy(&plex);CHKERRQ(ierr);
215424cdb843SMatthew G. Knepley   PetscFunctionReturn(0);
215524cdb843SMatthew G. Knepley }
215624cdb843SMatthew G. Knepley 
215724cdb843SMatthew G. Knepley #undef __FUNCT__
2158bdd6f66aSToby Isaac #define __FUNCT__ "DMPlexSNESComputeBoundaryFEM"
2159bdd6f66aSToby Isaac /*@
2160bdd6f66aSToby Isaac   DMPlexSNESComputeBoundaryFEM - Form the boundary values for the local input X
2161bdd6f66aSToby Isaac 
2162bdd6f66aSToby Isaac   Input Parameters:
2163bdd6f66aSToby Isaac + dm - The mesh
2164bdd6f66aSToby Isaac - user - The user context
2165bdd6f66aSToby Isaac 
2166bdd6f66aSToby Isaac   Output Parameter:
2167bdd6f66aSToby Isaac . X  - Local solution
2168bdd6f66aSToby Isaac 
2169bdd6f66aSToby Isaac   Level: developer
2170bdd6f66aSToby Isaac 
2171bdd6f66aSToby Isaac .seealso: DMPlexComputeJacobianActionFEM()
2172bdd6f66aSToby Isaac @*/
2173bdd6f66aSToby Isaac PetscErrorCode DMPlexSNESComputeBoundaryFEM(DM dm, Vec X, void *user)
2174bdd6f66aSToby Isaac {
2175bdd6f66aSToby Isaac   DM             plex;
2176bdd6f66aSToby Isaac   PetscErrorCode ierr;
2177bdd6f66aSToby Isaac 
2178bdd6f66aSToby Isaac   PetscFunctionBegin;
2179bdd6f66aSToby Isaac   ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr);
2180bdd6f66aSToby Isaac   ierr = DMPlexInsertBoundaryValues(plex, PETSC_TRUE, X, PETSC_MIN_REAL, NULL, NULL, NULL);CHKERRQ(ierr);
2181bdd6f66aSToby Isaac   ierr = DMDestroy(&plex);CHKERRQ(ierr);
2182bdd6f66aSToby Isaac   PetscFunctionReturn(0);
2183bdd6f66aSToby Isaac }
2184bdd6f66aSToby Isaac 
2185bdd6f66aSToby Isaac #undef __FUNCT__
2186b953af5fSMatthew G. Knepley #define __FUNCT__ "DMPlexComputeJacobian_Internal"
2187b953af5fSMatthew 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)
218824cdb843SMatthew G. Knepley {
218924cdb843SMatthew G. Knepley   DM_Plex          *mesh  = (DM_Plex *) dm->data;
219024cdb843SMatthew G. Knepley   const char       *name  = "Jacobian";
2191*f7ed7b21SMatthew G. Knepley   DM                dmAux, plex;
219224cdb843SMatthew G. Knepley   DMLabel           depth;
2193bbce034cSMatthew G. Knepley   Vec               A, cellgeom;
219424cdb843SMatthew G. Knepley   PetscDS           prob, probAux = NULL;
219524cdb843SMatthew G. Knepley   PetscQuadrature   quad;
219624cdb843SMatthew G. Knepley   PetscSection      section, globalSection, sectionAux;
21972f84e9bcSToby Isaac   PetscFECellGeom  *cgeom = NULL;
21982f84e9bcSToby Isaac   PetscScalar      *cgeomScal;
2199426ff135SMatthew G. Knepley   PetscScalar      *elemMat, *elemMatP, *elemMatD, *u, *u_t, *a = NULL;
2200b953af5fSMatthew G. Knepley   PetscInt          dim, Nf, f, fieldI, fieldJ, numCells, c;
220124cdb843SMatthew G. Knepley   PetscInt          totDim, totDimBd, totDimAux, numBd, bd;
2202426ff135SMatthew G. Knepley   PetscBool         isShell, hasPrec, hasDyn;
220324cdb843SMatthew G. Knepley   PetscErrorCode    ierr;
220424cdb843SMatthew G. Knepley 
220524cdb843SMatthew G. Knepley   PetscFunctionBegin;
220624cdb843SMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr);
220724cdb843SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
220824cdb843SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
220924cdb843SMatthew G. Knepley   ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr);
221024cdb843SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
221124cdb843SMatthew G. Knepley   ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr);
221224cdb843SMatthew G. Knepley   ierr = PetscDSGetTotalBdDimension(prob, &totDimBd);CHKERRQ(ierr);
221355ad3c34SMatthew G. Knepley   ierr = PetscDSHasJacobianPreconditioner(prob, &hasPrec);CHKERRQ(ierr);
2214426ff135SMatthew G. Knepley   ierr = PetscDSHasDynamicJacobian(prob, &hasDyn);CHKERRQ(ierr);
2215426ff135SMatthew G. Knepley   hasDyn = hasDyn && (X_tShift != 0.0) ? PETSC_TRUE : PETSC_FALSE;
221624cdb843SMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr);
221724cdb843SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
221824cdb843SMatthew G. Knepley   numCells = cEnd - cStart;
221924cdb843SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr);
222024cdb843SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr);
222124cdb843SMatthew G. Knepley   if (dmAux) {
2222*f7ed7b21SMatthew G. Knepley     ierr = DMConvert(dmAux, DMPLEX, &plex);CHKERRQ(ierr);
2223*f7ed7b21SMatthew G. Knepley     ierr = DMGetDefaultSection(plex, &sectionAux);CHKERRQ(ierr);
222424cdb843SMatthew G. Knepley     ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr);
222524cdb843SMatthew G. Knepley     ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr);
222624cdb843SMatthew G. Knepley   }
222724cdb843SMatthew G. Knepley   ierr = MatZeroEntries(JacP);CHKERRQ(ierr);
2228426ff135SMatthew 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);
222924cdb843SMatthew G. Knepley   if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);}
2230bbce034cSMatthew G. Knepley   ierr = DMPlexSNESGetGeometryFEM(dm, &cellgeom);CHKERRQ(ierr);
22312f84e9bcSToby Isaac   ierr = VecGetArray(cellgeom, &cgeomScal);CHKERRQ(ierr);
22322f84e9bcSToby Isaac   if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) {
22332f84e9bcSToby Isaac     DM dmCell;
22342f84e9bcSToby Isaac 
22352f84e9bcSToby Isaac     ierr = VecGetDM(cellgeom,&dmCell);CHKERRQ(ierr);
22362f84e9bcSToby Isaac     ierr = PetscMalloc1(cEnd-cStart,&cgeom);CHKERRQ(ierr);
22372f84e9bcSToby Isaac     for (c = 0; c < cEnd - cStart; c++) {
22387726bd6bSToby Isaac       PetscScalar *thisgeom;
22392f84e9bcSToby Isaac 
22402f84e9bcSToby Isaac       ierr = DMPlexPointLocalRef(dmCell, c + cStart, cgeomScal, &thisgeom);CHKERRQ(ierr);
22412f84e9bcSToby Isaac       cgeom[c] = *((PetscFECellGeom *) thisgeom);
22422f84e9bcSToby Isaac     }
22432f84e9bcSToby Isaac   }
22442f84e9bcSToby Isaac   else {
22452f84e9bcSToby Isaac     cgeom = (PetscFECellGeom *) cgeomScal;
22462f84e9bcSToby Isaac   }
224724cdb843SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
224824cdb843SMatthew G. Knepley     PetscScalar *x = NULL,  *x_t = NULL;
224924cdb843SMatthew G. Knepley     PetscInt     i;
225024cdb843SMatthew G. Knepley 
225124cdb843SMatthew G. Knepley     ierr = DMPlexVecGetClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr);
22529f11d433SMatthew G. Knepley     for (i = 0; i < totDim; ++i) u[(c-cStart)*totDim+i] = x[i];
225324cdb843SMatthew G. Knepley     ierr = DMPlexVecRestoreClosure(dm, section, X, c, NULL, &x);CHKERRQ(ierr);
225424cdb843SMatthew G. Knepley     if (X_t) {
225524cdb843SMatthew G. Knepley       ierr = DMPlexVecGetClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr);
22569f11d433SMatthew G. Knepley       for (i = 0; i < totDim; ++i) u_t[(c-cStart)*totDim+i] = x_t[i];
225724cdb843SMatthew G. Knepley       ierr = DMPlexVecRestoreClosure(dm, section, X_t, c, NULL, &x_t);CHKERRQ(ierr);
225824cdb843SMatthew G. Knepley     }
225924cdb843SMatthew G. Knepley     if (dmAux) {
2260*f7ed7b21SMatthew G. Knepley       ierr = DMPlexVecGetClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr);
22619f11d433SMatthew G. Knepley       for (i = 0; i < totDimAux; ++i) a[(c-cStart)*totDimAux+i] = x[i];
2262*f7ed7b21SMatthew G. Knepley       ierr = DMPlexVecRestoreClosure(plex, sectionAux, A, c, NULL, &x);CHKERRQ(ierr);
226324cdb843SMatthew G. Knepley     }
226424cdb843SMatthew G. Knepley   }
226524cdb843SMatthew G. Knepley   ierr = PetscMemzero(elemMat, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);
226655ad3c34SMatthew G. Knepley   if (hasPrec) {ierr = PetscMemzero(elemMatP, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);}
2267426ff135SMatthew G. Knepley   if (hasDyn)  {ierr = PetscMemzero(elemMatD, numCells*totDim*totDim * sizeof(PetscScalar));CHKERRQ(ierr);}
226824cdb843SMatthew G. Knepley   for (fieldI = 0; fieldI < Nf; ++fieldI) {
226924cdb843SMatthew G. Knepley     PetscFE  fe;
227024cdb843SMatthew G. Knepley     PetscInt numQuadPoints, Nb;
227124cdb843SMatthew G. Knepley     /* Conforming batches */
227224cdb843SMatthew G. Knepley     PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize;
227324cdb843SMatthew G. Knepley     /* Remainder */
227424cdb843SMatthew G. Knepley     PetscInt Nr, offset;
227524cdb843SMatthew G. Knepley 
227624cdb843SMatthew G. Knepley     ierr = PetscDSGetDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr);
227724cdb843SMatthew G. Knepley     ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr);
227824cdb843SMatthew G. Knepley     ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr);
227924cdb843SMatthew G. Knepley     ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr);
228024cdb843SMatthew G. Knepley     ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr);
228124cdb843SMatthew G. Knepley     blockSize = Nb*numQuadPoints;
228224cdb843SMatthew G. Knepley     batchSize = numBlocks * blockSize;
228324cdb843SMatthew G. Knepley     ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr);
228424cdb843SMatthew G. Knepley     numChunks = numCells / (numBatches*batchSize);
228524cdb843SMatthew G. Knepley     Ne        = numChunks*numBatches*batchSize;
228624cdb843SMatthew G. Knepley     Nr        = numCells % (numBatches*batchSize);
228724cdb843SMatthew G. Knepley     offset    = numCells - Nr;
228824cdb843SMatthew G. Knepley     for (fieldJ = 0; fieldJ < Nf; ++fieldJ) {
2289426ff135SMatthew G. Knepley       ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, elemMat);CHKERRQ(ierr);
2290426ff135SMatthew 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], &elemMat[offset*totDim*totDim]);CHKERRQ(ierr);
229155ad3c34SMatthew G. Knepley       if (hasPrec) {
2292426ff135SMatthew G. Knepley         ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_PRE, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, elemMatP);CHKERRQ(ierr);
2293426ff135SMatthew 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], &elemMatP[offset*totDim*totDim]);CHKERRQ(ierr);
2294426ff135SMatthew G. Knepley       }
2295426ff135SMatthew G. Knepley       if (hasDyn) {
2296426ff135SMatthew G. Knepley         ierr = PetscFEIntegrateJacobian(fe, prob, PETSCFE_JACOBIAN_DYN, fieldI, fieldJ, Ne, cgeom, u, u_t, probAux, a, elemMatD);CHKERRQ(ierr);
2297426ff135SMatthew 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], &elemMatD[offset*totDim*totDim]);CHKERRQ(ierr);
229855ad3c34SMatthew G. Knepley       }
229924cdb843SMatthew G. Knepley     }
230024cdb843SMatthew G. Knepley   }
2301426ff135SMatthew G. Knepley   if (hasDyn) {
2302426ff135SMatthew G. Knepley     for (c = 0; c < (cEnd - cStart)*totDim*totDim; ++c) elemMat[c] += X_tShift*elemMatD[c];
2303426ff135SMatthew G. Knepley   }
230424cdb843SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
230555ad3c34SMatthew G. Knepley     if (hasPrec) {
230655ad3c34SMatthew G. Knepley       if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);}
230755ad3c34SMatthew G. Knepley       ierr = DMPlexMatSetClosure(dm, section, globalSection, Jac, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr);
230855ad3c34SMatthew G. Knepley       if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMatP[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);}
230955ad3c34SMatthew G. Knepley       ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, c, &elemMatP[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr);
231055ad3c34SMatthew G. Knepley     } else {
23119f11d433SMatthew G. Knepley       if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(c, name, totDim, totDim, &elemMat[(c-cStart)*totDim*totDim]);CHKERRQ(ierr);}
23129f11d433SMatthew G. Knepley       ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, c, &elemMat[(c-cStart)*totDim*totDim], ADD_VALUES);CHKERRQ(ierr);
231324cdb843SMatthew G. Knepley     }
231455ad3c34SMatthew G. Knepley   }
23152f84e9bcSToby Isaac   if (sizeof(PetscFECellGeom) % sizeof(PetscScalar)) {
23162f84e9bcSToby Isaac     ierr = PetscFree(cgeom);CHKERRQ(ierr);
23172f84e9bcSToby Isaac   }
23182f84e9bcSToby Isaac   else {
23192f84e9bcSToby Isaac     cgeom = NULL;
23202f84e9bcSToby Isaac   }
23212f84e9bcSToby Isaac   ierr = VecRestoreArray(cellgeom, &cgeomScal);CHKERRQ(ierr);
2322426ff135SMatthew G. Knepley   ierr = PetscFree5(u,u_t,elemMat,elemMatP,elemMatD);CHKERRQ(ierr);
2323*f7ed7b21SMatthew G. Knepley   if (dmAux) {
2324*f7ed7b21SMatthew G. Knepley     ierr = PetscFree(a);CHKERRQ(ierr);
2325*f7ed7b21SMatthew G. Knepley     ierr = DMDestroy(&plex);CHKERRQ(ierr);
2326*f7ed7b21SMatthew G. Knepley   }
232724cdb843SMatthew G. Knepley   ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr);
2328a6ba4734SToby Isaac   ierr = DMGetNumBoundary(dm, &numBd);CHKERRQ(ierr);
232924cdb843SMatthew G. Knepley   ierr = DMPlexGetDepthLabel(dm, &depth);CHKERRQ(ierr);
2330a6ba4734SToby Isaac   ierr = DMGetNumBoundary(dm, &numBd);CHKERRQ(ierr);
233124cdb843SMatthew G. Knepley   for (bd = 0; bd < numBd; ++bd) {
233224cdb843SMatthew G. Knepley     const char     *bdLabel;
233324cdb843SMatthew G. Knepley     DMLabel         label;
233424cdb843SMatthew G. Knepley     IS              pointIS;
233524cdb843SMatthew G. Knepley     const PetscInt *points;
233624cdb843SMatthew G. Knepley     const PetscInt *values;
233724cdb843SMatthew G. Knepley     PetscInt        field, numValues, numPoints, p, dep, numFaces;
233824cdb843SMatthew G. Knepley     PetscBool       isEssential;
233924cdb843SMatthew G. Knepley 
2340a6ba4734SToby Isaac     ierr = DMGetBoundary(dm, bd, &isEssential, NULL, &bdLabel, &field, NULL, NULL, NULL, &numValues, &values, NULL);CHKERRQ(ierr);
234124cdb843SMatthew G. Knepley     if (isEssential) continue;
234224cdb843SMatthew G. Knepley     if (numValues != 1) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "Bug me and I will fix this");
2343c58f1c22SToby Isaac     ierr = DMGetLabel(dm, bdLabel, &label);CHKERRQ(ierr);
234424cdb843SMatthew G. Knepley     ierr = DMLabelGetStratumSize(label, 1, &numPoints);CHKERRQ(ierr);
234524cdb843SMatthew G. Knepley     ierr = DMLabelGetStratumIS(label, 1, &pointIS);CHKERRQ(ierr);
234624cdb843SMatthew G. Knepley     ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr);
234724cdb843SMatthew G. Knepley     for (p = 0, numFaces = 0; p < numPoints; ++p) {
234824cdb843SMatthew G. Knepley       ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr);
234924cdb843SMatthew G. Knepley       if (dep == dim-1) ++numFaces;
235024cdb843SMatthew G. Knepley     }
2351bbce034cSMatthew G. Knepley     ierr = PetscMalloc3(numFaces*totDimBd,&u,numFaces,&cgeom,numFaces*totDimBd*totDimBd,&elemMat);CHKERRQ(ierr);
235224cdb843SMatthew G. Knepley     if (X_t) {ierr = PetscMalloc1(numFaces*totDimBd,&u_t);CHKERRQ(ierr);}
235324cdb843SMatthew G. Knepley     for (p = 0, f = 0; p < numPoints; ++p) {
235424cdb843SMatthew G. Knepley       const PetscInt point = points[p];
235524cdb843SMatthew G. Knepley       PetscScalar   *x     = NULL;
235624cdb843SMatthew G. Knepley       PetscInt       i;
235724cdb843SMatthew G. Knepley 
235824cdb843SMatthew G. Knepley       ierr = DMLabelGetValue(depth, points[p], &dep);CHKERRQ(ierr);
235924cdb843SMatthew G. Knepley       if (dep != dim-1) continue;
2360bbce034cSMatthew G. Knepley       ierr = DMPlexComputeCellGeometryFEM(dm, point, NULL, cgeom[f].v0, cgeom[f].J, cgeom[f].invJ, &cgeom[f].detJ);CHKERRQ(ierr);
2361302440fdSBarry Smith       ierr = DMPlexComputeCellGeometryFVM(dm, point, NULL, NULL, cgeom[f].n);CHKERRQ(ierr);
2362bbce034cSMatthew 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);
236324cdb843SMatthew G. Knepley       ierr = DMPlexVecGetClosure(dm, section, X, point, NULL, &x);CHKERRQ(ierr);
236424cdb843SMatthew G. Knepley       for (i = 0; i < totDimBd; ++i) u[f*totDimBd+i] = x[i];
236524cdb843SMatthew G. Knepley       ierr = DMPlexVecRestoreClosure(dm, section, X, point, NULL, &x);CHKERRQ(ierr);
236624cdb843SMatthew G. Knepley       if (X_t) {
236724cdb843SMatthew G. Knepley         ierr = DMPlexVecGetClosure(dm, section, X_t, point, NULL, &x);CHKERRQ(ierr);
236824cdb843SMatthew G. Knepley         for (i = 0; i < totDimBd; ++i) u_t[f*totDimBd+i] = x[i];
236924cdb843SMatthew G. Knepley         ierr = DMPlexVecRestoreClosure(dm, section, X_t, point, NULL, &x);CHKERRQ(ierr);
237024cdb843SMatthew G. Knepley       }
237124cdb843SMatthew G. Knepley       ++f;
237224cdb843SMatthew G. Knepley     }
237324cdb843SMatthew G. Knepley     ierr = PetscMemzero(elemMat, numFaces*totDimBd*totDimBd * sizeof(PetscScalar));CHKERRQ(ierr);
237424cdb843SMatthew G. Knepley     for (fieldI = 0; fieldI < Nf; ++fieldI) {
237524cdb843SMatthew G. Knepley       PetscFE  fe;
237624cdb843SMatthew G. Knepley       PetscInt numQuadPoints, Nb;
237724cdb843SMatthew G. Knepley       /* Conforming batches */
237824cdb843SMatthew G. Knepley       PetscInt numChunks, numBatches, numBlocks, Ne, blockSize, batchSize;
237924cdb843SMatthew G. Knepley       /* Remainder */
238024cdb843SMatthew G. Knepley       PetscInt Nr, offset;
238124cdb843SMatthew G. Knepley 
238224cdb843SMatthew G. Knepley       ierr = PetscDSGetBdDiscretization(prob, fieldI, (PetscObject *) &fe);CHKERRQ(ierr);
238324cdb843SMatthew G. Knepley       ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr);
238424cdb843SMatthew G. Knepley       ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr);
238524cdb843SMatthew G. Knepley       ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr);
238624cdb843SMatthew G. Knepley       ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, NULL, NULL);CHKERRQ(ierr);
238724cdb843SMatthew G. Knepley       blockSize = Nb*numQuadPoints;
238824cdb843SMatthew G. Knepley       batchSize = numBlocks * blockSize;
238924cdb843SMatthew G. Knepley       ierr =  PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr);
239024cdb843SMatthew G. Knepley       numChunks = numFaces / (numBatches*batchSize);
239124cdb843SMatthew G. Knepley       Ne        = numChunks*numBatches*batchSize;
239224cdb843SMatthew G. Knepley       Nr        = numFaces % (numBatches*batchSize);
239324cdb843SMatthew G. Knepley       offset    = numFaces - Nr;
239424cdb843SMatthew G. Knepley       for (fieldJ = 0; fieldJ < Nf; ++fieldJ) {
2395bbce034cSMatthew G. Knepley         ierr = PetscFEIntegrateBdJacobian(fe, prob, fieldI, fieldJ, Ne, cgeom, u, u_t, NULL, NULL, elemMat);CHKERRQ(ierr);
2396bbce034cSMatthew G. Knepley         ierr = PetscFEIntegrateBdJacobian(fe, prob, fieldI, fieldJ, Nr, &cgeom[offset], &u[offset*totDimBd], u_t ? &u_t[offset*totDimBd] : NULL, NULL, NULL, &elemMat[offset*totDimBd*totDimBd]);CHKERRQ(ierr);
239724cdb843SMatthew G. Knepley       }
239824cdb843SMatthew G. Knepley     }
239924cdb843SMatthew G. Knepley     for (p = 0, f = 0; p < numPoints; ++p) {
240024cdb843SMatthew G. Knepley       const PetscInt point = points[p];
240124cdb843SMatthew G. Knepley 
240224cdb843SMatthew G. Knepley       ierr = DMLabelGetValue(depth, point, &dep);CHKERRQ(ierr);
240324cdb843SMatthew G. Knepley       if (dep != dim-1) continue;
240424cdb843SMatthew G. Knepley       if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(point, "BdJacobian", totDimBd, totDimBd, &elemMat[f*totDimBd*totDimBd]);CHKERRQ(ierr);}
240524cdb843SMatthew G. Knepley       ierr = DMPlexMatSetClosure(dm, section, globalSection, JacP, point, &elemMat[f*totDimBd*totDimBd], ADD_VALUES);CHKERRQ(ierr);
240624cdb843SMatthew G. Knepley       ++f;
240724cdb843SMatthew G. Knepley     }
240824cdb843SMatthew G. Knepley     ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr);
240924cdb843SMatthew G. Knepley     ierr = ISDestroy(&pointIS);CHKERRQ(ierr);
2410bbce034cSMatthew G. Knepley     ierr = PetscFree3(u,cgeom,elemMat);CHKERRQ(ierr);
241124cdb843SMatthew G. Knepley     if (X_t) {ierr = PetscFree(u_t);CHKERRQ(ierr);}
241224cdb843SMatthew G. Knepley   }
241324cdb843SMatthew G. Knepley   ierr = MatAssemblyBegin(JacP, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
241424cdb843SMatthew G. Knepley   ierr = MatAssemblyEnd(JacP, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
241524cdb843SMatthew G. Knepley   if (mesh->printFEM) {
241624cdb843SMatthew G. Knepley     ierr = PetscPrintf(PETSC_COMM_WORLD, "%s:\n", name);CHKERRQ(ierr);
241724cdb843SMatthew G. Knepley     ierr = MatChop(JacP, 1.0e-10);CHKERRQ(ierr);
241824cdb843SMatthew G. Knepley     ierr = MatView(JacP, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
241924cdb843SMatthew G. Knepley   }
242024cdb843SMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_JacobianFEM,dm,0,0,0);CHKERRQ(ierr);
242124cdb843SMatthew G. Knepley   ierr = PetscObjectTypeCompare((PetscObject) Jac, MATSHELL, &isShell);CHKERRQ(ierr);
242224cdb843SMatthew G. Knepley   if (isShell) {
242324cdb843SMatthew G. Knepley     JacActionCtx *jctx;
242424cdb843SMatthew G. Knepley 
242524cdb843SMatthew G. Knepley     ierr = MatShellGetContext(Jac, &jctx);CHKERRQ(ierr);
242624cdb843SMatthew G. Knepley     ierr = VecCopy(X, jctx->u);CHKERRQ(ierr);
242724cdb843SMatthew G. Knepley   }
242824cdb843SMatthew G. Knepley   PetscFunctionReturn(0);
242924cdb843SMatthew G. Knepley }
243024cdb843SMatthew G. Knepley 
243124cdb843SMatthew G. Knepley #undef __FUNCT__
243224cdb843SMatthew G. Knepley #define __FUNCT__ "DMPlexSNESComputeJacobianFEM"
243324cdb843SMatthew G. Knepley /*@
243424cdb843SMatthew G. Knepley   DMPlexSNESComputeJacobianFEM - Form the local portion of the Jacobian matrix J at the local solution X using pointwise functions specified by the user.
243524cdb843SMatthew G. Knepley 
243624cdb843SMatthew G. Knepley   Input Parameters:
243724cdb843SMatthew G. Knepley + dm - The mesh
243824cdb843SMatthew G. Knepley . X  - Local input vector
243924cdb843SMatthew G. Knepley - user - The user context
244024cdb843SMatthew G. Knepley 
244124cdb843SMatthew G. Knepley   Output Parameter:
244224cdb843SMatthew G. Knepley . Jac  - Jacobian matrix
244324cdb843SMatthew G. Knepley 
244424cdb843SMatthew G. Knepley   Note:
244524cdb843SMatthew G. Knepley   The first member of the user context must be an FEMContext.
244624cdb843SMatthew G. Knepley 
244724cdb843SMatthew G. Knepley   We form the residual one batch of elements at a time. This allows us to offload work onto an accelerator,
244824cdb843SMatthew G. Knepley   like a GPU, or vectorize on a multicore machine.
244924cdb843SMatthew G. Knepley 
245024cdb843SMatthew G. Knepley   Level: developer
245124cdb843SMatthew G. Knepley 
245224cdb843SMatthew G. Knepley .seealso: FormFunctionLocal()
245324cdb843SMatthew G. Knepley @*/
245424cdb843SMatthew G. Knepley PetscErrorCode DMPlexSNESComputeJacobianFEM(DM dm, Vec X, Mat Jac, Mat JacP,void *user)
245524cdb843SMatthew G. Knepley {
2456b953af5fSMatthew G. Knepley   PetscInt       cStart, cEnd, cEndInterior;
24576da023fcSToby Isaac   DM             plex;
245824cdb843SMatthew G. Knepley   PetscErrorCode ierr;
245924cdb843SMatthew G. Knepley 
246024cdb843SMatthew G. Knepley   PetscFunctionBegin;
24616da023fcSToby Isaac   ierr = DMSNESConvertPlex(dm,&plex,PETSC_TRUE);CHKERRQ(ierr);
24626da023fcSToby Isaac   ierr = DMPlexGetHeightStratum(plex, 0, &cStart, &cEnd);CHKERRQ(ierr);
24636da023fcSToby Isaac   ierr = DMPlexGetHybridBounds(plex, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
2464b953af5fSMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
24656da023fcSToby Isaac   ierr = DMPlexComputeJacobian_Internal(plex, cStart, cEnd, 0.0, 0.0, X, NULL, Jac, JacP, user);CHKERRQ(ierr);
24669a81d013SToby Isaac   ierr = DMDestroy(&plex);CHKERRQ(ierr);
246724cdb843SMatthew G. Knepley   PetscFunctionReturn(0);
246824cdb843SMatthew G. Knepley }
24691878804aSMatthew G. Knepley 
24701878804aSMatthew G. Knepley #undef __FUNCT__
24719f520fc2SToby Isaac #define __FUNCT__ "DMPlexSetSNESLocalFEM"
24729f520fc2SToby Isaac /*@
24739f520fc2SToby Isaac   DMPlexSetSNESLocalFEM - Use DMPlex's internal FEM routines to compute SNES boundary values, residual, and Jacobian.
24749f520fc2SToby Isaac 
24759f520fc2SToby Isaac   Input Parameters:
24769f520fc2SToby Isaac + dm - The DM object
24779f520fc2SToby Isaac . boundaryctx - the user context that will be passed to pointwise evaluation of boundary values (see DMAddBoundary())
24789f520fc2SToby Isaac . residualctx - the user context that will be passed to pointwise evaluation of finite element residual computations (see PetscDSSetResidual())
24799f520fc2SToby Isaac - jacobianctx - the user context that will be passed to pointwise evaluation of finite element Jacobian construction (see PetscDSSetJacobian())
24809f520fc2SToby Isaac @*/
24819f520fc2SToby Isaac PetscErrorCode DMPlexSetSNESLocalFEM(DM dm, void *boundaryctx, void *residualctx, void *jacobianctx)
24829f520fc2SToby Isaac {
24839f520fc2SToby Isaac   PetscErrorCode ierr;
24849f520fc2SToby Isaac 
24859f520fc2SToby Isaac   PetscFunctionBegin;
24869f520fc2SToby Isaac   ierr = DMSNESSetBoundaryLocal(dm,DMPlexSNESComputeBoundaryFEM,boundaryctx);CHKERRQ(ierr);
24879f520fc2SToby Isaac   ierr = DMSNESSetFunctionLocal(dm,DMPlexSNESComputeResidualFEM,residualctx);CHKERRQ(ierr);
24889f520fc2SToby Isaac   ierr = DMSNESSetJacobianLocal(dm,DMPlexSNESComputeJacobianFEM,jacobianctx);CHKERRQ(ierr);
24899f520fc2SToby Isaac   PetscFunctionReturn(0);
24909f520fc2SToby Isaac }
24919f520fc2SToby Isaac 
24929f520fc2SToby Isaac #undef __FUNCT__
24931878804aSMatthew G. Knepley #define __FUNCT__ "DMSNESCheckFromOptions_Internal"
24940163fd50SMatthew 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)
24951878804aSMatthew G. Knepley {
24961878804aSMatthew G. Knepley   Mat            J, M;
24971878804aSMatthew G. Knepley   Vec            r, b;
24981878804aSMatthew G. Knepley   MatNullSpace   nullSpace;
24991878804aSMatthew G. Knepley   PetscReal     *error, res = 0.0;
25001878804aSMatthew G. Knepley   PetscInt       numFields;
25011878804aSMatthew G. Knepley   PetscErrorCode ierr;
25021878804aSMatthew G. Knepley 
25031878804aSMatthew G. Knepley   PetscFunctionBegin;
25041878804aSMatthew G. Knepley   ierr = VecDuplicate(u, &r);CHKERRQ(ierr);
25051878804aSMatthew G. Knepley   ierr = DMCreateMatrix(dm, &J);CHKERRQ(ierr);
25061878804aSMatthew G. Knepley   M    = J;
25071878804aSMatthew G. Knepley   /* TODO Null space for J */
25081878804aSMatthew G. Knepley   /* Check discretization error */
25091878804aSMatthew G. Knepley   ierr = DMGetNumFields(dm, &numFields);CHKERRQ(ierr);
25101878804aSMatthew G. Knepley   ierr = PetscMalloc1(PetscMax(1, numFields), &error);CHKERRQ(ierr);
25111878804aSMatthew G. Knepley   if (numFields > 1) {
25121878804aSMatthew G. Knepley     PetscInt f;
25131878804aSMatthew G. Knepley 
25141189c1efSToby Isaac     ierr = DMComputeL2FieldDiff(dm, 0.0, exactFuncs, ctxs, u, error);CHKERRQ(ierr);
25151878804aSMatthew G. Knepley     ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: [");CHKERRQ(ierr);
25161878804aSMatthew G. Knepley     for (f = 0; f < numFields; ++f) {
25171878804aSMatthew G. Knepley       if (f) {ierr = PetscPrintf(PETSC_COMM_WORLD, ", ");CHKERRQ(ierr);}
25181878804aSMatthew G. Knepley       if (error[f] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "%g", error[f]);CHKERRQ(ierr);}
25191878804aSMatthew G. Knepley       else                     {ierr = PetscPrintf(PETSC_COMM_WORLD, "< 1.0e-11");CHKERRQ(ierr);}
25201878804aSMatthew G. Knepley     }
25211878804aSMatthew G. Knepley     ierr = PetscPrintf(PETSC_COMM_WORLD, "]\n");CHKERRQ(ierr);
25221878804aSMatthew G. Knepley   } else {
25230709b2feSToby Isaac     ierr = DMComputeL2Diff(dm, 0.0, exactFuncs, ctxs, u, &error[0]);CHKERRQ(ierr);
25241878804aSMatthew G. Knepley     if (error[0] >= 1.0e-11) {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: %g\n", error[0]);CHKERRQ(ierr);}
25251878804aSMatthew G. Knepley     else                     {ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Error: < 1.0e-11\n");CHKERRQ(ierr);}
25261878804aSMatthew G. Knepley   }
25271878804aSMatthew G. Knepley   ierr = PetscFree(error);CHKERRQ(ierr);
25281878804aSMatthew G. Knepley   /* Check residual */
25291878804aSMatthew G. Knepley   ierr = SNESComputeFunction(snes, u, r);CHKERRQ(ierr);
25301878804aSMatthew G. Knepley   ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr);
25311878804aSMatthew G. Knepley   ierr = PetscPrintf(PETSC_COMM_WORLD, "L_2 Residual: %g\n", res);CHKERRQ(ierr);
25321878804aSMatthew G. Knepley   ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr);
25331878804aSMatthew G. Knepley   ierr = PetscObjectSetName((PetscObject) r, "Initial Residual");CHKERRQ(ierr);
2534685405a1SBarry Smith   ierr = PetscObjectSetOptionsPrefix((PetscObject)r,"res_");CHKERRQ(ierr);
2535685405a1SBarry Smith   ierr = VecViewFromOptions(r, NULL, "-vec_view");CHKERRQ(ierr);
25361878804aSMatthew G. Knepley   /* Check Jacobian */
25371878804aSMatthew G. Knepley   ierr = SNESComputeJacobian(snes, u, M, M);CHKERRQ(ierr);
25381878804aSMatthew G. Knepley   ierr = MatGetNullSpace(J, &nullSpace);CHKERRQ(ierr);
25391878804aSMatthew G. Knepley   if (nullSpace) {
25401878804aSMatthew G. Knepley     PetscBool isNull;
25411878804aSMatthew G. Knepley     ierr = MatNullSpaceTest(nullSpace, J, &isNull);CHKERRQ(ierr);
25421878804aSMatthew G. Knepley     if (!isNull) SETERRQ(PETSC_COMM_WORLD, PETSC_ERR_PLIB, "The null space calculated for the system operator is invalid.");
25431878804aSMatthew G. Knepley   }
25441878804aSMatthew G. Knepley   ierr = VecDuplicate(u, &b);CHKERRQ(ierr);
25451878804aSMatthew G. Knepley   ierr = VecSet(r, 0.0);CHKERRQ(ierr);
25461878804aSMatthew G. Knepley   ierr = SNESComputeFunction(snes, r, b);CHKERRQ(ierr);
25471878804aSMatthew G. Knepley   ierr = MatMult(M, u, r);CHKERRQ(ierr);
25481878804aSMatthew G. Knepley   ierr = VecAXPY(r, 1.0, b);CHKERRQ(ierr);
25491878804aSMatthew G. Knepley   ierr = VecDestroy(&b);CHKERRQ(ierr);
25501878804aSMatthew G. Knepley   ierr = VecNorm(r, NORM_2, &res);CHKERRQ(ierr);
25511878804aSMatthew G. Knepley   ierr = PetscPrintf(PETSC_COMM_WORLD, "Linear L_2 Residual: %g\n", res);CHKERRQ(ierr);
25521878804aSMatthew G. Knepley   ierr = VecChop(r, 1.0e-10);CHKERRQ(ierr);
25531878804aSMatthew G. Knepley   ierr = PetscObjectSetName((PetscObject) r, "Au - b = Au + F(0)");CHKERRQ(ierr);
2554685405a1SBarry Smith   ierr = PetscObjectSetOptionsPrefix((PetscObject)r,"linear_res_");CHKERRQ(ierr);
2555685405a1SBarry Smith   ierr = VecViewFromOptions(r, NULL, "-vec_view");CHKERRQ(ierr);
25561878804aSMatthew G. Knepley   ierr = VecDestroy(&r);CHKERRQ(ierr);
25571878804aSMatthew G. Knepley   ierr = MatNullSpaceDestroy(&nullSpace);CHKERRQ(ierr);
25581878804aSMatthew G. Knepley   ierr = MatDestroy(&J);CHKERRQ(ierr);
25591878804aSMatthew G. Knepley   PetscFunctionReturn(0);
25601878804aSMatthew G. Knepley }
25611878804aSMatthew G. Knepley 
25621878804aSMatthew G. Knepley #undef __FUNCT__
25631878804aSMatthew G. Knepley #define __FUNCT__ "DMSNESCheckFromOptions"
25640163fd50SMatthew 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)
25651878804aSMatthew G. Knepley {
25661878804aSMatthew G. Knepley   DM             dm;
25671878804aSMatthew G. Knepley   Vec            sol;
25681878804aSMatthew G. Knepley   PetscBool      check;
25691878804aSMatthew G. Knepley   PetscErrorCode ierr;
25701878804aSMatthew G. Knepley 
25711878804aSMatthew G. Knepley   PetscFunctionBegin;
2572c5929fdfSBarry Smith   ierr = PetscOptionsHasName(((PetscObject)snes)->options,((PetscObject)snes)->prefix, "-dmsnes_check", &check);CHKERRQ(ierr);
25731878804aSMatthew G. Knepley   if (!check) PetscFunctionReturn(0);
25741878804aSMatthew G. Knepley   ierr = SNESGetDM(snes, &dm);CHKERRQ(ierr);
25751878804aSMatthew G. Knepley   ierr = VecDuplicate(u, &sol);CHKERRQ(ierr);
25761878804aSMatthew G. Knepley   ierr = SNESSetSolution(snes, sol);CHKERRQ(ierr);
25771878804aSMatthew G. Knepley   ierr = DMSNESCheckFromOptions_Internal(snes, dm, u, sol, exactFuncs, ctxs);CHKERRQ(ierr);
25781878804aSMatthew G. Knepley   ierr = VecDestroy(&sol);CHKERRQ(ierr);
2579552f7358SJed Brown   PetscFunctionReturn(0);
2580552f7358SJed Brown }
2581