xref: /petsc/src/dm/impls/plex/generators/tetgen/tetgenerate.cxx (revision 96ca5757c85c43f7734d0827057d9d23e6230f96)
13a074057SBarry Smith #include <petsc/private/dmpleximpl.h>   /*I      "petscdmplex.h"   I*/
23a074057SBarry Smith 
33a074057SBarry Smith #include <tetgen.h>
43a074057SBarry Smith 
53a074057SBarry Smith /* This is to fix the tetrahedron orientation from TetGen */
6*96ca5757SLisandro Dalcin static PetscErrorCode DMPlexInvertCells_Tetgen(PetscInt numCells, PetscInt numCorners, int cells[])
73a074057SBarry Smith {
83a074057SBarry Smith   PetscInt bound = numCells*numCorners, coff;
93a074057SBarry Smith 
103a074057SBarry Smith   PetscFunctionBegin;
11*96ca5757SLisandro Dalcin #define SWAP(a,b) do { int tmp = (a); (a) = (b); (b) = tmp; } while(0)
12*96ca5757SLisandro Dalcin   for (coff = 0; coff < bound; coff += numCorners) SWAP(cells[coff],cells[coff+1]);
13*96ca5757SLisandro Dalcin #undef SWAP
143a074057SBarry Smith   PetscFunctionReturn(0);
153a074057SBarry Smith }
163a074057SBarry Smith 
173a074057SBarry Smith PETSC_EXTERN PetscErrorCode DMPlexGenerate_Tetgen(DM boundary, PetscBool interpolate, DM *dm)
183a074057SBarry Smith {
193a074057SBarry Smith   MPI_Comm       comm;
203a074057SBarry Smith   DM_Plex       *mesh      = (DM_Plex *) boundary->data;
213a074057SBarry Smith   const PetscInt dim       = 3;
223a074057SBarry Smith   const char    *labelName = "marker";
233a074057SBarry Smith   ::tetgenio     in;
243a074057SBarry Smith   ::tetgenio     out;
253a074057SBarry Smith   DMLabel        label;
263a074057SBarry Smith   PetscInt       vStart, vEnd, v, fStart, fEnd, f;
273a074057SBarry Smith   PetscMPIInt    rank;
283a074057SBarry Smith   PetscErrorCode ierr;
293a074057SBarry Smith 
303a074057SBarry Smith   PetscFunctionBegin;
313a074057SBarry Smith   ierr = PetscObjectGetComm((PetscObject)boundary,&comm);CHKERRQ(ierr);
323a074057SBarry Smith   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
333a074057SBarry Smith   ierr = DMPlexGetDepthStratum(boundary, 0, &vStart, &vEnd);CHKERRQ(ierr);
343a074057SBarry Smith   ierr = DMGetLabel(boundary, labelName, &label);CHKERRQ(ierr);
353a074057SBarry Smith 
363a074057SBarry Smith   in.numberofpoints = vEnd - vStart;
373a074057SBarry Smith   if (in.numberofpoints > 0) {
383a074057SBarry Smith     PetscSection coordSection;
393a074057SBarry Smith     Vec          coordinates;
403a074057SBarry Smith     PetscScalar *array;
413a074057SBarry Smith 
423a074057SBarry Smith     in.pointlist       = new double[in.numberofpoints*dim];
433a074057SBarry Smith     in.pointmarkerlist = new int[in.numberofpoints];
443a074057SBarry Smith 
453a074057SBarry Smith     ierr = DMGetCoordinatesLocal(boundary, &coordinates);CHKERRQ(ierr);
463a074057SBarry Smith     ierr = DMGetCoordinateSection(boundary, &coordSection);CHKERRQ(ierr);
473a074057SBarry Smith     ierr = VecGetArray(coordinates, &array);CHKERRQ(ierr);
483a074057SBarry Smith     for (v = vStart; v < vEnd; ++v) {
493a074057SBarry Smith       const PetscInt idx = v - vStart;
503a074057SBarry Smith       PetscInt       off, d;
513a074057SBarry Smith 
523a074057SBarry Smith       ierr = PetscSectionGetOffset(coordSection, v, &off);CHKERRQ(ierr);
533a074057SBarry Smith       for (d = 0; d < dim; ++d) in.pointlist[idx*dim + d] = PetscRealPart(array[off+d]);
543a074057SBarry Smith       if (label) {
553a074057SBarry Smith         PetscInt val;
563a074057SBarry Smith 
573a074057SBarry Smith         ierr = DMLabelGetValue(label, v, &val);CHKERRQ(ierr);
583a074057SBarry Smith         in.pointmarkerlist[idx] = (int) val;
593a074057SBarry Smith       }
603a074057SBarry Smith     }
613a074057SBarry Smith     ierr = VecRestoreArray(coordinates, &array);CHKERRQ(ierr);
623a074057SBarry Smith   }
633a074057SBarry Smith   ierr  = DMPlexGetHeightStratum(boundary, 0, &fStart, &fEnd);CHKERRQ(ierr);
643a074057SBarry Smith 
653a074057SBarry Smith   in.numberoffacets = fEnd - fStart;
663a074057SBarry Smith   if (in.numberoffacets > 0) {
673a074057SBarry Smith     in.facetlist       = new tetgenio::facet[in.numberoffacets];
683a074057SBarry Smith     in.facetmarkerlist = new int[in.numberoffacets];
693a074057SBarry Smith     for (f = fStart; f < fEnd; ++f) {
703a074057SBarry Smith       const PetscInt idx     = f - fStart;
713a074057SBarry Smith       PetscInt      *points = NULL, numPoints, p, numVertices = 0, v;
723a074057SBarry Smith 
733a074057SBarry Smith       in.facetlist[idx].numberofpolygons = 1;
743a074057SBarry Smith       in.facetlist[idx].polygonlist      = new tetgenio::polygon[in.facetlist[idx].numberofpolygons];
753a074057SBarry Smith       in.facetlist[idx].numberofholes    = 0;
763a074057SBarry Smith       in.facetlist[idx].holelist         = NULL;
773a074057SBarry Smith 
783a074057SBarry Smith       ierr = DMPlexGetTransitiveClosure(boundary, f, PETSC_TRUE, &numPoints, &points);CHKERRQ(ierr);
793a074057SBarry Smith       for (p = 0; p < numPoints*2; p += 2) {
803a074057SBarry Smith         const PetscInt point = points[p];
813a074057SBarry Smith         if ((point >= vStart) && (point < vEnd)) points[numVertices++] = point;
823a074057SBarry Smith       }
833a074057SBarry Smith 
843a074057SBarry Smith       tetgenio::polygon *poly = in.facetlist[idx].polygonlist;
853a074057SBarry Smith       poly->numberofvertices = numVertices;
863a074057SBarry Smith       poly->vertexlist       = new int[poly->numberofvertices];
873a074057SBarry Smith       for (v = 0; v < numVertices; ++v) {
883a074057SBarry Smith         const PetscInt vIdx = points[v] - vStart;
893a074057SBarry Smith         poly->vertexlist[v] = vIdx;
903a074057SBarry Smith       }
913a074057SBarry Smith       if (label) {
923a074057SBarry Smith         PetscInt val;
933a074057SBarry Smith 
943a074057SBarry Smith         ierr = DMLabelGetValue(label, f, &val);CHKERRQ(ierr);
953a074057SBarry Smith         in.facetmarkerlist[idx] = (int) val;
963a074057SBarry Smith       }
973a074057SBarry Smith       ierr = DMPlexRestoreTransitiveClosure(boundary, f, PETSC_TRUE, &numPoints, &points);CHKERRQ(ierr);
983a074057SBarry Smith     }
993a074057SBarry Smith   }
1003a074057SBarry Smith   if (!rank) {
1013a074057SBarry Smith     char args[32];
1023a074057SBarry Smith 
1033a074057SBarry Smith     /* Take away 'Q' for verbose output */
1043a074057SBarry Smith     ierr = PetscStrcpy(args, "pqezQ");CHKERRQ(ierr);
1053a074057SBarry Smith     if (mesh->tetgenOpts) {::tetrahedralize(mesh->tetgenOpts, &in, &out);}
1063a074057SBarry Smith     else                  {::tetrahedralize(args, &in, &out);}
1073a074057SBarry Smith   }
1083a074057SBarry Smith   {
1093a074057SBarry Smith     DMLabel        glabel      = NULL;
1103a074057SBarry Smith     const PetscInt numCorners  = 4;
1113a074057SBarry Smith     const PetscInt numCells    = out.numberoftetrahedra;
1123a074057SBarry Smith     const PetscInt numVertices = out.numberofpoints;
1133a074057SBarry Smith     const double   *meshCoords = out.pointlist;
1143a074057SBarry Smith     int            *cells      = out.tetrahedronlist;
1153a074057SBarry Smith 
116*96ca5757SLisandro Dalcin     ierr = DMPlexInvertCells_Tetgen(numCells, numCorners, cells);CHKERRQ(ierr);
1173a074057SBarry Smith     ierr = DMPlexCreateFromCellList(comm, dim, numCells, numVertices, numCorners, interpolate, cells, dim, meshCoords, dm);CHKERRQ(ierr);
118*96ca5757SLisandro Dalcin     if (label) {ierr = DMCreateLabel(*dm, labelName);CHKERRQ(ierr); ierr = DMGetLabel(*dm, labelName, &glabel);CHKERRQ(ierr);}
1193a074057SBarry Smith     /* Set labels */
1203a074057SBarry Smith     for (v = 0; v < numVertices; ++v) {
1213a074057SBarry Smith       if (out.pointmarkerlist[v]) {
1223a074057SBarry Smith         if (glabel) {ierr = DMLabelSetValue(glabel, v+numCells, out.pointmarkerlist[v]);CHKERRQ(ierr);}
1233a074057SBarry Smith       }
1243a074057SBarry Smith     }
1253a074057SBarry Smith     if (interpolate) {
1263a074057SBarry Smith #if 0
1273a074057SBarry Smith       PetscInt e;
1283a074057SBarry Smith 
1293a074057SBarry Smith       /* This check is never actually executed for ctetgen (which never returns edgemarkers) and seems to be broken for
1303a074057SBarry Smith        * tetgen */
1313a074057SBarry Smith       for (e = 0; e < out.numberofedges; e++) {
1323a074057SBarry Smith         if (out.edgemarkerlist[e]) {
1333a074057SBarry Smith           const PetscInt  vertices[2] = {out.edgelist[e*2+0]+numCells, out.edgelist[e*2+1]+numCells};
1343a074057SBarry Smith           const PetscInt *edges;
1353a074057SBarry Smith           PetscInt        numEdges;
1363a074057SBarry Smith 
1373a074057SBarry Smith           ierr = DMPlexGetJoin(*dm, 2, vertices, &numEdges, &edges);CHKERRQ(ierr);
1383a074057SBarry Smith           if (numEdges != 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Two vertices must cover only one edge, not %D", numEdges);
1393a074057SBarry Smith           if (glabel) {ierr = DMLabelSetValue(glabel, edges[0], out.edgemarkerlist[e]);CHKERRQ(ierr);}
1403a074057SBarry Smith           ierr = DMPlexRestoreJoin(*dm, 2, vertices, &numEdges, &edges);CHKERRQ(ierr);
1413a074057SBarry Smith         }
1423a074057SBarry Smith       }
1433a074057SBarry Smith #endif
1443a074057SBarry Smith       for (f = 0; f < out.numberoftrifaces; f++) {
1453a074057SBarry Smith         if (out.trifacemarkerlist[f]) {
1463a074057SBarry Smith           const PetscInt  vertices[3] = {out.trifacelist[f*3+0]+numCells, out.trifacelist[f*3+1]+numCells, out.trifacelist[f*3+2]+numCells};
1473a074057SBarry Smith           const PetscInt *faces;
1483a074057SBarry Smith           PetscInt        numFaces;
1493a074057SBarry Smith 
1503a074057SBarry Smith           ierr = DMPlexGetFullJoin(*dm, 3, vertices, &numFaces, &faces);CHKERRQ(ierr);
1513a074057SBarry Smith           if (numFaces != 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Three vertices must cover only one face, not %D", numFaces);
1523a074057SBarry Smith           if (glabel) {ierr = DMLabelSetValue(glabel, faces[0], out.trifacemarkerlist[f]);CHKERRQ(ierr);}
1533a074057SBarry Smith           ierr = DMPlexRestoreJoin(*dm, 3, vertices, &numFaces, &faces);CHKERRQ(ierr);
1543a074057SBarry Smith         }
1553a074057SBarry Smith       }
1563a074057SBarry Smith     }
1573a074057SBarry Smith     ierr = DMPlexSetRefinementUniform(*dm, PETSC_FALSE);CHKERRQ(ierr);
1583a074057SBarry Smith   }
1593a074057SBarry Smith   PetscFunctionReturn(0);
1603a074057SBarry Smith }
1613a074057SBarry Smith 
1623a074057SBarry Smith PETSC_EXTERN PetscErrorCode DMPlexRefine_Tetgen(DM dm, double *maxVolumes, DM *dmRefined)
1633a074057SBarry Smith {
1643a074057SBarry Smith   MPI_Comm       comm;
1653a074057SBarry Smith   const PetscInt dim       = 3;
1663a074057SBarry Smith   const char    *labelName = "marker";
1673a074057SBarry Smith   ::tetgenio     in;
1683a074057SBarry Smith   ::tetgenio     out;
1693a074057SBarry Smith   DMLabel        label;
1703a074057SBarry Smith   PetscInt       vStart, vEnd, v, cStart, cEnd, c, depth, depthGlobal;
1713a074057SBarry Smith   PetscMPIInt    rank;
1723a074057SBarry Smith   PetscErrorCode ierr;
1733a074057SBarry Smith 
1743a074057SBarry Smith   PetscFunctionBegin;
1753a074057SBarry Smith   ierr = PetscObjectGetComm((PetscObject)dm,&comm);CHKERRQ(ierr);
1763a074057SBarry Smith   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
1773a074057SBarry Smith   ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr);
1783a074057SBarry Smith   ierr = MPIU_Allreduce(&depth, &depthGlobal, 1, MPIU_INT, MPI_MAX, comm);CHKERRQ(ierr);
1793a074057SBarry Smith   ierr = DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd);CHKERRQ(ierr);
1803a074057SBarry Smith   ierr = DMGetLabel(dm, labelName, &label);CHKERRQ(ierr);
1813a074057SBarry Smith 
1823a074057SBarry Smith   in.numberofpoints = vEnd - vStart;
1833a074057SBarry Smith   if (in.numberofpoints > 0) {
1843a074057SBarry Smith     PetscSection coordSection;
1853a074057SBarry Smith     Vec          coordinates;
1863a074057SBarry Smith     PetscScalar *array;
1873a074057SBarry Smith 
1883a074057SBarry Smith     in.pointlist       = new double[in.numberofpoints*dim];
1893a074057SBarry Smith     in.pointmarkerlist = new int[in.numberofpoints];
1903a074057SBarry Smith 
1913a074057SBarry Smith     ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr);
1923a074057SBarry Smith     ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr);
1933a074057SBarry Smith     ierr = VecGetArray(coordinates, &array);CHKERRQ(ierr);
1943a074057SBarry Smith     for (v = vStart; v < vEnd; ++v) {
1953a074057SBarry Smith       const PetscInt idx = v - vStart;
1963a074057SBarry Smith       PetscInt       off, d;
1973a074057SBarry Smith 
1983a074057SBarry Smith       ierr = PetscSectionGetOffset(coordSection, v, &off);CHKERRQ(ierr);
1993a074057SBarry Smith       for (d = 0; d < dim; ++d) in.pointlist[idx*dim + d] = PetscRealPart(array[off+d]);
2003a074057SBarry Smith       if (label) {
2013a074057SBarry Smith         PetscInt val;
2023a074057SBarry Smith 
2033a074057SBarry Smith         ierr = DMLabelGetValue(label, v, &val);CHKERRQ(ierr);
2043a074057SBarry Smith         in.pointmarkerlist[idx] = (int) val;
2053a074057SBarry Smith       }
2063a074057SBarry Smith     }
2073a074057SBarry Smith     ierr = VecRestoreArray(coordinates, &array);CHKERRQ(ierr);
2083a074057SBarry Smith   }
2093a074057SBarry Smith   ierr  = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
2103a074057SBarry Smith 
2113a074057SBarry Smith   in.numberofcorners       = 4;
2123a074057SBarry Smith   in.numberoftetrahedra    = cEnd - cStart;
2133a074057SBarry Smith   in.tetrahedronvolumelist = (double*) maxVolumes;
2143a074057SBarry Smith   if (in.numberoftetrahedra > 0) {
2153a074057SBarry Smith     in.tetrahedronlist = new int[in.numberoftetrahedra*in.numberofcorners];
2163a074057SBarry Smith     for (c = cStart; c < cEnd; ++c) {
2173a074057SBarry Smith       const PetscInt idx      = c - cStart;
2183a074057SBarry Smith       PetscInt      *closure = NULL;
2193a074057SBarry Smith       PetscInt       closureSize;
2203a074057SBarry Smith 
2213a074057SBarry Smith       ierr = DMPlexGetTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
2223a074057SBarry Smith       if ((closureSize != 5) && (closureSize != 15)) SETERRQ1(comm, PETSC_ERR_ARG_WRONG, "Mesh has cell which is not a tetrahedron, %D vertices in closure", closureSize);
2233a074057SBarry Smith       for (v = 0; v < 4; ++v) {
2243a074057SBarry Smith         in.tetrahedronlist[idx*in.numberofcorners + v] = closure[(v+closureSize-4)*2] - vStart;
2253a074057SBarry Smith       }
2263a074057SBarry Smith       ierr = DMPlexRestoreTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
2273a074057SBarry Smith     }
2283a074057SBarry Smith   }
2293a074057SBarry Smith   /* TODO: Put in boundary faces with markers */
2303a074057SBarry Smith   if (!rank) {
2313a074057SBarry Smith     char args[32];
2323a074057SBarry Smith 
2333a074057SBarry Smith #if 1
2343a074057SBarry Smith     /* Take away 'Q' for verbose output */
2353a074057SBarry Smith     ierr = PetscStrcpy(args, "qezQra");CHKERRQ(ierr);
2363a074057SBarry Smith #else
2373a074057SBarry Smith     ierr = PetscStrcpy(args, "qezraVVVV");CHKERRQ(ierr);
2383a074057SBarry Smith #endif
2393a074057SBarry Smith     ::tetrahedralize(args, &in, &out);
2403a074057SBarry Smith   }
2413a074057SBarry Smith   in.tetrahedronvolumelist = NULL;
2423a074057SBarry Smith 
2433a074057SBarry Smith   {
2443a074057SBarry Smith     DMLabel        rlabel      = NULL;
2453a074057SBarry Smith     const PetscInt numCorners  = 4;
2463a074057SBarry Smith     const PetscInt numCells    = out.numberoftetrahedra;
2473a074057SBarry Smith     const PetscInt numVertices = out.numberofpoints;
2483a074057SBarry Smith     const double   *meshCoords = out.pointlist;
2493a074057SBarry Smith     int            *cells      = out.tetrahedronlist;
2503a074057SBarry Smith 
2513a074057SBarry Smith     PetscBool      interpolate = depthGlobal > 1 ? PETSC_TRUE : PETSC_FALSE;
2523a074057SBarry Smith 
253*96ca5757SLisandro Dalcin     ierr = DMPlexInvertCells_Tetgen(numCells, numCorners, cells);CHKERRQ(ierr);
2543a074057SBarry Smith     ierr = DMPlexCreateFromCellList(comm, dim, numCells, numVertices, numCorners, interpolate, cells, dim, meshCoords, dmRefined);CHKERRQ(ierr);
2553a074057SBarry Smith     if (label) {ierr = DMCreateLabel(*dmRefined, labelName); ierr = DMGetLabel(*dmRefined, labelName, &rlabel);}
2563a074057SBarry Smith     /* Set labels */
2573a074057SBarry Smith     for (v = 0; v < numVertices; ++v) {
2583a074057SBarry Smith       if (out.pointmarkerlist[v]) {
2593a074057SBarry Smith         if (rlabel) {ierr = DMLabelSetValue(rlabel, v+numCells, out.pointmarkerlist[v]);CHKERRQ(ierr);}
2603a074057SBarry Smith       }
2613a074057SBarry Smith     }
2623a074057SBarry Smith     if (interpolate) {
2633a074057SBarry Smith       PetscInt f;
2643a074057SBarry Smith #if 0
2653a074057SBarry Smith       PetscInt e;
2663a074057SBarry Smith 
2673a074057SBarry Smith       for (e = 0; e < out.numberofedges; e++) {
2683a074057SBarry Smith         if (out.edgemarkerlist[e]) {
2693a074057SBarry Smith           const PetscInt  vertices[2] = {out.edgelist[e*2+0]+numCells, out.edgelist[e*2+1]+numCells};
2703a074057SBarry Smith           const PetscInt *edges;
2713a074057SBarry Smith           PetscInt        numEdges;
2723a074057SBarry Smith 
2733a074057SBarry Smith           ierr = DMPlexGetJoin(*dmRefined, 2, vertices, &numEdges, &edges);CHKERRQ(ierr);
2743a074057SBarry Smith           if (numEdges != 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Two vertices must cover only one edge, not %D", numEdges);
2753a074057SBarry Smith           if (rlabel) {ierr = DMLabelSetValue(rlabel, edges[0], out.edgemarkerlist[e]);CHKERRQ(ierr);}
2763a074057SBarry Smith           ierr = DMPlexRestoreJoin(*dmRefined, 2, vertices, &numEdges, &edges);CHKERRQ(ierr);
2773a074057SBarry Smith         }
2783a074057SBarry Smith       }
2793a074057SBarry Smith #endif
2803a074057SBarry Smith       for (f = 0; f < out.numberoftrifaces; f++) {
2813a074057SBarry Smith         if (out.trifacemarkerlist[f]) {
2823a074057SBarry Smith           const PetscInt  vertices[3] = {out.trifacelist[f*3+0]+numCells, out.trifacelist[f*3+1]+numCells, out.trifacelist[f*3+2]+numCells};
2833a074057SBarry Smith           const PetscInt *faces;
2843a074057SBarry Smith           PetscInt        numFaces;
2853a074057SBarry Smith 
2863a074057SBarry Smith           ierr = DMPlexGetFullJoin(*dmRefined, 3, vertices, &numFaces, &faces);CHKERRQ(ierr);
2873a074057SBarry Smith           if (numFaces != 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Three vertices must cover only one face, not %D", numFaces);
2883a074057SBarry Smith           if (rlabel) {ierr = DMLabelSetValue(rlabel, faces[0], out.trifacemarkerlist[f]);CHKERRQ(ierr);}
2893a074057SBarry Smith           ierr = DMPlexRestoreJoin(*dmRefined, 3, vertices, &numFaces, &faces);CHKERRQ(ierr);
2903a074057SBarry Smith         }
2913a074057SBarry Smith       }
2923a074057SBarry Smith     }
2933a074057SBarry Smith     ierr = DMPlexSetRefinementUniform(*dmRefined, PETSC_FALSE);CHKERRQ(ierr);
2943a074057SBarry Smith   }
2953a074057SBarry Smith   PetscFunctionReturn(0);
2963a074057SBarry Smith }
297