xref: /petsc/src/dm/impls/plex/plexfem.c (revision b69edc29e674e9f8dd24e09a0cfdb4c070281ce9)
1cb1e1211SMatthew G Knepley #include <petsc-private/dmpleximpl.h>   /*I      "petscdmplex.h"   I*/
2da97024aSMatthew G. Knepley #include <petscsf.h>
3cb1e1211SMatthew G Knepley 
40f2d7e86SMatthew G. Knepley #include <petsc-private/petscfeimpl.h>
515496722SMatthew G. Knepley #include <petsc-private/petscfvimpl.h>
6a0845e3aSMatthew G. Knepley 
7cb1e1211SMatthew G Knepley #undef __FUNCT__
8cb1e1211SMatthew G Knepley #define __FUNCT__ "DMPlexGetScale"
9cb1e1211SMatthew G Knepley PetscErrorCode DMPlexGetScale(DM dm, PetscUnit unit, PetscReal *scale)
10cb1e1211SMatthew G Knepley {
11cb1e1211SMatthew G Knepley   DM_Plex *mesh = (DM_Plex*) dm->data;
12cb1e1211SMatthew G Knepley 
13cb1e1211SMatthew G Knepley   PetscFunctionBegin;
14cb1e1211SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
15cb1e1211SMatthew G Knepley   PetscValidPointer(scale, 3);
16cb1e1211SMatthew G Knepley   *scale = mesh->scale[unit];
17cb1e1211SMatthew G Knepley   PetscFunctionReturn(0);
18cb1e1211SMatthew G Knepley }
19cb1e1211SMatthew G Knepley 
20cb1e1211SMatthew G Knepley #undef __FUNCT__
21cb1e1211SMatthew G Knepley #define __FUNCT__ "DMPlexSetScale"
22cb1e1211SMatthew G Knepley PetscErrorCode DMPlexSetScale(DM dm, PetscUnit unit, PetscReal scale)
23cb1e1211SMatthew G Knepley {
24cb1e1211SMatthew G Knepley   DM_Plex *mesh = (DM_Plex*) dm->data;
25cb1e1211SMatthew G Knepley 
26cb1e1211SMatthew G Knepley   PetscFunctionBegin;
27cb1e1211SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
28cb1e1211SMatthew G Knepley   mesh->scale[unit] = scale;
29cb1e1211SMatthew G Knepley   PetscFunctionReturn(0);
30cb1e1211SMatthew G Knepley }
31cb1e1211SMatthew G Knepley 
32cb1e1211SMatthew G Knepley PETSC_STATIC_INLINE PetscInt epsilon(PetscInt i, PetscInt j, PetscInt k)
33cb1e1211SMatthew G Knepley {
34cb1e1211SMatthew G Knepley   switch (i) {
35cb1e1211SMatthew G Knepley   case 0:
36cb1e1211SMatthew G Knepley     switch (j) {
37cb1e1211SMatthew G Knepley     case 0: return 0;
38cb1e1211SMatthew G Knepley     case 1:
39cb1e1211SMatthew G Knepley       switch (k) {
40cb1e1211SMatthew G Knepley       case 0: return 0;
41cb1e1211SMatthew G Knepley       case 1: return 0;
42cb1e1211SMatthew G Knepley       case 2: return 1;
43cb1e1211SMatthew G Knepley       }
44cb1e1211SMatthew G Knepley     case 2:
45cb1e1211SMatthew G Knepley       switch (k) {
46cb1e1211SMatthew G Knepley       case 0: return 0;
47cb1e1211SMatthew G Knepley       case 1: return -1;
48cb1e1211SMatthew G Knepley       case 2: return 0;
49cb1e1211SMatthew G Knepley       }
50cb1e1211SMatthew G Knepley     }
51cb1e1211SMatthew G Knepley   case 1:
52cb1e1211SMatthew G Knepley     switch (j) {
53cb1e1211SMatthew G Knepley     case 0:
54cb1e1211SMatthew G Knepley       switch (k) {
55cb1e1211SMatthew G Knepley       case 0: return 0;
56cb1e1211SMatthew G Knepley       case 1: return 0;
57cb1e1211SMatthew G Knepley       case 2: return -1;
58cb1e1211SMatthew G Knepley       }
59cb1e1211SMatthew G Knepley     case 1: return 0;
60cb1e1211SMatthew G Knepley     case 2:
61cb1e1211SMatthew G Knepley       switch (k) {
62cb1e1211SMatthew G Knepley       case 0: return 1;
63cb1e1211SMatthew G Knepley       case 1: return 0;
64cb1e1211SMatthew G Knepley       case 2: return 0;
65cb1e1211SMatthew G Knepley       }
66cb1e1211SMatthew G Knepley     }
67cb1e1211SMatthew G Knepley   case 2:
68cb1e1211SMatthew G Knepley     switch (j) {
69cb1e1211SMatthew G Knepley     case 0:
70cb1e1211SMatthew G Knepley       switch (k) {
71cb1e1211SMatthew G Knepley       case 0: return 0;
72cb1e1211SMatthew G Knepley       case 1: return 1;
73cb1e1211SMatthew G Knepley       case 2: return 0;
74cb1e1211SMatthew G Knepley       }
75cb1e1211SMatthew G Knepley     case 1:
76cb1e1211SMatthew G Knepley       switch (k) {
77cb1e1211SMatthew G Knepley       case 0: return -1;
78cb1e1211SMatthew G Knepley       case 1: return 0;
79cb1e1211SMatthew G Knepley       case 2: return 0;
80cb1e1211SMatthew G Knepley       }
81cb1e1211SMatthew G Knepley     case 2: return 0;
82cb1e1211SMatthew G Knepley     }
83cb1e1211SMatthew G Knepley   }
84cb1e1211SMatthew G Knepley   return 0;
85cb1e1211SMatthew G Knepley }
86cb1e1211SMatthew G Knepley 
87cb1e1211SMatthew G Knepley #undef __FUNCT__
88cb1e1211SMatthew G Knepley #define __FUNCT__ "DMPlexCreateRigidBody"
89cb1e1211SMatthew G Knepley /*@C
90cb1e1211SMatthew G Knepley   DMPlexCreateRigidBody - create rigid body modes from coordinates
91cb1e1211SMatthew G Knepley 
92cb1e1211SMatthew G Knepley   Collective on DM
93cb1e1211SMatthew G Knepley 
94cb1e1211SMatthew G Knepley   Input Arguments:
95cb1e1211SMatthew G Knepley + dm - the DM
96cb1e1211SMatthew G Knepley . section - the local section associated with the rigid field, or NULL for the default section
97cb1e1211SMatthew G Knepley - globalSection - the global section associated with the rigid field, or NULL for the default section
98cb1e1211SMatthew G Knepley 
99cb1e1211SMatthew G Knepley   Output Argument:
100cb1e1211SMatthew G Knepley . sp - the null space
101cb1e1211SMatthew G Knepley 
102cb1e1211SMatthew G Knepley   Note: This is necessary to take account of Dirichlet conditions on the displacements
103cb1e1211SMatthew G Knepley 
104cb1e1211SMatthew G Knepley   Level: advanced
105cb1e1211SMatthew G Knepley 
106cb1e1211SMatthew G Knepley .seealso: MatNullSpaceCreate()
107cb1e1211SMatthew G Knepley @*/
108cb1e1211SMatthew G Knepley PetscErrorCode DMPlexCreateRigidBody(DM dm, PetscSection section, PetscSection globalSection, MatNullSpace *sp)
109cb1e1211SMatthew G Knepley {
110cb1e1211SMatthew G Knepley   MPI_Comm       comm;
111cb1e1211SMatthew G Knepley   Vec            coordinates, localMode, mode[6];
112cb1e1211SMatthew G Knepley   PetscSection   coordSection;
113cb1e1211SMatthew G Knepley   PetscScalar   *coords;
114cb1e1211SMatthew G Knepley   PetscInt       dim, vStart, vEnd, v, n, m, d, i, j;
115cb1e1211SMatthew G Knepley   PetscErrorCode ierr;
116cb1e1211SMatthew G Knepley 
117cb1e1211SMatthew G Knepley   PetscFunctionBegin;
118cb1e1211SMatthew G Knepley   ierr = PetscObjectGetComm((PetscObject)dm,&comm);CHKERRQ(ierr);
119c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
120cb1e1211SMatthew G Knepley   if (dim == 1) {
121cb1e1211SMatthew G Knepley     ierr = MatNullSpaceCreate(comm, PETSC_TRUE, 0, NULL, sp);CHKERRQ(ierr);
122cb1e1211SMatthew G Knepley     PetscFunctionReturn(0);
123cb1e1211SMatthew G Knepley   }
124cb1e1211SMatthew G Knepley   if (!section)       {ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);}
125cb1e1211SMatthew G Knepley   if (!globalSection) {ierr = DMGetDefaultGlobalSection(dm, &globalSection);CHKERRQ(ierr);}
126cb1e1211SMatthew G Knepley   ierr = PetscSectionGetConstrainedStorageSize(globalSection, &n);CHKERRQ(ierr);
127cb1e1211SMatthew G Knepley   ierr = DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd);CHKERRQ(ierr);
12869d8a9ceSMatthew G. Knepley   ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr);
129cb1e1211SMatthew G Knepley   ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr);
130cb1e1211SMatthew G Knepley   m    = (dim*(dim+1))/2;
131cb1e1211SMatthew G Knepley   ierr = VecCreate(comm, &mode[0]);CHKERRQ(ierr);
132cb1e1211SMatthew G Knepley   ierr = VecSetSizes(mode[0], n, PETSC_DETERMINE);CHKERRQ(ierr);
133cb1e1211SMatthew G Knepley   ierr = VecSetUp(mode[0]);CHKERRQ(ierr);
134cb1e1211SMatthew G Knepley   for (i = 1; i < m; ++i) {ierr = VecDuplicate(mode[0], &mode[i]);CHKERRQ(ierr);}
135cb1e1211SMatthew G Knepley   /* Assume P1 */
136cb1e1211SMatthew G Knepley   ierr = DMGetLocalVector(dm, &localMode);CHKERRQ(ierr);
137cb1e1211SMatthew G Knepley   for (d = 0; d < dim; ++d) {
138cb1e1211SMatthew G Knepley     PetscScalar values[3] = {0.0, 0.0, 0.0};
139cb1e1211SMatthew G Knepley 
140cb1e1211SMatthew G Knepley     values[d] = 1.0;
141cb1e1211SMatthew G Knepley     ierr      = VecSet(localMode, 0.0);CHKERRQ(ierr);
142cb1e1211SMatthew G Knepley     for (v = vStart; v < vEnd; ++v) {
143cb1e1211SMatthew G Knepley       ierr = DMPlexVecSetClosure(dm, section, localMode, v, values, INSERT_VALUES);CHKERRQ(ierr);
144cb1e1211SMatthew G Knepley     }
145cb1e1211SMatthew G Knepley     ierr = DMLocalToGlobalBegin(dm, localMode, INSERT_VALUES, mode[d]);CHKERRQ(ierr);
146cb1e1211SMatthew G Knepley     ierr = DMLocalToGlobalEnd(dm, localMode, INSERT_VALUES, mode[d]);CHKERRQ(ierr);
147cb1e1211SMatthew G Knepley   }
148cb1e1211SMatthew G Knepley   ierr = VecGetArray(coordinates, &coords);CHKERRQ(ierr);
149cb1e1211SMatthew G Knepley   for (d = dim; d < dim*(dim+1)/2; ++d) {
150cb1e1211SMatthew G Knepley     PetscInt i, j, k = dim > 2 ? d - dim : d;
151cb1e1211SMatthew G Knepley 
152cb1e1211SMatthew G Knepley     ierr = VecSet(localMode, 0.0);CHKERRQ(ierr);
153cb1e1211SMatthew G Knepley     for (v = vStart; v < vEnd; ++v) {
154cb1e1211SMatthew G Knepley       PetscScalar values[3] = {0.0, 0.0, 0.0};
155cb1e1211SMatthew G Knepley       PetscInt    off;
156cb1e1211SMatthew G Knepley 
157cb1e1211SMatthew G Knepley       ierr = PetscSectionGetOffset(coordSection, v, &off);CHKERRQ(ierr);
158cb1e1211SMatthew G Knepley       for (i = 0; i < dim; ++i) {
159cb1e1211SMatthew G Knepley         for (j = 0; j < dim; ++j) {
160cb1e1211SMatthew G Knepley           values[j] += epsilon(i, j, k)*PetscRealPart(coords[off+i]);
161cb1e1211SMatthew G Knepley         }
162cb1e1211SMatthew G Knepley       }
163cb1e1211SMatthew G Knepley       ierr = DMPlexVecSetClosure(dm, section, localMode, v, values, INSERT_VALUES);CHKERRQ(ierr);
164cb1e1211SMatthew G Knepley     }
165cb1e1211SMatthew G Knepley     ierr = DMLocalToGlobalBegin(dm, localMode, INSERT_VALUES, mode[d]);CHKERRQ(ierr);
166cb1e1211SMatthew G Knepley     ierr = DMLocalToGlobalEnd(dm, localMode, INSERT_VALUES, mode[d]);CHKERRQ(ierr);
167cb1e1211SMatthew G Knepley   }
168cb1e1211SMatthew G Knepley   ierr = VecRestoreArray(coordinates, &coords);CHKERRQ(ierr);
169cb1e1211SMatthew G Knepley   ierr = DMRestoreLocalVector(dm, &localMode);CHKERRQ(ierr);
170cb1e1211SMatthew G Knepley   for (i = 0; i < dim; ++i) {ierr = VecNormalize(mode[i], NULL);CHKERRQ(ierr);}
171cb1e1211SMatthew G Knepley   /* Orthonormalize system */
172cb1e1211SMatthew G Knepley   for (i = dim; i < m; ++i) {
173cb1e1211SMatthew G Knepley     PetscScalar dots[6];
174cb1e1211SMatthew G Knepley 
175cb1e1211SMatthew G Knepley     ierr = VecMDot(mode[i], i, mode, dots);CHKERRQ(ierr);
176cb1e1211SMatthew G Knepley     for (j = 0; j < i; ++j) dots[j] *= -1.0;
177cb1e1211SMatthew G Knepley     ierr = VecMAXPY(mode[i], i, dots, mode);CHKERRQ(ierr);
178cb1e1211SMatthew G Knepley     ierr = VecNormalize(mode[i], NULL);CHKERRQ(ierr);
179cb1e1211SMatthew G Knepley   }
180cb1e1211SMatthew G Knepley   ierr = MatNullSpaceCreate(comm, PETSC_FALSE, m, mode, sp);CHKERRQ(ierr);
181cb1e1211SMatthew G Knepley   for (i = 0; i< m; ++i) {ierr = VecDestroy(&mode[i]);CHKERRQ(ierr);}
182cb1e1211SMatthew G Knepley   PetscFunctionReturn(0);
183cb1e1211SMatthew G Knepley }
184cb1e1211SMatthew G Knepley 
185cb1e1211SMatthew G Knepley #undef __FUNCT__
186b29cfa1cSToby Isaac #define __FUNCT__ "DMPlexSetMaxProjectionHeight"
187b29cfa1cSToby Isaac /*@
188b29cfa1cSToby Isaac   DMPlexSetMaxProjectionHeight - In DMPlexProjectXXXLocal() functions, the projected values of a basis function's dofs
189b29cfa1cSToby Isaac   are computed by associating the basis function with one of the mesh points in its transitively-closed support, and
190b29cfa1cSToby Isaac   evaluating the dual space basis of that point.  A basis function is associated with the point in its
191b29cfa1cSToby Isaac   transitively-closed support whose mesh height is highest (w.r.t. DAG height), but not greater than the maximum
192b29cfa1cSToby Isaac   projection height, which is set with this function.  By default, the maximum projection height is zero, which means
193b29cfa1cSToby Isaac   that only mesh cells are used to project basis functions.  A height of one, for example, evaluates a cell-interior
194b29cfa1cSToby Isaac   basis functions using its cells dual space basis, but all other basis functions with the dual space basis of a face.
195b29cfa1cSToby Isaac 
196b29cfa1cSToby Isaac   Input Parameters:
197b29cfa1cSToby Isaac + dm - the DMPlex object
198b29cfa1cSToby Isaac - height - the maximum projection height >= 0
199b29cfa1cSToby Isaac 
200b29cfa1cSToby Isaac   Level: advanced
201b29cfa1cSToby Isaac 
202048b7b1eSToby Isaac .seealso: DMPlexGetMaxProjectionHeight(), DMPlexProjectFunctionLocal(), DMPlexProjectFunctionLabelLocal()
203b29cfa1cSToby Isaac @*/
204b29cfa1cSToby Isaac PetscErrorCode DMPlexSetMaxProjectionHeight(DM dm, PetscInt height)
205b29cfa1cSToby Isaac {
206b29cfa1cSToby Isaac   DM_Plex *plex = (DM_Plex *) dm->data;
207b29cfa1cSToby Isaac 
208b29cfa1cSToby Isaac   PetscFunctionBegin;
209b29cfa1cSToby Isaac   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
210b29cfa1cSToby Isaac   plex->maxProjectionHeight = height;
211b29cfa1cSToby Isaac   PetscFunctionReturn(0);
212b29cfa1cSToby Isaac }
213b29cfa1cSToby Isaac 
214b29cfa1cSToby Isaac #undef __FUNCT__
215b29cfa1cSToby Isaac #define __FUNCT__ "DMPlexGetMaxProjectionHeight"
216b29cfa1cSToby Isaac /*@
217b29cfa1cSToby Isaac   DMPlexGetMaxProjectionHeight - Get the maximum height (w.r.t. DAG) of mesh points used to evaluate dual bases in
218b29cfa1cSToby Isaac   DMPlexProjectXXXLocal() functions.
219b29cfa1cSToby Isaac 
220b29cfa1cSToby Isaac   Input Parameters:
221b29cfa1cSToby Isaac . dm - the DMPlex object
222b29cfa1cSToby Isaac 
223b29cfa1cSToby Isaac   Output Parameters:
224b29cfa1cSToby Isaac . height - the maximum projection height
225b29cfa1cSToby Isaac 
226b29cfa1cSToby Isaac   Level: intermediate
227b29cfa1cSToby Isaac 
228048b7b1eSToby Isaac .seealso: DMPlexSetMaxProjectionHeight(), DMPlexProjectFunctionLocal(), DMPlexProjectFunctionLabelLocal()
229b29cfa1cSToby Isaac @*/
230b29cfa1cSToby Isaac PetscErrorCode DMPlexGetMaxProjectionHeight(DM dm, PetscInt *height)
231b29cfa1cSToby Isaac {
232b29cfa1cSToby Isaac   DM_Plex *plex = (DM_Plex *) dm->data;
233b29cfa1cSToby Isaac 
234b29cfa1cSToby Isaac   PetscFunctionBegin;
235b29cfa1cSToby Isaac   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
236b29cfa1cSToby Isaac   *height = plex->maxProjectionHeight;
237b29cfa1cSToby Isaac   PetscFunctionReturn(0);
238b29cfa1cSToby Isaac }
239b29cfa1cSToby Isaac 
240b29cfa1cSToby Isaac #undef __FUNCT__
241a18a7fb9SMatthew G. Knepley #define __FUNCT__ "DMPlexProjectFunctionLabelLocal"
242bf3434eeSMatthew G. Knepley PetscErrorCode DMPlexProjectFunctionLabelLocal(DM dm, DMLabel label, PetscInt numIds, const PetscInt ids[], void (**funcs)(const PetscReal [], PetscScalar *, void *), void **ctxs, InsertMode mode, Vec localX)
243a18a7fb9SMatthew G. Knepley {
2447d1dd11eSToby Isaac   PetscDualSpace *sp, *cellsp;
245dda36da7SMatthew G. Knepley   PetscInt       *numComp;
246a18a7fb9SMatthew G. Knepley   PetscSection    section;
247a18a7fb9SMatthew G. Knepley   PetscScalar    *values;
248ad96f515SMatthew G. Knepley   PetscBool      *fieldActive;
249dda36da7SMatthew G. Knepley   PetscInt        numFields, dim, dimEmbed, spDim, totDim = 0, numValues, pStart, pEnd, cStart, cEnd, cEndInterior, f, d, v, i, comp, maxHeight, h;
250a18a7fb9SMatthew G. Knepley   PetscErrorCode  ierr;
251a18a7fb9SMatthew G. Knepley 
252a18a7fb9SMatthew G. Knepley   PetscFunctionBegin;
2539ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
2549ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
2559ac3fadcSMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
2569ac3fadcSMatthew G. Knepley   if (cEnd <= cStart) PetscFunctionReturn(0);
257c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
2587a1a1bd4SToby Isaac   ierr = DMGetCoordinateDim(dm, &dimEmbed);CHKERRQ(ierr);
259a18a7fb9SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
260a18a7fb9SMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &numFields);CHKERRQ(ierr);
261dda36da7SMatthew G. Knepley   ierr = PetscMalloc2(numFields,&sp,numFields,&numComp);CHKERRQ(ierr);
2627d1dd11eSToby Isaac   ierr = DMPlexGetMaxProjectionHeight(dm,&maxHeight);CHKERRQ(ierr);
2637d1dd11eSToby Isaac   if (maxHeight < 0 || maxHeight > dim) {SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_USER,"maximum projection height %d not in [0, %d)\n", maxHeight,dim);}
2649ac3fadcSMatthew G. Knepley   if (maxHeight > 0) {ierr = PetscMalloc1(numFields,&cellsp);CHKERRQ(ierr);}
2659ac3fadcSMatthew G. Knepley   else               {cellsp = sp;}
2667d1dd11eSToby Isaac   for (h = 0; h <= maxHeight; h++) {
2677d1dd11eSToby Isaac     ierr = DMPlexGetHeightStratum(dm, h, &pStart, &pEnd);CHKERRQ(ierr);
268fa5a0009SMatthew G. Knepley     if (!h) {pStart = cStart; pEnd = cEnd;}
2697d1dd11eSToby Isaac     if (pEnd <= pStart) continue;
2707d1dd11eSToby Isaac     totDim = 0;
271a18a7fb9SMatthew G. Knepley     for (f = 0; f < numFields; ++f) {
2729ac3fadcSMatthew G. Knepley       PetscObject  obj;
2739ac3fadcSMatthew G. Knepley       PetscClassId id;
2749ac3fadcSMatthew G. Knepley 
2759ac3fadcSMatthew G. Knepley       ierr = DMGetField(dm, f, &obj);CHKERRQ(ierr);
2769ac3fadcSMatthew G. Knepley       ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
2779ac3fadcSMatthew G. Knepley       if (id == PETSCFE_CLASSID) {
2789ac3fadcSMatthew G. Knepley         PetscFE fe = (PetscFE) obj;
2799ac3fadcSMatthew G. Knepley 
280dda36da7SMatthew G. Knepley         ierr = PetscFEGetNumComponents(fe, &numComp[f]);CHKERRQ(ierr);
2817d1dd11eSToby Isaac         if (!h) {
282ee2838f6SToby Isaac           ierr = PetscFEGetDualSpace(fe, &cellsp[f]);CHKERRQ(ierr);
2837d1dd11eSToby Isaac           sp[f] = cellsp[f];
2849ac3fadcSMatthew G. Knepley           ierr = PetscObjectReference((PetscObject) sp[f]);CHKERRQ(ierr);
2859ac3fadcSMatthew G. Knepley         } else {
2867d1dd11eSToby Isaac           ierr = PetscDualSpaceGetHeightSubspace(cellsp[f], h, &sp[f]);CHKERRQ(ierr);
2877d1dd11eSToby Isaac           if (!sp[f]) continue;
2887d1dd11eSToby Isaac         }
2899ac3fadcSMatthew G. Knepley       } else if (id == PETSCFV_CLASSID) {
2909ac3fadcSMatthew G. Knepley         PetscFV         fv = (PetscFV) obj;
2919ac3fadcSMatthew G. Knepley         PetscQuadrature q;
2929ac3fadcSMatthew G. Knepley 
293dda36da7SMatthew G. Knepley         ierr = PetscFVGetNumComponents(fv, &numComp[f]);CHKERRQ(ierr);
2949ac3fadcSMatthew G. Knepley         ierr = PetscFVGetQuadrature(fv, &q);CHKERRQ(ierr);
2959ac3fadcSMatthew G. Knepley         ierr = PetscDualSpaceCreate(PetscObjectComm((PetscObject) fv), &sp[f]);CHKERRQ(ierr);
2969ac3fadcSMatthew G. Knepley         ierr = PetscDualSpaceSetDM(sp[f], dm);CHKERRQ(ierr);
2979ac3fadcSMatthew G. Knepley         ierr = PetscDualSpaceSetType(sp[f], PETSCDUALSPACESIMPLE);CHKERRQ(ierr);
2989ac3fadcSMatthew G. Knepley         ierr = PetscDualSpaceSimpleSetDimension(sp[f], 1);CHKERRQ(ierr);
2999ac3fadcSMatthew G. Knepley         ierr = PetscDualSpaceSimpleSetFunctional(sp[f], 0, q);CHKERRQ(ierr);
3009ac3fadcSMatthew G. Knepley       } else SETERRQ1(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", f);
301a18a7fb9SMatthew G. Knepley       ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
302dda36da7SMatthew G. Knepley       totDim += spDim*numComp[f];
303a18a7fb9SMatthew G. Knepley     }
3047d1dd11eSToby Isaac     ierr = DMPlexVecGetClosure(dm, section, localX, pStart, &numValues, NULL);CHKERRQ(ierr);
3057d1dd11eSToby Isaac     if (numValues != totDim) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "The section point closure size %d != dual space dimension %d", numValues, totDim);
306d374af2bSToby Isaac     if (!totDim) continue;
307a18a7fb9SMatthew G. Knepley     ierr = DMGetWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr);
308ad96f515SMatthew G. Knepley     ierr = DMGetWorkArray(dm, numFields, PETSC_BOOL, &fieldActive);CHKERRQ(ierr);
309ee2838f6SToby Isaac     for (f = 0; f < numFields; ++f) fieldActive[f] = (funcs[f] && sp[f]) ? PETSC_TRUE : PETSC_FALSE;
310a18a7fb9SMatthew G. Knepley     for (i = 0; i < numIds; ++i) {
311a18a7fb9SMatthew G. Knepley       IS              pointIS;
312a18a7fb9SMatthew G. Knepley       const PetscInt *points;
313a18a7fb9SMatthew G. Knepley       PetscInt        n, p;
314a18a7fb9SMatthew G. Knepley 
315a18a7fb9SMatthew G. Knepley       ierr = DMLabelGetStratumIS(label, ids[i], &pointIS);CHKERRQ(ierr);
316a18a7fb9SMatthew G. Knepley       ierr = ISGetLocalSize(pointIS, &n);CHKERRQ(ierr);
317a18a7fb9SMatthew G. Knepley       ierr = ISGetIndices(pointIS, &points);CHKERRQ(ierr);
318a18a7fb9SMatthew G. Knepley       for (p = 0; p < n; ++p) {
319a18a7fb9SMatthew G. Knepley         const PetscInt    point = points[p];
320e1d0b1adSMatthew G. Knepley         PetscFECellGeom   geom;
321a18a7fb9SMatthew G. Knepley 
3227d1dd11eSToby Isaac         if ((point < pStart) || (point >= pEnd)) continue;
323e1d0b1adSMatthew G. Knepley         ierr          = DMPlexComputeCellGeometryFEM(dm, point, NULL, geom.v0, geom.J, NULL, &geom.detJ);CHKERRQ(ierr);
324ee2838f6SToby Isaac         geom.dim      = dim - h;
3257a1a1bd4SToby Isaac         geom.dimEmbed = dimEmbed;
326a18a7fb9SMatthew G. Knepley         for (f = 0, v = 0; f < numFields; ++f) {
327a18a7fb9SMatthew G. Knepley           void * const ctx = ctxs ? ctxs[f] : NULL;
328bf3434eeSMatthew G. Knepley 
3297d1dd11eSToby Isaac           if (!sp[f]) continue;
330a18a7fb9SMatthew G. Knepley           ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
331a18a7fb9SMatthew G. Knepley           for (d = 0; d < spDim; ++d) {
332a18a7fb9SMatthew G. Knepley             if (funcs[f]) {
333dda36da7SMatthew G. Knepley               ierr = PetscDualSpaceApply(sp[f], d, &geom, numComp[f], funcs[f], ctx, &values[v]);CHKERRQ(ierr);
334a18a7fb9SMatthew G. Knepley             } else {
335dda36da7SMatthew G. Knepley               for (comp = 0; comp < numComp[f]; ++comp) values[v+comp] = 0.0;
336a18a7fb9SMatthew G. Knepley             }
337dda36da7SMatthew G. Knepley             v += numComp[f];
338a18a7fb9SMatthew G. Knepley           }
339a18a7fb9SMatthew G. Knepley         }
340ad96f515SMatthew G. Knepley         ierr = DMPlexVecSetFieldClosure_Internal(dm, section, localX, fieldActive, point, values, mode);CHKERRQ(ierr);
341a18a7fb9SMatthew G. Knepley       }
342a18a7fb9SMatthew G. Knepley       ierr = ISRestoreIndices(pointIS, &points);CHKERRQ(ierr);
343a18a7fb9SMatthew G. Knepley       ierr = ISDestroy(&pointIS);CHKERRQ(ierr);
344a18a7fb9SMatthew G. Knepley     }
3457d1dd11eSToby Isaac     if (h) {
3467d1dd11eSToby Isaac       for (f = 0; f < numFields; ++f) {ierr = PetscDualSpaceDestroy(&sp[f]);CHKERRQ(ierr);}
3477d1dd11eSToby Isaac     }
3487d1dd11eSToby Isaac   }
349a18a7fb9SMatthew G. Knepley   ierr = DMRestoreWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr);
350ad96f515SMatthew G. Knepley   ierr = DMRestoreWorkArray(dm, numFields, PETSC_BOOL, &fieldActive);CHKERRQ(ierr);
3519ac3fadcSMatthew G. Knepley   for (f = 0; f < numFields; ++f) {ierr = PetscDualSpaceDestroy(&sp[f]);CHKERRQ(ierr);}
352dda36da7SMatthew G. Knepley   ierr = PetscFree2(sp, numComp);CHKERRQ(ierr);
3537d1dd11eSToby Isaac   if (maxHeight > 0) {
3547d1dd11eSToby Isaac     ierr = PetscFree(cellsp);CHKERRQ(ierr);
3557d1dd11eSToby Isaac   }
356a18a7fb9SMatthew G. Knepley   PetscFunctionReturn(0);
357a18a7fb9SMatthew G. Knepley }
358a18a7fb9SMatthew G. Knepley 
359a18a7fb9SMatthew G. Knepley #undef __FUNCT__
360cb1e1211SMatthew G Knepley #define __FUNCT__ "DMPlexProjectFunctionLocal"
3610f2d7e86SMatthew G. Knepley PetscErrorCode DMPlexProjectFunctionLocal(DM dm, void (**funcs)(const PetscReal [], PetscScalar *, void *), void **ctxs, InsertMode mode, Vec localX)
362cb1e1211SMatthew G Knepley {
3637d1dd11eSToby Isaac   PetscDualSpace *sp, *cellsp;
36415496722SMatthew G. Knepley   PetscInt       *numComp;
36572f94c41SMatthew G. Knepley   PetscSection    section;
36672f94c41SMatthew G. Knepley   PetscScalar    *values;
367b793a5ffSMatthew G. Knepley   PetscInt        Nf, dim, dimEmbed, spDim, totDim = 0, numValues, pStart, pEnd, p, cStart, cEnd, cEndInterior, f, d, v, comp, h, maxHeight;
368cb1e1211SMatthew G Knepley   PetscErrorCode  ierr;
369cb1e1211SMatthew G Knepley 
370cb1e1211SMatthew G Knepley   PetscFunctionBegin;
3719ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
3729ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
3739ac3fadcSMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
3749ac3fadcSMatthew G. Knepley   if (cEnd <= cStart) PetscFunctionReturn(0);
375cb1e1211SMatthew G Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
376b793a5ffSMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr);
377b793a5ffSMatthew G. Knepley   ierr = PetscMalloc2(Nf, &sp, Nf, &numComp);CHKERRQ(ierr);
3787d1dd11eSToby Isaac   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
379ee2838f6SToby Isaac   ierr = DMGetCoordinateDim(dm, &dimEmbed);CHKERRQ(ierr);
3807d1dd11eSToby Isaac   ierr = DMPlexGetMaxProjectionHeight(dm,&maxHeight);CHKERRQ(ierr);
3817d1dd11eSToby Isaac   if (maxHeight < 0 || maxHeight > dim) {SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_USER,"maximum projection height %d not in [0, %d)\n", maxHeight,dim);}
3827d1dd11eSToby Isaac   if (maxHeight > 0) {
383b793a5ffSMatthew G. Knepley     ierr = PetscMalloc1(Nf,&cellsp);CHKERRQ(ierr);
3847d1dd11eSToby Isaac   }
385048b7b1eSToby Isaac   else {
386048b7b1eSToby Isaac     cellsp = sp;
387048b7b1eSToby Isaac   }
3887d1dd11eSToby Isaac   for (h = 0; h <= maxHeight; h++) {
3897d1dd11eSToby Isaac     ierr = DMPlexGetHeightStratum(dm, h, &pStart, &pEnd);CHKERRQ(ierr);
390fa5a0009SMatthew G. Knepley     if (!h) {pStart = cStart; pEnd = cEnd;}
391048b7b1eSToby Isaac     if (pEnd <= pStart) continue;
3927d1dd11eSToby Isaac     totDim = 0;
393b793a5ffSMatthew G. Knepley     for (f = 0; f < Nf; ++f) {
39415496722SMatthew G. Knepley       PetscObject  obj;
39515496722SMatthew G. Knepley       PetscClassId id;
3960f2d7e86SMatthew G. Knepley 
39715496722SMatthew G. Knepley       ierr = DMGetField(dm, f, &obj);CHKERRQ(ierr);
39815496722SMatthew G. Knepley       ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
39915496722SMatthew G. Knepley       if (id == PETSCFE_CLASSID) {
40015496722SMatthew G. Knepley         PetscFE fe = (PetscFE) obj;
40115496722SMatthew G. Knepley 
40215496722SMatthew G. Knepley         ierr = PetscFEGetNumComponents(fe, &numComp[f]);CHKERRQ(ierr);
4037d1dd11eSToby Isaac         if (!h) {
4047d1dd11eSToby Isaac           ierr  = PetscFEGetDualSpace(fe, &cellsp[f]);CHKERRQ(ierr);
4057d1dd11eSToby Isaac           sp[f] = cellsp[f];
40615496722SMatthew G. Knepley           ierr  = PetscObjectReference((PetscObject) sp[f]);CHKERRQ(ierr);
4077d1dd11eSToby Isaac         }
4087d1dd11eSToby Isaac         else {
4097d1dd11eSToby Isaac           ierr = PetscDualSpaceGetHeightSubspace(cellsp[f], h, &sp[f]);CHKERRQ(ierr);
4107d1dd11eSToby Isaac           if (!sp[f]) {
4117d1dd11eSToby Isaac             continue;
4127d1dd11eSToby Isaac           }
4137d1dd11eSToby Isaac         }
41415496722SMatthew G. Knepley       } else if (id == PETSCFV_CLASSID) {
41515496722SMatthew G. Knepley         PetscFV         fv = (PetscFV) obj;
41615496722SMatthew G. Knepley         PetscQuadrature q;
41715496722SMatthew G. Knepley 
418ee2838f6SToby Isaac         if (h) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_ARG_INCOMP, "Projection height > 0 not supported for finite volume");
41915496722SMatthew G. Knepley         ierr = PetscFVGetNumComponents(fv, &numComp[f]);CHKERRQ(ierr);
42015496722SMatthew G. Knepley         ierr = PetscFVGetQuadrature(fv, &q);CHKERRQ(ierr);
42115496722SMatthew G. Knepley         ierr = PetscDualSpaceCreate(PetscObjectComm((PetscObject) fv), &sp[f]);CHKERRQ(ierr);
42215496722SMatthew G. Knepley         ierr = PetscDualSpaceSetDM(sp[f], dm);CHKERRQ(ierr);
42315496722SMatthew G. Knepley         ierr = PetscDualSpaceSetType(sp[f], PETSCDUALSPACESIMPLE);CHKERRQ(ierr);
42415496722SMatthew G. Knepley         ierr = PetscDualSpaceSimpleSetDimension(sp[f], 1);CHKERRQ(ierr);
42515496722SMatthew G. Knepley         ierr = PetscDualSpaceSimpleSetFunctional(sp[f], 0, q);CHKERRQ(ierr);
42615496722SMatthew G. Knepley       } else SETERRQ1(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", f);
42772f94c41SMatthew G. Knepley       ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
42815496722SMatthew G. Knepley       totDim += spDim*numComp[f];
429cb1e1211SMatthew G Knepley     }
4307d1dd11eSToby Isaac     ierr = DMPlexVecGetClosure(dm, section, localX, pStart, &numValues, NULL);CHKERRQ(ierr);
4317d1dd11eSToby Isaac     if (numValues != totDim) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "The section point closure size %d != dual space dimension %d", numValues, totDim);
432d374af2bSToby Isaac     if (!totDim) continue;
43372f94c41SMatthew G. Knepley     ierr = DMGetWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr);
4347d1dd11eSToby Isaac     for (p = pStart; p < pEnd; ++p) {
435e1d0b1adSMatthew G. Knepley       PetscFECellGeom geom;
436cb1e1211SMatthew G Knepley 
43731383a9bSToby Isaac       ierr          = DMPlexComputeCellGeometryFEM(dm, p, NULL, geom.v0, geom.J, NULL, &geom.detJ);CHKERRQ(ierr);
438910c25dcSToby Isaac       geom.dim      = dim - h;
4397a1a1bd4SToby Isaac       geom.dimEmbed = dimEmbed;
440b793a5ffSMatthew G. Knepley       for (f = 0, v = 0; f < Nf; ++f) {
441c110b1eeSGeoffrey Irving         void * const ctx = ctxs ? ctxs[f] : NULL;
4420f2d7e86SMatthew G. Knepley 
4437d1dd11eSToby Isaac         if (!sp[f]) continue;
44472f94c41SMatthew G. Knepley         ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
44572f94c41SMatthew G. Knepley         for (d = 0; d < spDim; ++d) {
446120386c5SMatthew G. Knepley           if (funcs[f]) {
447e1d0b1adSMatthew G. Knepley             ierr = PetscDualSpaceApply(sp[f], d, &geom, numComp[f], funcs[f], ctx, &values[v]);CHKERRQ(ierr);
448120386c5SMatthew G. Knepley           } else {
44915496722SMatthew G. Knepley             for (comp = 0; comp < numComp[f]; ++comp) values[v+comp] = 0.0;
450120386c5SMatthew G. Knepley           }
45115496722SMatthew G. Knepley           v += numComp[f];
452cb1e1211SMatthew G Knepley         }
453cb1e1211SMatthew G Knepley       }
4547d1dd11eSToby Isaac       ierr = DMPlexVecSetClosure(dm, section, localX, p, values, mode);CHKERRQ(ierr);
455cb1e1211SMatthew G Knepley     }
45672f94c41SMatthew G. Knepley     ierr = DMRestoreWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr);
457ee2838f6SToby Isaac     if (h || !maxHeight) {
458b793a5ffSMatthew G. Knepley       for (f = 0; f < Nf; f++) {ierr = PetscDualSpaceDestroy(&sp[f]);CHKERRQ(ierr);}
4597d1dd11eSToby Isaac     }
4607d1dd11eSToby Isaac   }
46115496722SMatthew G. Knepley   ierr = PetscFree2(sp, numComp);CHKERRQ(ierr);
4627d1dd11eSToby Isaac   if (maxHeight > 0) {
463b793a5ffSMatthew G. Knepley     for (f = 0; f < Nf; f++) {ierr = PetscDualSpaceDestroy(&cellsp[f]);CHKERRQ(ierr);}
4647d1dd11eSToby Isaac     ierr = PetscFree(cellsp);CHKERRQ(ierr);
4657d1dd11eSToby Isaac   }
466cb1e1211SMatthew G Knepley   PetscFunctionReturn(0);
467cb1e1211SMatthew G Knepley }
468cb1e1211SMatthew G Knepley 
469cb1e1211SMatthew G Knepley #undef __FUNCT__
4708040c1f3SToby Isaac #define __FUNCT__ "DMPlexProjectFunction"
4718040c1f3SToby Isaac /*@C
4728040c1f3SToby Isaac   DMPlexProjectFunction - This projects the given function into the function space provided.
4738040c1f3SToby Isaac 
4748040c1f3SToby Isaac   Input Parameters:
4758040c1f3SToby Isaac + dm      - The DM
4768040c1f3SToby Isaac . funcs   - The coordinate functions to evaluate, one per field
4778040c1f3SToby Isaac . ctxs    - Optional array of contexts to pass to each coordinate function.  ctxs itself may be null.
4788040c1f3SToby Isaac - mode    - The insertion mode for values
4798040c1f3SToby Isaac 
4808040c1f3SToby Isaac   Output Parameter:
4818040c1f3SToby Isaac . X - vector
4828040c1f3SToby Isaac 
4838040c1f3SToby Isaac   Level: developer
4848040c1f3SToby Isaac 
4858040c1f3SToby Isaac .seealso: DMPlexComputeL2Diff()
4868040c1f3SToby Isaac @*/
4878040c1f3SToby Isaac PetscErrorCode DMPlexProjectFunction(DM dm, void (**funcs)(const PetscReal [], PetscScalar *, void *), void **ctxs, InsertMode mode, Vec X)
4888040c1f3SToby Isaac {
4898040c1f3SToby Isaac   Vec            localX;
4908040c1f3SToby Isaac   PetscErrorCode ierr;
4918040c1f3SToby Isaac 
4928040c1f3SToby Isaac   PetscFunctionBegin;
4938040c1f3SToby Isaac   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
4948040c1f3SToby Isaac   ierr = DMGetLocalVector(dm, &localX);CHKERRQ(ierr);
4958040c1f3SToby Isaac   ierr = DMPlexProjectFunctionLocal(dm, funcs, ctxs, mode, localX);CHKERRQ(ierr);
4968040c1f3SToby Isaac   ierr = DMLocalToGlobalBegin(dm, localX, mode, X);CHKERRQ(ierr);
4978040c1f3SToby Isaac   ierr = DMLocalToGlobalEnd(dm, localX, mode, X);CHKERRQ(ierr);
4988040c1f3SToby Isaac   ierr = DMRestoreLocalVector(dm, &localX);CHKERRQ(ierr);
499cb1e1211SMatthew G Knepley   PetscFunctionReturn(0);
500cb1e1211SMatthew G Knepley }
501cb1e1211SMatthew G Knepley 
502cb1e1211SMatthew G Knepley #undef __FUNCT__
5030f2d7e86SMatthew G. Knepley #define __FUNCT__ "DMPlexProjectFieldLocal"
5043bc3b0a0SMatthew G. Knepley PetscErrorCode DMPlexProjectFieldLocal(DM dm, Vec localU, void (**funcs)(const PetscScalar[], const PetscScalar[], const PetscScalar[], const PetscScalar[], const PetscScalar[], const PetscScalar[], const PetscReal [], PetscScalar []), InsertMode mode, Vec localX)
5050f2d7e86SMatthew G. Knepley {
5060f2d7e86SMatthew G. Knepley   DM                dmAux;
507d5396abcSMatthew G. Knepley   PetscDS           prob, probAux = NULL;
5080f2d7e86SMatthew G. Knepley   Vec               A;
509d5396abcSMatthew G. Knepley   PetscSection      section, sectionAux = NULL;
510b793a5ffSMatthew G. Knepley   PetscDualSpace   *sp;
511b793a5ffSMatthew G. Knepley   PetscInt         *Ncf;
512326413afSMatthew G. Knepley   PetscScalar      *values, *u, *u_x, *a, *a_x;
513d5396abcSMatthew G. Knepley   PetscReal        *x, *v0, *J, *invJ, detJ;
5149ac3fadcSMatthew G. Knepley   PetscInt          Nf, dim, spDim, totDim, numValues, cStart, cEnd, cEndInterior, c, f, d, v, comp, maxHeight;
5150f2d7e86SMatthew G. Knepley   PetscErrorCode    ierr;
5160f2d7e86SMatthew G. Knepley 
5170f2d7e86SMatthew G. Knepley   PetscFunctionBegin;
518048b7b1eSToby Isaac   ierr = DMPlexGetMaxProjectionHeight(dm,&maxHeight);CHKERRQ(ierr);
519048b7b1eSToby Isaac   if (maxHeight > 0) {SETERRQ(PETSC_COMM_SELF,PETSC_ERR_SUP,"Field projection for height > 0 not supported yet");}
5202764a2aaSMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
521c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
5220f2d7e86SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
5230f2d7e86SMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr);
524b793a5ffSMatthew G. Knepley   ierr = PetscMalloc2(Nf, &sp, Nf, &Ncf);CHKERRQ(ierr);
5250f2d7e86SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
5262764a2aaSMatthew G. Knepley   ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr);
5272764a2aaSMatthew G. Knepley   ierr = PetscDSGetEvaluationArrays(prob, &u, NULL, &u_x);CHKERRQ(ierr);
5282764a2aaSMatthew G. Knepley   ierr = PetscDSGetRefCoordArrays(prob, &x, NULL);CHKERRQ(ierr);
5290f2d7e86SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr);
5300f2d7e86SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr);
5310f2d7e86SMatthew G. Knepley   if (dmAux) {
5322764a2aaSMatthew G. Knepley     ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr);
533326413afSMatthew G. Knepley     ierr = DMGetDefaultSection(dmAux, &sectionAux);CHKERRQ(ierr);
5342764a2aaSMatthew G. Knepley     ierr = PetscDSGetEvaluationArrays(probAux, &a, NULL, &a_x);CHKERRQ(ierr);
5350f2d7e86SMatthew G. Knepley   }
536d7ddef95SMatthew G. Knepley   ierr = DMPlexInsertBoundaryValues(dm, localU, 0.0, NULL, NULL, NULL);CHKERRQ(ierr);
5370f2d7e86SMatthew G. Knepley   ierr = DMPlexVecGetClosure(dm, section, localX, cStart, &numValues, NULL);CHKERRQ(ierr);
5380f2d7e86SMatthew G. Knepley   if (numValues != totDim) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "The section cell closure size %d != dual space dimension %d", numValues, totDim);
5390f2d7e86SMatthew G. Knepley   ierr = DMGetWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr);
5400f2d7e86SMatthew G. Knepley   ierr = PetscMalloc3(dim,&v0,dim*dim,&J,dim*dim,&invJ);CHKERRQ(ierr);
5419ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
5429ac3fadcSMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
5430f2d7e86SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
544326413afSMatthew G. Knepley     PetscScalar *coefficients = NULL, *coefficientsAux = NULL;
545326413afSMatthew G. Knepley 
5468e0841e0SMatthew G. Knepley     ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr);
547326413afSMatthew G. Knepley     ierr = DMPlexVecGetClosure(dm, section, localU, c, NULL, &coefficients);CHKERRQ(ierr);
548326413afSMatthew G. Knepley     if (dmAux) {ierr = DMPlexVecGetClosure(dmAux, sectionAux, A, c, NULL, &coefficientsAux);CHKERRQ(ierr);}
5490f2d7e86SMatthew G. Knepley     for (f = 0, v = 0; f < Nf; ++f) {
550d5396abcSMatthew G. Knepley       PetscObject  obj;
551d5396abcSMatthew G. Knepley       PetscClassId id;
5523113607cSMatthew G. Knepley 
553d5396abcSMatthew G. Knepley       ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr);
554d5396abcSMatthew G. Knepley       ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
555d5396abcSMatthew G. Knepley       if (id == PETSCFE_CLASSID) {
556d5396abcSMatthew G. Knepley         PetscFE fe = (PetscFE) obj;
557d5396abcSMatthew G. Knepley 
558b793a5ffSMatthew G. Knepley         ierr = PetscFEGetDualSpace(fe, &sp[f]);CHKERRQ(ierr);
559b793a5ffSMatthew G. Knepley         ierr  = PetscObjectReference((PetscObject) sp[f]);CHKERRQ(ierr);
560b793a5ffSMatthew G. Knepley         ierr = PetscFEGetNumComponents(fe, &Ncf[f]);CHKERRQ(ierr);
561d5396abcSMatthew G. Knepley       } else if (id == PETSCFV_CLASSID) {
562d5396abcSMatthew G. Knepley         PetscFV         fv = (PetscFV) obj;
563d5396abcSMatthew G. Knepley         PetscQuadrature q;
564d5396abcSMatthew G. Knepley 
565d5396abcSMatthew G. Knepley         ierr = PetscFVGetQuadrature(fv, &q);CHKERRQ(ierr);
566b793a5ffSMatthew G. Knepley         ierr = PetscFVGetNumComponents(fv, &Ncf[f]);CHKERRQ(ierr);
567b793a5ffSMatthew G. Knepley         ierr = PetscDualSpaceCreate(PetscObjectComm((PetscObject) fv), &sp[f]);CHKERRQ(ierr);
568b793a5ffSMatthew G. Knepley         ierr = PetscDualSpaceSetDM(sp[f], dm);CHKERRQ(ierr);
569b793a5ffSMatthew G. Knepley         ierr = PetscDualSpaceSetType(sp[f], PETSCDUALSPACESIMPLE);CHKERRQ(ierr);
570b793a5ffSMatthew G. Knepley         ierr = PetscDualSpaceSimpleSetDimension(sp[f], 1);CHKERRQ(ierr);
571b793a5ffSMatthew G. Knepley         ierr = PetscDualSpaceSimpleSetFunctional(sp[f], 0, q);CHKERRQ(ierr);
572d5396abcSMatthew G. Knepley       }
573b793a5ffSMatthew G. Knepley       ierr = PetscDualSpaceGetDimension(sp[f], &spDim);CHKERRQ(ierr);
5740f2d7e86SMatthew G. Knepley       for (d = 0; d < spDim; ++d) {
5750f2d7e86SMatthew G. Knepley         PetscQuadrature  quad;
5760f2d7e86SMatthew G. Knepley         const PetscReal *points, *weights;
5770f2d7e86SMatthew G. Knepley         PetscInt         numPoints, q;
5780f2d7e86SMatthew G. Knepley 
5790f2d7e86SMatthew G. Knepley         if (funcs[f]) {
580b793a5ffSMatthew G. Knepley           ierr = PetscDualSpaceGetFunctional(sp[f], d, &quad);CHKERRQ(ierr);
5810f2d7e86SMatthew G. Knepley           ierr = PetscQuadratureGetData(quad, NULL, &numPoints, &points, &weights);CHKERRQ(ierr);
5820f2d7e86SMatthew G. Knepley           for (q = 0; q < numPoints; ++q) {
5830f2d7e86SMatthew G. Knepley             CoordinatesRefToReal(dim, dim, v0, J, &points[q*dim], x);
584326413afSMatthew G. Knepley             ierr = EvaluateFieldJets(prob,    PETSC_FALSE, q, invJ, coefficients,    NULL, u, u_x, NULL);CHKERRQ(ierr);
585326413afSMatthew G. Knepley             ierr = EvaluateFieldJets(probAux, PETSC_FALSE, q, invJ, coefficientsAux, NULL, a, a_x, NULL);CHKERRQ(ierr);
5863bc3b0a0SMatthew G. Knepley             (*funcs[f])(u, NULL, u_x, a, NULL, a_x, x, &values[v]);
5870f2d7e86SMatthew G. Knepley           }
5880f2d7e86SMatthew G. Knepley         } else {
589b793a5ffSMatthew G. Knepley           for (comp = 0; comp < Ncf[f]; ++comp) values[v+comp] = 0.0;
5900f2d7e86SMatthew G. Knepley         }
591b793a5ffSMatthew G. Knepley         v += Ncf[f];
5920f2d7e86SMatthew G. Knepley       }
5930f2d7e86SMatthew G. Knepley     }
594326413afSMatthew G. Knepley     ierr = DMPlexVecRestoreClosure(dm, section, localU, c, NULL, &coefficients);CHKERRQ(ierr);
595326413afSMatthew G. Knepley     if (dmAux) {ierr = DMPlexVecRestoreClosure(dmAux, sectionAux, A, c, NULL, &coefficientsAux);CHKERRQ(ierr);}
5960f2d7e86SMatthew G. Knepley     ierr = DMPlexVecSetClosure(dm, section, localX, c, values, mode);CHKERRQ(ierr);
5970f2d7e86SMatthew G. Knepley   }
5980f2d7e86SMatthew G. Knepley   ierr = DMRestoreWorkArray(dm, numValues, PETSC_SCALAR, &values);CHKERRQ(ierr);
5990f2d7e86SMatthew G. Knepley   ierr = PetscFree3(v0,J,invJ);CHKERRQ(ierr);
600b793a5ffSMatthew G. Knepley   for (f = 0; f < Nf; f++) {ierr = PetscDualSpaceDestroy(&sp[f]);CHKERRQ(ierr);}
601b793a5ffSMatthew G. Knepley   ierr = PetscFree2(sp, Ncf);CHKERRQ(ierr);
6020f2d7e86SMatthew G. Knepley   PetscFunctionReturn(0);
6030f2d7e86SMatthew G. Knepley }
6040f2d7e86SMatthew G. Knepley 
6050f2d7e86SMatthew G. Knepley #undef __FUNCT__
606d7ddef95SMatthew G. Knepley #define __FUNCT__ "DMPlexInsertBoundaryValues_FEM_Internal"
607d7ddef95SMatthew G. Knepley static PetscErrorCode DMPlexInsertBoundaryValues_FEM_Internal(DM dm, PetscInt field, DMLabel label, PetscInt numids, const PetscInt ids[], void (*func)(const PetscReal[], PetscScalar *, void *), void *ctx, Vec locX)
60855f2e967SMatthew G. Knepley {
60955f2e967SMatthew G. Knepley   void        (**funcs)(const PetscReal x[], PetscScalar *u, void *ctx);
61055f2e967SMatthew G. Knepley   void         **ctxs;
611d7ddef95SMatthew G. Knepley   PetscInt       numFields;
612d7ddef95SMatthew G. Knepley   PetscErrorCode ierr;
613d7ddef95SMatthew G. Knepley 
614d7ddef95SMatthew G. Knepley   PetscFunctionBegin;
615d7ddef95SMatthew G. Knepley   ierr = DMGetNumFields(dm, &numFields);CHKERRQ(ierr);
616d7ddef95SMatthew G. Knepley   ierr = PetscCalloc2(numFields,&funcs,numFields,&ctxs);CHKERRQ(ierr);
617d7ddef95SMatthew G. Knepley   funcs[field] = func;
618d7ddef95SMatthew G. Knepley   ctxs[field]  = ctx;
619d7ddef95SMatthew G. Knepley   ierr = DMPlexProjectFunctionLabelLocal(dm, label, numids, ids, funcs, ctxs, INSERT_BC_VALUES, locX);CHKERRQ(ierr);
620d7ddef95SMatthew G. Knepley   ierr = PetscFree2(funcs,ctxs);CHKERRQ(ierr);
621d7ddef95SMatthew G. Knepley   PetscFunctionReturn(0);
622d7ddef95SMatthew G. Knepley }
623d7ddef95SMatthew G. Knepley 
624d7ddef95SMatthew G. Knepley #undef __FUNCT__
625d7ddef95SMatthew G. Knepley #define __FUNCT__ "DMPlexInsertBoundaryValues_FVM_Internal"
626d7ddef95SMatthew G. Knepley static PetscErrorCode DMPlexInsertBoundaryValues_FVM_Internal(DM dm, PetscReal time, Vec faceGeometry, Vec cellGeometry, Vec Grad,
627d7ddef95SMatthew G. Knepley                                                               PetscInt field, DMLabel label, PetscInt numids, const PetscInt ids[], PetscErrorCode (*func)(PetscReal,const PetscReal*,const PetscReal*,const PetscScalar*,PetscScalar*,void*), void *ctx, Vec locX)
628d7ddef95SMatthew G. Knepley {
62961f58d28SMatthew G. Knepley   PetscDS            prob;
630da97024aSMatthew G. Knepley   PetscSF            sf;
631d7ddef95SMatthew G. Knepley   DM                 dmFace, dmCell, dmGrad;
632d7ddef95SMatthew G. Knepley   const PetscScalar *facegeom, *cellgeom, *grad;
633da97024aSMatthew G. Knepley   const PetscInt    *leaves;
634d7ddef95SMatthew G. Knepley   PetscScalar       *x, *fx;
635520b3818SMatthew G. Knepley   PetscInt           dim, nleaves, loc, fStart, fEnd, pdim, i;
636d7ddef95SMatthew G. Knepley   PetscErrorCode     ierr;
637d7ddef95SMatthew G. Knepley 
638d7ddef95SMatthew G. Knepley   PetscFunctionBegin;
639da97024aSMatthew G. Knepley   ierr = DMGetPointSF(dm, &sf);CHKERRQ(ierr);
640da97024aSMatthew G. Knepley   ierr = PetscSFGetGraph(sf, NULL, &nleaves, &leaves, NULL);CHKERRQ(ierr);
641da97024aSMatthew G. Knepley   nleaves = PetscMax(0, nleaves);
642d7ddef95SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
643d7ddef95SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr);
64461f58d28SMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
645d7ddef95SMatthew G. Knepley   ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr);
646d7ddef95SMatthew G. Knepley   ierr = VecGetArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
647d7ddef95SMatthew G. Knepley   ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr);
648d7ddef95SMatthew G. Knepley   ierr = VecGetArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
649d7ddef95SMatthew G. Knepley   if (Grad) {
650c0a6632aSMatthew G. Knepley     PetscFV fv;
651c0a6632aSMatthew G. Knepley 
652c0a6632aSMatthew G. Knepley     ierr = PetscDSGetDiscretization(prob, field, (PetscObject *) &fv);CHKERRQ(ierr);
653d7ddef95SMatthew G. Knepley     ierr = VecGetDM(Grad, &dmGrad);CHKERRQ(ierr);
654d7ddef95SMatthew G. Knepley     ierr = VecGetArrayRead(Grad, &grad);CHKERRQ(ierr);
655d7ddef95SMatthew G. Knepley     ierr = PetscFVGetNumComponents(fv, &pdim);CHKERRQ(ierr);
656d7ddef95SMatthew G. Knepley     ierr = DMGetWorkArray(dm, pdim, PETSC_SCALAR, &fx);CHKERRQ(ierr);
657d7ddef95SMatthew G. Knepley   }
658d7ddef95SMatthew G. Knepley   ierr = VecGetArray(locX, &x);CHKERRQ(ierr);
659d7ddef95SMatthew G. Knepley   for (i = 0; i < numids; ++i) {
660d7ddef95SMatthew G. Knepley     IS              faceIS;
661d7ddef95SMatthew G. Knepley     const PetscInt *faces;
662d7ddef95SMatthew G. Knepley     PetscInt        numFaces, f;
663d7ddef95SMatthew G. Knepley 
664d7ddef95SMatthew G. Knepley     ierr = DMLabelGetStratumIS(label, ids[i], &faceIS);CHKERRQ(ierr);
665d7ddef95SMatthew G. Knepley     if (!faceIS) continue; /* No points with that id on this process */
666d7ddef95SMatthew G. Knepley     ierr = ISGetLocalSize(faceIS, &numFaces);CHKERRQ(ierr);
667d7ddef95SMatthew G. Knepley     ierr = ISGetIndices(faceIS, &faces);CHKERRQ(ierr);
668d7ddef95SMatthew G. Knepley     for (f = 0; f < numFaces; ++f) {
669d7ddef95SMatthew G. Knepley       const PetscInt         face = faces[f], *cells;
670d7ddef95SMatthew G. Knepley       const PetscFVFaceGeom *fg;
671d7ddef95SMatthew G. Knepley 
672d7ddef95SMatthew G. Knepley       if ((face < fStart) || (face >= fEnd)) continue; /* Refinement adds non-faces to labels */
673da97024aSMatthew G. Knepley       ierr = PetscFindInt(face, nleaves, (PetscInt *) leaves, &loc);CHKERRQ(ierr);
674da97024aSMatthew G. Knepley       if (loc >= 0) continue;
675d7ddef95SMatthew G. Knepley       ierr = DMPlexPointLocalRead(dmFace, face, facegeom, &fg);CHKERRQ(ierr);
676d7ddef95SMatthew G. Knepley       ierr = DMPlexGetSupport(dm, face, &cells);CHKERRQ(ierr);
677d7ddef95SMatthew G. Knepley       if (Grad) {
678d7ddef95SMatthew G. Knepley         const PetscFVCellGeom *cg;
679d7ddef95SMatthew G. Knepley         const PetscScalar     *cx, *cgrad;
680d7ddef95SMatthew G. Knepley         PetscScalar           *xG;
681d7ddef95SMatthew G. Knepley         PetscReal              dx[3];
682d7ddef95SMatthew G. Knepley         PetscInt               d;
683d7ddef95SMatthew G. Knepley 
684d7ddef95SMatthew G. Knepley         ierr = DMPlexPointLocalRead(dmCell, cells[0], cellgeom, &cg);CHKERRQ(ierr);
685d7ddef95SMatthew G. Knepley         ierr = DMPlexPointLocalRead(dm, cells[0], x, &cx);CHKERRQ(ierr);
686d7ddef95SMatthew G. Knepley         ierr = DMPlexPointLocalRead(dmGrad, cells[0], grad, &cgrad);CHKERRQ(ierr);
687520b3818SMatthew G. Knepley         ierr = DMPlexPointLocalFieldRef(dm, cells[1], field, x, &xG);CHKERRQ(ierr);
688d7ddef95SMatthew G. Knepley         DMPlex_WaxpyD_Internal(dim, -1, cg->centroid, fg->centroid, dx);
689d7ddef95SMatthew G. Knepley         for (d = 0; d < pdim; ++d) fx[d] = cx[d] + DMPlex_DotD_Internal(dim, &cgrad[d*dim], dx);
690520b3818SMatthew G. Knepley         ierr = (*func)(time, fg->centroid, fg->normal, fx, xG, ctx);CHKERRQ(ierr);
691d7ddef95SMatthew G. Knepley       } else {
692d7ddef95SMatthew G. Knepley         const PetscScalar *xI;
693d7ddef95SMatthew G. Knepley         PetscScalar       *xG;
694d7ddef95SMatthew G. Knepley 
695d7ddef95SMatthew G. Knepley         ierr = DMPlexPointLocalRead(dm, cells[0], x, &xI);CHKERRQ(ierr);
696520b3818SMatthew G. Knepley         ierr = DMPlexPointLocalFieldRef(dm, cells[1], field, x, &xG);CHKERRQ(ierr);
697520b3818SMatthew G. Knepley         ierr = (*func)(time, fg->centroid, fg->normal, xI, xG, ctx);CHKERRQ(ierr);
698d7ddef95SMatthew G. Knepley       }
699d7ddef95SMatthew G. Knepley     }
700d7ddef95SMatthew G. Knepley     ierr = ISRestoreIndices(faceIS, &faces);CHKERRQ(ierr);
701d7ddef95SMatthew G. Knepley     ierr = ISDestroy(&faceIS);CHKERRQ(ierr);
702d7ddef95SMatthew G. Knepley   }
703d7ddef95SMatthew G. Knepley   ierr = VecRestoreArray(locX, &x);CHKERRQ(ierr);
704d7ddef95SMatthew G. Knepley   if (Grad) {
705d7ddef95SMatthew G. Knepley     ierr = DMRestoreWorkArray(dm, pdim, PETSC_SCALAR, &fx);CHKERRQ(ierr);
706d7ddef95SMatthew G. Knepley     ierr = VecRestoreArrayRead(Grad, &grad);CHKERRQ(ierr);
707d7ddef95SMatthew G. Knepley   }
708d7ddef95SMatthew G. Knepley   ierr = VecRestoreArrayRead(cellGeometry, &cellgeom);CHKERRQ(ierr);
709d7ddef95SMatthew G. Knepley   ierr = VecRestoreArrayRead(faceGeometry, &facegeom);CHKERRQ(ierr);
710d7ddef95SMatthew G. Knepley   PetscFunctionReturn(0);
711d7ddef95SMatthew G. Knepley }
712d7ddef95SMatthew G. Knepley 
713d7ddef95SMatthew G. Knepley #undef __FUNCT__
714d7ddef95SMatthew G. Knepley #define __FUNCT__ "DMPlexInsertBoundaryValues"
715d7ddef95SMatthew G. Knepley PetscErrorCode DMPlexInsertBoundaryValues(DM dm, Vec locX, PetscReal time, Vec faceGeomFVM, Vec cellGeomFVM, Vec gradFVM)
716d7ddef95SMatthew G. Knepley {
717d7ddef95SMatthew G. Knepley   PetscInt       numBd, b;
71855f2e967SMatthew G. Knepley   PetscErrorCode ierr;
71955f2e967SMatthew G. Knepley 
72055f2e967SMatthew G. Knepley   PetscFunctionBegin;
72155f2e967SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
722d7ddef95SMatthew G. Knepley   PetscValidHeaderSpecific(locX, VEC_CLASSID, 2);
723d7ddef95SMatthew G. Knepley   if (faceGeomFVM) {PetscValidHeaderSpecific(faceGeomFVM, VEC_CLASSID, 4);}
724d7ddef95SMatthew G. Knepley   if (cellGeomFVM) {PetscValidHeaderSpecific(cellGeomFVM, VEC_CLASSID, 5);}
725d7ddef95SMatthew G. Knepley   if (gradFVM)     {PetscValidHeaderSpecific(gradFVM, VEC_CLASSID, 6);}
72655f2e967SMatthew G. Knepley   ierr = DMPlexGetNumBoundary(dm, &numBd);CHKERRQ(ierr);
72755f2e967SMatthew G. Knepley   for (b = 0; b < numBd; ++b) {
72855f2e967SMatthew G. Knepley     PetscBool       isEssential;
729d7ddef95SMatthew G. Knepley     const char     *labelname;
730d7ddef95SMatthew G. Knepley     DMLabel         label;
731d7ddef95SMatthew G. Knepley     PetscInt        field;
732d7ddef95SMatthew G. Knepley     PetscObject     obj;
733d7ddef95SMatthew G. Knepley     PetscClassId    id;
73455f2e967SMatthew G. Knepley     void          (*func)();
735d7ddef95SMatthew G. Knepley     PetscInt        numids;
736d7ddef95SMatthew G. Knepley     const PetscInt *ids;
73755f2e967SMatthew G. Knepley     void           *ctx;
73855f2e967SMatthew G. Knepley 
73963d5297fSMatthew G. Knepley     ierr = DMPlexGetBoundary(dm, b, &isEssential, NULL, &labelname, &field, &func, &numids, &ids, &ctx);CHKERRQ(ierr);
740d7ddef95SMatthew G. Knepley     if (!isEssential) continue;
74163d5297fSMatthew G. Knepley     ierr = DMPlexGetLabel(dm, labelname, &label);CHKERRQ(ierr);
742d7ddef95SMatthew G. Knepley     ierr = DMGetField(dm, field, &obj);CHKERRQ(ierr);
743d7ddef95SMatthew G. Knepley     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
744d7ddef95SMatthew G. Knepley     if (id == PETSCFE_CLASSID) {
745d7ddef95SMatthew G. Knepley       ierr = DMPlexInsertBoundaryValues_FEM_Internal(dm, field, label, numids, ids, (void (*)(const PetscReal[], PetscScalar *, void *)) func, ctx, locX);CHKERRQ(ierr);
746d7ddef95SMatthew G. Knepley     } else if (id == PETSCFV_CLASSID) {
74743ea7facSMatthew G. Knepley       if (!faceGeomFVM) continue;
748d7ddef95SMatthew G. Knepley       ierr = DMPlexInsertBoundaryValues_FVM_Internal(dm, time, faceGeomFVM, cellGeomFVM, gradFVM,
749d7ddef95SMatthew G. Knepley                                                      field, label, numids, ids, (PetscErrorCode (*)(PetscReal,const PetscReal*,const PetscReal*,const PetscScalar*,PetscScalar*,void*)) func, ctx, locX);CHKERRQ(ierr);
750d7ddef95SMatthew G. Knepley     } else SETERRQ1(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", field);
75155f2e967SMatthew G. Knepley   }
75255f2e967SMatthew G. Knepley   PetscFunctionReturn(0);
75355f2e967SMatthew G. Knepley }
75455f2e967SMatthew G. Knepley 
755cb1e1211SMatthew G Knepley #undef __FUNCT__
756cb1e1211SMatthew G Knepley #define __FUNCT__ "DMPlexComputeL2Diff"
757cb1e1211SMatthew G Knepley /*@C
758cb1e1211SMatthew G Knepley   DMPlexComputeL2Diff - This function computes the L_2 difference between a function u and an FEM interpolant solution u_h.
759cb1e1211SMatthew G Knepley 
760cb1e1211SMatthew G Knepley   Input Parameters:
761cb1e1211SMatthew G Knepley + dm    - The DM
762cb1e1211SMatthew G Knepley . funcs - The functions to evaluate for each field component
76351259fa3SMatthew G. Knepley . ctxs  - Optional array of contexts to pass to each function, or NULL.
764cb1e1211SMatthew G Knepley - X     - The coefficient vector u_h
765cb1e1211SMatthew G Knepley 
766cb1e1211SMatthew G Knepley   Output Parameter:
767cb1e1211SMatthew G Knepley . diff - The diff ||u - u_h||_2
768cb1e1211SMatthew G Knepley 
769cb1e1211SMatthew G Knepley   Level: developer
770cb1e1211SMatthew G Knepley 
77115496722SMatthew G. Knepley .seealso: DMPlexProjectFunction(), DMPlexComputeL2FieldDiff(), DMPlexComputeL2GradientDiff()
772878cb397SSatish Balay @*/
7730f2d7e86SMatthew G. Knepley PetscErrorCode DMPlexComputeL2Diff(DM dm, void (**funcs)(const PetscReal [], PetscScalar *, void *), void **ctxs, Vec X, PetscReal *diff)
774cb1e1211SMatthew G Knepley {
775cb1e1211SMatthew G Knepley   const PetscInt   debug = 0;
776cb1e1211SMatthew G Knepley   PetscSection     section;
777c5bbbd5bSMatthew G. Knepley   PetscQuadrature  quad;
778cb1e1211SMatthew G Knepley   Vec              localX;
77915496722SMatthew G. Knepley   PetscScalar     *funcVal, *interpolant;
780cb1e1211SMatthew G Knepley   PetscReal       *coords, *v0, *J, *invJ, detJ;
781cb1e1211SMatthew G Knepley   PetscReal        localDiff = 0.0;
78215496722SMatthew G. Knepley   const PetscReal *quadPoints, *quadWeights;
7839ac3fadcSMatthew G. Knepley   PetscInt         dim, numFields, numComponents = 0, numQuadPoints, cStart, cEnd, cEndInterior, c, field, fieldOffset;
784cb1e1211SMatthew G Knepley   PetscErrorCode   ierr;
785cb1e1211SMatthew G Knepley 
786cb1e1211SMatthew G Knepley   PetscFunctionBegin;
787c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
788cb1e1211SMatthew G Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
789cb1e1211SMatthew G Knepley   ierr = PetscSectionGetNumFields(section, &numFields);CHKERRQ(ierr);
790cb1e1211SMatthew G Knepley   ierr = DMGetLocalVector(dm, &localX);CHKERRQ(ierr);
791cb1e1211SMatthew G Knepley   ierr = DMGlobalToLocalBegin(dm, X, INSERT_VALUES, localX);CHKERRQ(ierr);
792cb1e1211SMatthew G Knepley   ierr = DMGlobalToLocalEnd(dm, X, INSERT_VALUES, localX);CHKERRQ(ierr);
793cb1e1211SMatthew G Knepley   for (field = 0; field < numFields; ++field) {
79415496722SMatthew G. Knepley     PetscObject  obj;
79515496722SMatthew G. Knepley     PetscClassId id;
796c5bbbd5bSMatthew G. Knepley     PetscInt     Nc;
797c5bbbd5bSMatthew G. Knepley 
79815496722SMatthew G. Knepley     ierr = DMGetField(dm, field, &obj);CHKERRQ(ierr);
79915496722SMatthew G. Knepley     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
80015496722SMatthew G. Knepley     if (id == PETSCFE_CLASSID) {
80115496722SMatthew G. Knepley       PetscFE fe = (PetscFE) obj;
80215496722SMatthew G. Knepley 
8030f2d7e86SMatthew G. Knepley       ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr);
8040f2d7e86SMatthew G. Knepley       ierr = PetscFEGetNumComponents(fe, &Nc);CHKERRQ(ierr);
80515496722SMatthew G. Knepley     } else if (id == PETSCFV_CLASSID) {
80615496722SMatthew G. Knepley       PetscFV fv = (PetscFV) obj;
80715496722SMatthew G. Knepley 
80815496722SMatthew G. Knepley       ierr = PetscFVGetQuadrature(fv, &quad);CHKERRQ(ierr);
80915496722SMatthew G. Knepley       ierr = PetscFVGetNumComponents(fv, &Nc);CHKERRQ(ierr);
81015496722SMatthew G. Knepley     } else SETERRQ1(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", field);
811c5bbbd5bSMatthew G. Knepley     numComponents += Nc;
812cb1e1211SMatthew G Knepley   }
81315496722SMatthew G. Knepley   ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, &quadPoints, &quadWeights);CHKERRQ(ierr);
8140f2d7e86SMatthew G. Knepley   ierr = DMPlexProjectFunctionLocal(dm, funcs, ctxs, INSERT_BC_VALUES, localX);CHKERRQ(ierr);
81515496722SMatthew G. Knepley   ierr = PetscMalloc6(numComponents,&funcVal,numComponents,&interpolant,dim,&coords,dim,&v0,dim*dim,&J,dim*dim,&invJ);CHKERRQ(ierr);
816cb1e1211SMatthew G Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
8179ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
8189ac3fadcSMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
819cb1e1211SMatthew G Knepley   for (c = cStart; c < cEnd; ++c) {
820a1e44745SMatthew G. Knepley     PetscScalar *x = NULL;
821cb1e1211SMatthew G Knepley     PetscReal    elemDiff = 0.0;
822cb1e1211SMatthew G Knepley 
8238e0841e0SMatthew G. Knepley     ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr);
824cb1e1211SMatthew G Knepley     if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c);
825cb1e1211SMatthew G Knepley     ierr = DMPlexVecGetClosure(dm, NULL, localX, c, NULL, &x);CHKERRQ(ierr);
826cb1e1211SMatthew G Knepley 
82715496722SMatthew G. Knepley     for (field = 0, fieldOffset = 0; field < numFields; ++field) {
82815496722SMatthew G. Knepley       PetscObject  obj;
82915496722SMatthew G. Knepley       PetscClassId id;
830c110b1eeSGeoffrey Irving       void * const ctx = ctxs ? ctxs[field] : NULL;
83115496722SMatthew G. Knepley       PetscInt     Nb, Nc, q, fc;
832cb1e1211SMatthew G Knepley 
83315496722SMatthew G. Knepley       ierr = DMGetField(dm, field, &obj);CHKERRQ(ierr);
83415496722SMatthew G. Knepley       ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
83515496722SMatthew G. Knepley       if (id == PETSCFE_CLASSID)      {ierr = PetscFEGetNumComponents((PetscFE) obj, &Nc);CHKERRQ(ierr);ierr = PetscFEGetDimension((PetscFE) obj, &Nb);CHKERRQ(ierr);}
83615496722SMatthew G. Knepley       else if (id == PETSCFV_CLASSID) {ierr = PetscFVGetNumComponents((PetscFV) obj, &Nc);CHKERRQ(ierr);Nb = 1;}
83715496722SMatthew G. Knepley       else SETERRQ1(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", field);
838cb1e1211SMatthew G Knepley       if (debug) {
839cb1e1211SMatthew G Knepley         char title[1024];
840cb1e1211SMatthew G Knepley         ierr = PetscSNPrintf(title, 1023, "Solution for Field %d", field);CHKERRQ(ierr);
84115496722SMatthew G. Knepley         ierr = DMPrintCellVector(c, title, Nb*Nc, &x[fieldOffset]);CHKERRQ(ierr);
842cb1e1211SMatthew G Knepley       }
843cb1e1211SMatthew G Knepley       for (q = 0; q < numQuadPoints; ++q) {
84415496722SMatthew G. Knepley         CoordinatesRefToReal(dim, dim, v0, J, &quadPoints[q*dim], coords);
845c110b1eeSGeoffrey Irving         (*funcs[field])(coords, funcVal, ctx);
84615496722SMatthew G. Knepley         if (id == PETSCFE_CLASSID)      {ierr = PetscFEInterpolate_Static((PetscFE) obj, &x[fieldOffset], q, interpolant);CHKERRQ(ierr);}
84715496722SMatthew G. Knepley         else if (id == PETSCFV_CLASSID) {ierr = PetscFVInterpolate_Static((PetscFV) obj, &x[fieldOffset], q, interpolant);CHKERRQ(ierr);}
84815496722SMatthew G. Knepley         else SETERRQ1(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", field);
84915496722SMatthew G. Knepley         for (fc = 0; fc < Nc; ++fc) {
85015496722SMatthew G. Knepley           if (debug) {ierr = PetscPrintf(PETSC_COMM_SELF, "    elem %d field %d diff %g\n", c, field, PetscSqr(PetscRealPart(interpolant[fc] - funcVal[fc]))*quadWeights[q]*detJ);CHKERRQ(ierr);}
85115496722SMatthew G. Knepley           elemDiff += PetscSqr(PetscRealPart(interpolant[fc] - funcVal[fc]))*quadWeights[q]*detJ;
852cb1e1211SMatthew G Knepley         }
853cb1e1211SMatthew G Knepley       }
85415496722SMatthew G. Knepley       fieldOffset += Nb*Nc;
855cb1e1211SMatthew G Knepley     }
856cb1e1211SMatthew G Knepley     ierr = DMPlexVecRestoreClosure(dm, NULL, localX, c, NULL, &x);CHKERRQ(ierr);
857cb1e1211SMatthew G Knepley     if (debug) {ierr = PetscPrintf(PETSC_COMM_SELF, "  elem %d diff %g\n", c, elemDiff);CHKERRQ(ierr);}
858cb1e1211SMatthew G Knepley     localDiff += elemDiff;
859cb1e1211SMatthew G Knepley   }
86015496722SMatthew G. Knepley   ierr  = PetscFree6(funcVal,interpolant,coords,v0,J,invJ);CHKERRQ(ierr);
861cb1e1211SMatthew G Knepley   ierr  = DMRestoreLocalVector(dm, &localX);CHKERRQ(ierr);
86286a74ee0SMatthew G. Knepley   ierr  = MPI_Allreduce(&localDiff, diff, 1, MPIU_REAL, MPI_SUM, PetscObjectComm((PetscObject)dm));CHKERRQ(ierr);
863cb1e1211SMatthew G Knepley   *diff = PetscSqrtReal(*diff);
864cb1e1211SMatthew G Knepley   PetscFunctionReturn(0);
865cb1e1211SMatthew G Knepley }
866cb1e1211SMatthew G Knepley 
867cb1e1211SMatthew G Knepley #undef __FUNCT__
86840e14135SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeL2GradientDiff"
86940e14135SMatthew G. Knepley /*@C
87040e14135SMatthew G. Knepley   DMPlexComputeL2GradientDiff - This function computes the L_2 difference between the gradient of a function u and an FEM interpolant solution grad u_h.
87140e14135SMatthew G. Knepley 
87240e14135SMatthew G. Knepley   Input Parameters:
87340e14135SMatthew G. Knepley + dm    - The DM
87440e14135SMatthew G. Knepley . funcs - The gradient functions to evaluate for each field component
87551259fa3SMatthew G. Knepley . ctxs  - Optional array of contexts to pass to each function, or NULL.
87640e14135SMatthew G. Knepley . X     - The coefficient vector u_h
87740e14135SMatthew G. Knepley - n     - The vector to project along
87840e14135SMatthew G. Knepley 
87940e14135SMatthew G. Knepley   Output Parameter:
88040e14135SMatthew G. Knepley . diff - The diff ||(grad u - grad u_h) . n||_2
88140e14135SMatthew G. Knepley 
88240e14135SMatthew G. Knepley   Level: developer
88340e14135SMatthew G. Knepley 
88440e14135SMatthew G. Knepley .seealso: DMPlexProjectFunction(), DMPlexComputeL2Diff()
88540e14135SMatthew G. Knepley @*/
8860f2d7e86SMatthew G. Knepley PetscErrorCode DMPlexComputeL2GradientDiff(DM dm, void (**funcs)(const PetscReal [], const PetscReal [], PetscScalar *, void *), void **ctxs, Vec X, const PetscReal n[], PetscReal *diff)
887cb1e1211SMatthew G Knepley {
88840e14135SMatthew G. Knepley   const PetscInt  debug = 0;
889cb1e1211SMatthew G Knepley   PetscSection    section;
89040e14135SMatthew G. Knepley   PetscQuadrature quad;
89140e14135SMatthew G. Knepley   Vec             localX;
89240e14135SMatthew G. Knepley   PetscScalar    *funcVal, *interpolantVec;
89340e14135SMatthew G. Knepley   PetscReal      *coords, *realSpaceDer, *v0, *J, *invJ, detJ;
89440e14135SMatthew G. Knepley   PetscReal       localDiff = 0.0;
8959ac3fadcSMatthew G. Knepley   PetscInt        dim, numFields, numComponents = 0, cStart, cEnd, cEndInterior, c, field, fieldOffset, comp;
896cb1e1211SMatthew G Knepley   PetscErrorCode  ierr;
897cb1e1211SMatthew G Knepley 
898cb1e1211SMatthew G Knepley   PetscFunctionBegin;
899c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
90040e14135SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
90140e14135SMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &numFields);CHKERRQ(ierr);
90240e14135SMatthew G. Knepley   ierr = DMGetLocalVector(dm, &localX);CHKERRQ(ierr);
90340e14135SMatthew G. Knepley   ierr = DMGlobalToLocalBegin(dm, X, INSERT_VALUES, localX);CHKERRQ(ierr);
90440e14135SMatthew G. Knepley   ierr = DMGlobalToLocalEnd(dm, X, INSERT_VALUES, localX);CHKERRQ(ierr);
905652b88e8SMatthew G. Knepley   for (field = 0; field < numFields; ++field) {
9060f2d7e86SMatthew G. Knepley     PetscFE  fe;
90740e14135SMatthew G. Knepley     PetscInt Nc;
908652b88e8SMatthew G. Knepley 
9090f2d7e86SMatthew G. Knepley     ierr = DMGetField(dm, field, (PetscObject *) &fe);CHKERRQ(ierr);
9100f2d7e86SMatthew G. Knepley     ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr);
9110f2d7e86SMatthew G. Knepley     ierr = PetscFEGetNumComponents(fe, &Nc);CHKERRQ(ierr);
91240e14135SMatthew G. Knepley     numComponents += Nc;
913652b88e8SMatthew G. Knepley   }
91440e14135SMatthew G. Knepley   /* ierr = DMPlexProjectFunctionLocal(dm, fe, funcs, INSERT_BC_VALUES, localX);CHKERRQ(ierr); */
91540e14135SMatthew G. Knepley   ierr = PetscMalloc7(numComponents,&funcVal,dim,&coords,dim,&realSpaceDer,dim,&v0,dim*dim,&J,dim*dim,&invJ,dim,&interpolantVec);CHKERRQ(ierr);
91640e14135SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
9179ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
9189ac3fadcSMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
91940e14135SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
92040e14135SMatthew G. Knepley     PetscScalar *x = NULL;
92140e14135SMatthew G. Knepley     PetscReal    elemDiff = 0.0;
922652b88e8SMatthew G. Knepley 
9238e0841e0SMatthew G. Knepley     ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr);
92440e14135SMatthew G. Knepley     if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c);
92540e14135SMatthew G. Knepley     ierr = DMPlexVecGetClosure(dm, NULL, localX, c, NULL, &x);CHKERRQ(ierr);
92640e14135SMatthew G. Knepley 
92740e14135SMatthew G. Knepley     for (field = 0, comp = 0, fieldOffset = 0; field < numFields; ++field) {
9280f2d7e86SMatthew G. Knepley       PetscFE          fe;
92951259fa3SMatthew G. Knepley       void * const     ctx = ctxs ? ctxs[field] : NULL;
93021454ff5SMatthew G. Knepley       const PetscReal *quadPoints, *quadWeights;
93140e14135SMatthew G. Knepley       PetscReal       *basisDer;
93221454ff5SMatthew G. Knepley       PetscInt         numQuadPoints, Nb, Ncomp, q, d, e, fc, f, g;
93340e14135SMatthew G. Knepley 
9340f2d7e86SMatthew G. Knepley       ierr = DMGetField(dm, field, (PetscObject *) &fe);CHKERRQ(ierr);
93521454ff5SMatthew G. Knepley       ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, &quadPoints, &quadWeights);CHKERRQ(ierr);
9360f2d7e86SMatthew G. Knepley       ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr);
9370f2d7e86SMatthew G. Knepley       ierr = PetscFEGetNumComponents(fe, &Ncomp);CHKERRQ(ierr);
9380f2d7e86SMatthew G. Knepley       ierr = PetscFEGetDefaultTabulation(fe, NULL, &basisDer, NULL);CHKERRQ(ierr);
93940e14135SMatthew G. Knepley       if (debug) {
94040e14135SMatthew G. Knepley         char title[1024];
94140e14135SMatthew G. Knepley         ierr = PetscSNPrintf(title, 1023, "Solution for Field %d", field);CHKERRQ(ierr);
94240e14135SMatthew G. Knepley         ierr = DMPrintCellVector(c, title, Nb*Ncomp, &x[fieldOffset]);CHKERRQ(ierr);
943652b88e8SMatthew G. Knepley       }
94440e14135SMatthew G. Knepley       for (q = 0; q < numQuadPoints; ++q) {
94540e14135SMatthew G. Knepley         for (d = 0; d < dim; d++) {
94640e14135SMatthew G. Knepley           coords[d] = v0[d];
94740e14135SMatthew G. Knepley           for (e = 0; e < dim; e++) {
94840e14135SMatthew G. Knepley             coords[d] += J[d*dim+e]*(quadPoints[q*dim+e] + 1.0);
949652b88e8SMatthew G. Knepley           }
95040e14135SMatthew G. Knepley         }
95151259fa3SMatthew G. Knepley         (*funcs[field])(coords, n, funcVal, ctx);
95240e14135SMatthew G. Knepley         for (fc = 0; fc < Ncomp; ++fc) {
95340e14135SMatthew G. Knepley           PetscScalar interpolant = 0.0;
95440e14135SMatthew G. Knepley 
95540e14135SMatthew G. Knepley           for (d = 0; d < dim; ++d) interpolantVec[d] = 0.0;
95640e14135SMatthew G. Knepley           for (f = 0; f < Nb; ++f) {
95740e14135SMatthew G. Knepley             const PetscInt fidx = f*Ncomp+fc;
95840e14135SMatthew G. Knepley 
95940e14135SMatthew G. Knepley             for (d = 0; d < dim; ++d) {
96040e14135SMatthew G. Knepley               realSpaceDer[d] = 0.0;
96140e14135SMatthew G. Knepley               for (g = 0; g < dim; ++g) {
96240e14135SMatthew G. Knepley                 realSpaceDer[d] += invJ[g*dim+d]*basisDer[(q*Nb*Ncomp+fidx)*dim+g];
96340e14135SMatthew G. Knepley               }
96440e14135SMatthew G. Knepley               interpolantVec[d] += x[fieldOffset+fidx]*realSpaceDer[d];
96540e14135SMatthew G. Knepley             }
96640e14135SMatthew G. Knepley           }
96740e14135SMatthew G. Knepley           for (d = 0; d < dim; ++d) interpolant += interpolantVec[d]*n[d];
96840e14135SMatthew G. Knepley           if (debug) {ierr = PetscPrintf(PETSC_COMM_SELF, "    elem %d fieldDer %d diff %g\n", c, field, PetscSqr(PetscRealPart(interpolant - funcVal[fc]))*quadWeights[q]*detJ);CHKERRQ(ierr);}
96940e14135SMatthew G. Knepley           elemDiff += PetscSqr(PetscRealPart(interpolant - funcVal[fc]))*quadWeights[q]*detJ;
97040e14135SMatthew G. Knepley         }
97140e14135SMatthew G. Knepley       }
97240e14135SMatthew G. Knepley       comp        += Ncomp;
97340e14135SMatthew G. Knepley       fieldOffset += Nb*Ncomp;
97440e14135SMatthew G. Knepley     }
97540e14135SMatthew G. Knepley     ierr = DMPlexVecRestoreClosure(dm, NULL, localX, c, NULL, &x);CHKERRQ(ierr);
97640e14135SMatthew G. Knepley     if (debug) {ierr = PetscPrintf(PETSC_COMM_SELF, "  elem %d diff %g\n", c, elemDiff);CHKERRQ(ierr);}
97740e14135SMatthew G. Knepley     localDiff += elemDiff;
97840e14135SMatthew G. Knepley   }
97940e14135SMatthew G. Knepley   ierr  = PetscFree7(funcVal,coords,realSpaceDer,v0,J,invJ,interpolantVec);CHKERRQ(ierr);
98040e14135SMatthew G. Knepley   ierr  = DMRestoreLocalVector(dm, &localX);CHKERRQ(ierr);
98140e14135SMatthew G. Knepley   ierr  = MPI_Allreduce(&localDiff, diff, 1, MPIU_REAL, MPI_SUM, PetscObjectComm((PetscObject)dm));CHKERRQ(ierr);
98240e14135SMatthew G. Knepley   *diff = PetscSqrtReal(*diff);
983cb1e1211SMatthew G Knepley   PetscFunctionReturn(0);
984cb1e1211SMatthew G Knepley }
985cb1e1211SMatthew G Knepley 
986a0845e3aSMatthew G. Knepley #undef __FUNCT__
98773d901b8SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeL2FieldDiff"
98815496722SMatthew G. Knepley /*@C
98915496722SMatthew G. Knepley   DMPlexComputeL2FieldDiff - This function computes the L_2 difference between a function u and an FEM interpolant solution u_h, separated into field components.
99015496722SMatthew G. Knepley 
99115496722SMatthew G. Knepley   Input Parameters:
99215496722SMatthew G. Knepley + dm    - The DM
99315496722SMatthew G. Knepley . funcs - The functions to evaluate for each field component
99415496722SMatthew G. Knepley . ctxs  - Optional array of contexts to pass to each function, or NULL.
99515496722SMatthew G. Knepley - X     - The coefficient vector u_h
99615496722SMatthew G. Knepley 
99715496722SMatthew G. Knepley   Output Parameter:
99815496722SMatthew G. Knepley . diff - The array of differences, ||u^f - u^f_h||_2
99915496722SMatthew G. Knepley 
100015496722SMatthew G. Knepley   Level: developer
100115496722SMatthew G. Knepley 
100215496722SMatthew G. Knepley .seealso: DMPlexProjectFunction(), DMPlexComputeL2Diff(), DMPlexComputeL2GradientDiff()
100315496722SMatthew G. Knepley @*/
10040f2d7e86SMatthew G. Knepley PetscErrorCode DMPlexComputeL2FieldDiff(DM dm, void (**funcs)(const PetscReal [], PetscScalar *, void *), void **ctxs, Vec X, PetscReal diff[])
100573d901b8SMatthew G. Knepley {
100673d901b8SMatthew G. Knepley   const PetscInt   debug = 0;
100773d901b8SMatthew G. Knepley   PetscSection     section;
100873d901b8SMatthew G. Knepley   PetscQuadrature  quad;
100973d901b8SMatthew G. Knepley   Vec              localX;
101015496722SMatthew G. Knepley   PetscScalar     *funcVal, *interpolant;
101173d901b8SMatthew G. Knepley   PetscReal       *coords, *v0, *J, *invJ, detJ;
101273d901b8SMatthew G. Knepley   PetscReal       *localDiff;
101315496722SMatthew G. Knepley   const PetscReal *quadPoints, *quadWeights;
10149ac3fadcSMatthew G. Knepley   PetscInt         dim, numFields, numComponents = 0, numQuadPoints, cStart, cEnd, cEndInterior, c, field, fieldOffset;
101573d901b8SMatthew G. Knepley   PetscErrorCode   ierr;
101673d901b8SMatthew G. Knepley 
101773d901b8SMatthew G. Knepley   PetscFunctionBegin;
1018c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
101973d901b8SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
102073d901b8SMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &numFields);CHKERRQ(ierr);
102173d901b8SMatthew G. Knepley   ierr = DMGetLocalVector(dm, &localX);CHKERRQ(ierr);
102273d901b8SMatthew G. Knepley   ierr = DMGlobalToLocalBegin(dm, X, INSERT_VALUES, localX);CHKERRQ(ierr);
102373d901b8SMatthew G. Knepley   ierr = DMGlobalToLocalEnd(dm, X, INSERT_VALUES, localX);CHKERRQ(ierr);
102473d901b8SMatthew G. Knepley   for (field = 0; field < numFields; ++field) {
102515496722SMatthew G. Knepley     PetscObject  obj;
102615496722SMatthew G. Knepley     PetscClassId id;
102773d901b8SMatthew G. Knepley     PetscInt     Nc;
102873d901b8SMatthew G. Knepley 
102915496722SMatthew G. Knepley     ierr = DMGetField(dm, field, &obj);CHKERRQ(ierr);
103015496722SMatthew G. Knepley     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
103115496722SMatthew G. Knepley     if (id == PETSCFE_CLASSID) {
103215496722SMatthew G. Knepley       PetscFE fe = (PetscFE) obj;
103315496722SMatthew G. Knepley 
10340f2d7e86SMatthew G. Knepley       ierr = PetscFEGetQuadrature(fe, &quad);CHKERRQ(ierr);
10350f2d7e86SMatthew G. Knepley       ierr = PetscFEGetNumComponents(fe, &Nc);CHKERRQ(ierr);
103615496722SMatthew G. Knepley     } else if (id == PETSCFV_CLASSID) {
103715496722SMatthew G. Knepley       PetscFV fv = (PetscFV) obj;
103815496722SMatthew G. Knepley 
103915496722SMatthew G. Knepley       ierr = PetscFVGetQuadrature(fv, &quad);CHKERRQ(ierr);
104015496722SMatthew G. Knepley       ierr = PetscFVGetNumComponents(fv, &Nc);CHKERRQ(ierr);
104115496722SMatthew G. Knepley     } else SETERRQ1(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", field);
104273d901b8SMatthew G. Knepley     numComponents += Nc;
104373d901b8SMatthew G. Knepley   }
104415496722SMatthew G. Knepley   ierr = PetscQuadratureGetData(quad, NULL, &numQuadPoints, &quadPoints, &quadWeights);CHKERRQ(ierr);
10450f2d7e86SMatthew G. Knepley   ierr = DMPlexProjectFunctionLocal(dm, funcs, ctxs, INSERT_BC_VALUES, localX);CHKERRQ(ierr);
104615496722SMatthew G. Knepley   ierr = PetscCalloc7(numFields,&localDiff,numComponents,&funcVal,numComponents,&interpolant,dim,&coords,dim,&v0,dim*dim,&J,dim*dim,&invJ);CHKERRQ(ierr);
104773d901b8SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
10489ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
10499ac3fadcSMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
105073d901b8SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
105173d901b8SMatthew G. Knepley     PetscScalar *x = NULL;
105273d901b8SMatthew G. Knepley 
10538e0841e0SMatthew G. Knepley     ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr);
105473d901b8SMatthew G. Knepley     if (detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", detJ, c);
105573d901b8SMatthew G. Knepley     ierr = DMPlexVecGetClosure(dm, NULL, localX, c, NULL, &x);CHKERRQ(ierr);
105673d901b8SMatthew G. Knepley 
105715496722SMatthew G. Knepley     for (field = 0, fieldOffset = 0; field < numFields; ++field) {
105815496722SMatthew G. Knepley       PetscObject  obj;
105915496722SMatthew G. Knepley       PetscClassId id;
106073d901b8SMatthew G. Knepley       void * const ctx = ctxs ? ctxs[field] : NULL;
106115496722SMatthew G. Knepley       PetscInt     Nb, Nc, q, fc;
106273d901b8SMatthew G. Knepley 
106315496722SMatthew G. Knepley       PetscReal       elemDiff = 0.0;
106415496722SMatthew G. Knepley 
106515496722SMatthew G. Knepley       ierr = DMGetField(dm, field, &obj);CHKERRQ(ierr);
106615496722SMatthew G. Knepley       ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
106715496722SMatthew G. Knepley       if (id == PETSCFE_CLASSID)      {ierr = PetscFEGetNumComponents((PetscFE) obj, &Nc);CHKERRQ(ierr);ierr = PetscFEGetDimension((PetscFE) obj, &Nb);CHKERRQ(ierr);}
106815496722SMatthew G. Knepley       else if (id == PETSCFV_CLASSID) {ierr = PetscFVGetNumComponents((PetscFV) obj, &Nc);CHKERRQ(ierr);Nb = 1;}
106915496722SMatthew G. Knepley       else SETERRQ1(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", field);
107073d901b8SMatthew G. Knepley       if (debug) {
107173d901b8SMatthew G. Knepley         char title[1024];
107273d901b8SMatthew G. Knepley         ierr = PetscSNPrintf(title, 1023, "Solution for Field %d", field);CHKERRQ(ierr);
107315496722SMatthew G. Knepley         ierr = DMPrintCellVector(c, title, Nb*Nc, &x[fieldOffset]);CHKERRQ(ierr);
107473d901b8SMatthew G. Knepley       }
107573d901b8SMatthew G. Knepley       for (q = 0; q < numQuadPoints; ++q) {
107615496722SMatthew G. Knepley         CoordinatesRefToReal(dim, dim, v0, J, &quadPoints[q*dim], coords);
107773d901b8SMatthew G. Knepley         (*funcs[field])(coords, funcVal, ctx);
107815496722SMatthew G. Knepley         if (id == PETSCFE_CLASSID)      {ierr = PetscFEInterpolate_Static((PetscFE) obj, &x[fieldOffset], q, interpolant);CHKERRQ(ierr);}
107915496722SMatthew G. Knepley         else if (id == PETSCFV_CLASSID) {ierr = PetscFVInterpolate_Static((PetscFV) obj, &x[fieldOffset], q, interpolant);CHKERRQ(ierr);}
108015496722SMatthew G. Knepley         else SETERRQ1(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", field);
108115496722SMatthew G. Knepley         for (fc = 0; fc < Nc; ++fc) {
108215496722SMatthew G. Knepley           if (debug) {ierr = PetscPrintf(PETSC_COMM_SELF, "    elem %d field %d diff %g\n", c, field, PetscSqr(PetscRealPart(interpolant[fc] - funcVal[fc]))*quadWeights[q]*detJ);CHKERRQ(ierr);}
108315496722SMatthew G. Knepley           elemDiff += PetscSqr(PetscRealPart(interpolant[fc] - funcVal[fc]))*quadWeights[q]*detJ;
108473d901b8SMatthew G. Knepley         }
108573d901b8SMatthew G. Knepley       }
108615496722SMatthew G. Knepley       fieldOffset += Nb*Nc;
108773d901b8SMatthew G. Knepley       localDiff[field] += elemDiff;
108873d901b8SMatthew G. Knepley     }
108973d901b8SMatthew G. Knepley     ierr = DMPlexVecRestoreClosure(dm, NULL, localX, c, NULL, &x);CHKERRQ(ierr);
109073d901b8SMatthew G. Knepley   }
109173d901b8SMatthew G. Knepley   ierr = DMRestoreLocalVector(dm, &localX);CHKERRQ(ierr);
109273d901b8SMatthew G. Knepley   ierr = MPI_Allreduce(localDiff, diff, numFields, MPIU_REAL, MPI_SUM, PetscObjectComm((PetscObject)dm));CHKERRQ(ierr);
109373d901b8SMatthew G. Knepley   for (field = 0; field < numFields; ++field) diff[field] = PetscSqrtReal(diff[field]);
109415496722SMatthew G. Knepley   ierr = PetscFree7(localDiff,funcVal,interpolant,coords,v0,J,invJ);CHKERRQ(ierr);
109573d901b8SMatthew G. Knepley   PetscFunctionReturn(0);
109673d901b8SMatthew G. Knepley }
109773d901b8SMatthew G. Knepley 
109873d901b8SMatthew G. Knepley #undef __FUNCT__
109973d901b8SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeIntegralFEM"
110073d901b8SMatthew G. Knepley /*@
110173d901b8SMatthew G. Knepley   DMPlexComputeIntegralFEM - Form the local integral F from the local input X using pointwise functions specified by the user
110273d901b8SMatthew G. Knepley 
110373d901b8SMatthew G. Knepley   Input Parameters:
110473d901b8SMatthew G. Knepley + dm - The mesh
110573d901b8SMatthew G. Knepley . X  - Local input vector
110673d901b8SMatthew G. Knepley - user - The user context
110773d901b8SMatthew G. Knepley 
110873d901b8SMatthew G. Knepley   Output Parameter:
110973d901b8SMatthew G. Knepley . integral - Local integral for each field
111073d901b8SMatthew G. Knepley 
111173d901b8SMatthew G. Knepley   Level: developer
111273d901b8SMatthew G. Knepley 
111373d901b8SMatthew G. Knepley .seealso: DMPlexComputeResidualFEM()
111473d901b8SMatthew G. Knepley @*/
11150f2d7e86SMatthew G. Knepley PetscErrorCode DMPlexComputeIntegralFEM(DM dm, Vec X, PetscReal *integral, void *user)
111673d901b8SMatthew G. Knepley {
111773d901b8SMatthew G. Knepley   DM_Plex          *mesh  = (DM_Plex *) dm->data;
111873d901b8SMatthew G. Knepley   DM                dmAux;
111973d901b8SMatthew G. Knepley   Vec               localX, A;
11202764a2aaSMatthew G. Knepley   PetscDS           prob, probAux = NULL;
112173d901b8SMatthew G. Knepley   PetscSection      section, sectionAux;
1122bbce034cSMatthew G. Knepley   PetscFECellGeom  *cgeom;
112373d901b8SMatthew G. Knepley   PetscScalar      *u, *a = NULL;
1124c1f031eeSMatthew G. Knepley   PetscReal        *lintegral, *vol;
11259ac3fadcSMatthew G. Knepley   PetscInt          dim, Nf, f, numCells, cStart, cEnd, cEndInterior, c;
11260f2d7e86SMatthew G. Knepley   PetscInt          totDim, totDimAux;
112773d901b8SMatthew G. Knepley   PetscErrorCode    ierr;
112873d901b8SMatthew G. Knepley 
112973d901b8SMatthew G. Knepley   PetscFunctionBegin;
1130c1f031eeSMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_IntegralFEM,dm,0,0,0);CHKERRQ(ierr);
113173d901b8SMatthew G. Knepley   ierr = DMGetLocalVector(dm, &localX);CHKERRQ(ierr);
113273d901b8SMatthew G. Knepley   ierr = DMGlobalToLocalBegin(dm, X, INSERT_VALUES, localX);CHKERRQ(ierr);
113373d901b8SMatthew G. Knepley   ierr = DMGlobalToLocalEnd(dm, X, INSERT_VALUES, localX);CHKERRQ(ierr);
1134c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
113573d901b8SMatthew G. Knepley   ierr = DMGetDefaultSection(dm, &section);CHKERRQ(ierr);
11362764a2aaSMatthew G. Knepley   ierr = DMGetDS(dm, &prob);CHKERRQ(ierr);
11372764a2aaSMatthew G. Knepley   ierr = PetscDSGetTotalDimension(prob, &totDim);CHKERRQ(ierr);
113873d901b8SMatthew G. Knepley   ierr = PetscSectionGetNumFields(section, &Nf);CHKERRQ(ierr);
113973d901b8SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
11409ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dm, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
11419ac3fadcSMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
114273d901b8SMatthew G. Knepley   numCells = cEnd - cStart;
114373d901b8SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "dmAux", (PetscObject *) &dmAux);CHKERRQ(ierr);
114473d901b8SMatthew G. Knepley   ierr = PetscObjectQuery((PetscObject) dm, "A", (PetscObject *) &A);CHKERRQ(ierr);
114573d901b8SMatthew G. Knepley   if (dmAux) {
114673d901b8SMatthew G. Knepley     ierr = DMGetDefaultSection(dmAux, &sectionAux);CHKERRQ(ierr);
11472764a2aaSMatthew G. Knepley     ierr = DMGetDS(dmAux, &probAux);CHKERRQ(ierr);
11482764a2aaSMatthew G. Knepley     ierr = PetscDSGetTotalDimension(probAux, &totDimAux);CHKERRQ(ierr);
114973d901b8SMatthew G. Knepley   }
1150d7ddef95SMatthew G. Knepley   ierr = DMPlexInsertBoundaryValues(dm, localX, 0.0, NULL, NULL, NULL);CHKERRQ(ierr);
1151c1f031eeSMatthew G. Knepley   ierr = PetscMalloc4(Nf,&lintegral,numCells*totDim,&u,numCells,&cgeom,numCells,&vol);CHKERRQ(ierr);
11520f2d7e86SMatthew G. Knepley   if (dmAux) {ierr = PetscMalloc1(numCells*totDimAux, &a);CHKERRQ(ierr);}
1153c1f031eeSMatthew G. Knepley   for (f = 0; f < Nf; ++f) {lintegral[f] = 0.0;}
115473d901b8SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
115573d901b8SMatthew G. Knepley     PetscScalar *x = NULL;
115673d901b8SMatthew G. Knepley     PetscInt     i;
115773d901b8SMatthew G. Knepley 
1158bbce034cSMatthew G. Knepley     ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, cgeom[c].v0, cgeom[c].J, cgeom[c].invJ, &cgeom[c].detJ);CHKERRQ(ierr);
1159c1f031eeSMatthew G. Knepley     ierr = DMPlexComputeCellGeometryFVM(dm, c, &vol[c], NULL, NULL);CHKERRQ(ierr);
1160bbce034cSMatthew G. Knepley     if (cgeom[c].detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %d", cgeom[c].detJ, c);
116173d901b8SMatthew G. Knepley     ierr = DMPlexVecGetClosure(dm, section, localX, c, NULL, &x);CHKERRQ(ierr);
11620f2d7e86SMatthew G. Knepley     for (i = 0; i < totDim; ++i) u[c*totDim+i] = x[i];
116373d901b8SMatthew G. Knepley     ierr = DMPlexVecRestoreClosure(dm, section, localX, c, NULL, &x);CHKERRQ(ierr);
116473d901b8SMatthew G. Knepley     if (dmAux) {
116573d901b8SMatthew G. Knepley       ierr = DMPlexVecGetClosure(dmAux, sectionAux, A, c, NULL, &x);CHKERRQ(ierr);
11660f2d7e86SMatthew G. Knepley       for (i = 0; i < totDimAux; ++i) a[c*totDimAux+i] = x[i];
116773d901b8SMatthew G. Knepley       ierr = DMPlexVecRestoreClosure(dmAux, sectionAux, A, c, NULL, &x);CHKERRQ(ierr);
116873d901b8SMatthew G. Knepley     }
116973d901b8SMatthew G. Knepley   }
117073d901b8SMatthew G. Knepley   for (f = 0; f < Nf; ++f) {
1171c1f031eeSMatthew G. Knepley     PetscObject  obj;
1172c1f031eeSMatthew G. Knepley     PetscClassId id;
1173c1f031eeSMatthew G. Knepley     PetscInt     numChunks, numBatches, batchSize, numBlocks, blockSize, Ne, Nr, offset;
117473d901b8SMatthew G. Knepley 
1175c1f031eeSMatthew G. Knepley     ierr = PetscDSGetDiscretization(prob, f, &obj);CHKERRQ(ierr);
1176c1f031eeSMatthew G. Knepley     ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr);
1177c1f031eeSMatthew G. Knepley     if (id == PETSCFE_CLASSID) {
1178c1f031eeSMatthew G. Knepley       PetscFE         fe = (PetscFE) obj;
1179c1f031eeSMatthew G. Knepley       PetscQuadrature q;
1180c1f031eeSMatthew G. Knepley       PetscInt        Nq, Nb;
1181c1f031eeSMatthew G. Knepley 
11820f2d7e86SMatthew G. Knepley       ierr = PetscFEGetTileSizes(fe, NULL, &numBlocks, NULL, &numBatches);CHKERRQ(ierr);
1183c1f031eeSMatthew G. Knepley       ierr = PetscFEGetQuadrature(fe, &q);CHKERRQ(ierr);
1184c1f031eeSMatthew G. Knepley       ierr = PetscQuadratureGetData(q, NULL, &Nq, NULL, NULL);CHKERRQ(ierr);
1185c1f031eeSMatthew G. Knepley       ierr = PetscFEGetDimension(fe, &Nb);CHKERRQ(ierr);
1186c1f031eeSMatthew G. Knepley       blockSize = Nb*Nq;
118773d901b8SMatthew G. Knepley       batchSize = numBlocks * blockSize;
11880f2d7e86SMatthew G. Knepley       ierr = PetscFESetTileSizes(fe, blockSize, numBlocks, batchSize, numBatches);CHKERRQ(ierr);
118973d901b8SMatthew G. Knepley       numChunks = numCells / (numBatches*batchSize);
119073d901b8SMatthew G. Knepley       Ne        = numChunks*numBatches*batchSize;
119173d901b8SMatthew G. Knepley       Nr        = numCells % (numBatches*batchSize);
119273d901b8SMatthew G. Knepley       offset    = numCells - Nr;
1193c1f031eeSMatthew G. Knepley       ierr = PetscFEIntegrate(fe, prob, f, Ne, cgeom, u, probAux, a, lintegral);CHKERRQ(ierr);
1194c1f031eeSMatthew G. Knepley       ierr = PetscFEIntegrate(fe, prob, f, Nr, &cgeom[offset], &u[offset*totDim], probAux, &a[offset*totDimAux], lintegral);CHKERRQ(ierr);
1195c1f031eeSMatthew G. Knepley     } else if (id == PETSCFV_CLASSID) {
1196*b69edc29SMatthew G. Knepley       /* PetscFV  fv = (PetscFV) obj; */
1197c1f031eeSMatthew G. Knepley       PetscInt    foff;
1198c1f031eeSMatthew G. Knepley       void      (*obj_func)(const PetscScalar u[], const PetscScalar u_x[], const PetscScalar u_t[], const PetscScalar a[], const PetscScalar a_x[], const PetscScalar a_t[], const PetscReal x[], PetscScalar obj[]);
1199*b69edc29SMatthew G. Knepley       PetscScalar lint;
1200c1f031eeSMatthew G. Knepley 
1201c1f031eeSMatthew G. Knepley       ierr = PetscDSGetObjective(prob, f, &obj_func);CHKERRQ(ierr);
1202c1f031eeSMatthew G. Knepley       ierr = PetscDSGetFieldOffset(prob, f, &foff);CHKERRQ(ierr);
1203c1f031eeSMatthew G. Knepley       if (obj_func) {
1204c1f031eeSMatthew G. Knepley         for (c = 0; c < numCells; ++c) {
1205c1f031eeSMatthew G. Knepley           /* TODO: Need full pointwise interpolation and get centroid for x argument */
1206*b69edc29SMatthew G. Knepley           obj_func(&u[totDim*c+foff], NULL, NULL, NULL, NULL, NULL, NULL, &lint);
1207*b69edc29SMatthew G. Knepley           lintegral[f] = PetscRealPart(lint)*vol[c];
120873d901b8SMatthew G. Knepley         }
1209c1f031eeSMatthew G. Knepley       }
1210c1f031eeSMatthew G. Knepley     } else SETERRQ1(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_WRONG, "Unknown discretization type for field %d", f);
1211c1f031eeSMatthew G. Knepley   }
121273d901b8SMatthew G. Knepley   if (dmAux) {ierr = PetscFree(a);CHKERRQ(ierr);}
121373d901b8SMatthew G. Knepley   if (mesh->printFEM) {
121473d901b8SMatthew G. Knepley     ierr = PetscPrintf(PetscObjectComm((PetscObject) dm), "Local integral:");CHKERRQ(ierr);
1215c1f031eeSMatthew G. Knepley     for (f = 0; f < Nf; ++f) {ierr = PetscPrintf(PetscObjectComm((PetscObject) dm), " %g", lintegral[f]);CHKERRQ(ierr);}
121673d901b8SMatthew G. Knepley     ierr = PetscPrintf(PetscObjectComm((PetscObject) dm), "\n");CHKERRQ(ierr);
121773d901b8SMatthew G. Knepley   }
121873d901b8SMatthew G. Knepley   ierr = DMRestoreLocalVector(dm, &localX);CHKERRQ(ierr);
1219c1f031eeSMatthew G. Knepley   ierr = MPI_Allreduce(lintegral, integral, Nf, MPIU_REAL, MPI_SUM, PetscObjectComm((PetscObject) dm));CHKERRQ(ierr);
1220c1f031eeSMatthew G. Knepley   ierr = PetscFree4(lintegral,u,cgeom,vol);CHKERRQ(ierr);
1221c1f031eeSMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_IntegralFEM,dm,0,0,0);CHKERRQ(ierr);
122273d901b8SMatthew G. Knepley   PetscFunctionReturn(0);
122373d901b8SMatthew G. Knepley }
122473d901b8SMatthew G. Knepley 
122573d901b8SMatthew G. Knepley #undef __FUNCT__
1226d69c5d34SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeInterpolatorFEM"
1227d69c5d34SMatthew G. Knepley /*@
1228d69c5d34SMatthew G. Knepley   DMPlexComputeInterpolatorFEM - Form the local portion of the interpolation matrix I from the coarse DM to the uniformly refined DM.
1229d69c5d34SMatthew G. Knepley 
1230d69c5d34SMatthew G. Knepley   Input Parameters:
1231d69c5d34SMatthew G. Knepley + dmf  - The fine mesh
1232d69c5d34SMatthew G. Knepley . dmc  - The coarse mesh
1233d69c5d34SMatthew G. Knepley - user - The user context
1234d69c5d34SMatthew G. Knepley 
1235d69c5d34SMatthew G. Knepley   Output Parameter:
1236934789fcSMatthew G. Knepley . In  - The interpolation matrix
1237d69c5d34SMatthew G. Knepley 
1238d69c5d34SMatthew G. Knepley   Note:
1239d69c5d34SMatthew G. Knepley   The first member of the user context must be an FEMContext.
1240d69c5d34SMatthew G. Knepley 
1241d69c5d34SMatthew G. Knepley   We form the residual one batch of elements at a time. This allows us to offload work onto an accelerator,
1242d69c5d34SMatthew G. Knepley   like a GPU, or vectorize on a multicore machine.
1243d69c5d34SMatthew G. Knepley 
1244d69c5d34SMatthew G. Knepley   Level: developer
1245d69c5d34SMatthew G. Knepley 
1246d69c5d34SMatthew G. Knepley .seealso: DMPlexComputeJacobianFEM()
1247d69c5d34SMatthew G. Knepley @*/
1248934789fcSMatthew G. Knepley PetscErrorCode DMPlexComputeInterpolatorFEM(DM dmc, DM dmf, Mat In, void *user)
1249d69c5d34SMatthew G. Knepley {
1250d69c5d34SMatthew G. Knepley   DM_Plex          *mesh  = (DM_Plex *) dmc->data;
1251d69c5d34SMatthew G. Knepley   const char       *name  = "Interpolator";
12522764a2aaSMatthew G. Knepley   PetscDS           prob;
1253d69c5d34SMatthew G. Knepley   PetscFE          *feRef;
1254d69c5d34SMatthew G. Knepley   PetscSection      fsection, fglobalSection;
1255d69c5d34SMatthew G. Knepley   PetscSection      csection, cglobalSection;
1256d69c5d34SMatthew G. Knepley   PetscScalar      *elemMat;
12579ac3fadcSMatthew G. Knepley   PetscInt          dim, Nf, f, fieldI, fieldJ, offsetI, offsetJ, cStart, cEnd, cEndInterior, c;
12580f2d7e86SMatthew G. Knepley   PetscInt          cTotDim, rTotDim = 0;
1259d69c5d34SMatthew G. Knepley   PetscErrorCode    ierr;
1260d69c5d34SMatthew G. Knepley 
1261d69c5d34SMatthew G. Knepley   PetscFunctionBegin;
1262d69c5d34SMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_InterpolatorFEM,dmc,dmf,0,0);CHKERRQ(ierr);
1263c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dmf, &dim);CHKERRQ(ierr);
1264d69c5d34SMatthew G. Knepley   ierr = DMGetDefaultSection(dmf, &fsection);CHKERRQ(ierr);
1265d69c5d34SMatthew G. Knepley   ierr = DMGetDefaultGlobalSection(dmf, &fglobalSection);CHKERRQ(ierr);
1266d69c5d34SMatthew G. Knepley   ierr = DMGetDefaultSection(dmc, &csection);CHKERRQ(ierr);
1267d69c5d34SMatthew G. Knepley   ierr = DMGetDefaultGlobalSection(dmc, &cglobalSection);CHKERRQ(ierr);
1268d69c5d34SMatthew G. Knepley   ierr = PetscSectionGetNumFields(fsection, &Nf);CHKERRQ(ierr);
1269d69c5d34SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dmc, 0, &cStart, &cEnd);CHKERRQ(ierr);
12709ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dmc, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
12719ac3fadcSMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
12722764a2aaSMatthew G. Knepley   ierr = DMGetDS(dmf, &prob);CHKERRQ(ierr);
1273d69c5d34SMatthew G. Knepley   ierr = PetscMalloc1(Nf,&feRef);CHKERRQ(ierr);
1274d69c5d34SMatthew G. Knepley   for (f = 0; f < Nf; ++f) {
12750f2d7e86SMatthew G. Knepley     PetscFE  fe;
12760f2d7e86SMatthew G. Knepley     PetscInt rNb, Nc;
1277d69c5d34SMatthew G. Knepley 
12782764a2aaSMatthew G. Knepley     ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fe);CHKERRQ(ierr);
12790f2d7e86SMatthew G. Knepley     ierr = PetscFERefine(fe, &feRef[f]);CHKERRQ(ierr);
1280d69c5d34SMatthew G. Knepley     ierr = PetscFEGetDimension(feRef[f], &rNb);CHKERRQ(ierr);
12810f2d7e86SMatthew G. Knepley     ierr = PetscFEGetNumComponents(fe, &Nc);CHKERRQ(ierr);
12820f2d7e86SMatthew G. Knepley     rTotDim += rNb*Nc;
1283d69c5d34SMatthew G. Knepley   }
12842764a2aaSMatthew G. Knepley   ierr = PetscDSGetTotalDimension(prob, &cTotDim);CHKERRQ(ierr);
12850f2d7e86SMatthew G. Knepley   ierr = PetscMalloc1(rTotDim*cTotDim,&elemMat);CHKERRQ(ierr);
12860f2d7e86SMatthew G. Knepley   ierr = PetscMemzero(elemMat, rTotDim*cTotDim * sizeof(PetscScalar));CHKERRQ(ierr);
1287d69c5d34SMatthew G. Knepley   for (fieldI = 0, offsetI = 0; fieldI < Nf; ++fieldI) {
1288d69c5d34SMatthew G. Knepley     PetscDualSpace   Qref;
1289d69c5d34SMatthew G. Knepley     PetscQuadrature  f;
1290d69c5d34SMatthew G. Knepley     const PetscReal *qpoints, *qweights;
1291d69c5d34SMatthew G. Knepley     PetscReal       *points;
1292d69c5d34SMatthew G. Knepley     PetscInt         npoints = 0, Nc, Np, fpdim, i, k, p, d;
1293d69c5d34SMatthew G. Knepley 
1294d69c5d34SMatthew G. Knepley     /* Compose points from all dual basis functionals */
1295d69c5d34SMatthew G. Knepley     ierr = PetscFEGetDualSpace(feRef[fieldI], &Qref);CHKERRQ(ierr);
12960f2d7e86SMatthew G. Knepley     ierr = PetscFEGetNumComponents(feRef[fieldI], &Nc);CHKERRQ(ierr);
1297d69c5d34SMatthew G. Knepley     ierr = PetscDualSpaceGetDimension(Qref, &fpdim);CHKERRQ(ierr);
1298d69c5d34SMatthew G. Knepley     for (i = 0; i < fpdim; ++i) {
1299d69c5d34SMatthew G. Knepley       ierr = PetscDualSpaceGetFunctional(Qref, i, &f);CHKERRQ(ierr);
1300d69c5d34SMatthew G. Knepley       ierr = PetscQuadratureGetData(f, NULL, &Np, NULL, NULL);CHKERRQ(ierr);
1301d69c5d34SMatthew G. Knepley       npoints += Np;
1302d69c5d34SMatthew G. Knepley     }
1303d69c5d34SMatthew G. Knepley     ierr = PetscMalloc1(npoints*dim,&points);CHKERRQ(ierr);
1304d69c5d34SMatthew G. Knepley     for (i = 0, k = 0; i < fpdim; ++i) {
1305d69c5d34SMatthew G. Knepley       ierr = PetscDualSpaceGetFunctional(Qref, i, &f);CHKERRQ(ierr);
1306d69c5d34SMatthew G. Knepley       ierr = PetscQuadratureGetData(f, NULL, &Np, &qpoints, NULL);CHKERRQ(ierr);
1307d69c5d34SMatthew G. Knepley       for (p = 0; p < Np; ++p, ++k) for (d = 0; d < dim; ++d) points[k*dim+d] = qpoints[p*dim+d];
1308d69c5d34SMatthew G. Knepley     }
1309d69c5d34SMatthew G. Knepley 
1310d69c5d34SMatthew G. Knepley     for (fieldJ = 0, offsetJ = 0; fieldJ < Nf; ++fieldJ) {
13110f2d7e86SMatthew G. Knepley       PetscFE    fe;
1312d69c5d34SMatthew G. Knepley       PetscReal *B;
131336a6d9c0SMatthew G. Knepley       PetscInt   NcJ, cpdim, j;
1314d69c5d34SMatthew G. Knepley 
1315d69c5d34SMatthew G. Knepley       /* Evaluate basis at points */
13162764a2aaSMatthew G. Knepley       ierr = PetscDSGetDiscretization(prob, fieldJ, (PetscObject *) &fe);CHKERRQ(ierr);
13170f2d7e86SMatthew G. Knepley       ierr = PetscFEGetNumComponents(fe, &NcJ);CHKERRQ(ierr);
13180f2d7e86SMatthew G. Knepley       ierr = PetscFEGetDimension(fe, &cpdim);CHKERRQ(ierr);
1319ffe73a53SMatthew G. Knepley       /* For now, fields only interpolate themselves */
1320ffe73a53SMatthew G. Knepley       if (fieldI == fieldJ) {
13217c927364SMatthew G. Knepley         if (Nc != NcJ) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Number of components in fine space field %d does not match coarse field %d", Nc, NcJ);
13220f2d7e86SMatthew G. Knepley         ierr = PetscFEGetTabulation(fe, npoints, points, &B, NULL, NULL);CHKERRQ(ierr);
1323d69c5d34SMatthew G. Knepley         for (i = 0, k = 0; i < fpdim; ++i) {
1324d69c5d34SMatthew G. Knepley           ierr = PetscDualSpaceGetFunctional(Qref, i, &f);CHKERRQ(ierr);
1325d69c5d34SMatthew G. Knepley           ierr = PetscQuadratureGetData(f, NULL, &Np, NULL, &qweights);CHKERRQ(ierr);
1326d69c5d34SMatthew G. Knepley           for (p = 0; p < Np; ++p, ++k) {
132736a6d9c0SMatthew G. Knepley             for (j = 0; j < cpdim; ++j) {
13280f2d7e86SMatthew G. Knepley               for (c = 0; c < Nc; ++c) elemMat[(offsetI + i*Nc + c)*cTotDim + offsetJ + j*NcJ + c] += B[k*cpdim*NcJ+j*Nc+c]*qweights[p];
132936a6d9c0SMatthew G. Knepley             }
1330d69c5d34SMatthew G. Knepley           }
1331d69c5d34SMatthew G. Knepley         }
13320f2d7e86SMatthew G. Knepley         ierr = PetscFERestoreTabulation(fe, npoints, points, &B, NULL, NULL);CHKERRQ(ierr);CHKERRQ(ierr);
1333ffe73a53SMatthew G. Knepley       }
133436a6d9c0SMatthew G. Knepley       offsetJ += cpdim*NcJ;
1335d69c5d34SMatthew G. Knepley     }
1336d69c5d34SMatthew G. Knepley     offsetI += fpdim*Nc;
1337549a8adaSMatthew G. Knepley     ierr = PetscFree(points);CHKERRQ(ierr);
1338d69c5d34SMatthew G. Knepley   }
13390f2d7e86SMatthew G. Knepley   if (mesh->printFEM > 1) {ierr = DMPrintCellMatrix(0, name, rTotDim, cTotDim, elemMat);CHKERRQ(ierr);}
13407f5b169aSMatthew G. Knepley   /* Preallocate matrix */
13417f5b169aSMatthew G. Knepley   {
13427f5b169aSMatthew G. Knepley     PetscHashJK ht;
13437f5b169aSMatthew G. Knepley     PetscLayout rLayout;
13447f5b169aSMatthew G. Knepley     PetscInt   *dnz, *onz, *cellCIndices, *cellFIndices;
13457f5b169aSMatthew G. Knepley     PetscInt    locRows, rStart, rEnd, cell, r;
13467f5b169aSMatthew G. Knepley 
13477f5b169aSMatthew G. Knepley     ierr = MatGetLocalSize(In, &locRows, NULL);CHKERRQ(ierr);
13487f5b169aSMatthew G. Knepley     ierr = PetscLayoutCreate(PetscObjectComm((PetscObject) In), &rLayout);CHKERRQ(ierr);
13497f5b169aSMatthew G. Knepley     ierr = PetscLayoutSetLocalSize(rLayout, locRows);CHKERRQ(ierr);
13507f5b169aSMatthew G. Knepley     ierr = PetscLayoutSetBlockSize(rLayout, 1);CHKERRQ(ierr);
13517f5b169aSMatthew G. Knepley     ierr = PetscLayoutSetUp(rLayout);CHKERRQ(ierr);
13527f5b169aSMatthew G. Knepley     ierr = PetscLayoutGetRange(rLayout, &rStart, &rEnd);CHKERRQ(ierr);
13537f5b169aSMatthew G. Knepley     ierr = PetscLayoutDestroy(&rLayout);CHKERRQ(ierr);
13547f5b169aSMatthew G. Knepley     ierr = PetscCalloc4(locRows,&dnz,locRows,&onz,cTotDim,&cellCIndices,rTotDim,&cellFIndices);CHKERRQ(ierr);
13557f5b169aSMatthew G. Knepley     ierr = PetscHashJKCreate(&ht);CHKERRQ(ierr);
13567f5b169aSMatthew G. Knepley     for (cell = cStart; cell < cEnd; ++cell) {
13577f5b169aSMatthew G. Knepley       ierr = DMPlexMatGetClosureIndicesRefined(dmf, fsection, fglobalSection, dmc, csection, cglobalSection, cell, cellCIndices, cellFIndices);CHKERRQ(ierr);
13587f5b169aSMatthew G. Knepley       for (r = 0; r < rTotDim; ++r) {
13597f5b169aSMatthew G. Knepley         PetscHashJKKey  key;
13607f5b169aSMatthew G. Knepley         PetscHashJKIter missing, iter;
13617f5b169aSMatthew G. Knepley 
13627f5b169aSMatthew G. Knepley         key.j = cellFIndices[r];
13637f5b169aSMatthew G. Knepley         if (key.j < 0) continue;
13647f5b169aSMatthew G. Knepley         for (c = 0; c < cTotDim; ++c) {
13657f5b169aSMatthew G. Knepley           key.k = cellCIndices[c];
13667f5b169aSMatthew G. Knepley           if (key.k < 0) continue;
13677f5b169aSMatthew G. Knepley           ierr = PetscHashJKPut(ht, key, &missing, &iter);CHKERRQ(ierr);
13687f5b169aSMatthew G. Knepley           if (missing) {
13697f5b169aSMatthew G. Knepley             ierr = PetscHashJKSet(ht, iter, 1);CHKERRQ(ierr);
13707f5b169aSMatthew G. Knepley             if ((key.k >= rStart) && (key.k < rEnd)) ++dnz[key.j-rStart];
13717f5b169aSMatthew G. Knepley             else                                     ++onz[key.j-rStart];
13727f5b169aSMatthew G. Knepley           }
13737f5b169aSMatthew G. Knepley         }
13747f5b169aSMatthew G. Knepley       }
13757f5b169aSMatthew G. Knepley     }
13767f5b169aSMatthew G. Knepley     ierr = PetscHashJKDestroy(&ht);CHKERRQ(ierr);
13777f5b169aSMatthew G. Knepley     ierr = MatXAIJSetPreallocation(In, 1, dnz, onz, NULL, NULL);CHKERRQ(ierr);
13787f5b169aSMatthew G. Knepley     ierr = MatSetOption(In, MAT_NEW_NONZERO_ALLOCATION_ERR,PETSC_TRUE);CHKERRQ(ierr);
13797f5b169aSMatthew G. Knepley     ierr = PetscFree4(dnz,onz,cellCIndices,cellFIndices);CHKERRQ(ierr);
13807f5b169aSMatthew G. Knepley   }
13817f5b169aSMatthew G. Knepley   /* Fill matrix */
13827f5b169aSMatthew G. Knepley   ierr = MatZeroEntries(In);CHKERRQ(ierr);
1383d69c5d34SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
1384934789fcSMatthew G. Knepley     ierr = DMPlexMatSetClosureRefined(dmf, fsection, fglobalSection, dmc, csection, cglobalSection, In, c, elemMat, INSERT_VALUES);CHKERRQ(ierr);
1385d69c5d34SMatthew G. Knepley   }
1386549a8adaSMatthew G. Knepley   for (f = 0; f < Nf; ++f) {ierr = PetscFEDestroy(&feRef[f]);CHKERRQ(ierr);}
1387d69c5d34SMatthew G. Knepley   ierr = PetscFree(feRef);CHKERRQ(ierr);
1388549a8adaSMatthew G. Knepley   ierr = PetscFree(elemMat);CHKERRQ(ierr);
1389934789fcSMatthew G. Knepley   ierr = MatAssemblyBegin(In, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
1390934789fcSMatthew G. Knepley   ierr = MatAssemblyEnd(In, MAT_FINAL_ASSEMBLY);CHKERRQ(ierr);
1391d69c5d34SMatthew G. Knepley   if (mesh->printFEM) {
1392d69c5d34SMatthew G. Knepley     ierr = PetscPrintf(PETSC_COMM_WORLD, "%s:\n", name);CHKERRQ(ierr);
1393934789fcSMatthew G. Knepley     ierr = MatChop(In, 1.0e-10);CHKERRQ(ierr);
1394934789fcSMatthew G. Knepley     ierr = MatView(In, PETSC_VIEWER_STDOUT_WORLD);CHKERRQ(ierr);
1395d69c5d34SMatthew G. Knepley   }
1396d69c5d34SMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_InterpolatorFEM,dmc,dmf,0,0);CHKERRQ(ierr);
1397d69c5d34SMatthew G. Knepley   PetscFunctionReturn(0);
1398d69c5d34SMatthew G. Knepley }
13996c73c22cSMatthew G. Knepley 
14006c73c22cSMatthew G. Knepley #undef __FUNCT__
14017c927364SMatthew G. Knepley #define __FUNCT__ "DMPlexComputeInjectorFEM"
14027c927364SMatthew G. Knepley PetscErrorCode DMPlexComputeInjectorFEM(DM dmc, DM dmf, VecScatter *sc, void *user)
14037c927364SMatthew G. Knepley {
1404e9d4ef1bSMatthew G. Knepley   PetscDS        prob;
14057c927364SMatthew G. Knepley   PetscFE       *feRef;
14067c927364SMatthew G. Knepley   Vec            fv, cv;
14077c927364SMatthew G. Knepley   IS             fis, cis;
14087c927364SMatthew G. Knepley   PetscSection   fsection, fglobalSection, csection, cglobalSection;
14097c927364SMatthew G. Knepley   PetscInt      *cmap, *cellCIndices, *cellFIndices, *cindices, *findices;
14109ac3fadcSMatthew G. Knepley   PetscInt       cTotDim, fTotDim = 0, Nf, f, field, cStart, cEnd, cEndInterior, c, dim, d, startC, offsetC, offsetF, m;
14117c927364SMatthew G. Knepley   PetscErrorCode ierr;
14127c927364SMatthew G. Knepley 
14137c927364SMatthew G. Knepley   PetscFunctionBegin;
141475a69067SMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_InjectorFEM,dmc,dmf,0,0);CHKERRQ(ierr);
1415c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dmf, &dim);CHKERRQ(ierr);
14167c927364SMatthew G. Knepley   ierr = DMGetDefaultSection(dmf, &fsection);CHKERRQ(ierr);
14177c927364SMatthew G. Knepley   ierr = DMGetDefaultGlobalSection(dmf, &fglobalSection);CHKERRQ(ierr);
14187c927364SMatthew G. Knepley   ierr = DMGetDefaultSection(dmc, &csection);CHKERRQ(ierr);
14197c927364SMatthew G. Knepley   ierr = DMGetDefaultGlobalSection(dmc, &cglobalSection);CHKERRQ(ierr);
14207c927364SMatthew G. Knepley   ierr = PetscSectionGetNumFields(fsection, &Nf);CHKERRQ(ierr);
14217c927364SMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dmc, 0, &cStart, &cEnd);CHKERRQ(ierr);
14229ac3fadcSMatthew G. Knepley   ierr = DMPlexGetHybridBounds(dmc, &cEndInterior, NULL, NULL, NULL);CHKERRQ(ierr);
14239ac3fadcSMatthew G. Knepley   cEnd = cEndInterior < 0 ? cEnd : cEndInterior;
1424e9d4ef1bSMatthew G. Knepley   ierr = DMGetDS(dmc, &prob);CHKERRQ(ierr);
14257c927364SMatthew G. Knepley   ierr = PetscMalloc1(Nf,&feRef);CHKERRQ(ierr);
14267c927364SMatthew G. Knepley   for (f = 0; f < Nf; ++f) {
14277c927364SMatthew G. Knepley     PetscFE  fe;
14287c927364SMatthew G. Knepley     PetscInt fNb, Nc;
14297c927364SMatthew G. Knepley 
1430e9d4ef1bSMatthew G. Knepley     ierr = PetscDSGetDiscretization(prob, f, (PetscObject *) &fe);CHKERRQ(ierr);
14317c927364SMatthew G. Knepley     ierr = PetscFERefine(fe, &feRef[f]);CHKERRQ(ierr);
14327c927364SMatthew G. Knepley     ierr = PetscFEGetDimension(feRef[f], &fNb);CHKERRQ(ierr);
14337c927364SMatthew G. Knepley     ierr = PetscFEGetNumComponents(fe, &Nc);CHKERRQ(ierr);
14347c927364SMatthew G. Knepley     fTotDim += fNb*Nc;
14357c927364SMatthew G. Knepley   }
1436e9d4ef1bSMatthew G. Knepley   ierr = PetscDSGetTotalDimension(prob, &cTotDim);CHKERRQ(ierr);
14377c927364SMatthew G. Knepley   ierr = PetscMalloc1(cTotDim,&cmap);CHKERRQ(ierr);
14387c927364SMatthew G. Knepley   for (field = 0, offsetC = 0, offsetF = 0; field < Nf; ++field) {
14397c927364SMatthew G. Knepley     PetscFE        feC;
14407c927364SMatthew G. Knepley     PetscDualSpace QF, QC;
14417c927364SMatthew G. Knepley     PetscInt       NcF, NcC, fpdim, cpdim;
14427c927364SMatthew G. Knepley 
1443e9d4ef1bSMatthew G. Knepley     ierr = PetscDSGetDiscretization(prob, field, (PetscObject *) &feC);CHKERRQ(ierr);
14447c927364SMatthew G. Knepley     ierr = PetscFEGetNumComponents(feC, &NcC);CHKERRQ(ierr);
14457c927364SMatthew G. Knepley     ierr = PetscFEGetNumComponents(feRef[field], &NcF);CHKERRQ(ierr);
14467c927364SMatthew G. Knepley     if (NcF != NcC) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Number of components in fine space field %d does not match coarse field %d", NcF, NcC);
14477c927364SMatthew G. Knepley     ierr = PetscFEGetDualSpace(feRef[field], &QF);CHKERRQ(ierr);
14487c927364SMatthew G. Knepley     ierr = PetscDualSpaceGetDimension(QF, &fpdim);CHKERRQ(ierr);
14497c927364SMatthew G. Knepley     ierr = PetscFEGetDualSpace(feC, &QC);CHKERRQ(ierr);
14507c927364SMatthew G. Knepley     ierr = PetscDualSpaceGetDimension(QC, &cpdim);CHKERRQ(ierr);
14517c927364SMatthew G. Knepley     for (c = 0; c < cpdim; ++c) {
14527c927364SMatthew G. Knepley       PetscQuadrature  cfunc;
14537c927364SMatthew G. Knepley       const PetscReal *cqpoints;
14547c927364SMatthew G. Knepley       PetscInt         NpC;
14557c927364SMatthew G. Knepley 
14567c927364SMatthew G. Knepley       ierr = PetscDualSpaceGetFunctional(QC, c, &cfunc);CHKERRQ(ierr);
14577c927364SMatthew G. Knepley       ierr = PetscQuadratureGetData(cfunc, NULL, &NpC, &cqpoints, NULL);CHKERRQ(ierr);
14587c927364SMatthew G. Knepley       if (NpC != 1) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not know how to do injection for moments");
14597c927364SMatthew G. Knepley       for (f = 0; f < fpdim; ++f) {
14607c927364SMatthew G. Knepley         PetscQuadrature  ffunc;
14617c927364SMatthew G. Knepley         const PetscReal *fqpoints;
14627c927364SMatthew G. Knepley         PetscReal        sum = 0.0;
14637c927364SMatthew G. Knepley         PetscInt         NpF, comp;
14647c927364SMatthew G. Knepley 
14657c927364SMatthew G. Knepley         ierr = PetscDualSpaceGetFunctional(QF, f, &ffunc);CHKERRQ(ierr);
14667c927364SMatthew G. Knepley         ierr = PetscQuadratureGetData(ffunc, NULL, &NpF, &fqpoints, NULL);CHKERRQ(ierr);
14677c927364SMatthew G. Knepley         if (NpC != NpF) continue;
14687c927364SMatthew G. Knepley         for (d = 0; d < dim; ++d) sum += PetscAbsReal(cqpoints[d] - fqpoints[d]);
14697c927364SMatthew G. Knepley         if (sum > 1.0e-9) continue;
14707c927364SMatthew G. Knepley         for (comp = 0; comp < NcC; ++comp) {
14717c927364SMatthew G. Knepley           cmap[(offsetC+c)*NcC+comp] = (offsetF+f)*NcF+comp;
14727c927364SMatthew G. Knepley         }
14737c927364SMatthew G. Knepley         break;
14747c927364SMatthew G. Knepley       }
14757c927364SMatthew G. Knepley     }
14767c927364SMatthew G. Knepley     offsetC += cpdim*NcC;
14777c927364SMatthew G. Knepley     offsetF += fpdim*NcF;
14787c927364SMatthew G. Knepley   }
14797c927364SMatthew G. Knepley   for (f = 0; f < Nf; ++f) {ierr = PetscFEDestroy(&feRef[f]);CHKERRQ(ierr);}
14807c927364SMatthew G. Knepley   ierr = PetscFree(feRef);CHKERRQ(ierr);
14817c927364SMatthew G. Knepley 
14827c927364SMatthew G. Knepley   ierr = DMGetGlobalVector(dmf, &fv);CHKERRQ(ierr);
14837c927364SMatthew G. Knepley   ierr = DMGetGlobalVector(dmc, &cv);CHKERRQ(ierr);
14847c927364SMatthew G. Knepley   ierr = VecGetOwnershipRange(cv, &startC, NULL);CHKERRQ(ierr);
14857c927364SMatthew G. Knepley   ierr = PetscSectionGetConstrainedStorageSize(cglobalSection, &m);CHKERRQ(ierr);
14867c927364SMatthew G. Knepley   ierr = PetscMalloc2(cTotDim,&cellCIndices,fTotDim,&cellFIndices);CHKERRQ(ierr);
1487aa7da3c4SMatthew G. Knepley   ierr = PetscMalloc1(m,&cindices);CHKERRQ(ierr);
1488aa7da3c4SMatthew G. Knepley   ierr = PetscMalloc1(m,&findices);CHKERRQ(ierr);
14897c927364SMatthew G. Knepley   for (d = 0; d < m; ++d) cindices[d] = findices[d] = -1;
14907c927364SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
14917c927364SMatthew G. Knepley     ierr = DMPlexMatGetClosureIndicesRefined(dmf, fsection, fglobalSection, dmc, csection, cglobalSection, c, cellCIndices, cellFIndices);CHKERRQ(ierr);
14927c927364SMatthew G. Knepley     for (d = 0; d < cTotDim; ++d) {
14937c927364SMatthew G. Knepley       if (cellCIndices[d] < 0) continue;
14947c927364SMatthew G. Knepley       if ((findices[cellCIndices[d]-startC] >= 0) && (findices[cellCIndices[d]-startC] != cellFIndices[cmap[d]])) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Coarse dof %d maps to both %d and %d", cindices[cellCIndices[d]-startC], findices[cellCIndices[d]-startC], cellFIndices[cmap[d]]);
14957c927364SMatthew G. Knepley       cindices[cellCIndices[d]-startC] = cellCIndices[d];
14967c927364SMatthew G. Knepley       findices[cellCIndices[d]-startC] = cellFIndices[cmap[d]];
14977c927364SMatthew G. Knepley     }
14987c927364SMatthew G. Knepley   }
14997c927364SMatthew G. Knepley   ierr = PetscFree(cmap);CHKERRQ(ierr);
15007c927364SMatthew G. Knepley   ierr = PetscFree2(cellCIndices,cellFIndices);CHKERRQ(ierr);
15017c927364SMatthew G. Knepley 
15027c927364SMatthew G. Knepley   ierr = ISCreateGeneral(PETSC_COMM_SELF, m, cindices, PETSC_OWN_POINTER, &cis);CHKERRQ(ierr);
15037c927364SMatthew G. Knepley   ierr = ISCreateGeneral(PETSC_COMM_SELF, m, findices, PETSC_OWN_POINTER, &fis);CHKERRQ(ierr);
15047c927364SMatthew G. Knepley   ierr = VecScatterCreate(cv, cis, fv, fis, sc);CHKERRQ(ierr);
15057c927364SMatthew G. Knepley   ierr = ISDestroy(&cis);CHKERRQ(ierr);
15067c927364SMatthew G. Knepley   ierr = ISDestroy(&fis);CHKERRQ(ierr);
15077c927364SMatthew G. Knepley   ierr = DMRestoreGlobalVector(dmf, &fv);CHKERRQ(ierr);
15087c927364SMatthew G. Knepley   ierr = DMRestoreGlobalVector(dmc, &cv);CHKERRQ(ierr);
150975a69067SMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_InjectorFEM,dmc,dmf,0,0);CHKERRQ(ierr);
1510cb1e1211SMatthew G Knepley   PetscFunctionReturn(0);
1511cb1e1211SMatthew G Knepley }
1512