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