xref: /libCEED/examples/mfem/bp1.hpp (revision 3d8e882215d238700cdceb37404f76ca7fa24eaa)
1*3d8e8822SJeremy L Thompson // Copyright (c) 2017-2022, Lawrence Livermore National Security, LLC and other CEED contributors.
2*3d8e8822SJeremy L Thompson // All Rights Reserved. See the top-level LICENSE and NOTICE files for details.
3182fbe45STzanio //
4*3d8e8822SJeremy L Thompson // SPDX-License-Identifier: BSD-2-Clause
5182fbe45STzanio //
6*3d8e8822SJeremy L Thompson // This file is part of CEED:  http://github.com/ceed
7182fbe45STzanio 
8182fbe45STzanio /// @file
95d6bafb2Sjeremylt /// Mass operator example using MFEM
103d576824SJeremy L Thompson 
11182fbe45STzanio #include <ceed.h>
12182fbe45STzanio #include <mfem.hpp>
134d537eeaSYohann #include "bp1.h"
14182fbe45STzanio 
15182fbe45STzanio /// Wrapper for a mass CeedOperator as an mfem::Operator
16182fbe45STzanio class CeedMassOperator : public mfem::Operator {
17182fbe45STzanio  protected:
18182fbe45STzanio   const mfem::FiniteElementSpace *fes;
19182fbe45STzanio   CeedOperator build_oper, oper;
20182fbe45STzanio   CeedBasis basis, mesh_basis;
21135a076eSjeremylt   CeedElemRestriction restr, mesh_restr, restr_i, mesh_restr_i;
22182fbe45STzanio   CeedQFunction apply_qfunc, build_qfunc;
23777ff853SJeremy L Thompson   CeedQFunctionContext build_ctx;
24a2fa7910SValeria Barra   CeedVector node_coords, qdata;
257ca8db16Sjeremylt   CeedVector u, v;
26182fbe45STzanio 
27777ff853SJeremy L Thompson   BuildContext build_ctx_data;
28182fbe45STzanio 
29182fbe45STzanio   static void FESpace2Ceed(const mfem::FiniteElementSpace *fes,
30182fbe45STzanio                            const mfem::IntegrationRule &ir,
31182fbe45STzanio                            Ceed ceed, CeedBasis *basis,
32182fbe45STzanio                            CeedElemRestriction *restr) {
33182fbe45STzanio     mfem::Mesh *mesh = fes->GetMesh();
34182fbe45STzanio     const mfem::FiniteElement *fe = fes->GetFE(0);
35182fbe45STzanio     const int order = fes->GetOrder(0);
36182fbe45STzanio     mfem::Array<int> dof_map;
37182fbe45STzanio     switch (mesh->Dimension()) {
38182fbe45STzanio     case 1: {
39182fbe45STzanio       const mfem::H1_SegmentElement *h1_fe =
40182fbe45STzanio         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: {
46182fbe45STzanio       const mfem::H1_QuadrilateralElement *h1_fe =
47182fbe45STzanio         dynamic_cast<const mfem::H1_QuadrilateralElement *>(fe);
48182fbe45STzanio       MFEM_VERIFY(h1_fe, "invalid FE");
49182fbe45STzanio       h1_fe->GetDofMap().Copy(dof_map);
50182fbe45STzanio       break;
51182fbe45STzanio     }
52182fbe45STzanio     case 3: {
53182fbe45STzanio       const mfem::H1_HexahedronElement *h1_fe =
54182fbe45STzanio         dynamic_cast<const mfem::H1_HexahedronElement *>(fe);
55182fbe45STzanio       MFEM_VERIFY(h1_fe, "invalid FE");
56182fbe45STzanio       h1_fe->GetDofMap().Copy(dof_map);
57182fbe45STzanio       break;
58182fbe45STzanio     }
59182fbe45STzanio     }
60182fbe45STzanio     const mfem::FiniteElement *fe1d =
61182fbe45STzanio       fes->FEColl()->FiniteElementForGeometry(mfem::Geometry::SEGMENT);
62182fbe45STzanio     mfem::DenseMatrix shape1d(fe1d->GetDof(), ir.GetNPoints());
63d1d35e2fSjeremylt     mfem::DenseMatrix grad_1d(fe1d->GetDof(), ir.GetNPoints());
64d1d35e2fSjeremylt     mfem::Vector q_ref_1d(ir.GetNPoints()), q_weight_1d(ir.GetNPoints());
65182fbe45STzanio     mfem::Vector shape_i(shape1d.Height());
66d1d35e2fSjeremylt     mfem::DenseMatrix grad_i(grad_1d.Height(), 1);
67182fbe45STzanio     const mfem::H1_SegmentElement *h1_fe1d =
68182fbe45STzanio       dynamic_cast<const mfem::H1_SegmentElement *>(fe1d);
69182fbe45STzanio     MFEM_VERIFY(h1_fe1d, "invalid FE");
70182fbe45STzanio     const mfem::Array<int> &dof_map_1d = h1_fe1d->GetDofMap();
71182fbe45STzanio     for (int i = 0; i < ir.GetNPoints(); i++) {
72182fbe45STzanio       const mfem::IntegrationPoint &ip = ir.IntPoint(i);
73d1d35e2fSjeremylt       q_ref_1d(i) = ip.x;
74d1d35e2fSjeremylt       q_weight_1d(i) = ip.weight;
75182fbe45STzanio       fe1d->CalcShape(ip, shape_i);
76182fbe45STzanio       fe1d->CalcDShape(ip, grad_i);
77182fbe45STzanio       for (int j = 0; j < shape1d.Height(); j++) {
78182fbe45STzanio         shape1d(j,i) = shape_i(dof_map_1d[j]);
79d1d35e2fSjeremylt         grad_1d(j,i) = grad_i(dof_map_1d[j],0);
80182fbe45STzanio       }
81182fbe45STzanio     }
82182fbe45STzanio     CeedBasisCreateTensorH1(ceed, mesh->Dimension(), fes->GetVDim(), order+1,
83182fbe45STzanio                             ir.GetNPoints(), shape1d.GetData(),
84d1d35e2fSjeremylt                             grad_1d.GetData(), q_ref_1d.GetData(),
85d1d35e2fSjeremylt                             q_weight_1d.GetData(), basis);
86182fbe45STzanio 
87182fbe45STzanio     const mfem::Table &el_dof = fes->GetElementToDofTable();
88182fbe45STzanio     mfem::Array<int> tp_el_dof(el_dof.Size_of_connections());
89182fbe45STzanio     for (int i = 0; i < mesh->GetNE(); i++) {
90182fbe45STzanio       const int el_offset = fe->GetDof()*i;
91182fbe45STzanio       for (int j = 0; j < fe->GetDof(); j++) {
92182fbe45STzanio         tp_el_dof[j + el_offset] = el_dof.GetJ()[dof_map[j] + el_offset];
93182fbe45STzanio       }
94182fbe45STzanio     }
95d979a051Sjeremylt     CeedElemRestrictionCreate(ceed, mesh->GetNE(), fe->GetDof(),
96d979a051Sjeremylt                               fes->GetVDim(), fes->GetNDofs(),
97d979a051Sjeremylt                               (fes->GetVDim())*(fes->GetNDofs()),
98d979a051Sjeremylt                               CEED_MEM_HOST, CEED_COPY_VALUES,
99d979a051Sjeremylt                               tp_el_dof.GetData(), restr);
100182fbe45STzanio   }
101182fbe45STzanio 
102182fbe45STzanio  public:
103182fbe45STzanio   /// Constructor. Assumes @a fes is a scalar FE space.
104182fbe45STzanio   CeedMassOperator(Ceed ceed, const mfem::FiniteElementSpace *fes)
105182fbe45STzanio     : Operator(fes->GetNDofs()),
106182fbe45STzanio       fes(fes) {
107182fbe45STzanio     mfem::Mesh *mesh = fes->GetMesh();
108182fbe45STzanio     const int order = fes->GetOrder(0);
109182fbe45STzanio     const int ir_order = 2*(order + 2) - 1; // <-----
110182fbe45STzanio     const mfem::IntegrationRule &ir =
111182fbe45STzanio       mfem::IntRules.Get(mfem::Geometry::SEGMENT, ir_order);
112d1d35e2fSjeremylt     CeedInt num_elem = mesh->GetNE(), dim = mesh->SpaceDimension(),
113cb0b5415Sjeremylt             ncompx = dim, nqpts;
114182fbe45STzanio 
115182fbe45STzanio     FESpace2Ceed(fes, ir, ceed, &basis, &restr);
116182fbe45STzanio 
117182fbe45STzanio     const mfem::FiniteElementSpace *mesh_fes = mesh->GetNodalFESpace();
118182fbe45STzanio     MFEM_VERIFY(mesh_fes, "the Mesh has no nodal FE space");
119182fbe45STzanio     FESpace2Ceed(mesh_fes, ir, ceed, &mesh_basis, &mesh_restr);
1207ca8db16Sjeremylt     CeedBasisGetNumQuadraturePoints(basis, &nqpts);
121182fbe45STzanio 
1227509a596Sjeremylt     CeedInt strides[3] = {1, nqpts, nqpts};
123d1d35e2fSjeremylt     CeedElemRestrictionCreateStrided(ceed, num_elem, nqpts, 1, nqpts*num_elem,
1247509a596Sjeremylt                                      strides, &restr_i);
125135a076eSjeremylt 
126182fbe45STzanio     CeedVectorCreate(ceed, mesh->GetNodes()->Size(), &node_coords);
127182fbe45STzanio     CeedVectorSetArray(node_coords, CEED_MEM_HOST, CEED_USE_POINTER,
128182fbe45STzanio                        mesh->GetNodes()->GetData());
129182fbe45STzanio 
130d1d35e2fSjeremylt     CeedVectorCreate(ceed, num_elem*nqpts, &qdata);
1317ca8db16Sjeremylt 
1327ca8db16Sjeremylt     // Context data to be passed to the 'f_build_mass' Q-function.
133777ff853SJeremy L Thompson     build_ctx_data.dim = mesh->Dimension();
134777ff853SJeremy L Thompson     build_ctx_data.space_dim = dim;
135777ff853SJeremy L Thompson     CeedQFunctionContextCreate(ceed, &build_ctx);
136777ff853SJeremy L Thompson     CeedQFunctionContextSetData(build_ctx, CEED_MEM_HOST, CEED_USE_POINTER,
137777ff853SJeremy L Thompson                                 sizeof(build_ctx_data), &build_ctx_data);
138182fbe45STzanio 
1397ca8db16Sjeremylt     // Create the Q-function that builds the mass operator (i.e. computes its
1407ca8db16Sjeremylt     // quadrature data) and set its context data.
14154251743Sjeremylt     CeedQFunctionCreateInterior(ceed, 1, f_build_mass,
1424d537eeaSYohann                                 f_build_mass_loc, &build_qfunc);
14334d77899SValeria Barra     CeedQFunctionAddInput(build_qfunc, "dx", ncompx*dim,
1440f5de9e9Sjeremylt                           CEED_EVAL_GRAD);
1457ca8db16Sjeremylt     CeedQFunctionAddInput(build_qfunc, "weights", 1, CEED_EVAL_WEIGHT);
146a2fa7910SValeria Barra     CeedQFunctionAddOutput(build_qfunc, "qdata", 1, CEED_EVAL_NONE);
147777ff853SJeremy L Thompson     CeedQFunctionSetContext(build_qfunc, build_ctx);
14854251743Sjeremylt 
1497ca8db16Sjeremylt     // Create the operator that builds the quadrature data for the mass operator.
150442e7f0bSjeremylt     CeedOperatorCreate(ceed, build_qfunc, CEED_QFUNCTION_NONE,
151442e7f0bSjeremylt                        CEED_QFUNCTION_NONE, &build_oper);
152a8d32208Sjeremylt     CeedOperatorSetField(build_oper, "dx", mesh_restr, mesh_basis,
153a8d32208Sjeremylt                          CEED_VECTOR_ACTIVE);
15415910d16Sjeremylt     CeedOperatorSetField(build_oper, "weights", CEED_ELEMRESTRICTION_NONE,
15515910d16Sjeremylt                          mesh_basis, CEED_VECTOR_NONE);
156a8d32208Sjeremylt     CeedOperatorSetField(build_oper, "qdata", restr_i, CEED_BASIS_COLLOCATED,
157a8d32208Sjeremylt                          CEED_VECTOR_ACTIVE);
158182fbe45STzanio 
1597ca8db16Sjeremylt     // Compute the quadrature data for the mass operator.
160a2fa7910SValeria Barra     CeedOperatorApply(build_oper, node_coords, qdata,
1617ca8db16Sjeremylt                       CEED_REQUEST_IMMEDIATE);
1627ca8db16Sjeremylt 
1637ca8db16Sjeremylt     // Create the Q-function that defines the action of the mass operator.
16454251743Sjeremylt     CeedQFunctionCreateInterior(ceed, 1, f_apply_mass,
1654d537eeaSYohann                                 f_apply_mass_loc, &apply_qfunc);
16654251743Sjeremylt     CeedQFunctionAddInput(apply_qfunc, "u", 1, CEED_EVAL_INTERP);
167a2fa7910SValeria Barra     CeedQFunctionAddInput(apply_qfunc, "qdata", 1, CEED_EVAL_NONE);
16854251743Sjeremylt     CeedQFunctionAddOutput(apply_qfunc, "v", 1, CEED_EVAL_INTERP);
16954251743Sjeremylt 
1707ca8db16Sjeremylt     // Create the mass operator.
171442e7f0bSjeremylt     CeedOperatorCreate(ceed, apply_qfunc, CEED_QFUNCTION_NONE,
172442e7f0bSjeremylt                        CEED_QFUNCTION_NONE, &oper);
173a8d32208Sjeremylt     CeedOperatorSetField(oper, "u", restr, basis, CEED_VECTOR_ACTIVE);
174a8d32208Sjeremylt     CeedOperatorSetField(oper, "qdata", restr_i, CEED_BASIS_COLLOCATED, qdata);
175a8d32208Sjeremylt     CeedOperatorSetField(oper, "v", restr, basis, CEED_VECTOR_ACTIVE);
176182fbe45STzanio 
177182fbe45STzanio     CeedVectorCreate(ceed, fes->GetNDofs(), &u);
178182fbe45STzanio     CeedVectorCreate(ceed, fes->GetNDofs(), &v);
179182fbe45STzanio   }
180182fbe45STzanio 
181182fbe45STzanio   /// Destructor
182182fbe45STzanio   ~CeedMassOperator() {
183182fbe45STzanio     CeedVectorDestroy(&u);
1847ca8db16Sjeremylt     CeedVectorDestroy(&v);
185a2fa7910SValeria Barra     CeedVectorDestroy(&qdata);
1867ca8db16Sjeremylt     CeedVectorDestroy(&node_coords);
187182fbe45STzanio     CeedOperatorDestroy(&build_oper);
188182fbe45STzanio     CeedQFunctionDestroy(&build_qfunc);
1897ca8db16Sjeremylt     CeedOperatorDestroy(&oper);
1907ca8db16Sjeremylt     CeedQFunctionDestroy(&apply_qfunc);
191777ff853SJeremy L Thompson     CeedQFunctionContextDestroy(&build_ctx);
1927ca8db16Sjeremylt     CeedBasisDestroy(&basis);
193182fbe45STzanio     CeedBasisDestroy(&mesh_basis);
194182fbe45STzanio     CeedElemRestrictionDestroy(&restr);
1957ca8db16Sjeremylt     CeedElemRestrictionDestroy(&mesh_restr);
196135a076eSjeremylt     CeedElemRestrictionDestroy(&restr_i);
197182fbe45STzanio   }
198182fbe45STzanio 
199182fbe45STzanio   /// Operator action
200182fbe45STzanio   virtual void Mult(const mfem::Vector &x, mfem::Vector &y) const {
201182fbe45STzanio     CeedVectorSetArray(u, CEED_MEM_HOST, CEED_USE_POINTER, x.GetData());
202182fbe45STzanio     CeedVectorSetArray(v, CEED_MEM_HOST, CEED_USE_POINTER, y.GetData());
20354251743Sjeremylt     CeedOperatorApply(oper, u, v, CEED_REQUEST_IMMEDIATE);
20454540941SJeremy L Thompson     CeedVectorSyncArray(v, CEED_MEM_HOST);
205182fbe45STzanio   }
206182fbe45STzanio };
207