1ae2b091fSJames Wright // SPDX-FileCopyrightText: Copyright (c) 2017-2024, HONEE contributors. 2ae2b091fSJames Wright // SPDX-License-Identifier: Apache-2.0 OR BSD-2-Clause 3a515125bSLeila Ghaffari 4a515125bSLeila Ghaffari /// @file 5ea615d4cSJames Wright /// Setup libCEED Operators for HONEE 6a515125bSLeila Ghaffari 7e419654dSJeremy L Thompson #include <ceed.h> 8e419654dSJeremy L Thompson #include <petscdmplex.h> 99ae013d6SJames Wright #include <smartsim.h> 10e419654dSJeremy L Thompson 11149fb536SJames Wright #include <navierstokes.h> 12a515125bSLeila Ghaffari 13a78efa86SJames Wright // @brief Create CeedOperator for unstabilized mass KSP for explicit timestepping 140c373b74SJames Wright static PetscErrorCode CreateKSPMassOperator_Unstabilized(Honee honee, CeedOperator *op_mass) { 150c373b74SJames Wright Ceed ceed = honee->ceed; 16a78efa86SJames Wright CeedInt num_comp_q, q_data_size; 17a78efa86SJames Wright CeedQFunction qf_mass; 1801e19bfaSJames Wright CeedElemRestriction elem_restr_q, elem_restr_qd; 19a78efa86SJames Wright CeedBasis basis_q; 20a78efa86SJames Wright CeedVector q_data; 21a78efa86SJames Wright 22a78efa86SJames Wright PetscFunctionBeginUser; 23a78efa86SJames Wright { // Get restriction and basis from the RHS function 24a78efa86SJames Wright CeedOperator *sub_ops; 2501e19bfaSJames Wright CeedOperatorField op_field; 26a78efa86SJames Wright PetscInt sub_op_index = 0; // will be 0 for the volume op 27a78efa86SJames Wright 28da7f3a07SJames Wright PetscCallCeed(ceed, CeedOperatorCompositeGetSubList(honee->op_rhs_ctx->op, &sub_ops)); 2901e19bfaSJames Wright PetscCallCeed(ceed, CeedOperatorGetFieldByName(sub_ops[sub_op_index], "q", &op_field)); 3001e19bfaSJames Wright PetscCallCeed(ceed, CeedOperatorFieldGetData(op_field, NULL, &elem_restr_q, &basis_q, NULL)); 3101e19bfaSJames Wright PetscCallCeed(ceed, CeedOperatorGetFieldByName(sub_ops[sub_op_index], "qdata", &op_field)); 3201e19bfaSJames Wright PetscCallCeed(ceed, CeedOperatorFieldGetData(op_field, NULL, &elem_restr_qd, NULL, &q_data)); 33a78efa86SJames Wright } 34a78efa86SJames Wright 35a78efa86SJames Wright PetscCallCeed(ceed, CeedElemRestrictionGetNumComponents(elem_restr_q, &num_comp_q)); 3601e19bfaSJames Wright PetscCallCeed(ceed, CeedElemRestrictionGetNumComponents(elem_restr_qd, &q_data_size)); 37a78efa86SJames Wright 3864dd23feSJames Wright PetscCall(HoneeMassQFunctionCreate(ceed, num_comp_q, q_data_size, &qf_mass)); 39a78efa86SJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_mass, NULL, NULL, op_mass)); 4071f2ed29SJames Wright PetscCallCeed(ceed, CeedOperatorSetName(*op_mass, "RHS Mass Operator")); 41a78efa86SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(*op_mass, "u", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 4201e19bfaSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(*op_mass, "qdata", elem_restr_qd, CEED_BASIS_NONE, q_data)); 43a78efa86SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(*op_mass, "v", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 44a78efa86SJames Wright 45fff85bd3SJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&q_data)); 46fff85bd3SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_q)); 47fff85bd3SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_q)); 4801e19bfaSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_qd)); 49a78efa86SJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_mass)); 50a78efa86SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 51a78efa86SJames Wright } 52a78efa86SJames Wright 53a78efa86SJames Wright // @brief Create KSP to solve the inverse mass operator for explicit time stepping schemes 540c373b74SJames Wright static PetscErrorCode CreateKSPMass(Honee honee, ProblemData problem) { 550c373b74SJames Wright Ceed ceed = honee->ceed; 560c373b74SJames Wright DM dm = honee->dm; 57a78efa86SJames Wright CeedOperator op_mass; 58a78efa86SJames Wright 59a78efa86SJames Wright PetscFunctionBeginUser; 600c373b74SJames Wright if (problem->create_mass_operator) PetscCall(problem->create_mass_operator(honee, &op_mass)); 610c373b74SJames Wright else PetscCall(CreateKSPMassOperator_Unstabilized(honee, &op_mass)); 62a78efa86SJames Wright 63a78efa86SJames Wright { // -- Setup KSP for mass operator 64a78efa86SJames Wright Mat mat_mass; 65a78efa86SJames Wright Vec Zeros_loc; 66a78efa86SJames Wright MPI_Comm comm = PetscObjectComm((PetscObject)dm); 67a78efa86SJames Wright 68a78efa86SJames Wright PetscCall(DMCreateLocalVector(dm, &Zeros_loc)); 69a78efa86SJames Wright PetscCall(VecZeroEntries(Zeros_loc)); 70000d2032SJeremy L Thompson PetscCall(MatCreateCeed(dm, dm, op_mass, NULL, &mat_mass)); 71a78efa86SJames Wright PetscCall(MatCeedSetLocalVectors(mat_mass, Zeros_loc, NULL)); 72a78efa86SJames Wright 730c373b74SJames Wright PetscCall(KSPCreate(comm, &honee->mass_ksp)); 740c373b74SJames Wright PetscCall(KSPSetOptionsPrefix(honee->mass_ksp, "mass_")); 7571f2ed29SJames Wright PetscCall(PetscObjectSetName((PetscObject)honee->mass_ksp, "Explicit Mass")); 76a78efa86SJames Wright { // lumped by default 77a78efa86SJames Wright PC pc; 780c373b74SJames Wright PetscCall(KSPGetPC(honee->mass_ksp, &pc)); 79a78efa86SJames Wright PetscCall(PCSetType(pc, PCJACOBI)); 80a78efa86SJames Wright PetscCall(PCJacobiSetType(pc, PC_JACOBI_ROWSUM)); 810c373b74SJames Wright PetscCall(KSPSetType(honee->mass_ksp, KSPPREONLY)); 82a78efa86SJames Wright } 830c373b74SJames Wright PetscCall(KSPSetFromOptions_WithMatCeed(honee->mass_ksp, mat_mass)); 84a78efa86SJames Wright PetscCall(VecDestroy(&Zeros_loc)); 85a78efa86SJames Wright PetscCall(MatDestroy(&mat_mass)); 86a78efa86SJames Wright } 87a78efa86SJames Wright 88a78efa86SJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_mass)); 89a78efa86SJames Wright PetscFunctionReturn(PETSC_SUCCESS); 90a78efa86SJames Wright } 91a78efa86SJames Wright 92d3c60affSJames Wright PetscErrorCode SetupLibceed(Ceed ceed, DM dm, Honee honee, AppCtx app_ctx, ProblemData problem) { 93f27c2204SJames Wright const PetscInt num_comp_q = problem->num_components; 94cf8f12c8SJames Wright PetscInt dim, num_comp_x; 95*4fe35dceSJames Wright CeedInt q_data_size_vol, num_comps_jac_data = problem->num_comps_jac_data; 96*4fe35dceSJames Wright CeedElemRestriction elem_restr_qd, elem_restr_q, elem_restr_x, elem_restr_jd_i = NULL; 97*4fe35dceSJames Wright CeedBasis basis_q, basis_x; 98*4fe35dceSJames Wright CeedVector q_data, x_coord, jac_data = NULL; 99bbc90103SJames Wright CeedOperator op_ifunction_vol = NULL, op_rhs_vol = NULL, op_ijacobian_vol = NULL; 100bbc90103SJames Wright 101bbc90103SJames Wright PetscFunctionBeginUser; 10266d54740SJames Wright PetscCall(DMGetDimension(dm, &dim)); 103cf8f12c8SJames Wright PetscCall(DMGetCoordinateNumComps(dm, &num_comp_x)); 10494a7b3d2SKenneth E. Jansen 1058c85b835SJames Wright CeedElemRestriction elem_restr_diff_flux = NULL; 1060880fbb6SJames Wright CeedVector div_diff_flux_ceed = NULL; 1078c85b835SJames Wright CeedBasis basis_diff_flux = NULL; 1088c85b835SJames Wright CeedEvalMode eval_mode_diff_flux = -1; 109bbc90103SJames Wright { // Create bases and element restrictions 110e3db12f8SJames Wright PetscInt height = 0, dm_field = 0; 11167263decSKenneth E. Jansen DM dm_coord; 11267263decSKenneth E. Jansen 113bbc90103SJames Wright PetscCall(DMGetCoordinateDM(dm, &dm_coord)); 114cf8f12c8SJames Wright PetscCall(DMPlexCeedBasisCreate(ceed, dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, dm_field, &basis_q)); 115a515125bSLeila Ghaffari 116cf8f12c8SJames Wright PetscCall(DMPlexCeedElemRestrictionCreate(ceed, dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, 0, &elem_restr_q)); 1171abc2837SJames Wright if (num_comps_jac_data) { 118e3db12f8SJames Wright PetscCall(DMPlexCeedElemRestrictionQDataCreate(ceed, dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, num_comps_jac_data, &elem_restr_jd_i)); 11928160fc2SJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_jd_i, &jac_data, NULL)); 12028160fc2SJames Wright } 121ce8bebb6SJames Wright 122cf8f12c8SJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_q, &honee->q_ceed, NULL)); 123cf8f12c8SJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_q, &honee->q_dot_ceed, NULL)); 124cf8f12c8SJames Wright PetscCallCeed(ceed, CeedElemRestrictionCreateVector(elem_restr_q, &honee->g_ceed, NULL)); 125*4fe35dceSJames Wright PetscCall(DMPlexCeedCoordinateCreateField(ceed, dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, &elem_restr_x, &basis_x, &x_coord)); 126a515125bSLeila Ghaffari 1279018c49aSJames Wright PetscCall(QDataGet(ceed, dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, &elem_restr_qd, &q_data, &q_data_size_vol)); 128ce8bebb6SJames Wright } 129ce8bebb6SJames Wright 1307cea0f50SJames Wright if (app_ctx->divFdiffproj_method != DIV_DIFF_FLUX_PROJ_NONE) { 1310c373b74SJames Wright PetscCheck(honee->diff_flux_proj, honee->comm, PETSC_ERR_ARG_WRONGSTATE, 1327cea0f50SJames Wright "Divergence of diffusive flux projection requested but object not created"); 1330c373b74SJames Wright PetscCall(DivDiffFluxProjectionGetOperatorFieldData(honee->diff_flux_proj, &elem_restr_diff_flux, &basis_diff_flux, &div_diff_flux_ceed, 1340880fbb6SJames Wright &eval_mode_diff_flux)); 1357cea0f50SJames Wright } 1368c85b835SJames Wright 137ce8bebb6SJames Wright { // -- Create QFunction for ICs 138866f9b4aSJames Wright CeedBasis basis_xc; 139ce8bebb6SJames Wright CeedQFunction qf_ics; 1408f18bb8bSJames Wright CeedOperator op_ics; 141ce8bebb6SJames Wright 142*4fe35dceSJames Wright PetscCallCeed(ceed, CeedBasisCreateProjection(basis_x, basis_q, &basis_xc)); 143e07531f7SJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, problem->ics.qf_func_ptr, problem->ics.qf_loc, &qf_ics)); 144e07531f7SJames Wright PetscCallCeed(ceed, CeedQFunctionSetContext(qf_ics, problem->ics.qfctx)); 145ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionSetUserFlopsEstimate(qf_ics, 0)); 146ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ics, "x", num_comp_x, CEED_EVAL_INTERP)); 147ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ics, "dx", num_comp_x * dim, CEED_EVAL_GRAD)); 148ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_ics, "q0", num_comp_q, CEED_EVAL_NONE)); 149ce8bebb6SJames Wright 150ce8bebb6SJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_ics, NULL, NULL, &op_ics)); 151*4fe35dceSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ics, "x", elem_restr_x, basis_xc, CEED_VECTOR_ACTIVE)); 152*4fe35dceSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ics, "dx", elem_restr_x, basis_xc, CEED_VECTOR_ACTIVE)); 153cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ics, "q0", elem_restr_q, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE)); 1540c373b74SJames Wright PetscCallCeed(ceed, CeedOperatorGetContextFieldLabel(op_ics, "evaluation time", &honee->phys->ics_time_label)); 155*4fe35dceSJames Wright PetscCall(OperatorApplyContextCreate(NULL, dm, honee->ceed, op_ics, x_coord, NULL, NULL, honee->Q_loc, &honee->op_ics_ctx)); 156a515125bSLeila Ghaffari 157866f9b4aSJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_xc)); 158ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_ics)); 159ce8bebb6SJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_ics)); 160ce8bebb6SJames Wright } 161ce8bebb6SJames Wright 162e07531f7SJames Wright if (problem->apply_vol_rhs.qf_func_ptr) { 163ce8bebb6SJames Wright CeedQFunction qf_rhs_vol; 164ce8bebb6SJames Wright 165e07531f7SJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, problem->apply_vol_rhs.qf_func_ptr, problem->apply_vol_rhs.qf_loc, &qf_rhs_vol)); 166e07531f7SJames Wright PetscCallCeed(ceed, CeedQFunctionSetContext(qf_rhs_vol, problem->apply_vol_rhs.qfctx)); 167ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionSetUserFlopsEstimate(qf_rhs_vol, 0)); 168ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_rhs_vol, "q", num_comp_q, CEED_EVAL_INTERP)); 169ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_rhs_vol, "Grad_q", num_comp_q * dim, CEED_EVAL_GRAD)); 17089de3142SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_rhs_vol, "qdata", q_data_size_vol, CEED_EVAL_NONE)); 171ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_rhs_vol, "x", num_comp_x, CEED_EVAL_INTERP)); 1725f952e8dSJames Wright if (app_ctx->divFdiffproj_method != DIV_DIFF_FLUX_PROJ_NONE) 1730c373b74SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_rhs_vol, "div F_diff", honee->diff_flux_proj->num_diff_flux_comps, eval_mode_diff_flux)); 174ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_rhs_vol, "v", num_comp_q, CEED_EVAL_INTERP)); 175ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_rhs_vol, "Grad_v", num_comp_q * dim, CEED_EVAL_GRAD)); 176ce8bebb6SJames Wright 177bbc90103SJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_rhs_vol, NULL, NULL, &op_rhs_vol)); 178cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_rhs_vol, "q", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 179cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_rhs_vol, "Grad_q", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 180be29160dSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_rhs_vol, "qdata", elem_restr_qd, CEED_BASIS_NONE, q_data)); 181*4fe35dceSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_rhs_vol, "x", elem_restr_x, basis_x, x_coord)); 1825f952e8dSJames Wright if (app_ctx->divFdiffproj_method != DIV_DIFF_FLUX_PROJ_NONE) 1835f952e8dSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_rhs_vol, "div F_diff", elem_restr_diff_flux, basis_diff_flux, div_diff_flux_ceed)); 184cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_rhs_vol, "v", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 185cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_rhs_vol, "Grad_v", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 186ce8bebb6SJames Wright 187ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_rhs_vol)); 188a515125bSLeila Ghaffari } 189a515125bSLeila Ghaffari 190e07531f7SJames Wright if (problem->apply_vol_ifunction.qf_func_ptr) { 191ce8bebb6SJames Wright CeedQFunction qf_ifunction_vol; 192ce8bebb6SJames Wright 1939eadbee4SJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, problem->apply_vol_ifunction.qf_func_ptr, problem->apply_vol_ifunction.qf_loc, 1949eadbee4SJames Wright &qf_ifunction_vol)); 195e07531f7SJames Wright PetscCallCeed(ceed, CeedQFunctionSetContext(qf_ifunction_vol, problem->apply_vol_ifunction.qfctx)); 196ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionSetUserFlopsEstimate(qf_ifunction_vol, 0)); 197ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ifunction_vol, "q", num_comp_q, CEED_EVAL_INTERP)); 198ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ifunction_vol, "Grad_q", num_comp_q * dim, CEED_EVAL_GRAD)); 199ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ifunction_vol, "q dot", num_comp_q, CEED_EVAL_INTERP)); 20089de3142SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ifunction_vol, "qdata", q_data_size_vol, CEED_EVAL_NONE)); 201ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ifunction_vol, "x", num_comp_x, CEED_EVAL_INTERP)); 2020880fbb6SJames Wright if (app_ctx->divFdiffproj_method != DIV_DIFF_FLUX_PROJ_NONE) 2030c373b74SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ifunction_vol, "div F_diff", honee->diff_flux_proj->num_diff_flux_comps, eval_mode_diff_flux)); 204ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_ifunction_vol, "v", num_comp_q, CEED_EVAL_INTERP)); 205ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_ifunction_vol, "Grad_v", num_comp_q * dim, CEED_EVAL_GRAD)); 2061abc2837SJames Wright if (num_comps_jac_data) PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_ifunction_vol, "jac_data", num_comps_jac_data, CEED_EVAL_NONE)); 207ce8bebb6SJames Wright 208bbc90103SJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_ifunction_vol, NULL, NULL, &op_ifunction_vol)); 209cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ifunction_vol, "q", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 210cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ifunction_vol, "Grad_q", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 211cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ifunction_vol, "q dot", elem_restr_q, basis_q, honee->q_dot_ceed)); 212be29160dSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ifunction_vol, "qdata", elem_restr_qd, CEED_BASIS_NONE, q_data)); 213*4fe35dceSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ifunction_vol, "x", elem_restr_x, basis_x, x_coord)); 2148c85b835SJames Wright if (app_ctx->divFdiffproj_method != DIV_DIFF_FLUX_PROJ_NONE) 2150880fbb6SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ifunction_vol, "div F_diff", elem_restr_diff_flux, basis_diff_flux, div_diff_flux_ceed)); 216cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ifunction_vol, "v", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 217cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ifunction_vol, "Grad_v", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 2181abc2837SJames Wright if (num_comps_jac_data) PetscCallCeed(ceed, CeedOperatorSetField(op_ifunction_vol, "jac_data", elem_restr_jd_i, CEED_BASIS_NONE, jac_data)); 219752f40e3SJed Brown 220ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_ifunction_vol)); 221a515125bSLeila Ghaffari } 222a515125bSLeila Ghaffari 223e07531f7SJames Wright if (problem->apply_vol_ijacobian.qf_func_ptr) { 224ce8bebb6SJames Wright CeedQFunction qf_ijacobian_vol; 225ce8bebb6SJames Wright 2269eadbee4SJames Wright PetscCallCeed(ceed, CeedQFunctionCreateInterior(ceed, 1, problem->apply_vol_ijacobian.qf_func_ptr, problem->apply_vol_ijacobian.qf_loc, 2279eadbee4SJames Wright &qf_ijacobian_vol)); 228e07531f7SJames Wright PetscCallCeed(ceed, CeedQFunctionSetContext(qf_ijacobian_vol, problem->apply_vol_ijacobian.qfctx)); 229ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionSetUserFlopsEstimate(qf_ijacobian_vol, 0)); 230ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ijacobian_vol, "dq", num_comp_q, CEED_EVAL_INTERP)); 231ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ijacobian_vol, "Grad_dq", num_comp_q * dim, CEED_EVAL_GRAD)); 23289de3142SJames Wright PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ijacobian_vol, "qdata", q_data_size_vol, CEED_EVAL_NONE)); 2331abc2837SJames Wright if (num_comps_jac_data) PetscCallCeed(ceed, CeedQFunctionAddInput(qf_ijacobian_vol, "jac_data", num_comps_jac_data, CEED_EVAL_NONE)); 234ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_ijacobian_vol, "v", num_comp_q, CEED_EVAL_INTERP)); 235ce8bebb6SJames Wright PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_ijacobian_vol, "Grad_v", num_comp_q * dim, CEED_EVAL_GRAD)); 236ce8bebb6SJames Wright 237bbc90103SJames Wright PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_ijacobian_vol, NULL, NULL, &op_ijacobian_vol)); 238cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ijacobian_vol, "dq", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 239cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ijacobian_vol, "Grad_dq", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 240be29160dSJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ijacobian_vol, "qdata", elem_restr_qd, CEED_BASIS_NONE, q_data)); 2411abc2837SJames Wright if (num_comps_jac_data) PetscCallCeed(ceed, CeedOperatorSetField(op_ijacobian_vol, "jac_data", elem_restr_jd_i, CEED_BASIS_NONE, jac_data)); 242cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ijacobian_vol, "v", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 243cf8f12c8SJames Wright PetscCallCeed(ceed, CeedOperatorSetField(op_ijacobian_vol, "Grad_v", elem_restr_q, basis_q, CEED_VECTOR_ACTIVE)); 244ce8bebb6SJames Wright 245b4c37c5cSJames Wright PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_ijacobian_vol)); 246f0b65372SJed Brown } 247f0b65372SJed Brown 248a515125bSLeila Ghaffari // -- Create and apply CEED Composite Operator for the entire domain 2490c373b74SJames Wright if (!honee->phys->implicit) { // RHS 250da5fe0e4SJames Wright CeedOperator op_rhs; 251866f9b4aSJames Wright 252da7f3a07SJames Wright PetscCallCeed(ceed, CeedOperatorCreateComposite(ceed, &op_rhs)); 253da7f3a07SJames Wright PetscCallCeed(ceed, CeedOperatorCompositeAddSub(op_rhs, op_rhs_vol)); 254d6cac220SJames Wright for (PetscCount b = 0; b < problem->num_bc_defs; b++) PetscCall(BCDefinitionAddOperators(problem->bc_defs[b], op_rhs, NULL)); 255866f9b4aSJames Wright 2560c373b74SJames Wright PetscCall(OperatorApplyContextCreate(dm, dm, ceed, op_rhs, honee->q_ceed, honee->g_ceed, honee->Q_loc, NULL, &honee->op_rhs_ctx)); 257866f9b4aSJames Wright 258866f9b4aSJames Wright // ----- Get Context Labels for Operator 2590c373b74SJames Wright PetscCallCeed(ceed, CeedOperatorGetContextFieldLabel(op_rhs, "solution time", &honee->phys->solution_time_label)); 2600c373b74SJames Wright PetscCallCeed(ceed, CeedOperatorGetContextFieldLabel(op_rhs, "timestep size", &honee->phys->timestep_size_label)); 261866f9b4aSJames Wright 262b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_rhs)); 2630c373b74SJames Wright PetscCall(CreateKSPMass(honee, problem)); 2640c373b74SJames Wright PetscCheck(app_ctx->sgs_model_type == SGS_MODEL_NONE, honee->comm, PETSC_ERR_SUP, "SGS modeling not implemented for explicit timestepping"); 265a515125bSLeila Ghaffari } else { // IFunction 266ebfabadfSJames Wright CeedOperator op_ijacobian = NULL; 267ebfabadfSJames Wright 268866f9b4aSJames Wright // Create Composite Operaters 269da7f3a07SJames Wright PetscCallCeed(ceed, CeedOperatorCreateComposite(ceed, &honee->op_ifunction)); 270da7f3a07SJames Wright PetscCallCeed(ceed, CeedOperatorCompositeAddSub(honee->op_ifunction, op_ifunction_vol)); 271866f9b4aSJames Wright if (op_ijacobian_vol) { 272da7f3a07SJames Wright PetscCallCeed(ceed, CeedOperatorCreateComposite(ceed, &op_ijacobian)); 273da7f3a07SJames Wright PetscCallCeed(ceed, CeedOperatorCompositeAddSub(op_ijacobian, op_ijacobian_vol)); 274866f9b4aSJames Wright } 275d6cac220SJames Wright for (PetscCount b = 0; b < problem->num_bc_defs; b++) PetscCall(BCDefinitionAddOperators(problem->bc_defs[b], honee->op_ifunction, op_ijacobian)); 276866f9b4aSJames Wright 277866f9b4aSJames Wright // ----- Get Context Labels for Operator 2780c373b74SJames Wright PetscCallCeed(ceed, CeedOperatorGetContextFieldLabel(honee->op_ifunction, "solution time", &honee->phys->solution_time_label)); 2790c373b74SJames Wright PetscCallCeed(ceed, CeedOperatorGetContextFieldLabel(honee->op_ifunction, "timestep size", &honee->phys->timestep_size_label)); 280866f9b4aSJames Wright 281ebfabadfSJames Wright if (op_ijacobian) { 2820c373b74SJames Wright PetscCall(MatCreateCeed(honee->dm, honee->dm, op_ijacobian, NULL, &honee->mat_ijacobian)); 2830c373b74SJames Wright PetscCall(MatCeedSetLocalVectors(honee->mat_ijacobian, honee->Q_dot_loc, NULL)); 284ebfabadfSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_ijacobian)); 285f0b65372SJed Brown } 286e3663b90SJames Wright if (app_ctx->sgs_model_type == SGS_MODEL_DATA_DRIVEN) PetscCall(SgsDDSetup(ceed, honee, problem)); 2876d0190e2SJames Wright } 28891933550SJames Wright 289d3c60affSJames Wright if (problem->use_strong_bc_ceed) PetscCall(SetupStrongBC_Ceed(ceed, dm, honee, problem)); 2909ae013d6SJames Wright if (app_ctx->sgs_train_enable) PetscCall(SGS_DD_TrainingSetup(ceed, honee)); 291e3663b90SJames Wright if (app_ctx->divFdiffproj_method != DIV_DIFF_FLUX_PROJ_NONE) PetscCall(DivDiffFluxProjectionSetup(honee, honee->diff_flux_proj)); 29291933550SJames Wright 293be29160dSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&q_data)); 2948c85b835SJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&jac_data)); 295*4fe35dceSJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&x_coord)); 296cf8f12c8SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_q)); 297*4fe35dceSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_x)); 298be29160dSJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_qd)); 2998c85b835SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_jd_i)); 3008c85b835SJames Wright PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_diff_flux)); 3018c85b835SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_diff_flux)); 302cf8f12c8SJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_q)); 303*4fe35dceSJames Wright PetscCallCeed(ceed, CeedBasisDestroy(&basis_x)); 3040880fbb6SJames Wright PetscCallCeed(ceed, CeedVectorDestroy(&div_diff_flux_ceed)); 305b4c37c5cSJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_ijacobian_vol)); 306bbc90103SJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_ifunction_vol)); 307bbc90103SJames Wright PetscCallCeed(ceed, CeedOperatorDestroy(&op_rhs_vol)); 308d949ddfcSJames Wright PetscFunctionReturn(PETSC_SUCCESS); 309a515125bSLeila Ghaffari } 310