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