13a074057SBarry Smith #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 23a074057SBarry Smith 30fdc7489SMatthew Knepley #ifdef PETSC_HAVE_EGADS 40fdc7489SMatthew Knepley #include <egads.h> 5c1cad2e7SMatthew G. Knepley /* Need to make EGADSLite header compatible */ 6c1cad2e7SMatthew G. Knepley extern "C" int EGlite_getTopology(const ego, ego *, int *, int *, double *, int *, ego **, int **); 7c1cad2e7SMatthew G. Knepley extern "C" int EGlite_inTopology(const ego, const double *); 80fdc7489SMatthew Knepley #endif 90fdc7489SMatthew Knepley 10b83bf3d7SVaclav Hapla #if defined(PETSC_HAVE_TETGEN_TETLIBRARY_NEEDED) 11b83bf3d7SVaclav Hapla #define TETLIBRARY 12b83bf3d7SVaclav Hapla #endif 133a074057SBarry Smith #include <tetgen.h> 143a074057SBarry Smith 153a074057SBarry Smith /* This is to fix the tetrahedron orientation from TetGen */ 16a4a685f2SJacob Faibussowitsch static PetscErrorCode DMPlexInvertCells_Tetgen(PetscInt numCells, PetscInt numCorners, PetscInt cells[]) 173a074057SBarry Smith { 183a074057SBarry Smith PetscInt bound = numCells*numCorners, coff; 193a074057SBarry Smith 203a074057SBarry Smith PetscFunctionBegin; 21a4a685f2SJacob Faibussowitsch #define SWAP(a,b) do { PetscInt tmp = (a); (a) = (b); (b) = tmp; } while (0) 2296ca5757SLisandro Dalcin for (coff = 0; coff < bound; coff += numCorners) SWAP(cells[coff],cells[coff+1]); 2396ca5757SLisandro Dalcin #undef SWAP 243a074057SBarry Smith PetscFunctionReturn(0); 253a074057SBarry Smith } 263a074057SBarry Smith 273a074057SBarry Smith PETSC_EXTERN PetscErrorCode DMPlexGenerate_Tetgen(DM boundary, PetscBool interpolate, DM *dm) 283a074057SBarry Smith { 293a074057SBarry Smith MPI_Comm comm; 303a074057SBarry Smith const PetscInt dim = 3; 313a074057SBarry Smith ::tetgenio in; 323a074057SBarry Smith ::tetgenio out; 339318fe57SMatthew G. Knepley PetscContainer modelObj; 340fdc7489SMatthew Knepley DMUniversalLabel universal; 350fdc7489SMatthew Knepley PetscInt vStart, vEnd, v, eStart, eEnd, e, fStart, fEnd, f; 360fdc7489SMatthew Knepley DMPlexInterpolatedFlag isInterpolated; 373a074057SBarry Smith PetscMPIInt rank; 383a074057SBarry Smith 393a074057SBarry Smith PetscFunctionBegin; 409566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)boundary,&comm)); 419566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_rank(comm, &rank)); 429566063dSJacob Faibussowitsch PetscCall(DMPlexIsInterpolatedCollective(boundary, &isInterpolated)); 439566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelCreate(boundary, &universal)); 443a074057SBarry Smith 459566063dSJacob Faibussowitsch PetscCall(DMPlexGetDepthStratum(boundary, 0, &vStart, &vEnd)); 463a074057SBarry Smith in.numberofpoints = vEnd - vStart; 473a074057SBarry Smith if (in.numberofpoints > 0) { 483a074057SBarry Smith PetscSection coordSection; 493a074057SBarry Smith Vec coordinates; 500fdc7489SMatthew Knepley const PetscScalar *array; 513a074057SBarry Smith 523a074057SBarry Smith in.pointlist = new double[in.numberofpoints*dim]; 533a074057SBarry Smith in.pointmarkerlist = new int[in.numberofpoints]; 543a074057SBarry Smith 559566063dSJacob Faibussowitsch PetscCall(DMGetCoordinatesLocal(boundary, &coordinates)); 569566063dSJacob Faibussowitsch PetscCall(DMGetCoordinateSection(boundary, &coordSection)); 579566063dSJacob Faibussowitsch PetscCall(VecGetArrayRead(coordinates, &array)); 583a074057SBarry Smith for (v = vStart; v < vEnd; ++v) { 593a074057SBarry Smith const PetscInt idx = v - vStart; 600fdc7489SMatthew Knepley PetscInt off, d, val; 613a074057SBarry Smith 629566063dSJacob Faibussowitsch PetscCall(PetscSectionGetOffset(coordSection, v, &off)); 633a074057SBarry Smith for (d = 0; d < dim; ++d) in.pointlist[idx*dim + d] = PetscRealPart(array[off+d]); 649566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(universal->label, v, &val)); 653a074057SBarry Smith in.pointmarkerlist[idx] = (int) val; 663a074057SBarry Smith } 679566063dSJacob Faibussowitsch PetscCall(VecRestoreArrayRead(coordinates, &array)); 683a074057SBarry Smith } 693a074057SBarry Smith 709566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(boundary, 1, &eStart, &eEnd)); 710fdc7489SMatthew Knepley in.numberofedges = eEnd - eStart; 720fdc7489SMatthew Knepley if (isInterpolated == DMPLEX_INTERPOLATED_FULL && in.numberofedges > 0) { 730fdc7489SMatthew Knepley in.edgelist = new int[in.numberofedges * 2]; 740fdc7489SMatthew Knepley in.edgemarkerlist = new int[in.numberofedges]; 750fdc7489SMatthew Knepley for (e = eStart; e < eEnd; ++e) { 760fdc7489SMatthew Knepley const PetscInt idx = e - eStart; 770fdc7489SMatthew Knepley const PetscInt *cone; 780fdc7489SMatthew Knepley PetscInt coneSize, val; 790fdc7489SMatthew Knepley 809566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeSize(boundary, e, &coneSize)); 819566063dSJacob Faibussowitsch PetscCall(DMPlexGetCone(boundary, e, &cone)); 820fdc7489SMatthew Knepley in.edgelist[idx*2] = cone[0] - vStart; 830fdc7489SMatthew Knepley in.edgelist[idx*2 + 1] = cone[1] - vStart; 840fdc7489SMatthew Knepley 859566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(universal->label, e, &val)); 860fdc7489SMatthew Knepley in.edgemarkerlist[idx] = (int) val; 870fdc7489SMatthew Knepley } 880fdc7489SMatthew Knepley } 890fdc7489SMatthew Knepley 909566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(boundary, 0, &fStart, &fEnd)); 913a074057SBarry Smith in.numberoffacets = fEnd - fStart; 923a074057SBarry Smith if (in.numberoffacets > 0) { 933a074057SBarry Smith in.facetlist = new tetgenio::facet[in.numberoffacets]; 943a074057SBarry Smith in.facetmarkerlist = new int[in.numberoffacets]; 953a074057SBarry Smith for (f = fStart; f < fEnd; ++f) { 963a074057SBarry Smith const PetscInt idx = f - fStart; 970fdc7489SMatthew Knepley PetscInt *points = NULL, numPoints, p, numVertices = 0, v, val = -1; 983a074057SBarry Smith 993a074057SBarry Smith in.facetlist[idx].numberofpolygons = 1; 1003a074057SBarry Smith in.facetlist[idx].polygonlist = new tetgenio::polygon[in.facetlist[idx].numberofpolygons]; 1013a074057SBarry Smith in.facetlist[idx].numberofholes = 0; 1023a074057SBarry Smith in.facetlist[idx].holelist = NULL; 1033a074057SBarry Smith 1049566063dSJacob Faibussowitsch PetscCall(DMPlexGetTransitiveClosure(boundary, f, PETSC_TRUE, &numPoints, &points)); 1053a074057SBarry Smith for (p = 0; p < numPoints*2; p += 2) { 1063a074057SBarry Smith const PetscInt point = points[p]; 1073a074057SBarry Smith if ((point >= vStart) && (point < vEnd)) points[numVertices++] = point; 1083a074057SBarry Smith } 1093a074057SBarry Smith 1103a074057SBarry Smith tetgenio::polygon *poly = in.facetlist[idx].polygonlist; 1113a074057SBarry Smith poly->numberofvertices = numVertices; 1123a074057SBarry Smith poly->vertexlist = new int[poly->numberofvertices]; 1133a074057SBarry Smith for (v = 0; v < numVertices; ++v) { 1143a074057SBarry Smith const PetscInt vIdx = points[v] - vStart; 1153a074057SBarry Smith poly->vertexlist[v] = vIdx; 1163a074057SBarry Smith } 1179566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(universal->label, f, &val)); 1183a074057SBarry Smith in.facetmarkerlist[idx] = (int) val; 1199566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreTransitiveClosure(boundary, f, PETSC_TRUE, &numPoints, &points)); 1203a074057SBarry Smith } 1213a074057SBarry Smith } 122dd400576SPatrick Sanan if (rank == 0) { 1230fdc7489SMatthew Knepley DM_Plex *mesh = (DM_Plex *) boundary->data; 1243a074057SBarry Smith char args[32]; 1253a074057SBarry Smith 1263a074057SBarry Smith /* Take away 'Q' for verbose output */ 1270fdc7489SMatthew Knepley #ifdef PETSC_HAVE_EGADS 1289566063dSJacob Faibussowitsch PetscCall(PetscStrcpy(args, "pqezQY")); 1290fdc7489SMatthew Knepley #else 1309566063dSJacob Faibussowitsch PetscCall(PetscStrcpy(args, "pqezQ")); 1310fdc7489SMatthew Knepley #endif 1323a074057SBarry Smith if (mesh->tetgenOpts) {::tetrahedralize(mesh->tetgenOpts, &in, &out);} 1333a074057SBarry Smith else {::tetrahedralize(args, &in, &out);} 1343a074057SBarry Smith } 1353a074057SBarry Smith { 1363a074057SBarry Smith const PetscInt numCorners = 4; 1373a074057SBarry Smith const PetscInt numCells = out.numberoftetrahedra; 1383a074057SBarry Smith const PetscInt numVertices = out.numberofpoints; 139a4a685f2SJacob Faibussowitsch PetscReal *meshCoords = NULL; 140a4a685f2SJacob Faibussowitsch PetscInt *cells = NULL; 141a4a685f2SJacob Faibussowitsch 142a4a685f2SJacob Faibussowitsch if (sizeof (PetscReal) == sizeof (out.pointlist[0])) { 143a4a685f2SJacob Faibussowitsch meshCoords = (PetscReal *) out.pointlist; 144a4a685f2SJacob Faibussowitsch } else { 145a4a685f2SJacob Faibussowitsch PetscInt i; 146a4a685f2SJacob Faibussowitsch 147a4a685f2SJacob Faibussowitsch meshCoords = new PetscReal[dim * numVertices]; 1480fdc7489SMatthew Knepley for (i = 0; i < dim * numVertices; ++i) meshCoords[i] = (PetscReal) out.pointlist[i]; 149a4a685f2SJacob Faibussowitsch } 150a4a685f2SJacob Faibussowitsch if (sizeof (PetscInt) == sizeof (out.tetrahedronlist[0])) { 151a4a685f2SJacob Faibussowitsch cells = (PetscInt *) out.tetrahedronlist; 152a4a685f2SJacob Faibussowitsch } else { 153a4a685f2SJacob Faibussowitsch PetscInt i; 154a4a685f2SJacob Faibussowitsch 155a4a685f2SJacob Faibussowitsch cells = new PetscInt[numCells * numCorners]; 1560fdc7489SMatthew Knepley for (i = 0; i < numCells * numCorners; i++) cells[i] = (PetscInt) out.tetrahedronlist[i]; 157a4a685f2SJacob Faibussowitsch } 1583a074057SBarry Smith 1599566063dSJacob Faibussowitsch PetscCall(DMPlexInvertCells_Tetgen(numCells, numCorners, cells)); 1609566063dSJacob Faibussowitsch PetscCall(DMPlexCreateFromCellListPetsc(comm, dim, numCells, numVertices, numCorners, interpolate, cells, dim, meshCoords, dm)); 1610fdc7489SMatthew Knepley 1623a074057SBarry Smith /* Set labels */ 1639566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelCreateLabels(universal, PETSC_TRUE, *dm)); 1643a074057SBarry Smith for (v = 0; v < numVertices; ++v) { 1653a074057SBarry Smith if (out.pointmarkerlist[v]) { 1669566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelSetLabelValue(universal, *dm, PETSC_TRUE, v+numCells, out.pointmarkerlist[v])); 1673a074057SBarry Smith } 1683a074057SBarry Smith } 1693a074057SBarry Smith if (interpolate) { 1703a074057SBarry Smith PetscInt e; 1713a074057SBarry Smith 1723a074057SBarry Smith for (e = 0; e < out.numberofedges; e++) { 1733a074057SBarry Smith if (out.edgemarkerlist[e]) { 1743a074057SBarry Smith const PetscInt vertices[2] = {out.edgelist[e*2+0]+numCells, out.edgelist[e*2+1]+numCells}; 1753a074057SBarry Smith const PetscInt *edges; 1763a074057SBarry Smith PetscInt numEdges; 1773a074057SBarry Smith 1789566063dSJacob Faibussowitsch PetscCall(DMPlexGetJoin(*dm, 2, vertices, &numEdges, &edges)); 179*63a3b9bcSJacob Faibussowitsch PetscCheck(numEdges == 1,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Two vertices must cover only one edge, not %" PetscInt_FMT, numEdges); 1809566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelSetLabelValue(universal, *dm, PETSC_TRUE, edges[0], out.edgemarkerlist[e])); 1819566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreJoin(*dm, 2, vertices, &numEdges, &edges)); 1823a074057SBarry Smith } 1833a074057SBarry Smith } 1843a074057SBarry Smith for (f = 0; f < out.numberoftrifaces; f++) { 1853a074057SBarry Smith if (out.trifacemarkerlist[f]) { 1863a074057SBarry Smith const PetscInt vertices[3] = {out.trifacelist[f*3+0]+numCells, out.trifacelist[f*3+1]+numCells, out.trifacelist[f*3+2]+numCells}; 1873a074057SBarry Smith const PetscInt *faces; 1883a074057SBarry Smith PetscInt numFaces; 1893a074057SBarry Smith 1909566063dSJacob Faibussowitsch PetscCall(DMPlexGetFullJoin(*dm, 3, vertices, &numFaces, &faces)); 191*63a3b9bcSJacob Faibussowitsch PetscCheck(numFaces == 1,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Three vertices must cover only one face, not %" PetscInt_FMT, numFaces); 1929566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelSetLabelValue(universal, *dm, PETSC_TRUE, faces[0], out.trifacemarkerlist[f])); 1939566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreJoin(*dm, 3, vertices, &numFaces, &faces)); 1943a074057SBarry Smith } 1953a074057SBarry Smith } 1963a074057SBarry Smith } 1970fdc7489SMatthew Knepley 1989566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject) boundary, "EGADS Model", (PetscObject *) &modelObj)); 1999318fe57SMatthew G. Knepley if (modelObj) { 2000fdc7489SMatthew Knepley #ifdef PETSC_HAVE_EGADS 2010fdc7489SMatthew Knepley DMLabel bodyLabel; 2020fdc7489SMatthew Knepley PetscInt cStart, cEnd, c, eStart, eEnd, fStart, fEnd; 203c1cad2e7SMatthew G. Knepley PetscBool islite = PETSC_FALSE; 2040fdc7489SMatthew Knepley ego *bodies; 2050fdc7489SMatthew Knepley ego model, geom; 2060fdc7489SMatthew Knepley int Nb, oclass, mtype, *senses; 2070fdc7489SMatthew Knepley 2080fdc7489SMatthew Knepley /* Get Attached EGADS Model from Original DMPlex */ 2099566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject) boundary, "EGADS Model", (PetscObject *) &modelObj)); 210c1cad2e7SMatthew G. Knepley if (modelObj) { 2119566063dSJacob Faibussowitsch PetscCall(PetscContainerGetPointer(modelObj, (void **) &model)); 2129566063dSJacob Faibussowitsch PetscCall(EG_getTopology(model, &geom, &oclass, &mtype, NULL, &Nb, &bodies, &senses)); 2130fdc7489SMatthew Knepley /* Transfer EGADS Model to Volumetric Mesh */ 2149566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject) *dm, "EGADS Model", (PetscObject) modelObj)); 215c1cad2e7SMatthew G. Knepley } else { 2169566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject) boundary, "EGADSLite Model", (PetscObject *) &modelObj)); 217c1cad2e7SMatthew G. Knepley if (modelObj) { 2189566063dSJacob Faibussowitsch PetscCall(PetscContainerGetPointer(modelObj, (void **) &model)); 2199566063dSJacob Faibussowitsch PetscCall(EGlite_getTopology(model, &geom, &oclass, &mtype, NULL, &Nb, &bodies, &senses)); 220c1cad2e7SMatthew G. Knepley /* Transfer EGADS Model to Volumetric Mesh */ 2219566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject) *dm, "EGADSLite Model", (PetscObject) modelObj)); 222c1cad2e7SMatthew G. Knepley islite = PETSC_TRUE; 223c1cad2e7SMatthew G. Knepley } 224c1cad2e7SMatthew G. Knepley } 225c1cad2e7SMatthew G. Knepley if (!modelObj) goto skip_egads; 2260fdc7489SMatthew Knepley 2270fdc7489SMatthew Knepley /* Set Cell Labels */ 2289566063dSJacob Faibussowitsch PetscCall(DMGetLabel(*dm, "EGADS Body ID", &bodyLabel)); 2299566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(*dm, 0, &cStart, &cEnd)); 2309566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(*dm, 1, &fStart, &fEnd)); 2319566063dSJacob Faibussowitsch PetscCall(DMPlexGetDepthStratum(*dm, 1, &eStart, &eEnd)); 2320fdc7489SMatthew Knepley 2330fdc7489SMatthew Knepley for (c = cStart; c < cEnd; ++c) { 2340fdc7489SMatthew Knepley PetscReal centroid[3] = {0., 0., 0.}; 2350fdc7489SMatthew Knepley PetscInt b; 2360fdc7489SMatthew Knepley 2370fdc7489SMatthew Knepley /* Deterimine what body the cell's centroid is located in */ 2380fdc7489SMatthew Knepley if (!interpolate) { 2390fdc7489SMatthew Knepley PetscSection coordSection; 2400fdc7489SMatthew Knepley Vec coordinates; 2410fdc7489SMatthew Knepley PetscScalar *coords = NULL; 2420fdc7489SMatthew Knepley PetscInt coordSize, s, d; 2430fdc7489SMatthew Knepley 2449566063dSJacob Faibussowitsch PetscCall(DMGetCoordinatesLocal(*dm, &coordinates)); 2459566063dSJacob Faibussowitsch PetscCall(DMGetCoordinateSection(*dm, &coordSection)); 2469566063dSJacob Faibussowitsch PetscCall(DMPlexVecGetClosure(*dm, coordSection, coordinates, c, &coordSize, &coords)); 2470fdc7489SMatthew Knepley for (s = 0; s < coordSize; ++s) for (d = 0; d < dim; ++d) centroid[d] += coords[s*dim+d]; 2489566063dSJacob Faibussowitsch PetscCall(DMPlexVecRestoreClosure(*dm, coordSection, coordinates, c, &coordSize, &coords)); 2490fdc7489SMatthew Knepley } else { 2509566063dSJacob Faibussowitsch PetscCall(DMPlexComputeCellGeometryFVM(*dm, c, NULL, centroid, NULL)); 2510fdc7489SMatthew Knepley } 2520fdc7489SMatthew Knepley for (b = 0; b < Nb; ++b) { 253c1cad2e7SMatthew G. Knepley if (islite) {if (EGlite_inTopology(bodies[b], centroid) == EGADS_SUCCESS) break;} 254c1cad2e7SMatthew G. Knepley else {if (EG_inTopology(bodies[b], centroid) == EGADS_SUCCESS) break;} 2550fdc7489SMatthew Knepley } 2560fdc7489SMatthew Knepley if (b < Nb) { 2570fdc7489SMatthew Knepley PetscInt cval = b, eVal, fVal; 2580fdc7489SMatthew Knepley PetscInt *closure = NULL, Ncl, cl; 2590fdc7489SMatthew Knepley 2609566063dSJacob Faibussowitsch PetscCall(DMLabelSetValue(bodyLabel, c, cval)); 2619566063dSJacob Faibussowitsch PetscCall(DMPlexGetTransitiveClosure(*dm, c, PETSC_TRUE, &Ncl, &closure)); 2620fdc7489SMatthew Knepley for (cl = 0; cl < Ncl; cl += 2) { 2630fdc7489SMatthew Knepley const PetscInt p = closure[cl]; 2640fdc7489SMatthew Knepley 2650fdc7489SMatthew Knepley if (p >= eStart && p < eEnd) { 2669566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(bodyLabel, p, &eVal)); 2679566063dSJacob Faibussowitsch if (eVal < 0) PetscCall(DMLabelSetValue(bodyLabel, p, cval)); 2680fdc7489SMatthew Knepley } 2690fdc7489SMatthew Knepley if (p >= fStart && p < fEnd) { 2709566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(bodyLabel, p, &fVal)); 2719566063dSJacob Faibussowitsch if (fVal < 0) PetscCall(DMLabelSetValue(bodyLabel, p, cval)); 2720fdc7489SMatthew Knepley } 2730fdc7489SMatthew Knepley } 2749566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreTransitiveClosure(*dm, c, PETSC_TRUE, &Ncl, &closure)); 2750fdc7489SMatthew Knepley } 2760fdc7489SMatthew Knepley } 277c1cad2e7SMatthew G. Knepley skip_egads: ; 2780fdc7489SMatthew Knepley #endif 2799318fe57SMatthew G. Knepley } 2809566063dSJacob Faibussowitsch PetscCall(DMPlexSetRefinementUniform(*dm, PETSC_FALSE)); 2813a074057SBarry Smith } 2829566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelDestroy(&universal)); 2833a074057SBarry Smith PetscFunctionReturn(0); 2843a074057SBarry Smith } 2853a074057SBarry Smith 2863a074057SBarry Smith PETSC_EXTERN PetscErrorCode DMPlexRefine_Tetgen(DM dm, double *maxVolumes, DM *dmRefined) 2873a074057SBarry Smith { 2883a074057SBarry Smith MPI_Comm comm; 2893a074057SBarry Smith const PetscInt dim = 3; 2903a074057SBarry Smith ::tetgenio in; 2913a074057SBarry Smith ::tetgenio out; 2929318fe57SMatthew G. Knepley PetscContainer modelObj; 2930fdc7489SMatthew Knepley DMUniversalLabel universal; 2940fdc7489SMatthew Knepley PetscInt vStart, vEnd, v, eStart, eEnd, e, fStart, fEnd, f, cStart, cEnd, c; 2950fdc7489SMatthew Knepley DMPlexInterpolatedFlag isInterpolated; 2963a074057SBarry Smith PetscMPIInt rank; 2973a074057SBarry Smith 2983a074057SBarry Smith PetscFunctionBegin; 2999566063dSJacob Faibussowitsch PetscCall(PetscObjectGetComm((PetscObject)dm,&comm)); 3009566063dSJacob Faibussowitsch PetscCallMPI(MPI_Comm_rank(comm, &rank)); 3019566063dSJacob Faibussowitsch PetscCall(DMPlexIsInterpolatedCollective(dm, &isInterpolated)); 3029566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelCreate(dm, &universal)); 3033a074057SBarry Smith 3049566063dSJacob Faibussowitsch PetscCall(DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd)); 3053a074057SBarry Smith in.numberofpoints = vEnd - vStart; 3063a074057SBarry Smith if (in.numberofpoints > 0) { 3073a074057SBarry Smith PetscSection coordSection; 3083a074057SBarry Smith Vec coordinates; 3093a074057SBarry Smith PetscScalar *array; 3103a074057SBarry Smith 3113a074057SBarry Smith in.pointlist = new double[in.numberofpoints*dim]; 3123a074057SBarry Smith in.pointmarkerlist = new int[in.numberofpoints]; 3133a074057SBarry Smith 3149566063dSJacob Faibussowitsch PetscCall(DMGetCoordinatesLocal(dm, &coordinates)); 3159566063dSJacob Faibussowitsch PetscCall(DMGetCoordinateSection(dm, &coordSection)); 3169566063dSJacob Faibussowitsch PetscCall(VecGetArray(coordinates, &array)); 3173a074057SBarry Smith for (v = vStart; v < vEnd; ++v) { 3183a074057SBarry Smith const PetscInt idx = v - vStart; 3190fdc7489SMatthew Knepley PetscInt off, d, val; 3203a074057SBarry Smith 3219566063dSJacob Faibussowitsch PetscCall(PetscSectionGetOffset(coordSection, v, &off)); 3223a074057SBarry Smith for (d = 0; d < dim; ++d) in.pointlist[idx*dim + d] = PetscRealPart(array[off+d]); 3239566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(universal->label, v, &val)); 3243a074057SBarry Smith in.pointmarkerlist[idx] = (int) val; 3253a074057SBarry Smith } 3269566063dSJacob Faibussowitsch PetscCall(VecRestoreArray(coordinates, &array)); 3273a074057SBarry Smith } 3283a074057SBarry Smith 3299566063dSJacob Faibussowitsch PetscCall(DMPlexGetDepthStratum(dm, 1, &eStart, &eEnd)); 3300fdc7489SMatthew Knepley in.numberofedges = eEnd - eStart; 3310fdc7489SMatthew Knepley if (isInterpolated == DMPLEX_INTERPOLATED_FULL && in.numberofedges > 0) { 3320fdc7489SMatthew Knepley in.edgelist = new int[in.numberofedges * 2]; 3330fdc7489SMatthew Knepley in.edgemarkerlist = new int[in.numberofedges]; 3340fdc7489SMatthew Knepley for (e = eStart; e < eEnd; ++e) { 3350fdc7489SMatthew Knepley const PetscInt idx = e - eStart; 3360fdc7489SMatthew Knepley const PetscInt *cone; 3370fdc7489SMatthew Knepley PetscInt coneSize, val; 3380fdc7489SMatthew Knepley 3399566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeSize(dm, e, &coneSize)); 3409566063dSJacob Faibussowitsch PetscCall(DMPlexGetCone(dm, e, &cone)); 3410fdc7489SMatthew Knepley in.edgelist[idx*2] = cone[0] - vStart; 3420fdc7489SMatthew Knepley in.edgelist[idx*2 + 1] = cone[1] - vStart; 3430fdc7489SMatthew Knepley 3449566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(universal->label, e, &val)); 3450fdc7489SMatthew Knepley in.edgemarkerlist[idx] = (int) val; 3460fdc7489SMatthew Knepley } 3470fdc7489SMatthew Knepley } 3480fdc7489SMatthew Knepley 3499566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd)); 3500fdc7489SMatthew Knepley in.numberoffacets = fEnd - fStart; 3510fdc7489SMatthew Knepley if (isInterpolated == DMPLEX_INTERPOLATED_FULL && in.numberoffacets > 0) { 3520fdc7489SMatthew Knepley in.facetlist = new tetgenio::facet[in.numberoffacets]; 3530fdc7489SMatthew Knepley in.facetmarkerlist = new int[in.numberoffacets]; 3540fdc7489SMatthew Knepley for (f = fStart; f < fEnd; ++f) { 3550fdc7489SMatthew Knepley const PetscInt idx = f - fStart; 3560fdc7489SMatthew Knepley PetscInt *points = NULL, numPoints, p, numVertices = 0, v, val; 3570fdc7489SMatthew Knepley 3580fdc7489SMatthew Knepley in.facetlist[idx].numberofpolygons = 1; 3590fdc7489SMatthew Knepley in.facetlist[idx].polygonlist = new tetgenio::polygon[in.facetlist[idx].numberofpolygons]; 3600fdc7489SMatthew Knepley in.facetlist[idx].numberofholes = 0; 3610fdc7489SMatthew Knepley in.facetlist[idx].holelist = NULL; 3620fdc7489SMatthew Knepley 3639566063dSJacob Faibussowitsch PetscCall(DMPlexGetTransitiveClosure(dm, f, PETSC_TRUE, &numPoints, &points)); 3640fdc7489SMatthew Knepley for (p = 0; p < numPoints*2; p += 2) { 3650fdc7489SMatthew Knepley const PetscInt point = points[p]; 3660fdc7489SMatthew Knepley if ((point >= vStart) && (point < vEnd)) points[numVertices++] = point; 3670fdc7489SMatthew Knepley } 3680fdc7489SMatthew Knepley 3690fdc7489SMatthew Knepley tetgenio::polygon *poly = in.facetlist[idx].polygonlist; 3700fdc7489SMatthew Knepley poly->numberofvertices = numVertices; 3710fdc7489SMatthew Knepley poly->vertexlist = new int[poly->numberofvertices]; 3720fdc7489SMatthew Knepley for (v = 0; v < numVertices; ++v) { 3730fdc7489SMatthew Knepley const PetscInt vIdx = points[v] - vStart; 3740fdc7489SMatthew Knepley poly->vertexlist[v] = vIdx; 3750fdc7489SMatthew Knepley } 3760fdc7489SMatthew Knepley 3779566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(universal->label, f, &val)); 3780fdc7489SMatthew Knepley in.facetmarkerlist[idx] = (int) val; 3790fdc7489SMatthew Knepley 3809566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreTransitiveClosure(dm, f, PETSC_TRUE, &numPoints, &points)); 3810fdc7489SMatthew Knepley } 3820fdc7489SMatthew Knepley } 3830fdc7489SMatthew Knepley 3849566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd)); 3853a074057SBarry Smith in.numberofcorners = 4; 3863a074057SBarry Smith in.numberoftetrahedra = cEnd - cStart; 3873a074057SBarry Smith in.tetrahedronvolumelist = (double *) maxVolumes; 3883a074057SBarry Smith if (in.numberoftetrahedra > 0) { 3893a074057SBarry Smith in.tetrahedronlist = new int[in.numberoftetrahedra*in.numberofcorners]; 3903a074057SBarry Smith for (c = cStart; c < cEnd; ++c) { 3913a074057SBarry Smith const PetscInt idx = c - cStart; 3923a074057SBarry Smith PetscInt *closure = NULL; 3933a074057SBarry Smith PetscInt closureSize; 3943a074057SBarry Smith 3959566063dSJacob Faibussowitsch PetscCall(DMPlexGetTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure)); 396*63a3b9bcSJacob Faibussowitsch PetscCheck(!(closureSize != 5) || !(closureSize != 15),comm, PETSC_ERR_ARG_WRONG, "Mesh has cell which is not a tetrahedron, %" PetscInt_FMT " vertices in closure", closureSize); 3970fdc7489SMatthew Knepley for (v = 0; v < 4; ++v) in.tetrahedronlist[idx*in.numberofcorners + v] = closure[(v+closureSize-4)*2] - vStart; 3989566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreTransitiveClosure(dm, c, PETSC_TRUE, &closureSize, &closure)); 3993a074057SBarry Smith } 4003a074057SBarry Smith } 4010fdc7489SMatthew Knepley 402dd400576SPatrick Sanan if (rank == 0) { 4033a074057SBarry Smith char args[32]; 4043a074057SBarry Smith 4053a074057SBarry Smith /* Take away 'Q' for verbose output */ 4069566063dSJacob Faibussowitsch PetscCall(PetscStrcpy(args, "qezQra")); 4073a074057SBarry Smith ::tetrahedralize(args, &in, &out); 4083a074057SBarry Smith } 4093a074057SBarry Smith 4100fdc7489SMatthew Knepley in.tetrahedronvolumelist = NULL; 4113a074057SBarry Smith { 4123a074057SBarry Smith const PetscInt numCorners = 4; 4133a074057SBarry Smith const PetscInt numCells = out.numberoftetrahedra; 4143a074057SBarry Smith const PetscInt numVertices = out.numberofpoints; 415a4a685f2SJacob Faibussowitsch PetscReal *meshCoords = NULL; 416a4a685f2SJacob Faibussowitsch PetscInt *cells = NULL; 4170fdc7489SMatthew Knepley PetscBool interpolate = isInterpolated == DMPLEX_INTERPOLATED_FULL ? PETSC_TRUE : PETSC_FALSE; 4183a074057SBarry Smith 419a4a685f2SJacob Faibussowitsch if (sizeof (PetscReal) == sizeof (out.pointlist[0])) { 420a4a685f2SJacob Faibussowitsch meshCoords = (PetscReal *) out.pointlist; 421a4a685f2SJacob Faibussowitsch } else { 422a4a685f2SJacob Faibussowitsch PetscInt i; 423a4a685f2SJacob Faibussowitsch 424a4a685f2SJacob Faibussowitsch meshCoords = new PetscReal[dim * numVertices]; 4250fdc7489SMatthew Knepley for (i = 0; i < dim * numVertices; ++i) meshCoords[i] = (PetscReal) out.pointlist[i]; 426a4a685f2SJacob Faibussowitsch } 427a4a685f2SJacob Faibussowitsch if (sizeof (PetscInt) == sizeof (out.tetrahedronlist[0])) { 428a4a685f2SJacob Faibussowitsch cells = (PetscInt *) out.tetrahedronlist; 429a4a685f2SJacob Faibussowitsch } else { 430a4a685f2SJacob Faibussowitsch PetscInt i; 431a4a685f2SJacob Faibussowitsch 432a4a685f2SJacob Faibussowitsch cells = new PetscInt[numCells * numCorners]; 4330fdc7489SMatthew Knepley for (i = 0; i < numCells * numCorners; ++i)cells[i] = (PetscInt) out.tetrahedronlist[i]; 434a4a685f2SJacob Faibussowitsch } 435a4a685f2SJacob Faibussowitsch 4369566063dSJacob Faibussowitsch PetscCall(DMPlexInvertCells_Tetgen(numCells, numCorners, cells)); 4379566063dSJacob Faibussowitsch PetscCall(DMPlexCreateFromCellListPetsc(comm, dim, numCells, numVertices, numCorners, interpolate, cells, dim, meshCoords, dmRefined)); 4380fdc7489SMatthew Knepley if (sizeof (PetscReal) != sizeof (out.pointlist[0])) {delete [] meshCoords;} 4390fdc7489SMatthew Knepley if (sizeof (PetscInt) != sizeof (out.tetrahedronlist[0])) {delete [] cells;} 4400fdc7489SMatthew Knepley 4413a074057SBarry Smith /* Set labels */ 4429566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelCreateLabels(universal, PETSC_TRUE, *dmRefined)); 4433a074057SBarry Smith for (v = 0; v < numVertices; ++v) { 4443a074057SBarry Smith if (out.pointmarkerlist[v]) { 4459566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelSetLabelValue(universal, *dmRefined, PETSC_TRUE, v+numCells, out.pointmarkerlist[v])); 4463a074057SBarry Smith } 4473a074057SBarry Smith } 4483a074057SBarry Smith if (interpolate) { 4490fdc7489SMatthew Knepley PetscInt e, f; 4503a074057SBarry Smith 4510fdc7489SMatthew Knepley for (e = 0; e < out.numberofedges; ++e) { 4523a074057SBarry Smith if (out.edgemarkerlist[e]) { 4533a074057SBarry Smith const PetscInt vertices[2] = {out.edgelist[e*2+0]+numCells, out.edgelist[e*2+1]+numCells}; 4543a074057SBarry Smith const PetscInt *edges; 4553a074057SBarry Smith PetscInt numEdges; 4563a074057SBarry Smith 4579566063dSJacob Faibussowitsch PetscCall(DMPlexGetJoin(*dmRefined, 2, vertices, &numEdges, &edges)); 458*63a3b9bcSJacob Faibussowitsch PetscCheck(numEdges == 1,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Two vertices must cover only one edge, not %" PetscInt_FMT, numEdges); 4599566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelSetLabelValue(universal, *dmRefined, PETSC_TRUE, edges[0], out.edgemarkerlist[e])); 4609566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreJoin(*dmRefined, 2, vertices, &numEdges, &edges)); 4613a074057SBarry Smith } 4623a074057SBarry Smith } 4630fdc7489SMatthew Knepley for (f = 0; f < out.numberoftrifaces; ++f) { 4643a074057SBarry Smith if (out.trifacemarkerlist[f]) { 4653a074057SBarry Smith const PetscInt vertices[3] = {out.trifacelist[f*3+0]+numCells, out.trifacelist[f*3+1]+numCells, out.trifacelist[f*3+2]+numCells}; 4663a074057SBarry Smith const PetscInt *faces; 4673a074057SBarry Smith PetscInt numFaces; 4683a074057SBarry Smith 4699566063dSJacob Faibussowitsch PetscCall(DMPlexGetFullJoin(*dmRefined, 3, vertices, &numFaces, &faces)); 470*63a3b9bcSJacob Faibussowitsch PetscCheck(numFaces == 1,PETSC_COMM_SELF, PETSC_ERR_PLIB, "Three vertices must cover only one face, not %" PetscInt_FMT, numFaces); 4719566063dSJacob Faibussowitsch PetscCall(DMUniversalLabelSetLabelValue(universal, *dmRefined, PETSC_TRUE, faces[0], out.trifacemarkerlist[f])); 4729566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreJoin(*dmRefined, 3, vertices, &numFaces, &faces)); 4733a074057SBarry Smith } 4743a074057SBarry Smith } 4753a074057SBarry Smith } 4760fdc7489SMatthew Knepley 4779566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject) dm, "EGADS Model", (PetscObject *) &modelObj)); 4789318fe57SMatthew G. Knepley if (modelObj) { 4790fdc7489SMatthew Knepley #ifdef PETSC_HAVE_EGADS 4800fdc7489SMatthew Knepley DMLabel bodyLabel; 4810fdc7489SMatthew Knepley PetscInt cStart, cEnd, c, eStart, eEnd, fStart, fEnd; 482c1cad2e7SMatthew G. Knepley PetscBool islite = PETSC_FALSE; 4830fdc7489SMatthew Knepley ego *bodies; 4840fdc7489SMatthew Knepley ego model, geom; 4850fdc7489SMatthew Knepley int Nb, oclass, mtype, *senses; 4860fdc7489SMatthew Knepley 4870fdc7489SMatthew Knepley /* Get Attached EGADS Model from Original DMPlex */ 4889566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject) dm, "EGADS Model", (PetscObject *) &modelObj)); 489c1cad2e7SMatthew G. Knepley if (modelObj) { 4909566063dSJacob Faibussowitsch PetscCall(PetscContainerGetPointer(modelObj, (void **) &model)); 4919566063dSJacob Faibussowitsch PetscCall(EG_getTopology(model, &geom, &oclass, &mtype, NULL, &Nb, &bodies, &senses)); 4920fdc7489SMatthew Knepley /* Transfer EGADS Model to Volumetric Mesh */ 4939566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject) *dmRefined, "EGADS Model", (PetscObject) modelObj)); 494c1cad2e7SMatthew G. Knepley } else { 4959566063dSJacob Faibussowitsch PetscCall(PetscObjectQuery((PetscObject) dm, "EGADSLite Model", (PetscObject *) &modelObj)); 496c1cad2e7SMatthew G. Knepley if (modelObj) { 4979566063dSJacob Faibussowitsch PetscCall(PetscContainerGetPointer(modelObj, (void **) &model)); 4989566063dSJacob Faibussowitsch PetscCall(EGlite_getTopology(model, &geom, &oclass, &mtype, NULL, &Nb, &bodies, &senses)); 499c1cad2e7SMatthew G. Knepley /* Transfer EGADS Model to Volumetric Mesh */ 5009566063dSJacob Faibussowitsch PetscCall(PetscObjectCompose((PetscObject) *dmRefined, "EGADSLite Model", (PetscObject) modelObj)); 501c1cad2e7SMatthew G. Knepley islite = PETSC_TRUE; 502c1cad2e7SMatthew G. Knepley } 503c1cad2e7SMatthew G. Knepley } 504c1cad2e7SMatthew G. Knepley if (!modelObj) goto skip_egads; 5050fdc7489SMatthew Knepley 5060fdc7489SMatthew Knepley /* Set Cell Labels */ 5079566063dSJacob Faibussowitsch PetscCall(DMGetLabel(*dmRefined, "EGADS Body ID", &bodyLabel)); 5089566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(*dmRefined, 0, &cStart, &cEnd)); 5099566063dSJacob Faibussowitsch PetscCall(DMPlexGetHeightStratum(*dmRefined, 1, &fStart, &fEnd)); 5109566063dSJacob Faibussowitsch PetscCall(DMPlexGetDepthStratum(*dmRefined, 1, &eStart, &eEnd)); 5110fdc7489SMatthew Knepley 5120fdc7489SMatthew Knepley for (c = cStart; c < cEnd; ++c) { 5130fdc7489SMatthew Knepley PetscReal centroid[3] = {0., 0., 0.}; 5140fdc7489SMatthew Knepley PetscInt b; 5150fdc7489SMatthew Knepley 5160fdc7489SMatthew Knepley /* Deterimine what body the cell's centroid is located in */ 5170fdc7489SMatthew Knepley if (!interpolate) { 5180fdc7489SMatthew Knepley PetscSection coordSection; 5190fdc7489SMatthew Knepley Vec coordinates; 5200fdc7489SMatthew Knepley PetscScalar *coords = NULL; 5210fdc7489SMatthew Knepley PetscInt coordSize, s, d; 5220fdc7489SMatthew Knepley 5239566063dSJacob Faibussowitsch PetscCall(DMGetCoordinatesLocal(*dmRefined, &coordinates)); 5249566063dSJacob Faibussowitsch PetscCall(DMGetCoordinateSection(*dmRefined, &coordSection)); 5259566063dSJacob Faibussowitsch PetscCall(DMPlexVecGetClosure(*dmRefined, coordSection, coordinates, c, &coordSize, &coords)); 5260fdc7489SMatthew Knepley for (s = 0; s < coordSize; ++s) for (d = 0; d < dim; ++d) centroid[d] += coords[s*dim+d]; 5279566063dSJacob Faibussowitsch PetscCall(DMPlexVecRestoreClosure(*dmRefined, coordSection, coordinates, c, &coordSize, &coords)); 5280fdc7489SMatthew Knepley } else { 5299566063dSJacob Faibussowitsch PetscCall(DMPlexComputeCellGeometryFVM(*dmRefined, c, NULL, centroid, NULL)); 5300fdc7489SMatthew Knepley } 5310fdc7489SMatthew Knepley for (b = 0; b < Nb; ++b) { 532c1cad2e7SMatthew G. Knepley if (islite) {if (EGlite_inTopology(bodies[b], centroid) == EGADS_SUCCESS) break;} 533c1cad2e7SMatthew G. Knepley else {if (EG_inTopology(bodies[b], centroid) == EGADS_SUCCESS) break;} 5340fdc7489SMatthew Knepley } 5350fdc7489SMatthew Knepley if (b < Nb) { 5360fdc7489SMatthew Knepley PetscInt cval = b, eVal, fVal; 5370fdc7489SMatthew Knepley PetscInt *closure = NULL, Ncl, cl; 5380fdc7489SMatthew Knepley 5399566063dSJacob Faibussowitsch PetscCall(DMLabelSetValue(bodyLabel, c, cval)); 5409566063dSJacob Faibussowitsch PetscCall(DMPlexGetTransitiveClosure(*dmRefined, c, PETSC_TRUE, &Ncl, &closure)); 5410fdc7489SMatthew Knepley for (cl = 0; cl < Ncl; cl += 2) { 5420fdc7489SMatthew Knepley const PetscInt p = closure[cl]; 5430fdc7489SMatthew Knepley 5440fdc7489SMatthew Knepley if (p >= eStart && p < eEnd) { 5459566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(bodyLabel, p, &eVal)); 5469566063dSJacob Faibussowitsch if (eVal < 0) PetscCall(DMLabelSetValue(bodyLabel, p, cval)); 5470fdc7489SMatthew Knepley } 5480fdc7489SMatthew Knepley if (p >= fStart && p < fEnd) { 5499566063dSJacob Faibussowitsch PetscCall(DMLabelGetValue(bodyLabel, p, &fVal)); 5509566063dSJacob Faibussowitsch if (fVal < 0) PetscCall(DMLabelSetValue(bodyLabel, p, cval)); 5510fdc7489SMatthew Knepley } 5520fdc7489SMatthew Knepley } 5539566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreTransitiveClosure(*dmRefined, c, PETSC_TRUE, &Ncl, &closure)); 5540fdc7489SMatthew Knepley } 5550fdc7489SMatthew Knepley } 556c1cad2e7SMatthew G. Knepley skip_egads: ; 5570fdc7489SMatthew Knepley #endif 5589318fe57SMatthew G. Knepley } 5599566063dSJacob Faibussowitsch PetscCall(DMPlexSetRefinementUniform(*dmRefined, PETSC_FALSE)); 5603a074057SBarry Smith } 5613a074057SBarry Smith PetscFunctionReturn(0); 5623a074057SBarry Smith } 563