xref: /honee/src/strong_boundary_conditions.c (revision 00359db47665a79ecb0241f6ccbf886b649022df)
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 
SetupStrongSTG_Ceed(Ceed ceed,Honee honee,DM dm,ProblemData problem,Physics phys,CeedOperator op_strong_bc)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 
DMPlexInsertBoundaryValues_StrongBCCeed(DM dm,PetscBool insert_essential,Vec Q_loc,PetscReal time,Vec face_geom_FVM,Vec cell_geom_FVM,Vec grad_FVM)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 
SetupStrongBC_Ceed(Ceed ceed,DM dm,Honee honee,ProblemData problem)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