1f918ec44SMatthew G. Knepley #include <petsc/private/dmpleximpl.h> /*I "petscdmplex.h" I*/ 2f918ec44SMatthew G. Knepley 352e7713aSMatthew G. Knepley static PetscErrorCode DMGetPoints_Private(DM dm, DMLabel domainLabel, PetscInt labelVal, PetscInt height, IS *pointIS) 452e7713aSMatthew G. Knepley { 552e7713aSMatthew G. Knepley PetscInt depth; 652e7713aSMatthew G. Knepley DMLabel depthLabel; 752e7713aSMatthew G. Knepley IS depthIS; 852e7713aSMatthew G. Knepley 952e7713aSMatthew G. Knepley PetscFunctionBegin; 1052e7713aSMatthew G. Knepley PetscCall(DMPlexGetDepth(dm, &depth)); 1152e7713aSMatthew G. Knepley PetscCall(DMPlexGetDepthLabel(dm, &depthLabel)); 1252e7713aSMatthew G. Knepley PetscCall(DMLabelGetStratumIS(depthLabel, depth - height, &depthIS)); 1352e7713aSMatthew G. Knepley if (domainLabel) { 1452e7713aSMatthew G. Knepley IS domainIS; 1552e7713aSMatthew G. Knepley 1652e7713aSMatthew G. Knepley PetscCall(DMLabelGetStratumIS(domainLabel, labelVal, &domainIS)); 1752e7713aSMatthew G. Knepley if (domainIS) { // domainIS is non-empty 1852e7713aSMatthew G. Knepley PetscCall(ISIntersect(depthIS, domainIS, pointIS)); 1952e7713aSMatthew G. Knepley PetscCall(ISDestroy(&domainIS)); 2052e7713aSMatthew G. Knepley } else { // domainIS is NULL (empty) 2152e7713aSMatthew G. Knepley *pointIS = NULL; 2252e7713aSMatthew G. Knepley } 2352e7713aSMatthew G. Knepley PetscCall(ISDestroy(&depthIS)); 2452e7713aSMatthew G. Knepley } else { 2552e7713aSMatthew G. Knepley *pointIS = depthIS; 2652e7713aSMatthew G. Knepley } 2752e7713aSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 2852e7713aSMatthew G. Knepley } 2952e7713aSMatthew G. Knepley 30a2c9b50fSJeremy L Thompson /*@C 3152e7713aSMatthew G. Knepley DMPlexGetLocalOffsets - Allocate and populate array of local offsets for each cell closure. 3252e7713aSMatthew G. Knepley 3352e7713aSMatthew G. Knepley Not collective 34a2c9b50fSJeremy L Thompson 35a2c9b50fSJeremy L Thompson Input Parameters: 36a1cb98faSBarry Smith + dm - The `DMPLEX` object 37a1cb98faSBarry Smith . domain_label - label for `DMPLEX` domain, or NULL for whole domain 38a1cb98faSBarry Smith . label_value - Stratum value 39a1cb98faSBarry Smith . height - Height of target cells in `DMPLEX` topology 40a1cb98faSBarry Smith - dm_field - Index of `DMPLEX` field 41a2c9b50fSJeremy L Thompson 42a2c9b50fSJeremy L Thompson Output Parameters: 43a1cb98faSBarry Smith + num_cells - Number of local cells 44a1cb98faSBarry Smith . cell_size - Size of each cell, given by cell_size * num_comp = num_dof 45a1cb98faSBarry Smith . num_comp - Number of components per dof 46a1cb98faSBarry Smith . l_size - Size of local vector 47a1cb98faSBarry Smith - offsets - Allocated offsets array for cells 48a2c9b50fSJeremy L Thompson 49a2c9b50fSJeremy L Thompson Level: developer 50a2c9b50fSJeremy L Thompson 51a1cb98faSBarry Smith Notes: 52a1cb98faSBarry Smith Allocate and populate array of shape [num_cells, cell_size] defining offsets for each value (cell, node) for local vector of the `DMPLEX` field. All offsets are in the range [0, l_size - 1]. 53a1cb98faSBarry Smith 54a1cb98faSBarry Smith Caller is responsible for freeing the offsets array using `PetscFree()`. 55a1cb98faSBarry Smith 561cc06b55SBarry Smith .seealso: [](ch_unstructured), `DMPlexGetLocalOffsetsSupport()`, `DM`, `DMPLEX`, `DMLabel`, `DMPlexGetClosureIndices()`, `DMPlexSetClosurePermutationTensor()`, `DMPlexGetCeedRestriction()` 57a2c9b50fSJeremy L Thompson @*/ 58d71ae5a4SJacob Faibussowitsch PetscErrorCode DMPlexGetLocalOffsets(DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, PetscInt dm_field, PetscInt *num_cells, PetscInt *cell_size, PetscInt *num_comp, PetscInt *l_size, PetscInt **offsets) 59d71ae5a4SJacob Faibussowitsch { 60a2c9b50fSJeremy L Thompson PetscDS ds = NULL; 61a2c9b50fSJeremy L Thompson PetscFE fe; 62a2c9b50fSJeremy L Thompson PetscSection section; 637a17eebaSJed Brown PetscInt dim, ds_field = -1; 64a2c9b50fSJeremy L Thompson PetscInt *restr_indices; 65a2c9b50fSJeremy L Thompson const PetscInt *iter_indices; 66a2c9b50fSJeremy L Thompson IS iter_is; 67a2c9b50fSJeremy L Thompson 685f80ce2aSJacob Faibussowitsch PetscFunctionBeginUser; 695f80ce2aSJacob Faibussowitsch PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 70708be2fdSJed Brown PetscCall(PetscLogEventBegin(DMPLEX_GetLocalOffsets, dm, 0, 0, 0)); 719566063dSJacob Faibussowitsch PetscCall(DMGetDimension(dm, &dim)); 72*5962854dSMatthew G. Knepley PetscCall(DMGetLocalSection(dm, §ion)); 73*5962854dSMatthew G. Knepley PetscCall(PetscSectionGetStorageSize(section, l_size)); 747a17eebaSJed Brown { 757a17eebaSJed Brown IS field_is; 767a17eebaSJed Brown const PetscInt *fields; 777a17eebaSJed Brown PetscInt num_fields; 785f80ce2aSJacob Faibussowitsch 7907218a29SMatthew G. Knepley PetscCall(DMGetRegionDS(dm, domain_label, &field_is, &ds, NULL)); 80a2c9b50fSJeremy L Thompson // Translate dm_field to ds_field 819566063dSJacob Faibussowitsch PetscCall(ISGetIndices(field_is, &fields)); 829566063dSJacob Faibussowitsch PetscCall(ISGetSize(field_is, &num_fields)); 837a17eebaSJed Brown for (PetscInt i = 0; i < num_fields; i++) { 847a17eebaSJed Brown if (dm_field == fields[i]) { 857a17eebaSJed Brown ds_field = i; 86a2c9b50fSJeremy L Thompson break; 87a2c9b50fSJeremy L Thompson } 88a2c9b50fSJeremy L Thompson } 899566063dSJacob Faibussowitsch PetscCall(ISRestoreIndices(field_is, &fields)); 90a2c9b50fSJeremy L Thompson } 9163a3b9bcSJacob Faibussowitsch PetscCheck(ds_field != -1, PetscObjectComm((PetscObject)dm), PETSC_ERR_SUP, "Could not find dm_field %" PetscInt_FMT " in DS", dm_field); 92a2c9b50fSJeremy L Thompson 9352e7713aSMatthew G. Knepley PetscCall(DMGetPoints_Private(dm, domain_label, label_value, height, &iter_is)); 94a2c9b50fSJeremy L Thompson if (iter_is) { 959566063dSJacob Faibussowitsch PetscCall(ISGetLocalSize(iter_is, num_cells)); 969566063dSJacob Faibussowitsch PetscCall(ISGetIndices(iter_is, &iter_indices)); 97a2c9b50fSJeremy L Thompson } else { 98a2c9b50fSJeremy L Thompson *num_cells = 0; 99a2c9b50fSJeremy L Thompson iter_indices = NULL; 100a2c9b50fSJeremy L Thompson } 101a2c9b50fSJeremy L Thompson 102a2c9b50fSJeremy L Thompson { 103a2c9b50fSJeremy L Thompson PetscDualSpace dual_space; 104a2c9b50fSJeremy L Thompson PetscInt num_dual_basis_vectors; 1055f80ce2aSJacob Faibussowitsch 1069566063dSJacob Faibussowitsch PetscCall(PetscDSGetDiscretization(ds, ds_field, (PetscObject *)&fe)); 1079566063dSJacob Faibussowitsch PetscCall(PetscFEGetHeightSubspace(fe, height, &fe)); 1087c48043bSMatthew G. Knepley PetscCheck(fe, PetscObjectComm((PetscObject)dm), PETSC_ERR_ARG_OUTOFRANGE, "Height %" PetscInt_FMT " is invalid for DG coordinates", height); 1099566063dSJacob Faibussowitsch PetscCall(PetscFEGetDualSpace(fe, &dual_space)); 1109566063dSJacob Faibussowitsch PetscCall(PetscDualSpaceGetDimension(dual_space, &num_dual_basis_vectors)); 1119566063dSJacob Faibussowitsch PetscCall(PetscDualSpaceGetNumComponents(dual_space, num_comp)); 11263a3b9bcSJacob Faibussowitsch PetscCheck(num_dual_basis_vectors % *num_comp == 0, PETSC_COMM_SELF, PETSC_ERR_SUP, "No support for number of dual basis vectors %" PetscInt_FMT " not divisible by %" PetscInt_FMT " components", num_dual_basis_vectors, *num_comp); 113a2c9b50fSJeremy L Thompson *cell_size = num_dual_basis_vectors / *num_comp; 114a2c9b50fSJeremy L Thompson } 115a2c9b50fSJeremy L Thompson PetscInt restr_size = (*num_cells) * (*cell_size); 1169566063dSJacob Faibussowitsch PetscCall(PetscMalloc1(restr_size, &restr_indices)); 117a2c9b50fSJeremy L Thompson PetscInt cell_offset = 0; 118a2c9b50fSJeremy L Thompson 11952e7713aSMatthew G. Knepley PetscInt P = (PetscInt)PetscPowReal(*cell_size, 1.0 / (dim - height)); 120a2c9b50fSJeremy L Thompson for (PetscInt p = 0; p < *num_cells; p++) { 121a2c9b50fSJeremy L Thompson PetscBool flip = PETSC_FALSE; 122a2c9b50fSJeremy L Thompson PetscInt c = iter_indices[p]; 123a2c9b50fSJeremy L Thompson PetscInt num_indices, *indices; 124a2c9b50fSJeremy L Thompson PetscInt field_offsets[17]; // max number of fields plus 1 1259566063dSJacob Faibussowitsch PetscCall(DMPlexGetClosureIndices(dm, section, section, c, PETSC_TRUE, &num_indices, &indices, field_offsets, NULL)); 126a2c9b50fSJeremy L Thompson if (height > 0) { 127a2c9b50fSJeremy L Thompson PetscInt num_cells_support, num_faces, start = -1; 128a2c9b50fSJeremy L Thompson const PetscInt *orients, *faces, *cells; 1299566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupport(dm, c, &cells)); 1309566063dSJacob Faibussowitsch PetscCall(DMPlexGetSupportSize(dm, c, &num_cells_support)); 1315f80ce2aSJacob Faibussowitsch PetscCheck(num_cells_support == 1, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Expected one cell in support of exterior face, but got %" PetscInt_FMT " cells", num_cells_support); 1329566063dSJacob Faibussowitsch PetscCall(DMPlexGetCone(dm, cells[0], &faces)); 1339566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeSize(dm, cells[0], &num_faces)); 1349371c9d4SSatish Balay for (PetscInt i = 0; i < num_faces; i++) { 1359371c9d4SSatish Balay if (faces[i] == c) start = i; 1369371c9d4SSatish Balay } 1375f80ce2aSJacob Faibussowitsch PetscCheck(start >= 0, PETSC_COMM_SELF, PETSC_ERR_ARG_CORRUPT, "Could not find face %" PetscInt_FMT " in cone of its support", c); 1389566063dSJacob Faibussowitsch PetscCall(DMPlexGetConeOrientation(dm, cells[0], &orients)); 139a2c9b50fSJeremy L Thompson if (orients[start] < 0) flip = PETSC_TRUE; 140a2c9b50fSJeremy L Thompson } 141a2c9b50fSJeremy L Thompson 142a2c9b50fSJeremy L Thompson for (PetscInt i = 0; i < *cell_size; i++) { 143a2c9b50fSJeremy L Thompson PetscInt ii = i; 144a2c9b50fSJeremy L Thompson if (flip) { 145a2c9b50fSJeremy L Thompson if (*cell_size == P) ii = *cell_size - 1 - i; 146a2c9b50fSJeremy L Thompson else if (*cell_size == P * P) { 147a2c9b50fSJeremy L Thompson PetscInt row = i / P, col = i % P; 148a2c9b50fSJeremy L Thompson ii = row + col * P; 14963a3b9bcSJacob Faibussowitsch } else SETERRQ(PETSC_COMM_SELF, PETSC_ERR_SUP, "No support for flipping point with cell size %" PetscInt_FMT " != P (%" PetscInt_FMT ") or P^2", *cell_size, P); 150a2c9b50fSJeremy L Thompson } 151a2c9b50fSJeremy L Thompson // Essential boundary conditions are encoded as -(loc+1), but we don't care so we decode. 152a2c9b50fSJeremy L Thompson PetscInt loc = indices[field_offsets[dm_field] + ii * (*num_comp)]; 153*5962854dSMatthew G. Knepley loc = loc < 0 ? -(loc + 1) : loc; 154*5962854dSMatthew G. Knepley restr_indices[cell_offset++] = loc; 155*5962854dSMatthew G. Knepley PetscCheck(loc >= 0 && loc < *l_size, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Location %" PetscInt_FMT " not in [0, %" PetscInt_FMT ") local vector", loc, *l_size); 156a2c9b50fSJeremy L Thompson } 1579566063dSJacob Faibussowitsch PetscCall(DMPlexRestoreClosureIndices(dm, section, section, c, PETSC_TRUE, &num_indices, &indices, field_offsets, NULL)); 158a2c9b50fSJeremy L Thompson } 15963a3b9bcSJacob Faibussowitsch PetscCheck(cell_offset == restr_size, PETSC_COMM_SELF, PETSC_ERR_SUP, "Shape mismatch, offsets array of shape (%" PetscInt_FMT ", %" PetscInt_FMT ") initialized for %" PetscInt_FMT " nodes", *num_cells, (*cell_size), cell_offset); 1609566063dSJacob Faibussowitsch if (iter_is) PetscCall(ISRestoreIndices(iter_is, &iter_indices)); 1619566063dSJacob Faibussowitsch PetscCall(ISDestroy(&iter_is)); 162a2c9b50fSJeremy L Thompson 163a2c9b50fSJeremy L Thompson *offsets = restr_indices; 164708be2fdSJed Brown PetscCall(PetscLogEventEnd(DMPLEX_GetLocalOffsets, dm, 0, 0, 0)); 1653ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 166a2c9b50fSJeremy L Thompson } 167a2c9b50fSJeremy L Thompson 16852e7713aSMatthew G. Knepley /*@C 16952e7713aSMatthew G. Knepley DMPlexGetLocalOffsetsSupport - Allocate and populate arrays of local offsets for each face support. 17052e7713aSMatthew G. Knepley 17152e7713aSMatthew G. Knepley Not collective 17252e7713aSMatthew G. Knepley 17352e7713aSMatthew G. Knepley Input Parameters: 17452e7713aSMatthew G. Knepley + dm - The `DMPLEX` object 17552e7713aSMatthew G. Knepley . domain_label - label for `DMPLEX` domain, or NULL for whole domain 17652e7713aSMatthew G. Knepley - label_value - Stratum value 17752e7713aSMatthew G. Knepley 17852e7713aSMatthew G. Knepley Output Parameters: 17952e7713aSMatthew G. Knepley + num_faces - Number of local, non-boundary faces 18052e7713aSMatthew G. Knepley . num_comp - Number of components per dof 18152e7713aSMatthew G. Knepley . l_size - Size of local vector 18252e7713aSMatthew G. Knepley . offsetsNeg - Allocated offsets array for cells on the inward normal side of each face 18352e7713aSMatthew G. Knepley - offsetsPos - Allocated offsets array for cells on the outward normal side of each face 18452e7713aSMatthew G. Knepley 18552e7713aSMatthew G. Knepley Level: developer 18652e7713aSMatthew G. Knepley 18752e7713aSMatthew G. Knepley Notes: 18852e7713aSMatthew G. Knepley Allocate and populate array of shape [num_cells, num_comp] defining offsets for each cell for local vector of the `DMPLEX` field. All offsets are in the range [0, l_size - 1]. 18952e7713aSMatthew G. Knepley 19052e7713aSMatthew G. Knepley Caller is responsible for freeing the offsets array using `PetscFree()`. 19152e7713aSMatthew G. Knepley 1921cc06b55SBarry Smith .seealso: [](ch_unstructured), `DMPlexGetLocalOffsets()`, `DM`, `DMPLEX`, `DMLabel`, `DMPlexGetClosureIndices()`, `DMPlexSetClosurePermutationTensor()`, `DMPlexGetCeedRestriction()` 19352e7713aSMatthew G. Knepley @*/ 19452e7713aSMatthew G. Knepley PetscErrorCode DMPlexGetLocalOffsetsSupport(DM dm, DMLabel domain_label, PetscInt label_value, PetscInt *num_faces, PetscInt *num_comp, PetscInt *l_size, PetscInt **offsetsNeg, PetscInt **offsetsPos) 19552e7713aSMatthew G. Knepley { 19652e7713aSMatthew G. Knepley PetscDS ds = NULL; 19752e7713aSMatthew G. Knepley PetscFV fv; 19852e7713aSMatthew G. Knepley PetscSection section; 199*5962854dSMatthew G. Knepley PetscInt dim, height = 1, dm_field = 0, ds_field = 0, Nf, NfInt = 0, Nc; 20052e7713aSMatthew G. Knepley PetscInt *restr_indices_neg, *restr_indices_pos; 20152e7713aSMatthew G. Knepley const PetscInt *iter_indices; 20252e7713aSMatthew G. Knepley IS iter_is; 20352e7713aSMatthew G. Knepley 20452e7713aSMatthew G. Knepley PetscFunctionBeginUser; 20552e7713aSMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 20652e7713aSMatthew G. Knepley PetscCall(DMGetDimension(dm, &dim)); 20707218a29SMatthew G. Knepley PetscCall(DMGetRegionDS(dm, domain_label, NULL, &ds, NULL)); 208*5962854dSMatthew G. Knepley PetscCall(DMGetLocalSection(dm, §ion)); 209*5962854dSMatthew G. Knepley PetscCall(PetscSectionGetStorageSize(section, l_size)); 21052e7713aSMatthew G. Knepley 21152e7713aSMatthew G. Knepley PetscCall(DMGetPoints_Private(dm, domain_label, label_value, height, &iter_is)); 21252e7713aSMatthew G. Knepley if (iter_is) { 21352e7713aSMatthew G. Knepley PetscCall(ISGetIndices(iter_is, &iter_indices)); 21452e7713aSMatthew G. Knepley PetscCall(ISGetLocalSize(iter_is, &Nf)); 21552e7713aSMatthew G. Knepley for (PetscInt p = 0, Ns; p < Nf; ++p) { 21652e7713aSMatthew G. Knepley PetscCall(DMPlexGetSupportSize(dm, iter_indices[p], &Ns)); 21752e7713aSMatthew G. Knepley if (Ns == 2) ++NfInt; 21852e7713aSMatthew G. Knepley } 21952e7713aSMatthew G. Knepley *num_faces = NfInt; 22052e7713aSMatthew G. Knepley } else { 22152e7713aSMatthew G. Knepley *num_faces = 0; 22252e7713aSMatthew G. Knepley iter_indices = NULL; 22352e7713aSMatthew G. Knepley } 22452e7713aSMatthew G. Knepley 22552e7713aSMatthew G. Knepley PetscCall(PetscDSGetDiscretization(ds, ds_field, (PetscObject *)&fv)); 226*5962854dSMatthew G. Knepley PetscCall(PetscFVGetNumComponents(fv, &Nc)); 227*5962854dSMatthew G. Knepley PetscCall(PetscMalloc1(NfInt * Nc, &restr_indices_neg)); 228*5962854dSMatthew G. Knepley PetscCall(PetscMalloc1(NfInt * Nc, &restr_indices_pos)); 22952e7713aSMatthew G. Knepley PetscInt face_offset_neg = 0, face_offset_pos = 0; 23052e7713aSMatthew G. Knepley 23152e7713aSMatthew G. Knepley for (PetscInt p = 0; p < Nf; ++p) { 23252e7713aSMatthew G. Knepley const PetscInt face = iter_indices[p]; 23352e7713aSMatthew G. Knepley PetscInt num_indices, *indices; 23452e7713aSMatthew G. Knepley PetscInt field_offsets[17]; // max number of fields plus 1 23552e7713aSMatthew G. Knepley const PetscInt *supp; 236*5962854dSMatthew G. Knepley PetscInt Ns, loc; 23752e7713aSMatthew G. Knepley 23852e7713aSMatthew G. Knepley PetscCall(DMPlexGetSupport(dm, face, &supp)); 23952e7713aSMatthew G. Knepley PetscCall(DMPlexGetSupportSize(dm, face, &Ns)); 24052e7713aSMatthew G. Knepley // Ignore boundary faces 24152e7713aSMatthew G. Knepley // TODO check for face on parallel boundary 24252e7713aSMatthew G. Knepley if (Ns == 2) { 24352e7713aSMatthew G. Knepley // Essential boundary conditions are encoded as -(loc+1), but we don't care so we decode. 24452e7713aSMatthew G. Knepley PetscCall(DMPlexGetClosureIndices(dm, section, section, supp[0], PETSC_TRUE, &num_indices, &indices, field_offsets, NULL)); 245*5962854dSMatthew G. Knepley PetscCheck(num_indices == Nc, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Number of closure indices %" PetscInt_FMT " != %" PetscInt_FMT " number of FV components", num_indices, Nc); 246*5962854dSMatthew G. Knepley for (PetscInt c = 0; c < Nc; ++c) { 247*5962854dSMatthew G. Knepley loc = indices[field_offsets[dm_field] + c]; 248*5962854dSMatthew G. Knepley loc = loc < 0 ? -(loc + 1) : loc; 249*5962854dSMatthew G. Knepley restr_indices_neg[face_offset_neg++] = loc; 250*5962854dSMatthew G. Knepley PetscCheck(loc >= 0 && loc < *l_size, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Location %" PetscInt_FMT " not in [0, %" PetscInt_FMT ") local vector", loc, *l_size); 25152e7713aSMatthew G. Knepley } 25252e7713aSMatthew G. Knepley PetscCall(DMPlexRestoreClosureIndices(dm, section, section, supp[0], PETSC_TRUE, &num_indices, &indices, field_offsets, NULL)); 25352e7713aSMatthew G. Knepley PetscCall(DMPlexGetClosureIndices(dm, section, section, supp[1], PETSC_TRUE, &num_indices, &indices, field_offsets, NULL)); 254*5962854dSMatthew G. Knepley PetscCheck(num_indices == Nc, PETSC_COMM_SELF, PETSC_ERR_ARG_INCOMP, "Number of closure indices %" PetscInt_FMT " != %" PetscInt_FMT " number of FV components", num_indices, Nc); 255*5962854dSMatthew G. Knepley for (PetscInt c = 0; c < Nc; ++c) { 256*5962854dSMatthew G. Knepley loc = indices[field_offsets[dm_field] + c]; 257*5962854dSMatthew G. Knepley loc = loc < 0 ? -(loc + 1) : loc; 258*5962854dSMatthew G. Knepley restr_indices_pos[face_offset_pos++] = loc; 259*5962854dSMatthew G. Knepley PetscCheck(loc >= 0 && loc < *l_size, PETSC_COMM_SELF, PETSC_ERR_ARG_OUTOFRANGE, "Location %" PetscInt_FMT " not in [0, %" PetscInt_FMT ") local vector", loc, *l_size); 26052e7713aSMatthew G. Knepley } 26152e7713aSMatthew G. Knepley PetscCall(DMPlexRestoreClosureIndices(dm, section, section, supp[1], PETSC_TRUE, &num_indices, &indices, field_offsets, NULL)); 26252e7713aSMatthew G. Knepley } 26352e7713aSMatthew G. Knepley } 264*5962854dSMatthew G. Knepley PetscCheck(face_offset_neg == NfInt * Nc, PETSC_COMM_SELF, PETSC_ERR_SUP, "Shape mismatch, neg offsets array of shape (%" PetscInt_FMT ") initialized for %" PetscInt_FMT " nodes", NfInt * Nc, face_offset_neg); 265*5962854dSMatthew G. Knepley PetscCheck(face_offset_pos == NfInt * Nc, PETSC_COMM_SELF, PETSC_ERR_SUP, "Shape mismatch, pos offsets array of shape (%" PetscInt_FMT ") initialized for %" PetscInt_FMT " nodes", NfInt * Nc, face_offset_pos); 26652e7713aSMatthew G. Knepley if (iter_is) PetscCall(ISRestoreIndices(iter_is, &iter_indices)); 26752e7713aSMatthew G. Knepley PetscCall(ISDestroy(&iter_is)); 26852e7713aSMatthew G. Knepley 269*5962854dSMatthew G. Knepley *num_comp = Nc; 27052e7713aSMatthew G. Knepley *offsetsNeg = restr_indices_neg; 27152e7713aSMatthew G. Knepley *offsetsPos = restr_indices_pos; 27252e7713aSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 27352e7713aSMatthew G. Knepley } 27452e7713aSMatthew G. Knepley 275a2c9b50fSJeremy L Thompson #if defined(PETSC_HAVE_LIBCEED) 276f918ec44SMatthew G. Knepley #include <petscdmplexceed.h> 277f918ec44SMatthew G. Knepley 278a2c9b50fSJeremy L Thompson /*@C 279a2c9b50fSJeremy L Thompson DMPlexGetCeedRestriction - Define the libCEED map from the local vector (Lvector) to the cells (Evector) 280a2c9b50fSJeremy L Thompson 281a2c9b50fSJeremy L Thompson Input Parameters: 282a1cb98faSBarry Smith + dm - The `DMPLEX` object 283a1cb98faSBarry Smith . domain_label - label for `DMPLEX` domain, or NULL for the whole domain 284a1cb98faSBarry Smith . label_value - Stratum value 285a1cb98faSBarry Smith . height - Height of target cells in `DMPLEX` topology 286a1cb98faSBarry Smith - dm_field - Index of `DMPLEX` field 287a2c9b50fSJeremy L Thompson 288a1cb98faSBarry Smith Output Parameter: 289a1cb98faSBarry Smith . ERestrict - libCEED restriction from local vector to to the cells 290a2c9b50fSJeremy L Thompson 291a2c9b50fSJeremy L Thompson Level: developer 292a1cb98faSBarry Smith 2931cc06b55SBarry Smith .seealso: [](ch_unstructured), `DM`, `DMPLEX`, `DMLabel`, `DMPlexGetLocalOffsets()` 294a2c9b50fSJeremy L Thompson @*/ 295d71ae5a4SJacob Faibussowitsch PetscErrorCode DMPlexGetCeedRestriction(DM dm, DMLabel domain_label, PetscInt label_value, PetscInt height, PetscInt dm_field, CeedElemRestriction *ERestrict) 296d71ae5a4SJacob Faibussowitsch { 297f918ec44SMatthew G. Knepley PetscFunctionBeginUser; 298f918ec44SMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 2994f572ea9SToby Isaac PetscAssertPointer(ERestrict, 6); 300f918ec44SMatthew G. Knepley if (!dm->ceedERestrict) { 301a2c9b50fSJeremy L Thompson PetscInt num_cells, cell_size, num_comp, lvec_size, *restr_indices; 302a2c9b50fSJeremy L Thompson CeedElemRestriction elem_restr; 303f918ec44SMatthew G. Knepley Ceed ceed; 304f918ec44SMatthew G. Knepley 3059566063dSJacob Faibussowitsch PetscCall(DMPlexGetLocalOffsets(dm, domain_label, label_value, height, dm_field, &num_cells, &cell_size, &num_comp, &lvec_size, &restr_indices)); 3069566063dSJacob Faibussowitsch PetscCall(DMGetCeed(dm, &ceed)); 3079566063dSJacob Faibussowitsch PetscCallCEED(CeedElemRestrictionCreate(ceed, num_cells, cell_size, num_comp, 1, lvec_size, CEED_MEM_HOST, CEED_COPY_VALUES, restr_indices, &elem_restr)); 3089566063dSJacob Faibussowitsch PetscCall(PetscFree(restr_indices)); 309a2c9b50fSJeremy L Thompson dm->ceedERestrict = elem_restr; 310f918ec44SMatthew G. Knepley } 311f918ec44SMatthew G. Knepley *ERestrict = dm->ceedERestrict; 3123ba16761SJacob Faibussowitsch PetscFunctionReturn(PETSC_SUCCESS); 313f918ec44SMatthew G. Knepley } 314f918ec44SMatthew G. Knepley 315*5962854dSMatthew G. Knepley PetscErrorCode DMPlexCreateCeedRestrictionFVM(DM dm, CeedElemRestriction *erL, CeedElemRestriction *erR) 316*5962854dSMatthew G. Knepley { 317*5962854dSMatthew G. Knepley Ceed ceed; 318*5962854dSMatthew G. Knepley PetscInt *offL, *offR; 319*5962854dSMatthew G. Knepley PetscInt num_faces, num_comp, lvec_size; 320*5962854dSMatthew G. Knepley 321*5962854dSMatthew G. Knepley PetscFunctionBeginUser; 322*5962854dSMatthew G. Knepley PetscValidHeaderSpecific(dm, DM_CLASSID, 1); 323*5962854dSMatthew G. Knepley PetscAssertPointer(erL, 2); 324*5962854dSMatthew G. Knepley PetscAssertPointer(erR, 3); 325*5962854dSMatthew G. Knepley PetscCall(DMGetCeed(dm, &ceed)); 326*5962854dSMatthew G. Knepley PetscCall(DMPlexGetLocalOffsetsSupport(dm, NULL, 0, &num_faces, &num_comp, &lvec_size, &offL, &offR)); 327*5962854dSMatthew G. Knepley PetscCallCEED(CeedElemRestrictionCreate(ceed, num_faces, 1, num_comp, 1, lvec_size, CEED_MEM_HOST, CEED_COPY_VALUES, offL, erL)); 328*5962854dSMatthew G. Knepley PetscCallCEED(CeedElemRestrictionCreate(ceed, num_faces, 1, num_comp, 1, lvec_size, CEED_MEM_HOST, CEED_COPY_VALUES, offR, erR)); 329*5962854dSMatthew G. Knepley PetscCall(PetscFree(offL)); 330*5962854dSMatthew G. Knepley PetscCall(PetscFree(offR)); 331*5962854dSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 332*5962854dSMatthew G. Knepley } 333*5962854dSMatthew G. Knepley 334*5962854dSMatthew G. Knepley // TODO DMPlexComputeGeometryFVM() also computes centroids and minimum radius 335*5962854dSMatthew G. Knepley // TODO DMPlexComputeGeometryFVM() flips normal to match support orientation 336*5962854dSMatthew G. Knepley // This function computes area-weights normals 337*5962854dSMatthew G. Knepley PetscErrorCode DMPlexCeedComputeGeometryFVM(DM dm, CeedVector qd) 338*5962854dSMatthew G. Knepley { 339*5962854dSMatthew G. Knepley DMLabel domain_label = NULL; 340*5962854dSMatthew G. Knepley PetscInt label_value = 0, height = 1, Nf, NfInt = 0, cdim; 341*5962854dSMatthew G. Knepley const PetscInt *iter_indices; 342*5962854dSMatthew G. Knepley IS iter_is; 343*5962854dSMatthew G. Knepley CeedScalar *qdata; 344*5962854dSMatthew G. Knepley 345*5962854dSMatthew G. Knepley PetscFunctionBegin; 346*5962854dSMatthew G. Knepley PetscCall(DMGetCoordinateDim(dm, &cdim)); 347*5962854dSMatthew G. Knepley PetscCall(DMGetPoints_Private(dm, domain_label, label_value, height, &iter_is)); 348*5962854dSMatthew G. Knepley if (iter_is) { 349*5962854dSMatthew G. Knepley PetscCall(ISGetIndices(iter_is, &iter_indices)); 350*5962854dSMatthew G. Knepley PetscCall(ISGetLocalSize(iter_is, &Nf)); 351*5962854dSMatthew G. Knepley for (PetscInt p = 0, Ns; p < Nf; ++p) { 352*5962854dSMatthew G. Knepley PetscCall(DMPlexGetSupportSize(dm, iter_indices[p], &Ns)); 353*5962854dSMatthew G. Knepley if (Ns == 2) ++NfInt; 354*5962854dSMatthew G. Knepley } 355*5962854dSMatthew G. Knepley } else { 356*5962854dSMatthew G. Knepley iter_indices = NULL; 357*5962854dSMatthew G. Knepley } 358*5962854dSMatthew G. Knepley 359*5962854dSMatthew G. Knepley PetscCallCEED(CeedVectorSetValue(qd, 0.)); 360*5962854dSMatthew G. Knepley PetscCallCEED(CeedVectorGetArray(qd, CEED_MEM_HOST, &qdata)); 361*5962854dSMatthew G. Knepley for (PetscInt p = 0, off = 0; p < Nf; ++p) { 362*5962854dSMatthew G. Knepley const PetscInt face = iter_indices[p]; 363*5962854dSMatthew G. Knepley const PetscInt *supp; 364*5962854dSMatthew G. Knepley PetscInt suppSize; 365*5962854dSMatthew G. Knepley 366*5962854dSMatthew G. Knepley PetscCall(DMPlexGetSupport(dm, face, &supp)); 367*5962854dSMatthew G. Knepley PetscCall(DMPlexGetSupportSize(dm, face, &suppSize)); 368*5962854dSMatthew G. Knepley // Ignore boundary faces 369*5962854dSMatthew G. Knepley // TODO check for face on parallel boundary 370*5962854dSMatthew G. Knepley if (suppSize == 2) { 371*5962854dSMatthew G. Knepley DMPolytopeType ct; 372*5962854dSMatthew G. Knepley PetscReal area, fcentroid[3], centroids[2][3]; 373*5962854dSMatthew G. Knepley 374*5962854dSMatthew G. Knepley PetscCall(DMPlexComputeCellGeometryFVM(dm, face, &area, fcentroid, &qdata[off])); 375*5962854dSMatthew G. Knepley for (PetscInt d = 0; d < cdim; ++d) qdata[off + d] *= area; 376*5962854dSMatthew G. Knepley off += cdim; 377*5962854dSMatthew G. Knepley for (PetscInt s = 0; s < suppSize; ++s) { 378*5962854dSMatthew G. Knepley PetscCall(DMPlexGetCellType(dm, supp[s], &ct)); 379*5962854dSMatthew G. Knepley if (ct == DM_POLYTOPE_FV_GHOST) continue; 380*5962854dSMatthew G. Knepley PetscCall(DMPlexComputeCellGeometryFVM(dm, supp[s], &qdata[off + s], centroids[s], NULL)); 381*5962854dSMatthew G. Knepley } 382*5962854dSMatthew G. Knepley // Give FV ghosts the same volume as the opposite cell 383*5962854dSMatthew G. Knepley for (PetscInt s = 0; s < suppSize; ++s) { 384*5962854dSMatthew G. Knepley PetscCall(DMPlexGetCellType(dm, supp[s], &ct)); 385*5962854dSMatthew G. Knepley if (ct != DM_POLYTOPE_FV_GHOST) continue; 386*5962854dSMatthew G. Knepley qdata[off + s] = qdata[off + (1 - s)]; 387*5962854dSMatthew G. Knepley for (PetscInt d = 0; d < cdim; ++d) centroids[s][d] = fcentroid[d]; 388*5962854dSMatthew G. Knepley } 389*5962854dSMatthew G. Knepley // Flip normal orientation if necessary to match ordering in support 390*5962854dSMatthew G. Knepley { 391*5962854dSMatthew G. Knepley CeedScalar *normal = &qdata[off - cdim]; 392*5962854dSMatthew G. Knepley PetscReal l[3], r[3], v[3]; 393*5962854dSMatthew G. Knepley 394*5962854dSMatthew G. Knepley PetscCall(DMLocalizeCoordinateReal_Internal(dm, cdim, fcentroid, centroids[0], l)); 395*5962854dSMatthew G. Knepley PetscCall(DMLocalizeCoordinateReal_Internal(dm, cdim, fcentroid, centroids[1], r)); 396*5962854dSMatthew G. Knepley DMPlex_WaxpyD_Internal(cdim, -1, l, r, v); 397*5962854dSMatthew G. Knepley if (DMPlex_DotRealD_Internal(cdim, normal, v) < 0) { 398*5962854dSMatthew G. Knepley for (PetscInt d = 0; d < cdim; ++d) normal[d] = -normal[d]; 399*5962854dSMatthew G. Knepley } 400*5962854dSMatthew G. Knepley if (DMPlex_DotRealD_Internal(cdim, normal, v) <= 0) { 401*5962854dSMatthew G. Knepley PetscCheck(cdim != 2, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Direction for face %" PetscInt_FMT " could not be fixed, normal (%g,%g) v (%g,%g)", face, (double)normal[0], (double)normal[1], (double)v[0], (double)v[1]); 402*5962854dSMatthew G. Knepley PetscCheck(cdim != 3, PETSC_COMM_SELF, PETSC_ERR_PLIB, "Direction for face %" PetscInt_FMT " could not be fixed, normal (%g,%g,%g) v (%g,%g,%g)", face, (double)normal[0], (double)normal[1], (double)normal[2], (double)v[0], (double)v[1], (double)v[2]); 403*5962854dSMatthew G. Knepley SETERRQ(PETSC_COMM_SELF, PETSC_ERR_PLIB, "Direction for face %" PetscInt_FMT " could not be fixed", face); 404*5962854dSMatthew G. Knepley } 405*5962854dSMatthew G. Knepley } 406*5962854dSMatthew G. Knepley off += suppSize; 407*5962854dSMatthew G. Knepley } 408*5962854dSMatthew G. Knepley } 409*5962854dSMatthew G. Knepley PetscCallCEED(CeedVectorRestoreArray(qd, &qdata)); 410*5962854dSMatthew G. Knepley if (iter_is) PetscCall(ISRestoreIndices(iter_is, &iter_indices)); 411*5962854dSMatthew G. Knepley PetscCall(ISDestroy(&iter_is)); 412*5962854dSMatthew G. Knepley PetscFunctionReturn(PETSC_SUCCESS); 413*5962854dSMatthew G. Knepley } 414*5962854dSMatthew G. Knepley 415f918ec44SMatthew G. Knepley #endif 416