xref: /petsc/src/dm/impls/plex/plexinterpolate.c (revision e9fa77a147e78afc60c94377e66a31d6beab20bf)
1af0996ceSBarry Smith #include <petsc/private/dmpleximpl.h>   /*I      "petscdmplex.h"   I*/
2e8f14785SLisandro Dalcin #include <petsc/private/hashmapi.h>
3e8f14785SLisandro Dalcin #include <petsc/private/hashmapij.h>
4e8f14785SLisandro Dalcin 
5e8f14785SLisandro Dalcin /* HashIJKL */
6e8f14785SLisandro Dalcin 
7e8f14785SLisandro Dalcin #include <petsc/private/hashmap.h>
8e8f14785SLisandro Dalcin 
9e8f14785SLisandro Dalcin typedef struct _PetscHashIJKLKey { PetscInt i, j, k, l; } PetscHashIJKLKey;
10e8f14785SLisandro Dalcin 
11e8f14785SLisandro Dalcin #define PetscHashIJKLKeyHash(key) \
12e8f14785SLisandro Dalcin   PetscHashCombine(PetscHashCombine(PetscHashInt((key).i),PetscHashInt((key).j)), \
13e8f14785SLisandro Dalcin                    PetscHashCombine(PetscHashInt((key).k),PetscHashInt((key).l)))
14e8f14785SLisandro Dalcin 
15e8f14785SLisandro Dalcin #define PetscHashIJKLKeyEqual(k1,k2) \
16e8f14785SLisandro Dalcin   (((k1).i==(k2).i) ? ((k1).j==(k2).j) ? ((k1).k==(k2).k) ? ((k1).l==(k2).l) : 0 : 0 : 0)
17e8f14785SLisandro Dalcin 
18e8f14785SLisandro Dalcin PETSC_HASH_MAP(HashIJKL, PetscHashIJKLKey, PetscInt, PetscHashIJKLKeyHash, PetscHashIJKLKeyEqual, -1)
19e8f14785SLisandro Dalcin 
209f074e33SMatthew G Knepley 
219f074e33SMatthew G Knepley /*
229a5b13a2SMatthew G Knepley   DMPlexGetFaces_Internal - Gets groups of vertices that correspond to faces for the given cell
23cd921712SStefano Zampini   This assumes that the mesh is not interpolated from the depth of point p to the vertices
249f074e33SMatthew G Knepley */
25439ece16SMatthew G. Knepley PetscErrorCode DMPlexGetFaces_Internal(DM dm, PetscInt dim, PetscInt p, PetscInt *numFaces, PetscInt *faceSize, const PetscInt *faces[])
269f074e33SMatthew G Knepley {
279f074e33SMatthew G Knepley   const PetscInt *cone = NULL;
28cd921712SStefano Zampini   PetscInt        coneSize;
299f074e33SMatthew G Knepley   PetscErrorCode  ierr;
309f074e33SMatthew G Knepley 
319f074e33SMatthew G Knepley   PetscFunctionBegin;
329f074e33SMatthew G Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
339f074e33SMatthew G Knepley   ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
349f074e33SMatthew G Knepley   ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
35439ece16SMatthew G. Knepley   ierr = DMPlexGetRawFaces_Internal(dm, dim, coneSize, cone, numFaces, faceSize, faces);CHKERRQ(ierr);
36439ece16SMatthew G. Knepley   PetscFunctionReturn(0);
37439ece16SMatthew G. Knepley }
38439ece16SMatthew G. Knepley 
39439ece16SMatthew G. Knepley /*
40439ece16SMatthew G. Knepley   DMPlexRestoreFaces_Internal - Restores the array
41439ece16SMatthew G. Knepley */
42439ece16SMatthew G. Knepley PetscErrorCode DMPlexRestoreFaces_Internal(DM dm, PetscInt dim, PetscInt p, PetscInt *numFaces, PetscInt *faceSize, const PetscInt *faces[])
43439ece16SMatthew G. Knepley {
44439ece16SMatthew G. Knepley   PetscErrorCode  ierr;
45439ece16SMatthew G. Knepley 
46439ece16SMatthew G. Knepley   PetscFunctionBegin;
47cd921712SStefano Zampini   if (faces) { ierr = DMRestoreWorkArray(dm, 0, MPIU_INT, (void *) faces);CHKERRQ(ierr); }
48439ece16SMatthew G. Knepley   PetscFunctionReturn(0);
49439ece16SMatthew G. Knepley }
50439ece16SMatthew G. Knepley 
51439ece16SMatthew G. Knepley /*
52439ece16SMatthew G. Knepley   DMPlexGetRawFaces_Internal - Gets groups of vertices that correspond to faces for the given cone
53439ece16SMatthew G. Knepley */
54439ece16SMatthew G. Knepley PetscErrorCode DMPlexGetRawFaces_Internal(DM dm, PetscInt dim, PetscInt coneSize, const PetscInt cone[], PetscInt *numFaces, PetscInt *faceSize, const PetscInt *faces[])
55439ece16SMatthew G. Knepley {
56439ece16SMatthew G. Knepley   PetscInt       *facesTmp;
57439ece16SMatthew G. Knepley   PetscInt        maxConeSize, maxSupportSize;
58439ece16SMatthew G. Knepley   PetscErrorCode  ierr;
59439ece16SMatthew G. Knepley 
60439ece16SMatthew G. Knepley   PetscFunctionBegin;
61439ece16SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
62cd921712SStefano Zampini   if (faces && coneSize) PetscValidIntPointer(cone,4);
63439ece16SMatthew G. Knepley   ierr = DMPlexGetMaxSizes(dm, &maxConeSize, &maxSupportSize);CHKERRQ(ierr);
6469291d52SBarry Smith   if (faces) {ierr = DMGetWorkArray(dm, PetscSqr(PetscMax(maxConeSize, maxSupportSize)), MPIU_INT, &facesTmp);CHKERRQ(ierr);}
659f074e33SMatthew G Knepley   switch (dim) {
66c49d9212SMatthew G. Knepley   case 1:
67c49d9212SMatthew G. Knepley     switch (coneSize) {
68c49d9212SMatthew G. Knepley     case 2:
69c49d9212SMatthew G. Knepley       if (faces) {
70c49d9212SMatthew G. Knepley         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
71c49d9212SMatthew G. Knepley         *faces = facesTmp;
72c49d9212SMatthew G. Knepley       }
73c49d9212SMatthew G. Knepley       if (numFaces) *numFaces = 2;
74c49d9212SMatthew G. Knepley       if (faceSize) *faceSize = 1;
75c49d9212SMatthew G. Knepley       break;
76c49d9212SMatthew G. Knepley     default:
7799836e0eSStefano Zampini       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
78c49d9212SMatthew G. Knepley     }
79c49d9212SMatthew G. Knepley     break;
809f074e33SMatthew G Knepley   case 2:
819f074e33SMatthew G Knepley     switch (coneSize) {
829f074e33SMatthew G Knepley     case 3:
839a5b13a2SMatthew G Knepley       if (faces) {
849a5b13a2SMatthew G Knepley         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
859a5b13a2SMatthew G Knepley         facesTmp[2] = cone[1]; facesTmp[3] = cone[2];
869a5b13a2SMatthew G Knepley         facesTmp[4] = cone[2]; facesTmp[5] = cone[0];
879a5b13a2SMatthew G Knepley         *faces = facesTmp;
889a5b13a2SMatthew G Knepley       }
899a5b13a2SMatthew G Knepley       if (numFaces) *numFaces = 3;
909a5b13a2SMatthew G Knepley       if (faceSize) *faceSize = 2;
919f074e33SMatthew G Knepley       break;
929f074e33SMatthew G Knepley     case 4:
939a5b13a2SMatthew G Knepley       /* Vertices follow right hand rule */
949a5b13a2SMatthew G Knepley       if (faces) {
959a5b13a2SMatthew G Knepley         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
969a5b13a2SMatthew G Knepley         facesTmp[2] = cone[1]; facesTmp[3] = cone[2];
979a5b13a2SMatthew G Knepley         facesTmp[4] = cone[2]; facesTmp[5] = cone[3];
989a5b13a2SMatthew G Knepley         facesTmp[6] = cone[3]; facesTmp[7] = cone[0];
999a5b13a2SMatthew G Knepley         *faces = facesTmp;
1009a5b13a2SMatthew G Knepley       }
1019a5b13a2SMatthew G Knepley       if (numFaces) *numFaces = 4;
1029a5b13a2SMatthew G Knepley       if (faceSize) *faceSize = 2;
1039f074e33SMatthew G Knepley       break;
1049f074e33SMatthew G Knepley     default:
10599836e0eSStefano Zampini       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
1069f074e33SMatthew G Knepley     }
1079f074e33SMatthew G Knepley     break;
1089f074e33SMatthew G Knepley   case 3:
1099f074e33SMatthew G Knepley     switch (coneSize) {
1109f074e33SMatthew G Knepley     case 3:
1119a5b13a2SMatthew G Knepley       if (faces) {
1129a5b13a2SMatthew G Knepley         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
1139a5b13a2SMatthew G Knepley         facesTmp[2] = cone[1]; facesTmp[3] = cone[2];
1149a5b13a2SMatthew G Knepley         facesTmp[4] = cone[2]; facesTmp[5] = cone[0];
1159a5b13a2SMatthew G Knepley         *faces = facesTmp;
1169a5b13a2SMatthew G Knepley       }
1179a5b13a2SMatthew G Knepley       if (numFaces) *numFaces = 3;
1189a5b13a2SMatthew G Knepley       if (faceSize) *faceSize = 2;
1199f074e33SMatthew G Knepley       break;
1209f074e33SMatthew G Knepley     case 4:
1212e1b13c2SMatthew G. Knepley       /* Vertices of first face follow right hand rule and normal points away from last vertex */
1229a5b13a2SMatthew G Knepley       if (faces) {
1232e1b13c2SMatthew G. Knepley         facesTmp[0] = cone[0]; facesTmp[1]  = cone[1]; facesTmp[2]  = cone[2];
1242e1b13c2SMatthew G. Knepley         facesTmp[3] = cone[0]; facesTmp[4]  = cone[3]; facesTmp[5]  = cone[1];
1252e1b13c2SMatthew G. Knepley         facesTmp[6] = cone[0]; facesTmp[7]  = cone[2]; facesTmp[8]  = cone[3];
1262e1b13c2SMatthew G. Knepley         facesTmp[9] = cone[2]; facesTmp[10] = cone[1]; facesTmp[11] = cone[3];
1279a5b13a2SMatthew G Knepley         *faces = facesTmp;
1289a5b13a2SMatthew G Knepley       }
1299a5b13a2SMatthew G Knepley       if (numFaces) *numFaces = 4;
1309a5b13a2SMatthew G Knepley       if (faceSize) *faceSize = 3;
1319a5b13a2SMatthew G Knepley       break;
1329a5b13a2SMatthew G Knepley     case 8:
133e368ef20SMatthew G. Knepley       /*  7--------6
134e368ef20SMatthew G. Knepley          /|       /|
135e368ef20SMatthew G. Knepley         / |      / |
136e368ef20SMatthew G. Knepley        4--------5  |
137e368ef20SMatthew G. Knepley        |  |     |  |
138e368ef20SMatthew G. Knepley        |  |     |  |
139e368ef20SMatthew G. Knepley        |  1--------2
140e368ef20SMatthew G. Knepley        | /      | /
141e368ef20SMatthew G. Knepley        |/       |/
142e368ef20SMatthew G. Knepley        0--------3
143e368ef20SMatthew G. Knepley        */
1449a5b13a2SMatthew G Knepley       if (faces) {
14551cfd6a4SMatthew G. Knepley         facesTmp[0]  = cone[0]; facesTmp[1]  = cone[1]; facesTmp[2]  = cone[2]; facesTmp[3]  = cone[3]; /* Bottom */
14651cfd6a4SMatthew G. Knepley         facesTmp[4]  = cone[4]; facesTmp[5]  = cone[5]; facesTmp[6]  = cone[6]; facesTmp[7]  = cone[7]; /* Top */
14751cfd6a4SMatthew G. Knepley         facesTmp[8]  = cone[0]; facesTmp[9]  = cone[3]; facesTmp[10] = cone[5]; facesTmp[11] = cone[4]; /* Front */
14851cfd6a4SMatthew G. Knepley         facesTmp[12] = cone[2]; facesTmp[13] = cone[1]; facesTmp[14] = cone[7]; facesTmp[15] = cone[6]; /* Back */
14951cfd6a4SMatthew G. Knepley         facesTmp[16] = cone[3]; facesTmp[17] = cone[2]; facesTmp[18] = cone[6]; facesTmp[19] = cone[5]; /* Right */
15051cfd6a4SMatthew G. Knepley         facesTmp[20] = cone[0]; facesTmp[21] = cone[4]; facesTmp[22] = cone[7]; facesTmp[23] = cone[1]; /* Left */
1519a5b13a2SMatthew G Knepley         *faces = facesTmp;
1529a5b13a2SMatthew G Knepley       }
1539a5b13a2SMatthew G Knepley       if (numFaces) *numFaces = 6;
1549a5b13a2SMatthew G Knepley       if (faceSize) *faceSize = 4;
1559f074e33SMatthew G Knepley       break;
1569f074e33SMatthew G Knepley     default:
15799836e0eSStefano Zampini       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
1589f074e33SMatthew G Knepley     }
1599f074e33SMatthew G Knepley     break;
1609f074e33SMatthew G Knepley   default:
16199836e0eSStefano Zampini     SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Dimension %D not supported", dim);
1629f074e33SMatthew G Knepley   }
1639f074e33SMatthew G Knepley   PetscFunctionReturn(0);
1649f074e33SMatthew G Knepley }
1659f074e33SMatthew G Knepley 
16699836e0eSStefano Zampini /*
16799836e0eSStefano Zampini   DMPlexGetRawFacesHybrid_Internal - Gets groups of vertices that correspond to faces for the given cone using hybrid ordering (prisms)
16899836e0eSStefano Zampini */
16999836e0eSStefano Zampini static PetscErrorCode DMPlexGetRawFacesHybrid_Internal(DM dm, PetscInt dim, PetscInt coneSize, const PetscInt cone[], PetscInt *numFaces, PetscInt *numFacesNotH, PetscInt *faceSize, const PetscInt *faces[])
17099836e0eSStefano Zampini {
17199836e0eSStefano Zampini   PetscInt       *facesTmp;
17299836e0eSStefano Zampini   PetscInt        maxConeSize, maxSupportSize;
17399836e0eSStefano Zampini   PetscErrorCode  ierr;
17499836e0eSStefano Zampini 
17599836e0eSStefano Zampini   PetscFunctionBegin;
17699836e0eSStefano Zampini   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
17799836e0eSStefano Zampini   if (faces && coneSize) PetscValidIntPointer(cone,4);
17899836e0eSStefano Zampini   ierr = DMPlexGetMaxSizes(dm, &maxConeSize, &maxSupportSize);CHKERRQ(ierr);
17999836e0eSStefano Zampini   if (faces) {ierr = DMGetWorkArray(dm, PetscSqr(PetscMax(maxConeSize, maxSupportSize)), MPIU_INT, &facesTmp);CHKERRQ(ierr);}
18099836e0eSStefano Zampini   switch (dim) {
18199836e0eSStefano Zampini   case 1:
18299836e0eSStefano Zampini     switch (coneSize) {
18399836e0eSStefano Zampini     case 2:
18499836e0eSStefano Zampini       if (faces) {
18599836e0eSStefano Zampini         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
18699836e0eSStefano Zampini         *faces = facesTmp;
18799836e0eSStefano Zampini       }
18899836e0eSStefano Zampini       if (numFaces)     *numFaces = 2;
18999836e0eSStefano Zampini       if (numFacesNotH) *numFacesNotH = 2;
19099836e0eSStefano Zampini       if (faceSize)     *faceSize = 1;
19199836e0eSStefano Zampini       break;
19299836e0eSStefano Zampini     default:
19399836e0eSStefano Zampini       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
19499836e0eSStefano Zampini     }
19599836e0eSStefano Zampini     break;
19699836e0eSStefano Zampini   case 2:
19799836e0eSStefano Zampini     switch (coneSize) {
19899836e0eSStefano Zampini     case 4:
19999836e0eSStefano Zampini       if (faces) {
20099836e0eSStefano Zampini         facesTmp[0] = cone[0]; facesTmp[1] = cone[1];
20199836e0eSStefano Zampini         facesTmp[2] = cone[2]; facesTmp[3] = cone[3];
20299836e0eSStefano Zampini         facesTmp[4] = cone[0]; facesTmp[5] = cone[2];
20399836e0eSStefano Zampini         facesTmp[6] = cone[1]; facesTmp[7] = cone[3];
20499836e0eSStefano Zampini         *faces = facesTmp;
20599836e0eSStefano Zampini       }
20699836e0eSStefano Zampini       if (numFaces)     *numFaces = 4;
20799836e0eSStefano Zampini       if (numFacesNotH) *numFacesNotH = 2;
20899836e0eSStefano Zampini       if (faceSize)     *faceSize = 2;
20999836e0eSStefano Zampini       break;
21099836e0eSStefano Zampini     default:
21199836e0eSStefano Zampini       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
21299836e0eSStefano Zampini     }
21399836e0eSStefano Zampini     break;
21499836e0eSStefano Zampini   case 3:
21599836e0eSStefano Zampini     switch (coneSize) {
21699836e0eSStefano Zampini     case 6: /* triangular prism */
21799836e0eSStefano Zampini       if (faces) {
21899836e0eSStefano Zampini         facesTmp[0]  = cone[0]; facesTmp[1]  = cone[1]; facesTmp[2]  = cone[2]; facesTmp[3]  = -1;      /* Bottom */
21999836e0eSStefano Zampini         facesTmp[4]  = cone[3]; facesTmp[5]  = cone[4]; facesTmp[6]  = cone[5]; facesTmp[7]  = -1;      /* Top */
22099836e0eSStefano Zampini         facesTmp[8]  = cone[0]; facesTmp[9]  = cone[1]; facesTmp[10] = cone[3]; facesTmp[11] = cone[4]; /* Back left */
22199836e0eSStefano Zampini         facesTmp[12] = cone[1]; facesTmp[13] = cone[2]; facesTmp[14] = cone[4]; facesTmp[15] = cone[5]; /* Back right */
22299836e0eSStefano Zampini         facesTmp[16] = cone[2]; facesTmp[17] = cone[0]; facesTmp[18] = cone[5]; facesTmp[19] = cone[3]; /* Front */
22399836e0eSStefano Zampini         *faces = facesTmp;
22499836e0eSStefano Zampini       }
22599836e0eSStefano Zampini       if (numFaces)     *numFaces = 5;
22699836e0eSStefano Zampini       if (numFacesNotH) *numFacesNotH = 2;
22799836e0eSStefano Zampini       if (faceSize)     *faceSize = -4;
22899836e0eSStefano Zampini       break;
22999836e0eSStefano Zampini     default:
23099836e0eSStefano Zampini       SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cone size %D not supported for dimension %D", coneSize, dim);
23199836e0eSStefano Zampini     }
23299836e0eSStefano Zampini     break;
23399836e0eSStefano Zampini   default:
23499836e0eSStefano Zampini     SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Dimension %D not supported", dim);
23599836e0eSStefano Zampini   }
23699836e0eSStefano Zampini   PetscFunctionReturn(0);
23799836e0eSStefano Zampini }
23899836e0eSStefano Zampini 
23999836e0eSStefano Zampini static PetscErrorCode DMPlexRestoreRawFacesHybrid_Internal(DM dm, PetscInt dim, PetscInt coneSize, const PetscInt cone[], PetscInt *numFaces, PetscInt *numFacesNotH, PetscInt *faceSize, const PetscInt *faces[])
24099836e0eSStefano Zampini {
24199836e0eSStefano Zampini   PetscErrorCode  ierr;
24299836e0eSStefano Zampini 
24399836e0eSStefano Zampini   PetscFunctionBegin;
24499836e0eSStefano Zampini   if (faces) { ierr = DMRestoreWorkArray(dm, 0, MPIU_INT, (void *) faces);CHKERRQ(ierr); }
24599836e0eSStefano Zampini   PetscFunctionReturn(0);
24699836e0eSStefano Zampini }
24799836e0eSStefano Zampini 
24899836e0eSStefano Zampini static PetscErrorCode DMPlexGetFacesHybrid_Internal(DM dm, PetscInt dim, PetscInt p, PetscInt *numFaces, PetscInt *numFacesNotH, PetscInt *faceSize, const PetscInt *faces[])
24999836e0eSStefano Zampini {
25099836e0eSStefano Zampini   const PetscInt *cone = NULL;
25199836e0eSStefano Zampini   PetscInt        coneSize;
25299836e0eSStefano Zampini   PetscErrorCode  ierr;
25399836e0eSStefano Zampini 
25499836e0eSStefano Zampini   PetscFunctionBegin;
25599836e0eSStefano Zampini   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
25699836e0eSStefano Zampini   ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
25799836e0eSStefano Zampini   ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
25899836e0eSStefano Zampini   ierr = DMPlexGetRawFacesHybrid_Internal(dm, dim, coneSize, cone, numFaces, numFacesNotH, faceSize, faces);CHKERRQ(ierr);
25999836e0eSStefano Zampini   PetscFunctionReturn(0);
26099836e0eSStefano Zampini }
26199836e0eSStefano Zampini 
2629a5b13a2SMatthew G Knepley /* This interpolates faces for cells at some stratum */
2639a5b13a2SMatthew G Knepley static PetscErrorCode DMPlexInterpolateFaces_Internal(DM dm, PetscInt cellDepth, DM idm)
2649f074e33SMatthew G Knepley {
265d4efc6f1SMatthew G. Knepley   DMLabel        subpointMap;
2669a5b13a2SMatthew G Knepley   PetscHashIJKL  faceTable;
2679a5b13a2SMatthew G Knepley   PetscInt      *pStart, *pEnd;
2689a5b13a2SMatthew G Knepley   PetscInt       cellDim, depth, faceDepth = cellDepth, numPoints = 0, faceSizeAll = 0, face, c, d;
269*e9fa77a1SMatthew G. Knepley   PetscInt       coneSizeH = 0, faceSizeAllH = 0, faceSizeAllT = 0, numCellFacesH = 0, faceT = 0, faceH, pMax = -1, dim, outerloop;
27099836e0eSStefano Zampini   PetscInt       cMax, fMax, eMax, vMax;
2719f074e33SMatthew G Knepley   PetscErrorCode ierr;
2729f074e33SMatthew G Knepley 
2739f074e33SMatthew G Knepley   PetscFunctionBegin;
274c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dm, &cellDim);CHKERRQ(ierr);
275d4efc6f1SMatthew G. Knepley   /* HACK: I need a better way to determine face dimension, or an alternative to GetFaces() */
276d4efc6f1SMatthew G. Knepley   ierr = DMPlexGetSubpointMap(dm, &subpointMap);CHKERRQ(ierr);
277d4efc6f1SMatthew G. Knepley   if (subpointMap) ++cellDim;
2789a5b13a2SMatthew G Knepley   ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr);
2799a5b13a2SMatthew G Knepley   ++depth;
2809a5b13a2SMatthew G Knepley   ++cellDepth;
2819a5b13a2SMatthew G Knepley   cellDim -= depth - cellDepth;
282dcca6d9dSJed Brown   ierr = PetscMalloc2(depth+1,&pStart,depth+1,&pEnd);CHKERRQ(ierr);
2839a5b13a2SMatthew G Knepley   for (d = depth-1; d >= faceDepth; --d) {
2849a5b13a2SMatthew G Knepley     ierr = DMPlexGetDepthStratum(dm, d, &pStart[d+1], &pEnd[d+1]);CHKERRQ(ierr);
2859f074e33SMatthew G Knepley   }
2869a5b13a2SMatthew G Knepley   ierr = DMPlexGetDepthStratum(dm, -1, NULL, &pStart[faceDepth]);CHKERRQ(ierr);
2879a5b13a2SMatthew G Knepley   pEnd[faceDepth] = pStart[faceDepth];
2889a5b13a2SMatthew G Knepley   for (d = faceDepth-1; d >= 0; --d) {
2899a5b13a2SMatthew G Knepley     ierr = DMPlexGetDepthStratum(dm, d, &pStart[d], &pEnd[d]);CHKERRQ(ierr);
2909f074e33SMatthew G Knepley   }
29199836e0eSStefano Zampini   cMax = fMax = eMax = vMax = PETSC_DETERMINE;
29299836e0eSStefano Zampini   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
29399836e0eSStefano Zampini   if (cellDim == dim) {
29499836e0eSStefano Zampini     ierr = DMPlexGetHybridBounds(dm, &cMax, NULL, NULL, NULL);CHKERRQ(ierr);
29599836e0eSStefano Zampini     pMax = cMax;
29699836e0eSStefano Zampini   } else if (cellDim == dim -1) {
29799836e0eSStefano Zampini     ierr = DMPlexGetHybridBounds(dm, &cMax, &fMax, NULL, NULL);CHKERRQ(ierr);
29899836e0eSStefano Zampini     pMax = fMax;
29999836e0eSStefano Zampini   }
30099836e0eSStefano Zampini   pMax = pMax < 0 ? pEnd[cellDepth] : pMax;
30199836e0eSStefano Zampini   if (pMax < pEnd[cellDepth]) {
30299836e0eSStefano Zampini     const PetscInt *cellFaces, *cone;
30399836e0eSStefano Zampini     PetscInt        numCellFacesT, faceSize, cf;
3049f074e33SMatthew G Knepley 
305*e9fa77a1SMatthew G. Knepley     /* First get normal cell face size (we now allow hybrid cells to meet normal cells on either hybrid or normal faces */
306*e9fa77a1SMatthew G. Knepley     ierr = DMPlexGetFaces_Internal(dm, cellDim, pStart[cellDepth], NULL, &faceSizeAll, NULL);CHKERRQ(ierr);
307*e9fa77a1SMatthew G. Knepley 
30899836e0eSStefano Zampini     ierr = DMPlexGetConeSize(dm, pMax, &coneSizeH);CHKERRQ(ierr);
30999836e0eSStefano Zampini     ierr = DMPlexGetCone(dm, pMax, &cone);CHKERRQ(ierr);
31099836e0eSStefano Zampini     ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSizeH, cone, &numCellFacesH, &numCellFacesT, &faceSize, &cellFaces);CHKERRQ(ierr);
31199836e0eSStefano Zampini     if (faceSize < 0) {
31299836e0eSStefano Zampini       PetscInt *sizes, minv, maxv;
31399836e0eSStefano Zampini 
31499836e0eSStefano Zampini       /* count vertices of hybrid and non-hybrid faces */
31599836e0eSStefano Zampini       ierr = PetscCalloc1(numCellFacesH, &sizes);CHKERRQ(ierr);
31699836e0eSStefano Zampini       for (cf = 0; cf < numCellFacesT; ++cf) { /* These are the non-hybrid faces */
31799836e0eSStefano Zampini         const PetscInt *cellFace = &cellFaces[-cf*faceSize];
31899836e0eSStefano Zampini         PetscInt       f;
31999836e0eSStefano Zampini 
32099836e0eSStefano Zampini         for (f = 0; f < -faceSize; ++f) sizes[cf] += (cellFace[f] >= 0 ? 1 : 0);
32199836e0eSStefano Zampini       }
32299836e0eSStefano Zampini       ierr = PetscSortInt(numCellFacesT, sizes);CHKERRQ(ierr);
32399836e0eSStefano Zampini       minv = sizes[0];
32499836e0eSStefano Zampini       maxv = sizes[PetscMax(numCellFacesT-1, 0)];
32599836e0eSStefano Zampini       if (minv != maxv) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Different number of vertices for non-hybrid face %D != %D", minv, maxv);
326*e9fa77a1SMatthew G. Knepley       faceSizeAllT = minv;
32799836e0eSStefano Zampini       ierr = PetscMemzero(sizes, numCellFacesH*sizeof(PetscInt));CHKERRQ(ierr);
32899836e0eSStefano Zampini       for (cf = numCellFacesT; cf < numCellFacesH; ++cf) { /* These are the hybrid faces */
32999836e0eSStefano Zampini         const PetscInt *cellFace = &cellFaces[-cf*faceSize];
33099836e0eSStefano Zampini         PetscInt       f;
33199836e0eSStefano Zampini 
33299836e0eSStefano Zampini         for (f = 0; f < -faceSize; ++f) sizes[cf-numCellFacesT] += (cellFace[f] >= 0 ? 1 : 0);
33399836e0eSStefano Zampini       }
33499836e0eSStefano Zampini       ierr = PetscSortInt(numCellFacesH - numCellFacesT, sizes);CHKERRQ(ierr);
33599836e0eSStefano Zampini       minv = sizes[0];
33699836e0eSStefano Zampini       maxv = sizes[PetscMax(numCellFacesH - numCellFacesT-1, 0)];
33799836e0eSStefano Zampini       ierr = PetscFree(sizes);CHKERRQ(ierr);
33899836e0eSStefano Zampini       if (minv != maxv) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Different number of vertices for hybrid face %D != %D", minv, maxv);
33999836e0eSStefano Zampini       faceSizeAllH = minv;
34099836e0eSStefano Zampini     } else { /* the size of the faces in hybrid cells is the same */
341*e9fa77a1SMatthew G. Knepley       faceSizeAll = faceSizeAllH = faceSizeAllT = faceSize;
34299836e0eSStefano Zampini     }
34399836e0eSStefano Zampini     ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSizeH, cone, &numCellFacesH, &numCellFacesT, &faceSize, &cellFaces);CHKERRQ(ierr);
34499836e0eSStefano Zampini   } else if (pEnd[cellDepth] > pStart[cellDepth]) {
34599836e0eSStefano Zampini     ierr = DMPlexGetFaces_Internal(dm, cellDim, pStart[cellDepth], NULL, &faceSizeAll, NULL);CHKERRQ(ierr);
34699836e0eSStefano Zampini   }
34799836e0eSStefano Zampini   if (faceSizeAll > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSizeAll);
34899836e0eSStefano Zampini 
349b135d7daSStefano Zampini   /* With hybrid grids, we first iterate on hybrid cells and start numbering the non-hybrid faces
35099836e0eSStefano Zampini      Then, faces for non-hybrid cells are numbered.
35199836e0eSStefano Zampini      This is to guarantee consistent orientations (all 0) of all the points in the cone of the hybrid cells */
35299836e0eSStefano Zampini   ierr = PetscHashIJKLCreate(&faceTable);CHKERRQ(ierr);
35399836e0eSStefano Zampini   for (outerloop = 0, face = pStart[faceDepth]; outerloop < 2; outerloop++) {
35499836e0eSStefano Zampini     PetscInt start, end;
35599836e0eSStefano Zampini 
35699836e0eSStefano Zampini     start = outerloop == 0 ? pMax : pStart[cellDepth];
35799836e0eSStefano Zampini     end = outerloop == 0 ? pEnd[cellDepth] : pMax;
35899836e0eSStefano Zampini     for (c = start; c < end; ++c) {
35999836e0eSStefano Zampini       const PetscInt *cellFaces;
360*e9fa77a1SMatthew G. Knepley       PetscInt        numCellFaces, faceSize, faceSizeInc, faceSizeCheck, cf;
36199836e0eSStefano Zampini 
36299836e0eSStefano Zampini       if (c < pMax) {
3639a5b13a2SMatthew G Knepley         ierr = DMPlexGetFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr);
3649a5b13a2SMatthew G Knepley         if (faceSize != faceSizeAll) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent face for cell %D of size %D != %D", c, faceSize, faceSizeAll);
365*e9fa77a1SMatthew G. Knepley         faceSizeCheck = faceSizeAll;
36699836e0eSStefano Zampini       } else { /* Hybrid cell */
36799836e0eSStefano Zampini         const PetscInt *cone;
36899836e0eSStefano Zampini         PetscInt        numCellFacesN, coneSize;
36999836e0eSStefano Zampini 
37099836e0eSStefano Zampini         ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr);
37199836e0eSStefano Zampini         if (coneSize != coneSizeH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid coneSize %D != %D", coneSize, coneSizeH);
37299836e0eSStefano Zampini         ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr);
37399836e0eSStefano Zampini         ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
37499836e0eSStefano Zampini         if (numCellFaces != numCellFacesH) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected numCellFaces %D != %D for hybrid cell %D", numCellFaces, numCellFacesH, c);
37599836e0eSStefano Zampini         faceSize = PetscMax(faceSize, -faceSize);
37699836e0eSStefano Zampini         if (faceSize > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSize);
37799836e0eSStefano Zampini         numCellFaces = numCellFacesN; /* process only non-hybrid faces */
378*e9fa77a1SMatthew G. Knepley         faceSizeCheck = faceSizeAllT;
37999836e0eSStefano Zampini       }
38099836e0eSStefano Zampini       faceSizeInc = faceSize;
3819f074e33SMatthew G Knepley       for (cf = 0; cf < numCellFaces; ++cf) {
38299836e0eSStefano Zampini         const PetscInt   *cellFace = &cellFaces[cf*faceSizeInc];
38399836e0eSStefano Zampini         PetscInt          faceSizeH = faceSize;
3849a5b13a2SMatthew G Knepley         PetscHashIJKLKey  key;
385e8f14785SLisandro Dalcin         PetscHashIter     iter;
386e8f14785SLisandro Dalcin         PetscBool         missing;
3879f074e33SMatthew G Knepley 
38899836e0eSStefano Zampini         if (faceSizeInc == 2) {
3899a5b13a2SMatthew G Knepley           key.i = PetscMin(cellFace[0], cellFace[1]);
3909a5b13a2SMatthew G Knepley           key.j = PetscMax(cellFace[0], cellFace[1]);
39199836e0eSStefano Zampini           key.k = PETSC_MAX_INT;
39299836e0eSStefano Zampini           key.l = PETSC_MAX_INT;
3939a5b13a2SMatthew G Knepley         } else {
39499836e0eSStefano Zampini           key.i = cellFace[0];
39599836e0eSStefano Zampini           key.j = cellFace[1];
39699836e0eSStefano Zampini           key.k = cellFace[2];
39799836e0eSStefano Zampini           key.l = faceSize > 3 ? (cellFace[3] < 0 ? faceSizeH = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT;
398302440fdSBarry Smith           ierr  = PetscSortInt(faceSize, (PetscInt *) &key);CHKERRQ(ierr);
3999f074e33SMatthew G Knepley         }
40099836e0eSStefano Zampini         /* this check is redundant for non-hybrid meshes */
401*e9fa77a1SMatthew G. Knepley         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);
402e8f14785SLisandro Dalcin         ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr);
403*e9fa77a1SMatthew G. Knepley         if (missing) {
404*e9fa77a1SMatthew G. Knepley           ierr = PetscHashIJKLIterSet(faceTable, iter, face++);CHKERRQ(ierr);
405*e9fa77a1SMatthew G. Knepley           if (c >= pMax) ++faceT;
406*e9fa77a1SMatthew G. Knepley         }
4079a5b13a2SMatthew G Knepley       }
40899836e0eSStefano Zampini       if (c < pMax) {
409439ece16SMatthew G. Knepley         ierr = DMPlexRestoreFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr);
41099836e0eSStefano Zampini       } else {
41199836e0eSStefano Zampini         ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSizeH, NULL, NULL, NULL, NULL, &cellFaces);CHKERRQ(ierr);
41299836e0eSStefano Zampini       }
41399836e0eSStefano Zampini     }
41499836e0eSStefano Zampini   }
41599836e0eSStefano Zampini   pEnd[faceDepth] = face;
41699836e0eSStefano Zampini 
41799836e0eSStefano Zampini   /* Second pass for hybrid meshes: number hybrid faces */
41899836e0eSStefano Zampini   for (c = pMax; c < pEnd[cellDepth]; ++c) {
41999836e0eSStefano Zampini     const PetscInt *cellFaces, *cone;
42099836e0eSStefano Zampini     PetscInt        numCellFaces, numCellFacesN, faceSize, cf, coneSize;
42199836e0eSStefano Zampini 
42299836e0eSStefano Zampini     ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr);
42399836e0eSStefano Zampini     ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr);
42499836e0eSStefano Zampini     ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
42599836e0eSStefano Zampini     if (numCellFaces != numCellFacesH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid numCellFaces %D != %D", numCellFaces, numCellFacesH);
42699836e0eSStefano Zampini     faceSize = PetscMax(faceSize, -faceSize);
42799836e0eSStefano Zampini     for (cf = numCellFacesN; cf < numCellFaces; ++cf) { /* These are the hybrid faces */
42899836e0eSStefano Zampini       const PetscInt   *cellFace = &cellFaces[cf*faceSize];
42999836e0eSStefano Zampini       PetscHashIJKLKey  key;
43099836e0eSStefano Zampini       PetscHashIter     iter;
43199836e0eSStefano Zampini       PetscBool         missing;
43299836e0eSStefano Zampini       PetscInt          faceSizeH = faceSize;
43399836e0eSStefano Zampini 
43499836e0eSStefano Zampini       if (faceSize == 2) {
43599836e0eSStefano Zampini         key.i = PetscMin(cellFace[0], cellFace[1]);
43699836e0eSStefano Zampini         key.j = PetscMax(cellFace[0], cellFace[1]);
43799836e0eSStefano Zampini         key.k = PETSC_MAX_INT;
43899836e0eSStefano Zampini         key.l = PETSC_MAX_INT;
43999836e0eSStefano Zampini       } else {
44099836e0eSStefano Zampini         key.i = cellFace[0];
44199836e0eSStefano Zampini         key.j = cellFace[1];
44299836e0eSStefano Zampini         key.k = cellFace[2];
44399836e0eSStefano Zampini         key.l = faceSize > 3 ? (cellFace[3] < 0 ? faceSizeH = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT;
44499836e0eSStefano Zampini         ierr  = PetscSortInt(faceSize, (PetscInt *) &key);CHKERRQ(ierr);
44599836e0eSStefano Zampini       }
44699836e0eSStefano Zampini       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);
44799836e0eSStefano Zampini       ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr);
44899836e0eSStefano Zampini       if (missing) {ierr = PetscHashIJKLIterSet(faceTable, iter, face++);CHKERRQ(ierr);}
44999836e0eSStefano Zampini     }
45099836e0eSStefano Zampini     ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
45199836e0eSStefano Zampini   }
45299836e0eSStefano Zampini   faceH = face - pEnd[faceDepth];
45399836e0eSStefano Zampini   if (faceH) {
45499836e0eSStefano Zampini     if (fMax == PETSC_DETERMINE) fMax = pEnd[faceDepth];
45599836e0eSStefano Zampini     else if (eMax == PETSC_DETERMINE) eMax = pEnd[faceDepth];
45699836e0eSStefano Zampini     else SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Number of unassigned hybrid facets %D for cellDim %D and dimension %D", faceH, cellDim, dim);
4579a5b13a2SMatthew G Knepley   }
4589a5b13a2SMatthew G Knepley   pEnd[faceDepth] = face;
4599a5b13a2SMatthew G Knepley   ierr = PetscHashIJKLDestroy(&faceTable);CHKERRQ(ierr);
4609a5b13a2SMatthew G Knepley   /* Count new points */
4619a5b13a2SMatthew G Knepley   for (d = 0; d <= depth; ++d) {
4629a5b13a2SMatthew G Knepley     numPoints += pEnd[d]-pStart[d];
4639a5b13a2SMatthew G Knepley   }
4649a5b13a2SMatthew G Knepley   ierr = DMPlexSetChart(idm, 0, numPoints);CHKERRQ(ierr);
4659a5b13a2SMatthew G Knepley   /* Set cone sizes */
4669a5b13a2SMatthew G Knepley   for (d = 0; d <= depth; ++d) {
4679a5b13a2SMatthew G Knepley     PetscInt coneSize, p;
4689f074e33SMatthew G Knepley 
4699a5b13a2SMatthew G Knepley     if (d == faceDepth) {
470*e9fa77a1SMatthew G. Knepley       /* Now we have two cases: */
471*e9fa77a1SMatthew G. Knepley       if (faceSizeAll == faceSizeAllT) {
4729a5b13a2SMatthew G Knepley         /* I see no way to do this if we admit faces of different shapes */
47399836e0eSStefano Zampini         for (p = pStart[d]; p < pEnd[d]-faceH; ++p) {
4749a5b13a2SMatthew G Knepley           ierr = DMPlexSetConeSize(idm, p, faceSizeAll);CHKERRQ(ierr);
4759a5b13a2SMatthew G Knepley         }
47699836e0eSStefano Zampini         for (p = pEnd[d]-faceH; p < pEnd[d]; ++p) {
47799836e0eSStefano Zampini           ierr = DMPlexSetConeSize(idm, p, faceSizeAllH);CHKERRQ(ierr);
47899836e0eSStefano Zampini         }
479*e9fa77a1SMatthew G. Knepley       } else if (faceSizeAll == faceSizeAllH) {
480*e9fa77a1SMatthew G. Knepley         for (p = pStart[d]; p < pStart[d]+faceT; ++p) {
481*e9fa77a1SMatthew G. Knepley           ierr = DMPlexSetConeSize(idm, p, faceSizeAllT);CHKERRQ(ierr);
482*e9fa77a1SMatthew G. Knepley         }
483*e9fa77a1SMatthew G. Knepley         for (p = pStart[d]+faceT; p < pEnd[d]-faceH; ++p) {
484*e9fa77a1SMatthew G. Knepley           ierr = DMPlexSetConeSize(idm, p, faceSizeAll);CHKERRQ(ierr);
485*e9fa77a1SMatthew G. Knepley         }
486*e9fa77a1SMatthew G. Knepley         for (p = pEnd[d]-faceH; p < pEnd[d]; ++p) {
487*e9fa77a1SMatthew G. Knepley           ierr = DMPlexSetConeSize(idm, p, faceSizeAllH);CHKERRQ(ierr);
488*e9fa77a1SMatthew G. Knepley         }
489*e9fa77a1SMatthew G. Knepley       } else SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent faces sizes N: %D T: %D H: %D", faceSizeAll, faceSizeAllT, faceSizeAllH);
490a014044eSMatthew G Knepley     } else if (d == cellDepth) {
491a014044eSMatthew G Knepley       for (p = pStart[d]; p < pEnd[d]; ++p) {
492a014044eSMatthew G Knepley         /* Number of cell faces may be different from number of cell vertices*/
49399836e0eSStefano Zampini         if (p < pMax) {
494a014044eSMatthew G Knepley           ierr = DMPlexGetFaces_Internal(dm, cellDim, p, &coneSize, NULL, NULL);CHKERRQ(ierr);
49599836e0eSStefano Zampini         } else {
49699836e0eSStefano Zampini           ierr = DMPlexGetFacesHybrid_Internal(dm, cellDim, p, &coneSize, NULL, NULL, NULL);CHKERRQ(ierr);
49799836e0eSStefano Zampini         }
498a014044eSMatthew G Knepley         ierr = DMPlexSetConeSize(idm, p, coneSize);CHKERRQ(ierr);
499a014044eSMatthew G Knepley       }
5009a5b13a2SMatthew G Knepley     } else {
5019a5b13a2SMatthew G Knepley       for (p = pStart[d]; p < pEnd[d]; ++p) {
5029a5b13a2SMatthew G Knepley         ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
5039a5b13a2SMatthew G Knepley         ierr = DMPlexSetConeSize(idm, p, coneSize);CHKERRQ(ierr);
5049f074e33SMatthew G Knepley       }
5059f074e33SMatthew G Knepley     }
5069f074e33SMatthew G Knepley   }
5079f074e33SMatthew G Knepley   ierr = DMSetUp(idm);CHKERRQ(ierr);
5089f074e33SMatthew G Knepley   /* Get face cones from subsets of cell vertices */
50999836e0eSStefano Zampini   if (faceSizeAll > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSizeAll);
5109a5b13a2SMatthew G Knepley   ierr = PetscHashIJKLCreate(&faceTable);CHKERRQ(ierr);
5119a5b13a2SMatthew G Knepley   for (d = depth; d > cellDepth; --d) {
5129a5b13a2SMatthew G Knepley     const PetscInt *cone;
5139a5b13a2SMatthew G Knepley     PetscInt        p;
5149a5b13a2SMatthew G Knepley 
5159a5b13a2SMatthew G Knepley     for (p = pStart[d]; p < pEnd[d]; ++p) {
5169a5b13a2SMatthew G Knepley       ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
5179a5b13a2SMatthew G Knepley       ierr = DMPlexSetCone(idm, p, cone);CHKERRQ(ierr);
5189a5b13a2SMatthew G Knepley       ierr = DMPlexGetConeOrientation(dm, p, &cone);CHKERRQ(ierr);
5199a5b13a2SMatthew G Knepley       ierr = DMPlexSetConeOrientation(idm, p, cone);CHKERRQ(ierr);
5209f074e33SMatthew G Knepley     }
5219a5b13a2SMatthew G Knepley   }
52299836e0eSStefano Zampini   for (outerloop = 0, face = pStart[faceDepth]; outerloop < 2; outerloop++) {
52399836e0eSStefano Zampini     PetscInt start, end;
5249f074e33SMatthew G Knepley 
52599836e0eSStefano Zampini     start = outerloop == 0 ? pMax : pStart[cellDepth];
52699836e0eSStefano Zampini     end = outerloop == 0 ? pEnd[cellDepth] : pMax;
52799836e0eSStefano Zampini     for (c = start; c < end; ++c) {
52899836e0eSStefano Zampini       const PetscInt *cellFaces;
52999836e0eSStefano Zampini       PetscInt        numCellFaces, faceSize, faceSizeInc, cf;
53099836e0eSStefano Zampini 
53199836e0eSStefano Zampini       if (c < pMax) {
5329a5b13a2SMatthew G Knepley         ierr = DMPlexGetFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr);
5339a5b13a2SMatthew G Knepley         if (faceSize != faceSizeAll) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent face for cell %D of size %D != %D", c, faceSize, faceSizeAll);
53499836e0eSStefano Zampini       } else {
53599836e0eSStefano Zampini         const PetscInt *cone;
53699836e0eSStefano Zampini         PetscInt        numCellFacesN, coneSize;
53799836e0eSStefano Zampini 
53899836e0eSStefano Zampini         ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr);
53999836e0eSStefano Zampini         if (coneSize != coneSizeH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid coneSize %D != %D", coneSize, coneSizeH);
54099836e0eSStefano Zampini         ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr);
54199836e0eSStefano Zampini         ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
54299836e0eSStefano Zampini         if (numCellFaces != numCellFacesH) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected numCellFaces %D != %D for hybrid cell %D", numCellFaces, numCellFacesH, c);
54399836e0eSStefano Zampini         faceSize = PetscMax(faceSize, -faceSize);
54499836e0eSStefano Zampini         if (faceSize > 4) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Do not support interpolation of meshes with faces of %D vertices", faceSize);
54599836e0eSStefano Zampini         numCellFaces = numCellFacesN; /* process only non-hybrid faces */
54699836e0eSStefano Zampini       }
54799836e0eSStefano Zampini       faceSizeInc = faceSize;
5489f074e33SMatthew G Knepley       for (cf = 0; cf < numCellFaces; ++cf) {
54999836e0eSStefano Zampini         const PetscInt  *cellFace = &cellFaces[cf*faceSizeInc];
5509a5b13a2SMatthew G Knepley         PetscHashIJKLKey key;
551e8f14785SLisandro Dalcin         PetscHashIter    iter;
552e8f14785SLisandro Dalcin         PetscBool        missing;
5539f074e33SMatthew G Knepley 
55499836e0eSStefano Zampini         if (faceSizeInc == 2) {
5559a5b13a2SMatthew G Knepley           key.i = PetscMin(cellFace[0], cellFace[1]);
5569a5b13a2SMatthew G Knepley           key.j = PetscMax(cellFace[0], cellFace[1]);
55799836e0eSStefano Zampini           key.k = PETSC_MAX_INT;
55899836e0eSStefano Zampini           key.l = PETSC_MAX_INT;
5599a5b13a2SMatthew G Knepley         } else {
560e8f14785SLisandro Dalcin           key.i = cellFace[0];
561e8f14785SLisandro Dalcin           key.j = cellFace[1];
562e8f14785SLisandro Dalcin           key.k = cellFace[2];
56399836e0eSStefano Zampini           key.l = faceSizeInc > 3 ? (cellFace[3] < 0 ? faceSize = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT;
56499836e0eSStefano Zampini           ierr  = PetscSortInt(faceSizeInc, (PetscInt *) &key);CHKERRQ(ierr);
5659f074e33SMatthew G Knepley         }
566e8f14785SLisandro Dalcin         ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr);
567735a0255SMatthew G. Knepley         if (missing) {
5689a5b13a2SMatthew G Knepley           ierr = DMPlexSetCone(idm, face, cellFace);CHKERRQ(ierr);
569e8f14785SLisandro Dalcin           ierr = PetscHashIJKLIterSet(faceTable, iter, face);CHKERRQ(ierr);
570735a0255SMatthew G. Knepley           ierr = DMPlexInsertCone(idm, c, cf, face++);CHKERRQ(ierr);
5719a5b13a2SMatthew G Knepley         } else {
5729a5b13a2SMatthew G Knepley           const PetscInt *cone;
573735a0255SMatthew G. Knepley           PetscInt        coneSize, ornt, i, j, f;
5749f074e33SMatthew G Knepley 
575e8f14785SLisandro Dalcin           ierr = PetscHashIJKLIterGet(faceTable, iter, &f);CHKERRQ(ierr);
5769a5b13a2SMatthew G Knepley           ierr = DMPlexInsertCone(idm, c, cf, f);CHKERRQ(ierr);
5772e1b13c2SMatthew G. Knepley           /* Orient face: Do not allow reverse orientation at the first vertex */
5789f074e33SMatthew G Knepley           ierr = DMPlexGetConeSize(idm, f, &coneSize);CHKERRQ(ierr);
5799f074e33SMatthew G Knepley           ierr = DMPlexGetCone(idm, f, &cone);CHKERRQ(ierr);
5809a5b13a2SMatthew G Knepley           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);
5819a5b13a2SMatthew G Knepley           /* - First find the initial vertex */
5829a5b13a2SMatthew G Knepley           for (i = 0; i < faceSize; ++i) if (cellFace[0] == cone[i]) break;
5839a5b13a2SMatthew G Knepley           /* - Try forward comparison */
5849a5b13a2SMatthew G Knepley           for (j = 0; j < faceSize; ++j) if (cellFace[j] != cone[(i+j)%faceSize]) break;
5859a5b13a2SMatthew G Knepley           if (j == faceSize) {
5869a5b13a2SMatthew G Knepley             if ((faceSize == 2) && (i == 1)) ornt = -2;
5879a5b13a2SMatthew G Knepley             else                             ornt = i;
5889a5b13a2SMatthew G Knepley           } else {
5899a5b13a2SMatthew G Knepley             /* - Try backward comparison */
5909a5b13a2SMatthew G Knepley             for (j = 0; j < faceSize; ++j) if (cellFace[j] != cone[(i+faceSize-j)%faceSize]) break;
5912e1b13c2SMatthew G. Knepley             if (j == faceSize) {
5922e1b13c2SMatthew G. Knepley               if (i == 0) ornt = -faceSize;
593dc1a705cSMatthew G. Knepley               else        ornt = -i;
594*e9fa77a1SMatthew G. Knepley             } else SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not determine orientation of face %D in cell %D", f, c);
5959a5b13a2SMatthew G Knepley           }
5969a5b13a2SMatthew G Knepley           ierr = DMPlexInsertConeOrientation(idm, c, cf, ornt);CHKERRQ(ierr);
5979f074e33SMatthew G Knepley         }
5989f074e33SMatthew G Knepley       }
59999836e0eSStefano Zampini       if (c < pMax) {
600439ece16SMatthew G. Knepley         ierr = DMPlexRestoreFaces_Internal(dm, cellDim, c, &numCellFaces, &faceSize, &cellFaces);CHKERRQ(ierr);
60199836e0eSStefano Zampini       } else {
60299836e0eSStefano Zampini         ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSizeH, NULL, NULL, NULL, NULL, &cellFaces);CHKERRQ(ierr);
6039f074e33SMatthew G Knepley       }
60499836e0eSStefano Zampini     }
60599836e0eSStefano Zampini   }
60699836e0eSStefano Zampini   /* Second pass for hybrid meshes: orient hybrid faces */
60799836e0eSStefano Zampini   for (c = pMax; c < pEnd[cellDepth]; ++c) {
60899836e0eSStefano Zampini     const PetscInt *cellFaces, *cone;
60999836e0eSStefano Zampini     PetscInt        numCellFaces, numCellFacesN, faceSize, cf, coneSize;
61099836e0eSStefano Zampini 
61199836e0eSStefano Zampini     ierr = DMPlexGetConeSize(dm, c, &coneSize);CHKERRQ(ierr);
61299836e0eSStefano Zampini     ierr = DMPlexGetCone(dm, c, &cone);CHKERRQ(ierr);
61399836e0eSStefano Zampini     ierr = DMPlexGetRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
61499836e0eSStefano Zampini     if (numCellFaces != numCellFacesH) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_SUP, "Unexpected hybrid numCellFaces %D != %D", numCellFaces, numCellFacesH);
61599836e0eSStefano Zampini     faceSize = PetscMax(faceSize, -faceSize);
61699836e0eSStefano Zampini     for (cf = numCellFacesN; cf < numCellFaces; ++cf) { /* These are the hybrid faces */
61799836e0eSStefano Zampini       const PetscInt   *cellFace = &cellFaces[cf*faceSize];
61899836e0eSStefano Zampini       PetscHashIJKLKey key;
61999836e0eSStefano Zampini       PetscHashIter    iter;
62099836e0eSStefano Zampini       PetscBool        missing;
62199836e0eSStefano Zampini       PetscInt         faceSizeH = faceSize;
62299836e0eSStefano Zampini 
62399836e0eSStefano Zampini       if (faceSize == 2) {
62499836e0eSStefano Zampini         key.i = PetscMin(cellFace[0], cellFace[1]);
62599836e0eSStefano Zampini         key.j = PetscMax(cellFace[0], cellFace[1]);
62699836e0eSStefano Zampini         key.k = PETSC_MAX_INT;
62799836e0eSStefano Zampini         key.l = PETSC_MAX_INT;
62899836e0eSStefano Zampini       } else {
62999836e0eSStefano Zampini         key.i = cellFace[0];
63099836e0eSStefano Zampini         key.j = cellFace[1];
63199836e0eSStefano Zampini         key.k = cellFace[2];
63299836e0eSStefano Zampini         key.l = faceSize > 3 ? (cellFace[3] < 0 ? faceSizeH = 3, PETSC_MAX_INT : cellFace[3]) : PETSC_MAX_INT;
63399836e0eSStefano Zampini         ierr  = PetscSortInt(faceSize, (PetscInt *) &key);CHKERRQ(ierr);
63499836e0eSStefano Zampini       }
63599836e0eSStefano Zampini       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);
63699836e0eSStefano Zampini       ierr = PetscHashIJKLPut(faceTable, key, &iter, &missing);CHKERRQ(ierr);
63799836e0eSStefano Zampini       if (missing) {
63899836e0eSStefano Zampini         ierr = DMPlexSetCone(idm, face, cellFace);CHKERRQ(ierr);
63999836e0eSStefano Zampini         ierr = PetscHashIJKLIterSet(faceTable, iter, face);CHKERRQ(ierr);
64099836e0eSStefano Zampini         ierr = DMPlexInsertCone(idm, c, cf, face++);CHKERRQ(ierr);
64199836e0eSStefano Zampini       } else {
642*e9fa77a1SMatthew G. Knepley         PetscInt        fv[4] = {0, 1, 2, 3};
64399836e0eSStefano Zampini         const PetscInt *cone;
64499836e0eSStefano Zampini         PetscInt        coneSize, ornt, i, j, f;
64599836e0eSStefano Zampini 
64699836e0eSStefano Zampini         ierr = PetscHashIJKLIterGet(faceTable, iter, &f);CHKERRQ(ierr);
64799836e0eSStefano Zampini         ierr = DMPlexInsertCone(idm, c, cf, f);CHKERRQ(ierr);
64899836e0eSStefano Zampini         /* Orient face: Do not allow reverse orientation at the first vertex */
64999836e0eSStefano Zampini         ierr = DMPlexGetConeSize(idm, f, &coneSize);CHKERRQ(ierr);
65099836e0eSStefano Zampini         ierr = DMPlexGetCone(idm, f, &cone);CHKERRQ(ierr);
65199836e0eSStefano Zampini         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);
652*e9fa77a1SMatthew G. Knepley         /* Hybrid faces are stored as tensor products of edges, so to compare them to normal faces, we have to flip */
653*e9fa77a1SMatthew G. Knepley         if (faceSize == 4 && c >= pMax && faceSizeAll != faceSizeAllT && f < pEnd[faceDepth] - faceH) {fv[2] = 3; fv[3] = 2;}
65499836e0eSStefano Zampini         /* - First find the initial vertex */
655*e9fa77a1SMatthew G. Knepley         for (i = 0; i < faceSizeH; ++i) if (cellFace[fv[0]] == cone[i]) break;
65699836e0eSStefano Zampini         /* - Try forward comparison */
657*e9fa77a1SMatthew G. Knepley         for (j = 0; j < faceSizeH; ++j) if (cellFace[fv[j]] != cone[(i+j)%faceSizeH]) break;
65899836e0eSStefano Zampini         if (j == faceSizeH) {
65999836e0eSStefano Zampini           if ((faceSizeH == 2) && (i == 1)) ornt = -2;
66099836e0eSStefano Zampini           else                              ornt = i;
66199836e0eSStefano Zampini         } else {
66299836e0eSStefano Zampini           /* - Try backward comparison */
663*e9fa77a1SMatthew G. Knepley           for (j = 0; j < faceSizeH; ++j) if (cellFace[fv[j]] != cone[(i+faceSizeH-j)%faceSizeH]) break;
66499836e0eSStefano Zampini           if (j == faceSizeH) {
66599836e0eSStefano Zampini             if (i == 0) ornt = -faceSizeH;
66699836e0eSStefano Zampini             else        ornt = -i;
667*e9fa77a1SMatthew G. Knepley           } else SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Could not determine orientation of face %D in cell %D", f, c);
66899836e0eSStefano Zampini         }
66999836e0eSStefano Zampini         ierr = DMPlexInsertConeOrientation(idm, c, cf, ornt);CHKERRQ(ierr);
67099836e0eSStefano Zampini       }
67199836e0eSStefano Zampini     }
67299836e0eSStefano Zampini     ierr = DMPlexRestoreRawFacesHybrid_Internal(dm, cellDim, coneSize, cone, &numCellFaces, &numCellFacesN, &faceSize, &cellFaces);CHKERRQ(ierr);
67399836e0eSStefano Zampini   }
67499836e0eSStefano Zampini   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]);
675c907b753SJed Brown   ierr = PetscFree2(pStart,pEnd);CHKERRQ(ierr);
6769a5b13a2SMatthew G Knepley   ierr = PetscHashIJKLDestroy(&faceTable);CHKERRQ(ierr);
6776551a8c7SMatthew G. Knepley   ierr = PetscFree2(pStart,pEnd);CHKERRQ(ierr);
67899836e0eSStefano Zampini   ierr = DMPlexSetHybridBounds(idm, cMax, fMax, eMax, vMax);CHKERRQ(ierr);
6799a5b13a2SMatthew G Knepley   ierr = DMPlexSymmetrize(idm);CHKERRQ(ierr);
6809a5b13a2SMatthew G Knepley   ierr = DMPlexStratify(idm);CHKERRQ(ierr);
6819f074e33SMatthew G Knepley   PetscFunctionReturn(0);
6829f074e33SMatthew G Knepley }
6839f074e33SMatthew G Knepley 
684fa01033eSVaclav Hapla PetscErrorCode DMPlexOrientCell(DM dm, PetscInt p, PetscInt masterConeSize, const PetscInt masterCone[])
685fa01033eSVaclav Hapla {
68667aa0e3dSVaclav Hapla   PetscInt coneSize;
68767aa0e3dSVaclav Hapla   PetscInt start1=0;
68867aa0e3dSVaclav Hapla   PetscBool reverse1=PETSC_FALSE;
689a0d42dbcSVaclav Hapla   const PetscInt *cone=NULL;
690b8e38d09SVaclav Hapla   PetscErrorCode ierr;
691b8e38d09SVaclav Hapla 
692b8e38d09SVaclav Hapla   PetscFunctionBegin;
693b8e38d09SVaclav Hapla   ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
694b8e38d09SVaclav Hapla   if (!coneSize) PetscFunctionReturn(0); /* do nothing for points with no cone */
695b8e38d09SVaclav Hapla   ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
696b8e38d09SVaclav Hapla   ierr = DMPlexFixFaceOrientations_Orient_Private(coneSize, masterConeSize, masterCone, cone, &start1, &reverse1);CHKERRQ(ierr);
697b8e38d09SVaclav Hapla #if defined(PETSC_USE_DEBUG)
698b8e38d09SVaclav Hapla   if (PetscUnlikely(cone[start1] != masterCone[0])) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "The algorithm above is wrong as cone[%d] = %d != %d = masterCone[0]", start1, cone[start1], masterCone[0]);
699b8e38d09SVaclav Hapla #endif
700b8e38d09SVaclav Hapla   ierr = DMPlexOrientCell_Internal(dm, p, start1, reverse1);CHKERRQ(ierr);
701b8e38d09SVaclav Hapla #if defined(PETSC_USE_DEBUG)
70267aa0e3dSVaclav Hapla   {
70367aa0e3dSVaclav Hapla     PetscInt c;
704b8e38d09SVaclav Hapla     ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
705b8e38d09SVaclav Hapla     for (c = 0; c < 2; c++) {
706b8e38d09SVaclav Hapla       if (PetscUnlikely(cone[c] != masterCone[c])) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_PLIB, "The algorithm above is wrong as cone[%d] = %d != %d = masterCone[%d]", c, cone[c], masterCone[c], c);
707b8e38d09SVaclav Hapla     }
70867aa0e3dSVaclav Hapla   }
709b8e38d09SVaclav Hapla #endif
710b8e38d09SVaclav Hapla   PetscFunctionReturn(0);
711b8e38d09SVaclav Hapla }
712b8e38d09SVaclav Hapla 
7130fe46fbbSVaclav Hapla PetscErrorCode DMPlexOrientCell_Internal(DM dm, PetscInt p, PetscInt start1, PetscBool reverse1)
714b8e38d09SVaclav Hapla {
715fa01033eSVaclav Hapla   PetscInt i, j, k, maxConeSize, coneSize, coneConeSize, supportSize, supportConeSize;
716b8e38d09SVaclav Hapla   PetscInt start0, start;
717b8e38d09SVaclav Hapla   PetscBool reverse0, reverse;
718fa01033eSVaclav Hapla   PetscInt newornt;
719a0d42dbcSVaclav Hapla   const PetscInt *cone=NULL, *support=NULL, *supportCone=NULL, *ornts=NULL;
720a0d42dbcSVaclav Hapla   PetscInt *newcone=NULL, *newornts=NULL;
721fa01033eSVaclav Hapla   PetscErrorCode ierr;
722fa01033eSVaclav Hapla 
723fa01033eSVaclav Hapla   PetscFunctionBegin;
724b8e38d09SVaclav Hapla   if (!start1 && !reverse1) PetscFunctionReturn(0);
725fa01033eSVaclav Hapla   ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
726fa01033eSVaclav Hapla   if (!coneSize) PetscFunctionReturn(0); /* do nothing for points with no cone */
727fa01033eSVaclav Hapla   ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
728b8e38d09SVaclav Hapla   ierr = DMPlexGetMaxSizes(dm, &maxConeSize, NULL);CHKERRQ(ierr);
729fa01033eSVaclav Hapla   /* permute p's cone and orientations */
730fa01033eSVaclav Hapla   ierr = DMPlexGetConeOrientation(dm, p, &ornts);CHKERRQ(ierr);
731fa01033eSVaclav Hapla   ierr = DMGetWorkArray(dm, maxConeSize, MPIU_INT, &newcone);CHKERRQ(ierr);
732fa01033eSVaclav Hapla   ierr = DMGetWorkArray(dm, maxConeSize, MPIU_INT, &newornts);CHKERRQ(ierr);
733fa01033eSVaclav Hapla   ierr = DMPlexFixFaceOrientations_Permute_Private(coneSize, cone, start1, reverse1, newcone);CHKERRQ(ierr);
734fa01033eSVaclav Hapla   ierr = DMPlexFixFaceOrientations_Permute_Private(coneSize, ornts, start1, reverse1, newornts);CHKERRQ(ierr);
735fa01033eSVaclav Hapla   /* if direction of p (face) is flipped, flip also p's cone points (edges) */
736fa01033eSVaclav Hapla   if (reverse1) {
737fa01033eSVaclav Hapla     for (i=0; i<coneSize; i++) {
738fa01033eSVaclav Hapla       ierr = DMPlexGetConeSize(dm, cone[i], &coneConeSize);CHKERRQ(ierr);
739fa01033eSVaclav Hapla       ierr = DMPlexFixFaceOrientations_Translate_Private(newornts[i], &start0, &reverse0);CHKERRQ(ierr);
740fa01033eSVaclav Hapla       ierr = DMPlexFixFaceOrientations_Combine_Private(coneConeSize, start0, reverse0, 1, PETSC_FALSE, &start, &reverse);CHKERRQ(ierr);
741fa01033eSVaclav Hapla       ierr = DMPlexFixFaceOrientations_TranslateBack_Private(coneConeSize, start, reverse, &newornts[i]);CHKERRQ(ierr);
742fa01033eSVaclav Hapla     }
743fa01033eSVaclav Hapla   }
744fa01033eSVaclav Hapla   ierr = DMPlexSetConeOrientation(dm, p, newornts);CHKERRQ(ierr);
745fa01033eSVaclav Hapla   /* fix oriention of p within cones of p's support points */
746fa01033eSVaclav Hapla   ierr = DMPlexGetSupport(dm, p, &support);CHKERRQ(ierr);
747fa01033eSVaclav Hapla   ierr = DMPlexGetSupportSize(dm, p, &supportSize);CHKERRQ(ierr);
748fa01033eSVaclav Hapla   for (j=0; j<supportSize; j++) {
749fa01033eSVaclav Hapla     ierr = DMPlexGetCone(dm, support[j], &supportCone);CHKERRQ(ierr);
750fa01033eSVaclav Hapla     ierr = DMPlexGetConeSize(dm, support[j], &supportConeSize);CHKERRQ(ierr);
751fa01033eSVaclav Hapla     ierr = DMPlexGetConeOrientation(dm, support[j], &ornts);CHKERRQ(ierr);
752fa01033eSVaclav Hapla     for (k=0; k<supportConeSize; k++) {
753fa01033eSVaclav Hapla       if (supportCone[k] != p) continue;
754fa01033eSVaclav Hapla       ierr = DMPlexFixFaceOrientations_Translate_Private(ornts[k], &start0, &reverse0);CHKERRQ(ierr);
755fa01033eSVaclav Hapla       ierr = DMPlexFixFaceOrientations_Combine_Private(coneSize, start0, reverse0, start1, reverse1, &start, &reverse);CHKERRQ(ierr);
756fa01033eSVaclav Hapla       ierr = DMPlexFixFaceOrientations_TranslateBack_Private(coneSize, start, reverse, &newornt);CHKERRQ(ierr);
757fa01033eSVaclav Hapla       ierr = DMPlexInsertConeOrientation(dm, support[j], k, newornt);CHKERRQ(ierr);
758fa01033eSVaclav Hapla     }
759fa01033eSVaclav Hapla   }
760fa01033eSVaclav Hapla   /* rewrite cone */
761fa01033eSVaclav Hapla   ierr = DMPlexSetCone(dm, p, newcone);CHKERRQ(ierr);
762fa01033eSVaclav Hapla   ierr = DMRestoreWorkArray(dm, maxConeSize, MPIU_INT, &newcone);CHKERRQ(ierr);
763fa01033eSVaclav Hapla   ierr = DMRestoreWorkArray(dm, maxConeSize, MPIU_INT, &newornts);CHKERRQ(ierr);
764fa01033eSVaclav Hapla   PetscFunctionReturn(0);
765fa01033eSVaclav Hapla }
766fa01033eSVaclav Hapla 
767f80536cbSVaclav Hapla static PetscErrorCode SortRmineRremoteByRemote_Private(PetscSF sf, PetscInt *rmine1[], PetscInt *rremote1[])
768f80536cbSVaclav Hapla {
769f80536cbSVaclav Hapla   PetscInt            nleaves;
770f80536cbSVaclav Hapla   PetscInt            nranks;
771a0d42dbcSVaclav Hapla   const PetscMPIInt  *ranks=NULL;
772a0d42dbcSVaclav Hapla   const PetscInt     *roffset=NULL, *rmine=NULL, *rremote=NULL;
773f80536cbSVaclav Hapla   PetscInt            n, o, r;
774f80536cbSVaclav Hapla   PetscErrorCode      ierr;
775f80536cbSVaclav Hapla 
776f80536cbSVaclav Hapla   PetscFunctionBegin;
777f80536cbSVaclav Hapla   ierr = PetscSFGetRanks(sf, &nranks, &ranks, &roffset, &rmine, &rremote);CHKERRQ(ierr);
778f80536cbSVaclav Hapla   nleaves = roffset[nranks];
779f80536cbSVaclav Hapla   ierr = PetscMalloc2(nleaves, rmine1, nleaves, rremote1);CHKERRQ(ierr);
780f80536cbSVaclav Hapla   for (r=0; r<nranks; r++) {
781f80536cbSVaclav Hapla     /* simultaneously sort rank-wise portions of rmine & rremote by values in rremote
782f80536cbSVaclav Hapla        - to unify order with the other side */
783f80536cbSVaclav Hapla     o = roffset[r];
784f80536cbSVaclav Hapla     n = roffset[r+1] - o;
785f80536cbSVaclav Hapla     ierr = PetscMemcpy(&(*rmine1)[o], &rmine[o], n*sizeof(PetscInt));CHKERRQ(ierr);
786f80536cbSVaclav Hapla     ierr = PetscMemcpy(&(*rremote1)[o], &rremote[o], n*sizeof(PetscInt));CHKERRQ(ierr);
787f80536cbSVaclav Hapla     ierr = PetscSortIntWithArray(n, &(*rremote1)[o], &(*rmine1)[o]);CHKERRQ(ierr);
788f80536cbSVaclav Hapla   }
789f80536cbSVaclav Hapla   PetscFunctionReturn(0);
790f80536cbSVaclav Hapla }
791f80536cbSVaclav Hapla 
792bba29ab8SVaclav Hapla PetscErrorCode DMPlexOrientInterface(DM dm)
7932e745bdaSMatthew G. Knepley {
794a0d42dbcSVaclav Hapla   PetscSF           sf=NULL;
795cae7fe92SVaclav Hapla   PetscInt          (*roots)[2], (*leaves)[2];
7968a650c75SVaclav Hapla   PetscMPIInt       (*rootsRanks)[2], (*leavesRanks)[2];
797a0d42dbcSVaclav Hapla   const PetscInt    *locals=NULL;
798a0d42dbcSVaclav Hapla   const PetscSFNode *remotes=NULL;
7998a650c75SVaclav Hapla   PetscInt           nroots, nleaves, p, c;
800f80536cbSVaclav Hapla   PetscInt           nranks, n, o, r;
801a0d42dbcSVaclav Hapla   const PetscMPIInt *ranks=NULL;
802a0d42dbcSVaclav Hapla   const PetscInt    *roffset=NULL;
803a0d42dbcSVaclav Hapla   PetscInt          *rmine1=NULL, *rremote1=NULL; /* rmine and rremote copies simultaneously sorted by rank and rremote */
804a0d42dbcSVaclav Hapla   const PetscInt    *cone=NULL;
805adeface4SVaclav Hapla   PetscInt           coneSize, ind0;
8062e745bdaSMatthew G. Knepley   MPI_Comm           comm;
8072e745bdaSMatthew G. Knepley   PetscMPIInt        rank;
8082e745bdaSMatthew G. Knepley   PetscInt           debug = 0;
8092e745bdaSMatthew G. Knepley   PetscErrorCode     ierr;
8102e745bdaSMatthew G. Knepley 
8112e745bdaSMatthew G. Knepley   PetscFunctionBegin;
812df6a9fadSVaclav Hapla   ierr = DMGetPointSF(dm, &sf);CHKERRQ(ierr);
8132e745bdaSMatthew G. Knepley   ierr = PetscSFGetGraph(sf, &nroots, &nleaves, &locals, &remotes);CHKERRQ(ierr);
8143ede9f65SMatthew G. Knepley   if (nroots < 0) PetscFunctionReturn(0);
815f80536cbSVaclav Hapla   ierr = PetscSFSetUp(sf);CHKERRQ(ierr);
816f80536cbSVaclav Hapla   ierr = PetscSFGetRanks(sf, &nranks, &ranks, &roffset, NULL, NULL);CHKERRQ(ierr);
817dc21a0bfSVaclav Hapla #if defined(PETSC_USE_DEBUG)
818dc21a0bfSVaclav Hapla   ierr = DMViewFromOptions(dm, NULL, "-before_fix_dm_view");CHKERRQ(ierr);
819dc21a0bfSVaclav Hapla   ierr = DMPlexCheckPointSF(dm);CHKERRQ(ierr);
820dc21a0bfSVaclav Hapla #endif
821f80536cbSVaclav Hapla   ierr = SortRmineRremoteByRemote_Private(sf, &rmine1, &rremote1);CHKERRQ(ierr);
8228a650c75SVaclav Hapla   ierr = PetscMalloc4(nroots, &roots, nroots, &leaves, nroots, &rootsRanks, nroots, &leavesRanks);CHKERRQ(ierr);
8232e745bdaSMatthew G. Knepley   ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr);
8242e745bdaSMatthew G. Knepley   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
8252e745bdaSMatthew G. Knepley   if (debug && rank == 0) {ierr = PetscSynchronizedPrintf(comm, "Roots\n");CHKERRQ(ierr);}
8269e24d8a0SVaclav Hapla   for (p = 0; p < nroots; ++p) {
8279e24d8a0SVaclav Hapla     ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
8289e24d8a0SVaclav Hapla     ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
8292e745bdaSMatthew G. Knepley     /* Translate all points to root numbering */
8308a650c75SVaclav Hapla     for (c = 0; c < 2; c++) {
8318a650c75SVaclav Hapla       if (coneSize > 1) {
8328a650c75SVaclav Hapla         ierr = PetscFindInt(cone[c], nleaves, locals, &ind0);CHKERRQ(ierr);
8338a650c75SVaclav Hapla         if (ind0 < 0) {
8348a650c75SVaclav Hapla           roots[p][c] = cone[c];
8358a650c75SVaclav Hapla           rootsRanks[p][c] = rank;
836c8148b97SVaclav Hapla         } else {
8378a650c75SVaclav Hapla           roots[p][c] = remotes[ind0].index;
8388a650c75SVaclav Hapla           rootsRanks[p][c] = remotes[ind0].rank;
8398a650c75SVaclav Hapla         }
8408a650c75SVaclav Hapla       } else {
8418a650c75SVaclav Hapla         roots[p][c] = -1;
8428a650c75SVaclav Hapla         rootsRanks[p][c] = -1;
8432e745bdaSMatthew G. Knepley       }
8442e745bdaSMatthew G. Knepley     }
8458a650c75SVaclav Hapla   }
8468a650c75SVaclav Hapla   if (debug) {
8478a650c75SVaclav Hapla     for (p = 0; p < nroots; ++p) {
8488a650c75SVaclav Hapla       ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
8498a650c75SVaclav Hapla       ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
8508a650c75SVaclav Hapla       if (coneSize > 1) {
8518a650c75SVaclav Hapla         ierr = PetscSynchronizedPrintf(comm, "[%d]  %D: cone=[%D %D] roots=[%D %D] rootsRanks=[%D %D]\n", rank, p, cone[0], cone[1], roots[p][0], roots[p][1], rootsRanks[p][0], rootsRanks[p][1]);CHKERRQ(ierr);
8528a650c75SVaclav Hapla       }
8538a650c75SVaclav Hapla     }
8548a650c75SVaclav Hapla     ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);
8558a650c75SVaclav Hapla   }
8569e24d8a0SVaclav Hapla   for (p = 0; p < nroots; ++p) {
8578ccb905dSVaclav Hapla     for (c = 0; c < 2; c++) {
8588ccb905dSVaclav Hapla       leaves[p][c] = -2;
8598ccb905dSVaclav Hapla       leavesRanks[p][c] = -2;
8608ccb905dSVaclav Hapla     }
861c8148b97SVaclav Hapla   }
8622e745bdaSMatthew G. Knepley   ierr = PetscSFBcastBegin(sf, MPIU_2INT, roots, leaves);CHKERRQ(ierr);
8638a650c75SVaclav Hapla   ierr = PetscSFBcastBegin(sf, MPI_2INT, rootsRanks, leavesRanks);CHKERRQ(ierr);
8642e745bdaSMatthew G. Knepley   ierr = PetscSFBcastEnd(sf, MPIU_2INT, roots, leaves);CHKERRQ(ierr);
8658a650c75SVaclav Hapla   ierr = PetscSFBcastEnd(sf, MPI_2INT, rootsRanks, leavesRanks);CHKERRQ(ierr);
866c8148b97SVaclav Hapla   if (debug) {ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);}
867c8148b97SVaclav Hapla   if (debug && rank == 0) {ierr = PetscSynchronizedPrintf(comm, "Referred leaves\n");CHKERRQ(ierr);}
8689e24d8a0SVaclav Hapla   for (p = 0; p < nroots; ++p) {
8699e24d8a0SVaclav Hapla     if (leaves[p][0] < 0) continue;
8709e24d8a0SVaclav Hapla     ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
8719e24d8a0SVaclav Hapla     ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
872ea211068SVaclav Hapla     if (debug) {ierr = PetscSynchronizedPrintf(comm, "[%d]  %D: cone=[%D %D] leaves=[%D %D] roots=[%D %D] leavesRanks=[%D %D] rootsRanks=[%D %D]\n", rank, p, cone[0], cone[1], leaves[p][0], leaves[p][1], roots[p][0], roots[p][1], leavesRanks[p][0], leavesRanks[p][1], rootsRanks[p][0], rootsRanks[p][1]);CHKERRQ(ierr);}
873ea211068SVaclav Hapla     if ((leaves[p][0] != roots[p][0]) || (leaves[p][1] != roots[p][1]) || (leavesRanks[p][0] != rootsRanks[p][0]) || (leavesRanks[p][0] != rootsRanks[p][0])) {
874f80536cbSVaclav Hapla       PetscInt masterCone[2];
875f80536cbSVaclav Hapla       /* Translate these two cone points back to leave numbering */
876f80536cbSVaclav Hapla       for (c = 0; c < 2; c++) {
877def636c8SVaclav Hapla         if (leavesRanks[p][c] == rank) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "this should never happen - remote rank of point %D is the same rank",leavesRanks[p][c]);
878f80536cbSVaclav Hapla         /* Find index of rank leavesRanks[p][c] among remote ranks */
879f80536cbSVaclav Hapla         /* No need for PetscMPIIntCast because these integers were originally cast from PetscMPIInt. */
880f80536cbSVaclav Hapla         ierr = PetscFindMPIInt((PetscMPIInt)leavesRanks[p][c], nranks, ranks, &r);CHKERRQ(ierr);
881f80536cbSVaclav Hapla         if (PetscUnlikely(r < 0)) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "this should never happen - rank %D not found among remote ranks",leavesRanks[p][c]);
882f80536cbSVaclav Hapla         /* Find point leaves[p][c] among remote points aimed at rank leavesRanks[p][c] */
883f80536cbSVaclav Hapla         o = roffset[r];
884f80536cbSVaclav Hapla         n = roffset[r+1] - o;
885f80536cbSVaclav Hapla         ierr = PetscFindInt(leaves[p][c], n, &rremote1[o], &ind0);CHKERRQ(ierr);
886adeface4SVaclav Hapla         if (PetscUnlikely(ind0 < 0)) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "No cone point of %D is connected to (%D, %D) - it seems there is missing connection in point SF!",p,ranks[r],leaves[p][c]);
887f80536cbSVaclav Hapla         /* Get the corresponding local point */
888f80536cbSVaclav Hapla         masterCone[c] = rmine1[o+ind0];CHKERRQ(ierr);
889f80536cbSVaclav Hapla       }
890f80536cbSVaclav Hapla       if (debug) {ierr = PetscSynchronizedPrintf(comm, "[%d]  %D: masterCone=[%D %D]\n", rank, p, masterCone[0], masterCone[1]);CHKERRQ(ierr);}
891f80536cbSVaclav Hapla       /* Vaclav's note: Here we only compare first 2 points of the cone. Full cone size would lead to stronger self-checking. */
892f80536cbSVaclav Hapla       ierr = DMPlexOrientCell(dm, p, 2, masterCone);CHKERRQ(ierr);
89323aaf07bSVaclav Hapla     }
8942e745bdaSMatthew G. Knepley   }
895adeface4SVaclav Hapla #if defined(PETSC_USE_DEBUG)
896adeface4SVaclav Hapla   ierr = DMViewFromOptions(dm, NULL, "-after_fix_dm_view");CHKERRQ(ierr);
897adeface4SVaclav Hapla   for (r = 0; r < nleaves; ++r) {
898adeface4SVaclav Hapla     p = locals[r];
899adeface4SVaclav Hapla     ierr = DMPlexGetConeSize(dm, p, &coneSize);CHKERRQ(ierr);
900adeface4SVaclav Hapla     if (!coneSize) continue;
901adeface4SVaclav Hapla     ierr = DMPlexGetCone(dm, p, &cone);CHKERRQ(ierr);
902adeface4SVaclav Hapla     for (c = 0; c < 2; c++) {
903adeface4SVaclav Hapla       ierr = PetscFindInt(cone[c], nleaves, locals, &ind0);CHKERRQ(ierr);
904adeface4SVaclav Hapla       if (ind0 < 0) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point SF contains %D but is missing its cone point cone[%D] = %D!", p, c, cone[c]);
905adeface4SVaclav Hapla       if (leaves[p][c] != remotes[ind0].index || leavesRanks[p][c] != remotes[ind0].rank) {
906adeface4SVaclav Hapla         if (leavesRanks[p][c] == rank) {
907adeface4SVaclav Hapla           PetscInt ind1;
908adeface4SVaclav Hapla           ierr = PetscFindInt(leaves[p][c], nleaves, locals, &ind1);CHKERRQ(ierr);
909adeface4SVaclav Hapla           if (ind1 < 0) {
910adeface4SVaclav Hapla             SETERRQ8(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %D = locals[%d]: cone[%D]=%D --> (%D, %D) differs from the enforced (%D, %D). The latter was not even found among the local SF points - it is probably broken!", p, r, c, cone[c], remotes[ind0].rank, remotes[ind0].index, leavesRanks[p][c], leaves[p][c]);
911adeface4SVaclav Hapla           } else {
912adeface4SVaclav Hapla             SETERRQ9(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %D = locals[%d]: cone[%D]=%D --> (%D, %D) differs from the enforced %D --> (%D, %D). Is the algorithm above or the point SF broken?", p, r, c, cone[c], remotes[ind0].rank, remotes[ind0].index, leaves[p][c], remotes[ind1].rank, remotes[ind1].index);
913adeface4SVaclav Hapla           }
914adeface4SVaclav Hapla         } else {
915adeface4SVaclav Hapla           SETERRQ8(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Point %D = locals[%d]: cone[%D]=%D --> (%D, %D) differs from the enforced (%D, %D). Is the algorithm above or the point SF broken?", p, r, c, cone[c], remotes[ind0].rank, remotes[ind0].index, leavesRanks[p][c], leaves[p][c]);
916adeface4SVaclav Hapla         }
917adeface4SVaclav Hapla       }
918adeface4SVaclav Hapla     }
919adeface4SVaclav Hapla   }
920adeface4SVaclav Hapla #endif
9212e745bdaSMatthew G. Knepley   if (debug) {ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);}
9228a650c75SVaclav Hapla   ierr = PetscFree4(roots, leaves, rootsRanks, leavesRanks);CHKERRQ(ierr);
9237c7bb832SVaclav Hapla   ierr = PetscFree2(rmine1, rremote1);CHKERRQ(ierr);
9242e745bdaSMatthew G. Knepley   PetscFunctionReturn(0);
9252e745bdaSMatthew G. Knepley }
9262e745bdaSMatthew G. Knepley 
9272e72742cSMatthew G. Knepley static PetscErrorCode IntArrayViewFromOptions(MPI_Comm comm, const char opt[], const char name[], const char idxname[], const char valname[], PetscInt n, const PetscInt a[])
9287bffde78SMichael Lange {
9292e72742cSMatthew G. Knepley   PetscInt       idx;
9302e72742cSMatthew G. Knepley   PetscMPIInt    rank;
9312e72742cSMatthew G. Knepley   PetscBool      flg;
9327bffde78SMichael Lange   PetscErrorCode ierr;
9337bffde78SMichael Lange 
9347bffde78SMichael Lange   PetscFunctionBegin;
9352e72742cSMatthew G. Knepley   ierr = PetscOptionsHasName(NULL, NULL, opt, &flg);CHKERRQ(ierr);
9362e72742cSMatthew G. Knepley   if (!flg) PetscFunctionReturn(0);
9372e72742cSMatthew G. Knepley   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
9382e72742cSMatthew G. Knepley   ierr = PetscSynchronizedPrintf(comm, "[%d]%s:\n", rank, name);CHKERRQ(ierr);
9392e72742cSMatthew G. Knepley   for (idx = 0; idx < n; ++idx) {ierr = PetscSynchronizedPrintf(comm, "[%d]%s %D %s %D\n", rank, idxname, idx, valname, a[idx]);CHKERRQ(ierr);}
9402e72742cSMatthew G. Knepley   ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);
9412e72742cSMatthew G. Knepley   PetscFunctionReturn(0);
9422e72742cSMatthew G. Knepley }
9432e72742cSMatthew G. Knepley 
9442e72742cSMatthew G. Knepley static PetscErrorCode SFNodeArrayViewFromOptions(MPI_Comm comm, const char opt[], const char name[], const char idxname[], PetscInt n, const PetscSFNode a[])
9452e72742cSMatthew G. Knepley {
9462e72742cSMatthew G. Knepley   PetscInt       idx;
9472e72742cSMatthew G. Knepley   PetscMPIInt    rank;
9482e72742cSMatthew G. Knepley   PetscBool      flg;
9492e72742cSMatthew G. Knepley   PetscErrorCode ierr;
9502e72742cSMatthew G. Knepley 
9512e72742cSMatthew G. Knepley   PetscFunctionBegin;
9522e72742cSMatthew G. Knepley   ierr = PetscOptionsHasName(NULL, NULL, opt, &flg);CHKERRQ(ierr);
9532e72742cSMatthew G. Knepley   if (!flg) PetscFunctionReturn(0);
9542e72742cSMatthew G. Knepley   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
9552e72742cSMatthew G. Knepley   ierr = PetscSynchronizedPrintf(comm, "[%d]%s:\n", rank, name);CHKERRQ(ierr);
9562e72742cSMatthew G. Knepley   if (idxname) {
9572e72742cSMatthew G. Knepley     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);}
9582e72742cSMatthew G. Knepley   } else {
9592e72742cSMatthew G. Knepley     for (idx = 0; idx < n; ++idx) {ierr = PetscSynchronizedPrintf(comm, "[%d]rank %D index %D\n", rank, a[idx].rank, a[idx].index);CHKERRQ(ierr);}
9602e72742cSMatthew G. Knepley   }
9612e72742cSMatthew G. Knepley   ierr = PetscSynchronizedFlush(comm, NULL);CHKERRQ(ierr);
9622e72742cSMatthew G. Knepley   PetscFunctionReturn(0);
9632e72742cSMatthew G. Knepley }
9642e72742cSMatthew G. Knepley 
9652e72742cSMatthew G. Knepley static PetscErrorCode DMPlexMapToLocalPoint(PetscHMapIJ roothash, const PetscInt localPoints[], PetscMPIInt rank, PetscSFNode remotePoint, PetscInt *localPoint)
9662e72742cSMatthew G. Knepley {
9672e72742cSMatthew G. Knepley   PetscErrorCode ierr;
9682e72742cSMatthew G. Knepley 
9692e72742cSMatthew G. Knepley   PetscFunctionBegin;
9702e72742cSMatthew G. Knepley   if (remotePoint.rank == rank) {
9712e72742cSMatthew G. Knepley     *localPoint = remotePoint.index;
9722e72742cSMatthew G. Knepley   } else {
9732e72742cSMatthew G. Knepley     PetscHashIJKey key;
9742e72742cSMatthew G. Knepley     PetscInt       root;
9752e72742cSMatthew G. Knepley 
9762e72742cSMatthew G. Knepley     key.i = remotePoint.index;
9772e72742cSMatthew G. Knepley     key.j = remotePoint.rank;
9782e72742cSMatthew G. Knepley     ierr = PetscHMapIJGet(roothash, key, &root);CHKERRQ(ierr);
9792e72742cSMatthew G. Knepley     if (root >= 0) {
9802e72742cSMatthew G. Knepley       *localPoint = localPoints[root];
9812e72742cSMatthew G. Knepley     } else PetscFunctionReturn(1);
9822e72742cSMatthew G. Knepley   }
9832e72742cSMatthew G. Knepley   PetscFunctionReturn(0);
9842e72742cSMatthew G. Knepley }
9852e72742cSMatthew G. Knepley 
9862e72742cSMatthew G. Knepley /*@
9872e72742cSMatthew G. Knepley   DMPlexInterpolatePointSF - Insert interpolated points in the overlap into the PointSF in parallel, following local interpolation
9882e72742cSMatthew G. Knepley 
9892e72742cSMatthew G. Knepley   Collective on DM
9902e72742cSMatthew G. Knepley 
9912e72742cSMatthew G. Knepley   Input Parameters:
9922e72742cSMatthew G. Knepley + dm      - The interpolated DM
9932e72742cSMatthew G. Knepley - pointSF - The initial SF without interpolated points
9942e72742cSMatthew G. Knepley 
9952e72742cSMatthew G. Knepley   Output Parameter:
9962e72742cSMatthew G. Knepley . pointSF - The SF including interpolated points
9972e72742cSMatthew G. Knepley 
9982e72742cSMatthew G. Knepley   Level: intermediate
9992e72742cSMatthew G. Knepley 
10002e72742cSMatthew G. Knepley    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
10012e72742cSMatthew G. Knepley 
10022e72742cSMatthew G. Knepley .keywords: mesh
10032e72742cSMatthew G. Knepley .seealso: DMPlexInterpolate(), DMPlexUninterpolate()
10042e72742cSMatthew G. Knepley @*/
1005e53487d3SMatthew G. Knepley PetscErrorCode DMPlexInterpolatePointSF(DM dm, PetscSF pointSF)
10062e72742cSMatthew G. Knepley {
10072e72742cSMatthew G. Knepley   /*
10082e72742cSMatthew G. Knepley        Okay, the algorithm is:
10092e72742cSMatthew G. Knepley          - Take each point in the overlap (root)
10102e72742cSMatthew G. Knepley          - Look at the neighboring points in the overlap (candidates)
10112e72742cSMatthew G. Knepley          - Send these candidate points to neighbors
10122e72742cSMatthew G. Knepley          - Neighbor checks for edge between root and candidate
10132e72742cSMatthew G. Knepley          - If edge is found, it replaces candidate point with edge point
10142e72742cSMatthew G. Knepley          - Send back the overwritten candidates (claims)
10152e72742cSMatthew G. Knepley          - Original guy checks for edges, different from original candidate, and gets its own edge
10162e72742cSMatthew G. Knepley          - This pair is put into SF
10172e72742cSMatthew G. Knepley 
10182e72742cSMatthew G. Knepley        We need a new algorithm that tolerates groups larger than 2.
10192e72742cSMatthew G. Knepley          - Take each point in the overlap (root)
10202e72742cSMatthew G. Knepley          - Find all collections of points in the overlap which make faces (do early join)
10212e72742cSMatthew G. Knepley          - Send collections as candidates (add size as first number)
102266aa2a39SMatthew G. Knepley            - Make sure to send collection to all owners of all overlap points in collection
10232e72742cSMatthew G. Knepley          - Neighbor check for face in collections
10242e72742cSMatthew G. Knepley          - If face is found, it replaces candidate point with face point
10252e72742cSMatthew G. Knepley          - Send back the overwritten candidates (claims)
10262e72742cSMatthew G. Knepley          - Original guy checks for faces, different from original candidate, and gets its own face
10272e72742cSMatthew G. Knepley          - This pair is put into SF
10282e72742cSMatthew G. Knepley   */
10292e72742cSMatthew G. Knepley   PetscHMapI         leafhash;
10302e72742cSMatthew G. Knepley   PetscHMapIJ        roothash;
10312e72742cSMatthew G. Knepley   const PetscInt    *localPoints, *rootdegree;
10322e72742cSMatthew G. Knepley   const PetscSFNode *remotePoints;
10332e72742cSMatthew G. Knepley   PetscSFNode       *candidates, *candidatesRemote, *claims;
10342e72742cSMatthew G. Knepley   PetscSection       candidateSection, candidateSectionRemote, claimSection;
10352e72742cSMatthew G. Knepley   PetscInt           numLeaves, l, numRoots, r, candidatesSize, candidatesRemoteSize;
10362e72742cSMatthew G. Knepley   PetscMPIInt        size, rank;
10372e72742cSMatthew G. Knepley   PetscHashIJKey     key;
10382e72742cSMatthew G. Knepley   PetscBool          debug = PETSC_FALSE;
10392e72742cSMatthew G. Knepley   PetscErrorCode     ierr;
10402e72742cSMatthew G. Knepley 
10412e72742cSMatthew G. Knepley   PetscFunctionBegin;
10422e72742cSMatthew G. Knepley   ierr = PetscOptionsHasName(NULL, ((PetscObject) dm)->prefix, "-dmplex_interp_debug", &debug);CHKERRQ(ierr);
10439852e123SBarry Smith   ierr = MPI_Comm_size(PetscObjectComm((PetscObject) dm), &size);CHKERRQ(ierr);
10447bffde78SMichael Lange   ierr = MPI_Comm_rank(PetscObjectComm((PetscObject) dm), &rank);CHKERRQ(ierr);
10457bffde78SMichael Lange   ierr = PetscSFGetGraph(pointSF, &numRoots, &numLeaves, &localPoints, &remotePoints);CHKERRQ(ierr);
10469852e123SBarry Smith   if (size < 2 || numRoots < 0) PetscFunctionReturn(0);
10472e72742cSMatthew G. Knepley   ierr = PetscObjectViewFromOptions((PetscObject) dm, NULL, "-dm_interp_pre_view");CHKERRQ(ierr);
10482e72742cSMatthew G. Knepley   ierr = PetscObjectViewFromOptions((PetscObject) pointSF, NULL, "-petscsf_interp_pre_view");CHKERRQ(ierr);
104925afeb17SMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_InterpolateSF,dm,0,0,0);CHKERRQ(ierr);
10507bffde78SMichael Lange   /* Build hashes of points in the SF for efficient lookup */
1051e8f14785SLisandro Dalcin   ierr = PetscHMapICreate(&leafhash);CHKERRQ(ierr);
1052e8f14785SLisandro Dalcin   ierr = PetscHMapIJCreate(&roothash);CHKERRQ(ierr);
10532e72742cSMatthew G. Knepley   for (l = 0; l < numLeaves; ++l) {
10542e72742cSMatthew G. Knepley     key.i = remotePoints[l].index;
10552e72742cSMatthew G. Knepley     key.j = remotePoints[l].rank;
10562e72742cSMatthew G. Knepley     ierr = PetscHMapISet(leafhash, localPoints[l], l);CHKERRQ(ierr);
10572e72742cSMatthew G. Knepley     ierr = PetscHMapIJSet(roothash, key, l);CHKERRQ(ierr);
10587bffde78SMichael Lange   }
105966aa2a39SMatthew G. Knepley   /* Compute root degree to identify shared points */
10602e72742cSMatthew G. Knepley   ierr = PetscSFComputeDegreeBegin(pointSF, &rootdegree);CHKERRQ(ierr);
10612e72742cSMatthew G. Knepley   ierr = PetscSFComputeDegreeEnd(pointSF, &rootdegree);CHKERRQ(ierr);
10622e72742cSMatthew G. Knepley   ierr = IntArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-interp_root_degree_view", "Root degree", "point", "degree", numRoots, rootdegree);CHKERRQ(ierr);
106366aa2a39SMatthew G. Knepley   /* Build a section / SFNode array of candidate points (face bd points) in the cone(support(leaf)),
106466aa2a39SMatthew G. Knepley      where each candidate is defined by a set of remote points (roots) for the other points that define the face. */
10657bffde78SMichael Lange   ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), &candidateSection);CHKERRQ(ierr);
10667bffde78SMichael Lange   ierr = PetscSectionSetChart(candidateSection, 0, numRoots);CHKERRQ(ierr);
10677bffde78SMichael Lange   {
106866aa2a39SMatthew G. Knepley     PetscHMapIJ facehash;
10692e72742cSMatthew G. Knepley 
107066aa2a39SMatthew G. Knepley     ierr = PetscHMapIJCreate(&facehash);CHKERRQ(ierr);
10712e72742cSMatthew G. Knepley     for (l = 0; l < numLeaves; ++l) {
10722e72742cSMatthew G. Knepley       const PetscInt    localPoint = localPoints[l];
10732e72742cSMatthew G. Knepley       const PetscInt   *support;
10742e72742cSMatthew G. Knepley       PetscInt          supportSize, s;
10752e72742cSMatthew G. Knepley 
10762e72742cSMatthew G. Knepley       if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]  Checking local point %D\n", rank, localPoint);CHKERRQ(ierr);}
10772e72742cSMatthew G. Knepley       ierr = DMPlexGetSupportSize(dm, localPoint, &supportSize);CHKERRQ(ierr);
10782e72742cSMatthew G. Knepley       ierr = DMPlexGetSupport(dm, localPoint, &support);CHKERRQ(ierr);
10792e72742cSMatthew G. Knepley       for (s = 0; s < supportSize; ++s) {
10802e72742cSMatthew G. Knepley         const PetscInt  face = support[s];
10812e72742cSMatthew G. Knepley         const PetscInt *cone;
10822e72742cSMatthew G. Knepley         PetscInt        coneSize, c, f, root;
10832e72742cSMatthew G. Knepley         PetscBool       isFace = PETSC_TRUE;
10842e72742cSMatthew G. Knepley 
10852e72742cSMatthew G. Knepley         /* Only add face once */
10862e72742cSMatthew G. Knepley         if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Support point %D\n", rank, face);CHKERRQ(ierr);}
108766aa2a39SMatthew G. Knepley         key.i = localPoint;
108866aa2a39SMatthew G. Knepley         key.j = face;
108966aa2a39SMatthew G. Knepley         ierr = PetscHMapIJGet(facehash, key, &f);CHKERRQ(ierr);
10902e72742cSMatthew G. Knepley         if (f >= 0) continue;
10912e72742cSMatthew G. Knepley         ierr = DMPlexGetConeSize(dm, face, &coneSize);CHKERRQ(ierr);
10922e72742cSMatthew G. Knepley         ierr = DMPlexGetCone(dm, face, &cone);CHKERRQ(ierr);
10932e72742cSMatthew G. Knepley         /* If a cone point does not map to leaves on any proc, then do not put face in SF */
10942e72742cSMatthew G. Knepley         for (c = 0; c < coneSize; ++c) {
10952e72742cSMatthew G. Knepley           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]      Cone point %D\n", rank, cone[c]);CHKERRQ(ierr);}
10962e72742cSMatthew G. Knepley           ierr = PetscHMapIGet(leafhash, cone[c], &root);CHKERRQ(ierr);
10972e72742cSMatthew G. Knepley           if (!rootdegree[cone[c]] && (root < 0)) {isFace = PETSC_FALSE; break;}
10982e72742cSMatthew G. Knepley         }
10992e72742cSMatthew G. Knepley         if (isFace) {
110066aa2a39SMatthew G. Knepley           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Found shared face %D\n", rank, face);CHKERRQ(ierr);}
110166aa2a39SMatthew G. Knepley           ierr = PetscHMapIJSet(facehash, key, l);CHKERRQ(ierr);
11022e72742cSMatthew G. Knepley           ierr = PetscSectionAddDof(candidateSection, localPoint, coneSize);CHKERRQ(ierr);
11037bffde78SMichael Lange         }
11047bffde78SMichael Lange       }
11052e72742cSMatthew G. Knepley     }
11062e72742cSMatthew G. Knepley     if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);}
110766aa2a39SMatthew G. Knepley     ierr = PetscHMapIJClear(facehash);CHKERRQ(ierr);
11087bffde78SMichael Lange     ierr = PetscSectionSetUp(candidateSection);CHKERRQ(ierr);
11097bffde78SMichael Lange     ierr = PetscSectionGetStorageSize(candidateSection, &candidatesSize);CHKERRQ(ierr);
11107bffde78SMichael Lange     ierr = PetscMalloc1(candidatesSize, &candidates);CHKERRQ(ierr);
11112e72742cSMatthew G. Knepley     for (l = 0; l < numLeaves; ++l) {
11122e72742cSMatthew G. Knepley       const PetscInt    localPoint = localPoints[l];
11132e72742cSMatthew G. Knepley       const PetscInt   *support;
11142e72742cSMatthew G. Knepley       PetscInt          supportSize, s, offset, idx = 0;
11152e72742cSMatthew G. Knepley 
11162e72742cSMatthew G. Knepley       if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]  Checking local point %D\n", rank, localPoint);CHKERRQ(ierr);}
11172e72742cSMatthew G. Knepley       ierr = PetscSectionGetOffset(candidateSection, localPoint, &offset);CHKERRQ(ierr);
11182e72742cSMatthew G. Knepley       ierr = DMPlexGetSupportSize(dm, localPoint, &supportSize);CHKERRQ(ierr);
11192e72742cSMatthew G. Knepley       ierr = DMPlexGetSupport(dm, localPoint, &support);CHKERRQ(ierr);
11202e72742cSMatthew G. Knepley       for (s = 0; s < supportSize; ++s) {
11212e72742cSMatthew G. Knepley         const PetscInt  face = support[s];
11222e72742cSMatthew G. Knepley         const PetscInt *cone;
11232e72742cSMatthew G. Knepley         PetscInt        coneSize, c, f, root;
11242e72742cSMatthew G. Knepley         PetscBool       isFace = PETSC_TRUE;
11252e72742cSMatthew G. Knepley 
11262e72742cSMatthew G. Knepley         /* Only add face once */
11272e72742cSMatthew G. Knepley         if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Support point %D\n", rank, face);CHKERRQ(ierr);}
112866aa2a39SMatthew G. Knepley         key.i = localPoint;
112966aa2a39SMatthew G. Knepley         key.j = face;
113066aa2a39SMatthew G. Knepley         ierr = PetscHMapIJGet(facehash, key, &f);CHKERRQ(ierr);
11312e72742cSMatthew G. Knepley         if (f >= 0) continue;
11322e72742cSMatthew G. Knepley         ierr = DMPlexGetConeSize(dm, face, &coneSize);CHKERRQ(ierr);
11332e72742cSMatthew G. Knepley         ierr = DMPlexGetCone(dm, face, &cone);CHKERRQ(ierr);
11342e72742cSMatthew G. Knepley         /* If a cone point does not map to leaves on any proc, then do not put face in SF */
11352e72742cSMatthew G. Knepley         for (c = 0; c < coneSize; ++c) {
11362e72742cSMatthew G. Knepley           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]      Cone point %D\n", rank, cone[c]);CHKERRQ(ierr);}
11372e72742cSMatthew G. Knepley           ierr = PetscHMapIGet(leafhash, cone[c], &root);CHKERRQ(ierr);
11382e72742cSMatthew G. Knepley           if (!rootdegree[cone[c]] && (root < 0)) {isFace = PETSC_FALSE; break;}
11392e72742cSMatthew G. Knepley         }
11402e72742cSMatthew G. Knepley         if (isFace) {
114166aa2a39SMatthew G. Knepley           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Adding shared face %D at idx %D\n", rank, face, idx);CHKERRQ(ierr);}
114266aa2a39SMatthew G. Knepley           ierr = PetscHMapIJSet(facehash, key, l);CHKERRQ(ierr);
11432e72742cSMatthew G. Knepley           candidates[offset+idx].rank    = -1;
11442e72742cSMatthew G. Knepley           candidates[offset+idx++].index = coneSize-1;
11452e72742cSMatthew G. Knepley           for (c = 0; c < coneSize; ++c) {
11462e72742cSMatthew G. Knepley             if (cone[c] == localPoint) continue;
11472e72742cSMatthew G. Knepley             if (rootdegree[cone[c]]) {
11482e72742cSMatthew G. Knepley               candidates[offset+idx].rank    = rank;
11492e72742cSMatthew G. Knepley               candidates[offset+idx++].index = cone[c];
11502e72742cSMatthew G. Knepley             } else {
11512e72742cSMatthew G. Knepley               ierr = PetscHMapIGet(leafhash, cone[c], &root);CHKERRQ(ierr);
11522e72742cSMatthew G. Knepley               if (root < 0) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Cannot locate local point %D in SF", cone[c]);
11532e72742cSMatthew G. Knepley               candidates[offset+idx++] = remotePoints[root];
11547bffde78SMichael Lange             }
11557bffde78SMichael Lange           }
11562e72742cSMatthew G. Knepley         }
11572e72742cSMatthew G. Knepley       }
11582e72742cSMatthew G. Knepley     }
11592e72742cSMatthew G. Knepley     if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);}
116066aa2a39SMatthew G. Knepley     ierr = PetscHMapIJDestroy(&facehash);CHKERRQ(ierr);
11612e72742cSMatthew G. Knepley     ierr = PetscObjectViewFromOptions((PetscObject) candidateSection, NULL, "-petscsection_interp_candidate_view");CHKERRQ(ierr);
11622e72742cSMatthew G. Knepley     ierr = SFNodeArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-petscsection_interp_candidate_view", "Candidates", NULL, candidatesSize, candidates);CHKERRQ(ierr);
11637bffde78SMichael Lange   }
11647bffde78SMichael Lange   /* Gather candidate section / array pair into the root partition via inverse(multi(pointSF)). */
11652e72742cSMatthew G. Knepley   /*   Note that this section is indexed by offsets into leaves, not by point number */
11667bffde78SMichael Lange   {
11677bffde78SMichael Lange     PetscSF   sfMulti, sfInverse, sfCandidates;
11687bffde78SMichael Lange     PetscInt *remoteOffsets;
11692e72742cSMatthew G. Knepley 
11707bffde78SMichael Lange     ierr = PetscSFGetMultiSF(pointSF, &sfMulti);CHKERRQ(ierr);
11717bffde78SMichael Lange     ierr = PetscSFCreateInverseSF(sfMulti, &sfInverse);CHKERRQ(ierr);
11727bffde78SMichael Lange     ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), &candidateSectionRemote);CHKERRQ(ierr);
11737bffde78SMichael Lange     ierr = PetscSFDistributeSection(sfInverse, candidateSection, &remoteOffsets, candidateSectionRemote);CHKERRQ(ierr);
11747bffde78SMichael Lange     ierr = PetscSFCreateSectionSF(sfInverse, candidateSection, remoteOffsets, candidateSectionRemote, &sfCandidates);CHKERRQ(ierr);
11757bffde78SMichael Lange     ierr = PetscSectionGetStorageSize(candidateSectionRemote, &candidatesRemoteSize);CHKERRQ(ierr);
11767bffde78SMichael Lange     ierr = PetscMalloc1(candidatesRemoteSize, &candidatesRemote);CHKERRQ(ierr);
11777bffde78SMichael Lange     ierr = PetscSFBcastBegin(sfCandidates, MPIU_2INT, candidates, candidatesRemote);CHKERRQ(ierr);
11787bffde78SMichael Lange     ierr = PetscSFBcastEnd(sfCandidates, MPIU_2INT, candidates, candidatesRemote);CHKERRQ(ierr);
11797bffde78SMichael Lange     ierr = PetscSFDestroy(&sfInverse);CHKERRQ(ierr);
11807bffde78SMichael Lange     ierr = PetscSFDestroy(&sfCandidates);CHKERRQ(ierr);
11817bffde78SMichael Lange     ierr = PetscFree(remoteOffsets);CHKERRQ(ierr);
11822e72742cSMatthew G. Knepley 
11832e72742cSMatthew G. Knepley     ierr = PetscObjectViewFromOptions((PetscObject) candidateSectionRemote, NULL, "-petscsection_interp_candidate_remote_view");CHKERRQ(ierr);
11842e72742cSMatthew G. Knepley     ierr = SFNodeArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-petscsection_interp_candidate_remote_view", "Remote Candidates", NULL, candidatesRemoteSize, candidatesRemote);CHKERRQ(ierr);
11857bffde78SMichael Lange   }
11862e72742cSMatthew G. Knepley   /* */
11877bffde78SMichael Lange   {
11882e72742cSMatthew G. Knepley     PetscInt idx;
11892e72742cSMatthew G. Knepley     /* There is a section point for every leaf attached to a given root point */
11902e72742cSMatthew G. Knepley     for (r = 0, idx = 0; r < numRoots; ++r) {
11912e72742cSMatthew G. Knepley       PetscInt deg;
11922e72742cSMatthew G. Knepley       for (deg = 0; deg < rootdegree[r]; ++deg, ++idx) {
11932e72742cSMatthew G. Knepley         PetscInt offset, dof, d;
11942e72742cSMatthew G. Knepley 
11957bffde78SMichael Lange         ierr = PetscSectionGetDof(candidateSectionRemote, idx, &dof);CHKERRQ(ierr);
11967bffde78SMichael Lange         ierr = PetscSectionGetOffset(candidateSectionRemote, idx, &offset);CHKERRQ(ierr);
11972e72742cSMatthew G. Knepley         for (d = 0; d < dof; ++d) {
11982e72742cSMatthew G. Knepley           const PetscInt  sizeInd   = offset+d;
11992e72742cSMatthew G. Knepley           const PetscInt  numPoints = candidatesRemote[sizeInd].index;
12002e72742cSMatthew G. Knepley           const PetscInt *join      = NULL;
12012e72742cSMatthew G. Knepley           PetscInt        points[1024], p, joinSize;
12022e72742cSMatthew G. Knepley 
12032e72742cSMatthew G. Knepley           points[0] = r;
12042e72742cSMatthew G. Knepley           for (p = 0; p < numPoints; ++p) {
12052e72742cSMatthew G. Knepley             ierr = DMPlexMapToLocalPoint(roothash, localPoints, rank, candidatesRemote[offset+(++d)], &points[p+1]);
12062e72742cSMatthew G. Knepley             if (ierr) {d += numPoints-1 - p; break;} /* We got a point not in our overlap */
12072e72742cSMatthew G. Knepley             if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]  Checking local candidate %D\n", rank, points[p+1]);CHKERRQ(ierr);}
12087bffde78SMichael Lange           }
12092e72742cSMatthew G. Knepley           if (ierr) continue;
12102e72742cSMatthew G. Knepley           ierr = DMPlexGetJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr);
12117bffde78SMichael Lange           if (joinSize == 1) {
12122e72742cSMatthew G. Knepley             if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Adding face %D at idx %D\n", rank, join[0], sizeInd);CHKERRQ(ierr);}
12132e72742cSMatthew G. Knepley             candidatesRemote[sizeInd].rank  = rank;
12142e72742cSMatthew G. Knepley             candidatesRemote[sizeInd].index = join[0];
12157bffde78SMichael Lange           }
12162e72742cSMatthew G. Knepley           ierr = DMPlexRestoreJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr);
12177bffde78SMichael Lange         }
12187bffde78SMichael Lange       }
12197bffde78SMichael Lange     }
12202e72742cSMatthew G. Knepley     if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);}
12217bffde78SMichael Lange   }
12227bffde78SMichael Lange   /* Push claims back to receiver via the MultiSF and derive new pointSF mapping on receiver */
12237bffde78SMichael Lange   {
12247bffde78SMichael Lange     PetscSF         sfMulti, sfClaims, sfPointNew;
12257bffde78SMichael Lange     PetscSFNode    *remotePointsNew;
12262e72742cSMatthew G. Knepley     PetscHMapI      claimshash;
12272e72742cSMatthew G. Knepley     PetscInt       *remoteOffsets, *localPointsNew;
12282e72742cSMatthew G. Knepley     PetscInt        claimsSize, pStart, pEnd, root, numLocalNew, p, d;
12292e72742cSMatthew G. Knepley 
12307bffde78SMichael Lange     ierr = PetscSFGetMultiSF(pointSF, &sfMulti);CHKERRQ(ierr);
12317bffde78SMichael Lange     ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), &claimSection);CHKERRQ(ierr);
12327bffde78SMichael Lange     ierr = PetscSFDistributeSection(sfMulti, candidateSectionRemote, &remoteOffsets, claimSection);CHKERRQ(ierr);
12337bffde78SMichael Lange     ierr = PetscSFCreateSectionSF(sfMulti, candidateSectionRemote, remoteOffsets, claimSection, &sfClaims);CHKERRQ(ierr);
12342e72742cSMatthew G. Knepley     ierr = PetscSectionGetStorageSize(claimSection, &claimsSize);CHKERRQ(ierr);
12352e72742cSMatthew G. Knepley     ierr = PetscMalloc1(claimsSize, &claims);CHKERRQ(ierr);
12367bffde78SMichael Lange     ierr = PetscSFBcastBegin(sfClaims, MPIU_2INT, candidatesRemote, claims);CHKERRQ(ierr);
12377bffde78SMichael Lange     ierr = PetscSFBcastEnd(sfClaims, MPIU_2INT, candidatesRemote, claims);CHKERRQ(ierr);
12387bffde78SMichael Lange     ierr = PetscSFDestroy(&sfClaims);CHKERRQ(ierr);
12397bffde78SMichael Lange     ierr = PetscFree(remoteOffsets);CHKERRQ(ierr);
12402e72742cSMatthew G. Knepley     ierr = PetscObjectViewFromOptions((PetscObject) claimSection, NULL, "-petscsection_interp_claim_view");CHKERRQ(ierr);
12412e72742cSMatthew G. Knepley     ierr = SFNodeArrayViewFromOptions(PetscObjectComm((PetscObject) dm), "-petscsection_interp_claim_view", "Claims", NULL, claimsSize, claims);CHKERRQ(ierr);
12427bffde78SMichael Lange     /* Walk the original section of local supports and add an SF entry for each updated item */
1243e8f14785SLisandro Dalcin     ierr = PetscHMapICreate(&claimshash);CHKERRQ(ierr);
12447bffde78SMichael Lange     for (p = 0; p < numRoots; ++p) {
12452e72742cSMatthew G. Knepley       PetscInt dof, offset;
12462e72742cSMatthew G. Knepley 
12472e72742cSMatthew G. Knepley       if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]  Checking root for claims %D\n", rank, p);CHKERRQ(ierr);}
12487bffde78SMichael Lange       ierr = PetscSectionGetDof(candidateSection, p, &dof);CHKERRQ(ierr);
12497bffde78SMichael Lange       ierr = PetscSectionGetOffset(candidateSection, p, &offset);CHKERRQ(ierr);
12502e72742cSMatthew G. Knepley       for (d = 0; d < dof;) {
12512e72742cSMatthew G. Knepley         if (claims[offset+d].rank >= 0) {
12522e72742cSMatthew G. Knepley           const PetscInt  faceInd   = offset+d;
12532e72742cSMatthew G. Knepley           const PetscInt  numPoints = candidates[faceInd].index;
12542e72742cSMatthew G. Knepley           const PetscInt *join      = NULL;
12552e72742cSMatthew G. Knepley           PetscInt        joinSize, points[1024], c;
12562e72742cSMatthew G. Knepley 
12572e72742cSMatthew G. Knepley           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);}
12582e72742cSMatthew G. Knepley           points[0] = p;
12592e72742cSMatthew G. Knepley           if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]      point %D\n", rank, points[0]);CHKERRQ(ierr);}
12602e72742cSMatthew G. Knepley           for (c = 0, ++d; c < numPoints; ++c, ++d) {
1261e8f14785SLisandro Dalcin             key.i = candidates[offset+d].index;
1262e8f14785SLisandro Dalcin             key.j = candidates[offset+d].rank;
1263e8f14785SLisandro Dalcin             ierr = PetscHMapIJGet(roothash, key, &root);CHKERRQ(ierr);
12642e72742cSMatthew G. Knepley             points[c+1] = localPoints[root];
12652e72742cSMatthew G. Knepley             if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]      point %D\n", rank, points[c+1]);CHKERRQ(ierr);}
12662e72742cSMatthew G. Knepley           }
12672e72742cSMatthew G. Knepley           ierr = DMPlexGetJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr);
12682e72742cSMatthew G. Knepley           if (joinSize == 1) {
12692e72742cSMatthew G. Knepley             if (debug) {ierr = PetscSynchronizedPrintf(PetscObjectComm((PetscObject) dm), "[%d]    Found local face %D\n", rank, join[0]);CHKERRQ(ierr);}
12702e72742cSMatthew G. Knepley             ierr = PetscHMapISet(claimshash, join[0], faceInd);CHKERRQ(ierr);
12712e72742cSMatthew G. Knepley           }
12722e72742cSMatthew G. Knepley           ierr = DMPlexRestoreJoin(dm, numPoints+1, points, &joinSize, &join);CHKERRQ(ierr);
12732e72742cSMatthew G. Knepley         } else d += claims[offset+d].index+1;
12747bffde78SMichael Lange       }
12757bffde78SMichael Lange     }
12762e72742cSMatthew G. Knepley     if (debug) {ierr = PetscSynchronizedFlush(PetscObjectComm((PetscObject) dm), NULL);CHKERRQ(ierr);}
12777bffde78SMichael Lange     /* Create new pointSF from hashed claims */
1278e8f14785SLisandro Dalcin     ierr = PetscHMapIGetSize(claimshash, &numLocalNew);CHKERRQ(ierr);
12797bffde78SMichael Lange     ierr = DMPlexGetChart(dm, &pStart, &pEnd);CHKERRQ(ierr);
12807bffde78SMichael Lange     ierr = PetscMalloc1(numLeaves + numLocalNew, &localPointsNew);CHKERRQ(ierr);
12817bffde78SMichael Lange     ierr = PetscMalloc1(numLeaves + numLocalNew, &remotePointsNew);CHKERRQ(ierr);
12827bffde78SMichael Lange     for (p = 0; p < numLeaves; ++p) {
12837bffde78SMichael Lange       localPointsNew[p] = localPoints[p];
12847bffde78SMichael Lange       remotePointsNew[p].index = remotePoints[p].index;
12857bffde78SMichael Lange       remotePointsNew[p].rank  = remotePoints[p].rank;
12867bffde78SMichael Lange     }
1287f3190fc2SToby Isaac     p = numLeaves;
1288e8f14785SLisandro Dalcin     ierr = PetscHMapIGetKeys(claimshash, &p, localPointsNew);CHKERRQ(ierr);
1289f3190fc2SToby Isaac     ierr = PetscSortInt(numLocalNew, &localPointsNew[numLeaves]);CHKERRQ(ierr);
12907bffde78SMichael Lange     for (p = numLeaves; p < numLeaves + numLocalNew; ++p) {
12912e72742cSMatthew G. Knepley       PetscInt offset;
1292e8f14785SLisandro Dalcin       ierr = PetscHMapIGet(claimshash, localPointsNew[p], &offset);CHKERRQ(ierr);
12937bffde78SMichael Lange       remotePointsNew[p] = claims[offset];
12947bffde78SMichael Lange     }
12957bffde78SMichael Lange     ierr = PetscSFCreate(PetscObjectComm((PetscObject) dm), &sfPointNew);CHKERRQ(ierr);
12967bffde78SMichael Lange     ierr = PetscSFSetGraph(sfPointNew, pEnd-pStart, numLeaves+numLocalNew, localPointsNew, PETSC_OWN_POINTER, remotePointsNew, PETSC_OWN_POINTER);CHKERRQ(ierr);
12977bffde78SMichael Lange     ierr = DMSetPointSF(dm, sfPointNew);CHKERRQ(ierr);
12987bffde78SMichael Lange     ierr = PetscSFDestroy(&sfPointNew);CHKERRQ(ierr);
1299e8f14785SLisandro Dalcin     ierr = PetscHMapIDestroy(&claimshash);CHKERRQ(ierr);
13007bffde78SMichael Lange   }
1301e8f14785SLisandro Dalcin   ierr = PetscHMapIDestroy(&leafhash);CHKERRQ(ierr);
1302e8f14785SLisandro Dalcin   ierr = PetscHMapIJDestroy(&roothash);CHKERRQ(ierr);
13037bffde78SMichael Lange   ierr = PetscSectionDestroy(&candidateSection);CHKERRQ(ierr);
13047bffde78SMichael Lange   ierr = PetscSectionDestroy(&candidateSectionRemote);CHKERRQ(ierr);
13057bffde78SMichael Lange   ierr = PetscSectionDestroy(&claimSection);CHKERRQ(ierr);
13067bffde78SMichael Lange   ierr = PetscFree(candidates);CHKERRQ(ierr);
13077bffde78SMichael Lange   ierr = PetscFree(candidatesRemote);CHKERRQ(ierr);
13087bffde78SMichael Lange   ierr = PetscFree(claims);CHKERRQ(ierr);
130925afeb17SMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_InterpolateSF,dm,0,0,0);CHKERRQ(ierr);
13107bffde78SMichael Lange   PetscFunctionReturn(0);
13117bffde78SMichael Lange }
13127bffde78SMichael Lange 
13130c795ddcSMatthew G. Knepley /*@C
131480330477SMatthew G. Knepley   DMPlexInterpolate - Take in a cell-vertex mesh and return one with all intermediate faces, edges, etc.
131580330477SMatthew G. Knepley 
131680330477SMatthew G. Knepley   Collective on DM
131780330477SMatthew G. Knepley 
1318e56d480eSMatthew G. Knepley   Input Parameters:
1319e56d480eSMatthew G. Knepley + dm - The DMPlex object with only cells and vertices
132010a67516SMatthew G. Knepley - dmInt - The interpolated DM
132180330477SMatthew G. Knepley 
132280330477SMatthew G. Knepley   Output Parameter:
13234e3744c5SMatthew G. Knepley . dmInt - The complete DMPlex object
132480330477SMatthew G. Knepley 
132580330477SMatthew G. Knepley   Level: intermediate
132680330477SMatthew G. Knepley 
132795452b02SPatrick Sanan   Notes:
132895452b02SPatrick Sanan     It does not copy over the coordinates.
132943eeeb2dSStefano Zampini 
133080330477SMatthew G. Knepley .keywords: mesh
133143eeeb2dSStefano Zampini .seealso: DMPlexUninterpolate(), DMPlexCreateFromCellList(), DMPlexCopyCoordinates()
133280330477SMatthew G. Knepley @*/
13339f074e33SMatthew G Knepley PetscErrorCode DMPlexInterpolate(DM dm, DM *dmInt)
13349f074e33SMatthew G Knepley {
13359a5b13a2SMatthew G Knepley   DM             idm, odm = dm;
13367bffde78SMichael Lange   PetscSF        sfPoint;
13372e1b13c2SMatthew G. Knepley   PetscInt       depth, dim, d;
133810a67516SMatthew G. Knepley   const char    *name;
1339b325530aSVaclav Hapla   PetscBool      flg=PETSC_TRUE;
13409f074e33SMatthew G Knepley   PetscErrorCode ierr;
13419f074e33SMatthew G Knepley 
13429f074e33SMatthew G Knepley   PetscFunctionBegin;
134310a67516SMatthew G. Knepley   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
134410a67516SMatthew G. Knepley   PetscValidPointer(dmInt, 2);
1345a72f3261SMatthew G. Knepley   ierr = PetscLogEventBegin(DMPLEX_Interpolate,dm,0,0,0);CHKERRQ(ierr);
13462e1b13c2SMatthew G. Knepley   ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr);
1347c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
1348b21b8912SMatthew G. Knepley   if ((depth == dim) || (dim <= 1)) {
134976b791aaSMatthew G. Knepley     ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr);
135076b791aaSMatthew G. Knepley     idm  = dm;
1351b21b8912SMatthew G. Knepley   } else {
13529a5b13a2SMatthew G Knepley     for (d = 1; d < dim; ++d) {
13539a5b13a2SMatthew G Knepley       /* Create interpolated mesh */
135410a67516SMatthew G. Knepley       ierr = DMCreate(PetscObjectComm((PetscObject)dm), &idm);CHKERRQ(ierr);
13559a5b13a2SMatthew G Knepley       ierr = DMSetType(idm, DMPLEX);CHKERRQ(ierr);
1356c73cfb54SMatthew G. Knepley       ierr = DMSetDimension(idm, dim);CHKERRQ(ierr);
13577bffde78SMichael Lange       if (depth > 0) {
13587bffde78SMichael Lange         ierr = DMPlexInterpolateFaces_Internal(odm, 1, idm);CHKERRQ(ierr);
13597bffde78SMichael Lange         ierr = DMGetPointSF(odm, &sfPoint);CHKERRQ(ierr);
13602e72742cSMatthew G. Knepley         ierr = DMPlexInterpolatePointSF(idm, sfPoint);CHKERRQ(ierr);
13617bffde78SMichael Lange       }
13629a5b13a2SMatthew G Knepley       if (odm != dm) {ierr = DMDestroy(&odm);CHKERRQ(ierr);}
13639a5b13a2SMatthew G Knepley       odm = idm;
13649f074e33SMatthew G Knepley     }
136510a67516SMatthew G. Knepley     ierr = PetscObjectGetName((PetscObject) dm,  &name);CHKERRQ(ierr);
136610a67516SMatthew G. Knepley     ierr = PetscObjectSetName((PetscObject) idm,  name);CHKERRQ(ierr);
136710a67516SMatthew G. Knepley     ierr = DMPlexCopyCoordinates(dm, idm);CHKERRQ(ierr);
136810a67516SMatthew G. Knepley     ierr = DMCopyLabels(dm, idm);CHKERRQ(ierr);
1369b325530aSVaclav Hapla     ierr = PetscOptionsGetBool(((PetscObject)dm)->options, ((PetscObject)dm)->prefix, "-dm_plex_interpolate_orient_interfaces", &flg, NULL);CHKERRQ(ierr);
1370b325530aSVaclav Hapla     if (flg) {ierr = DMPlexOrientInterface(idm);CHKERRQ(ierr);}
137184699f70SSatish Balay   }
137243eeeb2dSStefano Zampini   {
137343eeeb2dSStefano Zampini     PetscBool            isper;
137443eeeb2dSStefano Zampini     const PetscReal      *maxCell, *L;
137543eeeb2dSStefano Zampini     const DMBoundaryType *bd;
137643eeeb2dSStefano Zampini 
137743eeeb2dSStefano Zampini     ierr = DMGetPeriodicity(dm,&isper,&maxCell,&L,&bd);CHKERRQ(ierr);
137843eeeb2dSStefano Zampini     ierr = DMSetPeriodicity(idm,isper,maxCell,L,bd);CHKERRQ(ierr);
137943eeeb2dSStefano Zampini   }
13809a5b13a2SMatthew G Knepley   *dmInt = idm;
1381a72f3261SMatthew G. Knepley   ierr = PetscLogEventEnd(DMPLEX_Interpolate,dm,0,0,0);CHKERRQ(ierr);
13829f074e33SMatthew G Knepley   PetscFunctionReturn(0);
13839f074e33SMatthew G Knepley }
138407b0a1fcSMatthew G Knepley 
138580330477SMatthew G. Knepley /*@
138680330477SMatthew G. Knepley   DMPlexCopyCoordinates - Copy coordinates from one mesh to another with the same vertices
138780330477SMatthew G. Knepley 
138880330477SMatthew G. Knepley   Collective on DM
138980330477SMatthew G. Knepley 
139080330477SMatthew G. Knepley   Input Parameter:
139180330477SMatthew G. Knepley . dmA - The DMPlex object with initial coordinates
139280330477SMatthew G. Knepley 
139380330477SMatthew G. Knepley   Output Parameter:
139480330477SMatthew G. Knepley . dmB - The DMPlex object with copied coordinates
139580330477SMatthew G. Knepley 
139680330477SMatthew G. Knepley   Level: intermediate
139780330477SMatthew G. Knepley 
139880330477SMatthew G. Knepley   Note: This is typically used when adding pieces other than vertices to a mesh
139980330477SMatthew G. Knepley 
140080330477SMatthew G. Knepley .keywords: mesh
140165f90189SJed Brown .seealso: DMCopyLabels(), DMGetCoordinates(), DMGetCoordinatesLocal(), DMGetCoordinateDM(), DMGetCoordinateSection()
140280330477SMatthew G. Knepley @*/
140307b0a1fcSMatthew G Knepley PetscErrorCode DMPlexCopyCoordinates(DM dmA, DM dmB)
140407b0a1fcSMatthew G Knepley {
140507b0a1fcSMatthew G Knepley   Vec            coordinatesA, coordinatesB;
140643eeeb2dSStefano Zampini   VecType        vtype;
140707b0a1fcSMatthew G Knepley   PetscSection   coordSectionA, coordSectionB;
140807b0a1fcSMatthew G Knepley   PetscScalar   *coordsA, *coordsB;
14090bedd6beSMatthew G. Knepley   PetscInt       spaceDim, Nf, vStartA, vStartB, vEndA, vEndB, coordSizeB, v, d;
141043eeeb2dSStefano Zampini   PetscInt       cStartA, cEndA, cStartB, cEndB, cS, cE;
141143eeeb2dSStefano Zampini   PetscBool      lc = PETSC_FALSE;
141207b0a1fcSMatthew G Knepley   PetscErrorCode ierr;
141307b0a1fcSMatthew G Knepley 
141407b0a1fcSMatthew G Knepley   PetscFunctionBegin;
141543eeeb2dSStefano Zampini   PetscValidHeaderSpecific(dmA, DM_CLASSID, 1);
141643eeeb2dSStefano Zampini   PetscValidHeaderSpecific(dmB, DM_CLASSID, 2);
141776b791aaSMatthew G. Knepley   if (dmA == dmB) PetscFunctionReturn(0);
141807b0a1fcSMatthew G Knepley   ierr = DMPlexGetDepthStratum(dmA, 0, &vStartA, &vEndA);CHKERRQ(ierr);
141907b0a1fcSMatthew G Knepley   ierr = DMPlexGetDepthStratum(dmB, 0, &vStartB, &vEndB);CHKERRQ(ierr);
142007b0a1fcSMatthew G Knepley   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);
142143eeeb2dSStefano Zampini   ierr = DMPlexGetHeightStratum(dmA, 0, &cStartA, &cEndA);CHKERRQ(ierr);
142243eeeb2dSStefano Zampini   ierr = DMPlexGetHeightStratum(dmB, 0, &cStartB, &cEndB);CHKERRQ(ierr);
142369d8a9ceSMatthew G. Knepley   ierr = DMGetCoordinateSection(dmA, &coordSectionA);CHKERRQ(ierr);
142469d8a9ceSMatthew G. Knepley   ierr = DMGetCoordinateSection(dmB, &coordSectionB);CHKERRQ(ierr);
1425972bc18aSToby Isaac   if (coordSectionA == coordSectionB) PetscFunctionReturn(0);
14260bedd6beSMatthew G. Knepley   ierr = PetscSectionGetNumFields(coordSectionA, &Nf);CHKERRQ(ierr);
14270bedd6beSMatthew G. Knepley   if (!Nf) PetscFunctionReturn(0);
14280bedd6beSMatthew G. Knepley   if (Nf > 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "The number of coordinate fields must be 1, not %D", Nf);
1429df26b574SMatthew G. Knepley   if (!coordSectionB) {
1430df26b574SMatthew G. Knepley     PetscInt dim;
1431df26b574SMatthew G. Knepley 
1432df26b574SMatthew G. Knepley     ierr = PetscSectionCreate(PetscObjectComm((PetscObject) coordSectionA), &coordSectionB);CHKERRQ(ierr);
1433df26b574SMatthew G. Knepley     ierr = DMGetCoordinateDim(dmA, &dim);CHKERRQ(ierr);
1434df26b574SMatthew G. Knepley     ierr = DMSetCoordinateSection(dmB, dim, coordSectionB);CHKERRQ(ierr);
1435df26b574SMatthew G. Knepley     ierr = PetscObjectDereference((PetscObject) coordSectionB);CHKERRQ(ierr);
1436df26b574SMatthew G. Knepley   }
143707b0a1fcSMatthew G Knepley   ierr = PetscSectionSetNumFields(coordSectionB, 1);CHKERRQ(ierr);
143807b0a1fcSMatthew G Knepley   ierr = PetscSectionGetFieldComponents(coordSectionA, 0, &spaceDim);CHKERRQ(ierr);
143907b0a1fcSMatthew G Knepley   ierr = PetscSectionSetFieldComponents(coordSectionB, 0, spaceDim);CHKERRQ(ierr);
144043eeeb2dSStefano Zampini   ierr = PetscSectionGetChart(coordSectionA, &cS, &cE);CHKERRQ(ierr);
144143eeeb2dSStefano Zampini   if (cStartA <= cS && cS < cEndA) { /* localized coordinates */
1442367003a6SStefano Zampini     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);
144343eeeb2dSStefano Zampini     cS = cS - cStartA + cStartB;
144443eeeb2dSStefano Zampini     cE = vEndB;
144543eeeb2dSStefano Zampini     lc = PETSC_TRUE;
144643eeeb2dSStefano Zampini   } else {
144743eeeb2dSStefano Zampini     cS = vStartB;
144843eeeb2dSStefano Zampini     cE = vEndB;
144943eeeb2dSStefano Zampini   }
145043eeeb2dSStefano Zampini   ierr = PetscSectionSetChart(coordSectionB, cS, cE);CHKERRQ(ierr);
145107b0a1fcSMatthew G Knepley   for (v = vStartB; v < vEndB; ++v) {
145207b0a1fcSMatthew G Knepley     ierr = PetscSectionSetDof(coordSectionB, v, spaceDim);CHKERRQ(ierr);
145307b0a1fcSMatthew G Knepley     ierr = PetscSectionSetFieldDof(coordSectionB, v, 0, spaceDim);CHKERRQ(ierr);
145407b0a1fcSMatthew G Knepley   }
145543eeeb2dSStefano Zampini   if (lc) { /* localized coordinates */
145643eeeb2dSStefano Zampini     PetscInt c;
145743eeeb2dSStefano Zampini 
145843eeeb2dSStefano Zampini     for (c = cS-cStartB; c < cEndB-cStartB; c++) {
145943eeeb2dSStefano Zampini       PetscInt dof;
146043eeeb2dSStefano Zampini 
146143eeeb2dSStefano Zampini       ierr = PetscSectionGetDof(coordSectionA, c + cStartA, &dof);CHKERRQ(ierr);
146243eeeb2dSStefano Zampini       ierr = PetscSectionSetDof(coordSectionB, c + cStartB, dof);CHKERRQ(ierr);
146343eeeb2dSStefano Zampini       ierr = PetscSectionSetFieldDof(coordSectionB, c + cStartB, 0, dof);CHKERRQ(ierr);
146443eeeb2dSStefano Zampini     }
146543eeeb2dSStefano Zampini   }
146607b0a1fcSMatthew G Knepley   ierr = PetscSectionSetUp(coordSectionB);CHKERRQ(ierr);
146707b0a1fcSMatthew G Knepley   ierr = PetscSectionGetStorageSize(coordSectionB, &coordSizeB);CHKERRQ(ierr);
146807b0a1fcSMatthew G Knepley   ierr = DMGetCoordinatesLocal(dmA, &coordinatesA);CHKERRQ(ierr);
14698b9ced59SLisandro Dalcin   ierr = VecCreate(PETSC_COMM_SELF, &coordinatesB);CHKERRQ(ierr);
147007b0a1fcSMatthew G Knepley   ierr = PetscObjectSetName((PetscObject) coordinatesB, "coordinates");CHKERRQ(ierr);
147107b0a1fcSMatthew G Knepley   ierr = VecSetSizes(coordinatesB, coordSizeB, PETSC_DETERMINE);CHKERRQ(ierr);
147243eeeb2dSStefano Zampini   ierr = VecGetBlockSize(coordinatesA, &d);CHKERRQ(ierr);
147343eeeb2dSStefano Zampini   ierr = VecSetBlockSize(coordinatesB, d);CHKERRQ(ierr);
147443eeeb2dSStefano Zampini   ierr = VecGetType(coordinatesA, &vtype);CHKERRQ(ierr);
147543eeeb2dSStefano Zampini   ierr = VecSetType(coordinatesB, vtype);CHKERRQ(ierr);
147607b0a1fcSMatthew G Knepley   ierr = VecGetArray(coordinatesA, &coordsA);CHKERRQ(ierr);
147707b0a1fcSMatthew G Knepley   ierr = VecGetArray(coordinatesB, &coordsB);CHKERRQ(ierr);
147807b0a1fcSMatthew G Knepley   for (v = 0; v < vEndB-vStartB; ++v) {
147943eeeb2dSStefano Zampini     PetscInt offA, offB;
148043eeeb2dSStefano Zampini 
148143eeeb2dSStefano Zampini     ierr = PetscSectionGetOffset(coordSectionA, v + vStartA, &offA);CHKERRQ(ierr);
148243eeeb2dSStefano Zampini     ierr = PetscSectionGetOffset(coordSectionB, v + vStartB, &offB);CHKERRQ(ierr);
148307b0a1fcSMatthew G Knepley     for (d = 0; d < spaceDim; ++d) {
148443eeeb2dSStefano Zampini       coordsB[offB+d] = coordsA[offA+d];
148543eeeb2dSStefano Zampini     }
148643eeeb2dSStefano Zampini   }
148743eeeb2dSStefano Zampini   if (lc) { /* localized coordinates */
148843eeeb2dSStefano Zampini     PetscInt c;
148943eeeb2dSStefano Zampini 
149043eeeb2dSStefano Zampini     for (c = cS-cStartB; c < cEndB-cStartB; c++) {
149143eeeb2dSStefano Zampini       PetscInt dof, offA, offB;
149243eeeb2dSStefano Zampini 
149343eeeb2dSStefano Zampini       ierr = PetscSectionGetOffset(coordSectionA, c + cStartA, &offA);CHKERRQ(ierr);
149443eeeb2dSStefano Zampini       ierr = PetscSectionGetOffset(coordSectionB, c + cStartB, &offB);CHKERRQ(ierr);
149543eeeb2dSStefano Zampini       ierr = PetscSectionGetDof(coordSectionA, c + cStartA, &dof);CHKERRQ(ierr);
149643eeeb2dSStefano Zampini       ierr = PetscMemcpy(coordsB + offB,coordsA + offA,dof*sizeof(*coordsB));CHKERRQ(ierr);
149707b0a1fcSMatthew G Knepley     }
149807b0a1fcSMatthew G Knepley   }
149907b0a1fcSMatthew G Knepley   ierr = VecRestoreArray(coordinatesA, &coordsA);CHKERRQ(ierr);
150007b0a1fcSMatthew G Knepley   ierr = VecRestoreArray(coordinatesB, &coordsB);CHKERRQ(ierr);
150107b0a1fcSMatthew G Knepley   ierr = DMSetCoordinatesLocal(dmB, coordinatesB);CHKERRQ(ierr);
150207b0a1fcSMatthew G Knepley   ierr = VecDestroy(&coordinatesB);CHKERRQ(ierr);
150307b0a1fcSMatthew G Knepley   PetscFunctionReturn(0);
150407b0a1fcSMatthew G Knepley }
15055c386225SMatthew G. Knepley 
15064e3744c5SMatthew G. Knepley /*@
15074e3744c5SMatthew G. Knepley   DMPlexUninterpolate - Take in a mesh with all intermediate faces, edges, etc. and return a cell-vertex mesh
15084e3744c5SMatthew G. Knepley 
15094e3744c5SMatthew G. Knepley   Collective on DM
15104e3744c5SMatthew G. Knepley 
15114e3744c5SMatthew G. Knepley   Input Parameter:
15124e3744c5SMatthew G. Knepley . dm - The complete DMPlex object
15134e3744c5SMatthew G. Knepley 
15144e3744c5SMatthew G. Knepley   Output Parameter:
15154e3744c5SMatthew G. Knepley . dmUnint - The DMPlex object with only cells and vertices
15164e3744c5SMatthew G. Knepley 
15174e3744c5SMatthew G. Knepley   Level: intermediate
15184e3744c5SMatthew G. Knepley 
151995452b02SPatrick Sanan   Notes:
152095452b02SPatrick Sanan     It does not copy over the coordinates.
152143eeeb2dSStefano Zampini 
15224e3744c5SMatthew G. Knepley .keywords: mesh
152343eeeb2dSStefano Zampini .seealso: DMPlexInterpolate(), DMPlexCreateFromCellList(), DMPlexCopyCoordinates()
15244e3744c5SMatthew G. Knepley @*/
15254e3744c5SMatthew G. Knepley PetscErrorCode DMPlexUninterpolate(DM dm, DM *dmUnint)
15264e3744c5SMatthew G. Knepley {
15274e3744c5SMatthew G. Knepley   DM             udm;
1528c9f63434SStefano Zampini   PetscInt       dim, vStart, vEnd, cStart, cEnd, cMax, c, maxConeSize = 0, *cone;
15294e3744c5SMatthew G. Knepley   PetscErrorCode ierr;
15304e3744c5SMatthew G. Knepley 
15314e3744c5SMatthew G. Knepley   PetscFunctionBegin;
153243eeeb2dSStefano Zampini   PetscValidHeaderSpecific(dm, DM_CLASSID, 1);
153343eeeb2dSStefano Zampini   PetscValidPointer(dmUnint, 2);
1534c73cfb54SMatthew G. Knepley   ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr);
15354e3744c5SMatthew G. Knepley   if (dim <= 1) {
15364e3744c5SMatthew G. Knepley     ierr = PetscObjectReference((PetscObject) dm);CHKERRQ(ierr);
1537595d4abbSMatthew G. Knepley     *dmUnint = dm;
1538595d4abbSMatthew G. Knepley     PetscFunctionReturn(0);
15394e3744c5SMatthew G. Knepley   }
1540595d4abbSMatthew G. Knepley   ierr = DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd);CHKERRQ(ierr);
1541595d4abbSMatthew G. Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
1542c9f63434SStefano Zampini   ierr = DMPlexGetHybridBounds(dm, &cMax, NULL, NULL, NULL);CHKERRQ(ierr);
15434e3744c5SMatthew G. Knepley   ierr = DMCreate(PetscObjectComm((PetscObject) dm), &udm);CHKERRQ(ierr);
15444e3744c5SMatthew G. Knepley   ierr = DMSetType(udm, DMPLEX);CHKERRQ(ierr);
1545c73cfb54SMatthew G. Knepley   ierr = DMSetDimension(udm, dim);CHKERRQ(ierr);
15464e3744c5SMatthew G. Knepley   ierr = DMPlexSetChart(udm, cStart, vEnd);CHKERRQ(ierr);
15474e3744c5SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
1548595d4abbSMatthew G. Knepley     PetscInt *closure = NULL, closureSize, cl, coneSize = 0;
15494e3744c5SMatthew G. Knepley 
15504e3744c5SMatthew G. Knepley     ierr = DMPlexGetTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
15514e3744c5SMatthew G. Knepley     for (cl = 0; cl < closureSize*2; cl += 2) {
15524e3744c5SMatthew G. Knepley       const PetscInt p = closure[cl];
15534e3744c5SMatthew G. Knepley 
15544e3744c5SMatthew G. Knepley       if ((p >= vStart) && (p < vEnd)) ++coneSize;
15554e3744c5SMatthew G. Knepley     }
15564e3744c5SMatthew G. Knepley     ierr = DMPlexRestoreTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
15574e3744c5SMatthew G. Knepley     ierr = DMPlexSetConeSize(udm, c, coneSize);CHKERRQ(ierr);
1558595d4abbSMatthew G. Knepley     maxConeSize = PetscMax(maxConeSize, coneSize);
15594e3744c5SMatthew G. Knepley   }
15604e3744c5SMatthew G. Knepley   ierr = DMSetUp(udm);CHKERRQ(ierr);
1561785e854fSJed Brown   ierr = PetscMalloc1(maxConeSize, &cone);CHKERRQ(ierr);
15624e3744c5SMatthew G. Knepley   for (c = cStart; c < cEnd; ++c) {
1563595d4abbSMatthew G. Knepley     PetscInt *closure = NULL, closureSize, cl, coneSize = 0;
15644e3744c5SMatthew G. Knepley 
15654e3744c5SMatthew G. Knepley     ierr = DMPlexGetTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
15664e3744c5SMatthew G. Knepley     for (cl = 0; cl < closureSize*2; cl += 2) {
15674e3744c5SMatthew G. Knepley       const PetscInt p = closure[cl];
15684e3744c5SMatthew G. Knepley 
15694e3744c5SMatthew G. Knepley       if ((p >= vStart) && (p < vEnd)) cone[coneSize++] = p;
15704e3744c5SMatthew G. Knepley     }
15714e3744c5SMatthew G. Knepley     ierr = DMPlexRestoreTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
15724e3744c5SMatthew G. Knepley     ierr = DMPlexSetCone(udm, c, cone);CHKERRQ(ierr);
15734e3744c5SMatthew G. Knepley   }
15744e3744c5SMatthew G. Knepley   ierr = PetscFree(cone);CHKERRQ(ierr);
1575c9f63434SStefano Zampini   ierr = DMPlexSetHybridBounds(udm, cMax, PETSC_DETERMINE, PETSC_DETERMINE, PETSC_DETERMINE);CHKERRQ(ierr);
15764e3744c5SMatthew G. Knepley   ierr = DMPlexSymmetrize(udm);CHKERRQ(ierr);
15774e3744c5SMatthew G. Knepley   ierr = DMPlexStratify(udm);CHKERRQ(ierr);
15785c7de58aSMatthew G. Knepley   /* Reduce SF */
15795c7de58aSMatthew G. Knepley   {
15805c7de58aSMatthew G. Knepley     PetscSF            sfPoint, sfPointUn;
15815c7de58aSMatthew G. Knepley     const PetscSFNode *remotePoints;
15825c7de58aSMatthew G. Knepley     const PetscInt    *localPoints;
15835c7de58aSMatthew G. Knepley     PetscSFNode       *remotePointsUn;
15845c7de58aSMatthew G. Knepley     PetscInt          *localPointsUn;
15855c7de58aSMatthew G. Knepley     PetscInt           vEnd, numRoots, numLeaves, l;
15865c7de58aSMatthew G. Knepley     PetscInt           numLeavesUn = 0, n = 0;
15875c7de58aSMatthew G. Knepley     PetscErrorCode     ierr;
15885c7de58aSMatthew G. Knepley 
15895c7de58aSMatthew G. Knepley     /* Get original SF information */
15905c7de58aSMatthew G. Knepley     ierr = DMGetPointSF(dm, &sfPoint);CHKERRQ(ierr);
15915c7de58aSMatthew G. Knepley     ierr = DMGetPointSF(udm, &sfPointUn);CHKERRQ(ierr);
15925c7de58aSMatthew G. Knepley     ierr = DMPlexGetDepthStratum(dm, 0, NULL, &vEnd);CHKERRQ(ierr);
15935c7de58aSMatthew G. Knepley     ierr = PetscSFGetGraph(sfPoint, &numRoots, &numLeaves, &localPoints, &remotePoints);CHKERRQ(ierr);
15945c7de58aSMatthew G. Knepley     /* Allocate space for cells and vertices */
15955c7de58aSMatthew G. Knepley     for (l = 0; l < numLeaves; ++l) if (localPoints[l] < vEnd) numLeavesUn++;
15965c7de58aSMatthew G. Knepley     /* Fill in leaves */
15975c7de58aSMatthew G. Knepley     if (vEnd >= 0) {
15985c7de58aSMatthew G. Knepley       ierr = PetscMalloc1(numLeavesUn, &remotePointsUn);CHKERRQ(ierr);
15995c7de58aSMatthew G. Knepley       ierr = PetscMalloc1(numLeavesUn, &localPointsUn);CHKERRQ(ierr);
16005c7de58aSMatthew G. Knepley       for (l = 0; l < numLeaves; l++) {
16015c7de58aSMatthew G. Knepley         if (localPoints[l] < vEnd) {
16025c7de58aSMatthew G. Knepley           localPointsUn[n]        = localPoints[l];
16035c7de58aSMatthew G. Knepley           remotePointsUn[n].rank  = remotePoints[l].rank;
16045c7de58aSMatthew G. Knepley           remotePointsUn[n].index = remotePoints[l].index;
16055c7de58aSMatthew G. Knepley           ++n;
16065c7de58aSMatthew G. Knepley         }
16075c7de58aSMatthew G. Knepley       }
16085c7de58aSMatthew G. Knepley       if (n != numLeavesUn) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Inconsistent number of leaves %d != %d", n, numLeavesUn);
16095c7de58aSMatthew G. Knepley       ierr = PetscSFSetGraph(sfPointUn, vEnd, numLeavesUn, localPointsUn, PETSC_OWN_POINTER, remotePointsUn, PETSC_OWN_POINTER);CHKERRQ(ierr);
16105c7de58aSMatthew G. Knepley     }
16115c7de58aSMatthew G. Knepley   }
161243eeeb2dSStefano Zampini   {
161343eeeb2dSStefano Zampini     PetscBool            isper;
161443eeeb2dSStefano Zampini     const PetscReal      *maxCell, *L;
161543eeeb2dSStefano Zampini     const DMBoundaryType *bd;
161643eeeb2dSStefano Zampini 
161743eeeb2dSStefano Zampini     ierr = DMGetPeriodicity(dm,&isper,&maxCell,&L,&bd);CHKERRQ(ierr);
161843eeeb2dSStefano Zampini     ierr = DMSetPeriodicity(udm,isper,maxCell,L,bd);CHKERRQ(ierr);
161943eeeb2dSStefano Zampini   }
162043eeeb2dSStefano Zampini 
16214e3744c5SMatthew G. Knepley   *dmUnint = udm;
16224e3744c5SMatthew G. Knepley   PetscFunctionReturn(0);
16234e3744c5SMatthew G. Knepley }
1624