xref: /petsc/src/dm/impls/plex/plexfluent.c (revision d71ae5a4db6382e7f06317b8d368875286fe9008) !
10039db0dSBarry Smith #define PETSC_DESIRE_FEATURE_TEST_MACROS /* for fileno() */
22f0bd6dcSMichael Lange #define PETSCDM_DLL
3af0996ceSBarry Smith #include <petsc/private/dmpleximpl.h> /*I   "petscdmplex.h"   I*/
42f0bd6dcSMichael Lange 
52f0bd6dcSMichael Lange /*@C
62f0bd6dcSMichael Lange   DMPlexCreateFluentFromFile - Create a DMPlex mesh from a Fluent mesh file
72f0bd6dcSMichael Lange 
82f0bd6dcSMichael Lange + comm        - The MPI communicator
92f0bd6dcSMichael Lange . filename    - Name of the Fluent mesh file
102f0bd6dcSMichael Lange - interpolate - Create faces and edges in the mesh
112f0bd6dcSMichael Lange 
122f0bd6dcSMichael Lange   Output Parameter:
132f0bd6dcSMichael Lange . dm  - The DM object representing the mesh
142f0bd6dcSMichael Lange 
152f0bd6dcSMichael Lange   Level: beginner
162f0bd6dcSMichael Lange 
17db781477SPatrick Sanan .seealso: `DMPlexCreateFromFile()`, `DMPlexCreateFluent()`, `DMPlexCreate()`
182f0bd6dcSMichael Lange @*/
19*d71ae5a4SJacob Faibussowitsch PetscErrorCode DMPlexCreateFluentFromFile(MPI_Comm comm, const char filename[], PetscBool interpolate, DM *dm)
20*d71ae5a4SJacob Faibussowitsch {
212f0bd6dcSMichael Lange   PetscViewer viewer;
222f0bd6dcSMichael Lange 
232f0bd6dcSMichael Lange   PetscFunctionBegin;
242f0bd6dcSMichael Lange   /* Create file viewer and build plex */
259566063dSJacob Faibussowitsch   PetscCall(PetscViewerCreate(comm, &viewer));
269566063dSJacob Faibussowitsch   PetscCall(PetscViewerSetType(viewer, PETSCVIEWERASCII));
279566063dSJacob Faibussowitsch   PetscCall(PetscViewerFileSetMode(viewer, FILE_MODE_READ));
289566063dSJacob Faibussowitsch   PetscCall(PetscViewerFileSetName(viewer, filename));
299566063dSJacob Faibussowitsch   PetscCall(DMPlexCreateFluent(comm, viewer, interpolate, dm));
309566063dSJacob Faibussowitsch   PetscCall(PetscViewerDestroy(&viewer));
312f0bd6dcSMichael Lange   PetscFunctionReturn(0);
322f0bd6dcSMichael Lange }
332f0bd6dcSMichael Lange 
34*d71ae5a4SJacob Faibussowitsch static PetscErrorCode DMPlexCreateFluent_ReadString(PetscViewer viewer, char *buffer, char delim)
35*d71ae5a4SJacob Faibussowitsch {
364b375a39SMichael Lange   PetscInt ret, i = 0;
372f0bd6dcSMichael Lange 
382f0bd6dcSMichael Lange   PetscFunctionBegin;
399566063dSJacob Faibussowitsch   do PetscCall(PetscViewerRead(viewer, &(buffer[i++]), 1, &ret, PETSC_CHAR));
404b375a39SMichael Lange   while (ret > 0 && buffer[i - 1] != '\0' && buffer[i - 1] != delim);
419371c9d4SSatish Balay   if (!ret) buffer[i - 1] = '\0';
429371c9d4SSatish Balay   else buffer[i] = '\0';
432f0bd6dcSMichael Lange   PetscFunctionReturn(0);
442f0bd6dcSMichael Lange }
452f0bd6dcSMichael Lange 
46*d71ae5a4SJacob Faibussowitsch static PetscErrorCode DMPlexCreateFluent_ReadValues(PetscViewer viewer, void *data, PetscInt count, PetscDataType dtype, PetscBool binary)
47*d71ae5a4SJacob Faibussowitsch {
4870c9a859SSatish Balay   int      fdes = 0;
4919d58f9dSMichael Lange   FILE    *file;
5019d58f9dSMichael Lange   PetscInt i;
5119d58f9dSMichael Lange 
5219d58f9dSMichael Lange   PetscFunctionBegin;
5319d58f9dSMichael Lange   if (binary) {
5419d58f9dSMichael Lange     /* Extract raw file descriptor to read binary block */
559566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIGetPointer(viewer, &file));
569371c9d4SSatish Balay     fflush(file);
579371c9d4SSatish Balay     fdes = fileno(file);
5819d58f9dSMichael Lange   }
5919d58f9dSMichael Lange 
6019d58f9dSMichael Lange   if (!binary && dtype == PETSC_INT) {
6119d58f9dSMichael Lange     char         cbuf[256];
62cfb60857SMatthew G. Knepley     unsigned int ibuf;
63cfb60857SMatthew G. Knepley     int          snum;
6419d58f9dSMichael Lange     /* Parse hexadecimal ascii integers */
6519d58f9dSMichael Lange     for (i = 0; i < count; i++) {
669566063dSJacob Faibussowitsch       PetscCall(PetscViewerRead(viewer, cbuf, 1, NULL, PETSC_STRING));
6719d58f9dSMichael Lange       snum = sscanf(cbuf, "%x", &ibuf);
6808401ef6SPierre Jolivet       PetscCheck(snum == 1, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "File is not a valid Fluent file");
6919d58f9dSMichael Lange       ((PetscInt *)data)[i] = (PetscInt)ibuf;
7019d58f9dSMichael Lange     }
7119d58f9dSMichael Lange   } else if (binary && dtype == PETSC_INT) {
7219d58f9dSMichael Lange     /* Always read 32-bit ints and cast to PetscInt */
7319d58f9dSMichael Lange     int *ibuf;
749566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(count, &ibuf));
759566063dSJacob Faibussowitsch     PetscCall(PetscBinaryRead(fdes, ibuf, count, NULL, PETSC_ENUM));
769566063dSJacob Faibussowitsch     PetscCall(PetscByteSwap(ibuf, PETSC_ENUM, count));
7719d58f9dSMichael Lange     for (i = 0; i < count; i++) ((PetscInt *)data)[i] = (PetscInt)(ibuf[i]);
789566063dSJacob Faibussowitsch     PetscCall(PetscFree(ibuf));
7919d58f9dSMichael Lange 
8019d58f9dSMichael Lange   } else if (binary && dtype == PETSC_SCALAR) {
8119d58f9dSMichael Lange     float *fbuf;
8219d58f9dSMichael Lange     /* Always read 32-bit floats and cast to PetscScalar */
839566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(count, &fbuf));
849566063dSJacob Faibussowitsch     PetscCall(PetscBinaryRead(fdes, fbuf, count, NULL, PETSC_FLOAT));
859566063dSJacob Faibussowitsch     PetscCall(PetscByteSwap(fbuf, PETSC_FLOAT, count));
8619d58f9dSMichael Lange     for (i = 0; i < count; i++) ((PetscScalar *)data)[i] = (PetscScalar)(fbuf[i]);
879566063dSJacob Faibussowitsch     PetscCall(PetscFree(fbuf));
8819d58f9dSMichael Lange   } else {
899566063dSJacob Faibussowitsch     PetscCall(PetscViewerASCIIRead(viewer, data, count, NULL, dtype));
9019d58f9dSMichael Lange   }
9119d58f9dSMichael Lange   PetscFunctionReturn(0);
9219d58f9dSMichael Lange }
9319d58f9dSMichael Lange 
94*d71ae5a4SJacob Faibussowitsch static PetscErrorCode DMPlexCreateFluent_ReadSection(PetscViewer viewer, FluentSection *s)
95*d71ae5a4SJacob Faibussowitsch {
962f0bd6dcSMichael Lange   char buffer[PETSC_MAX_PATH_LEN];
972f0bd6dcSMichael Lange   int  snum;
982f0bd6dcSMichael Lange 
992f0bd6dcSMichael Lange   PetscFunctionBegin;
1002f0bd6dcSMichael Lange   /* Fast-forward to next section and derive its index */
1019566063dSJacob Faibussowitsch   PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, '('));
1029566063dSJacob Faibussowitsch   PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ' '));
1032f0bd6dcSMichael Lange   snum = sscanf(buffer, "%d", &(s->index));
1042f0bd6dcSMichael Lange   /* If we can't match an index return -1 to signal end-of-file */
1059371c9d4SSatish Balay   if (snum < 1) {
1069371c9d4SSatish Balay     s->index = -1;
1079371c9d4SSatish Balay     PetscFunctionReturn(0);
1089371c9d4SSatish Balay   }
1092f0bd6dcSMichael Lange 
1102f0bd6dcSMichael Lange   if (s->index == 0) { /* Comment */
1119566063dSJacob Faibussowitsch     PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
1122f0bd6dcSMichael Lange 
1132f0bd6dcSMichael Lange   } else if (s->index == 2) { /* Dimension */
1149566063dSJacob Faibussowitsch     PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
1152f0bd6dcSMichael Lange     snum = sscanf(buffer, "%d", &(s->nd));
11608401ef6SPierre Jolivet     PetscCheck(snum == 1, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "File is not a valid Fluent file");
1172f0bd6dcSMichael Lange 
11819d58f9dSMichael Lange   } else if (s->index == 10 || s->index == 2010) { /* Vertices */
1199566063dSJacob Faibussowitsch     PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
1202f0bd6dcSMichael Lange     snum = sscanf(buffer, "(%x %x %x %d %d)", &(s->zoneID), &(s->first), &(s->last), &(s->type), &(s->nd));
12108401ef6SPierre Jolivet     PetscCheck(snum == 5, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "File is not a valid Fluent file");
1223f6dc66eSMichael Lange     if (s->zoneID > 0) {
1233f6dc66eSMichael Lange       PetscInt numCoords = s->last - s->first + 1;
1249566063dSJacob Faibussowitsch       PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, '('));
1259566063dSJacob Faibussowitsch       PetscCall(PetscMalloc1(s->nd * numCoords, (PetscScalar **)&s->data));
1269566063dSJacob Faibussowitsch       PetscCall(DMPlexCreateFluent_ReadValues(viewer, s->data, s->nd * numCoords, PETSC_SCALAR, s->index == 2010 ? PETSC_TRUE : PETSC_FALSE));
1279566063dSJacob Faibussowitsch       PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
1283f6dc66eSMichael Lange     }
1299566063dSJacob Faibussowitsch     PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
1302f0bd6dcSMichael Lange 
13119d58f9dSMichael Lange   } else if (s->index == 12 || s->index == 2012) { /* Cells */
1329566063dSJacob Faibussowitsch     PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
1332f0bd6dcSMichael Lange     snum = sscanf(buffer, "(%x", &(s->zoneID));
13408401ef6SPierre Jolivet     PetscCheck(snum == 1, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "File is not a valid Fluent file");
1352f0bd6dcSMichael Lange     if (s->zoneID == 0) { /* Header section */
1362f0bd6dcSMichael Lange       snum = sscanf(buffer, "(%x %x %x %d)", &(s->zoneID), &(s->first), &(s->last), &(s->nd));
13708401ef6SPierre Jolivet       PetscCheck(snum == 4, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "File is not a valid Fluent file");
138f7320561SMichael Lange     } else { /* Data section */
1392f0bd6dcSMichael Lange       snum = sscanf(buffer, "(%x %x %x %d %d)", &(s->zoneID), &(s->first), &(s->last), &(s->type), &(s->nd));
14008401ef6SPierre Jolivet       PetscCheck(snum == 5, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "File is not a valid Fluent file");
141895fcc3eSMichael Lange       if (s->nd == 0) {
142895fcc3eSMichael Lange         /* Read cell type definitions for mixed cells */
14319d58f9dSMichael Lange         PetscInt numCells = s->last - s->first + 1;
1449566063dSJacob Faibussowitsch         PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, '('));
1459566063dSJacob Faibussowitsch         PetscCall(PetscMalloc1(numCells, (PetscInt **)&s->data));
1469566063dSJacob Faibussowitsch         PetscCall(DMPlexCreateFluent_ReadValues(viewer, s->data, numCells, PETSC_INT, s->index == 2012 ? PETSC_TRUE : PETSC_FALSE));
1479566063dSJacob Faibussowitsch         PetscCall(PetscFree(s->data));
1489566063dSJacob Faibussowitsch         PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
149895fcc3eSMichael Lange       }
1502f0bd6dcSMichael Lange     }
1519566063dSJacob Faibussowitsch     PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
1522f0bd6dcSMichael Lange 
15319d58f9dSMichael Lange   } else if (s->index == 13 || s->index == 2013) { /* Faces */
1549566063dSJacob Faibussowitsch     PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
1552f0bd6dcSMichael Lange     snum = sscanf(buffer, "(%x", &(s->zoneID));
15608401ef6SPierre Jolivet     PetscCheck(snum == 1, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "File is not a valid Fluent file");
1572f0bd6dcSMichael Lange     if (s->zoneID == 0) { /* Header section */
1582f0bd6dcSMichael Lange       snum = sscanf(buffer, "(%x %x %x %d)", &(s->zoneID), &(s->first), &(s->last), &(s->nd));
15908401ef6SPierre Jolivet       PetscCheck(snum == 4, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "File is not a valid Fluent file");
160f7320561SMichael Lange     } else { /* Data section */
161137d0469SJed Brown       PetscInt f, numEntries, numFaces;
1622f0bd6dcSMichael Lange       snum = sscanf(buffer, "(%x %x %x %d %d)", &(s->zoneID), &(s->first), &(s->last), &(s->type), &(s->nd));
16308401ef6SPierre Jolivet       PetscCheck(snum == 5, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "File is not a valid Fluent file");
1649566063dSJacob Faibussowitsch       PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, '('));
165f7320561SMichael Lange       switch (s->nd) {
166*d71ae5a4SJacob Faibussowitsch       case 0:
167*d71ae5a4SJacob Faibussowitsch         numEntries = PETSC_DETERMINE;
168*d71ae5a4SJacob Faibussowitsch         break;
169*d71ae5a4SJacob Faibussowitsch       case 2:
170*d71ae5a4SJacob Faibussowitsch         numEntries = 2 + 2;
171*d71ae5a4SJacob Faibussowitsch         break; /* linear */
172*d71ae5a4SJacob Faibussowitsch       case 3:
173*d71ae5a4SJacob Faibussowitsch         numEntries = 2 + 3;
174*d71ae5a4SJacob Faibussowitsch         break; /* triangular */
175*d71ae5a4SJacob Faibussowitsch       case 4:
176*d71ae5a4SJacob Faibussowitsch         numEntries = 2 + 4;
177*d71ae5a4SJacob Faibussowitsch         break; /* quadrilateral */
178*d71ae5a4SJacob Faibussowitsch       default:
179*d71ae5a4SJacob Faibussowitsch         SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Unknown face type in Fluent file");
180f7320561SMichael Lange       }
181f7320561SMichael Lange       numFaces = s->last - s->first + 1;
182895fcc3eSMichael Lange       if (numEntries != PETSC_DETERMINE) {
183895fcc3eSMichael Lange         /* Allocate space only if we already know the size of the block */
1849566063dSJacob Faibussowitsch         PetscCall(PetscMalloc1(numEntries * numFaces, (PetscInt **)&s->data));
185895fcc3eSMichael Lange       }
186f7320561SMichael Lange       for (f = 0; f < numFaces; f++) {
187895fcc3eSMichael Lange         if (s->nd == 0) {
188895fcc3eSMichael Lange           /* Determine the size of the block for "mixed" facets */
189137d0469SJed Brown           PetscInt numFaceVert = 0;
1909566063dSJacob Faibussowitsch           PetscCall(DMPlexCreateFluent_ReadValues(viewer, &numFaceVert, 1, PETSC_INT, s->index == 2013 ? PETSC_TRUE : PETSC_FALSE));
191895fcc3eSMichael Lange           if (numEntries == PETSC_DETERMINE) {
192895fcc3eSMichael Lange             numEntries = numFaceVert + 2;
1939566063dSJacob Faibussowitsch             PetscCall(PetscMalloc1(numEntries * numFaces, (PetscInt **)&s->data));
194895fcc3eSMichael Lange           } else {
1951dca8a05SBarry Smith             PetscCheck(numEntries == numFaceVert + 2, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "No support for mixed faces in Fluent files");
196895fcc3eSMichael Lange           }
197895fcc3eSMichael Lange         }
1989566063dSJacob Faibussowitsch         PetscCall(DMPlexCreateFluent_ReadValues(viewer, &(((PetscInt *)s->data)[f * numEntries]), numEntries, PETSC_INT, s->index == 2013 ? PETSC_TRUE : PETSC_FALSE));
199f7320561SMichael Lange       }
200895fcc3eSMichael Lange       s->nd = numEntries - 2;
2019566063dSJacob Faibussowitsch       PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
2022f0bd6dcSMichael Lange     }
2039566063dSJacob Faibussowitsch     PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, ')'));
2042f0bd6dcSMichael Lange 
2052f0bd6dcSMichael Lange   } else { /* Unknown section type */
206060da220SMatthew G. Knepley     PetscInt depth = 1;
2072f0bd6dcSMichael Lange     do {
2082f0bd6dcSMichael Lange       /* Match parentheses when parsing unknown sections */
2099566063dSJacob Faibussowitsch       do PetscCall(PetscViewerRead(viewer, &(buffer[0]), 1, NULL, PETSC_CHAR));
2102f0bd6dcSMichael Lange       while (buffer[0] != '(' && buffer[0] != ')');
2112f0bd6dcSMichael Lange       if (buffer[0] == '(') depth++;
2122f0bd6dcSMichael Lange       if (buffer[0] == ')') depth--;
2132f0bd6dcSMichael Lange     } while (depth > 0);
2149566063dSJacob Faibussowitsch     PetscCall(DMPlexCreateFluent_ReadString(viewer, buffer, '\n'));
2152f0bd6dcSMichael Lange   }
2162f0bd6dcSMichael Lange   PetscFunctionReturn(0);
2172f0bd6dcSMichael Lange }
2182f0bd6dcSMichael Lange 
2192f0bd6dcSMichael Lange /*@C
2202f0bd6dcSMichael Lange   DMPlexCreateFluent - Create a DMPlex mesh from a Fluent mesh file.
2212f0bd6dcSMichael Lange 
222d083f849SBarry Smith   Collective
2232f0bd6dcSMichael Lange 
2242f0bd6dcSMichael Lange   Input Parameters:
2252f0bd6dcSMichael Lange + comm  - The MPI communicator
2262f0bd6dcSMichael Lange . viewer - The Viewer associated with a Fluent mesh file
2272f0bd6dcSMichael Lange - interpolate - Create faces and edges in the mesh
2282f0bd6dcSMichael Lange 
2292f0bd6dcSMichael Lange   Output Parameter:
2302f0bd6dcSMichael Lange . dm  - The DM object representing the mesh
2312f0bd6dcSMichael Lange 
2322f0bd6dcSMichael Lange   Note: http://aerojet.engr.ucdavis.edu/fluenthelp/html/ug/node1490.htm
2332f0bd6dcSMichael Lange 
2342f0bd6dcSMichael Lange   Level: beginner
2352f0bd6dcSMichael Lange 
236db781477SPatrick Sanan .seealso: `DMPLEX`, `DMCreate()`
2372f0bd6dcSMichael Lange @*/
238*d71ae5a4SJacob Faibussowitsch PetscErrorCode DMPlexCreateFluent(MPI_Comm comm, PetscViewer viewer, PetscBool interpolate, DM *dm)
239*d71ae5a4SJacob Faibussowitsch {
2402f0bd6dcSMichael Lange   PetscMPIInt  rank;
241c2fc583bSSatish Balay   PetscInt     c, v, dim = PETSC_DETERMINE, numCells = 0, numVertices = 0, numCellVertices = PETSC_DETERMINE;
242cf554e2cSMatthew G. Knepley   PetscInt     numFaces = PETSC_DETERMINE, f, numFaceEntries = PETSC_DETERMINE, numFaceVertices = PETSC_DETERMINE;
2433ed8799eSMichael Lange   PetscInt    *faces = NULL, *cellVertices = NULL, *faceZoneIDs = NULL;
2447368db69SLisandro Dalcin   DMLabel      faceSets = NULL;
2453f6dc66eSMichael Lange   PetscInt     d, coordSize;
2463f6dc66eSMichael Lange   PetscScalar *coords, *coordsIn = NULL;
2473f6dc66eSMichael Lange   PetscSection coordSection;
2483f6dc66eSMichael Lange   Vec          coordinates;
2492f0bd6dcSMichael Lange 
2502f0bd6dcSMichael Lange   PetscFunctionBegin;
2519566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Comm_rank(comm, &rank));
2522f0bd6dcSMichael Lange 
253dd400576SPatrick Sanan   if (rank == 0) {
2542f0bd6dcSMichael Lange     FluentSection s;
2552f0bd6dcSMichael Lange     do {
2569566063dSJacob Faibussowitsch       PetscCall(DMPlexCreateFluent_ReadSection(viewer, &s));
2572f0bd6dcSMichael Lange       if (s.index == 2) { /* Dimension */
258f7320561SMichael Lange         dim = s.nd;
2592f0bd6dcSMichael Lange 
26019d58f9dSMichael Lange       } else if (s.index == 10 || s.index == 2010) { /* Vertices */
261f7320561SMichael Lange         if (s.zoneID == 0) numVertices = s.last;
2623f6dc66eSMichael Lange         else {
26328b400f6SJacob Faibussowitsch           PetscCheck(!coordsIn, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Currently no support for multiple coordinate sets in Fluent files");
2641a9c30ecSMatthew G. Knepley           coordsIn = (PetscScalar *)s.data;
2653f6dc66eSMichael Lange         }
2662f0bd6dcSMichael Lange 
26719d58f9dSMichael Lange       } else if (s.index == 12 || s.index == 2012) { /* Cells */
268f7320561SMichael Lange         if (s.zoneID == 0) numCells = s.last;
269f7320561SMichael Lange         else {
270f7320561SMichael Lange           switch (s.nd) {
271*d71ae5a4SJacob Faibussowitsch           case 0:
272*d71ae5a4SJacob Faibussowitsch             numCellVertices = PETSC_DETERMINE;
273*d71ae5a4SJacob Faibussowitsch             break;
274*d71ae5a4SJacob Faibussowitsch           case 1:
275*d71ae5a4SJacob Faibussowitsch             numCellVertices = 3;
276*d71ae5a4SJacob Faibussowitsch             break; /* triangular */
277*d71ae5a4SJacob Faibussowitsch           case 2:
278*d71ae5a4SJacob Faibussowitsch             numCellVertices = 4;
279*d71ae5a4SJacob Faibussowitsch             break; /* tetrahedral */
280*d71ae5a4SJacob Faibussowitsch           case 3:
281*d71ae5a4SJacob Faibussowitsch             numCellVertices = 4;
282*d71ae5a4SJacob Faibussowitsch             break; /* quadrilateral */
283*d71ae5a4SJacob Faibussowitsch           case 4:
284*d71ae5a4SJacob Faibussowitsch             numCellVertices = 8;
285*d71ae5a4SJacob Faibussowitsch             break; /* hexahedral */
286*d71ae5a4SJacob Faibussowitsch           case 5:
287*d71ae5a4SJacob Faibussowitsch             numCellVertices = 5;
288*d71ae5a4SJacob Faibussowitsch             break; /* pyramid */
289*d71ae5a4SJacob Faibussowitsch           case 6:
290*d71ae5a4SJacob Faibussowitsch             numCellVertices = 6;
291*d71ae5a4SJacob Faibussowitsch             break; /* wedge */
292*d71ae5a4SJacob Faibussowitsch           default:
293*d71ae5a4SJacob Faibussowitsch             numCellVertices = PETSC_DETERMINE;
294f7320561SMichael Lange           }
295f7320561SMichael Lange         }
2962f0bd6dcSMichael Lange 
29719d58f9dSMichael Lange       } else if (s.index == 13 || s.index == 2013) { /* Facets */
298f7320561SMichael Lange         if (s.zoneID == 0) {                         /* Header section */
299930bae4bSMatthew G. Knepley           numFaces = (PetscInt)(s.last - s.first + 1);
30035462f7fSMichael Lange           if (s.nd == 0 || s.nd == 5) numFaceVertices = PETSC_DETERMINE;
301895fcc3eSMichael Lange           else numFaceVertices = s.nd;
302f7320561SMichael Lange         } else { /* Data section */
303cf554e2cSMatthew G. Knepley           unsigned int z;
304cf554e2cSMatthew G. Knepley 
3051dca8a05SBarry Smith           PetscCheck(numFaceVertices == PETSC_DETERMINE || s.nd == numFaceVertices, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Mixed facets in Fluent files are not supported");
30608401ef6SPierre Jolivet           PetscCheck(numFaces >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "No header section for facets in Fluent file");
307f7320561SMichael Lange           if (numFaceVertices == PETSC_DETERMINE) numFaceVertices = s.nd;
308f7320561SMichael Lange           numFaceEntries = numFaceVertices + 2;
3099566063dSJacob Faibussowitsch           if (!faces) PetscCall(PetscMalloc1(numFaces * numFaceEntries, &faces));
3109566063dSJacob Faibussowitsch           if (!faceZoneIDs) PetscCall(PetscMalloc1(numFaces, &faceZoneIDs));
3119566063dSJacob Faibussowitsch           PetscCall(PetscMemcpy(&faces[(s.first - 1) * numFaceEntries], s.data, (s.last - s.first + 1) * numFaceEntries * sizeof(PetscInt)));
312ec78a56aSMichael Lange           /* Record the zoneID for each face set */
313cf554e2cSMatthew G. Knepley           for (z = s.first - 1; z < s.last; z++) faceZoneIDs[z] = s.zoneID;
3149566063dSJacob Faibussowitsch           PetscCall(PetscFree(s.data));
315f7320561SMichael Lange         }
3162f0bd6dcSMichael Lange       }
3172f0bd6dcSMichael Lange     } while (s.index >= 0);
3182f0bd6dcSMichael Lange   }
3199566063dSJacob Faibussowitsch   PetscCallMPI(MPI_Bcast(&dim, 1, MPIU_INT, 0, comm));
32008401ef6SPierre Jolivet   PetscCheck(dim >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Fluent file does not include dimension");
321f7320561SMichael Lange 
322f7320561SMichael Lange   /* Allocate cell-vertex mesh */
3239566063dSJacob Faibussowitsch   PetscCall(DMCreate(comm, dm));
3249566063dSJacob Faibussowitsch   PetscCall(DMSetType(*dm, DMPLEX));
3259566063dSJacob Faibussowitsch   PetscCall(DMSetDimension(*dm, dim));
3269566063dSJacob Faibussowitsch   PetscCall(DMPlexSetChart(*dm, 0, numCells + numVertices));
327dd400576SPatrick Sanan   if (rank == 0) {
32808401ef6SPierre Jolivet     PetscCheck(numCells >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Unknown number of cells in Fluent file");
329895fcc3eSMichael Lange     /* If no cell type was given we assume simplices */
330895fcc3eSMichael Lange     if (numCellVertices == PETSC_DETERMINE) numCellVertices = numFaceVertices + 1;
3319566063dSJacob Faibussowitsch     for (c = 0; c < numCells; ++c) PetscCall(DMPlexSetConeSize(*dm, c, numCellVertices));
332f7320561SMichael Lange   }
3339566063dSJacob Faibussowitsch   PetscCall(DMSetUp(*dm));
334f7320561SMichael Lange 
335dd400576SPatrick Sanan   if (rank == 0 && faces) {
336f7320561SMichael Lange     /* Derive cell-vertex list from face-vertex and face-cell maps */
3379566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(numCells * numCellVertices, &cellVertices));
338f7320561SMichael Lange     for (c = 0; c < numCells * numCellVertices; c++) cellVertices[c] = -1;
339f7320561SMichael Lange     for (f = 0; f < numFaces; f++) {
340f7320561SMichael Lange       PetscInt       *cell;
341f7320561SMichael Lange       const PetscInt  cl   = faces[f * numFaceEntries + numFaceVertices];
342f7320561SMichael Lange       const PetscInt  cr   = faces[f * numFaceEntries + numFaceVertices + 1];
343f7320561SMichael Lange       const PetscInt *face = &(faces[f * numFaceEntries]);
344f7320561SMichael Lange 
345f7320561SMichael Lange       if (cl > 0) {
346f7320561SMichael Lange         cell = &(cellVertices[(cl - 1) * numCellVertices]);
347f7320561SMichael Lange         for (v = 0; v < numFaceVertices; v++) {
348f7320561SMichael Lange           PetscBool found = PETSC_FALSE;
349f7320561SMichael Lange           for (c = 0; c < numCellVertices; c++) {
350f7320561SMichael Lange             if (cell[c] < 0) break;
3519371c9d4SSatish Balay             if (cell[c] == face[v] - 1 + numCells) {
3529371c9d4SSatish Balay               found = PETSC_TRUE;
3539371c9d4SSatish Balay               break;
3549371c9d4SSatish Balay             }
355f7320561SMichael Lange           }
356f7320561SMichael Lange           if (!found) cell[c] = face[v] - 1 + numCells;
357f7320561SMichael Lange         }
358f7320561SMichael Lange       }
359f7320561SMichael Lange       if (cr > 0) {
360f7320561SMichael Lange         cell = &(cellVertices[(cr - 1) * numCellVertices]);
361f7320561SMichael Lange         for (v = 0; v < numFaceVertices; v++) {
362f7320561SMichael Lange           PetscBool found = PETSC_FALSE;
363f7320561SMichael Lange           for (c = 0; c < numCellVertices; c++) {
364f7320561SMichael Lange             if (cell[c] < 0) break;
3659371c9d4SSatish Balay             if (cell[c] == face[v] - 1 + numCells) {
3669371c9d4SSatish Balay               found = PETSC_TRUE;
3679371c9d4SSatish Balay               break;
3689371c9d4SSatish Balay             }
369f7320561SMichael Lange           }
370f7320561SMichael Lange           if (!found) cell[c] = face[v] - 1 + numCells;
371f7320561SMichael Lange         }
372f7320561SMichael Lange       }
373f7320561SMichael Lange     }
37448a46eb9SPierre Jolivet     for (c = 0; c < numCells; c++) PetscCall(DMPlexSetCone(*dm, c, &(cellVertices[c * numCellVertices])));
375f7320561SMichael Lange   }
3769566063dSJacob Faibussowitsch   PetscCall(DMPlexSymmetrize(*dm));
3779566063dSJacob Faibussowitsch   PetscCall(DMPlexStratify(*dm));
378f7320561SMichael Lange   if (interpolate) {
3795fd9971aSMatthew G. Knepley     DM idm;
380f7320561SMichael Lange 
3819566063dSJacob Faibussowitsch     PetscCall(DMPlexInterpolate(*dm, &idm));
3829566063dSJacob Faibussowitsch     PetscCall(DMDestroy(dm));
383f7320561SMichael Lange     *dm = idm;
384f7320561SMichael Lange   }
385f7320561SMichael Lange 
386dd400576SPatrick Sanan   if (rank == 0 && faces) {
387631eb916SMichael Lange     PetscInt        fi, joinSize, meetSize, *fverts, cells[2];
388631eb916SMichael Lange     const PetscInt *join, *meet;
3899566063dSJacob Faibussowitsch     PetscCall(PetscMalloc1(numFaceVertices, &fverts));
390ec78a56aSMichael Lange     /* Mark facets by finding the full join of all adjacent vertices */
391ec78a56aSMichael Lange     for (f = 0; f < numFaces; f++) {
392631eb916SMichael Lange       const PetscInt cl = faces[f * numFaceEntries + numFaceVertices] - 1;
393631eb916SMichael Lange       const PetscInt cr = faces[f * numFaceEntries + numFaceVertices + 1] - 1;
394631eb916SMichael Lange       if (cl > 0 && cr > 0) {
395631eb916SMichael Lange         /* If we know both adjoining cells we can use a single-level meet */
3969371c9d4SSatish Balay         cells[0] = cl;
3979371c9d4SSatish Balay         cells[1] = cr;
3989566063dSJacob Faibussowitsch         PetscCall(DMPlexGetMeet(*dm, 2, cells, &meetSize, &meet));
39963a3b9bcSJacob Faibussowitsch         PetscCheck(meetSize == 1, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Could not determine Plex facet for Fluent face %" PetscInt_FMT, f);
4009566063dSJacob Faibussowitsch         PetscCall(DMSetLabelValue_Fast(*dm, &faceSets, "Face Sets", meet[0], faceZoneIDs[f]));
4019566063dSJacob Faibussowitsch         PetscCall(DMPlexRestoreMeet(*dm, numFaceVertices, fverts, &meetSize, &meet));
402631eb916SMichael Lange       } else {
403ec78a56aSMichael Lange         for (fi = 0; fi < numFaceVertices; fi++) fverts[fi] = faces[f * numFaceEntries + fi] + numCells - 1;
4049566063dSJacob Faibussowitsch         PetscCall(DMPlexGetFullJoin(*dm, numFaceVertices, fverts, &joinSize, &join));
40563a3b9bcSJacob Faibussowitsch         PetscCheck(joinSize == 1, PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Could not determine Plex facet for Fluent face %" PetscInt_FMT, f);
4069566063dSJacob Faibussowitsch         PetscCall(DMSetLabelValue_Fast(*dm, &faceSets, "Face Sets", join[0], faceZoneIDs[f]));
4079566063dSJacob Faibussowitsch         PetscCall(DMPlexRestoreJoin(*dm, numFaceVertices, fverts, &joinSize, &join));
408ec78a56aSMichael Lange       }
409631eb916SMichael Lange     }
4109566063dSJacob Faibussowitsch     PetscCall(PetscFree(fverts));
411ec78a56aSMichael Lange   }
412ec78a56aSMichael Lange 
4137368db69SLisandro Dalcin   { /* Create Face Sets label at all processes */
4149371c9d4SSatish Balay     enum {
4159371c9d4SSatish Balay       n = 1
4169371c9d4SSatish Balay     };
4177368db69SLisandro Dalcin     PetscBool flag[n];
4187368db69SLisandro Dalcin 
4197368db69SLisandro Dalcin     flag[0] = faceSets ? PETSC_TRUE : PETSC_FALSE;
4209566063dSJacob Faibussowitsch     PetscCallMPI(MPI_Bcast(flag, n, MPIU_BOOL, 0, comm));
4219566063dSJacob Faibussowitsch     if (flag[0]) PetscCall(DMCreateLabel(*dm, "Face Sets"));
4227368db69SLisandro Dalcin   }
4237368db69SLisandro Dalcin 
4243f6dc66eSMichael Lange   /* Read coordinates */
4259566063dSJacob Faibussowitsch   PetscCall(DMGetCoordinateSection(*dm, &coordSection));
4269566063dSJacob Faibussowitsch   PetscCall(PetscSectionSetNumFields(coordSection, 1));
4279566063dSJacob Faibussowitsch   PetscCall(PetscSectionSetFieldComponents(coordSection, 0, dim));
4289566063dSJacob Faibussowitsch   PetscCall(PetscSectionSetChart(coordSection, numCells, numCells + numVertices));
4293f6dc66eSMichael Lange   for (v = numCells; v < numCells + numVertices; ++v) {
4309566063dSJacob Faibussowitsch     PetscCall(PetscSectionSetDof(coordSection, v, dim));
4319566063dSJacob Faibussowitsch     PetscCall(PetscSectionSetFieldDof(coordSection, v, 0, dim));
4323f6dc66eSMichael Lange   }
4339566063dSJacob Faibussowitsch   PetscCall(PetscSectionSetUp(coordSection));
4349566063dSJacob Faibussowitsch   PetscCall(PetscSectionGetStorageSize(coordSection, &coordSize));
4359566063dSJacob Faibussowitsch   PetscCall(VecCreate(PETSC_COMM_SELF, &coordinates));
4369566063dSJacob Faibussowitsch   PetscCall(PetscObjectSetName((PetscObject)coordinates, "coordinates"));
4379566063dSJacob Faibussowitsch   PetscCall(VecSetSizes(coordinates, coordSize, PETSC_DETERMINE));
4389566063dSJacob Faibussowitsch   PetscCall(VecSetType(coordinates, VECSTANDARD));
4399566063dSJacob Faibussowitsch   PetscCall(VecGetArray(coordinates, &coords));
440dd400576SPatrick Sanan   if (rank == 0 && coordsIn) {
4413f6dc66eSMichael Lange     for (v = 0; v < numVertices; ++v) {
442ad540459SPierre Jolivet       for (d = 0; d < dim; ++d) coords[v * dim + d] = coordsIn[v * dim + d];
4433f6dc66eSMichael Lange     }
4443f6dc66eSMichael Lange   }
4459566063dSJacob Faibussowitsch   PetscCall(VecRestoreArray(coordinates, &coords));
4469566063dSJacob Faibussowitsch   PetscCall(DMSetCoordinatesLocal(*dm, coordinates));
4479566063dSJacob Faibussowitsch   PetscCall(VecDestroy(&coordinates));
4487368db69SLisandro Dalcin 
449dd400576SPatrick Sanan   if (rank == 0) {
4509566063dSJacob Faibussowitsch     PetscCall(PetscFree(cellVertices));
4519566063dSJacob Faibussowitsch     PetscCall(PetscFree(faces));
4529566063dSJacob Faibussowitsch     PetscCall(PetscFree(faceZoneIDs));
4539566063dSJacob Faibussowitsch     PetscCall(PetscFree(coordsIn));
454f7320561SMichael Lange   }
4552f0bd6dcSMichael Lange   PetscFunctionReturn(0);
4562f0bd6dcSMichael Lange }
457