xref: /honee/src/diff_flux_projection.c (revision e3db12f8fd36c2c636163113c7ff57d59e00b06c)
18c85b835SJames Wright // SPDX-FileCopyrightText: Copyright (c) 2017-2024, HONEE contributors.
28c85b835SJames Wright // SPDX-License-Identifier: Apache-2.0 OR BSD-2-Clause
38c85b835SJames Wright /// @file
48c85b835SJames Wright /// Functions for setting up and projecting the divergence of the diffusive flux
58c85b835SJames Wright 
68c85b835SJames Wright #include "../qfunctions/diff_flux_projection.h"
78c85b835SJames Wright 
88c85b835SJames Wright #include <petscdmplex.h>
98c85b835SJames Wright 
108c85b835SJames Wright #include <navierstokes.h>
118c85b835SJames Wright 
12e5a8cae0SJames Wright const char *const DivDiffFluxProjectionMethods[] = {"NONE", "DIRECT", "INDIRECT", "DivDiffFluxProjectionMethod", "DIV_DIFF_FLUX_PROJ_", NULL};
13e5a8cae0SJames Wright 
148c85b835SJames Wright /**
150c373b74SJames Wright   @brief Create `DivDiffFluxProjectionData` for solution DM in `honee`
168c85b835SJames Wright 
170c373b74SJames Wright   @param[in]  honee               `Honee` context
18d9e69621SJames Wright   @param[in]  divFdiffproj_method Method used to perform the divergence of diffusive flux method (can be `DIV_DIFF_FLUX_PROJ_NONE`)
1936038bbcSJames Wright   @param[in]  num_diff_flux_comps Number of components that makes up the diffusive flux (e.g. 1 for scalar advection-diffusion)
20d9e69621SJames Wright   @param[out] diff_flux_proj      The `DivDiffFluxProjectionData` object created, or set to `NULL` if `divFdiffproj_method = DIV_DIFF_FLUX_PROJ_NONE`
218c85b835SJames Wright **/
22d9e69621SJames Wright PetscErrorCode DivDiffFluxProjectionCreate(Honee honee, DivDiffFluxProjectionMethod divFdiffproj_method, PetscInt num_diff_flux_comps,
23d9e69621SJames Wright                                            DivDiffFluxProjectionData *diff_flux_proj) {
24*e3db12f8SJames Wright   PetscInt                  height = 0, dm_field = 0, dim, degree = honee->app_ctx->degree, q_extra = honee->app_ctx->q_extra;
25d9e69621SJames Wright   DivDiffFluxProjectionData diff_flux_proj_;
268c85b835SJames Wright   NodalProjectionData       projection;
278c85b835SJames Wright 
288c85b835SJames Wright   PetscFunctionBeginUser;
29d9e69621SJames Wright   if (divFdiffproj_method == DIV_DIFF_FLUX_PROJ_NONE) {
30d9e69621SJames Wright     *diff_flux_proj = NULL;
3136038bbcSJames Wright     PetscFunctionReturn(PETSC_SUCCESS);
3236038bbcSJames Wright   }
33f5dc303cSJames Wright   PetscCall(PetscNew(&projection));
34d9e69621SJames Wright   PetscCall(PetscNew(&diff_flux_proj_));
35f5dc303cSJames Wright   *diff_flux_proj_ = (struct DivDiffFluxProjectionData_){
36f5dc303cSJames Wright       .method              = divFdiffproj_method,
37f5dc303cSJames Wright       .num_diff_flux_comps = num_diff_flux_comps,
38f5dc303cSJames Wright       .projection          = projection,
39f5dc303cSJames Wright   };
408c85b835SJames Wright 
410c373b74SJames Wright   PetscCall(DMClone(honee->dm, &projection->dm));
428c85b835SJames Wright   PetscCall(DMSetMatrixPreallocateSkip(projection->dm, PETSC_TRUE));
438c85b835SJames Wright   PetscCall(DMGetDimension(projection->dm, &dim));
44d9e69621SJames Wright   switch (diff_flux_proj_->method) {
458c85b835SJames Wright     case DIV_DIFF_FLUX_PROJ_DIRECT: {
46d9e69621SJames Wright       projection->num_comp = diff_flux_proj_->num_diff_flux_comps;
478c85b835SJames Wright       PetscCall(PetscObjectSetName((PetscObject)projection->dm, "DivDiffFluxProj"));
4836038bbcSJames Wright       PetscCall(DMSetupByOrder_FEM(PETSC_TRUE, PETSC_TRUE, degree, 1, q_extra, 1, &projection->num_comp, projection->dm));
498c85b835SJames Wright 
50*e3db12f8SJames Wright       PetscCall(DMPlexCeedElemRestrictionCreate(honee->ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, dm_field,
51d9e69621SJames Wright                                                 &diff_flux_proj_->elem_restr_div_diff_flux));
520c373b74SJames Wright       PetscCallCeed(honee->ceed,
53d9e69621SJames Wright                     CeedElemRestrictionCreateVector(diff_flux_proj_->elem_restr_div_diff_flux, &diff_flux_proj_->div_diff_flux_ceed, NULL));
54*e3db12f8SJames Wright       PetscCall(DMPlexCeedBasisCreate(honee->ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, dm_field,
556b9fd993SJames Wright                                       &diff_flux_proj_->basis_div_diff_flux));
56d9e69621SJames Wright       diff_flux_proj_->eval_mode_div_diff_flux = CEED_EVAL_INTERP;
571af555e8SJames Wright 
581af555e8SJames Wright       {  // Create face labels on projection->dm for boundary integrals
591af555e8SJames Wright         DMLabel  face_sets_label;
601af555e8SJames Wright         PetscInt num_face_set_values, *face_set_values;
611af555e8SJames Wright 
620c373b74SJames Wright         PetscCall(DMGetLabel(honee->dm, "Face Sets", &face_sets_label));
630c373b74SJames Wright         PetscCall(DMLabelCreateGlobalValueArray(honee->dm, face_sets_label, &num_face_set_values, &face_set_values));
641af555e8SJames Wright         for (PetscInt f = 0; f < num_face_set_values; f++) {
651af555e8SJames Wright           DMLabel face_orientation_label;
661af555e8SJames Wright           char   *face_orientation_label_name;
671af555e8SJames Wright 
680c373b74SJames Wright           PetscCall(DMPlexCreateFaceLabel(honee->dm, face_set_values[f], &face_orientation_label_name));
690c373b74SJames Wright           PetscCall(DMGetLabel(honee->dm, face_orientation_label_name, &face_orientation_label));
701af555e8SJames Wright           PetscCall(DMAddLabel(projection->dm, face_orientation_label));
711af555e8SJames Wright           PetscCall(PetscFree(face_orientation_label_name));
721af555e8SJames Wright         }
7336038bbcSJames Wright         PetscCall(PetscFree(face_set_values));
741af555e8SJames Wright       }
758c85b835SJames Wright     } break;
768c85b835SJames Wright     case DIV_DIFF_FLUX_PROJ_INDIRECT: {
77d9e69621SJames Wright       projection->num_comp = diff_flux_proj_->num_diff_flux_comps * dim;
788c85b835SJames Wright       PetscCall(PetscObjectSetName((PetscObject)projection->dm, "DiffFluxProj"));
7936038bbcSJames Wright       PetscCall(DMSetupByOrder_FEM(PETSC_TRUE, PETSC_TRUE, degree, 1, q_extra, 1, &projection->num_comp, projection->dm));
808c85b835SJames Wright 
81*e3db12f8SJames Wright       PetscCall(DMPlexCeedElemRestrictionQDataCreate(honee->ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height,
82d9e69621SJames Wright                                                      diff_flux_proj_->num_diff_flux_comps, &diff_flux_proj_->elem_restr_div_diff_flux));
830c373b74SJames Wright       PetscCallCeed(honee->ceed,
84d9e69621SJames Wright                     CeedElemRestrictionCreateVector(diff_flux_proj_->elem_restr_div_diff_flux, &diff_flux_proj_->div_diff_flux_ceed, NULL));
85d9e69621SJames Wright       diff_flux_proj_->basis_div_diff_flux     = CEED_BASIS_NONE;
86d9e69621SJames Wright       diff_flux_proj_->eval_mode_div_diff_flux = CEED_EVAL_NONE;
878c85b835SJames Wright     } break;
888c85b835SJames Wright     case DIV_DIFF_FLUX_PROJ_NONE:
89d9e69621SJames Wright       SETERRQ(honee->comm, PETSC_ERR_ARG_WRONG, "Should not reach here with div_diff_flux_projection_method %s",
90d9e69621SJames Wright               DivDiffFluxProjectionMethods[divFdiffproj_method]);
918c85b835SJames Wright       break;
928c85b835SJames Wright   }
93d9e69621SJames Wright   *diff_flux_proj = diff_flux_proj_;
948c85b835SJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
958c85b835SJames Wright };
968c85b835SJames Wright 
978c85b835SJames Wright /**
980880fbb6SJames Wright   @brief Return the objects required for the Divergence of Diffusive flux to be read by a `CeedOperator`
990880fbb6SJames Wright 
1000880fbb6SJames Wright   @param[in]  diff_flux_proj Projection object
1010880fbb6SJames Wright   @param[out] elem_restr     Element restriction for the divergence of diffusive flux, or `NULL`
1020880fbb6SJames Wright   @param[out] basis          Basis for the divergence of diffusive flux, or `NULL`
1030880fbb6SJames Wright   @param[out] vector         Vector for the divergence of diffusive flux, or `NULL`
1040880fbb6SJames Wright   @param[out] eval_mode      Eval mode for the divergence of diffusive flux, or `NULL`
1050880fbb6SJames Wright **/
1060880fbb6SJames Wright PetscErrorCode DivDiffFluxProjectionGetOperatorFieldData(DivDiffFluxProjectionData diff_flux_proj, CeedElemRestriction *elem_restr, CeedBasis *basis,
1070880fbb6SJames Wright                                                          CeedVector *vector, CeedEvalMode *eval_mode) {
1080880fbb6SJames Wright   Ceed ceed = CeedVectorReturnCeed(diff_flux_proj->div_diff_flux_ceed);
1090880fbb6SJames Wright 
1100880fbb6SJames Wright   PetscFunctionBeginUser;
1110880fbb6SJames Wright   if (elem_restr) PetscCallCeed(ceed, CeedElemRestrictionReferenceCopy(diff_flux_proj->elem_restr_div_diff_flux, elem_restr));
1120880fbb6SJames Wright   if (basis) PetscCallCeed(ceed, CeedBasisReferenceCopy(diff_flux_proj->basis_div_diff_flux, basis));
1130880fbb6SJames Wright   if (vector) PetscCallCeed(ceed, CeedVectorReferenceCopy(diff_flux_proj->div_diff_flux_ceed, vector));
1140880fbb6SJames Wright   if (eval_mode) *eval_mode = diff_flux_proj->eval_mode_div_diff_flux;
1150880fbb6SJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
1160880fbb6SJames Wright }
1170880fbb6SJames Wright 
1180880fbb6SJames Wright /**
1198c85b835SJames Wright   @brief Setup direct projection of divergence of diffusive flux
1208c85b835SJames Wright 
1210c373b74SJames Wright   @param[in]     honee          `Honee` context
1228561fee2SJames Wright   @param[in,out] diff_flux_proj Flux projection object to setup
1238c85b835SJames Wright **/
124e3663b90SJames Wright static PetscErrorCode DivDiffFluxProjectionSetup_Direct(Honee honee, DivDiffFluxProjectionData diff_flux_proj) {
1250c373b74SJames Wright   Ceed                ceed       = honee->ceed;
1268c85b835SJames Wright   NodalProjectionData projection = diff_flux_proj->projection;
12736038bbcSJames Wright   MPI_Comm            comm       = PetscObjectComm((PetscObject)projection->dm);
1288c85b835SJames Wright 
1298c85b835SJames Wright   PetscFunctionBeginUser;
13036038bbcSJames Wright   {  // Create Projection RHS OperatorApplyContext
13136038bbcSJames Wright     CeedOperator op_rhs;
1328c85b835SJames Wright 
13336038bbcSJames Wright     PetscCheck(diff_flux_proj->CreateRHSOperator_Direct, comm, PETSC_ERR_ARG_WRONGSTATE,
13436038bbcSJames Wright                "Must define CreateRHSOperator_Direct to use indirect div_diff_flux projection");
135e3663b90SJames Wright     PetscCall(diff_flux_proj->CreateRHSOperator_Direct(honee, diff_flux_proj, &op_rhs));
1368c85b835SJames Wright     PetscCall(DMCreateLocalVector(projection->dm, &diff_flux_proj->DivDiffFlux_loc));
1378c85b835SJames Wright     diff_flux_proj->ceed_vec_has_array = PETSC_FALSE;
1380c373b74SJames Wright     PetscCall(OperatorApplyContextCreate(honee->dm, projection->dm, ceed, op_rhs, NULL, NULL, NULL, diff_flux_proj->DivDiffFlux_loc,
13936038bbcSJames Wright                                          &projection->l2_rhs_ctx));
14036038bbcSJames Wright     PetscCallCeed(ceed, CeedOperatorDestroy(&op_rhs));
14136038bbcSJames Wright   }
1428c85b835SJames Wright 
1438c85b835SJames Wright   {  // -- Build Mass operator
1448c85b835SJames Wright     CeedQFunction       qf_mass;
1458c85b835SJames Wright     CeedOperator        op_mass;
146590d9cddSJames Wright     CeedBasis           basis_div_diff_flux             = NULL;
147590d9cddSJames Wright     CeedElemRestriction elem_restr_div_diff_flux_volume = NULL, elem_restr_qd;
1480880fbb6SJames Wright     CeedVector          q_data;
1490880fbb6SJames Wright     CeedInt             q_data_size;
1500880fbb6SJames Wright 
151590d9cddSJames Wright     PetscCall(DivDiffFluxProjectionGetOperatorFieldData(diff_flux_proj, &elem_restr_div_diff_flux_volume, &basis_div_diff_flux, NULL, NULL));
152*e3db12f8SJames Wright     PetscCall(QDataGet(ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, honee->elem_restr_x, honee->basis_x, honee->x_coord,
153*e3db12f8SJames Wright                        &elem_restr_qd, &q_data, &q_data_size));
1548c85b835SJames Wright 
15564dd23feSJames Wright     PetscCall(HoneeMassQFunctionCreate(ceed, projection->num_comp, q_data_size, &qf_mass));
1568c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_mass, NULL, NULL, &op_mass));
157590d9cddSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "u", elem_restr_div_diff_flux_volume, basis_div_diff_flux, CEED_VECTOR_ACTIVE));
1588c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "qdata", elem_restr_qd, CEED_BASIS_NONE, q_data));
159590d9cddSJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "v", elem_restr_div_diff_flux_volume, basis_div_diff_flux, CEED_VECTOR_ACTIVE));
1608c85b835SJames Wright 
1618c85b835SJames Wright     {  // -- Setup KSP for L^2 projection
1628c85b835SJames Wright       Mat mat_mass;
1638c85b835SJames Wright 
1648c85b835SJames Wright       PetscCall(MatCreateCeed(projection->dm, projection->dm, op_mass, NULL, &mat_mass));
1658c85b835SJames Wright 
1668c85b835SJames Wright       PetscCall(KSPCreate(comm, &projection->ksp));
1678c85b835SJames Wright       PetscCall(KSPSetOptionsPrefix(projection->ksp, "div_diff_flux_projection_"));
1688c85b835SJames Wright       {  // lumped by default
1698c85b835SJames Wright         PC pc;
1708c85b835SJames Wright         PetscCall(KSPGetPC(projection->ksp, &pc));
1718c85b835SJames Wright         PetscCall(PCSetType(pc, PCJACOBI));
1728c85b835SJames Wright         PetscCall(PCJacobiSetType(pc, PC_JACOBI_ROWSUM));
1738c85b835SJames Wright         PetscCall(KSPSetType(projection->ksp, KSPPREONLY));
1748c85b835SJames Wright       }
1758c85b835SJames Wright       PetscCall(KSPSetFromOptions_WithMatCeed(projection->ksp, mat_mass));
1768c85b835SJames Wright       PetscCall(MatDestroy(&mat_mass));
1778c85b835SJames Wright     }
1780880fbb6SJames Wright 
179590d9cddSJames Wright     PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_div_diff_flux_volume));
180590d9cddSJames Wright     PetscCallCeed(ceed, CeedBasisDestroy(&basis_div_diff_flux));
1810880fbb6SJames Wright     PetscCallCeed(ceed, CeedVectorDestroy(&q_data));
1820880fbb6SJames Wright     PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_qd));
1838c85b835SJames Wright     PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_mass));
1848c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorDestroy(&op_mass));
1858c85b835SJames Wright   }
1868c85b835SJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
1878c85b835SJames Wright }
1888c85b835SJames Wright 
1898c85b835SJames Wright /**
1908c85b835SJames Wright   @brief Setup indirect projection of divergence of diffusive flux
1918c85b835SJames Wright 
1920c373b74SJames Wright   @param[in]     honee          `Honee` context
1938561fee2SJames Wright   @param[in,out] diff_flux_proj Flux projection object to setup
1948c85b835SJames Wright **/
195e3663b90SJames Wright static PetscErrorCode DivDiffFluxProjectionSetup_Indirect(Honee honee, DivDiffFluxProjectionData diff_flux_proj) {
1960c373b74SJames Wright   Ceed                ceed       = honee->ceed;
1978c85b835SJames Wright   NodalProjectionData projection = diff_flux_proj->projection;
1988c85b835SJames Wright   CeedBasis           basis_diff_flux;
1998c85b835SJames Wright   CeedElemRestriction elem_restr_diff_flux, elem_restr_qd;
2008c85b835SJames Wright   CeedVector          q_data;
2010880fbb6SJames Wright   CeedInt             q_data_size;
20236038bbcSJames Wright   MPI_Comm            comm = PetscObjectComm((PetscObject)projection->dm);
2038c85b835SJames Wright 
2048c85b835SJames Wright   PetscFunctionBeginUser;
2050880fbb6SJames Wright   {
206*e3db12f8SJames Wright     PetscInt height = 0, dm_field = 0;
2078c85b835SJames Wright 
208*e3db12f8SJames Wright     PetscCall(DMPlexCeedElemRestrictionCreate(ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, dm_field, &elem_restr_diff_flux));
209*e3db12f8SJames Wright     PetscCall(DMPlexCeedBasisCreate(ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, height, dm_field, &basis_diff_flux));
210*e3db12f8SJames Wright     PetscCall(QDataGet(ceed, projection->dm, DMLABEL_DEFAULT, DMLABEL_DEFAULT_VALUE, honee->elem_restr_x, honee->basis_x, honee->x_coord,
211*e3db12f8SJames Wright                        &elem_restr_qd, &q_data, &q_data_size));
2120880fbb6SJames Wright   }
2138c85b835SJames Wright 
21436038bbcSJames Wright   {
2158c85b835SJames Wright     CeedOperator op_rhs;
2168c85b835SJames Wright 
21736038bbcSJames Wright     PetscCheck(diff_flux_proj->CreateRHSOperator_Indirect, comm, PETSC_ERR_ARG_WRONGSTATE,
21836038bbcSJames Wright                "Must define CreateRHSOperator_Indirect to use indirect div_diff_flux projection");
219e3663b90SJames Wright     PetscCall(diff_flux_proj->CreateRHSOperator_Indirect(honee, diff_flux_proj, &op_rhs));
2200c373b74SJames Wright     PetscCall(OperatorApplyContextCreate(honee->dm, projection->dm, ceed, op_rhs, NULL, NULL, NULL, NULL, &projection->l2_rhs_ctx));
2218c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorDestroy(&op_rhs));
2228c85b835SJames Wright   }
2238c85b835SJames Wright 
2248c85b835SJames Wright   {  // -- Build Mass operator
2258c85b835SJames Wright     CeedQFunction qf_mass;
2268c85b835SJames Wright     CeedOperator  op_mass;
2278c85b835SJames Wright 
22864dd23feSJames Wright     PetscCall(HoneeMassQFunctionCreate(ceed, projection->num_comp, q_data_size, &qf_mass));
2298c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_mass, NULL, NULL, &op_mass));
2308c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "u", elem_restr_diff_flux, basis_diff_flux, CEED_VECTOR_ACTIVE));
2318c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "qdata", elem_restr_qd, CEED_BASIS_NONE, q_data));
2328c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_mass, "v", elem_restr_diff_flux, basis_diff_flux, CEED_VECTOR_ACTIVE));
2338c85b835SJames Wright 
2348c85b835SJames Wright     {  // -- Setup KSP for L^2 projection
2358c85b835SJames Wright       Mat mat_mass;
2368c85b835SJames Wright 
2378c85b835SJames Wright       PetscCall(MatCreateCeed(projection->dm, projection->dm, op_mass, NULL, &mat_mass));
2388c85b835SJames Wright 
2398c85b835SJames Wright       PetscCall(KSPCreate(comm, &projection->ksp));
2408c85b835SJames Wright       PetscCall(KSPSetOptionsPrefix(projection->ksp, "div_diff_flux_projection_"));
2418c85b835SJames Wright       {  // lumped by default
2428c85b835SJames Wright         PC pc;
2438c85b835SJames Wright         PetscCall(KSPGetPC(projection->ksp, &pc));
2448c85b835SJames Wright         PetscCall(PCSetType(pc, PCJACOBI));
2458c85b835SJames Wright         PetscCall(PCJacobiSetType(pc, PC_JACOBI_ROWSUM));
2468c85b835SJames Wright         PetscCall(KSPSetType(projection->ksp, KSPPREONLY));
2478c85b835SJames Wright       }
2488c85b835SJames Wright       PetscCall(KSPSetFromOptions_WithMatCeed(projection->ksp, mat_mass));
2498c85b835SJames Wright       PetscCall(MatDestroy(&mat_mass));
2508c85b835SJames Wright     }
2518c85b835SJames Wright     PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_mass));
2528c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorDestroy(&op_mass));
2538c85b835SJames Wright   }
2548c85b835SJames Wright 
2558c85b835SJames Wright   {  // Create OperatorApplyContext to calculate divergence at quadrature points
25640b78511SJames Wright     CeedQFunction       qf_calc_divergence = NULL;
2578c85b835SJames Wright     CeedOperator        op_calc_divergence;
2580880fbb6SJames Wright     CeedElemRestriction elem_restr_div_diff_flux = NULL;
2590880fbb6SJames Wright     PetscInt            dim;
2608c85b835SJames Wright 
2610880fbb6SJames Wright     PetscCall(DMGetDimension(projection->dm, &dim));
2620880fbb6SJames Wright     PetscCall(DivDiffFluxProjectionGetOperatorFieldData(diff_flux_proj, &elem_restr_div_diff_flux, NULL, NULL, NULL));
2638c85b835SJames Wright 
26440b78511SJames Wright     switch (dim) {
26540b78511SJames Wright       case 2:
26640b78511SJames Wright         switch (diff_flux_proj->num_diff_flux_comps) {
26740b78511SJames Wright           case 1:
26840b78511SJames Wright             PetscCallCeed(ceed,
26940b78511SJames Wright                           CeedQFunctionCreateInterior(ceed, 1, ComputeDivDiffusiveFlux2D_1, ComputeDivDiffusiveFlux2D_1_loc, &qf_calc_divergence));
27040b78511SJames Wright             break;
27140b78511SJames Wright         }
27240b78511SJames Wright         break;
27340b78511SJames Wright       case 3:
27440b78511SJames Wright         switch (diff_flux_proj->num_diff_flux_comps) {
27540b78511SJames Wright           case 1:
27640b78511SJames Wright             PetscCallCeed(ceed,
27740b78511SJames Wright                           CeedQFunctionCreateInterior(ceed, 1, ComputeDivDiffusiveFlux3D_1, ComputeDivDiffusiveFlux3D_1_loc, &qf_calc_divergence));
27840b78511SJames Wright             break;
27940b78511SJames Wright           case 4:
28040b78511SJames Wright             PetscCallCeed(ceed,
28140b78511SJames Wright                           CeedQFunctionCreateInterior(ceed, 1, ComputeDivDiffusiveFlux3D_4, ComputeDivDiffusiveFlux3D_4_loc, &qf_calc_divergence));
28240b78511SJames Wright             break;
28340b78511SJames Wright         }
28440b78511SJames Wright         break;
28540b78511SJames Wright     }
28640b78511SJames Wright     PetscCheck(qf_calc_divergence, comm, PETSC_ERR_SUP,
28740b78511SJames Wright                "QFunction for calculating divergence of diffusive flux does not exist for"
28840b78511SJames Wright                " %" PetscInt_FMT " dimensional grid and %" PetscInt_FMT
28940b78511SJames Wright                " number of components.\nA new qfunction can be easily added; see source code for pattern.",
29040b78511SJames Wright                dim, diff_flux_proj->num_diff_flux_comps);
2918c85b835SJames Wright 
2928c85b835SJames Wright     PetscCallCeed(ceed, CeedQFunctionAddInput(qf_calc_divergence, "Grad F_diff", projection->num_comp * dim, CEED_EVAL_GRAD));
2938c85b835SJames Wright     PetscCallCeed(ceed, CeedQFunctionAddInput(qf_calc_divergence, "qdata", q_data_size, CEED_EVAL_NONE));
29440b78511SJames Wright     PetscCallCeed(ceed, CeedQFunctionAddOutput(qf_calc_divergence, "Div F_diff", diff_flux_proj->num_diff_flux_comps, CEED_EVAL_NONE));
2958c85b835SJames Wright 
2968c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorCreate(ceed, qf_calc_divergence, NULL, NULL, &op_calc_divergence));
2978c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_calc_divergence, "Grad F_diff", elem_restr_diff_flux, basis_diff_flux, CEED_VECTOR_ACTIVE));
2988c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_calc_divergence, "qdata", elem_restr_qd, CEED_BASIS_NONE, q_data));
2999eadbee4SJames Wright     PetscCallCeed(ceed, CeedOperatorSetField(op_calc_divergence, "Div F_diff", elem_restr_div_diff_flux, CEED_BASIS_NONE,
3009eadbee4SJames Wright                                              diff_flux_proj->div_diff_flux_ceed));
3018c85b835SJames Wright 
30265fa3c0aSJames Wright     PetscCall(OperatorApplyContextCreate(projection->dm, NULL, ceed, op_calc_divergence, NULL, CEED_VECTOR_NONE, NULL, NULL,
30365fa3c0aSJames Wright                                          &diff_flux_proj->calc_div_diff_flux));
3048c85b835SJames Wright 
3050880fbb6SJames Wright     PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_div_diff_flux));
3068c85b835SJames Wright     PetscCallCeed(ceed, CeedQFunctionDestroy(&qf_calc_divergence));
3078c85b835SJames Wright     PetscCallCeed(ceed, CeedOperatorDestroy(&op_calc_divergence));
3088c85b835SJames Wright   }
3098c85b835SJames Wright   PetscCallCeed(ceed, CeedBasisDestroy(&basis_diff_flux));
3108c85b835SJames Wright   PetscCallCeed(ceed, CeedVectorDestroy(&q_data));
3118c85b835SJames Wright   PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_qd));
3128c85b835SJames Wright   PetscCallCeed(ceed, CeedElemRestrictionDestroy(&elem_restr_diff_flux));
3138c85b835SJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
3148c85b835SJames Wright }
3158c85b835SJames Wright 
3168c85b835SJames Wright /**
3178c85b835SJames Wright   @brief Setup projection of divergence of diffusive flux
3188c85b835SJames Wright 
3190c373b74SJames Wright   @param[in]     honee          `Honee` context
3208561fee2SJames Wright   @param[in,out] diff_flux_proj Flux projection object to setup
3218c85b835SJames Wright **/
322e3663b90SJames Wright PetscErrorCode DivDiffFluxProjectionSetup(Honee honee, DivDiffFluxProjectionData diff_flux_proj) {
3238c85b835SJames Wright   PetscFunctionBeginUser;
3240c373b74SJames Wright   switch (honee->app_ctx->divFdiffproj_method) {
3258c85b835SJames Wright     case DIV_DIFF_FLUX_PROJ_DIRECT:
326e3663b90SJames Wright       PetscCall(DivDiffFluxProjectionSetup_Direct(honee, diff_flux_proj));
3278c85b835SJames Wright       break;
3288c85b835SJames Wright     case DIV_DIFF_FLUX_PROJ_INDIRECT:
329e3663b90SJames Wright       PetscCall(DivDiffFluxProjectionSetup_Indirect(honee, diff_flux_proj));
3308c85b835SJames Wright       break;
3318c85b835SJames Wright     case DIV_DIFF_FLUX_PROJ_NONE:
3320c373b74SJames Wright       SETERRQ(PetscObjectComm((PetscObject)honee->dm), PETSC_ERR_ARG_WRONG, "Should not reach here with div_diff_flux_projection_method %s",
3330c373b74SJames Wright               DivDiffFluxProjectionMethods[honee->app_ctx->divFdiffproj_method]);
3348c85b835SJames Wright       break;
3358c85b835SJames Wright   }
3368c85b835SJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
3378c85b835SJames Wright }
3388c85b835SJames Wright 
3398c85b835SJames Wright /**
3408c85b835SJames Wright   @brief Project the divergence of diffusive flux
3418c85b835SJames Wright 
3428c85b835SJames Wright   This implicitly sets the `CeedVector` input (`div_diff_flux_ceed`) to the divergence of diffusive flux.
3438c85b835SJames Wright 
3448c85b835SJames Wright   @param[in]  diff_flux_proj `NodalProjectionData` for the projection
3458c85b835SJames Wright   @param[in]  Q_loc          Localized solution vector
3468c85b835SJames Wright **/
34736038bbcSJames Wright PetscErrorCode DivDiffFluxProjectionApply(DivDiffFluxProjectionData diff_flux_proj, Vec Q_loc) {
3488c85b835SJames Wright   NodalProjectionData projection = diff_flux_proj->projection;
3498c85b835SJames Wright 
3508c85b835SJames Wright   PetscFunctionBeginUser;
351ea615d4cSJames Wright   PetscCall(PetscLogEventBegin(HONEE_DivDiffFluxProjection, Q_loc, 0, 0, 0));
3528c85b835SJames Wright   switch (diff_flux_proj->method) {
3538c85b835SJames Wright     case DIV_DIFF_FLUX_PROJ_DIRECT: {
354c8cb0c9bSJames Wright       Vec DivDiffFlux, RHS;
3558c85b835SJames Wright 
3568c85b835SJames Wright       PetscCall(DMGetGlobalVector(projection->dm, &DivDiffFlux));
357c8cb0c9bSJames Wright       PetscCall(DMGetGlobalVector(projection->dm, &RHS));
3588c85b835SJames Wright       if (diff_flux_proj->ceed_vec_has_array) {
3598c85b835SJames Wright         PetscCall(VecReadCeedToPetsc(diff_flux_proj->div_diff_flux_ceed, diff_flux_proj->DivDiffFlux_memtype, diff_flux_proj->DivDiffFlux_loc));
3608c85b835SJames Wright         diff_flux_proj->ceed_vec_has_array = PETSC_FALSE;
3618c85b835SJames Wright       }
362c8cb0c9bSJames Wright       PetscCall(ApplyCeedOperatorLocalToGlobal(Q_loc, RHS, projection->l2_rhs_ctx));
3638c85b835SJames Wright       PetscCall(VecViewFromOptions(DivDiffFlux, NULL, "-div_diff_flux_projection_rhs_view"));
3648c85b835SJames Wright 
365c8cb0c9bSJames Wright       {
366c8cb0c9bSJames Wright         // Run PCApply manually if using ksp_type preonly -pc_type jacobi
367c8cb0c9bSJames Wright         // This is to avoid an AllReduce call in KSPSolve_Preonly, which causes significant slowdowns for lumped mass matrix solves.
368c8cb0c9bSJames Wright         // See https://gitlab.com/petsc/petsc/-/merge_requests/8048 for more details and a possible fix
369c8cb0c9bSJames Wright         PC        pc;
370c8cb0c9bSJames Wright         PetscBool ispreonly, isjacobi;
371c8cb0c9bSJames Wright         PetscCall(KSPGetPC(projection->ksp, &pc));
372c8cb0c9bSJames Wright         PetscCall(PetscObjectTypeCompare((PetscObject)projection->ksp, KSPPREONLY, &ispreonly));
373c8cb0c9bSJames Wright         PetscCall(PetscObjectTypeCompare((PetscObject)pc, PCJACOBI, &isjacobi));
374c8cb0c9bSJames Wright         if (ispreonly && isjacobi) PetscCall(PCApply(pc, RHS, DivDiffFlux));
375c8cb0c9bSJames Wright         else PetscCall(KSPSolve(projection->ksp, RHS, DivDiffFlux));
376c8cb0c9bSJames Wright       }
3778c85b835SJames Wright       PetscCall(VecViewFromOptions(DivDiffFlux, NULL, "-div_diff_flux_projection_view"));
3788c85b835SJames Wright 
3798c85b835SJames Wright       PetscCall(DMGlobalToLocal(projection->dm, DivDiffFlux, INSERT_VALUES, diff_flux_proj->DivDiffFlux_loc));
3808c85b835SJames Wright       PetscCall(VecReadPetscToCeed(diff_flux_proj->DivDiffFlux_loc, &diff_flux_proj->DivDiffFlux_memtype, diff_flux_proj->div_diff_flux_ceed));
3818c85b835SJames Wright       diff_flux_proj->ceed_vec_has_array = PETSC_TRUE;
3828c85b835SJames Wright 
383c8cb0c9bSJames Wright       PetscCall(DMRestoreGlobalVector(projection->dm, &RHS));
3848c85b835SJames Wright       PetscCall(DMRestoreGlobalVector(projection->dm, &DivDiffFlux));
3858c85b835SJames Wright       break;
3868c85b835SJames Wright     }
3878c85b835SJames Wright     case DIV_DIFF_FLUX_PROJ_INDIRECT: {
388c8cb0c9bSJames Wright       Vec DiffFlux, RHS;
3898c85b835SJames Wright 
3908c85b835SJames Wright       PetscCall(DMGetGlobalVector(projection->dm, &DiffFlux));
391c8cb0c9bSJames Wright       PetscCall(DMGetGlobalVector(projection->dm, &RHS));
392c8cb0c9bSJames Wright       PetscCall(ApplyCeedOperatorLocalToGlobal(Q_loc, RHS, projection->l2_rhs_ctx));
3938c85b835SJames Wright       PetscCall(VecViewFromOptions(DiffFlux, NULL, "-div_diff_flux_projection_rhs_view"));
3948c85b835SJames Wright 
395c8cb0c9bSJames Wright       {
396c8cb0c9bSJames Wright         // Run PCApply manually if using -ksp_type preonly -pc_type jacobi
397c8cb0c9bSJames Wright         // This is to avoid an AllReduce call in KSPSolve_Preonly, which causes significant slowdowns for lumped mass matrix solves.
398c8cb0c9bSJames Wright         // See https://gitlab.com/petsc/petsc/-/merge_requests/8048 for more details and a possible fix
399c8cb0c9bSJames Wright         PC        pc;
400c8cb0c9bSJames Wright         PetscBool ispreonly, isjacobi;
401c8cb0c9bSJames Wright         PetscCall(KSPGetPC(projection->ksp, &pc));
402c8cb0c9bSJames Wright         PetscCall(PetscObjectTypeCompare((PetscObject)projection->ksp, KSPPREONLY, &ispreonly));
403c8cb0c9bSJames Wright         PetscCall(PetscObjectTypeCompare((PetscObject)pc, PCJACOBI, &isjacobi));
404c8cb0c9bSJames Wright         if (ispreonly && isjacobi) PetscCall(PCApply(pc, RHS, DiffFlux));
405c8cb0c9bSJames Wright         else PetscCall(KSPSolve(projection->ksp, RHS, DiffFlux));
406c8cb0c9bSJames Wright       }
4078c85b835SJames Wright       PetscCall(VecViewFromOptions(DiffFlux, NULL, "-div_diff_flux_projection_view"));
4088c85b835SJames Wright 
4098c85b835SJames Wright       PetscCall(ApplyCeedOperatorGlobalToLocal(DiffFlux, NULL, diff_flux_proj->calc_div_diff_flux));
410c8cb0c9bSJames Wright       PetscCall(DMRestoreGlobalVector(projection->dm, &RHS));
4118c85b835SJames Wright       PetscCall(DMRestoreGlobalVector(projection->dm, &DiffFlux));
4128c85b835SJames Wright     } break;
4138c85b835SJames Wright     case DIV_DIFF_FLUX_PROJ_NONE:
4148c85b835SJames Wright       SETERRQ(PetscObjectComm((PetscObject)projection->dm), PETSC_ERR_ARG_WRONG, "Should not reach here with div_diff_flux_projection_method %s",
4158c85b835SJames Wright               DivDiffFluxProjectionMethods[diff_flux_proj->method]);
4168c85b835SJames Wright       break;
4178c85b835SJames Wright   }
418ea615d4cSJames Wright   PetscCall(PetscLogEventEnd(HONEE_DivDiffFluxProjection, Q_loc, 0, 0, 0));
4198c85b835SJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
4208c85b835SJames Wright }
4218c85b835SJames Wright 
4228c85b835SJames Wright /**
4238c85b835SJames Wright   @brief Destroy `DivDiffFluxProjectionData` object
4248c85b835SJames Wright 
4258c85b835SJames Wright   @param[in,out] diff_flux_proj Object to destroy
4268c85b835SJames Wright **/
4278c85b835SJames Wright PetscErrorCode DivDiffFluxProjectionDataDestroy(DivDiffFluxProjectionData diff_flux_proj) {
4288c85b835SJames Wright   PetscFunctionBeginUser;
4298c85b835SJames Wright   if (diff_flux_proj == NULL) PetscFunctionReturn(PETSC_SUCCESS);
4300880fbb6SJames Wright   Ceed ceed = CeedVectorReturnCeed(diff_flux_proj->div_diff_flux_ceed);
4310880fbb6SJames Wright 
4324ea616f4SJames Wright   PetscCall(NodalProjectionDataDestroy(&diff_flux_proj->projection));
4338c85b835SJames Wright   PetscCall(OperatorApplyContextDestroy(diff_flux_proj->calc_div_diff_flux));
4348c85b835SJames Wright   if (diff_flux_proj->ceed_vec_has_array) {
4358c85b835SJames Wright     PetscCall(VecReadCeedToPetsc(diff_flux_proj->div_diff_flux_ceed, diff_flux_proj->DivDiffFlux_memtype, diff_flux_proj->DivDiffFlux_loc));
4368c85b835SJames Wright     diff_flux_proj->ceed_vec_has_array = PETSC_FALSE;
4378c85b835SJames Wright   }
4380880fbb6SJames Wright   PetscCallCeed(ceed, CeedVectorDestroy(&diff_flux_proj->div_diff_flux_ceed));
4390880fbb6SJames Wright   PetscCallCeed(ceed, CeedElemRestrictionDestroy(&diff_flux_proj->elem_restr_div_diff_flux));
4400880fbb6SJames Wright   PetscCallCeed(ceed, CeedBasisDestroy(&diff_flux_proj->basis_div_diff_flux));
4418c85b835SJames Wright   PetscCall(VecDestroy(&diff_flux_proj->DivDiffFlux_loc));
4428c85b835SJames Wright   PetscCall(PetscFree(diff_flux_proj));
4438c85b835SJames Wright   PetscFunctionReturn(PETSC_SUCCESS);
4448c85b835SJames Wright }
445