1af0996ceSBarry Smith #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 29d150b73SToby Isaac #include <petsc/private/petscfeimpl.h> /*I "petscfe.h" I*/ 39d150b73SToby Isaac #include <petscblaslapack.h> 4af74b616SDave May #include <petsctime.h> 5ccd2543fSMatthew G Knepley 63985bb02SVaclav Hapla /*@ 73985bb02SVaclav Hapla DMPlexFindVertices - Try to find DAG points based on their coordinates. 83985bb02SVaclav Hapla 93985bb02SVaclav Hapla Not Collective (provided DMGetCoordinatesLocalSetUp() has been called already) 103985bb02SVaclav Hapla 113985bb02SVaclav Hapla Input Parameters: 123985bb02SVaclav Hapla + dm - The DMPlex object 133985bb02SVaclav Hapla . npoints - The number of sought points 143985bb02SVaclav Hapla . coords - The array of coordinates of the sought points 153985bb02SVaclav Hapla - eps - The tolerance or PETSC_DEFAULT 163985bb02SVaclav Hapla 173985bb02SVaclav Hapla Output Parameters: 183985bb02SVaclav Hapla . dagPoints - The array of found DAG points, or -1 if not found 193985bb02SVaclav Hapla 203985bb02SVaclav Hapla Level: intermediate 213985bb02SVaclav Hapla 223985bb02SVaclav Hapla Notes: 233985bb02SVaclav Hapla The length of the array coords must be npoints * dim where dim is the spatial dimension returned by DMGetDimension(). 243985bb02SVaclav Hapla 253985bb02SVaclav Hapla The output array dagPoints is NOT newly allocated; the user must pass an array of length npoints. 263985bb02SVaclav Hapla 273985bb02SVaclav Hapla Each rank does the search independently; a nonnegative value is returned only if this rank's local DMPlex portion contains the point. 283985bb02SVaclav Hapla 293985bb02SVaclav Hapla The tolerance is interpreted as the maximum Euclidean (L2) distance of the sought point from the specified coordinates. 303985bb02SVaclav Hapla 31335ef845SVaclav Hapla Complexity of this function is currently O(mn) with m number of vertices to find and n number of vertices in the local mesh. This could probably be improved. 32335ef845SVaclav Hapla 3337900f7dSMatthew G. Knepley .seealso: DMPlexCreate(), DMGetCoordinatesLocal() 343985bb02SVaclav Hapla @*/ 353985bb02SVaclav Hapla PetscErrorCode DMPlexFindVertices(DM dm, PetscInt npoints, const PetscReal coord[], PetscReal eps, PetscInt dagPoints[]) 363985bb02SVaclav Hapla { 3737900f7dSMatthew G. Knepley PetscInt c, cdim, i, j, o, p, vStart, vEnd; 383985bb02SVaclav Hapla Vec allCoordsVec; 393985bb02SVaclav Hapla const PetscScalar *allCoords; 403985bb02SVaclav Hapla PetscReal norm; 413985bb02SVaclav Hapla PetscErrorCode ierr; 423985bb02SVaclav Hapla 433985bb02SVaclav Hapla PetscFunctionBegin; 443985bb02SVaclav Hapla if (eps < 0) eps = PETSC_SQRT_MACHINE_EPSILON; 4537900f7dSMatthew G. Knepley ierr = DMGetCoordinateDim(dm, &cdim);CHKERRQ(ierr); 463985bb02SVaclav Hapla ierr = DMGetCoordinatesLocal(dm, &allCoordsVec);CHKERRQ(ierr); 473985bb02SVaclav Hapla ierr = VecGetArrayRead(allCoordsVec, &allCoords);CHKERRQ(ierr); 483985bb02SVaclav Hapla ierr = DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd);CHKERRQ(ierr); 4976bd3646SJed Brown if (PetscDefined(USE_DEBUG)) { 50335ef845SVaclav Hapla /* check coordinate section is consistent with DM dimension */ 51335ef845SVaclav Hapla PetscSection cs; 52335ef845SVaclav Hapla PetscInt ndof; 53335ef845SVaclav Hapla 54335ef845SVaclav Hapla ierr = DMGetCoordinateSection(dm, &cs);CHKERRQ(ierr); 553985bb02SVaclav Hapla for (p = vStart; p < vEnd; p++) { 563985bb02SVaclav Hapla ierr = PetscSectionGetDof(cs, p, &ndof);CHKERRQ(ierr); 5737900f7dSMatthew G. Knepley if (PetscUnlikely(ndof != cdim)) SETERRQ3(PETSC_COMM_SELF, PETSC_ERR_PLIB, "point %D: ndof = %D != %D = cdim", p, ndof, cdim); 58335ef845SVaclav Hapla } 59335ef845SVaclav Hapla } 60eca9f518SVaclav Hapla if (eps == 0.0) { 6137900f7dSMatthew G. Knepley for (i=0,j=0; i < npoints; i++,j+=cdim) { 62eca9f518SVaclav Hapla dagPoints[i] = -1; 6337900f7dSMatthew G. Knepley for (p = vStart,o=0; p < vEnd; p++,o+=cdim) { 6437900f7dSMatthew G. Knepley for (c = 0; c < cdim; c++) { 65eca9f518SVaclav Hapla if (coord[j+c] != PetscRealPart(allCoords[o+c])) break; 66eca9f518SVaclav Hapla } 6737900f7dSMatthew G. Knepley if (c == cdim) { 68eca9f518SVaclav Hapla dagPoints[i] = p; 69eca9f518SVaclav Hapla break; 70eca9f518SVaclav Hapla } 71eca9f518SVaclav Hapla } 72eca9f518SVaclav Hapla } 73eca9f518SVaclav Hapla ierr = VecRestoreArrayRead(allCoordsVec, &allCoords);CHKERRQ(ierr); 74eca9f518SVaclav Hapla PetscFunctionReturn(0); 75eca9f518SVaclav Hapla } 7637900f7dSMatthew G. Knepley for (i=0,j=0; i < npoints; i++,j+=cdim) { 77335ef845SVaclav Hapla dagPoints[i] = -1; 7837900f7dSMatthew G. Knepley for (p = vStart,o=0; p < vEnd; p++,o+=cdim) { 793985bb02SVaclav Hapla norm = 0.0; 8037900f7dSMatthew G. Knepley for (c = 0; c < cdim; c++) { 813985bb02SVaclav Hapla norm += PetscSqr(coord[j+c] - PetscRealPart(allCoords[o+c])); 823985bb02SVaclav Hapla } 833985bb02SVaclav Hapla norm = PetscSqrtReal(norm); 843985bb02SVaclav Hapla if (norm <= eps) { 853985bb02SVaclav Hapla dagPoints[i] = p; 863985bb02SVaclav Hapla break; 873985bb02SVaclav Hapla } 883985bb02SVaclav Hapla } 893985bb02SVaclav Hapla } 903985bb02SVaclav Hapla ierr = VecRestoreArrayRead(allCoordsVec, &allCoords);CHKERRQ(ierr); 913985bb02SVaclav Hapla PetscFunctionReturn(0); 923985bb02SVaclav Hapla } 933985bb02SVaclav Hapla 94fea14342SMatthew G. Knepley static PetscErrorCode DMPlexGetLineIntersection_2D_Internal(const PetscReal segmentA[], const PetscReal segmentB[], PetscReal intersection[], PetscBool *hasIntersection) 95fea14342SMatthew G. Knepley { 96fea14342SMatthew G. Knepley const PetscReal p0_x = segmentA[0*2+0]; 97fea14342SMatthew G. Knepley const PetscReal p0_y = segmentA[0*2+1]; 98fea14342SMatthew G. Knepley const PetscReal p1_x = segmentA[1*2+0]; 99fea14342SMatthew G. Knepley const PetscReal p1_y = segmentA[1*2+1]; 100fea14342SMatthew G. Knepley const PetscReal p2_x = segmentB[0*2+0]; 101fea14342SMatthew G. Knepley const PetscReal p2_y = segmentB[0*2+1]; 102fea14342SMatthew G. Knepley const PetscReal p3_x = segmentB[1*2+0]; 103fea14342SMatthew G. Knepley const PetscReal p3_y = segmentB[1*2+1]; 104fea14342SMatthew G. Knepley const PetscReal s1_x = p1_x - p0_x; 105fea14342SMatthew G. Knepley const PetscReal s1_y = p1_y - p0_y; 106fea14342SMatthew G. Knepley const PetscReal s2_x = p3_x - p2_x; 107fea14342SMatthew G. Knepley const PetscReal s2_y = p3_y - p2_y; 108fea14342SMatthew G. Knepley const PetscReal denom = (-s2_x * s1_y + s1_x * s2_y); 109fea14342SMatthew G. Knepley 110fea14342SMatthew G. Knepley PetscFunctionBegin; 111fea14342SMatthew G. Knepley *hasIntersection = PETSC_FALSE; 112fea14342SMatthew G. Knepley /* Non-parallel lines */ 113fea14342SMatthew G. Knepley if (denom != 0.0) { 114fea14342SMatthew G. Knepley const PetscReal s = (-s1_y * (p0_x - p2_x) + s1_x * (p0_y - p2_y)) / denom; 115fea14342SMatthew G. Knepley const PetscReal t = ( s2_x * (p0_y - p2_y) - s2_y * (p0_x - p2_x)) / denom; 116fea14342SMatthew G. Knepley 117fea14342SMatthew G. Knepley if (s >= 0 && s <= 1 && t >= 0 && t <= 1) { 118fea14342SMatthew G. Knepley *hasIntersection = PETSC_TRUE; 119fea14342SMatthew G. Knepley if (intersection) { 120fea14342SMatthew G. Knepley intersection[0] = p0_x + (t * s1_x); 121fea14342SMatthew G. Knepley intersection[1] = p0_y + (t * s1_y); 122fea14342SMatthew G. Knepley } 123fea14342SMatthew G. Knepley } 124fea14342SMatthew G. Knepley } 125fea14342SMatthew G. Knepley PetscFunctionReturn(0); 126fea14342SMatthew G. Knepley } 127fea14342SMatthew G. Knepley 128ccd2543fSMatthew G Knepley static PetscErrorCode DMPlexLocatePoint_Simplex_2D_Internal(DM dm, const PetscScalar point[], PetscInt c, PetscInt *cell) 129ccd2543fSMatthew G Knepley { 130ccd2543fSMatthew G Knepley const PetscInt embedDim = 2; 131f5ebc837SMatthew G. Knepley const PetscReal eps = PETSC_SQRT_MACHINE_EPSILON; 132ccd2543fSMatthew G Knepley PetscReal x = PetscRealPart(point[0]); 133ccd2543fSMatthew G Knepley PetscReal y = PetscRealPart(point[1]); 134ccd2543fSMatthew G Knepley PetscReal v0[2], J[4], invJ[4], detJ; 135ccd2543fSMatthew G Knepley PetscReal xi, eta; 136ccd2543fSMatthew G Knepley PetscErrorCode ierr; 137ccd2543fSMatthew G Knepley 138ccd2543fSMatthew G Knepley PetscFunctionBegin; 1398e0841e0SMatthew G. Knepley ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 140ccd2543fSMatthew G Knepley xi = invJ[0*embedDim+0]*(x - v0[0]) + invJ[0*embedDim+1]*(y - v0[1]); 141ccd2543fSMatthew G Knepley eta = invJ[1*embedDim+0]*(x - v0[0]) + invJ[1*embedDim+1]*(y - v0[1]); 142ccd2543fSMatthew G Knepley 143f5ebc837SMatthew G. Knepley if ((xi >= -eps) && (eta >= -eps) && (xi + eta <= 2.0+eps)) *cell = c; 144c1496c66SMatthew G. Knepley else *cell = DMLOCATEPOINT_POINT_NOT_FOUND; 145ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 146ccd2543fSMatthew G Knepley } 147ccd2543fSMatthew G Knepley 14862a38674SMatthew G. Knepley static PetscErrorCode DMPlexClosestPoint_Simplex_2D_Internal(DM dm, const PetscScalar point[], PetscInt c, PetscReal cpoint[]) 14962a38674SMatthew G. Knepley { 15062a38674SMatthew G. Knepley const PetscInt embedDim = 2; 15162a38674SMatthew G. Knepley PetscReal x = PetscRealPart(point[0]); 15262a38674SMatthew G. Knepley PetscReal y = PetscRealPart(point[1]); 15362a38674SMatthew G. Knepley PetscReal v0[2], J[4], invJ[4], detJ; 15462a38674SMatthew G. Knepley PetscReal xi, eta, r; 15562a38674SMatthew G. Knepley PetscErrorCode ierr; 15662a38674SMatthew G. Knepley 15762a38674SMatthew G. Knepley PetscFunctionBegin; 15862a38674SMatthew G. Knepley ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 15962a38674SMatthew G. Knepley xi = invJ[0*embedDim+0]*(x - v0[0]) + invJ[0*embedDim+1]*(y - v0[1]); 16062a38674SMatthew G. Knepley eta = invJ[1*embedDim+0]*(x - v0[0]) + invJ[1*embedDim+1]*(y - v0[1]); 16162a38674SMatthew G. Knepley 16262a38674SMatthew G. Knepley xi = PetscMax(xi, 0.0); 16362a38674SMatthew G. Knepley eta = PetscMax(eta, 0.0); 16462a38674SMatthew G. Knepley if (xi + eta > 2.0) { 16562a38674SMatthew G. Knepley r = (xi + eta)/2.0; 16662a38674SMatthew G. Knepley xi /= r; 16762a38674SMatthew G. Knepley eta /= r; 16862a38674SMatthew G. Knepley } 16962a38674SMatthew G. Knepley cpoint[0] = J[0*embedDim+0]*xi + J[0*embedDim+1]*eta + v0[0]; 17062a38674SMatthew G. Knepley cpoint[1] = J[1*embedDim+0]*xi + J[1*embedDim+1]*eta + v0[1]; 17162a38674SMatthew G. Knepley PetscFunctionReturn(0); 17262a38674SMatthew G. Knepley } 17362a38674SMatthew G. Knepley 174ba2698f1SMatthew G. Knepley static PetscErrorCode DMPlexLocatePoint_Quad_2D_Internal(DM dm, const PetscScalar point[], PetscInt c, PetscInt *cell) 175ccd2543fSMatthew G Knepley { 176ccd2543fSMatthew G Knepley PetscSection coordSection; 177ccd2543fSMatthew G Knepley Vec coordsLocal; 178a1e44745SMatthew G. Knepley PetscScalar *coords = NULL; 179ccd2543fSMatthew G Knepley const PetscInt faces[8] = {0, 1, 1, 2, 2, 3, 3, 0}; 180ccd2543fSMatthew G Knepley PetscReal x = PetscRealPart(point[0]); 181ccd2543fSMatthew G Knepley PetscReal y = PetscRealPart(point[1]); 182ccd2543fSMatthew G Knepley PetscInt crossings = 0, f; 183ccd2543fSMatthew G Knepley PetscErrorCode ierr; 184ccd2543fSMatthew G Knepley 185ccd2543fSMatthew G Knepley PetscFunctionBegin; 186ccd2543fSMatthew G Knepley ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 18769d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 188ccd2543fSMatthew G Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordsLocal, c, NULL, &coords);CHKERRQ(ierr); 189ccd2543fSMatthew G Knepley for (f = 0; f < 4; ++f) { 190ccd2543fSMatthew G Knepley PetscReal x_i = PetscRealPart(coords[faces[2*f+0]*2+0]); 191ccd2543fSMatthew G Knepley PetscReal y_i = PetscRealPart(coords[faces[2*f+0]*2+1]); 192ccd2543fSMatthew G Knepley PetscReal x_j = PetscRealPart(coords[faces[2*f+1]*2+0]); 193ccd2543fSMatthew G Knepley PetscReal y_j = PetscRealPart(coords[faces[2*f+1]*2+1]); 194ccd2543fSMatthew G Knepley PetscReal slope = (y_j - y_i) / (x_j - x_i); 195ccd2543fSMatthew G Knepley PetscBool cond1 = (x_i <= x) && (x < x_j) ? PETSC_TRUE : PETSC_FALSE; 196ccd2543fSMatthew G Knepley PetscBool cond2 = (x_j <= x) && (x < x_i) ? PETSC_TRUE : PETSC_FALSE; 197ccd2543fSMatthew G Knepley PetscBool above = (y < slope * (x - x_i) + y_i) ? PETSC_TRUE : PETSC_FALSE; 198ccd2543fSMatthew G Knepley if ((cond1 || cond2) && above) ++crossings; 199ccd2543fSMatthew G Knepley } 200ccd2543fSMatthew G Knepley if (crossings % 2) *cell = c; 201c1496c66SMatthew G. Knepley else *cell = DMLOCATEPOINT_POINT_NOT_FOUND; 202ccd2543fSMatthew G Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordsLocal, c, NULL, &coords);CHKERRQ(ierr); 203ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 204ccd2543fSMatthew G Knepley } 205ccd2543fSMatthew G Knepley 206ccd2543fSMatthew G Knepley static PetscErrorCode DMPlexLocatePoint_Simplex_3D_Internal(DM dm, const PetscScalar point[], PetscInt c, PetscInt *cell) 207ccd2543fSMatthew G Knepley { 208ccd2543fSMatthew G Knepley const PetscInt embedDim = 3; 20937900f7dSMatthew G. Knepley const PetscReal eps = PETSC_SQRT_MACHINE_EPSILON; 210ccd2543fSMatthew G Knepley PetscReal v0[3], J[9], invJ[9], detJ; 211ccd2543fSMatthew G Knepley PetscReal x = PetscRealPart(point[0]); 212ccd2543fSMatthew G Knepley PetscReal y = PetscRealPart(point[1]); 213ccd2543fSMatthew G Knepley PetscReal z = PetscRealPart(point[2]); 214ccd2543fSMatthew G Knepley PetscReal xi, eta, zeta; 215ccd2543fSMatthew G Knepley PetscErrorCode ierr; 216ccd2543fSMatthew G Knepley 217ccd2543fSMatthew G Knepley PetscFunctionBegin; 2188e0841e0SMatthew G. Knepley ierr = DMPlexComputeCellGeometryFEM(dm, c, NULL, v0, J, invJ, &detJ);CHKERRQ(ierr); 219ccd2543fSMatthew G Knepley xi = invJ[0*embedDim+0]*(x - v0[0]) + invJ[0*embedDim+1]*(y - v0[1]) + invJ[0*embedDim+2]*(z - v0[2]); 220ccd2543fSMatthew G Knepley eta = invJ[1*embedDim+0]*(x - v0[0]) + invJ[1*embedDim+1]*(y - v0[1]) + invJ[1*embedDim+2]*(z - v0[2]); 221ccd2543fSMatthew G Knepley zeta = invJ[2*embedDim+0]*(x - v0[0]) + invJ[2*embedDim+1]*(y - v0[1]) + invJ[2*embedDim+2]*(z - v0[2]); 222ccd2543fSMatthew G Knepley 22337900f7dSMatthew G. Knepley if ((xi >= -eps) && (eta >= -eps) && (zeta >= -eps) && (xi + eta + zeta <= 2.0+eps)) *cell = c; 224c1496c66SMatthew G. Knepley else *cell = DMLOCATEPOINT_POINT_NOT_FOUND; 225ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 226ccd2543fSMatthew G Knepley } 227ccd2543fSMatthew G Knepley 228ccd2543fSMatthew G Knepley static PetscErrorCode DMPlexLocatePoint_General_3D_Internal(DM dm, const PetscScalar point[], PetscInt c, PetscInt *cell) 229ccd2543fSMatthew G Knepley { 230ccd2543fSMatthew G Knepley PetscSection coordSection; 231ccd2543fSMatthew G Knepley Vec coordsLocal; 232872a9804SMatthew G. Knepley PetscScalar *coords = NULL; 233fb150da6SMatthew G. Knepley const PetscInt faces[24] = {0, 3, 2, 1, 5, 4, 7, 6, 3, 0, 4, 5, 234fb150da6SMatthew G. Knepley 1, 2, 6, 7, 3, 5, 6, 2, 0, 1, 7, 4}; 235ccd2543fSMatthew G Knepley PetscBool found = PETSC_TRUE; 236ccd2543fSMatthew G Knepley PetscInt f; 237ccd2543fSMatthew G Knepley PetscErrorCode ierr; 238ccd2543fSMatthew G Knepley 239ccd2543fSMatthew G Knepley PetscFunctionBegin; 240ccd2543fSMatthew G Knepley ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 24169d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 242ccd2543fSMatthew G Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordsLocal, c, NULL, &coords);CHKERRQ(ierr); 243ccd2543fSMatthew G Knepley for (f = 0; f < 6; ++f) { 244ccd2543fSMatthew G Knepley /* Check the point is under plane */ 245ccd2543fSMatthew G Knepley /* Get face normal */ 246ccd2543fSMatthew G Knepley PetscReal v_i[3]; 247ccd2543fSMatthew G Knepley PetscReal v_j[3]; 248ccd2543fSMatthew G Knepley PetscReal normal[3]; 249ccd2543fSMatthew G Knepley PetscReal pp[3]; 250ccd2543fSMatthew G Knepley PetscReal dot; 251ccd2543fSMatthew G Knepley 252ccd2543fSMatthew G Knepley v_i[0] = PetscRealPart(coords[faces[f*4+3]*3+0]-coords[faces[f*4+0]*3+0]); 253ccd2543fSMatthew G Knepley v_i[1] = PetscRealPart(coords[faces[f*4+3]*3+1]-coords[faces[f*4+0]*3+1]); 254ccd2543fSMatthew G Knepley v_i[2] = PetscRealPart(coords[faces[f*4+3]*3+2]-coords[faces[f*4+0]*3+2]); 255ccd2543fSMatthew G Knepley v_j[0] = PetscRealPart(coords[faces[f*4+1]*3+0]-coords[faces[f*4+0]*3+0]); 256ccd2543fSMatthew G Knepley v_j[1] = PetscRealPart(coords[faces[f*4+1]*3+1]-coords[faces[f*4+0]*3+1]); 257ccd2543fSMatthew G Knepley v_j[2] = PetscRealPart(coords[faces[f*4+1]*3+2]-coords[faces[f*4+0]*3+2]); 258ccd2543fSMatthew G Knepley normal[0] = v_i[1]*v_j[2] - v_i[2]*v_j[1]; 259ccd2543fSMatthew G Knepley normal[1] = v_i[2]*v_j[0] - v_i[0]*v_j[2]; 260ccd2543fSMatthew G Knepley normal[2] = v_i[0]*v_j[1] - v_i[1]*v_j[0]; 261ccd2543fSMatthew G Knepley pp[0] = PetscRealPart(coords[faces[f*4+0]*3+0] - point[0]); 262ccd2543fSMatthew G Knepley pp[1] = PetscRealPart(coords[faces[f*4+0]*3+1] - point[1]); 263ccd2543fSMatthew G Knepley pp[2] = PetscRealPart(coords[faces[f*4+0]*3+2] - point[2]); 264ccd2543fSMatthew G Knepley dot = normal[0]*pp[0] + normal[1]*pp[1] + normal[2]*pp[2]; 265ccd2543fSMatthew G Knepley 266ccd2543fSMatthew G Knepley /* Check that projected point is in face (2D location problem) */ 267ccd2543fSMatthew G Knepley if (dot < 0.0) { 268ccd2543fSMatthew G Knepley found = PETSC_FALSE; 269ccd2543fSMatthew G Knepley break; 270ccd2543fSMatthew G Knepley } 271ccd2543fSMatthew G Knepley } 272ccd2543fSMatthew G Knepley if (found) *cell = c; 273c1496c66SMatthew G. Knepley else *cell = DMLOCATEPOINT_POINT_NOT_FOUND; 274ccd2543fSMatthew G Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordsLocal, c, NULL, &coords);CHKERRQ(ierr); 275ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 276ccd2543fSMatthew G Knepley } 277ccd2543fSMatthew G Knepley 278c4eade1cSMatthew G. Knepley static PetscErrorCode PetscGridHashInitialize_Internal(PetscGridHash box, PetscInt dim, const PetscScalar point[]) 279c4eade1cSMatthew G. Knepley { 280c4eade1cSMatthew G. Knepley PetscInt d; 281c4eade1cSMatthew G. Knepley 282c4eade1cSMatthew G. Knepley PetscFunctionBegin; 283c4eade1cSMatthew G. Knepley box->dim = dim; 284c4eade1cSMatthew G. Knepley for (d = 0; d < dim; ++d) box->lower[d] = box->upper[d] = PetscRealPart(point[d]); 285c4eade1cSMatthew G. Knepley PetscFunctionReturn(0); 286c4eade1cSMatthew G. Knepley } 287c4eade1cSMatthew G. Knepley 288c4eade1cSMatthew G. Knepley PetscErrorCode PetscGridHashCreate(MPI_Comm comm, PetscInt dim, const PetscScalar point[], PetscGridHash *box) 289c4eade1cSMatthew G. Knepley { 290c4eade1cSMatthew G. Knepley PetscErrorCode ierr; 291c4eade1cSMatthew G. Knepley 292c4eade1cSMatthew G. Knepley PetscFunctionBegin; 293c4eade1cSMatthew G. Knepley ierr = PetscMalloc1(1, box);CHKERRQ(ierr); 294c4eade1cSMatthew G. Knepley ierr = PetscGridHashInitialize_Internal(*box, dim, point);CHKERRQ(ierr); 295c4eade1cSMatthew G. Knepley PetscFunctionReturn(0); 296c4eade1cSMatthew G. Knepley } 297c4eade1cSMatthew G. Knepley 298c4eade1cSMatthew G. Knepley PetscErrorCode PetscGridHashEnlarge(PetscGridHash box, const PetscScalar point[]) 299c4eade1cSMatthew G. Knepley { 300c4eade1cSMatthew G. Knepley PetscInt d; 301c4eade1cSMatthew G. Knepley 302c4eade1cSMatthew G. Knepley PetscFunctionBegin; 303c4eade1cSMatthew G. Knepley for (d = 0; d < box->dim; ++d) { 304c4eade1cSMatthew G. Knepley box->lower[d] = PetscMin(box->lower[d], PetscRealPart(point[d])); 305c4eade1cSMatthew G. Knepley box->upper[d] = PetscMax(box->upper[d], PetscRealPart(point[d])); 306c4eade1cSMatthew G. Knepley } 307c4eade1cSMatthew G. Knepley PetscFunctionReturn(0); 308c4eade1cSMatthew G. Knepley } 309c4eade1cSMatthew G. Knepley 31062a38674SMatthew G. Knepley /* 31162a38674SMatthew G. Knepley PetscGridHashSetGrid - Divide the grid into boxes 31262a38674SMatthew G. Knepley 31362a38674SMatthew G. Knepley Not collective 31462a38674SMatthew G. Knepley 31562a38674SMatthew G. Knepley Input Parameters: 31662a38674SMatthew G. Knepley + box - The grid hash object 31762a38674SMatthew G. Knepley . n - The number of boxes in each dimension, or PETSC_DETERMINE 31862a38674SMatthew G. Knepley - h - The box size in each dimension, only used if n[d] == PETSC_DETERMINE 31962a38674SMatthew G. Knepley 32062a38674SMatthew G. Knepley Level: developer 32162a38674SMatthew G. Knepley 32262a38674SMatthew G. Knepley .seealso: PetscGridHashCreate() 32362a38674SMatthew G. Knepley */ 324c4eade1cSMatthew G. Knepley PetscErrorCode PetscGridHashSetGrid(PetscGridHash box, const PetscInt n[], const PetscReal h[]) 325c4eade1cSMatthew G. Knepley { 326c4eade1cSMatthew G. Knepley PetscInt d; 327c4eade1cSMatthew G. Knepley 328c4eade1cSMatthew G. Knepley PetscFunctionBegin; 329c4eade1cSMatthew G. Knepley for (d = 0; d < box->dim; ++d) { 330c4eade1cSMatthew G. Knepley box->extent[d] = box->upper[d] - box->lower[d]; 331c4eade1cSMatthew G. Knepley if (n[d] == PETSC_DETERMINE) { 332c4eade1cSMatthew G. Knepley box->h[d] = h[d]; 333c4eade1cSMatthew G. Knepley box->n[d] = PetscCeilReal(box->extent[d]/h[d]); 334c4eade1cSMatthew G. Knepley } else { 335c4eade1cSMatthew G. Knepley box->n[d] = n[d]; 336c4eade1cSMatthew G. Knepley box->h[d] = box->extent[d]/n[d]; 337c4eade1cSMatthew G. Knepley } 338c4eade1cSMatthew G. Knepley } 339c4eade1cSMatthew G. Knepley PetscFunctionReturn(0); 340c4eade1cSMatthew G. Knepley } 341c4eade1cSMatthew G. Knepley 34262a38674SMatthew G. Knepley /* 34362a38674SMatthew G. Knepley PetscGridHashGetEnclosingBox - Find the grid boxes containing each input point 34462a38674SMatthew G. Knepley 34562a38674SMatthew G. Knepley Not collective 34662a38674SMatthew G. Knepley 34762a38674SMatthew G. Knepley Input Parameters: 34862a38674SMatthew G. Knepley + box - The grid hash object 34962a38674SMatthew G. Knepley . numPoints - The number of input points 35062a38674SMatthew G. Knepley - points - The input point coordinates 35162a38674SMatthew G. Knepley 35262a38674SMatthew G. Knepley Output Parameters: 35362a38674SMatthew G. Knepley + dboxes - An array of numPoints*dim integers expressing the enclosing box as (i_0, i_1, ..., i_dim) 35462a38674SMatthew G. Knepley - boxes - An array of numPoints integers expressing the enclosing box as single number, or NULL 35562a38674SMatthew G. Knepley 35662a38674SMatthew G. Knepley Level: developer 35762a38674SMatthew G. Knepley 35862a38674SMatthew G. Knepley .seealso: PetscGridHashCreate() 35962a38674SMatthew G. Knepley */ 3601c6dfc3eSMatthew G. Knepley PetscErrorCode PetscGridHashGetEnclosingBox(PetscGridHash box, PetscInt numPoints, const PetscScalar points[], PetscInt dboxes[], PetscInt boxes[]) 361c4eade1cSMatthew G. Knepley { 362c4eade1cSMatthew G. Knepley const PetscReal *lower = box->lower; 363c4eade1cSMatthew G. Knepley const PetscReal *upper = box->upper; 364c4eade1cSMatthew G. Knepley const PetscReal *h = box->h; 365c4eade1cSMatthew G. Knepley const PetscInt *n = box->n; 366c4eade1cSMatthew G. Knepley const PetscInt dim = box->dim; 367c4eade1cSMatthew G. Knepley PetscInt d, p; 368c4eade1cSMatthew G. Knepley 369c4eade1cSMatthew G. Knepley PetscFunctionBegin; 370c4eade1cSMatthew G. Knepley for (p = 0; p < numPoints; ++p) { 371c4eade1cSMatthew G. Knepley for (d = 0; d < dim; ++d) { 3721c6dfc3eSMatthew G. Knepley PetscInt dbox = PetscFloorReal((PetscRealPart(points[p*dim+d]) - lower[d])/h[d]); 373c4eade1cSMatthew G. Knepley 3741c6dfc3eSMatthew G. Knepley if (dbox == n[d] && PetscAbsReal(PetscRealPart(points[p*dim+d]) - upper[d]) < 1.0e-9) dbox = n[d]-1; 3752a705cacSMatthew G. Knepley if (dbox == -1 && PetscAbsReal(PetscRealPart(points[p*dim+d]) - lower[d]) < 1.0e-9) dbox = 0; 376c4eade1cSMatthew G. Knepley if (dbox < 0 || dbox >= n[d]) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Input point %d (%g, %g, %g) is outside of our bounding box", 377087ef6b2SMatthew G. Knepley p, (double) PetscRealPart(points[p*dim+0]), dim > 1 ? (double) PetscRealPart(points[p*dim+1]) : 0.0, dim > 2 ? (double) PetscRealPart(points[p*dim+2]) : 0.0); 378c4eade1cSMatthew G. Knepley dboxes[p*dim+d] = dbox; 379c4eade1cSMatthew G. Knepley } 380c4eade1cSMatthew G. Knepley if (boxes) for (d = 1, boxes[p] = dboxes[p*dim]; d < dim; ++d) boxes[p] += dboxes[p*dim+d]*n[d-1]; 381c4eade1cSMatthew G. Knepley } 382c4eade1cSMatthew G. Knepley PetscFunctionReturn(0); 383c4eade1cSMatthew G. Knepley } 384c4eade1cSMatthew G. Knepley 385af74b616SDave May /* 386af74b616SDave May PetscGridHashGetEnclosingBoxQuery - Find the grid boxes containing each input point 387af74b616SDave May 388af74b616SDave May Not collective 389af74b616SDave May 390af74b616SDave May Input Parameters: 391af74b616SDave May + box - The grid hash object 392af74b616SDave May . numPoints - The number of input points 393af74b616SDave May - points - The input point coordinates 394af74b616SDave May 395af74b616SDave May Output Parameters: 396af74b616SDave May + dboxes - An array of numPoints*dim integers expressing the enclosing box as (i_0, i_1, ..., i_dim) 397af74b616SDave May . boxes - An array of numPoints integers expressing the enclosing box as single number, or NULL 398af74b616SDave May - found - Flag indicating if point was located within a box 399af74b616SDave May 400af74b616SDave May Level: developer 401af74b616SDave May 402af74b616SDave May .seealso: PetscGridHashGetEnclosingBox() 403af74b616SDave May */ 404af74b616SDave May PetscErrorCode PetscGridHashGetEnclosingBoxQuery(PetscGridHash box, PetscInt numPoints, const PetscScalar points[], PetscInt dboxes[], PetscInt boxes[],PetscBool *found) 405af74b616SDave May { 406af74b616SDave May const PetscReal *lower = box->lower; 407af74b616SDave May const PetscReal *upper = box->upper; 408af74b616SDave May const PetscReal *h = box->h; 409af74b616SDave May const PetscInt *n = box->n; 410af74b616SDave May const PetscInt dim = box->dim; 411af74b616SDave May PetscInt d, p; 412af74b616SDave May 413af74b616SDave May PetscFunctionBegin; 414af74b616SDave May *found = PETSC_FALSE; 415af74b616SDave May for (p = 0; p < numPoints; ++p) { 416af74b616SDave May for (d = 0; d < dim; ++d) { 417af74b616SDave May PetscInt dbox = PetscFloorReal((PetscRealPart(points[p*dim+d]) - lower[d])/h[d]); 418af74b616SDave May 419af74b616SDave May if (dbox == n[d] && PetscAbsReal(PetscRealPart(points[p*dim+d]) - upper[d]) < 1.0e-9) dbox = n[d]-1; 420af74b616SDave May if (dbox < 0 || dbox >= n[d]) { 421af74b616SDave May PetscFunctionReturn(0); 422af74b616SDave May } 423af74b616SDave May dboxes[p*dim+d] = dbox; 424af74b616SDave May } 425af74b616SDave May if (boxes) for (d = 1, boxes[p] = dboxes[p*dim]; d < dim; ++d) boxes[p] += dboxes[p*dim+d]*n[d-1]; 426af74b616SDave May } 427af74b616SDave May *found = PETSC_TRUE; 428af74b616SDave May PetscFunctionReturn(0); 429af74b616SDave May } 430af74b616SDave May 431c4eade1cSMatthew G. Knepley PetscErrorCode PetscGridHashDestroy(PetscGridHash *box) 432c4eade1cSMatthew G. Knepley { 433c4eade1cSMatthew G. Knepley PetscErrorCode ierr; 434c4eade1cSMatthew G. Knepley 435c4eade1cSMatthew G. Knepley PetscFunctionBegin; 436c4eade1cSMatthew G. Knepley if (*box) { 437c4eade1cSMatthew G. Knepley ierr = PetscSectionDestroy(&(*box)->cellSection);CHKERRQ(ierr); 438c4eade1cSMatthew G. Knepley ierr = ISDestroy(&(*box)->cells);CHKERRQ(ierr); 439c4eade1cSMatthew G. Knepley ierr = DMLabelDestroy(&(*box)->cellsSparse);CHKERRQ(ierr); 440c4eade1cSMatthew G. Knepley } 441c4eade1cSMatthew G. Knepley ierr = PetscFree(*box);CHKERRQ(ierr); 442c4eade1cSMatthew G. Knepley PetscFunctionReturn(0); 443c4eade1cSMatthew G. Knepley } 444c4eade1cSMatthew G. Knepley 445cafe43deSMatthew G. Knepley PetscErrorCode DMPlexLocatePoint_Internal(DM dm, PetscInt dim, const PetscScalar point[], PetscInt cellStart, PetscInt *cell) 446cafe43deSMatthew G. Knepley { 447ba2698f1SMatthew G. Knepley DMPolytopeType ct; 448cafe43deSMatthew G. Knepley PetscErrorCode ierr; 449cafe43deSMatthew G. Knepley 450cafe43deSMatthew G. Knepley PetscFunctionBegin; 451ba2698f1SMatthew G. Knepley ierr = DMPlexGetCellType(dm, cellStart, &ct);CHKERRQ(ierr); 452ba2698f1SMatthew G. Knepley switch (ct) { 453ba2698f1SMatthew G. Knepley case DM_POLYTOPE_TRIANGLE: 454ba2698f1SMatthew G. Knepley ierr = DMPlexLocatePoint_Simplex_2D_Internal(dm, point, cellStart, cell);CHKERRQ(ierr);break; 455ba2698f1SMatthew G. Knepley case DM_POLYTOPE_QUADRILATERAL: 456ba2698f1SMatthew G. Knepley ierr = DMPlexLocatePoint_Quad_2D_Internal(dm, point, cellStart, cell);CHKERRQ(ierr);break; 457ba2698f1SMatthew G. Knepley case DM_POLYTOPE_TETRAHEDRON: 458ba2698f1SMatthew G. Knepley ierr = DMPlexLocatePoint_Simplex_3D_Internal(dm, point, cellStart, cell);CHKERRQ(ierr);break; 459ba2698f1SMatthew G. Knepley case DM_POLYTOPE_HEXAHEDRON: 460ba2698f1SMatthew G. Knepley ierr = DMPlexLocatePoint_General_3D_Internal(dm, point, cellStart, cell);CHKERRQ(ierr);break; 461ba2698f1SMatthew G. Knepley default: SETERRQ2(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_OUTOFRANGE, "No point location for cell %D with type %s", cellStart, DMPolytopeTypes[ct]); 462cafe43deSMatthew G. Knepley } 463cafe43deSMatthew G. Knepley PetscFunctionReturn(0); 464cafe43deSMatthew G. Knepley } 465cafe43deSMatthew G. Knepley 46662a38674SMatthew G. Knepley /* 46762a38674SMatthew G. Knepley DMPlexClosestPoint_Internal - Returns the closest point in the cell to the given point 46862a38674SMatthew G. Knepley */ 46962a38674SMatthew G. Knepley PetscErrorCode DMPlexClosestPoint_Internal(DM dm, PetscInt dim, const PetscScalar point[], PetscInt cell, PetscReal cpoint[]) 47062a38674SMatthew G. Knepley { 471ba2698f1SMatthew G. Knepley DMPolytopeType ct; 47262a38674SMatthew G. Knepley PetscErrorCode ierr; 47362a38674SMatthew G. Knepley 47462a38674SMatthew G. Knepley PetscFunctionBegin; 475ba2698f1SMatthew G. Knepley ierr = DMPlexGetCellType(dm, cell, &ct);CHKERRQ(ierr); 476ba2698f1SMatthew G. Knepley switch (ct) { 477ba2698f1SMatthew G. Knepley case DM_POLYTOPE_TRIANGLE: 478ba2698f1SMatthew G. Knepley ierr = DMPlexClosestPoint_Simplex_2D_Internal(dm, point, cell, cpoint);CHKERRQ(ierr);break; 47962a38674SMatthew G. Knepley #if 0 480ba2698f1SMatthew G. Knepley case DM_POLYTOPE_QUADRILATERAL: 481ba2698f1SMatthew G. Knepley ierr = DMPlexClosestPoint_General_2D_Internal(dm, point, cell, cpoint);CHKERRQ(ierr);break; 482ba2698f1SMatthew G. Knepley case DM_POLYTOPE_TETRAHEDRON: 483ba2698f1SMatthew G. Knepley ierr = DMPlexClosestPoint_Simplex_3D_Internal(dm, point, cell, cpoint);CHKERRQ(ierr);break; 484ba2698f1SMatthew G. Knepley case DM_POLYTOPE_HEXAHEDRON: 485ba2698f1SMatthew G. Knepley ierr = DMPlexClosestPoint_General_3D_Internal(dm, point, cell, cpoint);CHKERRQ(ierr);break; 48662a38674SMatthew G. Knepley #endif 487ba2698f1SMatthew G. Knepley default: SETERRQ2(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_OUTOFRANGE, "No closest point location for cell %D with type %s", cell, DMPolytopeTypes[ct]); 48862a38674SMatthew G. Knepley } 48962a38674SMatthew G. Knepley PetscFunctionReturn(0); 49062a38674SMatthew G. Knepley } 49162a38674SMatthew G. Knepley 49262a38674SMatthew G. Knepley /* 49362a38674SMatthew G. Knepley DMPlexComputeGridHash_Internal - Create a grid hash structure covering the Plex 49462a38674SMatthew G. Knepley 495d083f849SBarry Smith Collective on dm 49662a38674SMatthew G. Knepley 49762a38674SMatthew G. Knepley Input Parameter: 49862a38674SMatthew G. Knepley . dm - The Plex 49962a38674SMatthew G. Knepley 50062a38674SMatthew G. Knepley Output Parameter: 50162a38674SMatthew G. Knepley . localBox - The grid hash object 50262a38674SMatthew G. Knepley 50362a38674SMatthew G. Knepley Level: developer 50462a38674SMatthew G. Knepley 50562a38674SMatthew G. Knepley .seealso: PetscGridHashCreate(), PetscGridHashGetEnclosingBox() 50662a38674SMatthew G. Knepley */ 507cafe43deSMatthew G. Knepley PetscErrorCode DMPlexComputeGridHash_Internal(DM dm, PetscGridHash *localBox) 508cafe43deSMatthew G. Knepley { 509cafe43deSMatthew G. Knepley MPI_Comm comm; 510cafe43deSMatthew G. Knepley PetscGridHash lbox; 511cafe43deSMatthew G. Knepley Vec coordinates; 512cafe43deSMatthew G. Knepley PetscSection coordSection; 513cafe43deSMatthew G. Knepley Vec coordsLocal; 514cafe43deSMatthew G. Knepley const PetscScalar *coords; 515722d0f5cSMatthew G. Knepley PetscInt *dboxes, *boxes; 516cafe43deSMatthew G. Knepley PetscInt n[3] = {10, 10, 10}; 517412e9a14SMatthew G. Knepley PetscInt dim, N, cStart, cEnd, c, i; 518cafe43deSMatthew G. Knepley PetscErrorCode ierr; 519cafe43deSMatthew G. Knepley 520cafe43deSMatthew G. Knepley PetscFunctionBegin; 521cafe43deSMatthew G. Knepley ierr = PetscObjectGetComm((PetscObject) dm, &comm);CHKERRQ(ierr); 522cafe43deSMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 523cafe43deSMatthew G. Knepley ierr = DMGetCoordinateDim(dm, &dim);CHKERRQ(ierr); 5245b3353d8SMatthew G. Knepley if (dim != 2) SETERRQ(comm, PETSC_ERR_SUP, "I have only coded this for 2D"); 525cafe43deSMatthew G. Knepley ierr = VecGetLocalSize(coordinates, &N);CHKERRQ(ierr); 526cafe43deSMatthew G. Knepley ierr = VecGetArrayRead(coordinates, &coords);CHKERRQ(ierr); 527cafe43deSMatthew G. Knepley ierr = PetscGridHashCreate(comm, dim, coords, &lbox);CHKERRQ(ierr); 528cafe43deSMatthew G. Knepley for (i = 0; i < N; i += dim) {ierr = PetscGridHashEnlarge(lbox, &coords[i]);CHKERRQ(ierr);} 529cafe43deSMatthew G. Knepley ierr = VecRestoreArrayRead(coordinates, &coords);CHKERRQ(ierr); 5309cb35068SDave May ierr = PetscOptionsGetInt(NULL,NULL,"-dm_plex_hash_box_nijk",&n[0],NULL);CHKERRQ(ierr); 5319cb35068SDave May n[1] = n[0]; 5329cb35068SDave May n[2] = n[0]; 533cafe43deSMatthew G. Knepley ierr = PetscGridHashSetGrid(lbox, n, NULL);CHKERRQ(ierr); 534cafe43deSMatthew G. Knepley #if 0 535cafe43deSMatthew G. Knepley /* Could define a custom reduction to merge these */ 536820f2d46SBarry Smith ierr = MPIU_Allreduce(lbox->lower, gbox->lower, 3, MPIU_REAL, MPI_MIN, comm);CHKERRMPI(ierr); 537820f2d46SBarry Smith ierr = MPIU_Allreduce(lbox->upper, gbox->upper, 3, MPIU_REAL, MPI_MAX, comm);CHKERRMPI(ierr); 538cafe43deSMatthew G. Knepley #endif 539cafe43deSMatthew G. Knepley /* Is there a reason to snap the local bounding box to a division of the global box? */ 540cafe43deSMatthew G. Knepley /* Should we compute all overlaps of local boxes? We could do this with a rendevouz scheme partitioning the global box */ 541cafe43deSMatthew G. Knepley /* Create label */ 542412e9a14SMatthew G. Knepley ierr = DMPlexGetSimplexOrBoxCells(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 543d67d17b1SMatthew G. Knepley ierr = DMLabelCreate(PETSC_COMM_SELF, "cells", &lbox->cellsSparse);CHKERRQ(ierr); 544cafe43deSMatthew G. Knepley ierr = DMLabelCreateIndex(lbox->cellsSparse, cStart, cEnd);CHKERRQ(ierr); 545a8d69d7bSBarry Smith /* Compute boxes which overlap each cell: https://stackoverflow.com/questions/13790208/triangle-square-intersection-test-in-2d */ 546cafe43deSMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &coordsLocal);CHKERRQ(ierr); 547cafe43deSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 54838353de4SMatthew G. Knepley ierr = PetscCalloc2(16 * dim, &dboxes, 16, &boxes);CHKERRQ(ierr); 549cafe43deSMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 550cafe43deSMatthew G. Knepley const PetscReal *h = lbox->h; 551cafe43deSMatthew G. Knepley PetscScalar *ccoords = NULL; 55238353de4SMatthew G. Knepley PetscInt csize = 0; 553cafe43deSMatthew G. Knepley PetscScalar point[3]; 554cafe43deSMatthew G. Knepley PetscInt dlim[6], d, e, i, j, k; 555cafe43deSMatthew G. Knepley 556cafe43deSMatthew G. Knepley /* Find boxes enclosing each vertex */ 55738353de4SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordsLocal, c, &csize, &ccoords);CHKERRQ(ierr); 55838353de4SMatthew G. Knepley ierr = PetscGridHashGetEnclosingBox(lbox, csize/dim, ccoords, dboxes, boxes);CHKERRQ(ierr); 559722d0f5cSMatthew G. Knepley /* Mark cells containing the vertices */ 56038353de4SMatthew G. Knepley for (e = 0; e < csize/dim; ++e) {ierr = DMLabelSetValue(lbox->cellsSparse, c, boxes[e]);CHKERRQ(ierr);} 561cafe43deSMatthew G. Knepley /* Get grid of boxes containing these */ 562cafe43deSMatthew G. Knepley for (d = 0; d < dim; ++d) {dlim[d*2+0] = dlim[d*2+1] = dboxes[d];} 5632291669eSMatthew G. Knepley for (d = dim; d < 3; ++d) {dlim[d*2+0] = dlim[d*2+1] = 0;} 564cafe43deSMatthew G. Knepley for (e = 1; e < dim+1; ++e) { 565cafe43deSMatthew G. Knepley for (d = 0; d < dim; ++d) { 566cafe43deSMatthew G. Knepley dlim[d*2+0] = PetscMin(dlim[d*2+0], dboxes[e*dim+d]); 567cafe43deSMatthew G. Knepley dlim[d*2+1] = PetscMax(dlim[d*2+1], dboxes[e*dim+d]); 568cafe43deSMatthew G. Knepley } 569cafe43deSMatthew G. Knepley } 570fea14342SMatthew G. Knepley /* Check for intersection of box with cell */ 571cafe43deSMatthew G. Knepley for (k = dlim[2*2+0], point[2] = lbox->lower[2] + k*h[2]; k <= dlim[2*2+1]; ++k, point[2] += h[2]) { 572cafe43deSMatthew G. Knepley for (j = dlim[1*2+0], point[1] = lbox->lower[1] + j*h[1]; j <= dlim[1*2+1]; ++j, point[1] += h[1]) { 573cafe43deSMatthew G. Knepley for (i = dlim[0*2+0], point[0] = lbox->lower[0] + i*h[0]; i <= dlim[0*2+1]; ++i, point[0] += h[0]) { 574cafe43deSMatthew G. Knepley const PetscInt box = (k*lbox->n[1] + j)*lbox->n[0] + i; 575cafe43deSMatthew G. Knepley PetscScalar cpoint[3]; 576fea14342SMatthew G. Knepley PetscInt cell, edge, ii, jj, kk; 577cafe43deSMatthew G. Knepley 578fea14342SMatthew G. Knepley /* Check whether cell contains any vertex of these subboxes TODO vectorize this */ 579cafe43deSMatthew G. Knepley for (kk = 0, cpoint[2] = point[2]; kk < (dim > 2 ? 2 : 1); ++kk, cpoint[2] += h[2]) { 580cafe43deSMatthew G. Knepley for (jj = 0, cpoint[1] = point[1]; jj < (dim > 1 ? 2 : 1); ++jj, cpoint[1] += h[1]) { 581cafe43deSMatthew G. Knepley for (ii = 0, cpoint[0] = point[0]; ii < 2; ++ii, cpoint[0] += h[0]) { 582cafe43deSMatthew G. Knepley 583cafe43deSMatthew G. Knepley ierr = DMPlexLocatePoint_Internal(dm, dim, cpoint, c, &cell);CHKERRQ(ierr); 584367003a6SStefano Zampini if (cell >= 0) { ierr = DMLabelSetValue(lbox->cellsSparse, c, box);CHKERRQ(ierr); ii = jj = kk = 2;} 585cafe43deSMatthew G. Knepley } 586cafe43deSMatthew G. Knepley } 587cafe43deSMatthew G. Knepley } 588fea14342SMatthew G. Knepley /* Check whether cell edge intersects any edge of these subboxes TODO vectorize this */ 589fea14342SMatthew G. Knepley for (edge = 0; edge < dim+1; ++edge) { 590fea14342SMatthew G. Knepley PetscReal segA[6], segB[6]; 591fea14342SMatthew G. Knepley 592aab5bcd8SJed Brown if (PetscUnlikely(dim > 3)) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Unexpected dim %d > 3",dim); 593fea14342SMatthew G. Knepley for (d = 0; d < dim; ++d) {segA[d] = PetscRealPart(ccoords[edge*dim+d]); segA[dim+d] = PetscRealPart(ccoords[((edge+1)%(dim+1))*dim+d]);} 594fea14342SMatthew G. Knepley for (kk = 0; kk < (dim > 2 ? 2 : 1); ++kk) { 5959a128ed2SMatthew G. Knepley if (dim > 2) {segB[2] = PetscRealPart(point[2]); 5969a128ed2SMatthew G. Knepley segB[dim+2] = PetscRealPart(point[2]) + kk*h[2];} 597fea14342SMatthew G. Knepley for (jj = 0; jj < (dim > 1 ? 2 : 1); ++jj) { 5989a128ed2SMatthew G. Knepley if (dim > 1) {segB[1] = PetscRealPart(point[1]); 5999a128ed2SMatthew G. Knepley segB[dim+1] = PetscRealPart(point[1]) + jj*h[1];} 600fea14342SMatthew G. Knepley for (ii = 0; ii < 2; ++ii) { 601fea14342SMatthew G. Knepley PetscBool intersects; 602fea14342SMatthew G. Knepley 6039a128ed2SMatthew G. Knepley segB[0] = PetscRealPart(point[0]); 6049a128ed2SMatthew G. Knepley segB[dim+0] = PetscRealPart(point[0]) + ii*h[0]; 605fea14342SMatthew G. Knepley ierr = DMPlexGetLineIntersection_2D_Internal(segA, segB, NULL, &intersects);CHKERRQ(ierr); 606367003a6SStefano Zampini if (intersects) { ierr = DMLabelSetValue(lbox->cellsSparse, c, box);CHKERRQ(ierr); edge = ii = jj = kk = dim+1;} 607cafe43deSMatthew G. Knepley } 608cafe43deSMatthew G. Knepley } 609cafe43deSMatthew G. Knepley } 610cafe43deSMatthew G. Knepley } 611fea14342SMatthew G. Knepley } 612fea14342SMatthew G. Knepley } 613fea14342SMatthew G. Knepley } 614fea14342SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordsLocal, c, NULL, &ccoords);CHKERRQ(ierr); 615fea14342SMatthew G. Knepley } 616722d0f5cSMatthew G. Knepley ierr = PetscFree2(dboxes, boxes);CHKERRQ(ierr); 617cafe43deSMatthew G. Knepley ierr = DMLabelConvertToSection(lbox->cellsSparse, &lbox->cellSection, &lbox->cells);CHKERRQ(ierr); 618cafe43deSMatthew G. Knepley ierr = DMLabelDestroy(&lbox->cellsSparse);CHKERRQ(ierr); 619cafe43deSMatthew G. Knepley *localBox = lbox; 620cafe43deSMatthew G. Knepley PetscFunctionReturn(0); 621cafe43deSMatthew G. Knepley } 622cafe43deSMatthew G. Knepley 62362a38674SMatthew G. Knepley PetscErrorCode DMLocatePoints_Plex(DM dm, Vec v, DMPointLocationType ltype, PetscSF cellSF) 624ccd2543fSMatthew G Knepley { 625cafe43deSMatthew G. Knepley DM_Plex *mesh = (DM_Plex *) dm->data; 626af74b616SDave May PetscBool hash = mesh->useHashLocation, reuse = PETSC_FALSE; 6273a93e3b7SToby Isaac PetscInt bs, numPoints, p, numFound, *found = NULL; 628412e9a14SMatthew G. Knepley PetscInt dim, cStart, cEnd, numCells, c, d; 629cafe43deSMatthew G. Knepley const PetscInt *boxCells; 6303a93e3b7SToby Isaac PetscSFNode *cells; 631ccd2543fSMatthew G Knepley PetscScalar *a; 6323a93e3b7SToby Isaac PetscMPIInt result; 633af74b616SDave May PetscLogDouble t0,t1; 6349cb35068SDave May PetscReal gmin[3],gmax[3]; 6359cb35068SDave May PetscInt terminating_query_type[] = { 0, 0, 0 }; 636ccd2543fSMatthew G Knepley PetscErrorCode ierr; 637ccd2543fSMatthew G Knepley 638ccd2543fSMatthew G Knepley PetscFunctionBegin; 639cadf77a0SMark Adams ierr = PetscLogEventBegin(DMPLEX_LocatePoints,0,0,0,0);CHKERRQ(ierr); 640af74b616SDave May ierr = PetscTime(&t0);CHKERRQ(ierr); 641080342d1SMatthew G. Knepley if (ltype == DM_POINTLOCATION_NEAREST && !hash) SETERRQ(PetscObjectComm((PetscObject) dm), PETSC_ERR_SUP, "Nearest point location only supported with grid hashing. Use -dm_plex_hash_location to enable it."); 642cafe43deSMatthew G. Knepley ierr = DMGetCoordinateDim(dm, &dim);CHKERRQ(ierr); 643cafe43deSMatthew G. Knepley ierr = VecGetBlockSize(v, &bs);CHKERRQ(ierr); 644ffc4695bSBarry Smith ierr = MPI_Comm_compare(PetscObjectComm((PetscObject)cellSF),PETSC_COMM_SELF,&result);CHKERRMPI(ierr); 6453a93e3b7SToby Isaac if (result != MPI_IDENT && result != MPI_CONGRUENT) SETERRQ(PetscObjectComm((PetscObject)cellSF),PETSC_ERR_SUP, "Trying parallel point location: only local point location supported"); 646cafe43deSMatthew G. Knepley if (bs != dim) SETERRQ2(PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_WRONG, "Block size for point vector %D must be the mesh coordinate dimension %D", bs, dim); 647412e9a14SMatthew G. Knepley ierr = DMPlexGetSimplexOrBoxCells(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 648ccd2543fSMatthew G Knepley ierr = VecGetLocalSize(v, &numPoints);CHKERRQ(ierr); 649ccd2543fSMatthew G Knepley ierr = VecGetArray(v, &a);CHKERRQ(ierr); 650ccd2543fSMatthew G Knepley numPoints /= bs; 651af74b616SDave May { 652af74b616SDave May const PetscSFNode *sf_cells; 653af74b616SDave May 654af74b616SDave May ierr = PetscSFGetGraph(cellSF,NULL,NULL,NULL,&sf_cells);CHKERRQ(ierr); 655af74b616SDave May if (sf_cells) { 656af74b616SDave May ierr = PetscInfo(dm,"[DMLocatePoints_Plex] Re-using existing StarForest node list\n");CHKERRQ(ierr); 657af74b616SDave May cells = (PetscSFNode*)sf_cells; 658af74b616SDave May reuse = PETSC_TRUE; 659af74b616SDave May } else { 660af74b616SDave May ierr = PetscInfo(dm,"[DMLocatePoints_Plex] Creating and initializing new StarForest node list\n");CHKERRQ(ierr); 661785e854fSJed Brown ierr = PetscMalloc1(numPoints, &cells);CHKERRQ(ierr); 662af74b616SDave May /* initialize cells if created */ 663af74b616SDave May for (p=0; p<numPoints; p++) { 664af74b616SDave May cells[p].rank = 0; 665af74b616SDave May cells[p].index = DMLOCATEPOINT_POINT_NOT_FOUND; 666af74b616SDave May } 667af74b616SDave May } 668af74b616SDave May } 6699cb35068SDave May /* define domain bounding box */ 6709cb35068SDave May { 6719cb35068SDave May Vec coorglobal; 6729cb35068SDave May 6739cb35068SDave May ierr = DMGetCoordinates(dm,&coorglobal);CHKERRQ(ierr); 6749cb35068SDave May ierr = VecStrideMaxAll(coorglobal,NULL,gmax);CHKERRQ(ierr); 6759cb35068SDave May ierr = VecStrideMinAll(coorglobal,NULL,gmin);CHKERRQ(ierr); 6769cb35068SDave May } 677953fc75cSMatthew G. Knepley if (hash) { 678ac6ec2abSMatthew G. Knepley if (!mesh->lbox) {ierr = PetscInfo(dm, "Initializing grid hashing");CHKERRQ(ierr);ierr = DMPlexComputeGridHash_Internal(dm, &mesh->lbox);CHKERRQ(ierr);} 679cafe43deSMatthew G. Knepley /* Designate the local box for each point */ 680cafe43deSMatthew G. Knepley /* Send points to correct process */ 681cafe43deSMatthew G. Knepley /* Search cells that lie in each subbox */ 682cafe43deSMatthew G. Knepley /* Should we bin points before doing search? */ 683cafe43deSMatthew G. Knepley ierr = ISGetIndices(mesh->lbox->cells, &boxCells);CHKERRQ(ierr); 684953fc75cSMatthew G. Knepley } 6853a93e3b7SToby Isaac for (p = 0, numFound = 0; p < numPoints; ++p) { 686ccd2543fSMatthew G Knepley const PetscScalar *point = &a[p*bs]; 687e56f9228SJed Brown PetscInt dbin[3] = {-1,-1,-1}, bin, cell = -1, cellOffset; 6889cb35068SDave May PetscBool point_outside_domain = PETSC_FALSE; 689ccd2543fSMatthew G Knepley 6909cb35068SDave May /* check bounding box of domain */ 6919cb35068SDave May for (d=0; d<dim; d++) { 692a5f152d1SDave May if (PetscRealPart(point[d]) < gmin[d]) { point_outside_domain = PETSC_TRUE; break; } 693a5f152d1SDave May if (PetscRealPart(point[d]) > gmax[d]) { point_outside_domain = PETSC_TRUE; break; } 6949cb35068SDave May } 6959cb35068SDave May if (point_outside_domain) { 696e9b685f5SMatthew G. Knepley cells[p].rank = 0; 697e9b685f5SMatthew G. Knepley cells[p].index = DMLOCATEPOINT_POINT_NOT_FOUND; 6989cb35068SDave May terminating_query_type[0]++; 6999cb35068SDave May continue; 7009cb35068SDave May } 701ccd2543fSMatthew G Knepley 702af74b616SDave May /* check initial values in cells[].index - abort early if found */ 703af74b616SDave May if (cells[p].index != DMLOCATEPOINT_POINT_NOT_FOUND) { 704af74b616SDave May c = cells[p].index; 7053a93e3b7SToby Isaac cells[p].index = DMLOCATEPOINT_POINT_NOT_FOUND; 706af74b616SDave May ierr = DMPlexLocatePoint_Internal(dm, dim, point, c, &cell);CHKERRQ(ierr); 707af74b616SDave May if (cell >= 0) { 708af74b616SDave May cells[p].rank = 0; 709af74b616SDave May cells[p].index = cell; 710af74b616SDave May numFound++; 711af74b616SDave May } 712af74b616SDave May } 7139cb35068SDave May if (cells[p].index != DMLOCATEPOINT_POINT_NOT_FOUND) { 7149cb35068SDave May terminating_query_type[1]++; 7159cb35068SDave May continue; 7169cb35068SDave May } 717af74b616SDave May 718953fc75cSMatthew G. Knepley if (hash) { 719af74b616SDave May PetscBool found_box; 720af74b616SDave May 721af74b616SDave May /* allow for case that point is outside box - abort early */ 722af74b616SDave May ierr = PetscGridHashGetEnclosingBoxQuery(mesh->lbox, 1, point, dbin, &bin,&found_box);CHKERRQ(ierr); 723af74b616SDave May if (found_box) { 724cafe43deSMatthew G. Knepley /* TODO Lay an interface over this so we can switch between Section (dense) and Label (sparse) */ 725cafe43deSMatthew G. Knepley ierr = PetscSectionGetDof(mesh->lbox->cellSection, bin, &numCells);CHKERRQ(ierr); 726cafe43deSMatthew G. Knepley ierr = PetscSectionGetOffset(mesh->lbox->cellSection, bin, &cellOffset);CHKERRQ(ierr); 727cafe43deSMatthew G. Knepley for (c = cellOffset; c < cellOffset + numCells; ++c) { 728cafe43deSMatthew G. Knepley ierr = DMPlexLocatePoint_Internal(dm, dim, point, boxCells[c], &cell);CHKERRQ(ierr); 7293a93e3b7SToby Isaac if (cell >= 0) { 7303a93e3b7SToby Isaac cells[p].rank = 0; 7313a93e3b7SToby Isaac cells[p].index = cell; 7323a93e3b7SToby Isaac numFound++; 7339cb35068SDave May terminating_query_type[2]++; 7343a93e3b7SToby Isaac break; 735ccd2543fSMatthew G Knepley } 7363a93e3b7SToby Isaac } 737af74b616SDave May } 738953fc75cSMatthew G. Knepley } else { 739953fc75cSMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 740953fc75cSMatthew G. Knepley ierr = DMPlexLocatePoint_Internal(dm, dim, point, c, &cell);CHKERRQ(ierr); 7413a93e3b7SToby Isaac if (cell >= 0) { 7423a93e3b7SToby Isaac cells[p].rank = 0; 7433a93e3b7SToby Isaac cells[p].index = cell; 7443a93e3b7SToby Isaac numFound++; 7459cb35068SDave May terminating_query_type[2]++; 7463a93e3b7SToby Isaac break; 747953fc75cSMatthew G. Knepley } 748953fc75cSMatthew G. Knepley } 7493a93e3b7SToby Isaac } 750ccd2543fSMatthew G Knepley } 751953fc75cSMatthew G. Knepley if (hash) {ierr = ISRestoreIndices(mesh->lbox->cells, &boxCells);CHKERRQ(ierr);} 75262a38674SMatthew G. Knepley if (ltype == DM_POINTLOCATION_NEAREST && hash && numFound < numPoints) { 75362a38674SMatthew G. Knepley for (p = 0; p < numPoints; p++) { 75462a38674SMatthew G. Knepley const PetscScalar *point = &a[p*bs]; 75562a38674SMatthew G. Knepley PetscReal cpoint[3], diff[3], dist, distMax = PETSC_MAX_REAL; 756e56f9228SJed Brown PetscInt dbin[3] = {-1,-1,-1}, bin, cellOffset, d; 75762a38674SMatthew G. Knepley 758e9b685f5SMatthew G. Knepley if (cells[p].index < 0) { 75962a38674SMatthew G. Knepley ++numFound; 76062a38674SMatthew G. Knepley ierr = PetscGridHashGetEnclosingBox(mesh->lbox, 1, point, dbin, &bin);CHKERRQ(ierr); 76162a38674SMatthew G. Knepley ierr = PetscSectionGetDof(mesh->lbox->cellSection, bin, &numCells);CHKERRQ(ierr); 76262a38674SMatthew G. Knepley ierr = PetscSectionGetOffset(mesh->lbox->cellSection, bin, &cellOffset);CHKERRQ(ierr); 76362a38674SMatthew G. Knepley for (c = cellOffset; c < cellOffset + numCells; ++c) { 76462a38674SMatthew G. Knepley ierr = DMPlexClosestPoint_Internal(dm, dim, point, boxCells[c], cpoint);CHKERRQ(ierr); 765b716b415SMatthew G. Knepley for (d = 0; d < dim; ++d) diff[d] = cpoint[d] - PetscRealPart(point[d]); 76662a38674SMatthew G. Knepley dist = DMPlex_NormD_Internal(dim, diff); 76762a38674SMatthew G. Knepley if (dist < distMax) { 76862a38674SMatthew G. Knepley for (d = 0; d < dim; ++d) a[p*bs+d] = cpoint[d]; 76962a38674SMatthew G. Knepley cells[p].rank = 0; 77062a38674SMatthew G. Knepley cells[p].index = boxCells[c]; 77162a38674SMatthew G. Knepley distMax = dist; 77262a38674SMatthew G. Knepley break; 77362a38674SMatthew G. Knepley } 77462a38674SMatthew G. Knepley } 77562a38674SMatthew G. Knepley } 77662a38674SMatthew G. Knepley } 77762a38674SMatthew G. Knepley } 77862a38674SMatthew G. Knepley /* This code is only be relevant when interfaced to parallel point location */ 779cafe43deSMatthew G. Knepley /* Check for highest numbered proc that claims a point (do we care?) */ 7802d1fa6caSMatthew G. Knepley if (ltype == DM_POINTLOCATION_REMOVE && numFound < numPoints) { 7813a93e3b7SToby Isaac ierr = PetscMalloc1(numFound,&found);CHKERRQ(ierr); 7823a93e3b7SToby Isaac for (p = 0, numFound = 0; p < numPoints; p++) { 7833a93e3b7SToby Isaac if (cells[p].rank >= 0 && cells[p].index >= 0) { 7843a93e3b7SToby Isaac if (numFound < p) { 7853a93e3b7SToby Isaac cells[numFound] = cells[p]; 7863a93e3b7SToby Isaac } 7873a93e3b7SToby Isaac found[numFound++] = p; 7883a93e3b7SToby Isaac } 7893a93e3b7SToby Isaac } 7903a93e3b7SToby Isaac } 79162a38674SMatthew G. Knepley ierr = VecRestoreArray(v, &a);CHKERRQ(ierr); 792af74b616SDave May if (!reuse) { 7933a93e3b7SToby Isaac ierr = PetscSFSetGraph(cellSF, cEnd - cStart, numFound, found, PETSC_OWN_POINTER, cells, PETSC_OWN_POINTER);CHKERRQ(ierr); 794af74b616SDave May } 795af74b616SDave May ierr = PetscTime(&t1);CHKERRQ(ierr); 7969cb35068SDave May if (hash) { 7972d4ee042Sprj- ierr = PetscInfo3(dm,"[DMLocatePoints_Plex] terminating_query_type : %D [outside domain] : %D [inside initial cell] : %D [hash]\n",terminating_query_type[0],terminating_query_type[1],terminating_query_type[2]);CHKERRQ(ierr); 7989cb35068SDave May } else { 7992d4ee042Sprj- ierr = PetscInfo3(dm,"[DMLocatePoints_Plex] terminating_query_type : %D [outside domain] : %D [inside initial cell] : %D [brute-force]\n",terminating_query_type[0],terminating_query_type[1],terminating_query_type[2]);CHKERRQ(ierr); 8009cb35068SDave May } 801af74b616SDave May ierr = PetscInfo3(dm,"[DMLocatePoints_Plex] npoints %D : time(rank0) %1.2e (sec): points/sec %1.4e\n",numPoints,t1-t0,(double)((double)numPoints/(t1-t0)));CHKERRQ(ierr); 802cadf77a0SMark Adams ierr = PetscLogEventEnd(DMPLEX_LocatePoints,0,0,0,0);CHKERRQ(ierr); 803ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 804ccd2543fSMatthew G Knepley } 805ccd2543fSMatthew G Knepley 806741bfc07SMatthew G. Knepley /*@C 807741bfc07SMatthew G. Knepley DMPlexComputeProjection2Dto1D - Rewrite coordinates to be the 1D projection of the 2D coordinates 808741bfc07SMatthew G. Knepley 809741bfc07SMatthew G. Knepley Not collective 810741bfc07SMatthew G. Knepley 811741bfc07SMatthew G. Knepley Input Parameter: 812741bfc07SMatthew G. Knepley . coords - The coordinates of a segment 813741bfc07SMatthew G. Knepley 814741bfc07SMatthew G. Knepley Output Parameters: 815741bfc07SMatthew G. Knepley + coords - The new y-coordinate, and 0 for x 816741bfc07SMatthew G. Knepley - R - The rotation which accomplishes the projection 817741bfc07SMatthew G. Knepley 818741bfc07SMatthew G. Knepley Level: developer 819741bfc07SMatthew G. Knepley 820741bfc07SMatthew G. Knepley .seealso: DMPlexComputeProjection3Dto1D(), DMPlexComputeProjection3Dto2D() 821741bfc07SMatthew G. Knepley @*/ 822741bfc07SMatthew G. Knepley PetscErrorCode DMPlexComputeProjection2Dto1D(PetscScalar coords[], PetscReal R[]) 82317fe8556SMatthew G. Knepley { 82417fe8556SMatthew G. Knepley const PetscReal x = PetscRealPart(coords[2] - coords[0]); 82517fe8556SMatthew G. Knepley const PetscReal y = PetscRealPart(coords[3] - coords[1]); 8268b49ba18SBarry Smith const PetscReal r = PetscSqrtReal(x*x + y*y), c = x/r, s = y/r; 82717fe8556SMatthew G. Knepley 82817fe8556SMatthew G. Knepley PetscFunctionBegin; 8291c99cf0cSGeoffrey Irving R[0] = c; R[1] = -s; 8301c99cf0cSGeoffrey Irving R[2] = s; R[3] = c; 83117fe8556SMatthew G. Knepley coords[0] = 0.0; 8327f07f362SMatthew G. Knepley coords[1] = r; 83317fe8556SMatthew G. Knepley PetscFunctionReturn(0); 83417fe8556SMatthew G. Knepley } 83517fe8556SMatthew G. Knepley 836741bfc07SMatthew G. Knepley /*@C 837741bfc07SMatthew G. Knepley DMPlexComputeProjection3Dto1D - Rewrite coordinates to be the 1D projection of the 3D coordinates 83828dbe442SToby Isaac 839741bfc07SMatthew G. Knepley Not collective 84028dbe442SToby Isaac 841741bfc07SMatthew G. Knepley Input Parameter: 842741bfc07SMatthew G. Knepley . coords - The coordinates of a segment 843741bfc07SMatthew G. Knepley 844741bfc07SMatthew G. Knepley Output Parameters: 845741bfc07SMatthew G. Knepley + coords - The new y-coordinate, and 0 for x and z 846741bfc07SMatthew G. Knepley - R - The rotation which accomplishes the projection 847741bfc07SMatthew G. Knepley 848741bfc07SMatthew G. Knepley Note: This uses the basis completion described by Frisvad in http://www.imm.dtu.dk/~jerf/papers/abstracts/onb.html, DOI:10.1080/2165347X.2012.689606 849741bfc07SMatthew G. Knepley 850741bfc07SMatthew G. Knepley Level: developer 851741bfc07SMatthew G. Knepley 852741bfc07SMatthew G. Knepley .seealso: DMPlexComputeProjection2Dto1D(), DMPlexComputeProjection3Dto2D() 853741bfc07SMatthew G. Knepley @*/ 854741bfc07SMatthew G. Knepley PetscErrorCode DMPlexComputeProjection3Dto1D(PetscScalar coords[], PetscReal R[]) 85528dbe442SToby Isaac { 85628dbe442SToby Isaac PetscReal x = PetscRealPart(coords[3] - coords[0]); 85728dbe442SToby Isaac PetscReal y = PetscRealPart(coords[4] - coords[1]); 85828dbe442SToby Isaac PetscReal z = PetscRealPart(coords[5] - coords[2]); 85928dbe442SToby Isaac PetscReal r = PetscSqrtReal(x*x + y*y + z*z); 86028dbe442SToby Isaac PetscReal rinv = 1. / r; 86128dbe442SToby Isaac PetscFunctionBegin; 86228dbe442SToby Isaac 86328dbe442SToby Isaac x *= rinv; y *= rinv; z *= rinv; 86428dbe442SToby Isaac if (x > 0.) { 86528dbe442SToby Isaac PetscReal inv1pX = 1./ (1. + x); 86628dbe442SToby Isaac 86728dbe442SToby Isaac R[0] = x; R[1] = -y; R[2] = -z; 86828dbe442SToby Isaac R[3] = y; R[4] = 1. - y*y*inv1pX; R[5] = -y*z*inv1pX; 86928dbe442SToby Isaac R[6] = z; R[7] = -y*z*inv1pX; R[8] = 1. - z*z*inv1pX; 87028dbe442SToby Isaac } 87128dbe442SToby Isaac else { 87228dbe442SToby Isaac PetscReal inv1mX = 1./ (1. - x); 87328dbe442SToby Isaac 87428dbe442SToby Isaac R[0] = x; R[1] = z; R[2] = y; 87528dbe442SToby Isaac R[3] = y; R[4] = -y*z*inv1mX; R[5] = 1. - y*y*inv1mX; 87628dbe442SToby Isaac R[6] = z; R[7] = 1. - z*z*inv1mX; R[8] = -y*z*inv1mX; 87728dbe442SToby Isaac } 87828dbe442SToby Isaac coords[0] = 0.0; 87928dbe442SToby Isaac coords[1] = r; 88028dbe442SToby Isaac PetscFunctionReturn(0); 88128dbe442SToby Isaac } 88228dbe442SToby Isaac 883741bfc07SMatthew G. Knepley /*@ 884c871b86eSJed Brown DMPlexComputeProjection3Dto2D - Rewrite coordinates of 3 or more coplanar 3D points to a common 2D basis for the 885c871b86eSJed Brown plane. The normal is defined by positive orientation of the first 3 points. 886741bfc07SMatthew G. Knepley 887741bfc07SMatthew G. Knepley Not collective 888741bfc07SMatthew G. Knepley 889741bfc07SMatthew G. Knepley Input Parameter: 890c871b86eSJed Brown + coordSize - Length of coordinate array (3x number of points); must be at least 9 (3 points) 891c871b86eSJed Brown - coords - The interlaced coordinates of each coplanar 3D point 892741bfc07SMatthew G. Knepley 893741bfc07SMatthew G. Knepley Output Parameters: 894c871b86eSJed Brown + coords - The first 2*coordSize/3 entries contain interlaced 2D points, with the rest undefined 895c871b86eSJed Brown - R - 3x3 row-major rotation matrix whose columns are the tangent basis [t1, t2, n]. Multiplying by R^T transforms from original frame to tangent frame. 896741bfc07SMatthew G. Knepley 897741bfc07SMatthew G. Knepley Level: developer 898741bfc07SMatthew G. Knepley 899741bfc07SMatthew G. Knepley .seealso: DMPlexComputeProjection2Dto1D(), DMPlexComputeProjection3Dto1D() 900741bfc07SMatthew G. Knepley @*/ 901741bfc07SMatthew G. Knepley PetscErrorCode DMPlexComputeProjection3Dto2D(PetscInt coordSize, PetscScalar coords[], PetscReal R[]) 902ccd2543fSMatthew G Knepley { 903c871b86eSJed Brown PetscReal x1[3], x2[3], n[3], c[3], norm; 904ccd2543fSMatthew G Knepley const PetscInt dim = 3; 905c871b86eSJed Brown PetscInt d, p; 906ccd2543fSMatthew G Knepley 907ccd2543fSMatthew G Knepley PetscFunctionBegin; 908ccd2543fSMatthew G Knepley /* 0) Calculate normal vector */ 909ccd2543fSMatthew G Knepley for (d = 0; d < dim; ++d) { 9101ee9d5ecSMatthew G. Knepley x1[d] = PetscRealPart(coords[1*dim+d] - coords[0*dim+d]); 9111ee9d5ecSMatthew G. Knepley x2[d] = PetscRealPart(coords[2*dim+d] - coords[0*dim+d]); 912ccd2543fSMatthew G Knepley } 913c871b86eSJed Brown // n = x1 \otimes x2 914ccd2543fSMatthew G Knepley n[0] = x1[1]*x2[2] - x1[2]*x2[1]; 915ccd2543fSMatthew G Knepley n[1] = x1[2]*x2[0] - x1[0]*x2[2]; 916ccd2543fSMatthew G Knepley n[2] = x1[0]*x2[1] - x1[1]*x2[0]; 9178b49ba18SBarry Smith norm = PetscSqrtReal(n[0]*n[0] + n[1]*n[1] + n[2]*n[2]); 918c871b86eSJed Brown for (d = 0; d < dim; d++) n[d] /= norm; 919c871b86eSJed Brown norm = PetscSqrtReal(x1[0] * x1[0] + x1[1] * x1[1] + x1[2] * x1[2]); 920c871b86eSJed Brown for (d = 0; d < dim; d++) x1[d] /= norm; 921c871b86eSJed Brown // x2 = n \otimes x1 922c871b86eSJed Brown x2[0] = n[1] * x1[2] - n[2] * x1[1]; 923c871b86eSJed Brown x2[1] = n[2] * x1[0] - n[0] * x1[2]; 924c871b86eSJed Brown x2[2] = n[0] * x1[1] - n[1] * x1[0]; 925c871b86eSJed Brown for (d=0; d<dim; d++) { 926c871b86eSJed Brown R[d * dim + 0] = x1[d]; 927c871b86eSJed Brown R[d * dim + 1] = x2[d]; 928c871b86eSJed Brown R[d * dim + 2] = n[d]; 929c871b86eSJed Brown c[d] = PetscRealPart(coords[0*dim + d]); 93073868372SMatthew G. Knepley } 931c871b86eSJed Brown for (p=0; p<coordSize/dim; p++) { 932c871b86eSJed Brown PetscReal y[3]; 933c871b86eSJed Brown for (d=0; d<dim; d++) y[d] = PetscRealPart(coords[p*dim + d]) - c[d]; 934c871b86eSJed Brown for (d=0; d<2; d++) coords[p*2+d] = R[0*dim + d] * y[0] + R[1*dim + d] * y[1] + R[2*dim + d] * y[2]; 9357f07f362SMatthew G. Knepley } 936ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 937ccd2543fSMatthew G Knepley } 938ccd2543fSMatthew G Knepley 9396322fe33SJed Brown PETSC_UNUSED 940834e62ceSMatthew G. Knepley PETSC_STATIC_INLINE void Volume_Triangle_Internal(PetscReal *vol, PetscReal coords[]) 941834e62ceSMatthew G. Knepley { 942834e62ceSMatthew G. Knepley /* Signed volume is 1/2 the determinant 943834e62ceSMatthew G. Knepley 944834e62ceSMatthew G. Knepley | 1 1 1 | 945834e62ceSMatthew G. Knepley | x0 x1 x2 | 946834e62ceSMatthew G. Knepley | y0 y1 y2 | 947834e62ceSMatthew G. Knepley 948834e62ceSMatthew G. Knepley but if x0,y0 is the origin, we have 949834e62ceSMatthew G. Knepley 950834e62ceSMatthew G. Knepley | x1 x2 | 951834e62ceSMatthew G. Knepley | y1 y2 | 952834e62ceSMatthew G. Knepley */ 953834e62ceSMatthew G. Knepley const PetscReal x1 = coords[2] - coords[0], y1 = coords[3] - coords[1]; 954834e62ceSMatthew G. Knepley const PetscReal x2 = coords[4] - coords[0], y2 = coords[5] - coords[1]; 955834e62ceSMatthew G. Knepley PetscReal M[4], detM; 956834e62ceSMatthew G. Knepley M[0] = x1; M[1] = x2; 95786623015SMatthew G. Knepley M[2] = y1; M[3] = y2; 958923591dfSMatthew G. Knepley DMPlex_Det2D_Internal(&detM, M); 959834e62ceSMatthew G. Knepley *vol = 0.5*detM; 9603bc0b13bSBarry Smith (void)PetscLogFlops(5.0); 961834e62ceSMatthew G. Knepley } 962834e62ceSMatthew G. Knepley 963834e62ceSMatthew G. Knepley PETSC_STATIC_INLINE void Volume_Triangle_Origin_Internal(PetscReal *vol, PetscReal coords[]) 964834e62ceSMatthew G. Knepley { 965923591dfSMatthew G. Knepley DMPlex_Det2D_Internal(vol, coords); 966834e62ceSMatthew G. Knepley *vol *= 0.5; 967834e62ceSMatthew G. Knepley } 968834e62ceSMatthew G. Knepley 9696322fe33SJed Brown PETSC_UNUSED 970834e62ceSMatthew G. Knepley PETSC_STATIC_INLINE void Volume_Tetrahedron_Internal(PetscReal *vol, PetscReal coords[]) 971834e62ceSMatthew G. Knepley { 972834e62ceSMatthew G. Knepley /* Signed volume is 1/6th of the determinant 973834e62ceSMatthew G. Knepley 974834e62ceSMatthew G. Knepley | 1 1 1 1 | 975834e62ceSMatthew G. Knepley | x0 x1 x2 x3 | 976834e62ceSMatthew G. Knepley | y0 y1 y2 y3 | 977834e62ceSMatthew G. Knepley | z0 z1 z2 z3 | 978834e62ceSMatthew G. Knepley 979834e62ceSMatthew G. Knepley but if x0,y0,z0 is the origin, we have 980834e62ceSMatthew G. Knepley 981834e62ceSMatthew G. Knepley | x1 x2 x3 | 982834e62ceSMatthew G. Knepley | y1 y2 y3 | 983834e62ceSMatthew G. Knepley | z1 z2 z3 | 984834e62ceSMatthew G. Knepley */ 985834e62ceSMatthew G. Knepley const PetscReal x1 = coords[3] - coords[0], y1 = coords[4] - coords[1], z1 = coords[5] - coords[2]; 986834e62ceSMatthew G. Knepley const PetscReal x2 = coords[6] - coords[0], y2 = coords[7] - coords[1], z2 = coords[8] - coords[2]; 987834e62ceSMatthew G. Knepley const PetscReal x3 = coords[9] - coords[0], y3 = coords[10] - coords[1], z3 = coords[11] - coords[2]; 9880a3da2c2SToby Isaac const PetscReal onesixth = ((PetscReal)1./(PetscReal)6.); 989834e62ceSMatthew G. Knepley PetscReal M[9], detM; 990834e62ceSMatthew G. Knepley M[0] = x1; M[1] = x2; M[2] = x3; 991834e62ceSMatthew G. Knepley M[3] = y1; M[4] = y2; M[5] = y3; 992834e62ceSMatthew G. Knepley M[6] = z1; M[7] = z2; M[8] = z3; 993923591dfSMatthew G. Knepley DMPlex_Det3D_Internal(&detM, M); 9940a3da2c2SToby Isaac *vol = -onesixth*detM; 9953bc0b13bSBarry Smith (void)PetscLogFlops(10.0); 996834e62ceSMatthew G. Knepley } 997834e62ceSMatthew G. Knepley 9980ec8681fSMatthew G. Knepley PETSC_STATIC_INLINE void Volume_Tetrahedron_Origin_Internal(PetscReal *vol, PetscReal coords[]) 9990ec8681fSMatthew G. Knepley { 10000a3da2c2SToby Isaac const PetscReal onesixth = ((PetscReal)1./(PetscReal)6.); 1001923591dfSMatthew G. Knepley DMPlex_Det3D_Internal(vol, coords); 10020a3da2c2SToby Isaac *vol *= -onesixth; 10030ec8681fSMatthew G. Knepley } 10040ec8681fSMatthew G. Knepley 1005cb92db44SToby Isaac static PetscErrorCode DMPlexComputePointGeometry_Internal(DM dm, PetscInt e, PetscReal v0[], PetscReal J[], PetscReal invJ[], PetscReal *detJ) 1006cb92db44SToby Isaac { 1007cb92db44SToby Isaac PetscSection coordSection; 1008cb92db44SToby Isaac Vec coordinates; 1009cb92db44SToby Isaac const PetscScalar *coords; 1010cb92db44SToby Isaac PetscInt dim, d, off; 1011cb92db44SToby Isaac PetscErrorCode ierr; 1012cb92db44SToby Isaac 1013cb92db44SToby Isaac PetscFunctionBegin; 1014cb92db44SToby Isaac ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 1015cb92db44SToby Isaac ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 1016cb92db44SToby Isaac ierr = PetscSectionGetDof(coordSection,e,&dim);CHKERRQ(ierr); 1017cb92db44SToby Isaac if (!dim) PetscFunctionReturn(0); 1018cb92db44SToby Isaac ierr = PetscSectionGetOffset(coordSection,e,&off);CHKERRQ(ierr); 1019cb92db44SToby Isaac ierr = VecGetArrayRead(coordinates,&coords);CHKERRQ(ierr); 1020cb92db44SToby Isaac if (v0) {for (d = 0; d < dim; d++) v0[d] = PetscRealPart(coords[off + d]);} 1021cb92db44SToby Isaac ierr = VecRestoreArrayRead(coordinates,&coords);CHKERRQ(ierr); 1022cb92db44SToby Isaac *detJ = 1.; 1023cb92db44SToby Isaac if (J) { 1024cb92db44SToby Isaac for (d = 0; d < dim * dim; d++) J[d] = 0.; 1025cb92db44SToby Isaac for (d = 0; d < dim; d++) J[d * dim + d] = 1.; 1026cb92db44SToby Isaac if (invJ) { 1027cb92db44SToby Isaac for (d = 0; d < dim * dim; d++) invJ[d] = 0.; 1028cb92db44SToby Isaac for (d = 0; d < dim; d++) invJ[d * dim + d] = 1.; 1029cb92db44SToby Isaac } 1030cb92db44SToby Isaac } 1031cb92db44SToby Isaac PetscFunctionReturn(0); 1032cb92db44SToby Isaac } 1033cb92db44SToby Isaac 103417fe8556SMatthew G. Knepley static PetscErrorCode DMPlexComputeLineGeometry_Internal(DM dm, PetscInt e, PetscReal v0[], PetscReal J[], PetscReal invJ[], PetscReal *detJ) 103517fe8556SMatthew G. Knepley { 103617fe8556SMatthew G. Knepley PetscSection coordSection; 103717fe8556SMatthew G. Knepley Vec coordinates; 1038a1e44745SMatthew G. Knepley PetscScalar *coords = NULL; 10398bf5c034SToby Isaac PetscInt numCoords, d, pStart, pEnd, numSelfCoords = 0; 104017fe8556SMatthew G. Knepley PetscErrorCode ierr; 104117fe8556SMatthew G. Knepley 104217fe8556SMatthew G. Knepley PetscFunctionBegin; 104317fe8556SMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 104469d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 10458bf5c034SToby Isaac ierr = PetscSectionGetChart(coordSection,&pStart,&pEnd);CHKERRQ(ierr); 10468bf5c034SToby Isaac if (e >= pStart && e < pEnd) {ierr = PetscSectionGetDof(coordSection,e,&numSelfCoords);CHKERRQ(ierr);} 104717fe8556SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordinates, e, &numCoords, &coords);CHKERRQ(ierr); 10488bf5c034SToby Isaac numCoords = numSelfCoords ? numSelfCoords : numCoords; 1049adac9986SMatthew G. Knepley if (invJ && !J) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "In order to compute invJ, J must not be NULL"); 10507f07f362SMatthew G. Knepley *detJ = 0.0; 105128dbe442SToby Isaac if (numCoords == 6) { 105228dbe442SToby Isaac const PetscInt dim = 3; 105328dbe442SToby Isaac PetscReal R[9], J0; 105428dbe442SToby Isaac 105528dbe442SToby Isaac if (v0) {for (d = 0; d < dim; d++) v0[d] = PetscRealPart(coords[d]);} 1056741bfc07SMatthew G. Knepley ierr = DMPlexComputeProjection3Dto1D(coords, R);CHKERRQ(ierr); 105728dbe442SToby Isaac if (J) { 105828dbe442SToby Isaac J0 = 0.5*PetscRealPart(coords[1]); 105928dbe442SToby Isaac J[0] = R[0]*J0; J[1] = R[1]; J[2] = R[2]; 106028dbe442SToby Isaac J[3] = R[3]*J0; J[4] = R[4]; J[5] = R[5]; 106128dbe442SToby Isaac J[6] = R[6]*J0; J[7] = R[7]; J[8] = R[8]; 106228dbe442SToby Isaac DMPlex_Det3D_Internal(detJ, J); 106328dbe442SToby Isaac if (invJ) {DMPlex_Invert2D_Internal(invJ, J, *detJ);} 1064adac9986SMatthew G. Knepley } 106528dbe442SToby Isaac } else if (numCoords == 4) { 10667f07f362SMatthew G. Knepley const PetscInt dim = 2; 10677f07f362SMatthew G. Knepley PetscReal R[4], J0; 10687f07f362SMatthew G. Knepley 10697f07f362SMatthew G. Knepley if (v0) {for (d = 0; d < dim; d++) v0[d] = PetscRealPart(coords[d]);} 1070741bfc07SMatthew G. Knepley ierr = DMPlexComputeProjection2Dto1D(coords, R);CHKERRQ(ierr); 107117fe8556SMatthew G. Knepley if (J) { 10727f07f362SMatthew G. Knepley J0 = 0.5*PetscRealPart(coords[1]); 10737f07f362SMatthew G. Knepley J[0] = R[0]*J0; J[1] = R[1]; 10747f07f362SMatthew G. Knepley J[2] = R[2]*J0; J[3] = R[3]; 1075923591dfSMatthew G. Knepley DMPlex_Det2D_Internal(detJ, J); 1076923591dfSMatthew G. Knepley if (invJ) {DMPlex_Invert2D_Internal(invJ, J, *detJ);} 1077adac9986SMatthew G. Knepley } 10787f07f362SMatthew G. Knepley } else if (numCoords == 2) { 10797f07f362SMatthew G. Knepley const PetscInt dim = 1; 10807f07f362SMatthew G. Knepley 10817f07f362SMatthew G. Knepley if (v0) {for (d = 0; d < dim; d++) v0[d] = PetscRealPart(coords[d]);} 10827f07f362SMatthew G. Knepley if (J) { 10837f07f362SMatthew G. Knepley J[0] = 0.5*(PetscRealPart(coords[1]) - PetscRealPart(coords[0])); 108417fe8556SMatthew G. Knepley *detJ = J[0]; 10853bc0b13bSBarry Smith ierr = PetscLogFlops(2.0);CHKERRQ(ierr); 10863bc0b13bSBarry Smith if (invJ) {invJ[0] = 1.0/J[0]; ierr = PetscLogFlops(1.0);CHKERRQ(ierr);} 1087adac9986SMatthew G. Knepley } 1088796f034aSJed Brown } else SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "The number of coordinates for this segment is %D != 2", numCoords); 108917fe8556SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordinates, e, &numCoords, &coords);CHKERRQ(ierr); 109017fe8556SMatthew G. Knepley PetscFunctionReturn(0); 109117fe8556SMatthew G. Knepley } 109217fe8556SMatthew G. Knepley 1093ccd2543fSMatthew G Knepley static PetscErrorCode DMPlexComputeTriangleGeometry_Internal(DM dm, PetscInt e, PetscReal v0[], PetscReal J[], PetscReal invJ[], PetscReal *detJ) 1094ccd2543fSMatthew G Knepley { 1095ccd2543fSMatthew G Knepley PetscSection coordSection; 1096ccd2543fSMatthew G Knepley Vec coordinates; 1097a1e44745SMatthew G. Knepley PetscScalar *coords = NULL; 109803d7ed2eSStefano Zampini PetscInt numCoords, numSelfCoords = 0, d, f, g, pStart, pEnd; 1099ccd2543fSMatthew G Knepley PetscErrorCode ierr; 1100ccd2543fSMatthew G Knepley 1101ccd2543fSMatthew G Knepley PetscFunctionBegin; 1102ccd2543fSMatthew G Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 110369d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 110403d7ed2eSStefano Zampini ierr = PetscSectionGetChart(coordSection,&pStart,&pEnd);CHKERRQ(ierr); 110503d7ed2eSStefano Zampini if (e >= pStart && e < pEnd) {ierr = PetscSectionGetDof(coordSection,e,&numSelfCoords);CHKERRQ(ierr);} 1106ccd2543fSMatthew G Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordinates, e, &numCoords, &coords);CHKERRQ(ierr); 110703d7ed2eSStefano Zampini numCoords = numSelfCoords ? numSelfCoords : numCoords; 11087f07f362SMatthew G. Knepley *detJ = 0.0; 1109ccd2543fSMatthew G Knepley if (numCoords == 9) { 11107f07f362SMatthew G. Knepley const PetscInt dim = 3; 11117f07f362SMatthew G. Knepley PetscReal R[9], J0[9] = {1.0,0.0,0.0,0.0,1.0,0.0,0.0,0.0,1.0}; 11127f07f362SMatthew G. Knepley 11137f07f362SMatthew G. Knepley if (v0) {for (d = 0; d < dim; d++) v0[d] = PetscRealPart(coords[d]);} 1114741bfc07SMatthew G. Knepley ierr = DMPlexComputeProjection3Dto2D(numCoords, coords, R);CHKERRQ(ierr); 11157f07f362SMatthew G. Knepley if (J) { 1116b7ad821dSMatthew G. Knepley const PetscInt pdim = 2; 1117b7ad821dSMatthew G. Knepley 1118b7ad821dSMatthew G. Knepley for (d = 0; d < pdim; d++) { 1119b7ad821dSMatthew G. Knepley for (f = 0; f < pdim; f++) { 1120b7ad821dSMatthew G. Knepley J0[d*dim+f] = 0.5*(PetscRealPart(coords[(f+1)*pdim+d]) - PetscRealPart(coords[0*pdim+d])); 1121ccd2543fSMatthew G Knepley } 11227f07f362SMatthew G. Knepley } 11233bc0b13bSBarry Smith ierr = PetscLogFlops(8.0);CHKERRQ(ierr); 1124923591dfSMatthew G. Knepley DMPlex_Det3D_Internal(detJ, J0); 11257f07f362SMatthew G. Knepley for (d = 0; d < dim; d++) { 11267f07f362SMatthew G. Knepley for (f = 0; f < dim; f++) { 11277f07f362SMatthew G. Knepley J[d*dim+f] = 0.0; 11287f07f362SMatthew G. Knepley for (g = 0; g < dim; g++) { 11297f07f362SMatthew G. Knepley J[d*dim+f] += R[d*dim+g]*J0[g*dim+f]; 11307f07f362SMatthew G. Knepley } 11317f07f362SMatthew G. Knepley } 11327f07f362SMatthew G. Knepley } 11333bc0b13bSBarry Smith ierr = PetscLogFlops(18.0);CHKERRQ(ierr); 11347f07f362SMatthew G. Knepley } 1135923591dfSMatthew G. Knepley if (invJ) {DMPlex_Invert3D_Internal(invJ, J, *detJ);} 11367f07f362SMatthew G. Knepley } else if (numCoords == 6) { 11377f07f362SMatthew G. Knepley const PetscInt dim = 2; 11387f07f362SMatthew G. Knepley 11397f07f362SMatthew G. Knepley if (v0) {for (d = 0; d < dim; d++) v0[d] = PetscRealPart(coords[d]);} 1140ccd2543fSMatthew G Knepley if (J) { 1141ccd2543fSMatthew G Knepley for (d = 0; d < dim; d++) { 1142ccd2543fSMatthew G Knepley for (f = 0; f < dim; f++) { 1143ccd2543fSMatthew G Knepley J[d*dim+f] = 0.5*(PetscRealPart(coords[(f+1)*dim+d]) - PetscRealPart(coords[0*dim+d])); 1144ccd2543fSMatthew G Knepley } 1145ccd2543fSMatthew G Knepley } 11463bc0b13bSBarry Smith ierr = PetscLogFlops(8.0);CHKERRQ(ierr); 1147923591dfSMatthew G. Knepley DMPlex_Det2D_Internal(detJ, J); 1148ccd2543fSMatthew G Knepley } 1149923591dfSMatthew G. Knepley if (invJ) {DMPlex_Invert2D_Internal(invJ, J, *detJ);} 1150796f034aSJed Brown } else SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "The number of coordinates for this triangle is %D != 6 or 9", numCoords); 1151ccd2543fSMatthew G Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordinates, e, &numCoords, &coords);CHKERRQ(ierr); 1152ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 1153ccd2543fSMatthew G Knepley } 1154ccd2543fSMatthew G Knepley 1155412e9a14SMatthew G. Knepley static PetscErrorCode DMPlexComputeRectangleGeometry_Internal(DM dm, PetscInt e, PetscBool isTensor, PetscInt Nq, const PetscReal points[], PetscReal v[], PetscReal J[], PetscReal invJ[], PetscReal *detJ) 1156ccd2543fSMatthew G Knepley { 1157ccd2543fSMatthew G Knepley PetscSection coordSection; 1158ccd2543fSMatthew G Knepley Vec coordinates; 1159a1e44745SMatthew G. Knepley PetscScalar *coords = NULL; 11600d29256aSToby Isaac PetscInt numCoords, numSelfCoords = 0, d, f, g, pStart, pEnd; 1161ccd2543fSMatthew G Knepley PetscErrorCode ierr; 1162ccd2543fSMatthew G Knepley 1163ccd2543fSMatthew G Knepley PetscFunctionBegin; 1164ccd2543fSMatthew G Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 116569d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 11660d29256aSToby Isaac ierr = PetscSectionGetChart(coordSection,&pStart,&pEnd);CHKERRQ(ierr); 11670d29256aSToby Isaac if (e >= pStart && e < pEnd) {ierr = PetscSectionGetDof(coordSection,e,&numSelfCoords);CHKERRQ(ierr);} 116899dec3a6SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordinates, e, &numCoords, &coords);CHKERRQ(ierr); 116971f58de1SToby Isaac numCoords = numSelfCoords ? numSelfCoords : numCoords; 1170dfccc68fSToby Isaac if (!Nq) { 1171412e9a14SMatthew G. Knepley PetscInt vorder[4] = {0, 1, 2, 3}; 1172412e9a14SMatthew G. Knepley 1173412e9a14SMatthew G. Knepley if (isTensor) {vorder[2] = 3; vorder[3] = 2;} 11747f07f362SMatthew G. Knepley *detJ = 0.0; 117599dec3a6SMatthew G. Knepley if (numCoords == 12) { 117699dec3a6SMatthew G. Knepley const PetscInt dim = 3; 117799dec3a6SMatthew G. Knepley PetscReal R[9], J0[9] = {1.0,0.0,0.0,0.0,1.0,0.0,0.0,0.0,1.0}; 117899dec3a6SMatthew G. Knepley 1179dfccc68fSToby Isaac if (v) {for (d = 0; d < dim; d++) v[d] = PetscRealPart(coords[d]);} 1180741bfc07SMatthew G. Knepley ierr = DMPlexComputeProjection3Dto2D(numCoords, coords, R);CHKERRQ(ierr); 118199dec3a6SMatthew G. Knepley if (J) { 118299dec3a6SMatthew G. Knepley const PetscInt pdim = 2; 118399dec3a6SMatthew G. Knepley 118499dec3a6SMatthew G. Knepley for (d = 0; d < pdim; d++) { 1185412e9a14SMatthew G. Knepley J0[d*dim+0] = 0.5*(PetscRealPart(coords[vorder[1]*pdim+d]) - PetscRealPart(coords[vorder[0]*pdim+d])); 1186412e9a14SMatthew G. Knepley J0[d*dim+1] = 0.5*(PetscRealPart(coords[vorder[2]*pdim+d]) - PetscRealPart(coords[vorder[1]*pdim+d])); 118799dec3a6SMatthew G. Knepley } 11883bc0b13bSBarry Smith ierr = PetscLogFlops(8.0);CHKERRQ(ierr); 1189923591dfSMatthew G. Knepley DMPlex_Det3D_Internal(detJ, J0); 119099dec3a6SMatthew G. Knepley for (d = 0; d < dim; d++) { 119199dec3a6SMatthew G. Knepley for (f = 0; f < dim; f++) { 119299dec3a6SMatthew G. Knepley J[d*dim+f] = 0.0; 119399dec3a6SMatthew G. Knepley for (g = 0; g < dim; g++) { 119499dec3a6SMatthew G. Knepley J[d*dim+f] += R[d*dim+g]*J0[g*dim+f]; 119599dec3a6SMatthew G. Knepley } 119699dec3a6SMatthew G. Knepley } 119799dec3a6SMatthew G. Knepley } 11983bc0b13bSBarry Smith ierr = PetscLogFlops(18.0);CHKERRQ(ierr); 119999dec3a6SMatthew G. Knepley } 1200923591dfSMatthew G. Knepley if (invJ) {DMPlex_Invert3D_Internal(invJ, J, *detJ);} 120171f58de1SToby Isaac } else if (numCoords == 8) { 120299dec3a6SMatthew G. Knepley const PetscInt dim = 2; 120399dec3a6SMatthew G. Knepley 1204dfccc68fSToby Isaac if (v) {for (d = 0; d < dim; d++) v[d] = PetscRealPart(coords[d]);} 1205ccd2543fSMatthew G Knepley if (J) { 1206ccd2543fSMatthew G Knepley for (d = 0; d < dim; d++) { 1207412e9a14SMatthew G. Knepley J[d*dim+0] = 0.5*(PetscRealPart(coords[vorder[1]*dim+d]) - PetscRealPart(coords[vorder[0]*dim+d])); 1208412e9a14SMatthew G. Knepley J[d*dim+1] = 0.5*(PetscRealPart(coords[vorder[3]*dim+d]) - PetscRealPart(coords[vorder[0]*dim+d])); 1209ccd2543fSMatthew G Knepley } 12103bc0b13bSBarry Smith ierr = PetscLogFlops(8.0);CHKERRQ(ierr); 1211923591dfSMatthew G. Knepley DMPlex_Det2D_Internal(detJ, J); 1212ccd2543fSMatthew G Knepley } 1213923591dfSMatthew G. Knepley if (invJ) {DMPlex_Invert2D_Internal(invJ, J, *detJ);} 1214796f034aSJed Brown } else SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "The number of coordinates for this quadrilateral is %D != 8 or 12", numCoords); 1215dfccc68fSToby Isaac } else { 1216dfccc68fSToby Isaac const PetscInt Nv = 4; 1217dfccc68fSToby Isaac const PetscInt dimR = 2; 1218412e9a14SMatthew G. Knepley PetscInt zToPlex[4] = {0, 1, 3, 2}; 1219dfccc68fSToby Isaac PetscReal zOrder[12]; 1220dfccc68fSToby Isaac PetscReal zCoeff[12]; 1221dfccc68fSToby Isaac PetscInt i, j, k, l, dim; 1222dfccc68fSToby Isaac 1223412e9a14SMatthew G. Knepley if (isTensor) {zToPlex[2] = 2; zToPlex[3] = 3;} 1224dfccc68fSToby Isaac if (numCoords == 12) { 1225dfccc68fSToby Isaac dim = 3; 1226dfccc68fSToby Isaac } else if (numCoords == 8) { 1227dfccc68fSToby Isaac dim = 2; 1228dfccc68fSToby Isaac } else SETERRQ1(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "The number of coordinates for this quadrilateral is %D != 8 or 12", numCoords); 1229dfccc68fSToby Isaac for (i = 0; i < Nv; i++) { 1230dfccc68fSToby Isaac PetscInt zi = zToPlex[i]; 1231dfccc68fSToby Isaac 1232dfccc68fSToby Isaac for (j = 0; j < dim; j++) { 1233dfccc68fSToby Isaac zOrder[dim * i + j] = PetscRealPart(coords[dim * zi + j]); 1234dfccc68fSToby Isaac } 1235dfccc68fSToby Isaac } 1236dfccc68fSToby Isaac for (j = 0; j < dim; j++) { 1237dfccc68fSToby Isaac zCoeff[dim * 0 + j] = 0.25 * ( zOrder[dim * 0 + j] + zOrder[dim * 1 + j] + zOrder[dim * 2 + j] + zOrder[dim * 3 + j]); 1238dfccc68fSToby Isaac zCoeff[dim * 1 + j] = 0.25 * (- zOrder[dim * 0 + j] + zOrder[dim * 1 + j] - zOrder[dim * 2 + j] + zOrder[dim * 3 + j]); 1239dfccc68fSToby Isaac zCoeff[dim * 2 + j] = 0.25 * (- zOrder[dim * 0 + j] - zOrder[dim * 1 + j] + zOrder[dim * 2 + j] + zOrder[dim * 3 + j]); 1240dfccc68fSToby Isaac zCoeff[dim * 3 + j] = 0.25 * ( zOrder[dim * 0 + j] - zOrder[dim * 1 + j] - zOrder[dim * 2 + j] + zOrder[dim * 3 + j]); 1241dfccc68fSToby Isaac } 1242dfccc68fSToby Isaac for (i = 0; i < Nq; i++) { 1243dfccc68fSToby Isaac PetscReal xi = points[dimR * i], eta = points[dimR * i + 1]; 1244dfccc68fSToby Isaac 1245dfccc68fSToby Isaac if (v) { 1246dfccc68fSToby Isaac PetscReal extPoint[4]; 1247dfccc68fSToby Isaac 1248dfccc68fSToby Isaac extPoint[0] = 1.; 1249dfccc68fSToby Isaac extPoint[1] = xi; 1250dfccc68fSToby Isaac extPoint[2] = eta; 1251dfccc68fSToby Isaac extPoint[3] = xi * eta; 1252dfccc68fSToby Isaac for (j = 0; j < dim; j++) { 1253dfccc68fSToby Isaac PetscReal val = 0.; 1254dfccc68fSToby Isaac 1255dfccc68fSToby Isaac for (k = 0; k < Nv; k++) { 1256dfccc68fSToby Isaac val += extPoint[k] * zCoeff[dim * k + j]; 1257dfccc68fSToby Isaac } 1258dfccc68fSToby Isaac v[i * dim + j] = val; 1259dfccc68fSToby Isaac } 1260dfccc68fSToby Isaac } 1261dfccc68fSToby Isaac if (J) { 1262dfccc68fSToby Isaac PetscReal extJ[8]; 1263dfccc68fSToby Isaac 1264dfccc68fSToby Isaac extJ[0] = 0.; 1265dfccc68fSToby Isaac extJ[1] = 0.; 1266dfccc68fSToby Isaac extJ[2] = 1.; 1267dfccc68fSToby Isaac extJ[3] = 0.; 1268dfccc68fSToby Isaac extJ[4] = 0.; 1269dfccc68fSToby Isaac extJ[5] = 1.; 1270dfccc68fSToby Isaac extJ[6] = eta; 1271dfccc68fSToby Isaac extJ[7] = xi; 1272dfccc68fSToby Isaac for (j = 0; j < dim; j++) { 1273dfccc68fSToby Isaac for (k = 0; k < dimR; k++) { 1274dfccc68fSToby Isaac PetscReal val = 0.; 1275dfccc68fSToby Isaac 1276dfccc68fSToby Isaac for (l = 0; l < Nv; l++) { 1277dfccc68fSToby Isaac val += zCoeff[dim * l + j] * extJ[dimR * l + k]; 1278dfccc68fSToby Isaac } 1279dfccc68fSToby Isaac J[i * dim * dim + dim * j + k] = val; 1280dfccc68fSToby Isaac } 1281dfccc68fSToby Isaac } 1282dfccc68fSToby Isaac if (dim == 3) { /* put the cross product in the third component of the Jacobian */ 1283dfccc68fSToby Isaac PetscReal x, y, z; 1284dfccc68fSToby Isaac PetscReal *iJ = &J[i * dim * dim]; 1285dfccc68fSToby Isaac PetscReal norm; 1286dfccc68fSToby Isaac 1287dfccc68fSToby Isaac x = iJ[1 * dim + 0] * iJ[2 * dim + 1] - iJ[1 * dim + 1] * iJ[2 * dim + 0]; 1288dfccc68fSToby Isaac y = iJ[0 * dim + 1] * iJ[2 * dim + 0] - iJ[0 * dim + 0] * iJ[2 * dim + 1]; 1289dfccc68fSToby Isaac z = iJ[0 * dim + 0] * iJ[1 * dim + 1] - iJ[0 * dim + 1] * iJ[1 * dim + 0]; 1290dfccc68fSToby Isaac norm = PetscSqrtReal(x * x + y * y + z * z); 1291dfccc68fSToby Isaac iJ[2] = x / norm; 1292dfccc68fSToby Isaac iJ[5] = y / norm; 1293dfccc68fSToby Isaac iJ[8] = z / norm; 1294dfccc68fSToby Isaac DMPlex_Det3D_Internal(&detJ[i], &J[i * dim * dim]); 1295dfccc68fSToby Isaac if (invJ) {DMPlex_Invert3D_Internal(&invJ[i * dim * dim], &J[i * dim * dim], detJ[i]);} 1296dfccc68fSToby Isaac } else { 1297dfccc68fSToby Isaac DMPlex_Det2D_Internal(&detJ[i], &J[i * dim * dim]); 1298dfccc68fSToby Isaac if (invJ) {DMPlex_Invert2D_Internal(&invJ[i * dim * dim], &J[i * dim * dim], detJ[i]);} 1299dfccc68fSToby Isaac } 1300dfccc68fSToby Isaac } 1301dfccc68fSToby Isaac } 1302dfccc68fSToby Isaac } 130399dec3a6SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordinates, e, &numCoords, &coords);CHKERRQ(ierr); 1304ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 1305ccd2543fSMatthew G Knepley } 1306ccd2543fSMatthew G Knepley 1307ccd2543fSMatthew G Knepley static PetscErrorCode DMPlexComputeTetrahedronGeometry_Internal(DM dm, PetscInt e, PetscReal v0[], PetscReal J[], PetscReal invJ[], PetscReal *detJ) 1308ccd2543fSMatthew G Knepley { 1309ccd2543fSMatthew G Knepley PetscSection coordSection; 1310ccd2543fSMatthew G Knepley Vec coordinates; 1311a1e44745SMatthew G. Knepley PetscScalar *coords = NULL; 1312ccd2543fSMatthew G Knepley const PetscInt dim = 3; 131399dec3a6SMatthew G. Knepley PetscInt d; 1314ccd2543fSMatthew G Knepley PetscErrorCode ierr; 1315ccd2543fSMatthew G Knepley 1316ccd2543fSMatthew G Knepley PetscFunctionBegin; 1317ccd2543fSMatthew G Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 131869d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 1319ccd2543fSMatthew G Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordinates, e, NULL, &coords);CHKERRQ(ierr); 13207f07f362SMatthew G. Knepley *detJ = 0.0; 13217f07f362SMatthew G. Knepley if (v0) {for (d = 0; d < dim; d++) v0[d] = PetscRealPart(coords[d]);} 1322ccd2543fSMatthew G Knepley if (J) { 1323ccd2543fSMatthew G Knepley for (d = 0; d < dim; d++) { 1324f0df753eSMatthew G. Knepley /* I orient with outward face normals */ 1325f0df753eSMatthew G. Knepley J[d*dim+0] = 0.5*(PetscRealPart(coords[2*dim+d]) - PetscRealPart(coords[0*dim+d])); 1326f0df753eSMatthew G. Knepley J[d*dim+1] = 0.5*(PetscRealPart(coords[1*dim+d]) - PetscRealPart(coords[0*dim+d])); 1327f0df753eSMatthew G. Knepley J[d*dim+2] = 0.5*(PetscRealPart(coords[3*dim+d]) - PetscRealPart(coords[0*dim+d])); 1328ccd2543fSMatthew G Knepley } 13293bc0b13bSBarry Smith ierr = PetscLogFlops(18.0);CHKERRQ(ierr); 1330923591dfSMatthew G. Knepley DMPlex_Det3D_Internal(detJ, J); 1331ccd2543fSMatthew G Knepley } 1332923591dfSMatthew G. Knepley if (invJ) {DMPlex_Invert3D_Internal(invJ, J, *detJ);} 1333ccd2543fSMatthew G Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordinates, e, NULL, &coords);CHKERRQ(ierr); 1334ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 1335ccd2543fSMatthew G Knepley } 1336ccd2543fSMatthew G Knepley 1337dfccc68fSToby Isaac static PetscErrorCode DMPlexComputeHexahedronGeometry_Internal(DM dm, PetscInt e, PetscInt Nq, const PetscReal points[], PetscReal v[], PetscReal J[], PetscReal invJ[], PetscReal *detJ) 1338ccd2543fSMatthew G Knepley { 1339ccd2543fSMatthew G Knepley PetscSection coordSection; 1340ccd2543fSMatthew G Knepley Vec coordinates; 1341a1e44745SMatthew G. Knepley PetscScalar *coords = NULL; 1342ccd2543fSMatthew G Knepley const PetscInt dim = 3; 1343ccd2543fSMatthew G Knepley PetscInt d; 1344ccd2543fSMatthew G Knepley PetscErrorCode ierr; 1345ccd2543fSMatthew G Knepley 1346ccd2543fSMatthew G Knepley PetscFunctionBegin; 1347ccd2543fSMatthew G Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 134869d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 1349ccd2543fSMatthew G Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordinates, e, NULL, &coords);CHKERRQ(ierr); 1350dfccc68fSToby Isaac if (!Nq) { 13517f07f362SMatthew G. Knepley *detJ = 0.0; 1352dfccc68fSToby Isaac if (v) {for (d = 0; d < dim; d++) v[d] = PetscRealPart(coords[d]);} 1353ccd2543fSMatthew G Knepley if (J) { 1354ccd2543fSMatthew G Knepley for (d = 0; d < dim; d++) { 1355f0df753eSMatthew G. Knepley J[d*dim+0] = 0.5*(PetscRealPart(coords[3*dim+d]) - PetscRealPart(coords[0*dim+d])); 1356f0df753eSMatthew G. Knepley J[d*dim+1] = 0.5*(PetscRealPart(coords[1*dim+d]) - PetscRealPart(coords[0*dim+d])); 1357f0df753eSMatthew G. Knepley J[d*dim+2] = 0.5*(PetscRealPart(coords[4*dim+d]) - PetscRealPart(coords[0*dim+d])); 1358ccd2543fSMatthew G Knepley } 13593bc0b13bSBarry Smith ierr = PetscLogFlops(18.0);CHKERRQ(ierr); 1360923591dfSMatthew G. Knepley DMPlex_Det3D_Internal(detJ, J); 1361ccd2543fSMatthew G Knepley } 1362923591dfSMatthew G. Knepley if (invJ) {DMPlex_Invert3D_Internal(invJ, J, *detJ);} 1363dfccc68fSToby Isaac } else { 1364dfccc68fSToby Isaac const PetscInt Nv = 8; 1365dfccc68fSToby Isaac const PetscInt zToPlex[8] = {0, 3, 1, 2, 4, 5, 7, 6}; 1366dfccc68fSToby Isaac const PetscInt dim = 3; 1367dfccc68fSToby Isaac const PetscInt dimR = 3; 1368dfccc68fSToby Isaac PetscReal zOrder[24]; 1369dfccc68fSToby Isaac PetscReal zCoeff[24]; 1370dfccc68fSToby Isaac PetscInt i, j, k, l; 1371dfccc68fSToby Isaac 1372dfccc68fSToby Isaac for (i = 0; i < Nv; i++) { 1373dfccc68fSToby Isaac PetscInt zi = zToPlex[i]; 1374dfccc68fSToby Isaac 1375dfccc68fSToby Isaac for (j = 0; j < dim; j++) { 1376dfccc68fSToby Isaac zOrder[dim * i + j] = PetscRealPart(coords[dim * zi + j]); 1377dfccc68fSToby Isaac } 1378dfccc68fSToby Isaac } 1379dfccc68fSToby Isaac for (j = 0; j < dim; j++) { 1380dfccc68fSToby Isaac zCoeff[dim * 0 + j] = 0.125 * ( zOrder[dim * 0 + j] + zOrder[dim * 1 + j] + zOrder[dim * 2 + j] + zOrder[dim * 3 + j] + zOrder[dim * 4 + j] + zOrder[dim * 5 + j] + zOrder[dim * 6 + j] + zOrder[dim * 7 + j]); 1381dfccc68fSToby Isaac zCoeff[dim * 1 + j] = 0.125 * (- zOrder[dim * 0 + j] + zOrder[dim * 1 + j] - zOrder[dim * 2 + j] + zOrder[dim * 3 + j] - zOrder[dim * 4 + j] + zOrder[dim * 5 + j] - zOrder[dim * 6 + j] + zOrder[dim * 7 + j]); 1382dfccc68fSToby Isaac zCoeff[dim * 2 + j] = 0.125 * (- zOrder[dim * 0 + j] - zOrder[dim * 1 + j] + zOrder[dim * 2 + j] + zOrder[dim * 3 + j] - zOrder[dim * 4 + j] - zOrder[dim * 5 + j] + zOrder[dim * 6 + j] + zOrder[dim * 7 + j]); 1383dfccc68fSToby Isaac zCoeff[dim * 3 + j] = 0.125 * ( zOrder[dim * 0 + j] - zOrder[dim * 1 + j] - zOrder[dim * 2 + j] + zOrder[dim * 3 + j] + zOrder[dim * 4 + j] - zOrder[dim * 5 + j] - zOrder[dim * 6 + j] + zOrder[dim * 7 + j]); 1384dfccc68fSToby Isaac zCoeff[dim * 4 + j] = 0.125 * (- zOrder[dim * 0 + j] - zOrder[dim * 1 + j] - zOrder[dim * 2 + j] - zOrder[dim * 3 + j] + zOrder[dim * 4 + j] + zOrder[dim * 5 + j] + zOrder[dim * 6 + j] + zOrder[dim * 7 + j]); 1385dfccc68fSToby Isaac zCoeff[dim * 5 + j] = 0.125 * (+ zOrder[dim * 0 + j] - zOrder[dim * 1 + j] + zOrder[dim * 2 + j] - zOrder[dim * 3 + j] - zOrder[dim * 4 + j] + zOrder[dim * 5 + j] - zOrder[dim * 6 + j] + zOrder[dim * 7 + j]); 1386dfccc68fSToby Isaac zCoeff[dim * 6 + j] = 0.125 * (+ zOrder[dim * 0 + j] + zOrder[dim * 1 + j] - zOrder[dim * 2 + j] - zOrder[dim * 3 + j] - zOrder[dim * 4 + j] - zOrder[dim * 5 + j] + zOrder[dim * 6 + j] + zOrder[dim * 7 + j]); 1387dfccc68fSToby Isaac zCoeff[dim * 7 + j] = 0.125 * (- zOrder[dim * 0 + j] + zOrder[dim * 1 + j] + zOrder[dim * 2 + j] - zOrder[dim * 3 + j] + zOrder[dim * 4 + j] - zOrder[dim * 5 + j] - zOrder[dim * 6 + j] + zOrder[dim * 7 + j]); 1388dfccc68fSToby Isaac } 1389dfccc68fSToby Isaac for (i = 0; i < Nq; i++) { 1390dfccc68fSToby Isaac PetscReal xi = points[dimR * i], eta = points[dimR * i + 1], theta = points[dimR * i + 2]; 1391dfccc68fSToby Isaac 1392dfccc68fSToby Isaac if (v) { 139391d2b7ceSToby Isaac PetscReal extPoint[8]; 1394dfccc68fSToby Isaac 1395dfccc68fSToby Isaac extPoint[0] = 1.; 1396dfccc68fSToby Isaac extPoint[1] = xi; 1397dfccc68fSToby Isaac extPoint[2] = eta; 1398dfccc68fSToby Isaac extPoint[3] = xi * eta; 1399dfccc68fSToby Isaac extPoint[4] = theta; 1400dfccc68fSToby Isaac extPoint[5] = theta * xi; 1401dfccc68fSToby Isaac extPoint[6] = theta * eta; 1402dfccc68fSToby Isaac extPoint[7] = theta * eta * xi; 1403dfccc68fSToby Isaac for (j = 0; j < dim; j++) { 1404dfccc68fSToby Isaac PetscReal val = 0.; 1405dfccc68fSToby Isaac 1406dfccc68fSToby Isaac for (k = 0; k < Nv; k++) { 1407dfccc68fSToby Isaac val += extPoint[k] * zCoeff[dim * k + j]; 1408dfccc68fSToby Isaac } 1409dfccc68fSToby Isaac v[i * dim + j] = val; 1410dfccc68fSToby Isaac } 1411dfccc68fSToby Isaac } 1412dfccc68fSToby Isaac if (J) { 1413dfccc68fSToby Isaac PetscReal extJ[24]; 1414dfccc68fSToby Isaac 1415dfccc68fSToby Isaac extJ[0] = 0. ; extJ[1] = 0. ; extJ[2] = 0. ; 1416dfccc68fSToby Isaac extJ[3] = 1. ; extJ[4] = 0. ; extJ[5] = 0. ; 1417dfccc68fSToby Isaac extJ[6] = 0. ; extJ[7] = 1. ; extJ[8] = 0. ; 1418dfccc68fSToby Isaac extJ[9] = eta ; extJ[10] = xi ; extJ[11] = 0. ; 1419dfccc68fSToby Isaac extJ[12] = 0. ; extJ[13] = 0. ; extJ[14] = 1. ; 1420dfccc68fSToby Isaac extJ[15] = theta ; extJ[16] = 0. ; extJ[17] = xi ; 1421dfccc68fSToby Isaac extJ[18] = 0. ; extJ[19] = theta ; extJ[20] = eta ; 1422dfccc68fSToby Isaac extJ[21] = theta * eta; extJ[22] = theta * xi; extJ[23] = eta * xi; 1423dfccc68fSToby Isaac 1424dfccc68fSToby Isaac for (j = 0; j < dim; j++) { 1425dfccc68fSToby Isaac for (k = 0; k < dimR; k++) { 1426dfccc68fSToby Isaac PetscReal val = 0.; 1427dfccc68fSToby Isaac 1428dfccc68fSToby Isaac for (l = 0; l < Nv; l++) { 1429dfccc68fSToby Isaac val += zCoeff[dim * l + j] * extJ[dimR * l + k]; 1430dfccc68fSToby Isaac } 1431dfccc68fSToby Isaac J[i * dim * dim + dim * j + k] = val; 1432dfccc68fSToby Isaac } 1433dfccc68fSToby Isaac } 1434dfccc68fSToby Isaac DMPlex_Det3D_Internal(&detJ[i], &J[i * dim * dim]); 1435dfccc68fSToby Isaac if (invJ) {DMPlex_Invert3D_Internal(&invJ[i * dim * dim], &J[i * dim * dim], detJ[i]);} 1436dfccc68fSToby Isaac } 1437dfccc68fSToby Isaac } 1438dfccc68fSToby Isaac } 1439ccd2543fSMatthew G Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordinates, e, NULL, &coords);CHKERRQ(ierr); 1440ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 1441ccd2543fSMatthew G Knepley } 1442ccd2543fSMatthew G Knepley 1443dfccc68fSToby Isaac static PetscErrorCode DMPlexComputeCellGeometryFEM_Implicit(DM dm, PetscInt cell, PetscQuadrature quad, PetscReal *v, PetscReal *J, PetscReal *invJ, PetscReal *detJ) 1444dfccc68fSToby Isaac { 1445ba2698f1SMatthew G. Knepley DMPolytopeType ct; 1446dfccc68fSToby Isaac PetscInt depth, dim, coordDim, coneSize, i; 1447dfccc68fSToby Isaac PetscInt Nq = 0; 1448dfccc68fSToby Isaac const PetscReal *points = NULL; 1449dfccc68fSToby Isaac DMLabel depthLabel; 1450c330f8ffSToby Isaac PetscReal xi0[3] = {-1.,-1.,-1.}, v0[3], J0[9], detJ0; 1451dfccc68fSToby Isaac PetscBool isAffine = PETSC_TRUE; 1452dfccc68fSToby Isaac PetscErrorCode ierr; 1453dfccc68fSToby Isaac 1454dfccc68fSToby Isaac PetscFunctionBegin; 1455dfccc68fSToby Isaac ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr); 1456dfccc68fSToby Isaac ierr = DMPlexGetConeSize(dm, cell, &coneSize);CHKERRQ(ierr); 1457dfccc68fSToby Isaac ierr = DMPlexGetDepthLabel(dm, &depthLabel);CHKERRQ(ierr); 1458dfccc68fSToby Isaac ierr = DMLabelGetValue(depthLabel, cell, &dim);CHKERRQ(ierr); 1459dfccc68fSToby Isaac if (depth == 1 && dim == 1) { 1460dfccc68fSToby Isaac ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1461dfccc68fSToby Isaac } 1462dfccc68fSToby Isaac ierr = DMGetCoordinateDim(dm, &coordDim);CHKERRQ(ierr); 1463dfccc68fSToby Isaac if (coordDim > 3) SETERRQ1(PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "Unsupported coordinate dimension %D > 3", coordDim); 14649c3cf19fSMatthew G. Knepley if (quad) {ierr = PetscQuadratureGetData(quad, NULL, NULL, &Nq, &points, NULL);CHKERRQ(ierr);} 1465ba2698f1SMatthew G. Knepley ierr = DMPlexGetCellType(dm, cell, &ct);CHKERRQ(ierr); 1466ba2698f1SMatthew G. Knepley switch (ct) { 1467ba2698f1SMatthew G. Knepley case DM_POLYTOPE_POINT: 1468dfccc68fSToby Isaac ierr = DMPlexComputePointGeometry_Internal(dm, cell, v, J, invJ, detJ);CHKERRQ(ierr); 1469dfccc68fSToby Isaac isAffine = PETSC_FALSE; 1470dfccc68fSToby Isaac break; 1471ba2698f1SMatthew G. Knepley case DM_POLYTOPE_SEGMENT: 1472412e9a14SMatthew G. Knepley case DM_POLYTOPE_POINT_PRISM_TENSOR: 1473ba2698f1SMatthew G. Knepley if (Nq) {ierr = DMPlexComputeLineGeometry_Internal(dm, cell, v0, J0, NULL, &detJ0);CHKERRQ(ierr);} 1474ba2698f1SMatthew G. Knepley else {ierr = DMPlexComputeLineGeometry_Internal(dm, cell, v, J, invJ, detJ);CHKERRQ(ierr);} 1475dfccc68fSToby Isaac break; 1476ba2698f1SMatthew G. Knepley case DM_POLYTOPE_TRIANGLE: 1477ba2698f1SMatthew G. Knepley if (Nq) {ierr = DMPlexComputeTriangleGeometry_Internal(dm, cell, v0, J0, NULL, &detJ0);CHKERRQ(ierr);} 1478ba2698f1SMatthew G. Knepley else {ierr = DMPlexComputeTriangleGeometry_Internal(dm, cell, v, J, invJ, detJ);CHKERRQ(ierr);} 1479dfccc68fSToby Isaac break; 1480ba2698f1SMatthew G. Knepley case DM_POLYTOPE_QUADRILATERAL: 1481412e9a14SMatthew G. Knepley ierr = DMPlexComputeRectangleGeometry_Internal(dm, cell, PETSC_FALSE, Nq, points, v, J, invJ, detJ);CHKERRQ(ierr); 1482412e9a14SMatthew G. Knepley isAffine = PETSC_FALSE; 1483412e9a14SMatthew G. Knepley break; 1484412e9a14SMatthew G. Knepley case DM_POLYTOPE_SEG_PRISM_TENSOR: 1485412e9a14SMatthew G. Knepley ierr = DMPlexComputeRectangleGeometry_Internal(dm, cell, PETSC_TRUE, Nq, points, v, J, invJ, detJ);CHKERRQ(ierr); 1486dfccc68fSToby Isaac isAffine = PETSC_FALSE; 1487dfccc68fSToby Isaac break; 1488ba2698f1SMatthew G. Knepley case DM_POLYTOPE_TETRAHEDRON: 1489ba2698f1SMatthew G. Knepley if (Nq) {ierr = DMPlexComputeTetrahedronGeometry_Internal(dm, cell, v0, J0, NULL, &detJ0);CHKERRQ(ierr);} 1490ba2698f1SMatthew G. Knepley else {ierr = DMPlexComputeTetrahedronGeometry_Internal(dm, cell, v, J, invJ, detJ);CHKERRQ(ierr);} 1491dfccc68fSToby Isaac break; 1492ba2698f1SMatthew G. Knepley case DM_POLYTOPE_HEXAHEDRON: 1493dfccc68fSToby Isaac ierr = DMPlexComputeHexahedronGeometry_Internal(dm, cell, Nq, points, v, J, invJ, detJ);CHKERRQ(ierr); 1494dfccc68fSToby Isaac isAffine = PETSC_FALSE; 1495dfccc68fSToby Isaac break; 1496ba2698f1SMatthew G. Knepley default: SETERRQ2(PetscObjectComm((PetscObject) dm), PETSC_ERR_ARG_OUTOFRANGE, "No element geometry for cell %D with type %s", cell, DMPolytopeTypes[ct]); 1497dfccc68fSToby Isaac } 14987318780aSToby Isaac if (isAffine && Nq) { 1499dfccc68fSToby Isaac if (v) { 1500dfccc68fSToby Isaac for (i = 0; i < Nq; i++) { 1501c330f8ffSToby Isaac CoordinatesRefToReal(coordDim, dim, xi0, v0, J0, &points[dim * i], &v[coordDim * i]); 1502dfccc68fSToby Isaac } 1503dfccc68fSToby Isaac } 15047318780aSToby Isaac if (detJ) { 15057318780aSToby Isaac for (i = 0; i < Nq; i++) { 15067318780aSToby Isaac detJ[i] = detJ0; 1507dfccc68fSToby Isaac } 15087318780aSToby Isaac } 15097318780aSToby Isaac if (J) { 15107318780aSToby Isaac PetscInt k; 15117318780aSToby Isaac 15127318780aSToby Isaac for (i = 0, k = 0; i < Nq; i++) { 1513dfccc68fSToby Isaac PetscInt j; 1514dfccc68fSToby Isaac 15157318780aSToby Isaac for (j = 0; j < coordDim * coordDim; j++, k++) { 15167318780aSToby Isaac J[k] = J0[j]; 15177318780aSToby Isaac } 15187318780aSToby Isaac } 15197318780aSToby Isaac } 15207318780aSToby Isaac if (invJ) { 15217318780aSToby Isaac PetscInt k; 15227318780aSToby Isaac switch (coordDim) { 15237318780aSToby Isaac case 0: 15247318780aSToby Isaac break; 15257318780aSToby Isaac case 1: 15267318780aSToby Isaac invJ[0] = 1./J0[0]; 15277318780aSToby Isaac break; 15287318780aSToby Isaac case 2: 15297318780aSToby Isaac DMPlex_Invert2D_Internal(invJ, J0, detJ0); 15307318780aSToby Isaac break; 15317318780aSToby Isaac case 3: 15327318780aSToby Isaac DMPlex_Invert3D_Internal(invJ, J0, detJ0); 15337318780aSToby Isaac break; 15347318780aSToby Isaac } 15357318780aSToby Isaac for (i = 1, k = coordDim * coordDim; i < Nq; i++) { 15367318780aSToby Isaac PetscInt j; 15377318780aSToby Isaac 15387318780aSToby Isaac for (j = 0; j < coordDim * coordDim; j++, k++) { 15397318780aSToby Isaac invJ[k] = invJ[j]; 15407318780aSToby Isaac } 1541dfccc68fSToby Isaac } 1542dfccc68fSToby Isaac } 1543dfccc68fSToby Isaac } 1544dfccc68fSToby Isaac PetscFunctionReturn(0); 1545dfccc68fSToby Isaac } 1546dfccc68fSToby Isaac 1547ccd2543fSMatthew G Knepley /*@C 15488e0841e0SMatthew G. Knepley DMPlexComputeCellGeometryAffineFEM - Assuming an affine map, compute the Jacobian, inverse Jacobian, and Jacobian determinant for a given cell 1549ccd2543fSMatthew G Knepley 1550d083f849SBarry Smith Collective on dm 1551ccd2543fSMatthew G Knepley 1552ccd2543fSMatthew G Knepley Input Arguments: 1553ccd2543fSMatthew G Knepley + dm - the DM 1554ccd2543fSMatthew G Knepley - cell - the cell 1555ccd2543fSMatthew G Knepley 1556ccd2543fSMatthew G Knepley Output Arguments: 1557ccd2543fSMatthew G Knepley + v0 - the translation part of this affine transform 1558ccd2543fSMatthew G Knepley . J - the Jacobian of the transform from the reference element 1559ccd2543fSMatthew G Knepley . invJ - the inverse of the Jacobian 1560ccd2543fSMatthew G Knepley - detJ - the Jacobian determinant 1561ccd2543fSMatthew G Knepley 1562ccd2543fSMatthew G Knepley Level: advanced 1563ccd2543fSMatthew G Knepley 1564ccd2543fSMatthew G Knepley Fortran Notes: 1565ccd2543fSMatthew G Knepley Since it returns arrays, this routine is only available in Fortran 90, and you must 1566ccd2543fSMatthew G Knepley include petsc.h90 in your code. 1567ccd2543fSMatthew G Knepley 1568e8964c0aSStefano Zampini .seealso: DMPlexComputeCellGeometryFEM(), DMGetCoordinateSection(), DMGetCoordinates() 1569ccd2543fSMatthew G Knepley @*/ 15708e0841e0SMatthew G. Knepley PetscErrorCode DMPlexComputeCellGeometryAffineFEM(DM dm, PetscInt cell, PetscReal *v0, PetscReal *J, PetscReal *invJ, PetscReal *detJ) 1571ccd2543fSMatthew G Knepley { 1572ccd2543fSMatthew G Knepley PetscErrorCode ierr; 1573ccd2543fSMatthew G Knepley 1574ccd2543fSMatthew G Knepley PetscFunctionBegin; 1575dfccc68fSToby Isaac ierr = DMPlexComputeCellGeometryFEM_Implicit(dm,cell,NULL,v0,J,invJ,detJ);CHKERRQ(ierr); 15768e0841e0SMatthew G. Knepley PetscFunctionReturn(0); 15778e0841e0SMatthew G. Knepley } 15788e0841e0SMatthew G. Knepley 1579dfccc68fSToby Isaac static PetscErrorCode DMPlexComputeCellGeometryFEM_FE(DM dm, PetscFE fe, PetscInt point, PetscQuadrature quad, PetscReal v[], PetscReal J[], PetscReal invJ[], PetscReal *detJ) 15808e0841e0SMatthew G. Knepley { 1581dfccc68fSToby Isaac PetscQuadrature feQuad; 15828e0841e0SMatthew G. Knepley PetscSection coordSection; 15838e0841e0SMatthew G. Knepley Vec coordinates; 15848e0841e0SMatthew G. Knepley PetscScalar *coords = NULL; 15858e0841e0SMatthew G. Knepley const PetscReal *quadPoints; 1586ef0bb6c7SMatthew G. Knepley PetscTabulation T; 1587f960e424SToby Isaac PetscInt dim, cdim, pdim, qdim, Nq, numCoords, q; 15888e0841e0SMatthew G. Knepley PetscErrorCode ierr; 15898e0841e0SMatthew G. Knepley 15908e0841e0SMatthew G. Knepley PetscFunctionBegin; 15918e0841e0SMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 15928e0841e0SMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 15938e0841e0SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordinates, point, &numCoords, &coords);CHKERRQ(ierr); 15948e0841e0SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 15958e0841e0SMatthew G. Knepley ierr = DMGetCoordinateDim(dm, &cdim);CHKERRQ(ierr); 1596dfccc68fSToby Isaac if (!quad) { /* use the first point of the first functional of the dual space */ 1597dfccc68fSToby Isaac PetscDualSpace dsp; 1598dfccc68fSToby Isaac 1599dfccc68fSToby Isaac ierr = PetscFEGetDualSpace(fe, &dsp);CHKERRQ(ierr); 1600dfccc68fSToby Isaac ierr = PetscDualSpaceGetFunctional(dsp, 0, &quad);CHKERRQ(ierr); 16019c3cf19fSMatthew G. Knepley ierr = PetscQuadratureGetData(quad, &qdim, NULL, &Nq, &quadPoints, NULL);CHKERRQ(ierr); 1602dfccc68fSToby Isaac Nq = 1; 1603dfccc68fSToby Isaac } else { 16049c3cf19fSMatthew G. Knepley ierr = PetscQuadratureGetData(quad, &qdim, NULL, &Nq, &quadPoints, NULL);CHKERRQ(ierr); 1605dfccc68fSToby Isaac } 160691d2b7ceSToby Isaac ierr = PetscFEGetDimension(fe, &pdim);CHKERRQ(ierr); 1607dfccc68fSToby Isaac ierr = PetscFEGetQuadrature(fe, &feQuad);CHKERRQ(ierr); 1608dfccc68fSToby Isaac if (feQuad == quad) { 1609f9244615SMatthew G. Knepley ierr = PetscFEGetCellTabulation(fe, J ? 1 : 0, &T);CHKERRQ(ierr); 16108e0841e0SMatthew G. Knepley if (numCoords != pdim*cdim) SETERRQ4(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "There are %d coordinates for point %d != %d*%d", numCoords, point, pdim, cdim); 1611dfccc68fSToby Isaac } else { 1612ef0bb6c7SMatthew G. Knepley ierr = PetscFECreateTabulation(fe, 1, Nq, quadPoints, J ? 1 : 0, &T);CHKERRQ(ierr); 1613dfccc68fSToby Isaac } 1614dfccc68fSToby Isaac if (qdim != dim) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Point dimension %d != quadrature dimension %d", dim, qdim); 1615ef0bb6c7SMatthew G. Knepley { 1616ef0bb6c7SMatthew G. Knepley const PetscReal *basis = T->T[0]; 1617ef0bb6c7SMatthew G. Knepley const PetscReal *basisDer = T->T[1]; 1618ef0bb6c7SMatthew G. Knepley PetscReal detJt; 1619ef0bb6c7SMatthew G. Knepley 1620dfccc68fSToby Isaac if (v) { 1621580bdb30SBarry Smith ierr = PetscArrayzero(v, Nq*cdim);CHKERRQ(ierr); 1622f960e424SToby Isaac for (q = 0; q < Nq; ++q) { 1623f960e424SToby Isaac PetscInt i, k; 1624f960e424SToby Isaac 1625301b184aSMatthew G. Knepley for (k = 0; k < pdim; ++k) { 1626301b184aSMatthew G. Knepley const PetscInt vertex = k/cdim; 1627301b184aSMatthew G. Knepley for (i = 0; i < cdim; ++i) { 1628301b184aSMatthew G. Knepley v[q*cdim + i] += basis[(q*pdim + k)*cdim + i] * PetscRealPart(coords[vertex*cdim + i]); 1629301b184aSMatthew G. Knepley } 1630301b184aSMatthew G. Knepley } 1631f960e424SToby Isaac ierr = PetscLogFlops(2.0*pdim*cdim);CHKERRQ(ierr); 1632f960e424SToby Isaac } 1633f960e424SToby Isaac } 16348e0841e0SMatthew G. Knepley if (J) { 1635580bdb30SBarry Smith ierr = PetscArrayzero(J, Nq*cdim*cdim);CHKERRQ(ierr); 16368e0841e0SMatthew G. Knepley for (q = 0; q < Nq; ++q) { 16378e0841e0SMatthew G. Knepley PetscInt i, j, k, c, r; 16388e0841e0SMatthew G. Knepley 16398e0841e0SMatthew G. Knepley /* J = dx_i/d\xi_j = sum[k=0,n-1] dN_k/d\xi_j * x_i(k) */ 1640301b184aSMatthew G. Knepley for (k = 0; k < pdim; ++k) { 1641301b184aSMatthew G. Knepley const PetscInt vertex = k/cdim; 1642301b184aSMatthew G. Knepley for (j = 0; j < dim; ++j) { 1643301b184aSMatthew G. Knepley for (i = 0; i < cdim; ++i) { 1644301b184aSMatthew G. Knepley J[(q*cdim + i)*cdim + j] += basisDer[((q*pdim + k)*cdim + i)*dim + j] * PetscRealPart(coords[vertex*cdim + i]); 1645301b184aSMatthew G. Knepley } 1646301b184aSMatthew G. Knepley } 1647301b184aSMatthew G. Knepley } 16483bc0b13bSBarry Smith ierr = PetscLogFlops(2.0*pdim*dim*cdim);CHKERRQ(ierr); 16498e0841e0SMatthew G. Knepley if (cdim > dim) { 16508e0841e0SMatthew G. Knepley for (c = dim; c < cdim; ++c) 16518e0841e0SMatthew G. Knepley for (r = 0; r < cdim; ++r) 16528e0841e0SMatthew G. Knepley J[r*cdim+c] = r == c ? 1.0 : 0.0; 16538e0841e0SMatthew G. Knepley } 1654f960e424SToby Isaac if (!detJ && !invJ) continue; 1655a63b72c6SToby Isaac detJt = 0.; 16568e0841e0SMatthew G. Knepley switch (cdim) { 16578e0841e0SMatthew G. Knepley case 3: 1658037dc194SToby Isaac DMPlex_Det3D_Internal(&detJt, &J[q*cdim*dim]); 1659037dc194SToby Isaac if (invJ) {DMPlex_Invert3D_Internal(&invJ[q*cdim*dim], &J[q*cdim*dim], detJt);} 166017fe8556SMatthew G. Knepley break; 166149dc4407SMatthew G. Knepley case 2: 16629f328543SToby Isaac DMPlex_Det2D_Internal(&detJt, &J[q*cdim*dim]); 1663037dc194SToby Isaac if (invJ) {DMPlex_Invert2D_Internal(&invJ[q*cdim*dim], &J[q*cdim*dim], detJt);} 166449dc4407SMatthew G. Knepley break; 16658e0841e0SMatthew G. Knepley case 1: 1666037dc194SToby Isaac detJt = J[q*cdim*dim]; 1667037dc194SToby Isaac if (invJ) invJ[q*cdim*dim] = 1.0/detJt; 166849dc4407SMatthew G. Knepley } 1669f960e424SToby Isaac if (detJ) detJ[q] = detJt; 167049dc4407SMatthew G. Knepley } 1671ef0bb6c7SMatthew G. Knepley } else if (detJ || invJ) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_SIZ, "Need J to compute invJ or detJ"); 167249dc4407SMatthew G. Knepley } 1673ef0bb6c7SMatthew G. Knepley if (feQuad != quad) {ierr = PetscTabulationDestroy(&T);CHKERRQ(ierr);} 16748e0841e0SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordinates, point, &numCoords, &coords);CHKERRQ(ierr); 16758e0841e0SMatthew G. Knepley PetscFunctionReturn(0); 16768e0841e0SMatthew G. Knepley } 16778e0841e0SMatthew G. Knepley 16788e0841e0SMatthew G. Knepley /*@C 16798e0841e0SMatthew G. Knepley DMPlexComputeCellGeometryFEM - Compute the Jacobian, inverse Jacobian, and Jacobian determinant at each quadrature point in the given cell 16808e0841e0SMatthew G. Knepley 1681d083f849SBarry Smith Collective on dm 16828e0841e0SMatthew G. Knepley 16838e0841e0SMatthew G. Knepley Input Arguments: 16848e0841e0SMatthew G. Knepley + dm - the DM 16858e0841e0SMatthew G. Knepley . cell - the cell 1686dfccc68fSToby Isaac - quad - the quadrature containing the points in the reference element where the geometry will be evaluated. If quad == NULL, geometry will be 1687dfccc68fSToby Isaac evaluated at the first vertex of the reference element 16888e0841e0SMatthew G. Knepley 16898e0841e0SMatthew G. Knepley Output Arguments: 1690dfccc68fSToby Isaac + v - the image of the transformed quadrature points, otherwise the image of the first vertex in the closure of the reference element 16918e0841e0SMatthew G. Knepley . J - the Jacobian of the transform from the reference element at each quadrature point 16928e0841e0SMatthew G. Knepley . invJ - the inverse of the Jacobian at each quadrature point 16938e0841e0SMatthew G. Knepley - detJ - the Jacobian determinant at each quadrature point 16948e0841e0SMatthew G. Knepley 16958e0841e0SMatthew G. Knepley Level: advanced 16968e0841e0SMatthew G. Knepley 16978e0841e0SMatthew G. Knepley Fortran Notes: 16988e0841e0SMatthew G. Knepley Since it returns arrays, this routine is only available in Fortran 90, and you must 16998e0841e0SMatthew G. Knepley include petsc.h90 in your code. 17008e0841e0SMatthew G. Knepley 1701e8964c0aSStefano Zampini .seealso: DMGetCoordinateSection(), DMGetCoordinates() 17028e0841e0SMatthew G. Knepley @*/ 1703dfccc68fSToby Isaac PetscErrorCode DMPlexComputeCellGeometryFEM(DM dm, PetscInt cell, PetscQuadrature quad, PetscReal *v, PetscReal *J, PetscReal *invJ, PetscReal *detJ) 17048e0841e0SMatthew G. Knepley { 1705bb4a5db5SMatthew G. Knepley DM cdm; 1706dfccc68fSToby Isaac PetscFE fe = NULL; 17078e0841e0SMatthew G. Knepley PetscErrorCode ierr; 17088e0841e0SMatthew G. Knepley 17098e0841e0SMatthew G. Knepley PetscFunctionBegin; 17102d89661fSMatthew G. Knepley PetscValidPointer(detJ, 7); 1711bb4a5db5SMatthew G. Knepley ierr = DMGetCoordinateDM(dm, &cdm);CHKERRQ(ierr); 1712bb4a5db5SMatthew G. Knepley if (cdm) { 1713dfccc68fSToby Isaac PetscClassId id; 1714dfccc68fSToby Isaac PetscInt numFields; 1715e5e52638SMatthew G. Knepley PetscDS prob; 1716dfccc68fSToby Isaac PetscObject disc; 1717dfccc68fSToby Isaac 1718bb4a5db5SMatthew G. Knepley ierr = DMGetNumFields(cdm, &numFields);CHKERRQ(ierr); 1719dfccc68fSToby Isaac if (numFields) { 1720bb4a5db5SMatthew G. Knepley ierr = DMGetDS(cdm, &prob);CHKERRQ(ierr); 1721dfccc68fSToby Isaac ierr = PetscDSGetDiscretization(prob,0,&disc);CHKERRQ(ierr); 1722dfccc68fSToby Isaac ierr = PetscObjectGetClassId(disc,&id);CHKERRQ(ierr); 1723dfccc68fSToby Isaac if (id == PETSCFE_CLASSID) { 1724dfccc68fSToby Isaac fe = (PetscFE) disc; 1725dfccc68fSToby Isaac } 1726dfccc68fSToby Isaac } 1727dfccc68fSToby Isaac } 1728dfccc68fSToby Isaac if (!fe) {ierr = DMPlexComputeCellGeometryFEM_Implicit(dm, cell, quad, v, J, invJ, detJ);CHKERRQ(ierr);} 1729dfccc68fSToby Isaac else {ierr = DMPlexComputeCellGeometryFEM_FE(dm, fe, cell, quad, v, J, invJ, detJ);CHKERRQ(ierr);} 1730ccd2543fSMatthew G Knepley PetscFunctionReturn(0); 1731ccd2543fSMatthew G Knepley } 1732834e62ceSMatthew G. Knepley 1733011ea5d8SMatthew G. Knepley static PetscErrorCode DMPlexComputeGeometryFVM_1D_Internal(DM dm, PetscInt dim, PetscInt cell, PetscReal *vol, PetscReal centroid[], PetscReal normal[]) 1734cc08537eSMatthew G. Knepley { 1735cc08537eSMatthew G. Knepley PetscSection coordSection; 1736cc08537eSMatthew G. Knepley Vec coordinates; 1737a1e44745SMatthew G. Knepley PetscScalar *coords = NULL; 173806e2781eSMatthew G. Knepley PetscScalar tmp[2]; 1739714b99b6SMatthew G. Knepley PetscInt coordSize, d; 1740cc08537eSMatthew G. Knepley PetscErrorCode ierr; 1741cc08537eSMatthew G. Knepley 1742cc08537eSMatthew G. Knepley PetscFunctionBegin; 1743cc08537eSMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 174469d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 1745cc08537eSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordinates, cell, &coordSize, &coords);CHKERRQ(ierr); 17462e17dfb7SMatthew G. Knepley ierr = DMLocalizeCoordinate_Internal(dm, dim, coords, &coords[dim], tmp);CHKERRQ(ierr); 1747cc08537eSMatthew G. Knepley if (centroid) { 1748714b99b6SMatthew G. Knepley for (d = 0; d < dim; ++d) centroid[d] = 0.5*PetscRealPart(coords[d] + tmp[d]); 1749cc08537eSMatthew G. Knepley } 1750cc08537eSMatthew G. Knepley if (normal) { 1751a60a936bSMatthew G. Knepley PetscReal norm; 1752a60a936bSMatthew G. Knepley 1753714b99b6SMatthew G. Knepley if (dim != 2) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "We only support 2D edges right now"); 175406e2781eSMatthew G. Knepley normal[0] = -PetscRealPart(coords[1] - tmp[1]); 175506e2781eSMatthew G. Knepley normal[1] = PetscRealPart(coords[0] - tmp[0]); 1756714b99b6SMatthew G. Knepley norm = DMPlex_NormD_Internal(dim, normal); 1757714b99b6SMatthew G. Knepley for (d = 0; d < dim; ++d) normal[d] /= norm; 1758cc08537eSMatthew G. Knepley } 1759cc08537eSMatthew G. Knepley if (vol) { 1760714b99b6SMatthew G. Knepley *vol = 0.0; 1761714b99b6SMatthew G. Knepley for (d = 0; d < dim; ++d) *vol += PetscSqr(PetscRealPart(coords[d] - tmp[d])); 1762714b99b6SMatthew G. Knepley *vol = PetscSqrtReal(*vol); 1763cc08537eSMatthew G. Knepley } 1764cc08537eSMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordinates, cell, &coordSize, &coords);CHKERRQ(ierr); 1765cc08537eSMatthew G. Knepley PetscFunctionReturn(0); 1766cc08537eSMatthew G. Knepley } 1767cc08537eSMatthew G. Knepley 1768cc08537eSMatthew G. Knepley /* Centroid_i = (\sum_n A_n Cn_i) / A */ 1769011ea5d8SMatthew G. Knepley static PetscErrorCode DMPlexComputeGeometryFVM_2D_Internal(DM dm, PetscInt dim, PetscInt cell, PetscReal *vol, PetscReal centroid[], PetscReal normal[]) 1770cc08537eSMatthew G. Knepley { 1771412e9a14SMatthew G. Knepley DMPolytopeType ct; 1772cc08537eSMatthew G. Knepley PetscSection coordSection; 1773cc08537eSMatthew G. Knepley Vec coordinates; 1774cc08537eSMatthew G. Knepley PetscScalar *coords = NULL; 17750a1d6728SMatthew G. Knepley PetscReal vsum = 0.0, csum[3] = {0.0, 0.0, 0.0}, vtmp, ctmp[4], v0[3], R[9]; 1776793a2a13SMatthew G. Knepley PetscBool isHybrid = PETSC_FALSE; 1777793a2a13SMatthew G. Knepley PetscInt fv[4] = {0, 1, 2, 3}; 1778412e9a14SMatthew G. Knepley PetscInt tdim = 2, coordSize, numCorners, p, d, e; 1779cc08537eSMatthew G. Knepley PetscErrorCode ierr; 1780cc08537eSMatthew G. Knepley 1781cc08537eSMatthew G. Knepley PetscFunctionBegin; 1782793a2a13SMatthew G. Knepley /* Must check for hybrid cells because prisms have a different orientation scheme */ 1783412e9a14SMatthew G. Knepley ierr = DMPlexGetCellType(dm, cell, &ct);CHKERRQ(ierr); 1784412e9a14SMatthew G. Knepley switch (ct) { 1785412e9a14SMatthew G. Knepley case DM_POLYTOPE_POINT_PRISM_TENSOR: 1786412e9a14SMatthew G. Knepley case DM_POLYTOPE_SEG_PRISM_TENSOR: 1787412e9a14SMatthew G. Knepley case DM_POLYTOPE_TRI_PRISM_TENSOR: 1788412e9a14SMatthew G. Knepley case DM_POLYTOPE_QUAD_PRISM_TENSOR: 1789412e9a14SMatthew G. Knepley isHybrid = PETSC_TRUE; 1790412e9a14SMatthew G. Knepley default: break; 1791412e9a14SMatthew G. Knepley } 1792cc08537eSMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 17930a1d6728SMatthew G. Knepley ierr = DMPlexGetConeSize(dm, cell, &numCorners);CHKERRQ(ierr); 179469d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 1795cc08537eSMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordinates, cell, &coordSize, &coords);CHKERRQ(ierr); 17960bce18caSMatthew G. Knepley ierr = DMGetCoordinateDim(dm, &dim);CHKERRQ(ierr); 1797793a2a13SMatthew G. Knepley /* Side faces for hybrid cells are are stored as tensor products */ 1798793a2a13SMatthew G. Knepley if (isHybrid && numCorners == 4) {fv[2] = 3; fv[3] = 2;} 1799793a2a13SMatthew G. Knepley 1800ceee4971SMatthew G. Knepley if (dim > 2 && centroid) { 1801ceee4971SMatthew G. Knepley v0[0] = PetscRealPart(coords[0]); 1802ceee4971SMatthew G. Knepley v0[1] = PetscRealPart(coords[1]); 1803ceee4971SMatthew G. Knepley v0[2] = PetscRealPart(coords[2]); 1804ceee4971SMatthew G. Knepley } 1805011ea5d8SMatthew G. Knepley if (normal) { 1806011ea5d8SMatthew G. Knepley if (dim > 2) { 1807793a2a13SMatthew G. Knepley const PetscReal x0 = PetscRealPart(coords[dim*fv[1]+0] - coords[0]), x1 = PetscRealPart(coords[dim*fv[2]+0] - coords[0]); 1808793a2a13SMatthew G. Knepley const PetscReal y0 = PetscRealPart(coords[dim*fv[1]+1] - coords[1]), y1 = PetscRealPart(coords[dim*fv[2]+1] - coords[1]); 1809793a2a13SMatthew G. Knepley const PetscReal z0 = PetscRealPart(coords[dim*fv[1]+2] - coords[2]), z1 = PetscRealPart(coords[dim*fv[2]+2] - coords[2]); 18100a1d6728SMatthew G. Knepley PetscReal norm; 18110a1d6728SMatthew G. Knepley 18120a1d6728SMatthew G. Knepley normal[0] = y0*z1 - z0*y1; 18130a1d6728SMatthew G. Knepley normal[1] = z0*x1 - x0*z1; 18140a1d6728SMatthew G. Knepley normal[2] = x0*y1 - y0*x1; 18158b49ba18SBarry Smith norm = PetscSqrtReal(normal[0]*normal[0] + normal[1]*normal[1] + normal[2]*normal[2]); 18160a1d6728SMatthew G. Knepley normal[0] /= norm; 18170a1d6728SMatthew G. Knepley normal[1] /= norm; 18180a1d6728SMatthew G. Knepley normal[2] /= norm; 1819011ea5d8SMatthew G. Knepley } else { 1820011ea5d8SMatthew G. Knepley for (d = 0; d < dim; ++d) normal[d] = 0.0; 1821011ea5d8SMatthew G. Knepley } 1822011ea5d8SMatthew G. Knepley } 1823741bfc07SMatthew G. Knepley if (dim == 3) {ierr = DMPlexComputeProjection3Dto2D(coordSize, coords, R);CHKERRQ(ierr);} 18240a1d6728SMatthew G. Knepley for (p = 0; p < numCorners; ++p) { 1825793a2a13SMatthew G. Knepley const PetscInt pi = p < 4 ? fv[p] : p; 1826793a2a13SMatthew G. Knepley const PetscInt pin = p < 3 ? fv[(p+1)%numCorners] : (p+1)%numCorners; 18270a1d6728SMatthew G. Knepley /* Need to do this copy to get types right */ 18280a1d6728SMatthew G. Knepley for (d = 0; d < tdim; ++d) { 1829793a2a13SMatthew G. Knepley ctmp[d] = PetscRealPart(coords[pi*tdim+d]); 1830793a2a13SMatthew G. Knepley ctmp[tdim+d] = PetscRealPart(coords[pin*tdim+d]); 18310a1d6728SMatthew G. Knepley } 18320a1d6728SMatthew G. Knepley Volume_Triangle_Origin_Internal(&vtmp, ctmp); 18330a1d6728SMatthew G. Knepley vsum += vtmp; 18340a1d6728SMatthew G. Knepley for (d = 0; d < tdim; ++d) { 18350a1d6728SMatthew G. Knepley csum[d] += (ctmp[d] + ctmp[tdim+d])*vtmp; 18360a1d6728SMatthew G. Knepley } 18370a1d6728SMatthew G. Knepley } 18380a1d6728SMatthew G. Knepley for (d = 0; d < tdim; ++d) { 18390a1d6728SMatthew G. Knepley csum[d] /= (tdim+1)*vsum; 18400a1d6728SMatthew G. Knepley } 18410a1d6728SMatthew G. Knepley ierr = DMPlexVecRestoreClosure(dm, coordSection, coordinates, cell, &coordSize, &coords);CHKERRQ(ierr); 1842ee6bbdb2SSatish Balay if (vol) *vol = PetscAbsReal(vsum); 18430a1d6728SMatthew G. Knepley if (centroid) { 18440a1d6728SMatthew G. Knepley if (dim > 2) { 18450a1d6728SMatthew G. Knepley for (d = 0; d < dim; ++d) { 18460a1d6728SMatthew G. Knepley centroid[d] = v0[d]; 18470a1d6728SMatthew G. Knepley for (e = 0; e < dim; ++e) { 18480a1d6728SMatthew G. Knepley centroid[d] += R[d*dim+e]*csum[e]; 18490a1d6728SMatthew G. Knepley } 18500a1d6728SMatthew G. Knepley } 18510a1d6728SMatthew G. Knepley } else for (d = 0; d < dim; ++d) centroid[d] = csum[d]; 18520a1d6728SMatthew G. Knepley } 1853cc08537eSMatthew G. Knepley PetscFunctionReturn(0); 1854cc08537eSMatthew G. Knepley } 1855cc08537eSMatthew G. Knepley 18560ec8681fSMatthew G. Knepley /* Centroid_i = (\sum_n V_n Cn_i) / V */ 1857011ea5d8SMatthew G. Knepley static PetscErrorCode DMPlexComputeGeometryFVM_3D_Internal(DM dm, PetscInt dim, PetscInt cell, PetscReal *vol, PetscReal centroid[], PetscReal normal[]) 18580ec8681fSMatthew G. Knepley { 1859412e9a14SMatthew G. Knepley DMPolytopeType ct; 18600ec8681fSMatthew G. Knepley PetscSection coordSection; 18610ec8681fSMatthew G. Knepley Vec coordinates; 18620ec8681fSMatthew G. Knepley PetscScalar *coords = NULL; 186386623015SMatthew G. Knepley PetscReal vsum = 0.0, vtmp, coordsTmp[3*3]; 1864a7df9edeSMatthew G. Knepley const PetscInt *faces, *facesO; 1865793a2a13SMatthew G. Knepley PetscBool isHybrid = PETSC_FALSE; 1866412e9a14SMatthew G. Knepley PetscInt numFaces, f, coordSize, p, d; 18670ec8681fSMatthew G. Knepley PetscErrorCode ierr; 18680ec8681fSMatthew G. Knepley 18690ec8681fSMatthew G. Knepley PetscFunctionBegin; 1870f6dae198SJed Brown if (PetscUnlikely(dim > 3)) SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"No support for dim %D > 3",dim); 1871793a2a13SMatthew G. Knepley /* Must check for hybrid cells because prisms have a different orientation scheme */ 1872412e9a14SMatthew G. Knepley ierr = DMPlexGetCellType(dm, cell, &ct);CHKERRQ(ierr); 1873412e9a14SMatthew G. Knepley switch (ct) { 1874412e9a14SMatthew G. Knepley case DM_POLYTOPE_POINT_PRISM_TENSOR: 1875412e9a14SMatthew G. Knepley case DM_POLYTOPE_SEG_PRISM_TENSOR: 1876412e9a14SMatthew G. Knepley case DM_POLYTOPE_TRI_PRISM_TENSOR: 1877412e9a14SMatthew G. Knepley case DM_POLYTOPE_QUAD_PRISM_TENSOR: 1878412e9a14SMatthew G. Knepley isHybrid = PETSC_TRUE; 1879412e9a14SMatthew G. Knepley default: break; 1880412e9a14SMatthew G. Knepley } 1881793a2a13SMatthew G. Knepley 18820ec8681fSMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 188369d8a9ceSMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 18840ec8681fSMatthew G. Knepley 1885d9a81ebdSMatthew G. Knepley if (centroid) for (d = 0; d < dim; ++d) centroid[d] = 0.0; 18860ec8681fSMatthew G. Knepley ierr = DMPlexGetConeSize(dm, cell, &numFaces);CHKERRQ(ierr); 18870ec8681fSMatthew G. Knepley ierr = DMPlexGetCone(dm, cell, &faces);CHKERRQ(ierr); 1888a7df9edeSMatthew G. Knepley ierr = DMPlexGetConeOrientation(dm, cell, &facesO);CHKERRQ(ierr); 18890ec8681fSMatthew G. Knepley for (f = 0; f < numFaces; ++f) { 1890793a2a13SMatthew G. Knepley PetscBool flip = isHybrid && f == 0 ? PETSC_TRUE : PETSC_FALSE; /* The first hybrid face is reversed */ 1891ba2698f1SMatthew G. Knepley DMPolytopeType ct; 1892793a2a13SMatthew G. Knepley 1893011ea5d8SMatthew G. Knepley ierr = DMPlexVecGetClosure(dm, coordSection, coordinates, faces[f], &coordSize, &coords);CHKERRQ(ierr); 1894ba2698f1SMatthew G. Knepley ierr = DMPlexGetCellType(dm, faces[f], &ct);CHKERRQ(ierr); 1895ba2698f1SMatthew G. Knepley switch (ct) { 1896ba2698f1SMatthew G. Knepley case DM_POLYTOPE_TRIANGLE: 18970ec8681fSMatthew G. Knepley for (d = 0; d < dim; ++d) { 18981ee9d5ecSMatthew G. Knepley coordsTmp[0*dim+d] = PetscRealPart(coords[0*dim+d]); 18991ee9d5ecSMatthew G. Knepley coordsTmp[1*dim+d] = PetscRealPart(coords[1*dim+d]); 19001ee9d5ecSMatthew G. Knepley coordsTmp[2*dim+d] = PetscRealPart(coords[2*dim+d]); 19010ec8681fSMatthew G. Knepley } 19020ec8681fSMatthew G. Knepley Volume_Tetrahedron_Origin_Internal(&vtmp, coordsTmp); 1903793a2a13SMatthew G. Knepley if (facesO[f] < 0 || flip) vtmp = -vtmp; 19040ec8681fSMatthew G. Knepley vsum += vtmp; 19054f25033aSJed Brown if (centroid) { /* Centroid of OABC = (a+b+c)/4 */ 19060ec8681fSMatthew G. Knepley for (d = 0; d < dim; ++d) { 19071ee9d5ecSMatthew G. Knepley for (p = 0; p < 3; ++p) centroid[d] += coordsTmp[p*dim+d]*vtmp; 19080ec8681fSMatthew G. Knepley } 19090ec8681fSMatthew G. Knepley } 19100ec8681fSMatthew G. Knepley break; 1911ba2698f1SMatthew G. Knepley case DM_POLYTOPE_QUADRILATERAL: 1912412e9a14SMatthew G. Knepley case DM_POLYTOPE_SEG_PRISM_TENSOR: 1913793a2a13SMatthew G. Knepley { 1914793a2a13SMatthew G. Knepley PetscInt fv[4] = {0, 1, 2, 3}; 1915793a2a13SMatthew G. Knepley 1916793a2a13SMatthew G. Knepley /* Side faces for hybrid cells are are stored as tensor products */ 1917793a2a13SMatthew G. Knepley if (isHybrid && f > 1) {fv[2] = 3; fv[3] = 2;} 19180ec8681fSMatthew G. Knepley /* DO FOR PYRAMID */ 19190ec8681fSMatthew G. Knepley /* First tet */ 19200ec8681fSMatthew G. Knepley for (d = 0; d < dim; ++d) { 1921793a2a13SMatthew G. Knepley coordsTmp[0*dim+d] = PetscRealPart(coords[fv[0]*dim+d]); 1922793a2a13SMatthew G. Knepley coordsTmp[1*dim+d] = PetscRealPart(coords[fv[1]*dim+d]); 1923793a2a13SMatthew G. Knepley coordsTmp[2*dim+d] = PetscRealPart(coords[fv[3]*dim+d]); 19240ec8681fSMatthew G. Knepley } 19250ec8681fSMatthew G. Knepley Volume_Tetrahedron_Origin_Internal(&vtmp, coordsTmp); 1926793a2a13SMatthew G. Knepley if (facesO[f] < 0 || flip) vtmp = -vtmp; 19270ec8681fSMatthew G. Knepley vsum += vtmp; 19280ec8681fSMatthew G. Knepley if (centroid) { 19290ec8681fSMatthew G. Knepley for (d = 0; d < dim; ++d) { 19300ec8681fSMatthew G. Knepley for (p = 0; p < 3; ++p) centroid[d] += coordsTmp[p*dim+d]*vtmp; 19310ec8681fSMatthew G. Knepley } 19320ec8681fSMatthew G. Knepley } 19330ec8681fSMatthew G. Knepley /* Second tet */ 19340ec8681fSMatthew G. Knepley for (d = 0; d < dim; ++d) { 1935793a2a13SMatthew G. Knepley coordsTmp[0*dim+d] = PetscRealPart(coords[fv[1]*dim+d]); 1936793a2a13SMatthew G. Knepley coordsTmp[1*dim+d] = PetscRealPart(coords[fv[2]*dim+d]); 1937793a2a13SMatthew G. Knepley coordsTmp[2*dim+d] = PetscRealPart(coords[fv[3]*dim+d]); 19380ec8681fSMatthew G. Knepley } 19390ec8681fSMatthew G. Knepley Volume_Tetrahedron_Origin_Internal(&vtmp, coordsTmp); 1940793a2a13SMatthew G. Knepley if (facesO[f] < 0 || flip) vtmp = -vtmp; 19410ec8681fSMatthew G. Knepley vsum += vtmp; 19420ec8681fSMatthew G. Knepley if (centroid) { 19430ec8681fSMatthew G. Knepley for (d = 0; d < dim; ++d) { 19440ec8681fSMatthew G. Knepley for (p = 0; p < 3; ++p) centroid[d] += coordsTmp[p*dim+d]*vtmp; 19450ec8681fSMatthew G. Knepley } 19460ec8681fSMatthew G. Knepley } 19470ec8681fSMatthew G. Knepley break; 1948793a2a13SMatthew G. Knepley } 19490ec8681fSMatthew G. Knepley default: 1950ba2698f1SMatthew G. Knepley SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Cannot handle face %D of type %s", faces[f], DMPolytopeTypes[ct]); 19510ec8681fSMatthew G. Knepley } 19524f25033aSJed Brown ierr = DMPlexVecRestoreClosure(dm, coordSection, coordinates, faces[f], &coordSize, &coords);CHKERRQ(ierr); 19530ec8681fSMatthew G. Knepley } 19548763be8eSMatthew G. Knepley if (vol) *vol = PetscAbsReal(vsum); 19550ec8681fSMatthew G. Knepley if (normal) for (d = 0; d < dim; ++d) normal[d] = 0.0; 1956d9a81ebdSMatthew G. Knepley if (centroid) for (d = 0; d < dim; ++d) centroid[d] /= (vsum*4); 19570ec8681fSMatthew G. Knepley PetscFunctionReturn(0); 19580ec8681fSMatthew G. Knepley } 19590ec8681fSMatthew G. Knepley 1960834e62ceSMatthew G. Knepley /*@C 1961834e62ceSMatthew G. Knepley DMPlexComputeCellGeometryFVM - Compute the volume for a given cell 1962834e62ceSMatthew G. Knepley 1963d083f849SBarry Smith Collective on dm 1964834e62ceSMatthew G. Knepley 1965834e62ceSMatthew G. Knepley Input Arguments: 1966834e62ceSMatthew G. Knepley + dm - the DM 1967834e62ceSMatthew G. Knepley - cell - the cell 1968834e62ceSMatthew G. Knepley 1969834e62ceSMatthew G. Knepley Output Arguments: 1970834e62ceSMatthew G. Knepley + volume - the cell volume 1971cc08537eSMatthew G. Knepley . centroid - the cell centroid 1972cc08537eSMatthew G. Knepley - normal - the cell normal, if appropriate 1973834e62ceSMatthew G. Knepley 1974834e62ceSMatthew G. Knepley Level: advanced 1975834e62ceSMatthew G. Knepley 1976834e62ceSMatthew G. Knepley Fortran Notes: 1977834e62ceSMatthew G. Knepley Since it returns arrays, this routine is only available in Fortran 90, and you must 1978834e62ceSMatthew G. Knepley include petsc.h90 in your code. 1979834e62ceSMatthew G. Knepley 1980e8964c0aSStefano Zampini .seealso: DMGetCoordinateSection(), DMGetCoordinates() 1981834e62ceSMatthew G. Knepley @*/ 1982cc08537eSMatthew G. Knepley PetscErrorCode DMPlexComputeCellGeometryFVM(DM dm, PetscInt cell, PetscReal *vol, PetscReal centroid[], PetscReal normal[]) 1983834e62ceSMatthew G. Knepley { 19840ec8681fSMatthew G. Knepley PetscInt depth, dim; 1985834e62ceSMatthew G. Knepley PetscErrorCode ierr; 1986834e62ceSMatthew G. Knepley 1987834e62ceSMatthew G. Knepley PetscFunctionBegin; 1988834e62ceSMatthew G. Knepley ierr = DMPlexGetDepth(dm, &depth);CHKERRQ(ierr); 1989c73cfb54SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 1990834e62ceSMatthew G. Knepley if (depth != dim) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Mesh must be interpolated"); 1991ba2698f1SMatthew G. Knepley ierr = DMPlexGetPointDepth(dm, cell, &depth);CHKERRQ(ierr); 1992011ea5d8SMatthew G. Knepley switch (depth) { 1993cc08537eSMatthew G. Knepley case 1: 1994011ea5d8SMatthew G. Knepley ierr = DMPlexComputeGeometryFVM_1D_Internal(dm, dim, cell, vol, centroid, normal);CHKERRQ(ierr); 1995cc08537eSMatthew G. Knepley break; 1996834e62ceSMatthew G. Knepley case 2: 1997011ea5d8SMatthew G. Knepley ierr = DMPlexComputeGeometryFVM_2D_Internal(dm, dim, cell, vol, centroid, normal);CHKERRQ(ierr); 1998834e62ceSMatthew G. Knepley break; 1999834e62ceSMatthew G. Knepley case 3: 2000011ea5d8SMatthew G. Knepley ierr = DMPlexComputeGeometryFVM_3D_Internal(dm, dim, cell, vol, centroid, normal);CHKERRQ(ierr); 2001834e62ceSMatthew G. Knepley break; 2002834e62ceSMatthew G. Knepley default: 2003b81cf158SMatthew G. Knepley SETERRQ2(PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "Unsupported dimension %D (depth %D) for element geometry computation", dim, depth); 2004834e62ceSMatthew G. Knepley } 2005834e62ceSMatthew G. Knepley PetscFunctionReturn(0); 2006834e62ceSMatthew G. Knepley } 2007113c68e6SMatthew G. Knepley 2008c501906fSMatthew G. Knepley /*@ 2009c501906fSMatthew G. Knepley DMPlexComputeGeometryFEM - Precompute cell geometry for the entire mesh 2010c501906fSMatthew G. Knepley 2011c501906fSMatthew G. Knepley Collective on dm 2012c501906fSMatthew G. Knepley 2013c501906fSMatthew G. Knepley Input Parameter: 2014c501906fSMatthew G. Knepley . dm - The DMPlex 2015c501906fSMatthew G. Knepley 2016c501906fSMatthew G. Knepley Output Parameter: 2017c501906fSMatthew G. Knepley . cellgeom - A vector with the cell geometry data for each cell 2018c501906fSMatthew G. Knepley 2019c501906fSMatthew G. Knepley Level: beginner 2020c501906fSMatthew G. Knepley 2021c501906fSMatthew G. Knepley @*/ 2022c0d900a5SMatthew G. Knepley PetscErrorCode DMPlexComputeGeometryFEM(DM dm, Vec *cellgeom) 2023c0d900a5SMatthew G. Knepley { 2024c0d900a5SMatthew G. Knepley DM dmCell; 2025c0d900a5SMatthew G. Knepley Vec coordinates; 2026c0d900a5SMatthew G. Knepley PetscSection coordSection, sectionCell; 2027c0d900a5SMatthew G. Knepley PetscScalar *cgeom; 2028412e9a14SMatthew G. Knepley PetscInt cStart, cEnd, c; 2029c0d900a5SMatthew G. Knepley PetscErrorCode ierr; 2030c0d900a5SMatthew G. Knepley 2031c0d900a5SMatthew G. Knepley PetscFunctionBegin; 2032c0d900a5SMatthew G. Knepley ierr = DMClone(dm, &dmCell);CHKERRQ(ierr); 2033c0d900a5SMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 2034c0d900a5SMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 2035c0d900a5SMatthew G. Knepley ierr = DMSetCoordinateSection(dmCell, PETSC_DETERMINE, coordSection);CHKERRQ(ierr); 2036c0d900a5SMatthew G. Knepley ierr = DMSetCoordinatesLocal(dmCell, coordinates);CHKERRQ(ierr); 2037c0d900a5SMatthew G. Knepley ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), §ionCell);CHKERRQ(ierr); 2038412e9a14SMatthew G. Knepley ierr = DMPlexGetSimplexOrBoxCells(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 2039c0d900a5SMatthew G. Knepley ierr = PetscSectionSetChart(sectionCell, cStart, cEnd);CHKERRQ(ierr); 2040c0d900a5SMatthew G. Knepley /* TODO This needs to be multiplied by Nq for non-affine */ 2041cf0b7c11SKarl Rupp for (c = cStart; c < cEnd; ++c) {ierr = PetscSectionSetDof(sectionCell, c, (PetscInt) PetscCeilReal(((PetscReal) sizeof(PetscFEGeom))/sizeof(PetscScalar)));CHKERRQ(ierr);} 2042c0d900a5SMatthew G. Knepley ierr = PetscSectionSetUp(sectionCell);CHKERRQ(ierr); 204392fd8e1eSJed Brown ierr = DMSetLocalSection(dmCell, sectionCell);CHKERRQ(ierr); 2044c0d900a5SMatthew G. Knepley ierr = PetscSectionDestroy(§ionCell);CHKERRQ(ierr); 2045c0d900a5SMatthew G. Knepley ierr = DMCreateLocalVector(dmCell, cellgeom);CHKERRQ(ierr); 2046c0d900a5SMatthew G. Knepley ierr = VecGetArray(*cellgeom, &cgeom);CHKERRQ(ierr); 2047c0d900a5SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) { 2048cf0b7c11SKarl Rupp PetscFEGeom *cg; 2049c0d900a5SMatthew G. Knepley 2050c0d900a5SMatthew G. Knepley ierr = DMPlexPointLocalRef(dmCell, c, cgeom, &cg);CHKERRQ(ierr); 2051580bdb30SBarry Smith ierr = PetscArrayzero(cg, 1);CHKERRQ(ierr); 2052cf0b7c11SKarl Rupp ierr = DMPlexComputeCellGeometryFEM(dmCell, c, NULL, cg->v, cg->J, cg->invJ, cg->detJ);CHKERRQ(ierr); 2053087ef6b2SMatthew G. Knepley if (*cg->detJ <= 0.0) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Invalid determinant %g for element %D", (double) *cg->detJ, c); 2054c0d900a5SMatthew G. Knepley } 2055c0d900a5SMatthew G. Knepley PetscFunctionReturn(0); 2056c0d900a5SMatthew G. Knepley } 2057c0d900a5SMatthew G. Knepley 2058891a9168SMatthew G. Knepley /*@ 2059891a9168SMatthew G. Knepley DMPlexComputeGeometryFVM - Computes the cell and face geometry for a finite volume method 2060891a9168SMatthew G. Knepley 2061891a9168SMatthew G. Knepley Input Parameter: 2062891a9168SMatthew G. Knepley . dm - The DM 2063891a9168SMatthew G. Knepley 2064891a9168SMatthew G. Knepley Output Parameters: 2065891a9168SMatthew G. Knepley + cellgeom - A Vec of PetscFVCellGeom data 2066a2b725a8SWilliam Gropp - facegeom - A Vec of PetscFVFaceGeom data 2067891a9168SMatthew G. Knepley 2068891a9168SMatthew G. Knepley Level: developer 2069891a9168SMatthew G. Knepley 2070891a9168SMatthew G. Knepley .seealso: PetscFVFaceGeom, PetscFVCellGeom, DMPlexComputeGeometryFEM() 2071891a9168SMatthew G. Knepley @*/ 2072113c68e6SMatthew G. Knepley PetscErrorCode DMPlexComputeGeometryFVM(DM dm, Vec *cellgeom, Vec *facegeom) 2073113c68e6SMatthew G. Knepley { 2074113c68e6SMatthew G. Knepley DM dmFace, dmCell; 2075113c68e6SMatthew G. Knepley DMLabel ghostLabel; 2076113c68e6SMatthew G. Knepley PetscSection sectionFace, sectionCell; 2077113c68e6SMatthew G. Knepley PetscSection coordSection; 2078113c68e6SMatthew G. Knepley Vec coordinates; 2079113c68e6SMatthew G. Knepley PetscScalar *fgeom, *cgeom; 2080113c68e6SMatthew G. Knepley PetscReal minradius, gminradius; 2081113c68e6SMatthew G. Knepley PetscInt dim, cStart, cEnd, cEndInterior, c, fStart, fEnd, f; 2082113c68e6SMatthew G. Knepley PetscErrorCode ierr; 2083113c68e6SMatthew G. Knepley 2084113c68e6SMatthew G. Knepley PetscFunctionBegin; 2085113c68e6SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 2086113c68e6SMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &coordSection);CHKERRQ(ierr); 2087113c68e6SMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &coordinates);CHKERRQ(ierr); 2088113c68e6SMatthew G. Knepley /* Make cell centroids and volumes */ 2089113c68e6SMatthew G. Knepley ierr = DMClone(dm, &dmCell);CHKERRQ(ierr); 2090113c68e6SMatthew G. Knepley ierr = DMSetCoordinateSection(dmCell, PETSC_DETERMINE, coordSection);CHKERRQ(ierr); 2091113c68e6SMatthew G. Knepley ierr = DMSetCoordinatesLocal(dmCell, coordinates);CHKERRQ(ierr); 2092113c68e6SMatthew G. Knepley ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), §ionCell);CHKERRQ(ierr); 2093113c68e6SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 2094485ad865SMatthew G. Knepley ierr = DMPlexGetGhostCellStratum(dm, &cEndInterior, NULL);CHKERRQ(ierr); 2095113c68e6SMatthew G. Knepley ierr = PetscSectionSetChart(sectionCell, cStart, cEnd);CHKERRQ(ierr); 20969e5edeeeSMatthew G. Knepley for (c = cStart; c < cEnd; ++c) {ierr = PetscSectionSetDof(sectionCell, c, (PetscInt) PetscCeilReal(((PetscReal) sizeof(PetscFVCellGeom))/sizeof(PetscScalar)));CHKERRQ(ierr);} 2097113c68e6SMatthew G. Knepley ierr = PetscSectionSetUp(sectionCell);CHKERRQ(ierr); 209892fd8e1eSJed Brown ierr = DMSetLocalSection(dmCell, sectionCell);CHKERRQ(ierr); 2099113c68e6SMatthew G. Knepley ierr = PetscSectionDestroy(§ionCell);CHKERRQ(ierr); 2100113c68e6SMatthew G. Knepley ierr = DMCreateLocalVector(dmCell, cellgeom);CHKERRQ(ierr); 2101485ad865SMatthew G. Knepley if (cEndInterior < 0) cEndInterior = cEnd; 2102113c68e6SMatthew G. Knepley ierr = VecGetArray(*cellgeom, &cgeom);CHKERRQ(ierr); 2103113c68e6SMatthew G. Knepley for (c = cStart; c < cEndInterior; ++c) { 2104113c68e6SMatthew G. Knepley PetscFVCellGeom *cg; 2105113c68e6SMatthew G. Knepley 2106113c68e6SMatthew G. Knepley ierr = DMPlexPointLocalRef(dmCell, c, cgeom, &cg);CHKERRQ(ierr); 2107580bdb30SBarry Smith ierr = PetscArrayzero(cg, 1);CHKERRQ(ierr); 2108113c68e6SMatthew G. Knepley ierr = DMPlexComputeCellGeometryFVM(dmCell, c, &cg->volume, cg->centroid, NULL);CHKERRQ(ierr); 2109113c68e6SMatthew G. Knepley } 2110113c68e6SMatthew G. Knepley /* Compute face normals and minimum cell radius */ 2111113c68e6SMatthew G. Knepley ierr = DMClone(dm, &dmFace);CHKERRQ(ierr); 2112113c68e6SMatthew G. Knepley ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), §ionFace);CHKERRQ(ierr); 2113113c68e6SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 2114113c68e6SMatthew G. Knepley ierr = PetscSectionSetChart(sectionFace, fStart, fEnd);CHKERRQ(ierr); 21159e5edeeeSMatthew G. Knepley for (f = fStart; f < fEnd; ++f) {ierr = PetscSectionSetDof(sectionFace, f, (PetscInt) PetscCeilReal(((PetscReal) sizeof(PetscFVFaceGeom))/sizeof(PetscScalar)));CHKERRQ(ierr);} 2116113c68e6SMatthew G. Knepley ierr = PetscSectionSetUp(sectionFace);CHKERRQ(ierr); 211792fd8e1eSJed Brown ierr = DMSetLocalSection(dmFace, sectionFace);CHKERRQ(ierr); 2118113c68e6SMatthew G. Knepley ierr = PetscSectionDestroy(§ionFace);CHKERRQ(ierr); 2119113c68e6SMatthew G. Knepley ierr = DMCreateLocalVector(dmFace, facegeom);CHKERRQ(ierr); 2120113c68e6SMatthew G. Knepley ierr = VecGetArray(*facegeom, &fgeom);CHKERRQ(ierr); 2121c58f1c22SToby Isaac ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 2122113c68e6SMatthew G. Knepley minradius = PETSC_MAX_REAL; 2123113c68e6SMatthew G. Knepley for (f = fStart; f < fEnd; ++f) { 2124113c68e6SMatthew G. Knepley PetscFVFaceGeom *fg; 2125113c68e6SMatthew G. Knepley PetscReal area; 2126412e9a14SMatthew G. Knepley const PetscInt *cells; 2127412e9a14SMatthew G. Knepley PetscInt ncells, ghost = -1, d, numChildren; 2128113c68e6SMatthew G. Knepley 21299ac3fadcSMatthew G. Knepley if (ghostLabel) {ierr = DMLabelGetValue(ghostLabel, f, &ghost);CHKERRQ(ierr);} 213050d63984SToby Isaac ierr = DMPlexGetTreeChildren(dm,f,&numChildren,NULL);CHKERRQ(ierr); 2131412e9a14SMatthew G. Knepley ierr = DMPlexGetSupport(dm, f, &cells);CHKERRQ(ierr); 2132412e9a14SMatthew G. Knepley ierr = DMPlexGetSupportSize(dm, f, &ncells);CHKERRQ(ierr); 2133412e9a14SMatthew G. Knepley /* It is possible to get a face with no support when using partition overlap */ 2134412e9a14SMatthew G. Knepley if (!ncells || ghost >= 0 || numChildren) continue; 2135113c68e6SMatthew G. Knepley ierr = DMPlexPointLocalRef(dmFace, f, fgeom, &fg);CHKERRQ(ierr); 2136113c68e6SMatthew G. Knepley ierr = DMPlexComputeCellGeometryFVM(dm, f, &area, fg->centroid, fg->normal);CHKERRQ(ierr); 2137113c68e6SMatthew G. Knepley for (d = 0; d < dim; ++d) fg->normal[d] *= area; 2138113c68e6SMatthew G. Knepley /* Flip face orientation if necessary to match ordering in support, and Update minimum radius */ 2139113c68e6SMatthew G. Knepley { 2140113c68e6SMatthew G. Knepley PetscFVCellGeom *cL, *cR; 2141113c68e6SMatthew G. Knepley PetscReal *lcentroid, *rcentroid; 21420453c0cdSMatthew G. Knepley PetscReal l[3], r[3], v[3]; 2143113c68e6SMatthew G. Knepley 2144113c68e6SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, cells[0], cgeom, &cL);CHKERRQ(ierr); 2145113c68e6SMatthew G. Knepley lcentroid = cells[0] >= cEndInterior ? fg->centroid : cL->centroid; 214606348e87SToby Isaac if (ncells > 1) { 214706348e87SToby Isaac ierr = DMPlexPointLocalRead(dmCell, cells[1], cgeom, &cR);CHKERRQ(ierr); 2148113c68e6SMatthew G. Knepley rcentroid = cells[1] >= cEndInterior ? fg->centroid : cR->centroid; 214906348e87SToby Isaac } 215006348e87SToby Isaac else { 215106348e87SToby Isaac rcentroid = fg->centroid; 215206348e87SToby Isaac } 21532e17dfb7SMatthew G. Knepley ierr = DMLocalizeCoordinateReal_Internal(dm, dim, fg->centroid, lcentroid, l);CHKERRQ(ierr); 21542e17dfb7SMatthew G. Knepley ierr = DMLocalizeCoordinateReal_Internal(dm, dim, fg->centroid, rcentroid, r);CHKERRQ(ierr); 21550453c0cdSMatthew G. Knepley DMPlex_WaxpyD_Internal(dim, -1, l, r, v); 2156113c68e6SMatthew G. Knepley if (DMPlex_DotRealD_Internal(dim, fg->normal, v) < 0) { 2157113c68e6SMatthew G. Knepley for (d = 0; d < dim; ++d) fg->normal[d] = -fg->normal[d]; 2158113c68e6SMatthew G. Knepley } 2159113c68e6SMatthew G. Knepley if (DMPlex_DotRealD_Internal(dim, fg->normal, v) <= 0) { 2160113c68e6SMatthew G. Knepley if (dim == 2) SETERRQ5(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Direction for face %d could not be fixed, normal (%g,%g) v (%g,%g)", f, (double) fg->normal[0], (double) fg->normal[1], (double) v[0], (double) v[1]); 2161113c68e6SMatthew G. Knepley if (dim == 3) SETERRQ7(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Direction for face %d could not be fixed, normal (%g,%g,%g) v (%g,%g,%g)", f, (double) fg->normal[0], (double) fg->normal[1], (double) fg->normal[2], (double) v[0], (double) v[1], (double) v[2]); 2162113c68e6SMatthew G. Knepley SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Direction for face %d could not be fixed", f); 2163113c68e6SMatthew G. Knepley } 2164113c68e6SMatthew G. Knepley if (cells[0] < cEndInterior) { 2165113c68e6SMatthew G. Knepley DMPlex_WaxpyD_Internal(dim, -1, fg->centroid, cL->centroid, v); 2166113c68e6SMatthew G. Knepley minradius = PetscMin(minradius, DMPlex_NormD_Internal(dim, v)); 2167113c68e6SMatthew G. Knepley } 216806348e87SToby Isaac if (ncells > 1 && cells[1] < cEndInterior) { 2169113c68e6SMatthew G. Knepley DMPlex_WaxpyD_Internal(dim, -1, fg->centroid, cR->centroid, v); 2170113c68e6SMatthew G. Knepley minradius = PetscMin(minradius, DMPlex_NormD_Internal(dim, v)); 2171113c68e6SMatthew G. Knepley } 2172113c68e6SMatthew G. Knepley } 2173113c68e6SMatthew G. Knepley } 2174820f2d46SBarry Smith ierr = MPIU_Allreduce(&minradius, &gminradius, 1, MPIU_REAL, MPIU_MIN, PetscObjectComm((PetscObject)dm));CHKERRMPI(ierr); 2175113c68e6SMatthew G. Knepley ierr = DMPlexSetMinRadius(dm, gminradius);CHKERRQ(ierr); 2176113c68e6SMatthew G. Knepley /* Compute centroids of ghost cells */ 2177113c68e6SMatthew G. Knepley for (c = cEndInterior; c < cEnd; ++c) { 2178113c68e6SMatthew G. Knepley PetscFVFaceGeom *fg; 2179113c68e6SMatthew G. Knepley const PetscInt *cone, *support; 2180113c68e6SMatthew G. Knepley PetscInt coneSize, supportSize, s; 2181113c68e6SMatthew G. Knepley 2182113c68e6SMatthew G. Knepley ierr = DMPlexGetConeSize(dmCell, c, &coneSize);CHKERRQ(ierr); 2183113c68e6SMatthew G. Knepley if (coneSize != 1) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Ghost cell %d has cone size %d != 1", c, coneSize); 2184113c68e6SMatthew G. Knepley ierr = DMPlexGetCone(dmCell, c, &cone);CHKERRQ(ierr); 2185113c68e6SMatthew G. Knepley ierr = DMPlexGetSupportSize(dmCell, cone[0], &supportSize);CHKERRQ(ierr); 218650d63984SToby Isaac if (supportSize != 2) SETERRQ2(PETSC_COMM_SELF, PETSC_ERR_ARG_WRONG, "Face %d has support size %d != 2", cone[0], supportSize); 2187113c68e6SMatthew G. Knepley ierr = DMPlexGetSupport(dmCell, cone[0], &support);CHKERRQ(ierr); 2188113c68e6SMatthew G. Knepley ierr = DMPlexPointLocalRef(dmFace, cone[0], fgeom, &fg);CHKERRQ(ierr); 2189113c68e6SMatthew G. Knepley for (s = 0; s < 2; ++s) { 2190113c68e6SMatthew G. Knepley /* Reflect ghost centroid across plane of face */ 2191113c68e6SMatthew G. Knepley if (support[s] == c) { 2192640bce14SSatish Balay PetscFVCellGeom *ci; 2193113c68e6SMatthew G. Knepley PetscFVCellGeom *cg; 2194113c68e6SMatthew G. Knepley PetscReal c2f[3], a; 2195113c68e6SMatthew G. Knepley 2196113c68e6SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, support[(s+1)%2], cgeom, &ci);CHKERRQ(ierr); 2197113c68e6SMatthew G. Knepley DMPlex_WaxpyD_Internal(dim, -1, ci->centroid, fg->centroid, c2f); /* cell to face centroid */ 2198113c68e6SMatthew G. Knepley a = DMPlex_DotRealD_Internal(dim, c2f, fg->normal)/DMPlex_DotRealD_Internal(dim, fg->normal, fg->normal); 2199113c68e6SMatthew G. Knepley ierr = DMPlexPointLocalRef(dmCell, support[s], cgeom, &cg);CHKERRQ(ierr); 2200113c68e6SMatthew G. Knepley DMPlex_WaxpyD_Internal(dim, 2*a, fg->normal, ci->centroid, cg->centroid); 2201113c68e6SMatthew G. Knepley cg->volume = ci->volume; 2202113c68e6SMatthew G. Knepley } 2203113c68e6SMatthew G. Knepley } 2204113c68e6SMatthew G. Knepley } 2205113c68e6SMatthew G. Knepley ierr = VecRestoreArray(*facegeom, &fgeom);CHKERRQ(ierr); 2206113c68e6SMatthew G. Knepley ierr = VecRestoreArray(*cellgeom, &cgeom);CHKERRQ(ierr); 2207113c68e6SMatthew G. Knepley ierr = DMDestroy(&dmCell);CHKERRQ(ierr); 2208113c68e6SMatthew G. Knepley ierr = DMDestroy(&dmFace);CHKERRQ(ierr); 2209113c68e6SMatthew G. Knepley PetscFunctionReturn(0); 2210113c68e6SMatthew G. Knepley } 2211113c68e6SMatthew G. Knepley 2212113c68e6SMatthew G. Knepley /*@C 2213113c68e6SMatthew G. Knepley DMPlexGetMinRadius - Returns the minimum distance from any cell centroid to a face 2214113c68e6SMatthew G. Knepley 2215113c68e6SMatthew G. Knepley Not collective 2216113c68e6SMatthew G. Knepley 2217113c68e6SMatthew G. Knepley Input Argument: 2218113c68e6SMatthew G. Knepley . dm - the DM 2219113c68e6SMatthew G. Knepley 2220113c68e6SMatthew G. Knepley Output Argument: 2221113c68e6SMatthew G. Knepley . minradius - the minium cell radius 2222113c68e6SMatthew G. Knepley 2223113c68e6SMatthew G. Knepley Level: developer 2224113c68e6SMatthew G. Knepley 2225113c68e6SMatthew G. Knepley .seealso: DMGetCoordinates() 2226113c68e6SMatthew G. Knepley @*/ 2227113c68e6SMatthew G. Knepley PetscErrorCode DMPlexGetMinRadius(DM dm, PetscReal *minradius) 2228113c68e6SMatthew G. Knepley { 2229113c68e6SMatthew G. Knepley PetscFunctionBegin; 2230113c68e6SMatthew G. Knepley PetscValidHeaderSpecific(dm,DM_CLASSID,1); 2231113c68e6SMatthew G. Knepley PetscValidPointer(minradius,2); 2232113c68e6SMatthew G. Knepley *minradius = ((DM_Plex*) dm->data)->minradius; 2233113c68e6SMatthew G. Knepley PetscFunctionReturn(0); 2234113c68e6SMatthew G. Knepley } 2235113c68e6SMatthew G. Knepley 2236113c68e6SMatthew G. Knepley /*@C 2237113c68e6SMatthew G. Knepley DMPlexSetMinRadius - Sets the minimum distance from the cell centroid to a face 2238113c68e6SMatthew G. Knepley 2239113c68e6SMatthew G. Knepley Logically collective 2240113c68e6SMatthew G. Knepley 2241113c68e6SMatthew G. Knepley Input Arguments: 2242113c68e6SMatthew G. Knepley + dm - the DM 2243113c68e6SMatthew G. Knepley - minradius - the minium cell radius 2244113c68e6SMatthew G. Knepley 2245113c68e6SMatthew G. Knepley Level: developer 2246113c68e6SMatthew G. Knepley 2247113c68e6SMatthew G. Knepley .seealso: DMSetCoordinates() 2248113c68e6SMatthew G. Knepley @*/ 2249113c68e6SMatthew G. Knepley PetscErrorCode DMPlexSetMinRadius(DM dm, PetscReal minradius) 2250113c68e6SMatthew G. Knepley { 2251113c68e6SMatthew G. Knepley PetscFunctionBegin; 2252113c68e6SMatthew G. Knepley PetscValidHeaderSpecific(dm,DM_CLASSID,1); 2253113c68e6SMatthew G. Knepley ((DM_Plex*) dm->data)->minradius = minradius; 2254113c68e6SMatthew G. Knepley PetscFunctionReturn(0); 2255113c68e6SMatthew G. Knepley } 2256856ac710SMatthew G. Knepley 2257856ac710SMatthew G. Knepley static PetscErrorCode BuildGradientReconstruction_Internal(DM dm, PetscFV fvm, DM dmFace, PetscScalar *fgeom, DM dmCell, PetscScalar *cgeom) 2258856ac710SMatthew G. Knepley { 2259856ac710SMatthew G. Knepley DMLabel ghostLabel; 2260856ac710SMatthew G. Knepley PetscScalar *dx, *grad, **gref; 2261856ac710SMatthew G. Knepley PetscInt dim, cStart, cEnd, c, cEndInterior, maxNumFaces; 2262856ac710SMatthew G. Knepley PetscErrorCode ierr; 2263856ac710SMatthew G. Knepley 2264856ac710SMatthew G. Knepley PetscFunctionBegin; 2265856ac710SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 2266856ac710SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 2267485ad865SMatthew G. Knepley ierr = DMPlexGetGhostCellStratum(dm, &cEndInterior, NULL);CHKERRQ(ierr); 2268*089217ebSMatthew G. Knepley cEndInterior = cEndInterior < 0 ? cEnd : cEndInterior; 2269856ac710SMatthew G. Knepley ierr = DMPlexGetMaxSizes(dm, &maxNumFaces, NULL);CHKERRQ(ierr); 2270856ac710SMatthew G. Knepley ierr = PetscFVLeastSquaresSetMaxFaces(fvm, maxNumFaces);CHKERRQ(ierr); 2271c58f1c22SToby Isaac ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 2272856ac710SMatthew G. Knepley ierr = PetscMalloc3(maxNumFaces*dim, &dx, maxNumFaces*dim, &grad, maxNumFaces, &gref);CHKERRQ(ierr); 2273856ac710SMatthew G. Knepley for (c = cStart; c < cEndInterior; c++) { 2274856ac710SMatthew G. Knepley const PetscInt *faces; 2275856ac710SMatthew G. Knepley PetscInt numFaces, usedFaces, f, d; 2276640bce14SSatish Balay PetscFVCellGeom *cg; 2277856ac710SMatthew G. Knepley PetscBool boundary; 2278856ac710SMatthew G. Knepley PetscInt ghost; 2279856ac710SMatthew G. Knepley 2280856ac710SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, c, cgeom, &cg);CHKERRQ(ierr); 2281856ac710SMatthew G. Knepley ierr = DMPlexGetConeSize(dm, c, &numFaces);CHKERRQ(ierr); 2282856ac710SMatthew G. Knepley ierr = DMPlexGetCone(dm, c, &faces);CHKERRQ(ierr); 2283856ac710SMatthew G. Knepley if (numFaces < dim) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_INCOMP,"Cell %D has only %D faces, not enough for gradient reconstruction", c, numFaces); 2284856ac710SMatthew G. Knepley for (f = 0, usedFaces = 0; f < numFaces; ++f) { 2285640bce14SSatish Balay PetscFVCellGeom *cg1; 2286856ac710SMatthew G. Knepley PetscFVFaceGeom *fg; 2287856ac710SMatthew G. Knepley const PetscInt *fcells; 2288856ac710SMatthew G. Knepley PetscInt ncell, side; 2289856ac710SMatthew G. Knepley 2290856ac710SMatthew G. Knepley ierr = DMLabelGetValue(ghostLabel, faces[f], &ghost);CHKERRQ(ierr); 2291a6ba4734SToby Isaac ierr = DMIsBoundaryPoint(dm, faces[f], &boundary);CHKERRQ(ierr); 2292856ac710SMatthew G. Knepley if ((ghost >= 0) || boundary) continue; 2293856ac710SMatthew G. Knepley ierr = DMPlexGetSupport(dm, faces[f], &fcells);CHKERRQ(ierr); 2294856ac710SMatthew G. Knepley side = (c != fcells[0]); /* c is on left=0 or right=1 of face */ 2295856ac710SMatthew G. Knepley ncell = fcells[!side]; /* the neighbor */ 2296856ac710SMatthew G. Knepley ierr = DMPlexPointLocalRef(dmFace, faces[f], fgeom, &fg);CHKERRQ(ierr); 2297856ac710SMatthew G. Knepley ierr = DMPlexPointLocalRead(dmCell, ncell, cgeom, &cg1);CHKERRQ(ierr); 2298856ac710SMatthew G. Knepley for (d = 0; d < dim; ++d) dx[usedFaces*dim+d] = cg1->centroid[d] - cg->centroid[d]; 2299856ac710SMatthew G. Knepley gref[usedFaces++] = fg->grad[side]; /* Gradient reconstruction term will go here */ 2300856ac710SMatthew G. Knepley } 2301856ac710SMatthew G. Knepley if (!usedFaces) SETERRQ(PETSC_COMM_SELF, PETSC_ERR_USER, "Mesh contains isolated cell (no neighbors). Is it intentional?"); 2302856ac710SMatthew G. Knepley ierr = PetscFVComputeGradient(fvm, usedFaces, dx, grad);CHKERRQ(ierr); 2303856ac710SMatthew G. Knepley for (f = 0, usedFaces = 0; f < numFaces; ++f) { 2304856ac710SMatthew G. Knepley ierr = DMLabelGetValue(ghostLabel, faces[f], &ghost);CHKERRQ(ierr); 2305a6ba4734SToby Isaac ierr = DMIsBoundaryPoint(dm, faces[f], &boundary);CHKERRQ(ierr); 2306856ac710SMatthew G. Knepley if ((ghost >= 0) || boundary) continue; 2307856ac710SMatthew G. Knepley for (d = 0; d < dim; ++d) gref[usedFaces][d] = grad[usedFaces*dim+d]; 2308856ac710SMatthew G. Knepley ++usedFaces; 2309856ac710SMatthew G. Knepley } 2310856ac710SMatthew G. Knepley } 2311856ac710SMatthew G. Knepley ierr = PetscFree3(dx, grad, gref);CHKERRQ(ierr); 2312856ac710SMatthew G. Knepley PetscFunctionReturn(0); 2313856ac710SMatthew G. Knepley } 2314856ac710SMatthew G. Knepley 2315b81db932SToby Isaac static PetscErrorCode BuildGradientReconstruction_Internal_Tree(DM dm, PetscFV fvm, DM dmFace, PetscScalar *fgeom, DM dmCell, PetscScalar *cgeom) 2316b81db932SToby Isaac { 2317b81db932SToby Isaac DMLabel ghostLabel; 2318b81db932SToby Isaac PetscScalar *dx, *grad, **gref; 2319b81db932SToby Isaac PetscInt dim, cStart, cEnd, c, cEndInterior, fStart, fEnd, f, nStart, nEnd, maxNumFaces = 0; 2320b81db932SToby Isaac PetscSection neighSec; 2321b81db932SToby Isaac PetscInt (*neighbors)[2]; 2322b81db932SToby Isaac PetscInt *counter; 2323b81db932SToby Isaac PetscErrorCode ierr; 2324b81db932SToby Isaac 2325b81db932SToby Isaac PetscFunctionBegin; 2326b81db932SToby Isaac ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 2327b81db932SToby Isaac ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 2328485ad865SMatthew G. Knepley ierr = DMPlexGetGhostCellStratum(dm, &cEndInterior, NULL);CHKERRQ(ierr); 2329485ad865SMatthew G. Knepley if (cEndInterior < 0) cEndInterior = cEnd; 2330b81db932SToby Isaac ierr = PetscSectionCreate(PetscObjectComm((PetscObject)dm),&neighSec);CHKERRQ(ierr); 2331b81db932SToby Isaac ierr = PetscSectionSetChart(neighSec,cStart,cEndInterior);CHKERRQ(ierr); 2332b81db932SToby Isaac ierr = DMPlexGetHeightStratum(dm, 1, &fStart, &fEnd);CHKERRQ(ierr); 2333c58f1c22SToby Isaac ierr = DMGetLabel(dm, "ghost", &ghostLabel);CHKERRQ(ierr); 2334b81db932SToby Isaac for (f = fStart; f < fEnd; f++) { 2335b81db932SToby Isaac const PetscInt *fcells; 2336b81db932SToby Isaac PetscBool boundary; 23375bc680faSToby Isaac PetscInt ghost = -1; 2338b81db932SToby Isaac PetscInt numChildren, numCells, c; 2339b81db932SToby Isaac 234006348e87SToby Isaac if (ghostLabel) {ierr = DMLabelGetValue(ghostLabel, f, &ghost);CHKERRQ(ierr);} 2341a6ba4734SToby Isaac ierr = DMIsBoundaryPoint(dm, f, &boundary);CHKERRQ(ierr); 2342b81db932SToby Isaac ierr = DMPlexGetTreeChildren(dm, f, &numChildren, NULL);CHKERRQ(ierr); 2343b81db932SToby Isaac if ((ghost >= 0) || boundary || numChildren) continue; 2344b81db932SToby Isaac ierr = DMPlexGetSupportSize(dm, f, &numCells);CHKERRQ(ierr); 234506348e87SToby Isaac if (numCells == 2) { 2346b81db932SToby Isaac ierr = DMPlexGetSupport(dm, f, &fcells);CHKERRQ(ierr); 2347b81db932SToby Isaac for (c = 0; c < 2; c++) { 2348b81db932SToby Isaac PetscInt cell = fcells[c]; 2349b81db932SToby Isaac 2350e6885bbbSToby Isaac if (cell >= cStart && cell < cEndInterior) { 2351b81db932SToby Isaac ierr = PetscSectionAddDof(neighSec,cell,1);CHKERRQ(ierr); 2352b81db932SToby Isaac } 2353b81db932SToby Isaac } 2354b81db932SToby Isaac } 235506348e87SToby Isaac } 2356b81db932SToby Isaac ierr = PetscSectionSetUp(neighSec);CHKERRQ(ierr); 2357b81db932SToby Isaac ierr = PetscSectionGetMaxDof(neighSec,&maxNumFaces);CHKERRQ(ierr); 2358b81db932SToby Isaac ierr = PetscFVLeastSquaresSetMaxFaces(fvm, maxNumFaces);CHKERRQ(ierr); 2359b81db932SToby Isaac nStart = 0; 2360b81db932SToby Isaac ierr = PetscSectionGetStorageSize(neighSec,&nEnd);CHKERRQ(ierr); 2361b81db932SToby Isaac ierr = PetscMalloc1((nEnd-nStart),&neighbors);CHKERRQ(ierr); 2362b81db932SToby Isaac ierr = PetscCalloc1((cEndInterior-cStart),&counter);CHKERRQ(ierr); 2363b81db932SToby Isaac for (f = fStart; f < fEnd; f++) { 2364b81db932SToby Isaac const PetscInt *fcells; 2365b81db932SToby Isaac PetscBool boundary; 23665bc680faSToby Isaac PetscInt ghost = -1; 2367b81db932SToby Isaac PetscInt numChildren, numCells, c; 2368b81db932SToby Isaac 236906348e87SToby Isaac if (ghostLabel) {ierr = DMLabelGetValue(ghostLabel, f, &ghost);CHKERRQ(ierr);} 2370a6ba4734SToby Isaac ierr = DMIsBoundaryPoint(dm, f, &boundary);CHKERRQ(ierr); 2371b81db932SToby Isaac ierr = DMPlexGetTreeChildren(dm, f, &numChildren, NULL);CHKERRQ(ierr); 2372b81db932SToby Isaac if ((ghost >= 0) || boundary || numChildren) continue; 2373b81db932SToby Isaac ierr = DMPlexGetSupportSize(dm, f, &numCells);CHKERRQ(ierr); 237406348e87SToby Isaac if (numCells == 2) { 2375b81db932SToby Isaac ierr = DMPlexGetSupport(dm, f, &fcells);CHKERRQ(ierr); 2376b81db932SToby Isaac for (c = 0; c < 2; c++) { 2377b81db932SToby Isaac PetscInt cell = fcells[c], off; 2378b81db932SToby Isaac 2379e6885bbbSToby Isaac if (cell >= cStart && cell < cEndInterior) { 2380b81db932SToby Isaac ierr = PetscSectionGetOffset(neighSec,cell,&off);CHKERRQ(ierr); 2381b81db932SToby Isaac off += counter[cell - cStart]++; 2382b81db932SToby Isaac neighbors[off][0] = f; 2383b81db932SToby Isaac neighbors[off][1] = fcells[1 - c]; 2384b81db932SToby Isaac } 2385b81db932SToby Isaac } 2386b81db932SToby Isaac } 238706348e87SToby Isaac } 2388b81db932SToby Isaac ierr = PetscFree(counter);CHKERRQ(ierr); 2389b81db932SToby Isaac ierr = PetscMalloc3(maxNumFaces*dim, &dx, maxNumFaces*dim, &grad, maxNumFaces, &gref);CHKERRQ(ierr); 2390b81db932SToby Isaac for (c = cStart; c < cEndInterior; c++) { 2391317218b9SToby Isaac PetscInt numFaces, f, d, off, ghost = -1; 2392640bce14SSatish Balay PetscFVCellGeom *cg; 2393b81db932SToby Isaac 2394b81db932SToby Isaac ierr = DMPlexPointLocalRead(dmCell, c, cgeom, &cg);CHKERRQ(ierr); 2395b81db932SToby Isaac ierr = PetscSectionGetDof(neighSec, c, &numFaces);CHKERRQ(ierr); 2396b81db932SToby Isaac ierr = PetscSectionGetOffset(neighSec, c, &off);CHKERRQ(ierr); 2397317218b9SToby Isaac if (ghostLabel) {ierr = DMLabelGetValue(ghostLabel, c, &ghost);CHKERRQ(ierr);} 2398317218b9SToby Isaac if (ghost < 0 && numFaces < dim) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_ARG_INCOMP,"Cell %D has only %D faces, not enough for gradient reconstruction", c, numFaces); 2399b81db932SToby Isaac for (f = 0; f < numFaces; ++f) { 2400640bce14SSatish Balay PetscFVCellGeom *cg1; 2401b81db932SToby Isaac PetscFVFaceGeom *fg; 2402b81db932SToby Isaac const PetscInt *fcells; 2403b81db932SToby Isaac PetscInt ncell, side, nface; 2404b81db932SToby Isaac 2405b81db932SToby Isaac nface = neighbors[off + f][0]; 2406b81db932SToby Isaac ncell = neighbors[off + f][1]; 2407b81db932SToby Isaac ierr = DMPlexGetSupport(dm,nface,&fcells);CHKERRQ(ierr); 2408b81db932SToby Isaac side = (c != fcells[0]); 2409b81db932SToby Isaac ierr = DMPlexPointLocalRef(dmFace, nface, fgeom, &fg);CHKERRQ(ierr); 2410b81db932SToby Isaac ierr = DMPlexPointLocalRead(dmCell, ncell, cgeom, &cg1);CHKERRQ(ierr); 2411b81db932SToby Isaac for (d = 0; d < dim; ++d) dx[f*dim+d] = cg1->centroid[d] - cg->centroid[d]; 2412b81db932SToby Isaac gref[f] = fg->grad[side]; /* Gradient reconstruction term will go here */ 2413b81db932SToby Isaac } 2414b81db932SToby Isaac ierr = PetscFVComputeGradient(fvm, numFaces, dx, grad);CHKERRQ(ierr); 2415b81db932SToby Isaac for (f = 0; f < numFaces; ++f) { 2416b81db932SToby Isaac for (d = 0; d < dim; ++d) gref[f][d] = grad[f*dim+d]; 2417b81db932SToby Isaac } 2418b81db932SToby Isaac } 2419b81db932SToby Isaac ierr = PetscFree3(dx, grad, gref);CHKERRQ(ierr); 24205fe94518SToby Isaac ierr = PetscSectionDestroy(&neighSec);CHKERRQ(ierr); 2421b81db932SToby Isaac ierr = PetscFree(neighbors);CHKERRQ(ierr); 2422b81db932SToby Isaac PetscFunctionReturn(0); 2423b81db932SToby Isaac } 2424b81db932SToby Isaac 2425856ac710SMatthew G. Knepley /*@ 2426856ac710SMatthew G. Knepley DMPlexComputeGradientFVM - Compute geometric factors for gradient reconstruction, which are stored in the geometry data, and compute layout for gradient data 2427856ac710SMatthew G. Knepley 2428d083f849SBarry Smith Collective on dm 2429856ac710SMatthew G. Knepley 2430856ac710SMatthew G. Knepley Input Arguments: 2431856ac710SMatthew G. Knepley + dm - The DM 2432856ac710SMatthew G. Knepley . fvm - The PetscFV 24338f9f38e3SMatthew G. Knepley . faceGeometry - The face geometry from DMPlexComputeFaceGeometryFVM() 24348f9f38e3SMatthew G. Knepley - cellGeometry - The face geometry from DMPlexComputeCellGeometryFVM() 2435856ac710SMatthew G. Knepley 2436856ac710SMatthew G. Knepley Output Parameters: 2437856ac710SMatthew G. Knepley + faceGeometry - The geometric factors for gradient calculation are inserted 2438856ac710SMatthew G. Knepley - dmGrad - The DM describing the layout of gradient data 2439856ac710SMatthew G. Knepley 2440856ac710SMatthew G. Knepley Level: developer 2441856ac710SMatthew G. Knepley 2442856ac710SMatthew G. Knepley .seealso: DMPlexGetFaceGeometryFVM(), DMPlexGetCellGeometryFVM() 2443856ac710SMatthew G. Knepley @*/ 2444856ac710SMatthew G. Knepley PetscErrorCode DMPlexComputeGradientFVM(DM dm, PetscFV fvm, Vec faceGeometry, Vec cellGeometry, DM *dmGrad) 2445856ac710SMatthew G. Knepley { 2446856ac710SMatthew G. Knepley DM dmFace, dmCell; 2447856ac710SMatthew G. Knepley PetscScalar *fgeom, *cgeom; 2448b81db932SToby Isaac PetscSection sectionGrad, parentSection; 2449856ac710SMatthew G. Knepley PetscInt dim, pdim, cStart, cEnd, cEndInterior, c; 2450856ac710SMatthew G. Knepley PetscErrorCode ierr; 2451856ac710SMatthew G. Knepley 2452856ac710SMatthew G. Knepley PetscFunctionBegin; 2453856ac710SMatthew G. Knepley ierr = DMGetDimension(dm, &dim);CHKERRQ(ierr); 2454856ac710SMatthew G. Knepley ierr = PetscFVGetNumComponents(fvm, &pdim);CHKERRQ(ierr); 2455856ac710SMatthew G. Knepley ierr = DMPlexGetHeightStratum(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 2456485ad865SMatthew G. Knepley ierr = DMPlexGetGhostCellStratum(dm, &cEndInterior, NULL);CHKERRQ(ierr); 2457856ac710SMatthew G. Knepley /* Construct the interpolant corresponding to each face from the least-square solution over the cell neighborhood */ 2458856ac710SMatthew G. Knepley ierr = VecGetDM(faceGeometry, &dmFace);CHKERRQ(ierr); 2459856ac710SMatthew G. Knepley ierr = VecGetDM(cellGeometry, &dmCell);CHKERRQ(ierr); 2460856ac710SMatthew G. Knepley ierr = VecGetArray(faceGeometry, &fgeom);CHKERRQ(ierr); 2461856ac710SMatthew G. Knepley ierr = VecGetArray(cellGeometry, &cgeom);CHKERRQ(ierr); 2462b81db932SToby Isaac ierr = DMPlexGetTree(dm,&parentSection,NULL,NULL,NULL,NULL);CHKERRQ(ierr); 2463b81db932SToby Isaac if (!parentSection) { 2464856ac710SMatthew G. Knepley ierr = BuildGradientReconstruction_Internal(dm, fvm, dmFace, fgeom, dmCell, cgeom);CHKERRQ(ierr); 2465b5a3613cSMatthew G. Knepley } else { 2466b81db932SToby Isaac ierr = BuildGradientReconstruction_Internal_Tree(dm, fvm, dmFace, fgeom, dmCell, cgeom);CHKERRQ(ierr); 2467b81db932SToby Isaac } 2468856ac710SMatthew G. Knepley ierr = VecRestoreArray(faceGeometry, &fgeom);CHKERRQ(ierr); 2469856ac710SMatthew G. Knepley ierr = VecRestoreArray(cellGeometry, &cgeom);CHKERRQ(ierr); 2470856ac710SMatthew G. Knepley /* Create storage for gradients */ 2471856ac710SMatthew G. Knepley ierr = DMClone(dm, dmGrad);CHKERRQ(ierr); 2472856ac710SMatthew G. Knepley ierr = PetscSectionCreate(PetscObjectComm((PetscObject) dm), §ionGrad);CHKERRQ(ierr); 2473856ac710SMatthew G. Knepley ierr = PetscSectionSetChart(sectionGrad, cStart, cEnd);CHKERRQ(ierr); 2474856ac710SMatthew G. Knepley for (c = cStart; c < cEnd; ++c) {ierr = PetscSectionSetDof(sectionGrad, c, pdim*dim);CHKERRQ(ierr);} 2475856ac710SMatthew G. Knepley ierr = PetscSectionSetUp(sectionGrad);CHKERRQ(ierr); 247692fd8e1eSJed Brown ierr = DMSetLocalSection(*dmGrad, sectionGrad);CHKERRQ(ierr); 2477856ac710SMatthew G. Knepley ierr = PetscSectionDestroy(§ionGrad);CHKERRQ(ierr); 2478856ac710SMatthew G. Knepley PetscFunctionReturn(0); 2479856ac710SMatthew G. Knepley } 2480b27d5b9eSToby Isaac 2481c501906fSMatthew G. Knepley /*@ 2482c501906fSMatthew G. Knepley DMPlexGetDataFVM - Retrieve precomputed cell geometry 2483c501906fSMatthew G. Knepley 2484d083f849SBarry Smith Collective on dm 2485c501906fSMatthew G. Knepley 2486c501906fSMatthew G. Knepley Input Arguments: 2487c501906fSMatthew G. Knepley + dm - The DM 2488c501906fSMatthew G. Knepley - fvm - The PetscFV 2489c501906fSMatthew G. Knepley 2490c501906fSMatthew G. Knepley Output Parameters: 2491c501906fSMatthew G. Knepley + cellGeometry - The cell geometry 2492c501906fSMatthew G. Knepley . faceGeometry - The face geometry 2493c501906fSMatthew G. Knepley - dmGrad - The gradient matrices 2494c501906fSMatthew G. Knepley 2495c501906fSMatthew G. Knepley Level: developer 2496c501906fSMatthew G. Knepley 2497c501906fSMatthew G. Knepley .seealso: DMPlexComputeGeometryFVM() 2498c501906fSMatthew G. Knepley @*/ 2499b27d5b9eSToby Isaac PetscErrorCode DMPlexGetDataFVM(DM dm, PetscFV fv, Vec *cellgeom, Vec *facegeom, DM *gradDM) 2500b27d5b9eSToby Isaac { 2501b27d5b9eSToby Isaac PetscObject cellgeomobj, facegeomobj; 2502b27d5b9eSToby Isaac PetscErrorCode ierr; 2503b27d5b9eSToby Isaac 2504b27d5b9eSToby Isaac PetscFunctionBegin; 2505b27d5b9eSToby Isaac ierr = PetscObjectQuery((PetscObject) dm, "DMPlex_cellgeom_fvm", &cellgeomobj);CHKERRQ(ierr); 2506b27d5b9eSToby Isaac if (!cellgeomobj) { 2507b27d5b9eSToby Isaac Vec cellgeomInt, facegeomInt; 2508b27d5b9eSToby Isaac 2509b27d5b9eSToby Isaac ierr = DMPlexComputeGeometryFVM(dm, &cellgeomInt, &facegeomInt);CHKERRQ(ierr); 2510b27d5b9eSToby Isaac ierr = PetscObjectCompose((PetscObject) dm, "DMPlex_cellgeom_fvm",(PetscObject)cellgeomInt);CHKERRQ(ierr); 2511b27d5b9eSToby Isaac ierr = PetscObjectCompose((PetscObject) dm, "DMPlex_facegeom_fvm",(PetscObject)facegeomInt);CHKERRQ(ierr); 2512b27d5b9eSToby Isaac ierr = VecDestroy(&cellgeomInt);CHKERRQ(ierr); 2513b27d5b9eSToby Isaac ierr = VecDestroy(&facegeomInt);CHKERRQ(ierr); 2514b27d5b9eSToby Isaac ierr = PetscObjectQuery((PetscObject) dm, "DMPlex_cellgeom_fvm", &cellgeomobj);CHKERRQ(ierr); 2515b27d5b9eSToby Isaac } 2516b27d5b9eSToby Isaac ierr = PetscObjectQuery((PetscObject) dm, "DMPlex_facegeom_fvm", &facegeomobj);CHKERRQ(ierr); 2517b27d5b9eSToby Isaac if (cellgeom) *cellgeom = (Vec) cellgeomobj; 2518b27d5b9eSToby Isaac if (facegeom) *facegeom = (Vec) facegeomobj; 2519b27d5b9eSToby Isaac if (gradDM) { 2520b27d5b9eSToby Isaac PetscObject gradobj; 2521b27d5b9eSToby Isaac PetscBool computeGradients; 2522b27d5b9eSToby Isaac 2523b27d5b9eSToby Isaac ierr = PetscFVGetComputeGradients(fv,&computeGradients);CHKERRQ(ierr); 2524b27d5b9eSToby Isaac if (!computeGradients) { 2525b27d5b9eSToby Isaac *gradDM = NULL; 2526b27d5b9eSToby Isaac PetscFunctionReturn(0); 2527b27d5b9eSToby Isaac } 2528b27d5b9eSToby Isaac ierr = PetscObjectQuery((PetscObject) dm, "DMPlex_dmgrad_fvm", &gradobj);CHKERRQ(ierr); 2529b27d5b9eSToby Isaac if (!gradobj) { 2530b27d5b9eSToby Isaac DM dmGradInt; 2531b27d5b9eSToby Isaac 2532b27d5b9eSToby Isaac ierr = DMPlexComputeGradientFVM(dm,fv,(Vec) facegeomobj,(Vec) cellgeomobj,&dmGradInt);CHKERRQ(ierr); 2533b27d5b9eSToby Isaac ierr = PetscObjectCompose((PetscObject) dm, "DMPlex_dmgrad_fvm", (PetscObject)dmGradInt);CHKERRQ(ierr); 2534b27d5b9eSToby Isaac ierr = DMDestroy(&dmGradInt);CHKERRQ(ierr); 2535b27d5b9eSToby Isaac ierr = PetscObjectQuery((PetscObject) dm, "DMPlex_dmgrad_fvm", &gradobj);CHKERRQ(ierr); 2536b27d5b9eSToby Isaac } 2537b27d5b9eSToby Isaac *gradDM = (DM) gradobj; 2538b27d5b9eSToby Isaac } 2539b27d5b9eSToby Isaac PetscFunctionReturn(0); 2540b27d5b9eSToby Isaac } 2541d6143a4eSToby Isaac 25429d150b73SToby Isaac static PetscErrorCode DMPlexCoordinatesToReference_NewtonUpdate(PetscInt dimC, PetscInt dimR, PetscScalar *J, PetscScalar *invJ, PetscScalar *work, PetscReal *resNeg, PetscReal *guess) 25439d150b73SToby Isaac { 25449d150b73SToby Isaac PetscInt l, m; 25459d150b73SToby Isaac 2546cd345991SToby Isaac PetscFunctionBeginHot; 25479d150b73SToby Isaac if (dimC == dimR && dimR <= 3) { 25489d150b73SToby Isaac /* invert Jacobian, multiply */ 25499d150b73SToby Isaac PetscScalar det, idet; 25509d150b73SToby Isaac 25519d150b73SToby Isaac switch (dimR) { 25529d150b73SToby Isaac case 1: 25539d150b73SToby Isaac invJ[0] = 1./ J[0]; 25549d150b73SToby Isaac break; 25559d150b73SToby Isaac case 2: 25569d150b73SToby Isaac det = J[0] * J[3] - J[1] * J[2]; 25579d150b73SToby Isaac idet = 1./det; 25589d150b73SToby Isaac invJ[0] = J[3] * idet; 25599d150b73SToby Isaac invJ[1] = -J[1] * idet; 25609d150b73SToby Isaac invJ[2] = -J[2] * idet; 25619d150b73SToby Isaac invJ[3] = J[0] * idet; 25629d150b73SToby Isaac break; 25639d150b73SToby Isaac case 3: 25649d150b73SToby Isaac { 25659d150b73SToby Isaac invJ[0] = J[4] * J[8] - J[5] * J[7]; 25669d150b73SToby Isaac invJ[1] = J[2] * J[7] - J[1] * J[8]; 25679d150b73SToby Isaac invJ[2] = J[1] * J[5] - J[2] * J[4]; 25689d150b73SToby Isaac det = invJ[0] * J[0] + invJ[1] * J[3] + invJ[2] * J[6]; 25699d150b73SToby Isaac idet = 1./det; 25709d150b73SToby Isaac invJ[0] *= idet; 25719d150b73SToby Isaac invJ[1] *= idet; 25729d150b73SToby Isaac invJ[2] *= idet; 25739d150b73SToby Isaac invJ[3] = idet * (J[5] * J[6] - J[3] * J[8]); 25749d150b73SToby Isaac invJ[4] = idet * (J[0] * J[8] - J[2] * J[6]); 25759d150b73SToby Isaac invJ[5] = idet * (J[2] * J[3] - J[0] * J[5]); 25769d150b73SToby Isaac invJ[6] = idet * (J[3] * J[7] - J[4] * J[6]); 25779d150b73SToby Isaac invJ[7] = idet * (J[1] * J[6] - J[0] * J[7]); 25789d150b73SToby Isaac invJ[8] = idet * (J[0] * J[4] - J[1] * J[3]); 25799d150b73SToby Isaac } 25809d150b73SToby Isaac break; 25819d150b73SToby Isaac } 25829d150b73SToby Isaac for (l = 0; l < dimR; l++) { 25839d150b73SToby Isaac for (m = 0; m < dimC; m++) { 2584c6e120d1SToby Isaac guess[l] += PetscRealPart(invJ[l * dimC + m]) * resNeg[m]; 25859d150b73SToby Isaac } 25869d150b73SToby Isaac } 25879d150b73SToby Isaac } else { 25889d150b73SToby Isaac #if defined(PETSC_USE_COMPLEX) 25899d150b73SToby Isaac char transpose = 'C'; 25909d150b73SToby Isaac #else 25919d150b73SToby Isaac char transpose = 'T'; 25929d150b73SToby Isaac #endif 25939d150b73SToby Isaac PetscBLASInt m = dimR; 25949d150b73SToby Isaac PetscBLASInt n = dimC; 25959d150b73SToby Isaac PetscBLASInt one = 1; 25969d150b73SToby Isaac PetscBLASInt worksize = dimR * dimC, info; 25979d150b73SToby Isaac 25989d150b73SToby Isaac for (l = 0; l < dimC; l++) {invJ[l] = resNeg[l];} 25999d150b73SToby Isaac 26009d150b73SToby Isaac PetscStackCallBLAS("LAPACKgels",LAPACKgels_(&transpose,&m,&n,&one,J,&m,invJ,&n,work,&worksize, &info)); 26019d150b73SToby Isaac if (info != 0) SETERRQ(PETSC_COMM_SELF,PETSC_ERR_LIB,"Bad argument to GELS"); 26029d150b73SToby Isaac 2603c6e120d1SToby Isaac for (l = 0; l < dimR; l++) {guess[l] += PetscRealPart(invJ[l]);} 26049d150b73SToby Isaac } 26059d150b73SToby Isaac PetscFunctionReturn(0); 26069d150b73SToby Isaac } 26079d150b73SToby Isaac 26089d150b73SToby Isaac static PetscErrorCode DMPlexCoordinatesToReference_Tensor(DM dm, PetscInt cell, PetscInt numPoints, const PetscReal realCoords[], PetscReal refCoords[], Vec coords, PetscInt dimC, PetscInt dimR) 26099d150b73SToby Isaac { 2610c0cbe899SToby Isaac PetscInt coordSize, i, j, k, l, m, maxIts = 7, numV = (1 << dimR); 26119d150b73SToby Isaac PetscScalar *coordsScalar = NULL; 26129d150b73SToby Isaac PetscReal *cellData, *cellCoords, *cellCoeffs, *extJ, *resNeg; 26139d150b73SToby Isaac PetscScalar *J, *invJ, *work; 26149d150b73SToby Isaac PetscErrorCode ierr; 26159d150b73SToby Isaac 26169d150b73SToby Isaac PetscFunctionBegin; 26179d150b73SToby Isaac PetscValidHeaderSpecific(dm,DM_CLASSID,1); 26189d150b73SToby Isaac ierr = DMPlexVecGetClosure(dm, NULL, coords, cell, &coordSize, &coordsScalar);CHKERRQ(ierr); 261913903a91SSatish Balay if (coordSize < dimC * numV) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Expecting at least %D coordinates, got %D",dimC * (1 << dimR), coordSize); 262069291d52SBarry Smith ierr = DMGetWorkArray(dm, 2 * coordSize + dimR + dimC, MPIU_REAL, &cellData);CHKERRQ(ierr); 262169291d52SBarry Smith ierr = DMGetWorkArray(dm, 3 * dimR * dimC, MPIU_SCALAR, &J);CHKERRQ(ierr); 26229d150b73SToby Isaac cellCoords = &cellData[0]; 26239d150b73SToby Isaac cellCoeffs = &cellData[coordSize]; 26249d150b73SToby Isaac extJ = &cellData[2 * coordSize]; 26259d150b73SToby Isaac resNeg = &cellData[2 * coordSize + dimR]; 26269d150b73SToby Isaac invJ = &J[dimR * dimC]; 26279d150b73SToby Isaac work = &J[2 * dimR * dimC]; 26289d150b73SToby Isaac if (dimR == 2) { 26299d150b73SToby Isaac const PetscInt zToPlex[4] = {0, 1, 3, 2}; 26309d150b73SToby Isaac 26319d150b73SToby Isaac for (i = 0; i < 4; i++) { 26329d150b73SToby Isaac PetscInt plexI = zToPlex[i]; 26339d150b73SToby Isaac 26349d150b73SToby Isaac for (j = 0; j < dimC; j++) { 26359d150b73SToby Isaac cellCoords[dimC * i + j] = PetscRealPart(coordsScalar[dimC * plexI + j]); 26369d150b73SToby Isaac } 26379d150b73SToby Isaac } 26389d150b73SToby Isaac } else if (dimR == 3) { 26399d150b73SToby Isaac const PetscInt zToPlex[8] = {0, 3, 1, 2, 4, 5, 7, 6}; 26409d150b73SToby Isaac 26419d150b73SToby Isaac for (i = 0; i < 8; i++) { 26429d150b73SToby Isaac PetscInt plexI = zToPlex[i]; 26439d150b73SToby Isaac 26449d150b73SToby Isaac for (j = 0; j < dimC; j++) { 26459d150b73SToby Isaac cellCoords[dimC * i + j] = PetscRealPart(coordsScalar[dimC * plexI + j]); 26469d150b73SToby Isaac } 26479d150b73SToby Isaac } 26489d150b73SToby Isaac } else { 26499d150b73SToby Isaac for (i = 0; i < coordSize; i++) {cellCoords[i] = PetscRealPart(coordsScalar[i]);} 26509d150b73SToby Isaac } 26519d150b73SToby Isaac /* Perform the shuffling transform that converts values at the corners of [-1,1]^d to coefficients */ 26529d150b73SToby Isaac for (i = 0; i < dimR; i++) { 26539d150b73SToby Isaac PetscReal *swap; 26549d150b73SToby Isaac 26559d150b73SToby Isaac for (j = 0; j < (numV / 2); j++) { 26569d150b73SToby Isaac for (k = 0; k < dimC; k++) { 26579d150b73SToby Isaac cellCoeffs[dimC * j + k] = 0.5 * (cellCoords[dimC * (2 * j + 1) + k] + cellCoords[dimC * 2 * j + k]); 26589d150b73SToby Isaac cellCoeffs[dimC * (j + (numV / 2)) + k] = 0.5 * (cellCoords[dimC * (2 * j + 1) + k] - cellCoords[dimC * 2 * j + k]); 26599d150b73SToby Isaac } 26609d150b73SToby Isaac } 26619d150b73SToby Isaac 26629d150b73SToby Isaac if (i < dimR - 1) { 26639d150b73SToby Isaac swap = cellCoeffs; 26649d150b73SToby Isaac cellCoeffs = cellCoords; 26659d150b73SToby Isaac cellCoords = swap; 26669d150b73SToby Isaac } 26679d150b73SToby Isaac } 2668580bdb30SBarry Smith ierr = PetscArrayzero(refCoords,numPoints * dimR);CHKERRQ(ierr); 26699d150b73SToby Isaac for (j = 0; j < numPoints; j++) { 26709d150b73SToby Isaac for (i = 0; i < maxIts; i++) { 26719d150b73SToby Isaac PetscReal *guess = &refCoords[dimR * j]; 26729d150b73SToby Isaac 26739d150b73SToby Isaac /* compute -residual and Jacobian */ 26749d150b73SToby Isaac for (k = 0; k < dimC; k++) {resNeg[k] = realCoords[dimC * j + k];} 26759d150b73SToby Isaac for (k = 0; k < dimC * dimR; k++) {J[k] = 0.;} 26769d150b73SToby Isaac for (k = 0; k < numV; k++) { 26779d150b73SToby Isaac PetscReal extCoord = 1.; 26789d150b73SToby Isaac for (l = 0; l < dimR; l++) { 26799d150b73SToby Isaac PetscReal coord = guess[l]; 26809d150b73SToby Isaac PetscInt dep = (k & (1 << l)) >> l; 26819d150b73SToby Isaac 26829d150b73SToby Isaac extCoord *= dep * coord + !dep; 26839d150b73SToby Isaac extJ[l] = dep; 26849d150b73SToby Isaac 26859d150b73SToby Isaac for (m = 0; m < dimR; m++) { 26869d150b73SToby Isaac PetscReal coord = guess[m]; 26879d150b73SToby Isaac PetscInt dep = ((k & (1 << m)) >> m) && (m != l); 26889d150b73SToby Isaac PetscReal mult = dep * coord + !dep; 26899d150b73SToby Isaac 26909d150b73SToby Isaac extJ[l] *= mult; 26919d150b73SToby Isaac } 26929d150b73SToby Isaac } 26939d150b73SToby Isaac for (l = 0; l < dimC; l++) { 26949d150b73SToby Isaac PetscReal coeff = cellCoeffs[dimC * k + l]; 26959d150b73SToby Isaac 26969d150b73SToby Isaac resNeg[l] -= coeff * extCoord; 26979d150b73SToby Isaac for (m = 0; m < dimR; m++) { 26989d150b73SToby Isaac J[dimR * l + m] += coeff * extJ[m]; 26999d150b73SToby Isaac } 27009d150b73SToby Isaac } 27019d150b73SToby Isaac } 270276bd3646SJed Brown if (0 && PetscDefined(USE_DEBUG)) { 27030611203eSToby Isaac PetscReal maxAbs = 0.; 27040611203eSToby Isaac 27050611203eSToby Isaac for (l = 0; l < dimC; l++) { 27060611203eSToby Isaac maxAbs = PetscMax(maxAbs,PetscAbsReal(resNeg[l])); 27070611203eSToby Isaac } 2708087ef6b2SMatthew G. Knepley ierr = PetscInfo4(dm,"cell %D, point %D, iter %D: res %g\n",cell,j,i,(double) maxAbs);CHKERRQ(ierr); 27090611203eSToby Isaac } 27109d150b73SToby Isaac 27119d150b73SToby Isaac ierr = DMPlexCoordinatesToReference_NewtonUpdate(dimC,dimR,J,invJ,work,resNeg,guess);CHKERRQ(ierr); 27129d150b73SToby Isaac } 27139d150b73SToby Isaac } 271469291d52SBarry Smith ierr = DMRestoreWorkArray(dm, 3 * dimR * dimC, MPIU_SCALAR, &J);CHKERRQ(ierr); 271569291d52SBarry Smith ierr = DMRestoreWorkArray(dm, 2 * coordSize + dimR + dimC, MPIU_REAL, &cellData);CHKERRQ(ierr); 27169d150b73SToby Isaac ierr = DMPlexVecRestoreClosure(dm, NULL, coords, cell, &coordSize, &coordsScalar);CHKERRQ(ierr); 27179d150b73SToby Isaac PetscFunctionReturn(0); 27189d150b73SToby Isaac } 27199d150b73SToby Isaac 27209d150b73SToby Isaac static PetscErrorCode DMPlexReferenceToCoordinates_Tensor(DM dm, PetscInt cell, PetscInt numPoints, const PetscReal refCoords[], PetscReal realCoords[], Vec coords, PetscInt dimC, PetscInt dimR) 27219d150b73SToby Isaac { 27229d150b73SToby Isaac PetscInt coordSize, i, j, k, l, numV = (1 << dimR); 27239d150b73SToby Isaac PetscScalar *coordsScalar = NULL; 27249d150b73SToby Isaac PetscReal *cellData, *cellCoords, *cellCoeffs; 27259d150b73SToby Isaac PetscErrorCode ierr; 27269d150b73SToby Isaac 27279d150b73SToby Isaac PetscFunctionBegin; 27289d150b73SToby Isaac PetscValidHeaderSpecific(dm,DM_CLASSID,1); 27299d150b73SToby Isaac ierr = DMPlexVecGetClosure(dm, NULL, coords, cell, &coordSize, &coordsScalar);CHKERRQ(ierr); 273013903a91SSatish Balay if (coordSize < dimC * numV) SETERRQ2(PETSC_COMM_SELF,PETSC_ERR_PLIB,"Expecting at least %D coordinates, got %D",dimC * (1 << dimR), coordSize); 273169291d52SBarry Smith ierr = DMGetWorkArray(dm, 2 * coordSize, MPIU_REAL, &cellData);CHKERRQ(ierr); 27329d150b73SToby Isaac cellCoords = &cellData[0]; 27339d150b73SToby Isaac cellCoeffs = &cellData[coordSize]; 27349d150b73SToby Isaac if (dimR == 2) { 27359d150b73SToby Isaac const PetscInt zToPlex[4] = {0, 1, 3, 2}; 27369d150b73SToby Isaac 27379d150b73SToby Isaac for (i = 0; i < 4; i++) { 27389d150b73SToby Isaac PetscInt plexI = zToPlex[i]; 27399d150b73SToby Isaac 27409d150b73SToby Isaac for (j = 0; j < dimC; j++) { 27419d150b73SToby Isaac cellCoords[dimC * i + j] = PetscRealPart(coordsScalar[dimC * plexI + j]); 27429d150b73SToby Isaac } 27439d150b73SToby Isaac } 27449d150b73SToby Isaac } else if (dimR == 3) { 27459d150b73SToby Isaac const PetscInt zToPlex[8] = {0, 3, 1, 2, 4, 5, 7, 6}; 27469d150b73SToby Isaac 27479d150b73SToby Isaac for (i = 0; i < 8; i++) { 27489d150b73SToby Isaac PetscInt plexI = zToPlex[i]; 27499d150b73SToby Isaac 27509d150b73SToby Isaac for (j = 0; j < dimC; j++) { 27519d150b73SToby Isaac cellCoords[dimC * i + j] = PetscRealPart(coordsScalar[dimC * plexI + j]); 27529d150b73SToby Isaac } 27539d150b73SToby Isaac } 27549d150b73SToby Isaac } else { 27559d150b73SToby Isaac for (i = 0; i < coordSize; i++) {cellCoords[i] = PetscRealPart(coordsScalar[i]);} 27569d150b73SToby Isaac } 27579d150b73SToby Isaac /* Perform the shuffling transform that converts values at the corners of [-1,1]^d to coefficients */ 27589d150b73SToby Isaac for (i = 0; i < dimR; i++) { 27599d150b73SToby Isaac PetscReal *swap; 27609d150b73SToby Isaac 27619d150b73SToby Isaac for (j = 0; j < (numV / 2); j++) { 27629d150b73SToby Isaac for (k = 0; k < dimC; k++) { 27639d150b73SToby Isaac cellCoeffs[dimC * j + k] = 0.5 * (cellCoords[dimC * (2 * j + 1) + k] + cellCoords[dimC * 2 * j + k]); 27649d150b73SToby Isaac cellCoeffs[dimC * (j + (numV / 2)) + k] = 0.5 * (cellCoords[dimC * (2 * j + 1) + k] - cellCoords[dimC * 2 * j + k]); 27659d150b73SToby Isaac } 27669d150b73SToby Isaac } 27679d150b73SToby Isaac 27689d150b73SToby Isaac if (i < dimR - 1) { 27699d150b73SToby Isaac swap = cellCoeffs; 27709d150b73SToby Isaac cellCoeffs = cellCoords; 27719d150b73SToby Isaac cellCoords = swap; 27729d150b73SToby Isaac } 27739d150b73SToby Isaac } 2774580bdb30SBarry Smith ierr = PetscArrayzero(realCoords,numPoints * dimC);CHKERRQ(ierr); 27759d150b73SToby Isaac for (j = 0; j < numPoints; j++) { 27769d150b73SToby Isaac const PetscReal *guess = &refCoords[dimR * j]; 27779d150b73SToby Isaac PetscReal *mapped = &realCoords[dimC * j]; 27789d150b73SToby Isaac 27799d150b73SToby Isaac for (k = 0; k < numV; k++) { 27809d150b73SToby Isaac PetscReal extCoord = 1.; 27819d150b73SToby Isaac for (l = 0; l < dimR; l++) { 27829d150b73SToby Isaac PetscReal coord = guess[l]; 27839d150b73SToby Isaac PetscInt dep = (k & (1 << l)) >> l; 27849d150b73SToby Isaac 27859d150b73SToby Isaac extCoord *= dep * coord + !dep; 27869d150b73SToby Isaac } 27879d150b73SToby Isaac for (l = 0; l < dimC; l++) { 27889d150b73SToby Isaac PetscReal coeff = cellCoeffs[dimC * k + l]; 27899d150b73SToby Isaac 27909d150b73SToby Isaac mapped[l] += coeff * extCoord; 27919d150b73SToby Isaac } 27929d150b73SToby Isaac } 27939d150b73SToby Isaac } 279469291d52SBarry Smith ierr = DMRestoreWorkArray(dm, 2 * coordSize, MPIU_REAL, &cellData);CHKERRQ(ierr); 27959d150b73SToby Isaac ierr = DMPlexVecRestoreClosure(dm, NULL, coords, cell, &coordSize, &coordsScalar);CHKERRQ(ierr); 27969d150b73SToby Isaac PetscFunctionReturn(0); 27979d150b73SToby Isaac } 27989d150b73SToby Isaac 27999c3cf19fSMatthew G. Knepley /* TODO: TOBY please fix this for Nc > 1 */ 28009c3cf19fSMatthew G. Knepley static PetscErrorCode DMPlexCoordinatesToReference_FE(DM dm, PetscFE fe, PetscInt cell, PetscInt numPoints, const PetscReal realCoords[], PetscReal refCoords[], Vec coords, PetscInt Nc, PetscInt dimR) 28019d150b73SToby Isaac { 28029c3cf19fSMatthew G. Knepley PetscInt numComp, pdim, i, j, k, l, m, maxIter = 7, coordSize; 2803c6e120d1SToby Isaac PetscScalar *nodes = NULL; 2804c6e120d1SToby Isaac PetscReal *invV, *modes; 2805c6e120d1SToby Isaac PetscReal *B, *D, *resNeg; 2806c6e120d1SToby Isaac PetscScalar *J, *invJ, *work; 28079d150b73SToby Isaac PetscErrorCode ierr; 28089d150b73SToby Isaac 28099d150b73SToby Isaac PetscFunctionBegin; 28109c3cf19fSMatthew G. Knepley ierr = PetscFEGetDimension(fe, &pdim);CHKERRQ(ierr); 28119d150b73SToby Isaac ierr = PetscFEGetNumComponents(fe, &numComp);CHKERRQ(ierr); 28129c3cf19fSMatthew G. Knepley if (numComp != Nc) SETERRQ2(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"coordinate discretization must have as many components (%D) as embedding dimension (!= %D)",numComp,Nc); 28139d150b73SToby Isaac ierr = DMPlexVecGetClosure(dm, NULL, coords, cell, &coordSize, &nodes);CHKERRQ(ierr); 28149d150b73SToby Isaac /* convert nodes to values in the stable evaluation basis */ 281569291d52SBarry Smith ierr = DMGetWorkArray(dm,pdim,MPIU_REAL,&modes);CHKERRQ(ierr); 28169d150b73SToby Isaac invV = fe->invV; 2817012b7cc6SMatthew G. Knepley for (i = 0; i < pdim; ++i) { 2818012b7cc6SMatthew G. Knepley modes[i] = 0.; 2819012b7cc6SMatthew G. Knepley for (j = 0; j < pdim; ++j) { 2820012b7cc6SMatthew G. Knepley modes[i] += invV[i * pdim + j] * PetscRealPart(nodes[j]); 28219d150b73SToby Isaac } 28229d150b73SToby Isaac } 282369291d52SBarry Smith ierr = DMGetWorkArray(dm,pdim * Nc + pdim * Nc * dimR + Nc,MPIU_REAL,&B);CHKERRQ(ierr); 28249c3cf19fSMatthew G. Knepley D = &B[pdim*Nc]; 28259c3cf19fSMatthew G. Knepley resNeg = &D[pdim*Nc * dimR]; 282669291d52SBarry Smith ierr = DMGetWorkArray(dm,3 * Nc * dimR,MPIU_SCALAR,&J);CHKERRQ(ierr); 28279c3cf19fSMatthew G. Knepley invJ = &J[Nc * dimR]; 28289c3cf19fSMatthew G. Knepley work = &invJ[Nc * dimR]; 28299d150b73SToby Isaac for (i = 0; i < numPoints * dimR; i++) {refCoords[i] = 0.;} 28309d150b73SToby Isaac for (j = 0; j < numPoints; j++) { 28319b1f03cbSToby Isaac for (i = 0; i < maxIter; i++) { /* we could batch this so that we're not making big B and D arrays all the time */ 28329d150b73SToby Isaac PetscReal *guess = &refCoords[j * dimR]; 28339d150b73SToby Isaac ierr = PetscSpaceEvaluate(fe->basisSpace, 1, guess, B, D, NULL);CHKERRQ(ierr); 28349c3cf19fSMatthew G. Knepley for (k = 0; k < Nc; k++) {resNeg[k] = realCoords[j * Nc + k];} 28359c3cf19fSMatthew G. Knepley for (k = 0; k < Nc * dimR; k++) {J[k] = 0.;} 28369c3cf19fSMatthew G. Knepley for (k = 0; k < pdim; k++) { 28379c3cf19fSMatthew G. Knepley for (l = 0; l < Nc; l++) { 2838012b7cc6SMatthew G. Knepley resNeg[l] -= modes[k] * B[k * Nc + l]; 28399d150b73SToby Isaac for (m = 0; m < dimR; m++) { 2840012b7cc6SMatthew G. Knepley J[l * dimR + m] += modes[k] * D[(k * Nc + l) * dimR + m]; 28419d150b73SToby Isaac } 28429d150b73SToby Isaac } 28439d150b73SToby Isaac } 284476bd3646SJed Brown if (0 && PetscDefined(USE_DEBUG)) { 28450611203eSToby Isaac PetscReal maxAbs = 0.; 28460611203eSToby Isaac 28479c3cf19fSMatthew G. Knepley for (l = 0; l < Nc; l++) { 28480611203eSToby Isaac maxAbs = PetscMax(maxAbs,PetscAbsReal(resNeg[l])); 28490611203eSToby Isaac } 2850087ef6b2SMatthew G. Knepley ierr = PetscInfo4(dm,"cell %D, point %D, iter %D: res %g\n",cell,j,i,(double) maxAbs);CHKERRQ(ierr); 28510611203eSToby Isaac } 28529c3cf19fSMatthew G. Knepley ierr = DMPlexCoordinatesToReference_NewtonUpdate(Nc,dimR,J,invJ,work,resNeg,guess);CHKERRQ(ierr); 28539d150b73SToby Isaac } 28549d150b73SToby Isaac } 285569291d52SBarry Smith ierr = DMRestoreWorkArray(dm,3 * Nc * dimR,MPIU_SCALAR,&J);CHKERRQ(ierr); 285669291d52SBarry Smith ierr = DMRestoreWorkArray(dm,pdim * Nc + pdim * Nc * dimR + Nc,MPIU_REAL,&B);CHKERRQ(ierr); 285769291d52SBarry Smith ierr = DMRestoreWorkArray(dm,pdim,MPIU_REAL,&modes);CHKERRQ(ierr); 28589d150b73SToby Isaac ierr = DMPlexVecRestoreClosure(dm, NULL, coords, cell, &coordSize, &nodes);CHKERRQ(ierr); 28599d150b73SToby Isaac PetscFunctionReturn(0); 28609d150b73SToby Isaac } 28619d150b73SToby Isaac 28629c3cf19fSMatthew G. Knepley /* TODO: TOBY please fix this for Nc > 1 */ 28639c3cf19fSMatthew G. Knepley static PetscErrorCode DMPlexReferenceToCoordinates_FE(DM dm, PetscFE fe, PetscInt cell, PetscInt numPoints, const PetscReal refCoords[], PetscReal realCoords[], Vec coords, PetscInt Nc, PetscInt dimR) 28649d150b73SToby Isaac { 28659c3cf19fSMatthew G. Knepley PetscInt numComp, pdim, i, j, k, l, coordSize; 2866c6e120d1SToby Isaac PetscScalar *nodes = NULL; 2867c6e120d1SToby Isaac PetscReal *invV, *modes; 28689d150b73SToby Isaac PetscReal *B; 28699d150b73SToby Isaac PetscErrorCode ierr; 28709d150b73SToby Isaac 28719d150b73SToby Isaac PetscFunctionBegin; 28729c3cf19fSMatthew G. Knepley ierr = PetscFEGetDimension(fe, &pdim);CHKERRQ(ierr); 28739d150b73SToby Isaac ierr = PetscFEGetNumComponents(fe, &numComp);CHKERRQ(ierr); 28749c3cf19fSMatthew G. Knepley if (numComp != Nc) SETERRQ2(PetscObjectComm((PetscObject)dm),PETSC_ERR_SUP,"coordinate discretization must have as many components (%D) as embedding dimension (!= %D)",numComp,Nc); 28759d150b73SToby Isaac ierr = DMPlexVecGetClosure(dm, NULL, coords, cell, &coordSize, &nodes);CHKERRQ(ierr); 28769d150b73SToby Isaac /* convert nodes to values in the stable evaluation basis */ 287769291d52SBarry Smith ierr = DMGetWorkArray(dm,pdim,MPIU_REAL,&modes);CHKERRQ(ierr); 28789d150b73SToby Isaac invV = fe->invV; 2879012b7cc6SMatthew G. Knepley for (i = 0; i < pdim; ++i) { 2880012b7cc6SMatthew G. Knepley modes[i] = 0.; 2881012b7cc6SMatthew G. Knepley for (j = 0; j < pdim; ++j) { 2882012b7cc6SMatthew G. Knepley modes[i] += invV[i * pdim + j] * PetscRealPart(nodes[j]); 28839d150b73SToby Isaac } 28849d150b73SToby Isaac } 288569291d52SBarry Smith ierr = DMGetWorkArray(dm,numPoints * pdim * Nc,MPIU_REAL,&B);CHKERRQ(ierr); 2886012b7cc6SMatthew G. Knepley ierr = PetscSpaceEvaluate(fe->basisSpace, numPoints, refCoords, B, NULL, NULL);CHKERRQ(ierr); 28879c3cf19fSMatthew G. Knepley for (i = 0; i < numPoints * Nc; i++) {realCoords[i] = 0.;} 28889d150b73SToby Isaac for (j = 0; j < numPoints; j++) { 28899c3cf19fSMatthew G. Knepley PetscReal *mapped = &realCoords[j * Nc]; 28909d150b73SToby Isaac 28919c3cf19fSMatthew G. Knepley for (k = 0; k < pdim; k++) { 28929c3cf19fSMatthew G. Knepley for (l = 0; l < Nc; l++) { 289340cf36b3SToby Isaac mapped[l] += modes[k] * B[(j * pdim + k) * Nc + l]; 28949d150b73SToby Isaac } 28959d150b73SToby Isaac } 28969d150b73SToby Isaac } 289769291d52SBarry Smith ierr = DMRestoreWorkArray(dm,numPoints * pdim * Nc,MPIU_REAL,&B);CHKERRQ(ierr); 289869291d52SBarry Smith ierr = DMRestoreWorkArray(dm,pdim,MPIU_REAL,&modes);CHKERRQ(ierr); 28999d150b73SToby Isaac ierr = DMPlexVecRestoreClosure(dm, NULL, coords, cell, &coordSize, &nodes);CHKERRQ(ierr); 29009d150b73SToby Isaac PetscFunctionReturn(0); 29019d150b73SToby Isaac } 29029d150b73SToby Isaac 2903d6143a4eSToby Isaac /*@ 2904d6143a4eSToby Isaac DMPlexCoordinatesToReference - Pull coordinates back from the mesh to the reference element using a single element 2905d6143a4eSToby Isaac map. This inversion will be accurate inside the reference element, but may be inaccurate for mappings that do not 2906d6143a4eSToby Isaac extend uniquely outside the reference cell (e.g, most non-affine maps) 2907d6143a4eSToby Isaac 2908d6143a4eSToby Isaac Not collective 2909d6143a4eSToby Isaac 2910d6143a4eSToby Isaac Input Parameters: 2911d6143a4eSToby Isaac + dm - The mesh, with coordinate maps defined either by a PetscDS for the coordinate DM (see DMGetCoordinateDM()) or 2912d6143a4eSToby Isaac implicitly by the coordinates of the corner vertices of the cell: as an affine map for simplicial elements, or 2913d6143a4eSToby Isaac as a multilinear map for tensor-product elements 2914d6143a4eSToby Isaac . cell - the cell whose map is used. 2915d6143a4eSToby Isaac . numPoints - the number of points to locate 29161b266c99SBarry Smith - realCoords - (numPoints x coordinate dimension) array of coordinates (see DMGetCoordinateDim()) 2917d6143a4eSToby Isaac 2918d6143a4eSToby Isaac Output Parameters: 2919d6143a4eSToby Isaac . refCoords - (numPoints x dimension) array of reference coordinates (see DMGetDimension()) 29201b266c99SBarry Smith 29211b266c99SBarry Smith Level: intermediate 292273c9229bSMatthew Knepley 292373c9229bSMatthew Knepley .seealso: DMPlexReferenceToCoordinates() 2924d6143a4eSToby Isaac @*/ 2925d6143a4eSToby Isaac PetscErrorCode DMPlexCoordinatesToReference(DM dm, PetscInt cell, PetscInt numPoints, const PetscReal realCoords[], PetscReal refCoords[]) 2926d6143a4eSToby Isaac { 2927485ad865SMatthew G. Knepley PetscInt dimC, dimR, depth, cStart, cEnd, i; 29289d150b73SToby Isaac DM coordDM = NULL; 29299d150b73SToby Isaac Vec coords; 29309d150b73SToby Isaac PetscFE fe = NULL; 29319d150b73SToby Isaac PetscErrorCode ierr; 29329d150b73SToby Isaac 2933d6143a4eSToby Isaac PetscFunctionBegin; 29349d150b73SToby Isaac PetscValidHeaderSpecific(dm,DM_CLASSID,1); 29359d150b73SToby Isaac ierr = DMGetDimension(dm,&dimR);CHKERRQ(ierr); 29369d150b73SToby Isaac ierr = DMGetCoordinateDim(dm,&dimC);CHKERRQ(ierr); 29379d150b73SToby Isaac if (dimR <= 0 || dimC <= 0 || numPoints <= 0) PetscFunctionReturn(0); 29389d150b73SToby Isaac ierr = DMPlexGetDepth(dm,&depth);CHKERRQ(ierr); 29399d150b73SToby Isaac ierr = DMGetCoordinatesLocal(dm,&coords);CHKERRQ(ierr); 29409d150b73SToby Isaac ierr = DMGetCoordinateDM(dm,&coordDM);CHKERRQ(ierr); 29419d150b73SToby Isaac if (coordDM) { 29429d150b73SToby Isaac PetscInt coordFields; 29439d150b73SToby Isaac 29449d150b73SToby Isaac ierr = DMGetNumFields(coordDM,&coordFields);CHKERRQ(ierr); 29459d150b73SToby Isaac if (coordFields) { 29469d150b73SToby Isaac PetscClassId id; 29479d150b73SToby Isaac PetscObject disc; 29489d150b73SToby Isaac 294944a7f3ddSMatthew G. Knepley ierr = DMGetField(coordDM,0,NULL,&disc);CHKERRQ(ierr); 29509d150b73SToby Isaac ierr = PetscObjectGetClassId(disc,&id);CHKERRQ(ierr); 29519d150b73SToby Isaac if (id == PETSCFE_CLASSID) { 29529d150b73SToby Isaac fe = (PetscFE) disc; 29539d150b73SToby Isaac } 29549d150b73SToby Isaac } 29559d150b73SToby Isaac } 2956412e9a14SMatthew G. Knepley ierr = DMPlexGetSimplexOrBoxCells(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 295713903a91SSatish Balay if (cell < cStart || cell >= cEnd) SETERRQ3(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"point %D not in cell range [%D,%D)",cell,cStart,cEnd); 29589d150b73SToby Isaac if (!fe) { /* implicit discretization: affine or multilinear */ 29599d150b73SToby Isaac PetscInt coneSize; 29609d150b73SToby Isaac PetscBool isSimplex, isTensor; 29619d150b73SToby Isaac 29629d150b73SToby Isaac ierr = DMPlexGetConeSize(dm,cell,&coneSize);CHKERRQ(ierr); 29639d150b73SToby Isaac isSimplex = (coneSize == (dimR + 1)) ? PETSC_TRUE : PETSC_FALSE; 29649d150b73SToby Isaac isTensor = (coneSize == ((depth == 1) ? (1 << dimR) : (2 * dimR))) ? PETSC_TRUE : PETSC_FALSE; 29659d150b73SToby Isaac if (isSimplex) { 29669d150b73SToby Isaac PetscReal detJ, *v0, *J, *invJ; 29679d150b73SToby Isaac 296869291d52SBarry Smith ierr = DMGetWorkArray(dm,dimC + 2 * dimC * dimC, MPIU_REAL, &v0);CHKERRQ(ierr); 29699d150b73SToby Isaac J = &v0[dimC]; 29709d150b73SToby Isaac invJ = &J[dimC * dimC]; 29719d150b73SToby Isaac ierr = DMPlexComputeCellGeometryAffineFEM(dm, cell, v0, J, invJ, &detJ);CHKERRQ(ierr); 29729d150b73SToby Isaac for (i = 0; i < numPoints; i++) { /* Apply the inverse affine transformation for each point */ 2973c330f8ffSToby Isaac const PetscReal x0[3] = {-1.,-1.,-1.}; 2974c330f8ffSToby Isaac 2975c330f8ffSToby Isaac CoordinatesRealToRef(dimC, dimR, x0, v0, invJ, &realCoords[dimC * i], &refCoords[dimR * i]); 29769d150b73SToby Isaac } 297769291d52SBarry Smith ierr = DMRestoreWorkArray(dm,dimC + 2 * dimC * dimC, MPIU_REAL, &v0);CHKERRQ(ierr); 29789d150b73SToby Isaac } else if (isTensor) { 29799d150b73SToby Isaac ierr = DMPlexCoordinatesToReference_Tensor(coordDM, cell, numPoints, realCoords, refCoords, coords, dimC, dimR);CHKERRQ(ierr); 29809d150b73SToby Isaac } else SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_SUP,"Unrecognized cone size %D",coneSize); 29819d150b73SToby Isaac } else { 29829d150b73SToby Isaac ierr = DMPlexCoordinatesToReference_FE(coordDM, fe, cell, numPoints, realCoords, refCoords, coords, dimC, dimR);CHKERRQ(ierr); 29839d150b73SToby Isaac } 29849d150b73SToby Isaac PetscFunctionReturn(0); 29859d150b73SToby Isaac } 29869d150b73SToby Isaac 29879d150b73SToby Isaac /*@ 29889d150b73SToby Isaac DMPlexReferenceToCoordinates - Map references coordinates to coordinates in the the mesh for a single element map. 29899d150b73SToby Isaac 29909d150b73SToby Isaac Not collective 29919d150b73SToby Isaac 29929d150b73SToby Isaac Input Parameters: 29939d150b73SToby Isaac + dm - The mesh, with coordinate maps defined either by a PetscDS for the coordinate DM (see DMGetCoordinateDM()) or 29949d150b73SToby Isaac implicitly by the coordinates of the corner vertices of the cell: as an affine map for simplicial elements, or 29959d150b73SToby Isaac as a multilinear map for tensor-product elements 29969d150b73SToby Isaac . cell - the cell whose map is used. 29979d150b73SToby Isaac . numPoints - the number of points to locate 2998a2b725a8SWilliam Gropp - refCoords - (numPoints x dimension) array of reference coordinates (see DMGetDimension()) 29999d150b73SToby Isaac 30009d150b73SToby Isaac Output Parameters: 30019d150b73SToby Isaac . realCoords - (numPoints x coordinate dimension) array of coordinates (see DMGetCoordinateDim()) 30021b266c99SBarry Smith 30031b266c99SBarry Smith Level: intermediate 300473c9229bSMatthew Knepley 300573c9229bSMatthew Knepley .seealso: DMPlexCoordinatesToReference() 30069d150b73SToby Isaac @*/ 30079d150b73SToby Isaac PetscErrorCode DMPlexReferenceToCoordinates(DM dm, PetscInt cell, PetscInt numPoints, const PetscReal refCoords[], PetscReal realCoords[]) 30089d150b73SToby Isaac { 3009485ad865SMatthew G. Knepley PetscInt dimC, dimR, depth, cStart, cEnd, i; 30109d150b73SToby Isaac DM coordDM = NULL; 30119d150b73SToby Isaac Vec coords; 30129d150b73SToby Isaac PetscFE fe = NULL; 30139d150b73SToby Isaac PetscErrorCode ierr; 30149d150b73SToby Isaac 30159d150b73SToby Isaac PetscFunctionBegin; 30169d150b73SToby Isaac PetscValidHeaderSpecific(dm,DM_CLASSID,1); 30179d150b73SToby Isaac ierr = DMGetDimension(dm,&dimR);CHKERRQ(ierr); 30189d150b73SToby Isaac ierr = DMGetCoordinateDim(dm,&dimC);CHKERRQ(ierr); 30199d150b73SToby Isaac if (dimR <= 0 || dimC <= 0 || numPoints <= 0) PetscFunctionReturn(0); 30209d150b73SToby Isaac ierr = DMPlexGetDepth(dm,&depth);CHKERRQ(ierr); 30219d150b73SToby Isaac ierr = DMGetCoordinatesLocal(dm,&coords);CHKERRQ(ierr); 30229d150b73SToby Isaac ierr = DMGetCoordinateDM(dm,&coordDM);CHKERRQ(ierr); 30239d150b73SToby Isaac if (coordDM) { 30249d150b73SToby Isaac PetscInt coordFields; 30259d150b73SToby Isaac 30269d150b73SToby Isaac ierr = DMGetNumFields(coordDM,&coordFields);CHKERRQ(ierr); 30279d150b73SToby Isaac if (coordFields) { 30289d150b73SToby Isaac PetscClassId id; 30299d150b73SToby Isaac PetscObject disc; 30309d150b73SToby Isaac 303144a7f3ddSMatthew G. Knepley ierr = DMGetField(coordDM,0,NULL,&disc);CHKERRQ(ierr); 30329d150b73SToby Isaac ierr = PetscObjectGetClassId(disc,&id);CHKERRQ(ierr); 30339d150b73SToby Isaac if (id == PETSCFE_CLASSID) { 30349d150b73SToby Isaac fe = (PetscFE) disc; 30359d150b73SToby Isaac } 30369d150b73SToby Isaac } 30379d150b73SToby Isaac } 3038412e9a14SMatthew G. Knepley ierr = DMPlexGetSimplexOrBoxCells(dm, 0, &cStart, &cEnd);CHKERRQ(ierr); 303913903a91SSatish Balay if (cell < cStart || cell >= cEnd) SETERRQ3(PETSC_COMM_SELF,PETSC_ERR_ARG_OUTOFRANGE,"point %D not in cell range [%D,%D)",cell,cStart,cEnd); 30409d150b73SToby Isaac if (!fe) { /* implicit discretization: affine or multilinear */ 30419d150b73SToby Isaac PetscInt coneSize; 30429d150b73SToby Isaac PetscBool isSimplex, isTensor; 30439d150b73SToby Isaac 30449d150b73SToby Isaac ierr = DMPlexGetConeSize(dm,cell,&coneSize);CHKERRQ(ierr); 30459d150b73SToby Isaac isSimplex = (coneSize == (dimR + 1)) ? PETSC_TRUE : PETSC_FALSE; 30469d150b73SToby Isaac isTensor = (coneSize == ((depth == 1) ? (1 << dimR) : (2 * dimR))) ? PETSC_TRUE : PETSC_FALSE; 30479d150b73SToby Isaac if (isSimplex) { 30489d150b73SToby Isaac PetscReal detJ, *v0, *J; 30499d150b73SToby Isaac 305069291d52SBarry Smith ierr = DMGetWorkArray(dm,dimC + 2 * dimC * dimC, MPIU_REAL, &v0);CHKERRQ(ierr); 30519d150b73SToby Isaac J = &v0[dimC]; 30529d150b73SToby Isaac ierr = DMPlexComputeCellGeometryAffineFEM(dm, cell, v0, J, NULL, &detJ);CHKERRQ(ierr); 3053c330f8ffSToby Isaac for (i = 0; i < numPoints; i++) { /* Apply the affine transformation for each point */ 3054c330f8ffSToby Isaac const PetscReal xi0[3] = {-1.,-1.,-1.}; 3055c330f8ffSToby Isaac 3056c330f8ffSToby Isaac CoordinatesRefToReal(dimC, dimR, xi0, v0, J, &refCoords[dimR * i], &realCoords[dimC * i]); 30579d150b73SToby Isaac } 305869291d52SBarry Smith ierr = DMRestoreWorkArray(dm,dimC + 2 * dimC * dimC, MPIU_REAL, &v0);CHKERRQ(ierr); 30599d150b73SToby Isaac } else if (isTensor) { 30609d150b73SToby Isaac ierr = DMPlexReferenceToCoordinates_Tensor(coordDM, cell, numPoints, refCoords, realCoords, coords, dimC, dimR);CHKERRQ(ierr); 30619d150b73SToby Isaac } else SETERRQ1(PETSC_COMM_SELF,PETSC_ERR_SUP,"Unrecognized cone size %D",coneSize); 30629d150b73SToby Isaac } else { 30639d150b73SToby Isaac ierr = DMPlexReferenceToCoordinates_FE(coordDM, fe, cell, numPoints, refCoords, realCoords, coords, dimC, dimR);CHKERRQ(ierr); 30649d150b73SToby Isaac } 3065d6143a4eSToby Isaac PetscFunctionReturn(0); 3066d6143a4eSToby Isaac } 30670139fca9SMatthew G. Knepley 30680139fca9SMatthew G. Knepley /*@C 30690139fca9SMatthew G. Knepley DMPlexRemapGeometry - This function maps the original DM coordinates to new coordinates. 30700139fca9SMatthew G. Knepley 30710139fca9SMatthew G. Knepley Not collective 30720139fca9SMatthew G. Knepley 30730139fca9SMatthew G. Knepley Input Parameters: 30740139fca9SMatthew G. Knepley + dm - The DM 30750139fca9SMatthew G. Knepley . time - The time 30760139fca9SMatthew G. Knepley - func - The function transforming current coordinates to new coordaintes 30770139fca9SMatthew G. Knepley 30780139fca9SMatthew G. Knepley Calling sequence of func: 30790139fca9SMatthew G. Knepley $ func(PetscInt dim, PetscInt Nf, PetscInt NfAux, 30800139fca9SMatthew G. Knepley $ const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 30810139fca9SMatthew G. Knepley $ const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 30820139fca9SMatthew G. Knepley $ PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar f[]); 30830139fca9SMatthew G. Knepley 30840139fca9SMatthew G. Knepley + dim - The spatial dimension 30850139fca9SMatthew G. Knepley . Nf - The number of input fields (here 1) 30860139fca9SMatthew G. Knepley . NfAux - The number of input auxiliary fields 30870139fca9SMatthew G. Knepley . uOff - The offset of the coordinates in u[] (here 0) 30880139fca9SMatthew G. Knepley . uOff_x - The offset of the coordinates in u_x[] (here 0) 30890139fca9SMatthew G. Knepley . u - The coordinate values at this point in space 30900139fca9SMatthew G. Knepley . u_t - The coordinate time derivative at this point in space (here NULL) 30910139fca9SMatthew G. Knepley . u_x - The coordinate derivatives at this point in space 30920139fca9SMatthew G. Knepley . aOff - The offset of each auxiliary field in u[] 30930139fca9SMatthew G. Knepley . aOff_x - The offset of each auxiliary field in u_x[] 30940139fca9SMatthew G. Knepley . a - The auxiliary field values at this point in space 30950139fca9SMatthew G. Knepley . a_t - The auxiliary field time derivative at this point in space (or NULL) 30960139fca9SMatthew G. Knepley . a_x - The auxiliary field derivatives at this point in space 30970139fca9SMatthew G. Knepley . t - The current time 30980139fca9SMatthew G. Knepley . x - The coordinates of this point (here not used) 30990139fca9SMatthew G. Knepley . numConstants - The number of constants 31000139fca9SMatthew G. Knepley . constants - The value of each constant 31010139fca9SMatthew G. Knepley - f - The new coordinates at this point in space 31020139fca9SMatthew G. Knepley 31030139fca9SMatthew G. Knepley Level: intermediate 31040139fca9SMatthew G. Knepley 31050139fca9SMatthew G. Knepley .seealso: DMGetCoordinates(), DMGetCoordinatesLocal(), DMGetCoordinateDM(), DMProjectFieldLocal(), DMProjectFieldLabelLocal() 31060139fca9SMatthew G. Knepley @*/ 31070139fca9SMatthew G. Knepley PetscErrorCode DMPlexRemapGeometry(DM dm, PetscReal time, 31080139fca9SMatthew G. Knepley void (*func)(PetscInt, PetscInt, PetscInt, 31090139fca9SMatthew G. Knepley const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[], 31100139fca9SMatthew G. Knepley const PetscInt[], const PetscInt[], const PetscScalar[], const PetscScalar[], const PetscScalar[], 31110139fca9SMatthew G. Knepley PetscReal, const PetscReal[], PetscInt, const PetscScalar[], PetscScalar[])) 31120139fca9SMatthew G. Knepley { 31130139fca9SMatthew G. Knepley DM cdm; 31148bf1a49fSMatthew G. Knepley DMField cf; 31150139fca9SMatthew G. Knepley Vec lCoords, tmpCoords; 31160139fca9SMatthew G. Knepley PetscErrorCode ierr; 31170139fca9SMatthew G. Knepley 31180139fca9SMatthew G. Knepley PetscFunctionBegin; 31190139fca9SMatthew G. Knepley ierr = DMGetCoordinateDM(dm, &cdm);CHKERRQ(ierr); 31200139fca9SMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &lCoords);CHKERRQ(ierr); 31210139fca9SMatthew G. Knepley ierr = DMGetLocalVector(cdm, &tmpCoords);CHKERRQ(ierr); 31220139fca9SMatthew G. Knepley ierr = VecCopy(lCoords, tmpCoords);CHKERRQ(ierr); 31238bf1a49fSMatthew G. Knepley /* We have to do the coordinate field manually right now since the coordinate DM will not have its own */ 31248bf1a49fSMatthew G. Knepley ierr = DMGetCoordinateField(dm, &cf);CHKERRQ(ierr); 31258bf1a49fSMatthew G. Knepley cdm->coordinateField = cf; 31260139fca9SMatthew G. Knepley ierr = DMProjectFieldLocal(cdm, time, tmpCoords, &func, INSERT_VALUES, lCoords);CHKERRQ(ierr); 31278bf1a49fSMatthew G. Knepley cdm->coordinateField = NULL; 31280139fca9SMatthew G. Knepley ierr = DMRestoreLocalVector(cdm, &tmpCoords);CHKERRQ(ierr); 3129cdaaecf7SMatthew G. Knepley ierr = DMSetCoordinatesLocal(dm, lCoords);CHKERRQ(ierr); 31300139fca9SMatthew G. Knepley PetscFunctionReturn(0); 31310139fca9SMatthew G. Knepley } 31320139fca9SMatthew G. Knepley 31330139fca9SMatthew G. Knepley /* Shear applies the transformation, assuming we fix z, 31340139fca9SMatthew G. Knepley / 1 0 m_0 \ 31350139fca9SMatthew G. Knepley | 0 1 m_1 | 31360139fca9SMatthew G. Knepley \ 0 0 1 / 31370139fca9SMatthew G. Knepley */ 31380139fca9SMatthew G. Knepley static void f0_shear(PetscInt dim, PetscInt Nf, PetscInt NfAux, 31390139fca9SMatthew G. Knepley const PetscInt uOff[], const PetscInt uOff_x[], const PetscScalar u[], const PetscScalar u_t[], const PetscScalar u_x[], 31400139fca9SMatthew G. Knepley const PetscInt aOff[], const PetscInt aOff_x[], const PetscScalar a[], const PetscScalar a_t[], const PetscScalar a_x[], 31410139fca9SMatthew G. Knepley PetscReal t, const PetscReal x[], PetscInt numConstants, const PetscScalar constants[], PetscScalar coords[]) 31420139fca9SMatthew G. Knepley { 31430139fca9SMatthew G. Knepley const PetscInt Nc = uOff[1]-uOff[0]; 3144c1f1bd54SMatthew G. Knepley const PetscInt ax = (PetscInt) PetscRealPart(constants[0]); 31450139fca9SMatthew G. Knepley PetscInt c; 31460139fca9SMatthew G. Knepley 31470139fca9SMatthew G. Knepley for (c = 0; c < Nc; ++c) { 31480139fca9SMatthew G. Knepley coords[c] = u[c] + constants[c+1]*u[ax]; 31490139fca9SMatthew G. Knepley } 31500139fca9SMatthew G. Knepley } 31510139fca9SMatthew G. Knepley 31520139fca9SMatthew G. Knepley /*@C 31530139fca9SMatthew G. Knepley DMPlexShearGeometry - This shears the domain, meaning adds a multiple of the shear coordinate to all other coordinates. 31540139fca9SMatthew G. Knepley 31550139fca9SMatthew G. Knepley Not collective 31560139fca9SMatthew G. Knepley 31570139fca9SMatthew G. Knepley Input Parameters: 31580139fca9SMatthew G. Knepley + dm - The DM 31593ee9839eSMatthew G. Knepley . direction - The shear coordinate direction, e.g. 0 is the x-axis 31600139fca9SMatthew G. Knepley - multipliers - The multiplier m for each direction which is not the shear direction 31610139fca9SMatthew G. Knepley 31620139fca9SMatthew G. Knepley Level: intermediate 31630139fca9SMatthew G. Knepley 31640139fca9SMatthew G. Knepley .seealso: DMPlexRemapGeometry() 31650139fca9SMatthew G. Knepley @*/ 31663ee9839eSMatthew G. Knepley PetscErrorCode DMPlexShearGeometry(DM dm, DMDirection direction, PetscReal multipliers[]) 31670139fca9SMatthew G. Knepley { 31680139fca9SMatthew G. Knepley DM cdm; 31690139fca9SMatthew G. Knepley PetscDS cds; 31700139fca9SMatthew G. Knepley PetscObject obj; 31710139fca9SMatthew G. Knepley PetscClassId id; 31720139fca9SMatthew G. Knepley PetscScalar *moduli; 31733ee9839eSMatthew G. Knepley const PetscInt dir = (PetscInt) direction; 31740139fca9SMatthew G. Knepley PetscInt dE, d, e; 31750139fca9SMatthew G. Knepley PetscErrorCode ierr; 31760139fca9SMatthew G. Knepley 31770139fca9SMatthew G. Knepley PetscFunctionBegin; 31780139fca9SMatthew G. Knepley ierr = DMGetCoordinateDM(dm, &cdm);CHKERRQ(ierr); 31790139fca9SMatthew G. Knepley ierr = DMGetCoordinateDim(dm, &dE);CHKERRQ(ierr); 31800139fca9SMatthew G. Knepley ierr = PetscMalloc1(dE+1, &moduli);CHKERRQ(ierr); 31810139fca9SMatthew G. Knepley moduli[0] = dir; 3182cdaaecf7SMatthew G. Knepley for (d = 0, e = 0; d < dE; ++d) moduli[d+1] = d == dir ? 0.0 : (multipliers ? multipliers[e++] : 1.0); 31830139fca9SMatthew G. Knepley ierr = DMGetDS(cdm, &cds);CHKERRQ(ierr); 31840139fca9SMatthew G. Knepley ierr = PetscDSGetDiscretization(cds, 0, &obj);CHKERRQ(ierr); 31850139fca9SMatthew G. Knepley ierr = PetscObjectGetClassId(obj, &id);CHKERRQ(ierr); 31860139fca9SMatthew G. Knepley if (id != PETSCFE_CLASSID) { 31870139fca9SMatthew G. Knepley Vec lCoords; 31880139fca9SMatthew G. Knepley PetscSection cSection; 31890139fca9SMatthew G. Knepley PetscScalar *coords; 31900139fca9SMatthew G. Knepley PetscInt vStart, vEnd, v; 31910139fca9SMatthew G. Knepley 31920139fca9SMatthew G. Knepley ierr = DMPlexGetDepthStratum(dm, 0, &vStart, &vEnd);CHKERRQ(ierr); 31930139fca9SMatthew G. Knepley ierr = DMGetCoordinateSection(dm, &cSection);CHKERRQ(ierr); 31940139fca9SMatthew G. Knepley ierr = DMGetCoordinatesLocal(dm, &lCoords);CHKERRQ(ierr); 31950139fca9SMatthew G. Knepley ierr = VecGetArray(lCoords, &coords);CHKERRQ(ierr); 31960139fca9SMatthew G. Knepley for (v = vStart; v < vEnd; ++v) { 31970139fca9SMatthew G. Knepley PetscReal ds; 31980139fca9SMatthew G. Knepley PetscInt off, c; 31990139fca9SMatthew G. Knepley 32000139fca9SMatthew G. Knepley ierr = PetscSectionGetOffset(cSection, v, &off);CHKERRQ(ierr); 32010139fca9SMatthew G. Knepley ds = PetscRealPart(coords[off+dir]); 32020139fca9SMatthew G. Knepley for (c = 0; c < dE; ++c) coords[off+c] += moduli[c]*ds; 32030139fca9SMatthew G. Knepley } 32040139fca9SMatthew G. Knepley ierr = VecRestoreArray(lCoords, &coords);CHKERRQ(ierr); 32050139fca9SMatthew G. Knepley } else { 32060139fca9SMatthew G. Knepley ierr = PetscDSSetConstants(cds, dE+1, moduli);CHKERRQ(ierr); 32070139fca9SMatthew G. Knepley ierr = DMPlexRemapGeometry(dm, 0.0, f0_shear);CHKERRQ(ierr); 32080139fca9SMatthew G. Knepley } 32090139fca9SMatthew G. Knepley ierr = PetscFree(moduli);CHKERRQ(ierr); 32100139fca9SMatthew G. Knepley PetscFunctionReturn(0); 32110139fca9SMatthew G. Knepley } 3212