xref: /libCEED/examples/mfem/bp3.hpp (revision d4cc18453651bd0f94c1a2e078b2646a92dafdcc)
1*9ba83ac0SJeremy L Thompson // Copyright (c) 2017-2026, Lawrence Livermore National Security, LLC and other CEED contributors.
23d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3182fbe45STzanio //
43d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
5182fbe45STzanio //
63d8e8822SJeremy L Thompson // This file is part of CEED:  http://github.com/ceed
7182fbe45STzanio 
8182fbe45STzanio /// @file
95d6bafb2Sjeremylt /// Diffusion operator example using MFEM
103d576824SJeremy L Thompson 
11182fbe45STzanio #include <ceed.h>
122b730f8bSJeremy L Thompson 
13182fbe45STzanio #include <mfem.hpp>
142b730f8bSJeremy L Thompson 
154d537eeaSYohann #include "bp3.h"
16182fbe45STzanio 
17182fbe45STzanio /// Wrapper for a diffusion CeedOperator as an mfem::Operator
18182fbe45STzanio class CeedDiffusionOperator : public mfem::Operator {
19182fbe45STzanio  protected:
20182fbe45STzanio   const mfem::FiniteElementSpace *fes;
21182fbe45STzanio   CeedOperator                    build_oper, oper;
22182fbe45STzanio   CeedBasis                       basis, mesh_basis;
23135a076eSjeremylt   CeedElemRestriction             restr, mesh_restr, restr_i, mesh_restr_i;
24182fbe45STzanio   CeedQFunction                   apply_qfunc, build_qfunc;
25777ff853SJeremy L Thompson   CeedQFunctionContext            build_ctx;
26a2fa7910SValeria Barra   CeedVector                      node_coords, qdata;
27182fbe45STzanio 
28777ff853SJeremy L Thompson   BuildContext build_ctx_data;
29182fbe45STzanio 
30182fbe45STzanio   CeedVector u, v;
31182fbe45STzanio 
FESpace2Ceed(const mfem::FiniteElementSpace * fes,const mfem::IntegrationRule & ir,Ceed ceed,CeedBasis * basis,CeedElemRestriction * restr)322b730f8bSJeremy L Thompson   static void FESpace2Ceed(const mfem::FiniteElementSpace *fes, const mfem::IntegrationRule &ir, Ceed ceed, CeedBasis *basis,
33182fbe45STzanio                            CeedElemRestriction *restr) {
34182fbe45STzanio     mfem::Mesh                *mesh  = fes->GetMesh();
35182fbe45STzanio     const mfem::FiniteElement *fe    = fes->GetFE(0);
36182fbe45STzanio     const int                  order = fes->GetOrder(0);
37182fbe45STzanio     mfem::Array<int>           dof_map;
38182fbe45STzanio     switch (mesh->Dimension()) {
39182fbe45STzanio       case 1: {
402b730f8bSJeremy L Thompson         const mfem::H1_SegmentElement *h1_fe = dynamic_cast<const mfem::H1_SegmentElement *>(fe);
41182fbe45STzanio         MFEM_VERIFY(h1_fe, "invalid FE");
42182fbe45STzanio         h1_fe->GetDofMap().Copy(dof_map);
43182fbe45STzanio         break;
44182fbe45STzanio       }
45182fbe45STzanio       case 2: {
462b730f8bSJeremy L Thompson         const mfem::H1_QuadrilateralElement *h1_fe = dynamic_cast<const mfem::H1_QuadrilateralElement *>(fe);
47182fbe45STzanio         MFEM_VERIFY(h1_fe, "invalid FE");
48182fbe45STzanio         h1_fe->GetDofMap().Copy(dof_map);
49182fbe45STzanio         break;
50182fbe45STzanio       }
51182fbe45STzanio       case 3: {
522b730f8bSJeremy L Thompson         const mfem::H1_HexahedronElement *h1_fe = dynamic_cast<const mfem::H1_HexahedronElement *>(fe);
53182fbe45STzanio         MFEM_VERIFY(h1_fe, "invalid FE");
54182fbe45STzanio         h1_fe->GetDofMap().Copy(dof_map);
55182fbe45STzanio         break;
56182fbe45STzanio       }
57182fbe45STzanio     }
582b730f8bSJeremy L Thompson     const mfem::FiniteElement     *fe1d = fes->FEColl()->FiniteElementForGeometry(mfem::Geometry::SEGMENT);
59182fbe45STzanio     mfem::DenseMatrix              shape1d(fe1d->GetDof(), ir.GetNPoints());
60d1d35e2fSjeremylt     mfem::DenseMatrix              grad_1d(fe1d->GetDof(), ir.GetNPoints());
61d1d35e2fSjeremylt     mfem::Vector                   q_ref_1d(ir.GetNPoints()), q_weight_1d(ir.GetNPoints());
62182fbe45STzanio     mfem::Vector                   shape_i(shape1d.Height());
63d1d35e2fSjeremylt     mfem::DenseMatrix              grad_i(grad_1d.Height(), 1);
642b730f8bSJeremy L Thompson     const mfem::H1_SegmentElement *h1_fe1d = dynamic_cast<const mfem::H1_SegmentElement *>(fe1d);
65182fbe45STzanio     MFEM_VERIFY(h1_fe1d, "invalid FE");
66182fbe45STzanio     const mfem::Array<int> &dof_map_1d = h1_fe1d->GetDofMap();
67182fbe45STzanio     for (int i = 0; i < ir.GetNPoints(); i++) {
68182fbe45STzanio       const mfem::IntegrationPoint &ip = ir.IntPoint(i);
69d1d35e2fSjeremylt       q_ref_1d(i)                      = ip.x;
70d1d35e2fSjeremylt       q_weight_1d(i)                   = ip.weight;
71182fbe45STzanio       fe1d->CalcShape(ip, shape_i);
72182fbe45STzanio       fe1d->CalcDShape(ip, grad_i);
73182fbe45STzanio       for (int j = 0; j < shape1d.Height(); j++) {
74182fbe45STzanio         shape1d(j, i) = shape_i(dof_map_1d[j]);
75d1d35e2fSjeremylt         grad_1d(j, i) = grad_i(dof_map_1d[j], 0);
76182fbe45STzanio       }
77182fbe45STzanio     }
782b730f8bSJeremy L Thompson     CeedBasisCreateTensorH1(ceed, mesh->Dimension(), fes->GetVDim(), order + 1, ir.GetNPoints(), shape1d.GetData(), grad_1d.GetData(),
792b730f8bSJeremy L Thompson                             q_ref_1d.GetData(), q_weight_1d.GetData(), basis);
80182fbe45STzanio 
81182fbe45STzanio     const mfem::Table &el_dof = fes->GetElementToDofTable();
82182fbe45STzanio     mfem::Array<int>   tp_el_dof(el_dof.Size_of_connections());
83182fbe45STzanio     for (int i = 0; i < mesh->GetNE(); i++) {
84182fbe45STzanio       const int el_offset = fe->GetDof() * i;
85182fbe45STzanio       for (int j = 0; j < fe->GetDof(); j++) {
86182fbe45STzanio         tp_el_dof[j + el_offset] = el_dof.GetJ()[dof_map[j] + el_offset];
87182fbe45STzanio       }
88182fbe45STzanio     }
892b730f8bSJeremy L Thompson     CeedElemRestrictionCreate(ceed, mesh->GetNE(), fe->GetDof(), fes->GetVDim(), fes->GetNDofs(), (fes->GetVDim()) * (fes->GetNDofs()), CEED_MEM_HOST,
902b730f8bSJeremy L Thompson                               CEED_COPY_VALUES, tp_el_dof.GetData(), restr);
91182fbe45STzanio   }
92182fbe45STzanio 
93182fbe45STzanio  public:
94182fbe45STzanio   /// Constructor. Assumes @a fes is a scalar FE space.
CeedDiffusionOperator(Ceed ceed,const mfem::FiniteElementSpace * fes)952b730f8bSJeremy L Thompson   CeedDiffusionOperator(Ceed ceed, const mfem::FiniteElementSpace *fes) : Operator(fes->GetNDofs()), fes(fes) {
96182fbe45STzanio     mfem::Mesh                  *mesh     = fes->GetMesh();
97182fbe45STzanio     const int                    order    = fes->GetOrder(0);
98182fbe45STzanio     const int                    ir_order = 2 * (order + 2) - 1;  // <-----
992b730f8bSJeremy L Thompson     const mfem::IntegrationRule &ir       = mfem::IntRules.Get(mfem::Geometry::SEGMENT, ir_order);
1002b730f8bSJeremy L Thompson     CeedInt                      num_elem = mesh->GetNE(), dim = mesh->SpaceDimension(), ncompx = dim, nqpts;
101182fbe45STzanio 
102182fbe45STzanio     FESpace2Ceed(fes, ir, ceed, &basis, &restr);
103182fbe45STzanio 
104182fbe45STzanio     const mfem::FiniteElementSpace *mesh_fes = mesh->GetNodalFESpace();
105182fbe45STzanio     MFEM_VERIFY(mesh_fes, "the Mesh has no nodal FE space");
106182fbe45STzanio     FESpace2Ceed(mesh_fes, ir, ceed, &mesh_basis, &mesh_restr);
107a48d94bfSjeremylt     CeedBasisGetNumQuadraturePoints(basis, &nqpts);
108182fbe45STzanio 
1097509a596Sjeremylt     CeedInt strides[3] = {1, nqpts, nqpts * dim * (dim + 1) / 2};
1102b730f8bSJeremy L Thompson     CeedElemRestrictionCreateStrided(ceed, num_elem, nqpts, dim * (dim + 1) / 2, dim * (dim + 1) / 2 * nqpts * num_elem, strides, &restr_i);
111135a076eSjeremylt 
112182fbe45STzanio     CeedVectorCreate(ceed, mesh->GetNodes()->Size(), &node_coords);
1132b730f8bSJeremy L Thompson     CeedVectorSetArray(node_coords, CEED_MEM_HOST, CEED_USE_POINTER, mesh->GetNodes()->GetData());
114182fbe45STzanio 
115d1d35e2fSjeremylt     CeedVectorCreate(ceed, num_elem * nqpts * dim * (dim + 1) / 2, &qdata);
1167ca8db16Sjeremylt 
1177ca8db16Sjeremylt     // Context data to be passed to the 'f_build_diff' Q-function.
118777ff853SJeremy L Thompson     build_ctx_data.dim       = mesh->Dimension();
119777ff853SJeremy L Thompson     build_ctx_data.space_dim = dim;
120777ff853SJeremy L Thompson     CeedQFunctionContextCreate(ceed, &build_ctx);
1212b730f8bSJeremy L Thompson     CeedQFunctionContextSetData(build_ctx, CEED_MEM_HOST, CEED_USE_POINTER, sizeof(build_ctx_data), &build_ctx_data);
1227ca8db16Sjeremylt 
123ea61e9acSJeremy L Thompson     // Create the Q-function that builds the diff operator (i.e. computes its quadrature data) and set its context data.
1242b730f8bSJeremy L Thompson     CeedQFunctionCreateInterior(ceed, 1, f_build_diff, f_build_diff_loc, &build_qfunc);
12534d77899SValeria Barra     CeedQFunctionAddInput(build_qfunc, "dx", ncompx * dim, CEED_EVAL_GRAD);
1267ca8db16Sjeremylt     CeedQFunctionAddInput(build_qfunc, "weights", 1, CEED_EVAL_WEIGHT);
127a2fa7910SValeria Barra     CeedQFunctionAddOutput(build_qfunc, "qdata", dim * (dim + 1) / 2, CEED_EVAL_NONE);
128777ff853SJeremy L Thompson     CeedQFunctionSetContext(build_qfunc, build_ctx);
12954251743Sjeremylt 
1307ca8db16Sjeremylt     // Create the operator that builds the quadrature data for the diff operator.
1312b730f8bSJeremy L Thompson     CeedOperatorCreate(ceed, build_qfunc, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &build_oper);
1322b730f8bSJeremy L Thompson     CeedOperatorSetField(build_oper, "dx", mesh_restr, mesh_basis, CEED_VECTOR_ACTIVE);
1332b730f8bSJeremy L Thompson     CeedOperatorSetField(build_oper, "weights", CEED_ELEMRESTRICTION_NONE, mesh_basis, CEED_VECTOR_NONE);
134356036faSJeremy L Thompson     CeedOperatorSetField(build_oper, "qdata", restr_i, CEED_BASIS_NONE, CEED_VECTOR_ACTIVE);
13554251743Sjeremylt 
136a48d94bfSjeremylt     // Compute the quadrature data for the diff operator.
1372b730f8bSJeremy L Thompson     CeedOperatorApply(build_oper, node_coords, qdata, CEED_REQUEST_IMMEDIATE);
138182fbe45STzanio 
1397ca8db16Sjeremylt     // Create the Q-function that defines the action of the diff operator.
1402b730f8bSJeremy L Thompson     CeedQFunctionCreateInterior(ceed, 1, f_apply_diff, f_apply_diff_loc, &apply_qfunc);
1414d537eeaSYohann     CeedQFunctionAddInput(apply_qfunc, "u", dim, CEED_EVAL_GRAD);
142a2fa7910SValeria Barra     CeedQFunctionAddInput(apply_qfunc, "qdata", dim * (dim + 1) / 2, CEED_EVAL_NONE);
1434d537eeaSYohann     CeedQFunctionAddOutput(apply_qfunc, "v", dim, CEED_EVAL_GRAD);
144777ff853SJeremy L Thompson     CeedQFunctionSetContext(apply_qfunc, build_ctx);
14554251743Sjeremylt 
146a48d94bfSjeremylt     // Create the diff operator.
1472b730f8bSJeremy L Thompson     CeedOperatorCreate(ceed, apply_qfunc, CEED_QFUNCTION_NONE, CEED_QFUNCTION_NONE, &oper);
148a8d32208Sjeremylt     CeedOperatorSetField(oper, "u", restr, basis, CEED_VECTOR_ACTIVE);
149356036faSJeremy L Thompson     CeedOperatorSetField(oper, "qdata", restr_i, CEED_BASIS_NONE, qdata);
150a8d32208Sjeremylt     CeedOperatorSetField(oper, "v", restr, basis, CEED_VECTOR_ACTIVE);
151182fbe45STzanio 
152182fbe45STzanio     CeedVectorCreate(ceed, fes->GetNDofs(), &u);
153182fbe45STzanio     CeedVectorCreate(ceed, fes->GetNDofs(), &v);
154182fbe45STzanio   }
155182fbe45STzanio 
156182fbe45STzanio   /// Destructor
~CeedDiffusionOperator()157182fbe45STzanio   ~CeedDiffusionOperator() {
158182fbe45STzanio     CeedVectorDestroy(&u);
1597ca8db16Sjeremylt     CeedVectorDestroy(&v);
160a2fa7910SValeria Barra     CeedVectorDestroy(&qdata);
161182fbe45STzanio     CeedVectorDestroy(&node_coords);
162182fbe45STzanio     CeedElemRestrictionDestroy(&restr);
1637ca8db16Sjeremylt     CeedElemRestrictionDestroy(&mesh_restr);
164135a076eSjeremylt     CeedElemRestrictionDestroy(&restr_i);
165182fbe45STzanio     CeedBasisDestroy(&basis);
1667ca8db16Sjeremylt     CeedBasisDestroy(&mesh_basis);
1677ca8db16Sjeremylt     CeedQFunctionDestroy(&build_qfunc);
168777ff853SJeremy L Thompson     CeedQFunctionContextDestroy(&build_ctx);
1697ca8db16Sjeremylt     CeedOperatorDestroy(&build_oper);
1707ca8db16Sjeremylt     CeedQFunctionDestroy(&apply_qfunc);
1717ca8db16Sjeremylt     CeedOperatorDestroy(&oper);
172182fbe45STzanio   }
173182fbe45STzanio 
174182fbe45STzanio   /// Operator action
Mult(const mfem::Vector & x,mfem::Vector & y) const175182fbe45STzanio   virtual void Mult(const mfem::Vector &x, mfem::Vector &y) const {
176182fbe45STzanio     CeedVectorSetArray(u, CEED_MEM_HOST, CEED_USE_POINTER, x.GetData());
177182fbe45STzanio     CeedVectorSetArray(v, CEED_MEM_HOST, CEED_USE_POINTER, y.GetData());
178182fbe45STzanio 
17954251743Sjeremylt     CeedOperatorApply(oper, u, v, CEED_REQUEST_IMMEDIATE);
18054540941SJeremy L Thompson     CeedVectorSyncArray(v, CEED_MEM_HOST);
181182fbe45STzanio   }
182182fbe45STzanio };
183