xref: /petsc/src/dm/impls/plex/plexinterpolate.c (revision c73d2cf668e6709a5c9d6d1d49ca0c86e2ced9fc)
1 #include <petsc/private/dmpleximpl.h>   /*I      "petscdmplex.h"   I*/
2 #include <petsc/private/hashmapi.h>
3 #include <petsc/private/hashmapij.h>
4 
5 /* HashIJKL */
6 
7 #include <petsc/private/hashmap.h>
8 
9 typedef struct _PetscHashIJKLKey { PetscInt i, j, k, l; } PetscHashIJKLKey;
10 
11 #define PetscHashIJKLKeyHash(key) \
12   PetscHashCombine(PetscHashCombine(PetscHashInt((key).i),PetscHashInt((key).j)), \
13                    PetscHashCombine(PetscHashInt((key).k),PetscHashInt((key).l)))
14 
15 #define PetscHashIJKLKeyEqual(k1,k2) \
16   (((k1).i==(k2).i) ? ((k1).j==(k2).j) ? ((k1).k==(k2).k) ? ((k1).l==(k2).l) : 0 : 0 : 0)
17 
18 PETSC_HASH_MAP(HashIJKL, PetscHashIJKLKey, PetscInt, PetscHashIJKLKeyHash, PetscHashIJKLKeyEqual, -1)
19 
20 
21 /*
22   DMPlexGetFaces_Internal - Gets groups of vertices that correspond to faces for the given cell
23   This assumes that the mesh is not interpolated from the depth of point p to the vertices
24 */
25 PetscErrorCode DMPlexGetFaces_Internal(DM dm, PetscInt dim, PetscInt p, PetscInt *numFaces, PetscInt *faceSize, const PetscInt *faces[])
26 {
27   const PetscInt *cone = NULL;
28   PetscInt        coneSize;
29   PetscErrorCode  ierr;
30 
31   PetscFunctionBegin;
32   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
33   ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
34   ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
35   ierr = DMPlexGetRawFaces_Internal(dm, dim, coneSize, cone, numFaces, faceSize, faces);CHKERRQ(ierr);
36   PetscFunctionReturn(0);
37 }
38 
39 /*
40   DMPlexRestoreFaces_Internal - Restores the array
41 */
42 PetscErrorCode DMPlexRestoreFaces_Internal(DM dm, PetscInt dim, PetscInt p, PetscInt *numFaces, PetscInt *faceSize, const PetscInt *faces[])
43 {
44   PetscErrorCode  ierr;
45 
46   PetscFunctionBegin;
47   if (faces) { ierr = DMRestoreWorkArray(dm, 0, MPIU_INT, (void *) faces);CHKERRQ(ierr); }
48   PetscFunctionReturn(0);
49 }
50 
51 /*
52   DMPlexGetRawFaces_Internal - Gets groups of vertices that correspond to faces for the given cone
53 */
54 PetscErrorCode DMPlexGetRawFaces_Internal(DM dm, PetscInt dim, PetscInt coneSize, const PetscInt cone[], PetscInt *numFaces, PetscInt *faceSize, const PetscInt *faces[])
55 {
56   PetscInt       *facesTmp;
57   PetscInt        maxConeSize, maxSupportSize;
58   PetscErrorCode  ierr;
59 
60   PetscFunctionBegin;
61   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
62   if (faces && coneSize) PetscValidIntPointer(cone,4);
63   ierr = DMPlexGetMaxSizes(dm, &maxConeSize, &maxSupportSize);CHKERRQ(ierr);
64   if (faces) {ierr = DMGetWorkArray(dm, PetscSqr(PetscMax(maxConeSize, maxSupportSize)), MPIU_INT, &facesTmp);CHKERRQ(ierr);}
65   switch (dim) {
66   case 1:
67     switch (coneSize) {
68     case 2:
69       if (faces) {
70         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
71         *faces = facesTmp;
72       }
73       if (numFaces) *numFaces = 2;
74       if (faceSize) *faceSize = 1;
75       break;
76     default:
77       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
78     }
79     break;
80   case 2:
81     switch (coneSize) {
82     case 3:
83       if (faces) {
84         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
85         facesTmp[2] = cone[1]; facesTmp[3] = cone[2];
86         facesTmp[4] = cone[2]; facesTmp[5] = cone[0];
87         *faces = facesTmp;
88       }
89       if (numFaces) *numFaces = 3;
90       if (faceSize) *faceSize = 2;
91       break;
92     case 4:
93       /* Vertices follow right hand rule */
94       if (faces) {
95         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
96         facesTmp[2] = cone[1]; facesTmp[3] = cone[2];
97         facesTmp[4] = cone[2]; facesTmp[5] = cone[3];
98         facesTmp[6] = cone[3]; facesTmp[7] = cone[0];
99         *faces = facesTmp;
100       }
101       if (numFaces) *numFaces = 4;
102       if (faceSize) *faceSize = 2;
103       break;
104     default:
105       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
106     }
107     break;
108   case 3:
109     switch (coneSize) {
110     case 3:
111       if (faces) {
112         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
113         facesTmp[2] = cone[1]; facesTmp[3] = cone[2];
114         facesTmp[4] = cone[2]; facesTmp[5] = cone[0];
115         *faces = facesTmp;
116       }
117       if (numFaces) *numFaces = 3;
118       if (faceSize) *faceSize = 2;
119       break;
120     case 4:
121       /* Vertices of first face follow right hand rule and normal points away from last vertex */
122       if (faces) {
123         facesTmp[0] = cone[0]; facesTmp[1]  = cone[1]; facesTmp[2]  = cone[2];
124         facesTmp[3] = cone[0]; facesTmp[4]  = cone[3]; facesTmp[5]  = cone[1];
125         facesTmp[6] = cone[0]; facesTmp[7]  = cone[2]; facesTmp[8]  = cone[3];
126         facesTmp[9] = cone[2]; facesTmp[10] = cone[1]; facesTmp[11] = cone[3];
127         *faces = facesTmp;
128       }
129       if (numFaces) *numFaces = 4;
130       if (faceSize) *faceSize = 3;
131       break;
132     case 8:
133       /*  7--------6
134          /|       /|
135         / |      / |
136        4--------5  |
137        |  |     |  |
138        |  |     |  |
139        |  1--------2
140        | /      | /
141        |/       |/
142        0--------3
143        */
144       if (faces) {
145         facesTmp[0]  = cone[0]; facesTmp[1]  = cone[1]; facesTmp[2]  = cone[2]; facesTmp[3]  = cone[3]; /* Bottom */
146         facesTmp[4]  = cone[4]; facesTmp[5]  = cone[5]; facesTmp[6]  = cone[6]; facesTmp[7]  = cone[7]; /* Top */
147         facesTmp[8]  = cone[0]; facesTmp[9]  = cone[3]; facesTmp[10] = cone[5]; facesTmp[11] = cone[4]; /* Front */
148         facesTmp[12] = cone[2]; facesTmp[13] = cone[1]; facesTmp[14] = cone[7]; facesTmp[15] = cone[6]; /* Back */
149         facesTmp[16] = cone[3]; facesTmp[17] = cone[2]; facesTmp[18] = cone[6]; facesTmp[19] = cone[5]; /* Right */
150         facesTmp[20] = cone[0]; facesTmp[21] = cone[4]; facesTmp[22] = cone[7]; facesTmp[23] = cone[1]; /* Left */
151         *faces = facesTmp;
152       }
153       if (numFaces) *numFaces = 6;
154       if (faceSize) *faceSize = 4;
155       break;
156     default:
157       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
158     }
159     break;
160   default:
161     SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Dimension %D not supported", dim);
162   }
163   PetscFunctionReturn(0);
164 }
165 
166 /*
167   DMPlexGetRawFacesHybrid_Internal - Gets groups of vertices that correspond to faces for the given cone using hybrid ordering (prisms)
168 */
169 static PetscErrorCode DMPlexGetRawFacesHybrid_Internal(DM dm, PetscInt dim, PetscInt coneSize, const PetscInt cone[], PetscInt *numFaces, PetscInt *numFacesNotH, PetscInt *faceSize, const PetscInt *faces[])
170 {
171   PetscInt       *facesTmp;
172   PetscInt        maxConeSize, maxSupportSize;
173   PetscErrorCode  ierr;
174 
175   PetscFunctionBegin;
176   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
177   if (faces && coneSize) PetscValidIntPointer(cone,4);
178   ierr = DMPlexGetMaxSizes(dm, &maxConeSize, &maxSupportSize);CHKERRQ(ierr);
179   if (faces) {ierr = DMGetWorkArray(dm, PetscSqr(PetscMax(maxConeSize, maxSupportSize)), MPIU_INT, &facesTmp);CHKERRQ(ierr);}
180   switch (dim) {
181   case 1:
182     switch (coneSize) {
183     case 2:
184       if (faces) {
185         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
186         *faces = facesTmp;
187       }
188       if (numFaces)     *numFaces = 2;
189       if (numFacesNotH) *numFacesNotH = 2;
190       if (faceSize)     *faceSize = 1;
191       break;
192     default:
193       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
194     }
195     break;
196   case 2:
197     switch (coneSize) {
198     case 4:
199       if (faces) {
200         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
201         facesTmp[2] = cone[2]; facesTmp[3] = cone[3];
202         facesTmp[4] = cone[0]; facesTmp[5] = cone[2];
203         facesTmp[6] = cone[1]; facesTmp[7] = cone[3];
204         *faces = facesTmp;
205       }
206       if (numFaces)     *numFaces = 4;
207       if (numFacesNotH) *numFacesNotH = 2;
208       if (faceSize)     *faceSize = 2;
209       break;
210     default:
211       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
212     }
213     break;
214   case 3:
215     switch (coneSize) {
216     case 6: /* triangular prism */
217       if (faces) {
218         facesTmp[0]  = cone[0]; facesTmp[1]  = cone[1]; facesTmp[2]  = cone[2]; facesTmp[3]  = -1;      /* Bottom */
219         facesTmp[4]  = cone[3]; facesTmp[5]  = cone[4]; facesTmp[6]  = cone[5]; facesTmp[7]  = -1;      /* Top */
220         facesTmp[8]  = cone[0]; facesTmp[9]  = cone[1]; facesTmp[10] = cone[3]; facesTmp[11] = cone[4]; /* Back left */
221         facesTmp[12] = cone[1]; facesTmp[13] = cone[2]; facesTmp[14] = cone[4]; facesTmp[15] = cone[5]; /* Back right */
222         facesTmp[16] = cone[2]; facesTmp[17] = cone[0]; facesTmp[18] = cone[5]; facesTmp[19] = cone[3]; /* Front */
223         *faces = facesTmp;
224       }
225       if (numFaces)     *numFaces = 5;
226       if (numFacesNotH) *numFacesNotH = 2;
227       if (faceSize)     *faceSize = -4;
228       break;
229     default:
230       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
231     }
232     break;
233   default:
234     SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Dimension %D not supported", dim);
235   }
236   PetscFunctionReturn(0);
237 }
238 
239 static PetscErrorCode DMPlexRestoreRawFacesHybrid_Internal(DM dm, PetscInt dim, PetscInt coneSize, const PetscInt cone[], PetscInt *numFaces, PetscInt *numFacesNotH, PetscInt *faceSize, const PetscInt *faces[])
240 {
241   PetscErrorCode  ierr;
242 
243   PetscFunctionBegin;
244   if (faces) { ierr = DMRestoreWorkArray(dm, 0, MPIU_INT, (void *) faces);CHKERRQ(ierr); }
245   PetscFunctionReturn(0);
246 }
247 
248 static PetscErrorCode DMPlexGetFacesHybrid_Internal(DM dm, PetscInt dim, PetscInt p, PetscInt *numFaces, PetscInt *numFacesNotH, PetscInt *faceSize, const PetscInt *faces[])
249 {
250   const PetscInt *cone = NULL;
251   PetscInt        coneSize;
252   PetscErrorCode  ierr;
253 
254   PetscFunctionBegin;
255   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
256   ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
257   ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
258   ierr = DMPlexGetRawFacesHybrid_Internal(dm, dim, coneSize, cone, numFaces, numFacesNotH, faceSize, faces);CHKERRQ(ierr);
259   PetscFunctionReturn(0);
260 }
261 
262 /* This interpolates faces for cells at some stratum */
263 static PetscErrorCode DMPlexInterpolateFaces_Internal(DM dm, PetscInt cellDepth, DM idm)
264 {
265   DMLabel        subpointMap;
266   PetscHashIJKL  faceTable;
267   PetscInt      *pStart, *pEnd;
268   PetscInt       cellDim, depth, faceDepth = cellDepth, numPoints = 0, faceSizeAll = 0, face, c, d;
269   PetscInt       coneSizeH = 0, faceSizeAllH = 0, faceSizeAllT = 0, numCellFacesH = 0, faceT = 0, faceH, pMax = -1, dim, outerloop;
270   PetscInt       cMax, fMax, eMax, vMax;
271   PetscErrorCode ierr;
272 
273   PetscFunctionBegin;
274   ierr = DMGetDimension(dm, &cellDim);CHKERRQ(ierr);
275   /* HACK: I need a better way to determine face dimension, or an alternative to GetFaces() */
276   ierr = DMPlexGetSubpointMap(dm, &subpointMap);CHKERRQ(ierr);
277   if (subpointMap) ++cellDim;
278   ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr);
279   ++depth;
280   ++cellDepth;
281   cellDim -= depth - cellDepth;
282   ierr = PetscMalloc2(depth+1,&pStart,depth+1,&pEnd);CHKERRQ(ierr);
283   for (d = depth-1; d >= faceDepth; --d) {
284     ierr = DMPlexGetDepthStratum(dm, d, &pStart[d+1], &pEnd[d+1]);CHKERRQ(ierr);
285   }
286   ierr = DMPlexGetDepthStratum(dm, -1, NULL, &pStart[faceDepth]);CHKERRQ(ierr);
287   pEnd[faceDepth] = pStart[faceDepth];
288   for (d = faceDepth-1; d >= 0; --d) {
289     ierr = DMPlexGetDepthStratum(dm, d, &pStart[d], &pEnd[d]);CHKERRQ(ierr);
290   }
291   cMax = fMax = eMax = vMax = PETSC_DETERMINE;
292   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
293   if (cellDim == dim) {
294     ierr = DMPlexGetHybridBounds(dm, &cMax, NULL, NULL, NULL);CHKERRQ(ierr);
295     pMax = cMax;
296   } else if (cellDim == dim -1) {
297     ierr = DMPlexGetHybridBounds(dm, &cMax, &fMax, NULL, NULL);CHKERRQ(ierr);
298     pMax = fMax;
299   }
300   pMax = pMax < 0 ? pEnd[cellDepth] : pMax;
301   if (pMax < pEnd[cellDepth]) {
302     const PetscInt *cellFaces, *cone;
303     PetscInt        numCellFacesT, faceSize, cf;
304 
305     /* First get normal cell face size (we now allow hybrid cells to meet normal cells on either hybrid or normal faces */
306     if (pStart[cellDepth] < pMax) {ierr = DMPlexGetFaces_Internal(dm, cellDim, pStart[cellDepth], NULL, &faceSizeAll, NULL);CHKERRQ(ierr);}
307 
308     ierr = DMPlexGetConeSize(dm, pMax, &coneSizeH);CHKERRQ(ierr);
309     ierr = DMPlexGetCone(dm, pMax, &cone);CHKERRQ(ierr);
310     ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSizeH, cone, &numCellFacesH, &numCellFacesT, &faceSize, &cellFaces);CHKERRQ(ierr);
311     if (faceSize < 0) {
312       PetscInt *sizes, minv, maxv;
313 
314       /* count vertices of hybrid and non-hybrid faces */
315       ierr = PetscCalloc1(numCellFacesH, &sizes);CHKERRQ(ierr);
316       for (cf = 0; cf < numCellFacesT; ++cf) { /* These are the non-hybrid faces */
317         const PetscInt *cellFace = &cellFaces[-cf*faceSize];
318         PetscInt       f;
319 
320         for (f = 0; f < -faceSize; ++f) sizes[cf] += (cellFace[f] >= 0 ? 1 : 0);
321       }
322       ierr = PetscSortInt(numCellFacesT, sizes);CHKERRQ(ierr);
323       minv = sizes[0];
324       maxv = sizes[PetscMax(numCellFacesT-1, 0)];
325       if (minv != maxv) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Different number of vertices for non-hybrid face %D != %D", minv, maxv);
326       faceSizeAllT = minv;
327       ierr = PetscArrayzero(sizes, numCellFacesH);CHKERRQ(ierr);
328       for (cf = numCellFacesT; cf < numCellFacesH; ++cf) { /* These are the hybrid faces */
329         const PetscInt *cellFace = &cellFaces[-cf*faceSize];
330         PetscInt       f;
331 
332         for (f = 0; f < -faceSize; ++f) sizes[cf-numCellFacesT] += (cellFace[f] >= 0 ? 1 : 0);
333       }
334       ierr = PetscSortInt(numCellFacesH - numCellFacesT, sizes);CHKERRQ(ierr);
335       minv = sizes[0];
336       maxv = sizes[PetscMax(numCellFacesH - numCellFacesT-1, 0)];
337       ierr = PetscFree(sizes);CHKERRQ(ierr);
338       if (minv != maxv) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Different number of vertices for hybrid face %D != %D", minv, maxv);
339       faceSizeAllH = minv;
340       if (!faceSizeAll) faceSizeAll = faceSizeAllT;
341     } else { /* the size of the faces in hybrid cells is the same */
342       faceSizeAll = faceSizeAllH = faceSizeAllT = faceSize;
343     }
344     ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSizeH, cone, &numCellFacesH, &numCellFacesT, &faceSize, &cellFaces);CHKERRQ(ierr);
345   } else if (pEnd[cellDepth] > pStart[cellDepth]) {
346     ierr = DMPlexGetFaces_Internal(dm, cellDim, pStart[cellDepth], NULL, &faceSizeAll, NULL);CHKERRQ(ierr);
347     faceSizeAllH = faceSizeAllT = faceSizeAll;
348   }
349   if (faceSizeAll > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSizeAll);
350 
351   /* With hybrid grids, we first iterate on hybrid cells and start numbering the non-hybrid faces
352      Then, faces for non-hybrid cells are numbered.
353      This is to guarantee consistent orientations (all 0) of all the points in the cone of the hybrid cells */
354   ierr = PetscHashIJKLCreate(&faceTable);CHKERRQ(ierr);
355   for (outerloop = 0, face = pStart[faceDepth]; outerloop < 2; outerloop++) {
356     PetscInt start, end;
357 
358     start = outerloop == 0 ? pMax : pStart[cellDepth];
359     end = outerloop == 0 ? pEnd[cellDepth] : pMax;
360     for (c = start; c < end; ++c) {
361       const PetscInt *cellFaces;
362       PetscInt        numCellFaces, faceSize, faceSizeInc, faceSizeCheck, cf;
363 
364       if (c < pMax) {
365         ierr = DMPlexGetFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr);
366         if (faceSize != faceSizeAll) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent face for cell %D of size %D != %D", c, faceSize, faceSizeAll);
367         faceSizeCheck = faceSizeAll;
368       } else { /* Hybrid cell */
369         const PetscInt *cone;
370         PetscInt        numCellFacesN, coneSize;
371 
372         ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr);
373         if (coneSize != coneSizeH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid coneSize %D != %D", coneSize, coneSizeH);
374         ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr);
375         ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
376         if (numCellFaces != numCellFacesH) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected numCellFaces %D != %D for hybrid cell %D", numCellFaces, numCellFacesH, c);
377         faceSize = PetscMax(faceSize, -faceSize);
378         if (faceSize > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSize);
379         numCellFaces = numCellFacesN; /* process only non-hybrid faces */
380         faceSizeCheck = faceSizeAllT;
381       }
382       faceSizeInc = faceSize;
383       for (cf = 0; cf < numCellFaces; ++cf) {
384         const PetscInt   *cellFace = &cellFaces[cf*faceSizeInc];
385         PetscInt          faceSizeH = faceSize;
386         PetscHashIJKLKey  key;
387         PetscHashIter     iter;
388         PetscBool         missing;
389 
390         if (faceSizeInc == 2) {
391           key.i = PetscMin(cellFace[0], cellFace[1]);
392           key.j = PetscMax(cellFace[0], cellFace[1]);
393           key.k = PETSC_MAX_INT;
394           key.l = PETSC_MAX_INT;
395         } else {
396           key.i = cellFace[0];
397           key.j = cellFace[1];
398           key.k = cellFace[2];
399           key.l = faceSize > 3 ? (cellFace[3] < 0 ? faceSizeH = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT;
400           ierr  = PetscSortInt(faceSize, (PetscInt *) &key);CHKERRQ(ierr);
401         }
402         /* this check is redundant for non-hybrid meshes */
403         if (faceSizeH != faceSizeCheck) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected number of vertices for face %D of point %D -> %D != %D", cf, c, faceSizeH, faceSizeCheck);
404         ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr);
405         if (missing) {
406           ierr = PetscHashIJKLIterSet(faceTable, iter, face++);CHKERRQ(ierr);
407           if (c >= pMax) ++faceT;
408         }
409       }
410       if (c < pMax) {
411         ierr = DMPlexRestoreFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr);
412       } else {
413         ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSizeH, NULL, NULL, NULL, NULL, &cellFaces);CHKERRQ(ierr);
414       }
415     }
416   }
417   pEnd[faceDepth] = face;
418 
419   /* Second pass for hybrid meshes: number hybrid faces */
420   for (c = pMax; c < pEnd[cellDepth]; ++c) {
421     const PetscInt *cellFaces, *cone;
422     PetscInt        numCellFaces, numCellFacesN, faceSize, cf, coneSize;
423 
424     ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr);
425     ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr);
426     ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
427     if (numCellFaces != numCellFacesH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid numCellFaces %D != %D", numCellFaces, numCellFacesH);
428     faceSize = PetscMax(faceSize, -faceSize);
429     for (cf = numCellFacesN; cf < numCellFaces; ++cf) { /* These are the hybrid faces */
430       const PetscInt   *cellFace = &cellFaces[cf*faceSize];
431       PetscHashIJKLKey  key;
432       PetscHashIter     iter;
433       PetscBool         missing;
434       PetscInt          faceSizeH = faceSize;
435 
436       if (faceSize == 2) {
437         key.i = PetscMin(cellFace[0], cellFace[1]);
438         key.j = PetscMax(cellFace[0], cellFace[1]);
439         key.k = PETSC_MAX_INT;
440         key.l = PETSC_MAX_INT;
441       } else {
442         key.i = cellFace[0];
443         key.j = cellFace[1];
444         key.k = cellFace[2];
445         key.l = faceSize > 3 ? (cellFace[3] < 0 ? faceSizeH = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT;
446         ierr  = PetscSortInt(faceSize, (PetscInt *) &key);CHKERRQ(ierr);
447       }
448       if (faceSizeH != faceSizeAllH) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected number of vertices for hybrid face %D of point %D -> %D != %D", cf, c, faceSizeH, faceSizeAllH);
449       ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr);
450       if (missing) {ierr = PetscHashIJKLIterSet(faceTable, iter, face++);CHKERRQ(ierr);}
451     }
452     ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
453   }
454   faceH = face - pEnd[faceDepth];
455   if (faceH) {
456     if (fMax == PETSC_DETERMINE) fMax = pEnd[faceDepth];
457     else if (eMax == PETSC_DETERMINE) eMax = pEnd[faceDepth];
458     else SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Number of unassigned hybrid facets %D for cellDim %D and dimension %D", faceH, cellDim, dim);
459   }
460   pEnd[faceDepth] = face;
461   ierr = PetscHashIJKLDestroy(&faceTable);CHKERRQ(ierr);
462   /* Count new points */
463   for (d = 0; d <= depth; ++d) {
464     numPoints += pEnd[d]-pStart[d];
465   }
466   ierr = DMPlexSetChart(idm, 0, numPoints);CHKERRQ(ierr);
467   /* Set cone sizes */
468   for (d = 0; d <= depth; ++d) {
469     PetscInt coneSize, p;
470 
471     if (d == faceDepth) {
472       /* Now we have two cases: */
473       if (faceSizeAll == faceSizeAllT) {
474         /* I see no way to do this if we admit faces of different shapes */
475         for (p = pStart[d]; p < pEnd[d]-faceH; ++p) {
476           ierr = DMPlexSetConeSize(idm, p, faceSizeAll);CHKERRQ(ierr);
477         }
478         for (p = pEnd[d]-faceH; p < pEnd[d]; ++p) {
479           ierr = DMPlexSetConeSize(idm, p, faceSizeAllH);CHKERRQ(ierr);
480         }
481       } else if (faceSizeAll == faceSizeAllH) {
482         for (p = pStart[d]; p < pStart[d]+faceT; ++p) {
483           ierr = DMPlexSetConeSize(idm, p, faceSizeAllT);CHKERRQ(ierr);
484         }
485         for (p = pStart[d]+faceT; p < pEnd[d]-faceH; ++p) {
486           ierr = DMPlexSetConeSize(idm, p, faceSizeAll);CHKERRQ(ierr);
487         }
488         for (p = pEnd[d]-faceH; p < pEnd[d]; ++p) {
489           ierr = DMPlexSetConeSize(idm, p, faceSizeAllH);CHKERRQ(ierr);
490         }
491       } else SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent faces sizes N: %D T: %D H: %D", faceSizeAll, faceSizeAllT, faceSizeAllH);
492     } else if (d == cellDepth) {
493       for (p = pStart[d]; p < pEnd[d]; ++p) {
494         /* Number of cell faces may be different from number of cell vertices*/
495         if (p < pMax) {
496           ierr = DMPlexGetFaces_Internal(dm, cellDim, p, &coneSize, NULL, NULL);CHKERRQ(ierr);
497         } else {
498           ierr = DMPlexGetFacesHybrid_Internal(dm, cellDim, p, &coneSize, NULL, NULL, NULL);CHKERRQ(ierr);
499         }
500         ierr = DMPlexSetConeSize(idm, p, coneSize);CHKERRQ(ierr);
501       }
502     } else {
503       for (p = pStart[d]; p < pEnd[d]; ++p) {
504         ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
505         ierr = DMPlexSetConeSize(idm, p, coneSize);CHKERRQ(ierr);
506       }
507     }
508   }
509   ierr = DMSetUp(idm);CHKERRQ(ierr);
510   /* Get face cones from subsets of cell vertices */
511   if (faceSizeAll > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSizeAll);
512   ierr = PetscHashIJKLCreate(&faceTable);CHKERRQ(ierr);
513   for (d = depth; d > cellDepth; --d) {
514     const PetscInt *cone;
515     PetscInt        p;
516 
517     for (p = pStart[d]; p < pEnd[d]; ++p) {
518       ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
519       ierr = DMPlexSetCone(idm, p, cone);CHKERRQ(ierr);
520       ierr = DMPlexGetConeOrientation(dm, p, &cone);CHKERRQ(ierr);
521       ierr = DMPlexSetConeOrientation(idm, p, cone);CHKERRQ(ierr);
522     }
523   }
524   for (outerloop = 0, face = pStart[faceDepth]; outerloop < 2; outerloop++) {
525     PetscInt start, end;
526 
527     start = outerloop == 0 ? pMax : pStart[cellDepth];
528     end = outerloop == 0 ? pEnd[cellDepth] : pMax;
529     for (c = start; c < end; ++c) {
530       const PetscInt *cellFaces;
531       PetscInt        numCellFaces, faceSize, faceSizeInc, cf;
532 
533       if (c < pMax) {
534         ierr = DMPlexGetFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr);
535         if (faceSize != faceSizeAll) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent face for cell %D of size %D != %D", c, faceSize, faceSizeAll);
536       } else {
537         const PetscInt *cone;
538         PetscInt        numCellFacesN, coneSize;
539 
540         ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr);
541         if (coneSize != coneSizeH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid coneSize %D != %D", coneSize, coneSizeH);
542         ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr);
543         ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
544         if (numCellFaces != numCellFacesH) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected numCellFaces %D != %D for hybrid cell %D", numCellFaces, numCellFacesH, c);
545         faceSize = PetscMax(faceSize, -faceSize);
546         if (faceSize > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSize);
547         numCellFaces = numCellFacesN; /* process only non-hybrid faces */
548       }
549       faceSizeInc = faceSize;
550       for (cf = 0; cf < numCellFaces; ++cf) {
551         const PetscInt  *cellFace = &cellFaces[cf*faceSizeInc];
552         PetscHashIJKLKey key;
553         PetscHashIter    iter;
554         PetscBool        missing;
555 
556         if (faceSizeInc == 2) {
557           key.i = PetscMin(cellFace[0], cellFace[1]);
558           key.j = PetscMax(cellFace[0], cellFace[1]);
559           key.k = PETSC_MAX_INT;
560           key.l = PETSC_MAX_INT;
561         } else {
562           key.i = cellFace[0];
563           key.j = cellFace[1];
564           key.k = cellFace[2];
565           key.l = faceSizeInc > 3 ? (cellFace[3] < 0 ? faceSize = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT;
566           ierr  = PetscSortInt(faceSizeInc, (PetscInt *) &key);CHKERRQ(ierr);
567         }
568         ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr);
569         if (missing) {
570           ierr = DMPlexSetCone(idm, face, cellFace);CHKERRQ(ierr);
571           ierr = PetscHashIJKLIterSet(faceTable, iter, face);CHKERRQ(ierr);
572           ierr = DMPlexInsertCone(idm, c, cf, face++);CHKERRQ(ierr);
573         } else {
574           const PetscInt *cone;
575           PetscInt        coneSize, ornt, i, j, f;
576 
577           ierr = PetscHashIJKLIterGet(faceTable, iter, &f);CHKERRQ(ierr);
578           ierr = DMPlexInsertCone(idm, c, cf, f);CHKERRQ(ierr);
579           /* Orient face: Do not allow reverse orientation at the first vertex */
580           ierr = DMPlexGetConeSize(idm, f, &coneSize);CHKERRQ(ierr);
581           ierr = DMPlexGetCone(idm, f, &cone);CHKERRQ(ierr);
582           if (coneSize != faceSize) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid number of face vertices %D for face %D should be %D", coneSize, f, faceSize);
583           /* - First find the initial vertex */
584           for (i = 0; i < faceSize; ++i) if (cellFace[0] == cone[i]) break;
585           /* - Try forward comparison */
586           for (j = 0; j < faceSize; ++j) if (cellFace[j] != cone[(i+j)%faceSize]) break;
587           if (j == faceSize) {
588             if ((faceSize == 2) && (i == 1)) ornt = -2;
589             else                             ornt = i;
590           } else {
591             /* - Try backward comparison */
592             for (j = 0; j < faceSize; ++j) if (cellFace[j] != cone[(i+faceSize-j)%faceSize]) break;
593             if (j == faceSize) {
594               if (i == 0) ornt = -faceSize;
595               else        ornt = -i;
596             } else SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not determine orientation of face %D in cell %D", f, c);
597           }
598           ierr = DMPlexInsertConeOrientation(idm, c, cf, ornt);CHKERRQ(ierr);
599         }
600       }
601       if (c < pMax) {
602         ierr = DMPlexRestoreFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr);
603       } else {
604         ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSizeH, NULL, NULL, NULL, NULL, &cellFaces);CHKERRQ(ierr);
605       }
606     }
607   }
608   /* Second pass for hybrid meshes: orient hybrid faces */
609   for (c = pMax; c < pEnd[cellDepth]; ++c) {
610     const PetscInt *cellFaces, *cone;
611     PetscInt        numCellFaces, numCellFacesN, faceSize, cf, coneSize;
612 
613     ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr);
614     ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr);
615     ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
616     if (numCellFaces != numCellFacesH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid numCellFaces %D != %D", numCellFaces, numCellFacesH);
617     faceSize = PetscMax(faceSize, -faceSize);
618     for (cf = numCellFacesN; cf < numCellFaces; ++cf) { /* These are the hybrid faces */
619       const PetscInt   *cellFace = &cellFaces[cf*faceSize];
620       PetscHashIJKLKey key;
621       PetscHashIter    iter;
622       PetscBool        missing;
623       PetscInt         faceSizeH = faceSize;
624 
625       if (faceSize == 2) {
626         key.i = PetscMin(cellFace[0], cellFace[1]);
627         key.j = PetscMax(cellFace[0], cellFace[1]);
628         key.k = PETSC_MAX_INT;
629         key.l = PETSC_MAX_INT;
630       } else {
631         key.i = cellFace[0];
632         key.j = cellFace[1];
633         key.k = cellFace[2];
634         key.l = faceSize > 3 ? (cellFace[3] < 0 ? faceSizeH = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT;
635         ierr  = PetscSortInt(faceSize, (PetscInt *) &key);CHKERRQ(ierr);
636       }
637       if (faceSizeH != faceSizeAllH) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected number of vertices for hybrid face %D of point %D -> %D != %D", cf, c, faceSizeH, faceSizeAllH);
638       ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr);
639       if (missing) {
640         ierr = DMPlexSetCone(idm, face, cellFace);CHKERRQ(ierr);
641         ierr = PetscHashIJKLIterSet(faceTable, iter, face);CHKERRQ(ierr);
642         ierr = DMPlexInsertCone(idm, c, cf, face++);CHKERRQ(ierr);
643       } else {
644         PetscInt        fv[4] = {0, 1, 2, 3};
645         const PetscInt *cone;
646         PetscInt        coneSize, ornt, i, j, f;
647         PetscBool       q2h = PETSC_FALSE;
648 
649         ierr = PetscHashIJKLIterGet(faceTable, iter, &f);CHKERRQ(ierr);
650         ierr = DMPlexInsertCone(idm, c, cf, f);CHKERRQ(ierr);
651         /* Orient face: Do not allow reverse orientation at the first vertex */
652         ierr = DMPlexGetConeSize(idm, f, &coneSize);CHKERRQ(ierr);
653         ierr = DMPlexGetCone(idm, f, &cone);CHKERRQ(ierr);
654         if (coneSize != faceSizeH) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid number of face vertices %D for face %D should be %D", coneSize, f, faceSizeH);
655         /* Hybrid faces are stored as tensor products of edges, so to compare them to normal faces, we have to flip */
656         if (faceSize == 4 && c >= pMax && faceSizeAll != faceSizeAllT && f < pEnd[faceDepth] - faceH) {q2h = PETSC_TRUE; fv[2] = 3; fv[3] = 2;}
657         /* - First find the initial vertex */
658         for (i = 0; i < faceSizeH; ++i) if (cellFace[fv[0]] == cone[i]) break;
659         if (q2h) { /* Matt's case: hybrid faces meeting with non-hybrid faces. This is a case that is not (and will not be) supported in general by the refinements */
660           /* - Try forward comparison */
661           for (j = 0; j < faceSizeH; ++j) if (cellFace[fv[j]] != cone[(i+j)%faceSizeH]) break;
662           if (j == faceSizeH) {
663             if ((faceSizeH == 2) && (i == 1)) ornt = -2;
664             else                              ornt = i;
665           } else {
666             /* - Try backward comparison */
667             for (j = 0; j < faceSizeH; ++j) if (cellFace[fv[j]] != cone[(i+faceSizeH-j)%faceSizeH]) break;
668             if (j == faceSizeH) {
669               if (i == 0) ornt = -faceSizeH;
670               else        ornt = -i;
671             } else SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not determine orientation of face %D in cell %D", f, c);
672           }
673         } else {
674           /* when matching hybrid faces in 3D, only few cases are possible.
675              Face traversal however can no longer follow the usual convention, this seems a serious issue to me */
676           PetscInt tquad_map[4][4] = { {PETSC_MIN_INT,            0,PETSC_MIN_INT,PETSC_MIN_INT},
677                                        {           -1,PETSC_MIN_INT,PETSC_MIN_INT,PETSC_MIN_INT},
678                                        {PETSC_MIN_INT,PETSC_MIN_INT,PETSC_MIN_INT,            1},
679                                        {PETSC_MIN_INT,PETSC_MIN_INT,           -2,PETSC_MIN_INT} };
680           PetscInt i2;
681 
682           /* find the second vertex */
683           for (i2 = 0; i2 < faceSizeH; ++i2) if (cellFace[fv[1]] == cone[i2]) break;
684           switch (faceSizeH) {
685           case 2:
686             ornt = i ? -2 : 0;
687             break;
688           case 4:
689             ornt = tquad_map[i][i2];
690             break;
691           default:
692             SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Unhandled face size %D for face %D in cell %D", faceSizeH, f, c);
693 
694           }
695         }
696         ierr = DMPlexInsertConeOrientation(idm, c, cf, ornt);CHKERRQ(ierr);
697       }
698     }
699     ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
700   }
701   if (face != pEnd[faceDepth]) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Invalid number of faces %D should be %D", face-pStart[faceDepth], pEnd[faceDepth]-pStart[faceDepth]);
702   ierr = PetscFree2(pStart,pEnd);CHKERRQ(ierr);
703   ierr = PetscHashIJKLDestroy(&faceTable);CHKERRQ(ierr);
704   ierr = PetscFree2(pStart,pEnd);CHKERRQ(ierr);
705   ierr = DMPlexSetHybridBounds(idm, cMax, fMax, eMax, vMax);CHKERRQ(ierr);
706   ierr = DMPlexSymmetrize(idm);CHKERRQ(ierr);
707   ierr = DMPlexStratify(idm);CHKERRQ(ierr);
708   PetscFunctionReturn(0);
709 }
710 
711 static PetscErrorCode SortRmineRremoteByRemote_Private(PetscSF sf, PetscInt *rmine1[], PetscInt *rremote1[])
712 {
713   PetscInt            nleaves;
714   PetscInt            nranks;
715   const PetscMPIInt  *ranks=NULL;
716   const PetscInt     *roffset=NULL, *rmine=NULL, *rremote=NULL;
717   PetscInt            n, o, r;
718   PetscErrorCode      ierr;
719 
720   PetscFunctionBegin;
721   ierr = PetscSFGetRootRanks(sf, &nranks, &ranks, &roffset, &rmine, &rremote);CHKERRQ(ierr);
722   nleaves = roffset[nranks];
723   ierr = PetscMalloc2(nleaves, rmine1, nleaves, rremote1);CHKERRQ(ierr);
724   for (r=0; r<nranks; r++) {
725     /* simultaneously sort rank-wise portions of rmine & rremote by values in rremote
726        - to unify order with the other side */
727     o = roffset[r];
728     n = roffset[r+1] - o;
729     ierr = PetscArraycpy(&(*rmine1)[o], &rmine[o], n);CHKERRQ(ierr);
730     ierr = PetscArraycpy(&(*rremote1)[o], &rremote[o], n);CHKERRQ(ierr);
731     ierr = PetscSortIntWithArray(n, &(*rremote1)[o], &(*rmine1)[o]);CHKERRQ(ierr);
732   }
733   PetscFunctionReturn(0);
734 }
735 
736 PetscErrorCode DMPlexOrientInterface_Internal(DM dm)
737 {
738   /* Here we only compare first 2 points of the cone. Full cone size would lead to stronger self-checking. */
739   PetscInt          masterCone[2];
740   PetscInt          (*roots)[2], (*leaves)[2];
741   PetscMPIInt       (*rootsRanks)[2], (*leavesRanks)[2];
742 
743   PetscSF           sf=NULL;
744   const PetscInt    *locals=NULL;
745   const PetscSFNode *remotes=NULL;
746   PetscInt           nroots, nleaves, p, c;
747   PetscInt           nranks, n, o, r;
748   const PetscMPIInt *ranks=NULL;
749   const PetscInt    *roffset=NULL;
750   PetscInt          *rmine1=NULL, *rremote1=NULL; /* rmine and rremote copies simultaneously sorted by rank and rremote */
751   const PetscInt    *cone=NULL;
752   PetscInt           coneSize, ind0;
753   MPI_Comm           comm;
754   PetscMPIInt        rank,size;
755   PetscInt           debug = 0;
756   PetscErrorCode     ierr;
757 
758   PetscFunctionBegin;
759   ierr = DMGetPointSF(dm, &sf);CHKERRQ(ierr);
760   ierr = PetscSFGetGraph(sf, &nroots, &nleaves, &locals, &remotes);CHKERRQ(ierr);
761   if (nroots < 0) PetscFunctionReturn(0);
762   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
763   ierr = PetscSFGetRootRanks(sf, &nranks, &ranks, &roffset, NULL, NULL);CHKERRQ(ierr);
764   ierr = DMViewFromOptions(dm, NULL, "-before_fix_dm_view");CHKERRQ(ierr);
765 #if defined(PETSC_USE_DEBUG)
766   ierr = DMPlexCheckPointSF(dm);CHKERRQ(ierr);
767 #endif
768   ierr = SortRmineRremoteByRemote_Private(sf, &rmine1, &rremote1);CHKERRQ(ierr);
769   ierr = PetscMalloc4(nroots, &roots, nroots, &leaves, nroots, &rootsRanks, nroots, &leavesRanks);CHKERRQ(ierr);
770   ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr);
771   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
772   ierr = MPI_Comm_size(comm, &size);CHKERRQ(ierr);
773   for (p = 0; p < nroots; ++p) {
774     ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
775     ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
776     if (coneSize < 2) {
777       for (c = 0; c < 2; c++) {
778         roots[p][c] = -1;
779         rootsRanks[p][c] = -1;
780       }
781       continue;
782     }
783     /* Translate all points to root numbering */
784     for (c = 0; c < 2; c++) {
785       ierr = PetscFindInt(cone[c], nleaves, locals, &ind0);CHKERRQ(ierr);
786       if (ind0 < 0) {
787         roots[p][c] = cone[c];
788         rootsRanks[p][c] = rank;
789       } else {
790         roots[p][c] = remotes[ind0].index;
791         rootsRanks[p][c] = remotes[ind0].rank;
792       }
793     }
794   }
795   for (p = 0; p < nroots; ++p) {
796     for (c = 0; c < 2; c++) {
797       leaves[p][c] = -2;
798       leavesRanks[p][c] = -2;
799     }
800   }
801   ierr = PetscSFBcastBegin(sf, MPIU_2INT, roots, leaves);CHKERRQ(ierr);
802   ierr = PetscSFBcastBegin(sf, MPI_2INT, rootsRanks, leavesRanks);CHKERRQ(ierr);
803   ierr = PetscSFBcastEnd(sf, MPIU_2INT, roots, leaves);CHKERRQ(ierr);
804   ierr = PetscSFBcastEnd(sf, MPI_2INT, rootsRanks, leavesRanks);CHKERRQ(ierr);
805   if (debug) {ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);}
806   if (debug && rank == 0) {ierr = PetscSynchronizedPrintf(comm, "Referenced roots\n");CHKERRQ(ierr);}
807   for (p = 0; p < nroots; ++p) {
808     if (leaves[p][0] < 0) continue;
809     ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
810     ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
811     if (debug) {ierr = PetscSynchronizedPrintf(comm, "[%d]  %4D: cone=[%4D %4D] roots=[(%d,%4D) (%d,%4D)] leaves=[(%d,%4D) (%d,%4D)]", rank, p, cone[0], cone[1], rootsRanks[p][0], roots[p][0], rootsRanks[p][1], roots[p][1], leavesRanks[p][0], leaves[p][0], leavesRanks[p][1], leaves[p][1]);CHKERRQ(ierr);}
812     if ((leaves[p][0] != roots[p][0]) || (leaves[p][1] != roots[p][1]) || (leavesRanks[p][0] != rootsRanks[p][0]) || (leavesRanks[p][1] != rootsRanks[p][1])) {
813       /* Translate these two leaves to my cone points; masterCone means desired order p's cone points */
814       for (c = 0; c < 2; c++) {
815         if (leavesRanks[p][c] == rank) {
816           /* A local leave is just taken as it is */
817           masterCone[c] = leaves[p][c];
818           continue;
819         }
820         /* Find index of rank leavesRanks[p][c] among remote ranks */
821         /* No need for PetscMPIIntCast because these integers were originally cast from PetscMPIInt. */
822         ierr = PetscFindMPIInt((PetscMPIInt)leavesRanks[p][c], nranks, ranks, &r);CHKERRQ(ierr);
823         if (PetscUnlikely(r < 0)) SETERRQ7(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %D cone[%D]=%D root (%d,%D) leave (%d,%D): leave rank not found among remote ranks",p,c,cone[c],rootsRanks[p][c],roots[p][c],leavesRanks[p][c],leaves[p][c]);
824         if (PetscUnlikely(ranks[r] < 0 || ranks[r] >= size)) SETERRQ5(PETSC_COMM_SELF, PETSC_ERR_PLIB, "p=%D c=%D commsize=%d: ranks[%D] = %d makes no sense",p,c,size,r,ranks[r]);
825         /* Find point leaves[p][c] among remote points aimed at rank leavesRanks[p][c] */
826         o = roffset[r];
827         n = roffset[r+1] - o;
828         ierr = PetscFindInt(leaves[p][c], n, &rremote1[o], &ind0);CHKERRQ(ierr);
829         if (PetscUnlikely(ind0 < 0)) SETERRQ7(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %D cone[%D]=%D root (%d,%D) leave (%d,%D): corresponding remote point not found - it seems there is missing connection in point SF!",p,c,cone[c],rootsRanks[p][c],roots[p][c],leavesRanks[p][c],leaves[p][c]);
830         /* Get the corresponding local point */
831         masterCone[c] = rmine1[o+ind0];CHKERRQ(ierr);
832       }
833       if (debug) {ierr = PetscSynchronizedPrintf(comm, " masterCone=[%4D %4D]\n", masterCone[0], masterCone[1]);CHKERRQ(ierr);}
834       /* Set the desired order of p's cone points and fix orientations accordingly */
835       /* Vaclav's note: Here we only compare first 2 points of the cone. Full cone size would lead to stronger self-checking. */
836       ierr = DMPlexOrientCell(dm, p, 2, masterCone);CHKERRQ(ierr);
837     } else if (debug) {ierr = PetscSynchronizedPrintf(comm, " ==\n");CHKERRQ(ierr);}
838   }
839   if (debug) {
840     ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);
841     ierr = MPI_Barrier(comm);CHKERRQ(ierr);
842   }
843   ierr = DMViewFromOptions(dm, NULL, "-after_fix_dm_view");CHKERRQ(ierr);
844   ierr = PetscFree4(roots, leaves, rootsRanks, leavesRanks);CHKERRQ(ierr);
845   ierr = PetscFree2(rmine1, rremote1);CHKERRQ(ierr);
846   PetscFunctionReturn(0);
847 }
848 
849 static PetscErrorCode IntArrayViewFromOptions(MPI_Comm comm, const char opt[], const char name[], const char idxname[], const char valname[], PetscInt n, const PetscInt a[])
850 {
851   PetscInt       idx;
852   PetscMPIInt    rank;
853   PetscBool      flg;
854   PetscErrorCode ierr;
855 
856   PetscFunctionBegin;
857   ierr = PetscOptionsHasName(NULL, NULL, opt, &flg);CHKERRQ(ierr);
858   if (!flg) PetscFunctionReturn(0);
859   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
860   ierr = PetscSynchronizedPrintf(comm, "[%d]%s:\n", rank, name);CHKERRQ(ierr);
861   for (idx = 0; idx < n; ++idx) {ierr = PetscSynchronizedPrintf(comm, "[%d]%s %D %s %D\n", rank, idxname, idx, valname, a[idx]);CHKERRQ(ierr);}
862   ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);
863   PetscFunctionReturn(0);
864 }
865 
866 static PetscErrorCode SFNodeArrayViewFromOptions(MPI_Comm comm, const char opt[], const char name[], const char idxname[], PetscInt n, const PetscSFNode a[])
867 {
868   PetscInt       idx;
869   PetscMPIInt    rank;
870   PetscBool      flg;
871   PetscErrorCode ierr;
872 
873   PetscFunctionBegin;
874   ierr = PetscOptionsHasName(NULL, NULL, opt, &flg);CHKERRQ(ierr);
875   if (!flg) PetscFunctionReturn(0);
876   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
877   ierr = PetscSynchronizedPrintf(comm, "[%d]%s:\n", rank, name);CHKERRQ(ierr);
878   if (idxname) {
879     for (idx = 0; idx < n; ++idx) {ierr = PetscSynchronizedPrintf(comm, "[%d]%s %D rank %D index %D\n", rank, idxname, idx, a[idx].rank, a[idx].index);CHKERRQ(ierr);}
880   } else {
881     for (idx = 0; idx < n; ++idx) {ierr = PetscSynchronizedPrintf(comm, "[%d]rank %D index %D\n", rank, a[idx].rank, a[idx].index);CHKERRQ(ierr);}
882   }
883   ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);
884   PetscFunctionReturn(0);
885 }
886 
887 static PetscErrorCode DMPlexMapToLocalPoint(PetscHMapIJ roothash, const PetscInt localPoints[], PetscMPIInt rank, PetscSFNode remotePoint, PetscInt *localPoint)
888 {
889   PetscErrorCode ierr;
890 
891   PetscFunctionBegin;
892   if (remotePoint.rank == rank) {
893     *localPoint = remotePoint.index;
894   } else {
895     PetscHashIJKey key;
896     PetscInt       root;
897 
898     key.i = remotePoint.index;
899     key.j = remotePoint.rank;
900     ierr = PetscHMapIJGet(roothash, key, &root);CHKERRQ(ierr);
901     if (root >= 0) {
902       *localPoint = localPoints[root];
903     } else PetscFunctionReturn(1);
904   }
905   PetscFunctionReturn(0);
906 }
907 
908 /*@
909   DMPlexInterpolatePointSF - Insert interpolated points in the overlap into the PointSF in parallel, following local interpolation
910 
911   Collective on dm
912 
913   Input Parameters:
914 + dm      - The interpolated DM
915 - pointSF - The initial SF without interpolated points
916 
917   Output Parameter:
918 . pointSF - The SF including interpolated points
919 
920   Level: intermediate
921 
922    Note: All debugging for this process can be turned on with the options: -dm_interp_pre_view -petscsf_interp_pre_view -petscsection_interp_candidate_view -petscsection_interp_candidate_remote_view -petscsection_interp_claim_view -petscsf_interp_pre_view -dmplex_interp_debug
923 
924 .seealso: DMPlexInterpolate(), DMPlexUninterpolate()
925 @*/
926 PetscErrorCode DMPlexInterpolatePointSF(DM dm, PetscSF pointSF)
927 {
928   /*
929        Okay, the algorithm is:
930          - Take each point in the overlap (root)
931          - Look at the neighboring points in the overlap (candidates)
932          - Send these candidate points to neighbors
933          - Neighbor checks for edge between root and candidate
934          - If edge is found, it replaces candidate point with edge point
935          - Send back the overwritten candidates (claims)
936          - Original guy checks for edges, different from original candidate, and gets its own edge
937          - This pair is put into SF
938 
939        We need a new algorithm that tolerates groups larger than 2.
940          - Take each point in the overlap (root)
941          - Find all collections of points in the overlap which make faces (do early join)
942          - Send collections as candidates (add size as first number)
943            - Make sure to send collection to all owners of all overlap points in collection
944          - Neighbor check for face in collections
945          - If face is found, it replaces candidate point with face point
946          - Send back the overwritten candidates (claims)
947          - Original guy checks for faces, different from original candidate, and gets its own face
948          - This pair is put into SF
949   */
950   PetscHMapI         leafhash;
951   PetscHMapIJ        roothash;
952   const PetscInt    *localPoints, *rootdegree;
953   const PetscSFNode *remotePoints;
954   PetscSFNode       *candidates, *candidatesRemote, *claims;
955   PetscSection       candidateSection, candidateSectionRemote, claimSection;
956   PetscInt           numLeaves, l, numRoots, r, candidatesSize, candidatesRemoteSize;
957   PetscMPIInt        size, rank;
958   PetscHashIJKey     key;
959   PetscBool          debug = PETSC_FALSE;
960   PetscErrorCode     ierr;
961 
962   PetscFunctionBegin;
963   ierr = PetscOptionsHasName(NULL, ((PetscObject) dm)->prefix, "-dmplex_interp_debug", &debug);CHKERRQ(ierr);
964   ierr = MPI_Comm_size(PetscObjectComm((PetscObject) dm), &size);CHKERRQ(ierr);
965   ierr = MPI_Comm_rank(PetscObjectComm((PetscObject) dm), &rank);CHKERRQ(ierr);
966   ierr = PetscSFGetGraph(pointSF, &numRoots, &numLeaves, &localPoints, &remotePoints);CHKERRQ(ierr);
967   if (size < 2 || numRoots < 0) PetscFunctionReturn(0);
968   ierr = DMPlexGetOverlap(dm, &r);CHKERRQ(ierr);
969   if (r) SETERRQ(PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "Interpolation of overlapped DMPlex not implemented yet");
970   ierr = PetscObjectViewFromOptions((PetscObject) dm, NULL, "-dm_interp_pre_view");CHKERRQ(ierr);
971   ierr = PetscObjectViewFromOptions((PetscObject) pointSF, NULL, "-petscsf_interp_pre_view");CHKERRQ(ierr);
972   ierr = PetscLogEventBegin(DMPLEX_InterpolateSF,dm,0,0,0);CHKERRQ(ierr);
973   /* Build hashes of points in the SF for efficient lookup */
974   ierr = PetscHMapICreate(&leafhash);CHKERRQ(ierr);
975   ierr = PetscHMapIJCreate(&roothash);CHKERRQ(ierr);
976   for (l = 0; l < numLeaves; ++l) {
977     key.i = remotePoints[l].index;
978     key.j = remotePoints[l].rank;
979     ierr = PetscHMapISet(leafhash, localPoints[l], l);CHKERRQ(ierr);
980     ierr = PetscHMapIJSet(roothash, key, l);CHKERRQ(ierr);
981   }
982   /* Compute root degree to identify shared points */
983   ierr = PetscSFComputeDegreeBegin(pointSF, &rootdegree);CHKERRQ(ierr);
984   ierr = PetscSFComputeDegreeEnd(pointSF, &rootdegree);CHKERRQ(ierr);
985   ierr = IntArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-interp_root_degree_view", "Root degree", "point", "degree", numRoots, rootdegree);CHKERRQ(ierr);
986   /* Build a section / SFNode array of candidate points (face bd points) in the cone(support(leaf)),
987      where each candidate is defined by a set of remote points (roots) for the other points that define the face. */
988   ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), &candidateSection);CHKERRQ(ierr);
989   ierr = PetscSectionSetChart(candidateSection, 0, numRoots);CHKERRQ(ierr);
990   {
991     PetscHMapIJ facehash;
992 
993     ierr = PetscHMapIJCreate(&facehash);CHKERRQ(ierr);
994     for (l = 0; l < numLeaves; ++l) {
995       const PetscInt    localPoint = localPoints[l];
996       const PetscInt   *support;
997       PetscInt          supportSize, s;
998 
999       if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]  Checking local point %D\n", rank, localPoint);CHKERRQ(ierr);}
1000       ierr = DMPlexGetSupportSize(dm, localPoint, &supportSize);CHKERRQ(ierr);
1001       ierr = DMPlexGetSupport(dm, localPoint, &support);CHKERRQ(ierr);
1002       for (s = 0; s < supportSize; ++s) {
1003         const PetscInt  face = support[s];
1004         const PetscInt *cone;
1005         PetscInt        coneSize, c, f, root;
1006         PetscBool       isFace = PETSC_TRUE;
1007 
1008         /* Only add face once */
1009         if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Support point %D\n", rank, face);CHKERRQ(ierr);}
1010         key.i = localPoint;
1011         key.j = face;
1012         ierr = PetscHMapIJGet(facehash, key, &f);CHKERRQ(ierr);
1013         if (f >= 0) continue;
1014         ierr = DMPlexGetConeSize(dm, face, &coneSize);CHKERRQ(ierr);
1015         ierr = DMPlexGetCone(dm, face, &cone);CHKERRQ(ierr);
1016         /* If a cone point does not map to leaves on any proc, then do not put face in SF */
1017         for (c = 0; c < coneSize; ++c) {
1018           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]      Cone point %D\n", rank, cone[c]);CHKERRQ(ierr);}
1019           ierr = PetscHMapIGet(leafhash, cone[c], &root);CHKERRQ(ierr);
1020           if (!rootdegree[cone[c]] && (root < 0)) {isFace = PETSC_FALSE; break;}
1021         }
1022         if (isFace) {
1023           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Found shared face %D\n", rank, face);CHKERRQ(ierr);}
1024           ierr = PetscHMapIJSet(facehash, key, l);CHKERRQ(ierr);
1025           ierr = PetscSectionAddDof(candidateSection, localPoint, coneSize);CHKERRQ(ierr);
1026         }
1027       }
1028     }
1029     if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);}
1030     ierr = PetscHMapIJClear(facehash);CHKERRQ(ierr);
1031     ierr = PetscSectionSetUp(candidateSection);CHKERRQ(ierr);
1032     ierr = PetscSectionGetStorageSize(candidateSection, &candidatesSize);CHKERRQ(ierr);
1033     ierr = PetscMalloc1(candidatesSize, &candidates);CHKERRQ(ierr);
1034     for (l = 0; l < numLeaves; ++l) {
1035       const PetscInt    localPoint = localPoints[l];
1036       const PetscInt   *support;
1037       PetscInt          supportSize, s, offset, idx = 0;
1038 
1039       if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]  Checking local point %D\n", rank, localPoint);CHKERRQ(ierr);}
1040       ierr = PetscSectionGetOffset(candidateSection, localPoint, &offset);CHKERRQ(ierr);
1041       ierr = DMPlexGetSupportSize(dm, localPoint, &supportSize);CHKERRQ(ierr);
1042       ierr = DMPlexGetSupport(dm, localPoint, &support);CHKERRQ(ierr);
1043       for (s = 0; s < supportSize; ++s) {
1044         const PetscInt  face = support[s];
1045         const PetscInt *cone;
1046         PetscInt        coneSize, c, f, root;
1047         PetscBool       isFace = PETSC_TRUE;
1048 
1049         /* Only add face once */
1050         if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Support point %D\n", rank, face);CHKERRQ(ierr);}
1051         key.i = localPoint;
1052         key.j = face;
1053         ierr = PetscHMapIJGet(facehash, key, &f);CHKERRQ(ierr);
1054         if (f >= 0) continue;
1055         ierr = DMPlexGetConeSize(dm, face, &coneSize);CHKERRQ(ierr);
1056         ierr = DMPlexGetCone(dm, face, &cone);CHKERRQ(ierr);
1057         /* If a cone point does not map to leaves on any proc, then do not put face in SF */
1058         for (c = 0; c < coneSize; ++c) {
1059           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]      Cone point %D\n", rank, cone[c]);CHKERRQ(ierr);}
1060           ierr = PetscHMapIGet(leafhash, cone[c], &root);CHKERRQ(ierr);
1061           if (!rootdegree[cone[c]] && (root < 0)) {isFace = PETSC_FALSE; break;}
1062         }
1063         if (isFace) {
1064           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Adding shared face %D at idx %D\n", rank, face, idx);CHKERRQ(ierr);}
1065           ierr = PetscHMapIJSet(facehash, key, l);CHKERRQ(ierr);
1066           candidates[offset+idx].rank    = -1;
1067           candidates[offset+idx++].index = coneSize-1;
1068           for (c = 0; c < coneSize; ++c) {
1069             if (cone[c] == localPoint) continue;
1070             if (rootdegree[cone[c]]) {
1071               candidates[offset+idx].rank    = rank;
1072               candidates[offset+idx++].index = cone[c];
1073             } else {
1074               ierr = PetscHMapIGet(leafhash, cone[c], &root);CHKERRQ(ierr);
1075               if (root < 0) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Cannot locate local point %D in SF", cone[c]);
1076               candidates[offset+idx++] = remotePoints[root];
1077             }
1078           }
1079         }
1080       }
1081     }
1082     if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);}
1083     ierr = PetscHMapIJDestroy(&facehash);CHKERRQ(ierr);
1084     ierr = PetscObjectViewFromOptions((PetscObject) candidateSection, NULL, "-petscsection_interp_candidate_view");CHKERRQ(ierr);
1085     ierr = SFNodeArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-petscsection_interp_candidate_view", "Candidates", NULL, candidatesSize, candidates);CHKERRQ(ierr);
1086   }
1087   /* Gather candidate section / array pair into the root partition via inverse(multi(pointSF)). */
1088   /*   Note that this section is indexed by offsets into leaves, not by point number */
1089   {
1090     PetscSF   sfMulti, sfInverse, sfCandidates;
1091     PetscInt *remoteOffsets;
1092 
1093     ierr = PetscSFGetMultiSF(pointSF, &sfMulti);CHKERRQ(ierr);
1094     ierr = PetscSFCreateInverseSF(sfMulti, &sfInverse);CHKERRQ(ierr);
1095     ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), &candidateSectionRemote);CHKERRQ(ierr);
1096     ierr = PetscSFDistributeSection(sfInverse, candidateSection, &remoteOffsets, candidateSectionRemote);CHKERRQ(ierr);
1097     ierr = PetscSFCreateSectionSF(sfInverse, candidateSection, remoteOffsets, candidateSectionRemote, &sfCandidates);CHKERRQ(ierr);
1098     ierr = PetscSectionGetStorageSize(candidateSectionRemote, &candidatesRemoteSize);CHKERRQ(ierr);
1099     ierr = PetscMalloc1(candidatesRemoteSize, &candidatesRemote);CHKERRQ(ierr);
1100     ierr = PetscSFBcastBegin(sfCandidates, MPIU_2INT, candidates, candidatesRemote);CHKERRQ(ierr);
1101     ierr = PetscSFBcastEnd(sfCandidates, MPIU_2INT, candidates, candidatesRemote);CHKERRQ(ierr);
1102     ierr = PetscSFDestroy(&sfInverse);CHKERRQ(ierr);
1103     ierr = PetscSFDestroy(&sfCandidates);CHKERRQ(ierr);
1104     ierr = PetscFree(remoteOffsets);CHKERRQ(ierr);
1105 
1106     ierr = PetscObjectViewFromOptions((PetscObject) candidateSectionRemote, NULL, "-petscsection_interp_candidate_remote_view");CHKERRQ(ierr);
1107     ierr = SFNodeArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-petscsection_interp_candidate_remote_view", "Remote Candidates", NULL, candidatesRemoteSize, candidatesRemote);CHKERRQ(ierr);
1108   }
1109   /* */
1110   {
1111     PetscInt idx;
1112     /* There is a section point for every leaf attached to a given root point */
1113     for (r = 0, idx = 0; r < numRoots; ++r) {
1114       PetscInt deg;
1115       for (deg = 0; deg < rootdegree[r]; ++deg, ++idx) {
1116         PetscInt offset, dof, d;
1117 
1118         ierr = PetscSectionGetDof(candidateSectionRemote, idx, &dof);CHKERRQ(ierr);
1119         ierr = PetscSectionGetOffset(candidateSectionRemote, idx, &offset);CHKERRQ(ierr);
1120         for (d = 0; d < dof; ++d) {
1121           const PetscInt  sizeInd   = offset+d;
1122           const PetscInt  numPoints = candidatesRemote[sizeInd].index;
1123           const PetscInt *join      = NULL;
1124           PetscInt        points[1024], p, joinSize;
1125 
1126           points[0] = r;
1127           for (p = 0; p < numPoints; ++p) {
1128             ierr = DMPlexMapToLocalPoint(roothash, localPoints, rank, candidatesRemote[offset+(++d)], &points[p+1]);
1129             if (ierr) {d += numPoints-1 - p; break;} /* We got a point not in our overlap */
1130             if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]  Checking local candidate %D\n", rank, points[p+1]);CHKERRQ(ierr);}
1131           }
1132           if (ierr) continue;
1133           ierr = DMPlexGetJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr);
1134           if (joinSize == 1) {
1135             if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Adding face %D at idx %D\n", rank, join[0], sizeInd);CHKERRQ(ierr);}
1136             candidatesRemote[sizeInd].rank  = rank;
1137             candidatesRemote[sizeInd].index = join[0];
1138           }
1139           ierr = DMPlexRestoreJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr);
1140         }
1141       }
1142     }
1143     if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);}
1144   }
1145   /* Push claims back to receiver via the MultiSF and derive new pointSF mapping on receiver */
1146   {
1147     PetscSF         sfMulti, sfClaims, sfPointNew;
1148     PetscSFNode    *remotePointsNew;
1149     PetscHMapI      claimshash;
1150     PetscInt       *remoteOffsets, *localPointsNew;
1151     PetscInt        claimsSize, pStart, pEnd, root, numLocalNew, p, d;
1152 
1153     ierr = PetscSFGetMultiSF(pointSF, &sfMulti);CHKERRQ(ierr);
1154     ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), &claimSection);CHKERRQ(ierr);
1155     ierr = PetscSFDistributeSection(sfMulti, candidateSectionRemote, &remoteOffsets, claimSection);CHKERRQ(ierr);
1156     ierr = PetscSFCreateSectionSF(sfMulti, candidateSectionRemote, remoteOffsets, claimSection, &sfClaims);CHKERRQ(ierr);
1157     ierr = PetscSectionGetStorageSize(claimSection, &claimsSize);CHKERRQ(ierr);
1158     ierr = PetscMalloc1(claimsSize, &claims);CHKERRQ(ierr);
1159     ierr = PetscSFBcastBegin(sfClaims, MPIU_2INT, candidatesRemote, claims);CHKERRQ(ierr);
1160     ierr = PetscSFBcastEnd(sfClaims, MPIU_2INT, candidatesRemote, claims);CHKERRQ(ierr);
1161     ierr = PetscSFDestroy(&sfClaims);CHKERRQ(ierr);
1162     ierr = PetscFree(remoteOffsets);CHKERRQ(ierr);
1163     ierr = PetscObjectViewFromOptions((PetscObject) claimSection, NULL, "-petscsection_interp_claim_view");CHKERRQ(ierr);
1164     ierr = SFNodeArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-petscsection_interp_claim_view", "Claims", NULL, claimsSize, claims);CHKERRQ(ierr);
1165     /* Walk the original section of local supports and add an SF entry for each updated item */
1166     ierr = PetscHMapICreate(&claimshash);CHKERRQ(ierr);
1167     for (p = 0; p < numRoots; ++p) {
1168       PetscInt dof, offset;
1169 
1170       if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]  Checking root for claims %D\n", rank, p);CHKERRQ(ierr);}
1171       ierr = PetscSectionGetDof(candidateSection, p, &dof);CHKERRQ(ierr);
1172       ierr = PetscSectionGetOffset(candidateSection, p, &offset);CHKERRQ(ierr);
1173       for (d = 0; d < dof;) {
1174         if (claims[offset+d].rank >= 0) {
1175           const PetscInt  faceInd   = offset+d;
1176           const PetscInt  numPoints = candidates[faceInd].index;
1177           const PetscInt *join      = NULL;
1178           PetscInt        joinSize, points[1024], c;
1179 
1180           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Found claim for remote point (%D, %D)\n", rank, claims[faceInd].rank, claims[faceInd].index);CHKERRQ(ierr);}
1181           points[0] = p;
1182           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]      point %D\n", rank, points[0]);CHKERRQ(ierr);}
1183           for (c = 0, ++d; c < numPoints; ++c, ++d) {
1184             key.i = candidates[offset+d].index;
1185             key.j = candidates[offset+d].rank;
1186             ierr = PetscHMapIJGet(roothash, key, &root);CHKERRQ(ierr);
1187             points[c+1] = localPoints[root];
1188             if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]      point %D\n", rank, points[c+1]);CHKERRQ(ierr);}
1189           }
1190           ierr = DMPlexGetJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr);
1191           if (joinSize == 1) {
1192             if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Found local face %D\n", rank, join[0]);CHKERRQ(ierr);}
1193             ierr = PetscHMapISet(claimshash, join[0], faceInd);CHKERRQ(ierr);
1194           }
1195           ierr = DMPlexRestoreJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr);
1196         } else d += claims[offset+d].index+1;
1197       }
1198     }
1199     if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);}
1200     /* Create new pointSF from hashed claims */
1201     ierr = PetscHMapIGetSize(claimshash, &numLocalNew);CHKERRQ(ierr);
1202     ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr);
1203     ierr = PetscMalloc1(numLeaves + numLocalNew, &localPointsNew);CHKERRQ(ierr);
1204     ierr = PetscMalloc1(numLeaves + numLocalNew, &remotePointsNew);CHKERRQ(ierr);
1205     for (p = 0; p < numLeaves; ++p) {
1206       localPointsNew[p] = localPoints[p];
1207       remotePointsNew[p].index = remotePoints[p].index;
1208       remotePointsNew[p].rank  = remotePoints[p].rank;
1209     }
1210     p = numLeaves;
1211     ierr = PetscHMapIGetKeys(claimshash, &p, localPointsNew);CHKERRQ(ierr);
1212     ierr = PetscSortInt(numLocalNew, &localPointsNew[numLeaves]);CHKERRQ(ierr);
1213     for (p = numLeaves; p < numLeaves + numLocalNew; ++p) {
1214       PetscInt offset;
1215       ierr = PetscHMapIGet(claimshash, localPointsNew[p], &offset);CHKERRQ(ierr);
1216       remotePointsNew[p] = claims[offset];
1217     }
1218     ierr = PetscSFCreate(PetscObjectComm((PetscObject) dm), &sfPointNew);CHKERRQ(ierr);
1219     ierr = PetscSFSetGraph(sfPointNew, pEnd-pStart, numLeaves+numLocalNew, localPointsNew, PETSC_OWN_POINTER, remotePointsNew, PETSC_OWN_POINTER);CHKERRQ(ierr);
1220     ierr = DMSetPointSF(dm, sfPointNew);CHKERRQ(ierr);
1221     ierr = PetscSFDestroy(&sfPointNew);CHKERRQ(ierr);
1222     ierr = PetscHMapIDestroy(&claimshash);CHKERRQ(ierr);
1223   }
1224   ierr = PetscHMapIDestroy(&leafhash);CHKERRQ(ierr);
1225   ierr = PetscHMapIJDestroy(&roothash);CHKERRQ(ierr);
1226   ierr = PetscSectionDestroy(&candidateSection);CHKERRQ(ierr);
1227   ierr = PetscSectionDestroy(&candidateSectionRemote);CHKERRQ(ierr);
1228   ierr = PetscSectionDestroy(&claimSection);CHKERRQ(ierr);
1229   ierr = PetscFree(candidates);CHKERRQ(ierr);
1230   ierr = PetscFree(candidatesRemote);CHKERRQ(ierr);
1231   ierr = PetscFree(claims);CHKERRQ(ierr);
1232   ierr = PetscLogEventEnd(DMPLEX_InterpolateSF,dm,0,0,0);CHKERRQ(ierr);
1233   PetscFunctionReturn(0);
1234 }
1235 
1236 /*@
1237   DMPlexInterpolate - Take in a cell-vertex mesh and return one with all intermediate faces, edges, etc.
1238 
1239   Collective on dm
1240 
1241   Input Parameters:
1242 + dm - The DMPlex object with only cells and vertices
1243 - dmInt - The interpolated DM
1244 
1245   Output Parameter:
1246 . dmInt - The complete DMPlex object
1247 
1248   Level: intermediate
1249 
1250   Notes:
1251     It does not copy over the coordinates.
1252 
1253 .seealso: DMPlexUninterpolate(), DMPlexCreateFromCellList(), DMPlexCopyCoordinates()
1254 @*/
1255 PetscErrorCode DMPlexInterpolate(DM dm, DM *dmInt)
1256 {
1257   DM             idm, odm = dm;
1258   PetscSF        sfPoint;
1259   PetscInt       depth, dim, d;
1260   const char    *name;
1261   PetscBool      flg=PETSC_TRUE;
1262   PetscErrorCode ierr;
1263 
1264   PetscFunctionBegin;
1265   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
1266   PetscValidPointer(dmInt, 2);
1267   ierr = PetscLogEventBegin(DMPLEX_Interpolate,dm,0,0,0);CHKERRQ(ierr);
1268   ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr);
1269   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
1270   if ((depth == dim) || (dim <= 1)) {
1271     ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr);
1272     idm  = dm;
1273   } else {
1274     for (d = 1; d < dim; ++d) {
1275       /* Create interpolated mesh */
1276       ierr = DMCreate(PetscObjectComm((PetscObject)dm), &idm);CHKERRQ(ierr);
1277       ierr = DMSetType(idm, DMPLEX);CHKERRQ(ierr);
1278       ierr = DMSetDimension(idm, dim);CHKERRQ(ierr);
1279       if (depth > 0) {
1280         ierr = DMPlexInterpolateFaces_Internal(odm, 1, idm);CHKERRQ(ierr);
1281         ierr = DMGetPointSF(odm, &sfPoint);CHKERRQ(ierr);
1282         ierr = DMPlexInterpolatePointSF(idm, sfPoint);CHKERRQ(ierr);
1283       }
1284       if (odm != dm) {ierr = DMDestroy(&odm);CHKERRQ(ierr);}
1285       odm = idm;
1286     }
1287     ierr = PetscObjectGetName((PetscObject) dm,  &name);CHKERRQ(ierr);
1288     ierr = PetscObjectSetName((PetscObject) idm,  name);CHKERRQ(ierr);
1289     ierr = DMPlexCopyCoordinates(dm, idm);CHKERRQ(ierr);
1290     ierr = DMCopyLabels(dm, idm, PETSC_COPY_VALUES, PETSC_FALSE);CHKERRQ(ierr);
1291     ierr = PetscOptionsGetBool(((PetscObject)dm)->options, ((PetscObject)dm)->prefix, "-dm_plex_interpolate_orient_interfaces", &flg, NULL);CHKERRQ(ierr);
1292     if (flg) {ierr = DMPlexOrientInterface_Internal(idm);CHKERRQ(ierr);}
1293   }
1294   {
1295     PetscBool            isper;
1296     const PetscReal      *maxCell, *L;
1297     const DMBoundaryType *bd;
1298 
1299     ierr = DMGetPeriodicity(dm,&isper,&maxCell,&L,&bd);CHKERRQ(ierr);
1300     ierr = DMSetPeriodicity(idm,isper,maxCell,L,bd);CHKERRQ(ierr);
1301   }
1302   *dmInt = idm;
1303   ierr = PetscLogEventEnd(DMPLEX_Interpolate,dm,0,0,0);CHKERRQ(ierr);
1304   PetscFunctionReturn(0);
1305 }
1306 
1307 /*@
1308   DMPlexCopyCoordinates - Copy coordinates from one mesh to another with the same vertices
1309 
1310   Collective on dmA
1311 
1312   Input Parameter:
1313 . dmA - The DMPlex object with initial coordinates
1314 
1315   Output Parameter:
1316 . dmB - The DMPlex object with copied coordinates
1317 
1318   Level: intermediate
1319 
1320   Note: This is typically used when adding pieces other than vertices to a mesh
1321 
1322 .seealso: DMCopyLabels(), DMGetCoordinates(), DMGetCoordinatesLocal(), DMGetCoordinateDM(), DMGetCoordinateSection()
1323 @*/
1324 PetscErrorCode DMPlexCopyCoordinates(DM dmA, DM dmB)
1325 {
1326   Vec            coordinatesA, coordinatesB;
1327   VecType        vtype;
1328   PetscSection   coordSectionA, coordSectionB;
1329   PetscScalar   *coordsA, *coordsB;
1330   PetscInt       spaceDim, Nf, vStartA, vStartB, vEndA, vEndB, coordSizeB, v, d;
1331   PetscInt       cStartA, cEndA, cStartB, cEndB, cS, cE;
1332   PetscBool      lc = PETSC_FALSE;
1333   PetscErrorCode ierr;
1334 
1335   PetscFunctionBegin;
1336   PetscValidHeaderSpecific(dmA, DM_CLASSID, 1);
1337   PetscValidHeaderSpecific(dmB, DM_CLASSID, 2);
1338   if (dmA == dmB) PetscFunctionReturn(0);
1339   ierr = DMPlexGetDepthStratum(dmA, 0, &vStartA, &vEndA);CHKERRQ(ierr);
1340   ierr = DMPlexGetDepthStratum(dmB, 0, &vStartB, &vEndB);CHKERRQ(ierr);
1341   if ((vEndA-vStartA) != (vEndB-vStartB)) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "The number of vertices in first DM %d != %d in the second DM", vEndA-vStartA, vEndB-vStartB);
1342   ierr = DMPlexGetHeightStratum(dmA, 0, &cStartA, &cEndA);CHKERRQ(ierr);
1343   ierr = DMPlexGetHeightStratum(dmB, 0, &cStartB, &cEndB);CHKERRQ(ierr);
1344   ierr = DMGetCoordinateSection(dmA, &coordSectionA);CHKERRQ(ierr);
1345   ierr = DMGetCoordinateSection(dmB, &coordSectionB);CHKERRQ(ierr);
1346   if (coordSectionA == coordSectionB) PetscFunctionReturn(0);
1347   ierr = PetscSectionGetNumFields(coordSectionA, &Nf);CHKERRQ(ierr);
1348   if (!Nf) PetscFunctionReturn(0);
1349   if (Nf > 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "The number of coordinate fields must be 1, not %D", Nf);
1350   if (!coordSectionB) {
1351     PetscInt dim;
1352 
1353     ierr = PetscSectionCreate(PetscObjectComm((PetscObject) coordSectionA), &coordSectionB);CHKERRQ(ierr);
1354     ierr = DMGetCoordinateDim(dmA, &dim);CHKERRQ(ierr);
1355     ierr = DMSetCoordinateSection(dmB, dim, coordSectionB);CHKERRQ(ierr);
1356     ierr = PetscObjectDereference((PetscObject) coordSectionB);CHKERRQ(ierr);
1357   }
1358   ierr = PetscSectionSetNumFields(coordSectionB, 1);CHKERRQ(ierr);
1359   ierr = PetscSectionGetFieldComponents(coordSectionA, 0, &spaceDim);CHKERRQ(ierr);
1360   ierr = PetscSectionSetFieldComponents(coordSectionB, 0, spaceDim);CHKERRQ(ierr);
1361   ierr = PetscSectionGetChart(coordSectionA, &cS, &cE);CHKERRQ(ierr);
1362   if (cStartA <= cS && cS < cEndA) { /* localized coordinates */
1363     if ((cEndA-cStartA) != (cEndB-cStartB)) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "The number of cells in first DM %D != %D in the second DM", cEndA-cStartA, cEndB-cStartB);
1364     cS = cS - cStartA + cStartB;
1365     cE = vEndB;
1366     lc = PETSC_TRUE;
1367   } else {
1368     cS = vStartB;
1369     cE = vEndB;
1370   }
1371   ierr = PetscSectionSetChart(coordSectionB, cS, cE);CHKERRQ(ierr);
1372   for (v = vStartB; v < vEndB; ++v) {
1373     ierr = PetscSectionSetDof(coordSectionB, v, spaceDim);CHKERRQ(ierr);
1374     ierr = PetscSectionSetFieldDof(coordSectionB, v, 0, spaceDim);CHKERRQ(ierr);
1375   }
1376   if (lc) { /* localized coordinates */
1377     PetscInt c;
1378 
1379     for (c = cS-cStartB; c < cEndB-cStartB; c++) {
1380       PetscInt dof;
1381 
1382       ierr = PetscSectionGetDof(coordSectionA, c + cStartA, &dof);CHKERRQ(ierr);
1383       ierr = PetscSectionSetDof(coordSectionB, c + cStartB, dof);CHKERRQ(ierr);
1384       ierr = PetscSectionSetFieldDof(coordSectionB, c + cStartB, 0, dof);CHKERRQ(ierr);
1385     }
1386   }
1387   ierr = PetscSectionSetUp(coordSectionB);CHKERRQ(ierr);
1388   ierr = PetscSectionGetStorageSize(coordSectionB, &coordSizeB);CHKERRQ(ierr);
1389   ierr = DMGetCoordinatesLocal(dmA, &coordinatesA);CHKERRQ(ierr);
1390   ierr = VecCreate(PETSC_COMM_SELF, &coordinatesB);CHKERRQ(ierr);
1391   ierr = PetscObjectSetName((PetscObject) coordinatesB, "coordinates");CHKERRQ(ierr);
1392   ierr = VecSetSizes(coordinatesB, coordSizeB, PETSC_DETERMINE);CHKERRQ(ierr);
1393   ierr = VecGetBlockSize(coordinatesA, &d);CHKERRQ(ierr);
1394   ierr = VecSetBlockSize(coordinatesB, d);CHKERRQ(ierr);
1395   ierr = VecGetType(coordinatesA, &vtype);CHKERRQ(ierr);
1396   ierr = VecSetType(coordinatesB, vtype);CHKERRQ(ierr);
1397   ierr = VecGetArray(coordinatesA, &coordsA);CHKERRQ(ierr);
1398   ierr = VecGetArray(coordinatesB, &coordsB);CHKERRQ(ierr);
1399   for (v = 0; v < vEndB-vStartB; ++v) {
1400     PetscInt offA, offB;
1401 
1402     ierr = PetscSectionGetOffset(coordSectionA, v + vStartA, &offA);CHKERRQ(ierr);
1403     ierr = PetscSectionGetOffset(coordSectionB, v + vStartB, &offB);CHKERRQ(ierr);
1404     for (d = 0; d < spaceDim; ++d) {
1405       coordsB[offB+d] = coordsA[offA+d];
1406     }
1407   }
1408   if (lc) { /* localized coordinates */
1409     PetscInt c;
1410 
1411     for (c = cS-cStartB; c < cEndB-cStartB; c++) {
1412       PetscInt dof, offA, offB;
1413 
1414       ierr = PetscSectionGetOffset(coordSectionA, c + cStartA, &offA);CHKERRQ(ierr);
1415       ierr = PetscSectionGetOffset(coordSectionB, c + cStartB, &offB);CHKERRQ(ierr);
1416       ierr = PetscSectionGetDof(coordSectionA, c + cStartA, &dof);CHKERRQ(ierr);
1417       ierr = PetscArraycpy(coordsB + offB,coordsA + offA,dof);CHKERRQ(ierr);
1418     }
1419   }
1420   ierr = VecRestoreArray(coordinatesA, &coordsA);CHKERRQ(ierr);
1421   ierr = VecRestoreArray(coordinatesB, &coordsB);CHKERRQ(ierr);
1422   ierr = DMSetCoordinatesLocal(dmB, coordinatesB);CHKERRQ(ierr);
1423   ierr = VecDestroy(&coordinatesB);CHKERRQ(ierr);
1424   PetscFunctionReturn(0);
1425 }
1426 
1427 /*@
1428   DMPlexUninterpolate - Take in a mesh with all intermediate faces, edges, etc. and return a cell-vertex mesh
1429 
1430   Collective on dm
1431 
1432   Input Parameter:
1433 . dm - The complete DMPlex object
1434 
1435   Output Parameter:
1436 . dmUnint - The DMPlex object with only cells and vertices
1437 
1438   Level: intermediate
1439 
1440   Notes:
1441     It does not copy over the coordinates.
1442 
1443 .seealso: DMPlexInterpolate(), DMPlexCreateFromCellList(), DMPlexCopyCoordinates()
1444 @*/
1445 PetscErrorCode DMPlexUninterpolate(DM dm, DM *dmUnint)
1446 {
1447   DM             udm;
1448   PetscInt       dim, vStart, vEnd, cStart, cEnd, cMax, c, maxConeSize = 0, *cone;
1449   PetscErrorCode ierr;
1450 
1451   PetscFunctionBegin;
1452   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
1453   PetscValidPointer(dmUnint, 2);
1454   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
1455   if (dim <= 1) {
1456     ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr);
1457     *dmUnint = dm;
1458     PetscFunctionReturn(0);
1459   }
1460   ierr = DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd);CHKERRQ(ierr);
1461   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
1462   ierr = DMPlexGetHybridBounds(dm, &cMax, NULL, NULL, NULL);CHKERRQ(ierr);
1463   ierr = DMCreate(PetscObjectComm((PetscObject) dm), &udm);CHKERRQ(ierr);
1464   ierr = DMSetType(udm, DMPLEX);CHKERRQ(ierr);
1465   ierr = DMSetDimension(udm, dim);CHKERRQ(ierr);
1466   ierr = DMPlexSetChart(udm, cStart, vEnd);CHKERRQ(ierr);
1467   for (c = cStart; c < cEnd; ++c) {
1468     PetscInt *closure = NULL, closureSize, cl, coneSize = 0;
1469 
1470     ierr = DMPlexGetTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
1471     for (cl = 0; cl < closureSize*2; cl += 2) {
1472       const PetscInt p = closure[cl];
1473 
1474       if ((p >= vStart) && (p < vEnd)) ++coneSize;
1475     }
1476     ierr = DMPlexRestoreTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
1477     ierr = DMPlexSetConeSize(udm, c, coneSize);CHKERRQ(ierr);
1478     maxConeSize = PetscMax(maxConeSize, coneSize);
1479   }
1480   ierr = DMSetUp(udm);CHKERRQ(ierr);
1481   ierr = PetscMalloc1(maxConeSize, &cone);CHKERRQ(ierr);
1482   for (c = cStart; c < cEnd; ++c) {
1483     PetscInt *closure = NULL, closureSize, cl, coneSize = 0;
1484 
1485     ierr = DMPlexGetTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
1486     for (cl = 0; cl < closureSize*2; cl += 2) {
1487       const PetscInt p = closure[cl];
1488 
1489       if ((p >= vStart) && (p < vEnd)) cone[coneSize++] = p;
1490     }
1491     ierr = DMPlexRestoreTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
1492     ierr = DMPlexSetCone(udm, c, cone);CHKERRQ(ierr);
1493   }
1494   ierr = PetscFree(cone);CHKERRQ(ierr);
1495   ierr = DMPlexSetHybridBounds(udm, cMax, PETSC_DETERMINE, PETSC_DETERMINE, PETSC_DETERMINE);CHKERRQ(ierr);
1496   ierr = DMPlexSymmetrize(udm);CHKERRQ(ierr);
1497   ierr = DMPlexStratify(udm);CHKERRQ(ierr);
1498   /* Reduce SF */
1499   {
1500     PetscSF            sfPoint, sfPointUn;
1501     const PetscSFNode *remotePoints;
1502     const PetscInt    *localPoints;
1503     PetscSFNode       *remotePointsUn;
1504     PetscInt          *localPointsUn;
1505     PetscInt           vEnd, numRoots, numLeaves, l;
1506     PetscInt           numLeavesUn = 0, n = 0;
1507     PetscErrorCode     ierr;
1508 
1509     /* Get original SF information */
1510     ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr);
1511     ierr = DMGetPointSF(udm, &sfPointUn);CHKERRQ(ierr);
1512     ierr = DMPlexGetDepthStratum(dm, 0, NULL, &vEnd);CHKERRQ(ierr);
1513     ierr = PetscSFGetGraph(sfPoint, &numRoots, &numLeaves, &localPoints, &remotePoints);CHKERRQ(ierr);
1514     /* Allocate space for cells and vertices */
1515     for (l = 0; l < numLeaves; ++l) if (localPoints[l] < vEnd) numLeavesUn++;
1516     /* Fill in leaves */
1517     if (vEnd >= 0) {
1518       ierr = PetscMalloc1(numLeavesUn, &remotePointsUn);CHKERRQ(ierr);
1519       ierr = PetscMalloc1(numLeavesUn, &localPointsUn);CHKERRQ(ierr);
1520       for (l = 0; l < numLeaves; l++) {
1521         if (localPoints[l] < vEnd) {
1522           localPointsUn[n]        = localPoints[l];
1523           remotePointsUn[n].rank  = remotePoints[l].rank;
1524           remotePointsUn[n].index = remotePoints[l].index;
1525           ++n;
1526         }
1527       }
1528       if (n != numLeavesUn) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent number of leaves %d != %d", n, numLeavesUn);
1529       ierr = PetscSFSetGraph(sfPointUn, vEnd, numLeavesUn, localPointsUn, PETSC_OWN_POINTER, remotePointsUn, PETSC_OWN_POINTER);CHKERRQ(ierr);
1530     }
1531   }
1532   {
1533     PetscBool            isper;
1534     const PetscReal      *maxCell, *L;
1535     const DMBoundaryType *bd;
1536 
1537     ierr = DMGetPeriodicity(dm,&isper,&maxCell,&L,&bd);CHKERRQ(ierr);
1538     ierr = DMSetPeriodicity(udm,isper,maxCell,L,bd);CHKERRQ(ierr);
1539   }
1540 
1541   *dmUnint = udm;
1542   PetscFunctionReturn(0);
1543 }
1544