xref: /petsc/src/dm/impls/plex/generators/tetgen/tetgenerate.cxx (revision 0fdc74893d08b7f731a3f927b6584bf9ea7d2444)
13a074057SBarry Smith #include <petsc/private/dmpleximpl.h>   /*I      "petscdmplex.h"   I*/
23a074057SBarry Smith 
3*0fdc7489SMatthew Knepley #ifdef PETSC_HAVE_EGADS
4*0fdc7489SMatthew Knepley #include <egads.h>
5*0fdc7489SMatthew Knepley #endif
6*0fdc7489SMatthew Knepley 
7b83bf3d7SVaclav Hapla #if defined(PETSC_HAVE_TETGEN_TETLIBRARY_NEEDED)
8b83bf3d7SVaclav Hapla #define TETLIBRARY
9b83bf3d7SVaclav Hapla #endif
103a074057SBarry Smith #include <tetgen.h>
113a074057SBarry Smith 
123a074057SBarry Smith /* This is to fix the tetrahedron orientation from TetGen */
13a4a685f2SJacob Faibussowitsch static PetscErrorCode DMPlexInvertCells_Tetgen(PetscInt numCells, PetscInt numCorners, PetscInt cells[])
143a074057SBarry Smith {
153a074057SBarry Smith   PetscInt bound = numCells*numCorners, coff;
163a074057SBarry Smith 
173a074057SBarry Smith   PetscFunctionBegin;
18a4a685f2SJacob Faibussowitsch #define SWAP(a,b) do { PetscInt tmp = (a); (a) = (b); (b) = tmp; } while (0)
1996ca5757SLisandro Dalcin   for (coff = 0; coff < bound; coff += numCorners) SWAP(cells[coff],cells[coff+1]);
2096ca5757SLisandro Dalcin #undef SWAP
213a074057SBarry Smith   PetscFunctionReturn(0);
223a074057SBarry Smith }
233a074057SBarry Smith 
243a074057SBarry Smith PETSC_EXTERN PetscErrorCode DMPlexGenerate_Tetgen(DM boundary, PetscBool interpolate, DM *dm)
253a074057SBarry Smith {
263a074057SBarry Smith   MPI_Comm               comm;
273a074057SBarry Smith   const PetscInt         dim = 3;
283a074057SBarry Smith   ::tetgenio             in;
293a074057SBarry Smith   ::tetgenio             out;
30*0fdc7489SMatthew Knepley   DMUniversalLabel       universal;
31*0fdc7489SMatthew Knepley   PetscInt               vStart, vEnd, v, eStart, eEnd, e, fStart, fEnd, f;
32*0fdc7489SMatthew Knepley   DMPlexInterpolatedFlag isInterpolated;
333a074057SBarry Smith   PetscMPIInt            rank;
343a074057SBarry Smith   PetscErrorCode         ierr;
353a074057SBarry Smith 
363a074057SBarry Smith   PetscFunctionBegin;
373a074057SBarry Smith   ierr = PetscObjectGetComm((PetscObject)boundary,&comm);CHKERRQ(ierr);
383a074057SBarry Smith   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
39*0fdc7489SMatthew Knepley   ierr = DMPlexIsInterpolatedCollective(boundary, &isInterpolated);CHKERRQ(ierr);
40*0fdc7489SMatthew Knepley   ierr = DMUniversalLabelCreate(boundary, &universal);CHKERRQ(ierr);
413a074057SBarry Smith 
42*0fdc7489SMatthew Knepley   ierr = DMPlexGetDepthStratum(boundary, 0, &vStart, &vEnd);CHKERRQ(ierr);
433a074057SBarry Smith   in.numberofpoints = vEnd - vStart;
443a074057SBarry Smith   if (in.numberofpoints > 0) {
453a074057SBarry Smith     PetscSection       coordSection;
463a074057SBarry Smith     Vec                coordinates;
47*0fdc7489SMatthew Knepley     const PetscScalar *array;
483a074057SBarry Smith 
493a074057SBarry Smith     in.pointlist       = new double[in.numberofpoints*dim];
503a074057SBarry Smith     in.pointmarkerlist = new int[in.numberofpoints];
513a074057SBarry Smith 
523a074057SBarry Smith     ierr = DMGetCoordinatesLocal(boundary, &coordinates);CHKERRQ(ierr);
533a074057SBarry Smith     ierr = DMGetCoordinateSection(boundary, &coordSection);CHKERRQ(ierr);
54*0fdc7489SMatthew Knepley     ierr = VecGetArrayRead(coordinates, &array);CHKERRQ(ierr);
553a074057SBarry Smith     for (v = vStart; v < vEnd; ++v) {
563a074057SBarry Smith       const PetscInt idx = v - vStart;
57*0fdc7489SMatthew Knepley       PetscInt       off, d, val;
583a074057SBarry Smith 
593a074057SBarry Smith       ierr = PetscSectionGetOffset(coordSection, v, &off);CHKERRQ(ierr);
603a074057SBarry Smith       for (d = 0; d < dim; ++d) in.pointlist[idx*dim + d] = PetscRealPart(array[off+d]);
61*0fdc7489SMatthew Knepley       ierr = DMLabelGetValue(universal->label, v, &val);CHKERRQ(ierr);
623a074057SBarry Smith       in.pointmarkerlist[idx] = (int) val;
633a074057SBarry Smith     }
64*0fdc7489SMatthew Knepley     ierr = VecRestoreArrayRead(coordinates, &array);CHKERRQ(ierr);
653a074057SBarry Smith   }
663a074057SBarry Smith 
67*0fdc7489SMatthew Knepley   ierr = DMPlexGetHeightStratum(boundary, 1, &eStart, &eEnd);CHKERRQ(ierr);
68*0fdc7489SMatthew Knepley   in.numberofedges = eEnd - eStart;
69*0fdc7489SMatthew Knepley   if (isInterpolated == DMPLEX_INTERPOLATED_FULL && in.numberofedges > 0) {
70*0fdc7489SMatthew Knepley     in.edgelist       = new int[in.numberofedges * 2];
71*0fdc7489SMatthew Knepley     in.edgemarkerlist = new int[in.numberofedges];
72*0fdc7489SMatthew Knepley     for (e = eStart; e < eEnd; ++e) {
73*0fdc7489SMatthew Knepley       const PetscInt  idx = e - eStart;
74*0fdc7489SMatthew Knepley       const PetscInt *cone;
75*0fdc7489SMatthew Knepley       PetscInt        coneSize, val;
76*0fdc7489SMatthew Knepley 
77*0fdc7489SMatthew Knepley       ierr = DMPlexGetConeSize(boundary, e, &coneSize);CHKERRQ(ierr);
78*0fdc7489SMatthew Knepley       ierr = DMPlexGetCone(boundary, e, &cone);CHKERRQ(ierr);
79*0fdc7489SMatthew Knepley       in.edgelist[idx*2]     = cone[0] - vStart;
80*0fdc7489SMatthew Knepley       in.edgelist[idx*2 + 1] = cone[1] - vStart;
81*0fdc7489SMatthew Knepley 
82*0fdc7489SMatthew Knepley       ierr = DMLabelGetValue(universal->label, e, &val);CHKERRQ(ierr);
83*0fdc7489SMatthew Knepley       in.edgemarkerlist[idx] = (int) val;
84*0fdc7489SMatthew Knepley     }
85*0fdc7489SMatthew Knepley   }
86*0fdc7489SMatthew Knepley 
87*0fdc7489SMatthew Knepley   ierr = DMPlexGetHeightStratum(boundary, 0, &fStart, &fEnd);CHKERRQ(ierr);
883a074057SBarry Smith   in.numberoffacets = fEnd - fStart;
893a074057SBarry Smith   if (in.numberoffacets > 0) {
903a074057SBarry Smith     in.facetlist       = new tetgenio::facet[in.numberoffacets];
913a074057SBarry Smith     in.facetmarkerlist = new int[in.numberoffacets];
923a074057SBarry Smith     for (f = fStart; f < fEnd; ++f) {
933a074057SBarry Smith       const PetscInt idx    = f - fStart;
94*0fdc7489SMatthew Knepley       PetscInt      *points = NULL, numPoints, p, numVertices = 0, v, val = -1;
953a074057SBarry Smith 
963a074057SBarry Smith       in.facetlist[idx].numberofpolygons = 1;
973a074057SBarry Smith       in.facetlist[idx].polygonlist      = new tetgenio::polygon[in.facetlist[idx].numberofpolygons];
983a074057SBarry Smith       in.facetlist[idx].numberofholes    = 0;
993a074057SBarry Smith       in.facetlist[idx].holelist         = NULL;
1003a074057SBarry Smith 
1013a074057SBarry Smith       ierr = DMPlexGetTransitiveClosure(boundary, f, PETSC_TRUE, &numPoints, &points);CHKERRQ(ierr);
1023a074057SBarry Smith       for (p = 0; p < numPoints*2; p += 2) {
1033a074057SBarry Smith         const PetscInt point = points[p];
1043a074057SBarry Smith         if ((point >= vStart) && (point < vEnd)) points[numVertices++] = point;
1053a074057SBarry Smith       }
1063a074057SBarry Smith 
1073a074057SBarry Smith       tetgenio::polygon *poly = in.facetlist[idx].polygonlist;
1083a074057SBarry Smith       poly->numberofvertices = numVertices;
1093a074057SBarry Smith       poly->vertexlist       = new int[poly->numberofvertices];
1103a074057SBarry Smith       for (v = 0; v < numVertices; ++v) {
1113a074057SBarry Smith         const PetscInt vIdx = points[v] - vStart;
1123a074057SBarry Smith         poly->vertexlist[v] = vIdx;
1133a074057SBarry Smith       }
114*0fdc7489SMatthew Knepley       ierr = DMLabelGetValue(universal->label, f, &val);CHKERRQ(ierr);
1153a074057SBarry Smith       in.facetmarkerlist[idx] = (int) val;
1163a074057SBarry Smith       ierr = DMPlexRestoreTransitiveClosure(boundary, f, PETSC_TRUE, &numPoints, &points);CHKERRQ(ierr);
1173a074057SBarry Smith     }
1183a074057SBarry Smith   }
1193a074057SBarry Smith   if (!rank) {
120*0fdc7489SMatthew Knepley     DM_Plex *mesh = (DM_Plex *) boundary->data;
1213a074057SBarry Smith     char     args[32];
1223a074057SBarry Smith 
1233a074057SBarry Smith     /* Take away 'Q' for verbose output */
124*0fdc7489SMatthew Knepley #ifdef PETSC_HAVE_EGADS
125*0fdc7489SMatthew Knepley     ierr = PetscStrcpy(args, "pqezQY");CHKERRQ(ierr);
126*0fdc7489SMatthew Knepley #else
1273a074057SBarry Smith     ierr = PetscStrcpy(args, "pqezQ");CHKERRQ(ierr);
128*0fdc7489SMatthew Knepley #endif
1293a074057SBarry Smith     if (mesh->tetgenOpts) {::tetrahedralize(mesh->tetgenOpts, &in, &out);}
1303a074057SBarry Smith     else                  {::tetrahedralize(args, &in, &out);}
1313a074057SBarry Smith   }
1323a074057SBarry Smith   {
1333a074057SBarry Smith     const PetscInt   numCorners  = 4;
1343a074057SBarry Smith     const PetscInt   numCells    = out.numberoftetrahedra;
1353a074057SBarry Smith     const PetscInt   numVertices = out.numberofpoints;
136a4a685f2SJacob Faibussowitsch     PetscReal        *meshCoords = NULL;
137a4a685f2SJacob Faibussowitsch     PetscInt         *cells      = NULL;
138a4a685f2SJacob Faibussowitsch 
139a4a685f2SJacob Faibussowitsch     if (sizeof (PetscReal) == sizeof (out.pointlist[0])) {
140a4a685f2SJacob Faibussowitsch       meshCoords = (PetscReal *) out.pointlist;
141a4a685f2SJacob Faibussowitsch     } else {
142a4a685f2SJacob Faibussowitsch       PetscInt i;
143a4a685f2SJacob Faibussowitsch 
144a4a685f2SJacob Faibussowitsch       meshCoords = new PetscReal[dim * numVertices];
145*0fdc7489SMatthew Knepley       for (i = 0; i < dim * numVertices; ++i) meshCoords[i] = (PetscReal) out.pointlist[i];
146a4a685f2SJacob Faibussowitsch     }
147a4a685f2SJacob Faibussowitsch     if (sizeof (PetscInt) == sizeof (out.tetrahedronlist[0])) {
148a4a685f2SJacob Faibussowitsch       cells = (PetscInt *) out.tetrahedronlist;
149a4a685f2SJacob Faibussowitsch     } else {
150a4a685f2SJacob Faibussowitsch       PetscInt i;
151a4a685f2SJacob Faibussowitsch 
152a4a685f2SJacob Faibussowitsch       cells = new PetscInt[numCells * numCorners];
153*0fdc7489SMatthew Knepley       for (i = 0; i < numCells * numCorners; i++) cells[i] = (PetscInt) out.tetrahedronlist[i];
154a4a685f2SJacob Faibussowitsch     }
1553a074057SBarry Smith 
15696ca5757SLisandro Dalcin     ierr = DMPlexInvertCells_Tetgen(numCells, numCorners, cells);CHKERRQ(ierr);
157a4a685f2SJacob Faibussowitsch     ierr = DMPlexCreateFromCellListPetsc(comm, dim, numCells, numVertices, numCorners, interpolate, cells, dim, meshCoords, dm);CHKERRQ(ierr);
158*0fdc7489SMatthew Knepley 
1593a074057SBarry Smith     /* Set labels */
160*0fdc7489SMatthew Knepley     ierr = DMUniversalLabelCreateLabels(universal, PETSC_TRUE, *dm);CHKERRQ(ierr);
1613a074057SBarry Smith     for (v = 0; v < numVertices; ++v) {
1623a074057SBarry Smith       if (out.pointmarkerlist[v]) {
163*0fdc7489SMatthew Knepley         ierr = DMUniversalLabelSetLabelValue(universal, *dm, PETSC_TRUE, v+numCells, out.pointmarkerlist[v]);CHKERRQ(ierr);
1643a074057SBarry Smith       }
1653a074057SBarry Smith     }
1663a074057SBarry Smith     if (interpolate) {
1673a074057SBarry Smith       PetscInt e;
1683a074057SBarry Smith 
1693a074057SBarry Smith       for (e = 0; e < out.numberofedges; e++) {
1703a074057SBarry Smith         if (out.edgemarkerlist[e]) {
1713a074057SBarry Smith           const PetscInt  vertices[2] = {out.edgelist[e*2+0]+numCells, out.edgelist[e*2+1]+numCells};
1723a074057SBarry Smith           const PetscInt *edges;
1733a074057SBarry Smith           PetscInt        numEdges;
1743a074057SBarry Smith 
1753a074057SBarry Smith           ierr = DMPlexGetJoin(*dm, 2, vertices, &numEdges, &edges);CHKERRQ(ierr);
1763a074057SBarry Smith           if (numEdges != 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Two vertices must cover only one edge, not %D", numEdges);
177*0fdc7489SMatthew Knepley           ierr = DMUniversalLabelSetLabelValue(universal, *dm, PETSC_TRUE, edges[0], out.edgemarkerlist[e]);CHKERRQ(ierr);
1783a074057SBarry Smith           ierr = DMPlexRestoreJoin(*dm, 2, vertices, &numEdges, &edges);CHKERRQ(ierr);
1793a074057SBarry Smith         }
1803a074057SBarry Smith       }
1813a074057SBarry Smith       for (f = 0; f < out.numberoftrifaces; f++) {
1823a074057SBarry Smith         if (out.trifacemarkerlist[f]) {
1833a074057SBarry Smith           const PetscInt  vertices[3] = {out.trifacelist[f*3+0]+numCells, out.trifacelist[f*3+1]+numCells, out.trifacelist[f*3+2]+numCells};
1843a074057SBarry Smith           const PetscInt *faces;
1853a074057SBarry Smith           PetscInt        numFaces;
1863a074057SBarry Smith 
1873a074057SBarry Smith           ierr = DMPlexGetFullJoin(*dm, 3, vertices, &numFaces, &faces);CHKERRQ(ierr);
1883a074057SBarry Smith           if (numFaces != 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Three vertices must cover only one face, not %D", numFaces);
189*0fdc7489SMatthew Knepley           ierr = DMUniversalLabelSetLabelValue(universal, *dm, PETSC_TRUE, faces[0], out.trifacemarkerlist[f]);CHKERRQ(ierr);
1903a074057SBarry Smith           ierr = DMPlexRestoreJoin(*dm, 3, vertices, &numFaces, &faces);CHKERRQ(ierr);
1913a074057SBarry Smith         }
1923a074057SBarry Smith       }
1933a074057SBarry Smith     }
194*0fdc7489SMatthew Knepley 
195*0fdc7489SMatthew Knepley #ifdef PETSC_HAVE_EGADS
196*0fdc7489SMatthew Knepley     {
197*0fdc7489SMatthew Knepley       DMLabel        bodyLabel;
198*0fdc7489SMatthew Knepley       PetscContainer modelObj;
199*0fdc7489SMatthew Knepley       PetscInt       cStart, cEnd, c, eStart, eEnd, fStart, fEnd;
200*0fdc7489SMatthew Knepley       ego           *bodies;
201*0fdc7489SMatthew Knepley       ego            model, geom;
202*0fdc7489SMatthew Knepley       int            Nb, oclass, mtype, *senses;
203*0fdc7489SMatthew Knepley 
204*0fdc7489SMatthew Knepley       /* Get Attached EGADS Model from Original DMPlex */
205*0fdc7489SMatthew Knepley       ierr = PetscObjectQuery((PetscObject) boundary, "EGADS Model", (PetscObject *) &modelObj);CHKERRQ(ierr);
206*0fdc7489SMatthew Knepley       ierr = PetscContainerGetPointer(modelObj, (void **) &model);CHKERRQ(ierr);
207*0fdc7489SMatthew Knepley       ierr = EG_getTopology(model, &geom, &oclass, &mtype, NULL, &Nb, &bodies, &senses);CHKERRQ(ierr);
208*0fdc7489SMatthew Knepley       /* Transfer EGADS Model to Volumetric Mesh */
209*0fdc7489SMatthew Knepley       ierr = PetscObjectCompose((PetscObject) *dm, "EGADS Model", (PetscObject) modelObj);CHKERRQ(ierr);
210*0fdc7489SMatthew Knepley 
211*0fdc7489SMatthew Knepley       /* Set Cell Labels */
212*0fdc7489SMatthew Knepley       ierr = DMGetLabel(*dm, "EGADS Body ID", &bodyLabel);CHKERRQ(ierr);
213*0fdc7489SMatthew Knepley       ierr = DMPlexGetHeightStratum(*dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
214*0fdc7489SMatthew Knepley       ierr = DMPlexGetHeightStratum(*dm, 1, &fStart, &fEnd);CHKERRQ(ierr);
215*0fdc7489SMatthew Knepley       ierr = DMPlexGetDepthStratum(*dm, 1, &eStart, &eEnd);CHKERRQ(ierr);
216*0fdc7489SMatthew Knepley 
217*0fdc7489SMatthew Knepley       for (c = cStart; c < cEnd; ++c) {
218*0fdc7489SMatthew Knepley         PetscReal centroid[3] = {0., 0., 0.};
219*0fdc7489SMatthew Knepley         PetscInt  b;
220*0fdc7489SMatthew Knepley 
221*0fdc7489SMatthew Knepley         /* Deterimine what body the cell's centroid is located in */
222*0fdc7489SMatthew Knepley         if (!interpolate) {
223*0fdc7489SMatthew Knepley           PetscSection   coordSection;
224*0fdc7489SMatthew Knepley           Vec            coordinates;
225*0fdc7489SMatthew Knepley           PetscScalar   *coords = NULL;
226*0fdc7489SMatthew Knepley           PetscInt       coordSize, s, d;
227*0fdc7489SMatthew Knepley 
228*0fdc7489SMatthew Knepley           ierr = DMGetCoordinatesLocal(*dm, &coordinates);CHKERRQ(ierr);
229*0fdc7489SMatthew Knepley           ierr = DMGetCoordinateSection(*dm, &coordSection);CHKERRQ(ierr);
230*0fdc7489SMatthew Knepley           ierr = DMPlexVecGetClosure(*dm, coordSection, coordinates, c, &coordSize, &coords);CHKERRQ(ierr);
231*0fdc7489SMatthew Knepley           for (s = 0; s < coordSize; ++s) for (d = 0; d < dim; ++d) centroid[d] += coords[s*dim+d];
232*0fdc7489SMatthew Knepley           ierr = DMPlexVecRestoreClosure(*dm, coordSection, coordinates, c, &coordSize, &coords);CHKERRQ(ierr);
233*0fdc7489SMatthew Knepley         } else {
234*0fdc7489SMatthew Knepley           ierr = DMPlexComputeCellGeometryFVM(*dm, c, NULL, centroid, NULL);CHKERRQ(ierr);
235*0fdc7489SMatthew Knepley         }
236*0fdc7489SMatthew Knepley         for (b = 0; b < Nb; ++b) {
237*0fdc7489SMatthew Knepley           if (EG_inTopology(bodies[b], centroid) == EGADS_SUCCESS) break;
238*0fdc7489SMatthew Knepley         }
239*0fdc7489SMatthew Knepley         if (b < Nb) {
240*0fdc7489SMatthew Knepley           PetscInt   cval = b, eVal, fVal;
241*0fdc7489SMatthew Knepley           PetscInt *closure = NULL, Ncl, cl;
242*0fdc7489SMatthew Knepley 
243*0fdc7489SMatthew Knepley           ierr = DMLabelSetValue(bodyLabel, c, cval);CHKERRQ(ierr);
244*0fdc7489SMatthew Knepley           ierr = DMPlexGetTransitiveClosure(*dm, c, PETSC_TRUE, &Ncl, &closure);CHKERRQ(ierr);
245*0fdc7489SMatthew Knepley           for (cl = 0; cl < Ncl; cl += 2) {
246*0fdc7489SMatthew Knepley             const PetscInt p = closure[cl];
247*0fdc7489SMatthew Knepley 
248*0fdc7489SMatthew Knepley             if (p >= eStart && p < eEnd) {
249*0fdc7489SMatthew Knepley               ierr = DMLabelGetValue(bodyLabel, p, &eVal);CHKERRQ(ierr);
250*0fdc7489SMatthew Knepley               if (eVal < 0) {ierr = DMLabelSetValue(bodyLabel, p, cval);CHKERRQ(ierr);}
251*0fdc7489SMatthew Knepley             }
252*0fdc7489SMatthew Knepley             if (p >= fStart && p < fEnd) {
253*0fdc7489SMatthew Knepley               ierr = DMLabelGetValue(bodyLabel, p, &fVal);CHKERRQ(ierr);
254*0fdc7489SMatthew Knepley               if (fVal < 0) {ierr = DMLabelSetValue(bodyLabel, p, cval);CHKERRQ(ierr);}
255*0fdc7489SMatthew Knepley             }
256*0fdc7489SMatthew Knepley           }
257*0fdc7489SMatthew Knepley           ierr = DMPlexRestoreTransitiveClosure(*dm, c, PETSC_TRUE, &Ncl, &closure);CHKERRQ(ierr);
258*0fdc7489SMatthew Knepley         }
259*0fdc7489SMatthew Knepley       }
260*0fdc7489SMatthew Knepley     }
261*0fdc7489SMatthew Knepley #endif
2623a074057SBarry Smith     ierr = DMPlexSetRefinementUniform(*dm, PETSC_FALSE);CHKERRQ(ierr);
2633a074057SBarry Smith   }
2643a074057SBarry Smith   PetscFunctionReturn(0);
2653a074057SBarry Smith }
2663a074057SBarry Smith 
2673a074057SBarry Smith PETSC_EXTERN PetscErrorCode DMPlexRefine_Tetgen(DM dm, double *maxVolumes, DM *dmRefined)
2683a074057SBarry Smith {
2693a074057SBarry Smith   MPI_Comm               comm;
2703a074057SBarry Smith   const PetscInt         dim = 3;
2713a074057SBarry Smith   ::tetgenio             in;
2723a074057SBarry Smith   ::tetgenio             out;
273*0fdc7489SMatthew Knepley   DMUniversalLabel       universal;
274*0fdc7489SMatthew Knepley   PetscInt               vStart, vEnd, v, eStart, eEnd, e, fStart, fEnd, f, cStart, cEnd, c;
275*0fdc7489SMatthew Knepley   DMPlexInterpolatedFlag isInterpolated;
2763a074057SBarry Smith   PetscMPIInt            rank;
2773a074057SBarry Smith   PetscErrorCode         ierr;
2783a074057SBarry Smith 
2793a074057SBarry Smith   PetscFunctionBegin;
2803a074057SBarry Smith   ierr = PetscObjectGetComm((PetscObject)dm,&comm);CHKERRQ(ierr);
2813a074057SBarry Smith   ierr = MPI_Comm_rank(comm, &rank);CHKERRQ(ierr);
282*0fdc7489SMatthew Knepley   ierr = DMPlexIsInterpolatedCollective(dm, &isInterpolated);CHKERRQ(ierr);
283*0fdc7489SMatthew Knepley   ierr = DMUniversalLabelCreate(dm, &universal);CHKERRQ(ierr);
2843a074057SBarry Smith 
285*0fdc7489SMatthew Knepley   ierr = DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd);CHKERRQ(ierr);
2863a074057SBarry Smith   in.numberofpoints = vEnd - vStart;
2873a074057SBarry Smith   if (in.numberofpoints > 0) {
2883a074057SBarry Smith     PetscSection coordSection;
2893a074057SBarry Smith     Vec          coordinates;
2903a074057SBarry Smith     PetscScalar *array;
2913a074057SBarry Smith 
2923a074057SBarry Smith     in.pointlist       = new double[in.numberofpoints*dim];
2933a074057SBarry Smith     in.pointmarkerlist = new int[in.numberofpoints];
2943a074057SBarry Smith 
2953a074057SBarry Smith     ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr);
2963a074057SBarry Smith     ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr);
2973a074057SBarry Smith     ierr = VecGetArray(coordinates, &array);CHKERRQ(ierr);
2983a074057SBarry Smith     for (v = vStart; v < vEnd; ++v) {
2993a074057SBarry Smith       const PetscInt idx = v - vStart;
300*0fdc7489SMatthew Knepley       PetscInt       off, d, val;
3013a074057SBarry Smith 
3023a074057SBarry Smith       ierr = PetscSectionGetOffset(coordSection, v, &off);CHKERRQ(ierr);
3033a074057SBarry Smith       for (d = 0; d < dim; ++d) in.pointlist[idx*dim + d] = PetscRealPart(array[off+d]);
304*0fdc7489SMatthew Knepley       ierr = DMLabelGetValue(universal->label, v, &val);CHKERRQ(ierr);
3053a074057SBarry Smith       in.pointmarkerlist[idx] = (int) val;
3063a074057SBarry Smith     }
3073a074057SBarry Smith     ierr = VecRestoreArray(coordinates, &array);CHKERRQ(ierr);
3083a074057SBarry Smith   }
3093a074057SBarry Smith 
310*0fdc7489SMatthew Knepley   ierr = DMPlexGetDepthStratum(dm, 1, &eStart, &eEnd);CHKERRQ(ierr);
311*0fdc7489SMatthew Knepley   in.numberofedges = eEnd - eStart;
312*0fdc7489SMatthew Knepley   if (isInterpolated == DMPLEX_INTERPOLATED_FULL && in.numberofedges > 0) {
313*0fdc7489SMatthew Knepley     in.edgelist       = new int[in.numberofedges * 2];
314*0fdc7489SMatthew Knepley     in.edgemarkerlist = new int[in.numberofedges];
315*0fdc7489SMatthew Knepley     for (e = eStart; e < eEnd; ++e) {
316*0fdc7489SMatthew Knepley       const PetscInt  idx = e - eStart;
317*0fdc7489SMatthew Knepley       const PetscInt *cone;
318*0fdc7489SMatthew Knepley       PetscInt        coneSize, val;
319*0fdc7489SMatthew Knepley 
320*0fdc7489SMatthew Knepley       ierr = DMPlexGetConeSize(dm, e, &coneSize);CHKERRQ(ierr);
321*0fdc7489SMatthew Knepley       ierr = DMPlexGetCone(dm, e, &cone);CHKERRQ(ierr);
322*0fdc7489SMatthew Knepley       in.edgelist[idx*2]     = cone[0] - vStart;
323*0fdc7489SMatthew Knepley       in.edgelist[idx*2 + 1] = cone[1] - vStart;
324*0fdc7489SMatthew Knepley 
325*0fdc7489SMatthew Knepley       ierr = DMLabelGetValue(universal->label, e, &val);CHKERRQ(ierr);
326*0fdc7489SMatthew Knepley       in.edgemarkerlist[idx] = (int) val;
327*0fdc7489SMatthew Knepley     }
328*0fdc7489SMatthew Knepley   }
329*0fdc7489SMatthew Knepley 
330*0fdc7489SMatthew Knepley   ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr);
331*0fdc7489SMatthew Knepley   in.numberoffacets = fEnd - fStart;
332*0fdc7489SMatthew Knepley   if (isInterpolated == DMPLEX_INTERPOLATED_FULL && in.numberoffacets > 0) {
333*0fdc7489SMatthew Knepley     in.facetlist       = new tetgenio::facet[in.numberoffacets];
334*0fdc7489SMatthew Knepley     in.facetmarkerlist = new int[in.numberoffacets];
335*0fdc7489SMatthew Knepley     for (f = fStart; f < fEnd; ++f) {
336*0fdc7489SMatthew Knepley       const PetscInt idx    = f - fStart;
337*0fdc7489SMatthew Knepley       PetscInt      *points = NULL, numPoints, p, numVertices = 0, v, val;
338*0fdc7489SMatthew Knepley 
339*0fdc7489SMatthew Knepley       in.facetlist[idx].numberofpolygons = 1;
340*0fdc7489SMatthew Knepley       in.facetlist[idx].polygonlist      = new tetgenio::polygon[in.facetlist[idx].numberofpolygons];
341*0fdc7489SMatthew Knepley       in.facetlist[idx].numberofholes    = 0;
342*0fdc7489SMatthew Knepley       in.facetlist[idx].holelist         = NULL;
343*0fdc7489SMatthew Knepley 
344*0fdc7489SMatthew Knepley       ierr = DMPlexGetTransitiveClosure(dm, f, PETSC_TRUE, &numPoints, &points);CHKERRQ(ierr);
345*0fdc7489SMatthew Knepley       for (p = 0; p < numPoints*2; p += 2) {
346*0fdc7489SMatthew Knepley         const PetscInt point = points[p];
347*0fdc7489SMatthew Knepley         if ((point >= vStart) && (point < vEnd)) points[numVertices++] = point;
348*0fdc7489SMatthew Knepley       }
349*0fdc7489SMatthew Knepley 
350*0fdc7489SMatthew Knepley       tetgenio::polygon *poly = in.facetlist[idx].polygonlist;
351*0fdc7489SMatthew Knepley       poly->numberofvertices = numVertices;
352*0fdc7489SMatthew Knepley       poly->vertexlist       = new int[poly->numberofvertices];
353*0fdc7489SMatthew Knepley       for (v = 0; v < numVertices; ++v) {
354*0fdc7489SMatthew Knepley         const PetscInt vIdx = points[v] - vStart;
355*0fdc7489SMatthew Knepley         poly->vertexlist[v] = vIdx;
356*0fdc7489SMatthew Knepley       }
357*0fdc7489SMatthew Knepley 
358*0fdc7489SMatthew Knepley       ierr = DMLabelGetValue(universal->label, f, &val);CHKERRQ(ierr);
359*0fdc7489SMatthew Knepley       in.facetmarkerlist[idx] = (int) val;
360*0fdc7489SMatthew Knepley 
361*0fdc7489SMatthew Knepley       ierr = DMPlexRestoreTransitiveClosure(dm, f, PETSC_TRUE, &numPoints, &points);CHKERRQ(ierr);
362*0fdc7489SMatthew Knepley     }
363*0fdc7489SMatthew Knepley   }
364*0fdc7489SMatthew Knepley 
365*0fdc7489SMatthew Knepley   ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr);
3663a074057SBarry Smith   in.numberofcorners       = 4;
3673a074057SBarry Smith   in.numberoftetrahedra    = cEnd - cStart;
3683a074057SBarry Smith   in.tetrahedronvolumelist = (double *) maxVolumes;
3693a074057SBarry Smith   if (in.numberoftetrahedra > 0) {
3703a074057SBarry Smith     in.tetrahedronlist = new int[in.numberoftetrahedra*in.numberofcorners];
3713a074057SBarry Smith     for (c = cStart; c < cEnd; ++c) {
3723a074057SBarry Smith       const PetscInt idx     = c - cStart;
3733a074057SBarry Smith       PetscInt      *closure = NULL;
3743a074057SBarry Smith       PetscInt       closureSize;
3753a074057SBarry Smith 
3763a074057SBarry Smith       ierr = DMPlexGetTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
3773a074057SBarry 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);
378*0fdc7489SMatthew Knepley       for (v = 0; v < 4; ++v) in.tetrahedronlist[idx*in.numberofcorners + v] = closure[(v+closureSize-4)*2] - vStart;
3793a074057SBarry Smith       ierr = DMPlexRestoreTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure);CHKERRQ(ierr);
3803a074057SBarry Smith     }
3813a074057SBarry Smith   }
382*0fdc7489SMatthew Knepley 
3833a074057SBarry Smith   if (!rank) {
3843a074057SBarry Smith     char args[32];
3853a074057SBarry Smith 
3863a074057SBarry Smith     /* Take away 'Q' for verbose output */
3873a074057SBarry Smith     ierr = PetscStrcpy(args, "qezQra");CHKERRQ(ierr);
3883a074057SBarry Smith     ::tetrahedralize(args, &in, &out);
3893a074057SBarry Smith   }
3903a074057SBarry Smith 
391*0fdc7489SMatthew Knepley   in.tetrahedronvolumelist = NULL;
3923a074057SBarry Smith   {
3933a074057SBarry Smith     const PetscInt   numCorners  = 4;
3943a074057SBarry Smith     const PetscInt   numCells    = out.numberoftetrahedra;
3953a074057SBarry Smith     const PetscInt   numVertices = out.numberofpoints;
396a4a685f2SJacob Faibussowitsch     PetscReal        *meshCoords = NULL;
397a4a685f2SJacob Faibussowitsch     PetscInt         *cells      = NULL;
398*0fdc7489SMatthew Knepley     PetscBool        interpolate = isInterpolated == DMPLEX_INTERPOLATED_FULL ? PETSC_TRUE : PETSC_FALSE;
3993a074057SBarry Smith 
400a4a685f2SJacob Faibussowitsch     if (sizeof (PetscReal) == sizeof (out.pointlist[0])) {
401a4a685f2SJacob Faibussowitsch       meshCoords = (PetscReal *) out.pointlist;
402a4a685f2SJacob Faibussowitsch     } else {
403a4a685f2SJacob Faibussowitsch       PetscInt i;
404a4a685f2SJacob Faibussowitsch 
405a4a685f2SJacob Faibussowitsch       meshCoords = new PetscReal[dim * numVertices];
406*0fdc7489SMatthew Knepley       for (i = 0; i < dim * numVertices; ++i) meshCoords[i] = (PetscReal) out.pointlist[i];
407a4a685f2SJacob Faibussowitsch     }
408a4a685f2SJacob Faibussowitsch     if (sizeof (PetscInt) == sizeof (out.tetrahedronlist[0])) {
409a4a685f2SJacob Faibussowitsch       cells = (PetscInt *) out.tetrahedronlist;
410a4a685f2SJacob Faibussowitsch     } else {
411a4a685f2SJacob Faibussowitsch       PetscInt i;
412a4a685f2SJacob Faibussowitsch 
413a4a685f2SJacob Faibussowitsch       cells = new PetscInt[numCells * numCorners];
414*0fdc7489SMatthew Knepley       for (i = 0; i < numCells * numCorners; ++i)cells[i] = (PetscInt) out.tetrahedronlist[i];
415a4a685f2SJacob Faibussowitsch     }
416a4a685f2SJacob Faibussowitsch 
41796ca5757SLisandro Dalcin     ierr = DMPlexInvertCells_Tetgen(numCells, numCorners, cells);CHKERRQ(ierr);
418a4a685f2SJacob Faibussowitsch     ierr = DMPlexCreateFromCellListPetsc(comm, dim, numCells, numVertices, numCorners, interpolate, cells, dim, meshCoords, dmRefined);CHKERRQ(ierr);
419*0fdc7489SMatthew Knepley     if (sizeof (PetscReal) != sizeof (out.pointlist[0])) {delete [] meshCoords;}
420*0fdc7489SMatthew Knepley     if (sizeof (PetscInt) != sizeof (out.tetrahedronlist[0])) {delete [] cells;}
421*0fdc7489SMatthew Knepley 
4223a074057SBarry Smith     /* Set labels */
423*0fdc7489SMatthew Knepley     ierr = DMUniversalLabelCreateLabels(universal, PETSC_TRUE, *dmRefined);CHKERRQ(ierr);
4243a074057SBarry Smith     for (v = 0; v < numVertices; ++v) {
4253a074057SBarry Smith       if (out.pointmarkerlist[v]) {
426*0fdc7489SMatthew Knepley         ierr = DMUniversalLabelSetLabelValue(universal, *dmRefined, PETSC_TRUE, v+numCells, out.pointmarkerlist[v]);CHKERRQ(ierr);
4273a074057SBarry Smith       }
4283a074057SBarry Smith     }
4293a074057SBarry Smith     if (interpolate) {
430*0fdc7489SMatthew Knepley       PetscInt e, f;
4313a074057SBarry Smith 
432*0fdc7489SMatthew Knepley       for (e = 0; e < out.numberofedges; ++e) {
4333a074057SBarry Smith         if (out.edgemarkerlist[e]) {
4343a074057SBarry Smith           const PetscInt  vertices[2] = {out.edgelist[e*2+0]+numCells, out.edgelist[e*2+1]+numCells};
4353a074057SBarry Smith           const PetscInt *edges;
4363a074057SBarry Smith           PetscInt        numEdges;
4373a074057SBarry Smith 
4383a074057SBarry Smith           ierr = DMPlexGetJoin(*dmRefined, 2, vertices, &numEdges, &edges);CHKERRQ(ierr);
4393a074057SBarry Smith           if (numEdges != 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Two vertices must cover only one edge, not %D", numEdges);
440*0fdc7489SMatthew Knepley           ierr = DMUniversalLabelSetLabelValue(universal, *dmRefined, PETSC_TRUE, edges[0], out.edgemarkerlist[e]);CHKERRQ(ierr);
4413a074057SBarry Smith           ierr = DMPlexRestoreJoin(*dmRefined, 2, vertices, &numEdges, &edges);CHKERRQ(ierr);
4423a074057SBarry Smith         }
4433a074057SBarry Smith       }
444*0fdc7489SMatthew Knepley       for (f = 0; f < out.numberoftrifaces; ++f) {
4453a074057SBarry Smith         if (out.trifacemarkerlist[f]) {
4463a074057SBarry Smith           const PetscInt  vertices[3] = {out.trifacelist[f*3+0]+numCells, out.trifacelist[f*3+1]+numCells, out.trifacelist[f*3+2]+numCells};
4473a074057SBarry Smith           const PetscInt *faces;
4483a074057SBarry Smith           PetscInt        numFaces;
4493a074057SBarry Smith 
4503a074057SBarry Smith           ierr = DMPlexGetFullJoin(*dmRefined, 3, vertices, &numFaces, &faces);CHKERRQ(ierr);
4513a074057SBarry Smith           if (numFaces != 1) SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Three vertices must cover only one face, not %D", numFaces);
452*0fdc7489SMatthew Knepley           ierr = DMUniversalLabelSetLabelValue(universal, *dmRefined, PETSC_TRUE, faces[0], out.trifacemarkerlist[f]);CHKERRQ(ierr);
4533a074057SBarry Smith           ierr = DMPlexRestoreJoin(*dmRefined, 3, vertices, &numFaces, &faces);CHKERRQ(ierr);
4543a074057SBarry Smith         }
4553a074057SBarry Smith       }
4563a074057SBarry Smith     }
457*0fdc7489SMatthew Knepley 
458*0fdc7489SMatthew Knepley #ifdef PETSC_HAVE_EGADS
459*0fdc7489SMatthew Knepley     {
460*0fdc7489SMatthew Knepley       DMLabel        bodyLabel;
461*0fdc7489SMatthew Knepley       PetscContainer modelObj;
462*0fdc7489SMatthew Knepley       PetscInt       cStart, cEnd, c, eStart, eEnd, fStart, fEnd;
463*0fdc7489SMatthew Knepley       ego           *bodies;
464*0fdc7489SMatthew Knepley       ego            model, geom;
465*0fdc7489SMatthew Knepley       int            Nb, oclass, mtype, *senses;
466*0fdc7489SMatthew Knepley 
467*0fdc7489SMatthew Knepley       /* Get Attached EGADS Model from Original DMPlex */
468*0fdc7489SMatthew Knepley       ierr = PetscObjectQuery((PetscObject) dm, "EGADS Model", (PetscObject *) &modelObj);CHKERRQ(ierr);
469*0fdc7489SMatthew Knepley       ierr = PetscContainerGetPointer(modelObj, (void **) &model);CHKERRQ(ierr);
470*0fdc7489SMatthew Knepley       ierr = EG_getTopology(model, &geom, &oclass, &mtype, NULL, &Nb, &bodies, &senses);CHKERRQ(ierr);
471*0fdc7489SMatthew Knepley       /* Transfer EGADS Model to Volumetric Mesh */
472*0fdc7489SMatthew Knepley       ierr = PetscObjectCompose((PetscObject) *dmRefined, "EGADS Model", (PetscObject) modelObj);CHKERRQ(ierr);
473*0fdc7489SMatthew Knepley 
474*0fdc7489SMatthew Knepley       /* Set Cell Labels */
475*0fdc7489SMatthew Knepley       ierr = DMGetLabel(*dmRefined, "EGADS Body ID", &bodyLabel);CHKERRQ(ierr);
476*0fdc7489SMatthew Knepley       ierr = DMPlexGetHeightStratum(*dmRefined, 0, &cStart, &cEnd);CHKERRQ(ierr);
477*0fdc7489SMatthew Knepley       ierr = DMPlexGetHeightStratum(*dmRefined, 1, &fStart, &fEnd);CHKERRQ(ierr);
478*0fdc7489SMatthew Knepley       ierr = DMPlexGetDepthStratum(*dmRefined, 1, &eStart, &eEnd);CHKERRQ(ierr);
479*0fdc7489SMatthew Knepley 
480*0fdc7489SMatthew Knepley       for (c = cStart; c < cEnd; ++c) {
481*0fdc7489SMatthew Knepley         PetscReal centroid[3] = {0., 0., 0.};
482*0fdc7489SMatthew Knepley         PetscInt  b;
483*0fdc7489SMatthew Knepley 
484*0fdc7489SMatthew Knepley         /* Deterimine what body the cell's centroid is located in */
485*0fdc7489SMatthew Knepley         if (!interpolate) {
486*0fdc7489SMatthew Knepley           PetscSection   coordSection;
487*0fdc7489SMatthew Knepley           Vec            coordinates;
488*0fdc7489SMatthew Knepley           PetscScalar   *coords = NULL;
489*0fdc7489SMatthew Knepley           PetscInt       coordSize, s, d;
490*0fdc7489SMatthew Knepley 
491*0fdc7489SMatthew Knepley           ierr = DMGetCoordinatesLocal(*dmRefined, &coordinates);CHKERRQ(ierr);
492*0fdc7489SMatthew Knepley           ierr = DMGetCoordinateSection(*dmRefined, &coordSection);CHKERRQ(ierr);
493*0fdc7489SMatthew Knepley           ierr = DMPlexVecGetClosure(*dmRefined, coordSection, coordinates, c, &coordSize, &coords);CHKERRQ(ierr);
494*0fdc7489SMatthew Knepley           for (s = 0; s < coordSize; ++s) for (d = 0; d < dim; ++d) centroid[d] += coords[s*dim+d];
495*0fdc7489SMatthew Knepley           ierr = DMPlexVecRestoreClosure(*dmRefined, coordSection, coordinates, c, &coordSize, &coords);CHKERRQ(ierr);
496*0fdc7489SMatthew Knepley         } else {
497*0fdc7489SMatthew Knepley           ierr = DMPlexComputeCellGeometryFVM(*dmRefined, c, NULL, centroid, NULL);CHKERRQ(ierr);
498*0fdc7489SMatthew Knepley         }
499*0fdc7489SMatthew Knepley         for (b = 0; b < Nb; ++b) {
500*0fdc7489SMatthew Knepley           if (EG_inTopology(bodies[b], centroid) == EGADS_SUCCESS) break;
501*0fdc7489SMatthew Knepley         }
502*0fdc7489SMatthew Knepley         if (b < Nb) {
503*0fdc7489SMatthew Knepley           PetscInt   cval = b, eVal, fVal;
504*0fdc7489SMatthew Knepley           PetscInt *closure = NULL, Ncl, cl;
505*0fdc7489SMatthew Knepley 
506*0fdc7489SMatthew Knepley           ierr = DMLabelSetValue(bodyLabel, c, cval);CHKERRQ(ierr);
507*0fdc7489SMatthew Knepley           ierr = DMPlexGetTransitiveClosure(*dmRefined, c, PETSC_TRUE, &Ncl, &closure);CHKERRQ(ierr);
508*0fdc7489SMatthew Knepley           for (cl = 0; cl < Ncl; cl += 2) {
509*0fdc7489SMatthew Knepley             const PetscInt p = closure[cl];
510*0fdc7489SMatthew Knepley 
511*0fdc7489SMatthew Knepley             if (p >= eStart && p < eEnd) {
512*0fdc7489SMatthew Knepley               ierr = DMLabelGetValue(bodyLabel, p, &eVal);CHKERRQ(ierr);
513*0fdc7489SMatthew Knepley               if (eVal < 0) {ierr = DMLabelSetValue(bodyLabel, p, cval);CHKERRQ(ierr);}
514*0fdc7489SMatthew Knepley             }
515*0fdc7489SMatthew Knepley             if (p >= fStart && p < fEnd) {
516*0fdc7489SMatthew Knepley               ierr = DMLabelGetValue(bodyLabel, p, &fVal);CHKERRQ(ierr);
517*0fdc7489SMatthew Knepley               if (fVal < 0) {ierr = DMLabelSetValue(bodyLabel, p, cval);CHKERRQ(ierr);}
518*0fdc7489SMatthew Knepley             }
519*0fdc7489SMatthew Knepley           }
520*0fdc7489SMatthew Knepley           ierr = DMPlexRestoreTransitiveClosure(*dmRefined, c, PETSC_TRUE, &Ncl, &closure);CHKERRQ(ierr);
521*0fdc7489SMatthew Knepley         }
522*0fdc7489SMatthew Knepley       }
523*0fdc7489SMatthew Knepley     }
524*0fdc7489SMatthew Knepley #endif
5253a074057SBarry Smith     ierr = DMPlexSetRefinementUniform(*dmRefined, PETSC_FALSE);CHKERRQ(ierr);
5263a074057SBarry Smith   }
5273a074057SBarry Smith   PetscFunctionReturn(0);
5283a074057SBarry Smith }
529