1ae2b091fSJames Wright // SPDX-FileCopyrightText: Copyright (c) 2017-2024, HONEE contributors. 2ae2b091fSJames Wright // SPDX-License-Identifier: Apache-2.0 OR BSD-2-Clause 32eb7bf1fSJames Wright 42eb7bf1fSJames Wright #include "../qfunctions/strong_boundary_conditions.h" 52eb7bf1fSJames Wright 62eb7bf1fSJames Wright #include <ceed.h> 72eb7bf1fSJames Wright #include <petscdmplex.h> 82eb7bf1fSJames Wright 9149fb536SJames Wright #include <navierstokes.h> 102eb7bf1fSJames Wright #include "../problems/stg_shur14.h" 112eb7bf1fSJames Wright 12d3c60affSJames Wright PetscErrorCode SetupStrongSTG_Ceed(Ceed ceed, Honee honee, DM dm, ProblemData problem, Physics phys, CeedOperator op_strong_bc) { 1366d54740SJames Wright CeedInt num_comp_x, num_comp_q = 5, stg_data_size = 1, dXdx_size; 14*4fe35dceSJames Wright CeedVector multiplicity, x_stored, scale_stored, stg_data, dXdx, x_coord; 1521ba7ba4SJames Wright CeedBasis basis_x_to_q_face; 1621ba7ba4SJames Wright CeedElemRestriction elem_restr_x_face, elem_restr_q_face, elem_restr_x_stored, elem_restr_scale, elem_restr_stgdata, elem_restr_dXdx; 172eb7bf1fSJames Wright CeedQFunction qf_setup, qf_strongbc, qf_stgdata; 186f188493SJames Wright CeedOperator op_setup, op_strong_bc_sub, op_stgdata; 192eb7bf1fSJames Wright DMLabel domain_label; 2021ba7ba4SJames Wright const PetscInt dm_field = 0, height_face = 1, height_cell = 0; 2121ba7ba4SJames Wright PetscInt dim; 22d6cac220SJames Wright MPI_Comm comm = honee->comm; 232eb7bf1fSJames Wright 242eb7bf1fSJames Wright PetscFunctionBeginUser; 252eb7bf1fSJames Wright PetscCall(DMGetLabel(dm, "Face Sets", &domain_label)); 2621ba7ba4SJames Wright PetscCall(DMGetDimension(dm, &dim)); 2766d54740SJames Wright num_comp_x = dim; 2821ba7ba4SJames Wright dXdx_size = num_comp_x * (dim - height_cell); 292eb7bf1fSJames Wright 30866f9b4aSJames Wright { // Basis 3121ba7ba4SJames Wright CeedBasis basis_x_face, basis_q_face; 32866f9b4aSJames Wright DM dm_coord; 33866f9b4aSJames Wright 34866f9b4aSJames Wright PetscCall(DMGetCoordinateDM(dm, &dm_coord)); 35e3db12f8SJames Wright PetscCall(DMPlexCeedBasisCreate(ceed, dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height_face, dm_field, &basis_q_face)); 36e3db12f8SJames Wright PetscCall(DMPlexCeedBasisCreate(ceed, dm_coord, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height_face, dm_field, &basis_x_face)); 37866f9b4aSJames Wright 3821ba7ba4SJames Wright PetscCallCeed(ceed, CeedBasisCreateProjection(basis_x_face, basis_q_face, &basis_x_to_q_face)); 39866f9b4aSJames Wright 4021ba7ba4SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_q_face)); 4121ba7ba4SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_x_face)); 42866f9b4aSJames Wright } 432eb7bf1fSJames Wright 442eb7bf1fSJames Wright // Setup QFunction 45b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, SetupStrongBC, SetupStrongBC_loc, &qf_setup)); 46b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_setup, "x", num_comp_x, CEED_EVAL_INTERP)); 4721ba7ba4SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_setup, "dxdX", dXdx_size, CEED_EVAL_GRAD)); 48b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_setup, "multiplicity", num_comp_q, CEED_EVAL_NONE)); 49b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_setup, "x stored", num_comp_x, CEED_EVAL_NONE)); 50b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_setup, "scale", 1, CEED_EVAL_NONE)); 516f188493SJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_setup, "dXdx", dXdx_size, CEED_EVAL_NONE)); 522eb7bf1fSJames Wright 5351a85e6cSJames Wright // Setup STG QFunctions 5442454adaSJames Wright PetscCall(SetupStrongStg_PreProcessing(ceed, problem, num_comp_x, stg_data_size, dXdx_size, &qf_stgdata)); 5551a85e6cSJames Wright PetscCall(SetupStrongStg_QF(ceed, problem, num_comp_x, num_comp_q, stg_data_size, dXdx_size, &qf_strongbc)); 562eb7bf1fSJames Wright 57d6cac220SJames Wright // Get face label values for the inflow BC 58d6cac220SJames Wright PetscInt num_inflow_faces; 59d6cac220SJames Wright const PetscInt *inflow_faces; 60d6cac220SJames Wright { 61d6cac220SJames Wright BCDefinition bc_def = NULL; 62d6cac220SJames Wright for (PetscCount b = 0; b < problem->num_bc_defs; b++) { 63d6cac220SJames Wright BCDefinition bc_def_ = problem->bc_defs[b]; 64d6cac220SJames Wright const char *name; 65d6cac220SJames Wright 66d6cac220SJames Wright PetscCall(BCDefinitionGetInfo(bc_def_, &name, NULL, NULL)); 67d6cac220SJames Wright if (!strcmp(name, "inflow")) { 68d6cac220SJames Wright bc_def = bc_def_; 69d6cac220SJames Wright break; 70d6cac220SJames Wright } 71d6cac220SJames Wright } 72d6cac220SJames Wright PetscCheck(bc_def, comm, PETSC_ERR_SUP, "Could not find BCDefintion named 'inflow' for STG setup."); 73d6cac220SJames Wright PetscCall(BCDefinitionGetInfo(bc_def, NULL, &num_inflow_faces, &inflow_faces)); 74d6cac220SJames Wright } 75d6cac220SJames Wright 762eb7bf1fSJames Wright // Compute contribution on each boundary face 77d6cac220SJames Wright for (CeedInt i = 0; i < num_inflow_faces; i++) { 7821ba7ba4SJames Wright DMLabel face_orientation_label; 795f65e1a7SJames Wright PetscInt num_orientations_values, *orientation_values; 805f65e1a7SJames Wright 8121ba7ba4SJames Wright { 825f65e1a7SJames Wright char *face_orientation_label_name; 8321ba7ba4SJames Wright 84d6cac220SJames Wright PetscCall(DMPlexCreateFaceLabel(dm, inflow_faces[i], &face_orientation_label_name)); 855f65e1a7SJames Wright PetscCall(DMGetLabel(dm, face_orientation_label_name, &face_orientation_label)); 865f65e1a7SJames Wright PetscCall(PetscFree(face_orientation_label_name)); 8721ba7ba4SJames Wright } 885f65e1a7SJames Wright PetscCall(DMLabelCreateGlobalValueArray(dm, face_orientation_label, &num_orientations_values, &orientation_values)); 895f65e1a7SJames Wright for (PetscInt o = 0; o < num_orientations_values; o++) { 9021ba7ba4SJames Wright CeedBasis basis_x_to_q_cell; 9121ba7ba4SJames Wright CeedElemRestriction elem_restr_x_cell; 925f65e1a7SJames Wright PetscInt orientation = orientation_values[o]; 9321ba7ba4SJames Wright 9421ba7ba4SJames Wright { 9521ba7ba4SJames Wright CeedBasis basis_x_cell_to_face, basis_q_face; 9621ba7ba4SJames Wright 9721ba7ba4SJames Wright PetscCall(DMPlexCeedBasisCellToFaceCoordinateCreate(ceed, dm, face_orientation_label, orientation, orientation, &basis_x_cell_to_face)); 986b9fd993SJames Wright PetscCall(DMPlexCeedBasisCreate(ceed, dm, face_orientation_label, orientation, height_face, dm_field, &basis_q_face)); 9921ba7ba4SJames Wright PetscCallCeed(ceed, CeedBasisCreateProjection(basis_x_cell_to_face, basis_q_face, &basis_x_to_q_cell)); 10021ba7ba4SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_x_cell_to_face)); 10121ba7ba4SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_q_face)); 10221ba7ba4SJames Wright } 10321ba7ba4SJames Wright 104f0ecb7e4SJames Wright PetscCall(DMPlexCeedElemRestrictionCreate(ceed, dm, face_orientation_label, orientation, height_face, dm_field, &elem_restr_q_face)); 105f0ecb7e4SJames Wright PetscCall(DMPlexCeedElemRestrictionCoordinateCreate(ceed, dm, face_orientation_label, orientation, height_face, &elem_restr_x_face)); 106*4fe35dceSJames Wright PetscCall(DMPlexCeedCoordinateCreateField(ceed, dm, face_orientation_label, orientation, height_cell, &elem_restr_x_cell, NULL, &x_coord)); 10721ba7ba4SJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_q_face, &multiplicity, NULL)); 10821ba7ba4SJames Wright PetscCallCeed(ceed, CeedElemRestrictionGetMultiplicity(elem_restr_q_face, multiplicity)); 10921ba7ba4SJames Wright 1109eadbee4SJames Wright PetscCall(DMPlexCeedElemRestrictionCollocatedCreate(ceed, dm, face_orientation_label, orientation, height_face, num_comp_x, 1119eadbee4SJames Wright &elem_restr_x_stored)); 112f0ecb7e4SJames Wright PetscCall(DMPlexCeedElemRestrictionCollocatedCreate(ceed, dm, face_orientation_label, orientation, height_face, 1, &elem_restr_scale)); 1139eadbee4SJames Wright PetscCall(DMPlexCeedElemRestrictionCollocatedCreate(ceed, dm, face_orientation_label, orientation, height_face, stg_data_size, 1149eadbee4SJames Wright &elem_restr_stgdata)); 115f0ecb7e4SJames Wright PetscCall(DMPlexCeedElemRestrictionCollocatedCreate(ceed, dm, face_orientation_label, orientation, height_face, dXdx_size, &elem_restr_dXdx)); 116b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_x_stored, &x_stored, NULL)); 117b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_scale, &scale_stored, NULL)); 118b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_stgdata, &stg_data, NULL)); 1196f188493SJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_dXdx, &dXdx, NULL)); 1202eb7bf1fSJames Wright 1212eb7bf1fSJames Wright // -- Setup Operator 122b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_setup, NULL, NULL, &op_setup)); 1236f188493SJames Wright PetscCallCeed(ceed, CeedOperatorSetName(op_setup, "Precomputed data for strong boundary conditions")); 12421ba7ba4SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "x", elem_restr_x_face, basis_x_to_q_face, CEED_VECTOR_ACTIVE)); 12521ba7ba4SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "dxdX", elem_restr_x_cell, basis_x_to_q_cell, CEED_VECTOR_ACTIVE)); 12621ba7ba4SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "multiplicity", elem_restr_q_face, CEED_BASIS_NONE, multiplicity)); 12758e1cbfdSJeremy L Thompson PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "x stored", elem_restr_x_stored, CEED_BASIS_NONE, x_stored)); 12858e1cbfdSJeremy L Thompson PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "scale", elem_restr_scale, CEED_BASIS_NONE, scale_stored)); 12958e1cbfdSJeremy L Thompson PetscCallCeed(ceed, CeedOperatorSetField(op_setup, "dXdx", elem_restr_dXdx, CEED_BASIS_NONE, dXdx)); 1302eb7bf1fSJames Wright 1312eb7bf1fSJames Wright // -- Compute geometric factors 132*4fe35dceSJames Wright PetscCallCeed(ceed, CeedOperatorApply(op_setup, x_coord, CEED_VECTOR_NONE, CEED_REQUEST_IMMEDIATE)); 1332eb7bf1fSJames Wright 1342eb7bf1fSJames Wright // -- Compute STGData 135b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_stgdata, NULL, NULL, &op_stgdata)); 13658e1cbfdSJeremy L Thompson PetscCallCeed(ceed, CeedOperatorSetField(op_stgdata, "dXdx", elem_restr_dXdx, CEED_BASIS_NONE, dXdx)); 13758e1cbfdSJeremy L Thompson PetscCallCeed(ceed, CeedOperatorSetField(op_stgdata, "x", elem_restr_x_stored, CEED_BASIS_NONE, x_stored)); 13858e1cbfdSJeremy L Thompson PetscCallCeed(ceed, CeedOperatorSetField(op_stgdata, "stg data", elem_restr_stgdata, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE)); 1392eb7bf1fSJames Wright 140b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorApply(op_stgdata, CEED_VECTOR_NONE, stg_data, CEED_REQUEST_IMMEDIATE)); 1412eb7bf1fSJames Wright 14221ba7ba4SJames Wright // -- Setup BC QFunctions 143b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_strongbc, NULL, NULL, &op_strong_bc_sub)); 144b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorSetName(op_strong_bc_sub, "Strong STG")); 1452eb7bf1fSJames Wright 14658e1cbfdSJeremy L Thompson PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "dXdx", elem_restr_dXdx, CEED_BASIS_NONE, dXdx)); 14758e1cbfdSJeremy L Thompson PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "x", elem_restr_x_stored, CEED_BASIS_NONE, x_stored)); 14858e1cbfdSJeremy L Thompson PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "scale", elem_restr_scale, CEED_BASIS_NONE, scale_stored)); 14958e1cbfdSJeremy L Thompson PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "stg data", elem_restr_stgdata, CEED_BASIS_NONE, stg_data)); 15021ba7ba4SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_strong_bc_sub, "q", elem_restr_q_face, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE)); 1512eb7bf1fSJames Wright 1522eb7bf1fSJames Wright // -- Add to composite operator 153da7f3a07SJames Wright PetscCallCeed(ceed, CeedOperatorCompositeAddSub(op_strong_bc, op_strong_bc_sub)); 1542eb7bf1fSJames Wright 155b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&multiplicity)); 156b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&x_stored)); 157b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&scale_stored)); 158b4c37c5cSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&stg_data)); 1596f188493SJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&dXdx)); 160*4fe35dceSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&x_coord)); 16121ba7ba4SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_x_to_q_cell)); 16221ba7ba4SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_x_face)); 16321ba7ba4SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_x_cell)); 16421ba7ba4SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_q_face)); 165b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_x_stored)); 166b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_scale)); 167b4c37c5cSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_stgdata)); 1686f188493SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_dXdx)); 169b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_strong_bc_sub)); 170b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_setup)); 171b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_stgdata)); 1722eb7bf1fSJames Wright } 1735f65e1a7SJames Wright PetscCall(PetscFree(orientation_values)); 17421ba7ba4SJames Wright } 1752eb7bf1fSJames Wright 176b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorGetContextFieldLabel(op_strong_bc, "solution time", &phys->stg_solution_time_label)); 1772eb7bf1fSJames Wright 17821ba7ba4SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_x_to_q_face)); 17951a85e6cSJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_strongbc)); 18051a85e6cSJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_stgdata)); 181b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_setup)); 182d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 1832eb7bf1fSJames Wright } 1842eb7bf1fSJames Wright 1852eb7bf1fSJames Wright PetscErrorCode DMPlexInsertBoundaryValues_StrongBCCeed(DM dm, PetscBool insert_essential, Vec Q_loc, PetscReal time, Vec face_geom_FVM, 1862eb7bf1fSJames Wright Vec cell_geom_FVM, Vec grad_FVM) { 1872eb7bf1fSJames Wright Vec boundary_mask; 1880c373b74SJames Wright Honee honee; 1892eb7bf1fSJames Wright 1902eb7bf1fSJames Wright PetscFunctionBeginUser; 191d9e07cc2SJames Wright PetscCall(PetscLogEventBegin(HONEE_StrongBCInsert, dm, Q_loc, 0, 0)); 1920c373b74SJames Wright PetscCall(DMGetApplicationContext(dm, &honee)); 1932eb7bf1fSJames Wright 1940c373b74SJames Wright if (honee->phys->stg_solution_time_label) { 1950c373b74SJames Wright PetscCallCeed(honee->ceed, CeedOperatorSetContextDouble(honee->op_strong_bc_ctx->op, honee->phys->stg_solution_time_label, &time)); 1962eb7bf1fSJames Wright } 1972eb7bf1fSJames Wright 1982eb7bf1fSJames Wright // Mask Strong BC entries 1992eb7bf1fSJames Wright PetscCall(DMGetNamedLocalVector(dm, "boundary mask", &boundary_mask)); 2002eb7bf1fSJames Wright PetscCall(VecPointwiseMult(Q_loc, Q_loc, boundary_mask)); 2012eb7bf1fSJames Wright PetscCall(DMRestoreNamedLocalVector(dm, "boundary mask", &boundary_mask)); 2022eb7bf1fSJames Wright 203d9e07cc2SJames Wright PetscCall(PetscLogEventBegin(HONEE_StrongBCCeed, dm, Q_loc, 0, 0)); 2040c373b74SJames Wright PetscCall(ApplyAddCeedOperatorLocalToLocal(NULL, Q_loc, honee->op_strong_bc_ctx)); 205d9e07cc2SJames Wright PetscCall(PetscLogEventEnd(HONEE_StrongBCCeed, dm, Q_loc, 0, 0)); 206d9e07cc2SJames Wright PetscCall(PetscLogEventEnd(HONEE_StrongBCInsert, dm, Q_loc, 0, 0)); 207d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 2082eb7bf1fSJames Wright } 2092eb7bf1fSJames Wright 210d3c60affSJames Wright PetscErrorCode SetupStrongBC_Ceed(Ceed ceed, DM dm, Honee honee, ProblemData problem) { 2112eb7bf1fSJames Wright CeedOperator op_strong_bc; 2122eb7bf1fSJames Wright 2132eb7bf1fSJames Wright PetscFunctionBeginUser; 2142eb7bf1fSJames Wright { 2152eb7bf1fSJames Wright Vec boundary_mask, global_vec; 2162eb7bf1fSJames Wright 2172eb7bf1fSJames Wright PetscCall(DMGetNamedLocalVector(dm, "boundary mask", &boundary_mask)); 2182eb7bf1fSJames Wright PetscCall(DMGetGlobalVector(dm, &global_vec)); 2192eb7bf1fSJames Wright PetscCall(VecZeroEntries(boundary_mask)); 2202eb7bf1fSJames Wright PetscCall(VecSet(global_vec, 1.0)); 2212eb7bf1fSJames Wright PetscCall(DMGlobalToLocal(dm, global_vec, INSERT_VALUES, boundary_mask)); 2222eb7bf1fSJames Wright PetscCall(DMRestoreNamedLocalVector(dm, "boundary mask", &boundary_mask)); 2232eb7bf1fSJames Wright PetscCall(DMRestoreGlobalVector(dm, &global_vec)); 2242eb7bf1fSJames Wright } 2252eb7bf1fSJames Wright 226da7f3a07SJames Wright PetscCallCeed(ceed, CeedOperatorCreateComposite(ceed, &op_strong_bc)); 2272eb7bf1fSJames Wright { 2282eb7bf1fSJames Wright PetscBool use_strongstg = PETSC_FALSE; 2292eb7bf1fSJames Wright PetscCall(PetscOptionsGetBool(NULL, NULL, "-stg_strong", &use_strongstg, NULL)); 2302eb7bf1fSJames Wright 2312eb7bf1fSJames Wright if (use_strongstg) { 232d3c60affSJames Wright PetscCall(SetupStrongSTG_Ceed(ceed, honee, dm, problem, honee->phys, op_strong_bc)); 2332eb7bf1fSJames Wright } 2342eb7bf1fSJames Wright } 2352eb7bf1fSJames Wright 2360c373b74SJames Wright PetscCall(OperatorApplyContextCreate(NULL, NULL, ceed, op_strong_bc, CEED_VECTOR_NONE, NULL, NULL, NULL, &honee->op_strong_bc_ctx)); 2372eb7bf1fSJames Wright 2382eb7bf1fSJames Wright PetscCall(PetscObjectComposeFunction((PetscObject)dm, "DMPlexInsertBoundaryValues_C", DMPlexInsertBoundaryValues_StrongBCCeed)); 239d7b7c37aSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_strong_bc)); 240d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 2412eb7bf1fSJames Wright } 242