3#ifndef DUNE_FUNCTIONS_FUNCTIONSPACEBASES_NEDELECBASIS_HH
4#define DUNE_FUNCTIONS_FUNCTIONSPACEBASES_NEDELECBASIS_HH
7#include <dune/common/exceptions.hh>
9#include <dune/grid/common/capabilities.hh>
10#include <dune/grid/common/mcmgmapper.hh>
12#include <dune/localfunctions/common/localfiniteelementvariant.hh>
13#include <dune/localfunctions/nedelec.hh>
24 template<
typename GV,
int dim,
typename R, std::
size_t order>
25 class Nedelec1stKindLocalFiniteElementMap
27 using D =
typename GV::ctype;
28 constexpr static bool hasFixedElementType = Capabilities::hasSingleGeometryType<typename GV::Grid>::v;
30 using CubeFiniteElement = Nedelec1stKindCubeLocalFiniteElement<D,R,dim,order>;
31 using SimplexFiniteElement = Nedelec1stKindSimplexLocalFiniteElement<D,R,dim,order>;
35 using T = LocalBasisTraits<D, dim, FieldVector<D,dim>, R, dim, FieldVector<R,dim>, FieldMatrix<D,dim,dim> >;
37 constexpr static unsigned int topologyId = Capabilities::hasSingleGeometryType<typename GV::Grid>::topologyId;
38 constexpr static GeometryType type = GeometryType(topologyId, GV::dimension);
40 using FiniteElement = std::conditional_t<hasFixedElementType,
41 std::conditional_t<type.isCube(),CubeFiniteElement,SimplexFiniteElement>,
42 LocalFiniteElementVariant<CubeFiniteElement, SimplexFiniteElement> >;
44 static std::size_t numVariants(GeometryType type)
47 DUNE_THROW(NotImplemented,
"Only Nedelec elements of order 1 are implemented!");
49 auto numEdges = referenceElement<D,dim>(type).size(dim-1);
50 return power(2,numEdges);
53 Nedelec1stKindLocalFiniteElementMap(
const GV& gv)
54 : elementMapper_(gv, mcmgElementLayout()),
55 orientation_(gv.size(0))
58 if constexpr (hasFixedElementType)
60 variants_.resize(numVariants(type));
61 for (
size_t i = 0; i < numVariants(type); i++)
62 variants_[i] = FiniteElement(i);
67 variants_.resize(numVariants(GeometryTypes::simplex(dim)) + numVariants(GeometryTypes::cube(dim)));
68 for (
size_t i = 0; i < numVariants(GeometryTypes::simplex(dim)); i++)
69 variants_[i] = SimplexFiniteElement(i);
70 for (
size_t i = 0; i < numVariants(GeometryTypes::cube(dim)); i++)
71 variants_[i + numVariants(GeometryTypes::simplex(dim))] = CubeFiniteElement(i);
76 const auto& indexSet = gv.indexSet();
78 for(
const auto& element : elements(gv))
80 const auto& refElement = referenceElement(element);
81 auto elementIndex = elementMapper_.index(element);
82 orientation_[elementIndex] = 0;
84 for (std::size_t i=0; i<element.subEntities(dim-1); i++)
87 auto localV0 = refElement.subEntity(i,dim-1, 0,dim);
88 auto localV1 = refElement.subEntity(i,dim-1, 1,dim);
91 auto globalV0 = indexSet.subIndex(element,localV0,dim);
92 auto globalV1 = indexSet.subIndex(element,localV1,dim);
94 if ( (localV0<localV1 && globalV0>globalV1) || (localV0>localV1 && globalV0<globalV1) )
95 orientation_[elementIndex] |= (1 << i);
98 if constexpr (!hasFixedElementType)
99 if (element.type().isCube())
100 orientation_[elementIndex] += numVariants(GeometryTypes::simplex(dim));
104 template<
class Element>
105 const auto& find(
const Element& element)
const
107 return variants_[orientation_[elementMapper_.index(element)]];
111 std::vector<FiniteElement> variants_;
112 const Dune::MultipleCodimMultipleGeomTypeMapper<GV> elementMapper_;
113 std::vector<unsigned short> orientation_;
131template<
typename GV,
typename Range, std::
size_t kind,
int order>
134template<
typename GV,
typename Range, std::
size_t kind,
int order>
137 static const int dim = GV::dimension;
138 static_assert(kind==1,
"Only the Nedelec basis of the first kind is currently implemented!");
139 using FiniteElementMap =
typename Impl::Nedelec1stKindLocalFiniteElementMap<GV, dim, Range, order>;
141 using Mapper = Dune::MultipleCodimMultipleGeomTypeMapper<GV>;
161 DUNE_THROW(NotImplemented,
"Only Nedelec elements of the first kind are implemented!");
165 if (gv.indexSet().types(0).size() > 2)
166 DUNE_THROW(NotImplemented,
"Nédélec basis is only implemented for grids with simplex and cube elements");
168 for(
auto type : gv.indexSet().types(0))
169 if (!type.isSimplex() && !type.isCube())
170 DUNE_THROW(NotImplemented,
"Nédélec basis is only implemented for grids with simplex or cube elements.");
173 DUNE_THROW(NotImplemented,
"Only first-order elements are implemented");
175 if (dim!=2 && dim!=3)
176 DUNE_THROW(NotImplemented,
"Only 2d and 3d Nédélec elements are implemented");
210 template<
class SizePrefix>
213 assert(prefix.size() == 0 || prefix.size() == 1);
214 return (prefix.size() == 0) ?
size() : 0;
225 for (
auto&& type :
gridView_.indexSet().types(0))
227 size_type numEdges = referenceElement<typename GV::ctype,dim>(type).size(dim-1);
228 result = std::max(result, numEdges);
237 template<
typename It>
240 const auto& element = node.
element();
243 if (not(element.type().isCube()) and not(element.type().isSimplex()))
244 DUNE_THROW(NotImplemented,
"NedelecBasis only implemented for cube and simplex elements.");
246 for(std::size_t i=0, end=node.
size(); i<end; ++i, ++it)
248 Dune::LocalKey localKey = node.
finiteElement().localCoefficients().localKey(i);
249 *it = {
mapper_.subIndex(element, localKey.subEntity(), localKey.codim()) + localKey.index() };
263template<
typename GV,
typename Range,
size_t kind,
int order>
267 static const int dim = GV::dimension;
272 using Element =
typename GV::template Codim<0>::Entity;
273 static_assert(kind==1,
"Only Nedelec elements of the first kind are implemented!");
274 using FiniteElementMap =
typename Impl::Nedelec1stKindLocalFiniteElementMap<GV, dim, Range, order>;
275 using FiniteElement = Impl::GlobalValuedLocalFiniteElement<Impl::CovariantPiolaTransformator,
276 typename FiniteElementMap::FiniteElement,
316namespace BasisFactory {
327template<std::
size_t kind, std::
size_t order,
typename Range=
double>
330 return [](
const auto& gridView) {
331 return NedelecPreBasis<std::decay_t<
decltype(gridView)>, Range, kind, order>(gridView);
350template<
typename GV, std::
size_t kind, std::
size_t order,
typename Range=
double>
auto power(ChildPreBasisFactory &&childPreBasisFactory, const IndexMergingStrategy &)
Create a pre-basis factory that can build a PowerPreBasis.
Definition: powerbasis.hh:369
auto nedelec()
Create a pre-basis factory that can create a Nédélec pre-basis.
Definition: nedelecbasis.hh:328
Definition: polynomial.hh:11
Global basis for given pre-basis.
Definition: defaultglobalbasis.hh:46
Definition: nedelecbasis.hh:266
const FiniteElementMap * finiteElementMap_
Definition: nedelecbasis.hh:311
FiniteElement finiteElement_
Definition: nedelecbasis.hh:309
Impl::GlobalValuedLocalFiniteElement< Impl::CovariantPiolaTransformator, typename FiniteElementMap::FiniteElement, Element > FiniteElement
Definition: nedelecbasis.hh:277
void bind(const Element &e)
Bind to element.
Definition: nedelecbasis.hh:300
const Element & element() const
Return current element, throw if unbound.
Definition: nedelecbasis.hh:285
typename GV::template Codim< 0 >::Entity Element
Definition: nedelecbasis.hh:272
const FiniteElement & finiteElement() const
Return the LocalFiniteElement for the element we are bound to.
Definition: nedelecbasis.hh:294
NedelecNode(const FiniteElementMap *finiteElementMap)
Definition: nedelecbasis.hh:279
typename Impl::Nedelec1stKindLocalFiniteElementMap< GV, dim, Range, order > FiniteElementMap
Definition: nedelecbasis.hh:274
const Element * element_
Definition: nedelecbasis.hh:310
std::size_t size_type
Definition: nedelecbasis.hh:271
Definition: nedelecbasis.hh:136
It indices(const Node &node, It it) const
Maps from subtree index set [0..size-1] to a globally unique multi index in global basis.
Definition: nedelecbasis.hh:238
size_type size(const SizePrefix &prefix) const
Return number possible values for next position in multi index.
Definition: nedelecbasis.hh:211
std::size_t size_type
Definition: nedelecbasis.hh:146
NedelecPreBasis(const GridView &gv)
Constructor for a given grid view object.
Definition: nedelecbasis.hh:155
GV GridView
The grid view that the FE space is defined on.
Definition: nedelecbasis.hh:145
size_type dimension() const
Definition: nedelecbasis.hh:217
static constexpr size_type maxMultiIndexSize
Definition: nedelecbasis.hh:150
static constexpr size_type multiIndexBufferSize
Definition: nedelecbasis.hh:152
GridView gridView_
Definition: nedelecbasis.hh:256
FiniteElementMap finiteElementMap_
Definition: nedelecbasis.hh:257
static constexpr size_type minMultiIndexSize
Definition: nedelecbasis.hh:151
void initializeIndices()
Definition: nedelecbasis.hh:179
void update(const GridView &gv)
Definition: nedelecbasis.hh:190
size_type maxNodeSize() const
Definition: nedelecbasis.hh:222
const GridView & gridView() const
Obtain the grid view that the basis is defined on.
Definition: nedelecbasis.hh:184
Node makeNode() const
Create tree node.
Definition: nedelecbasis.hh:199
size_type size() const
Definition: nedelecbasis.hh:204
Mapper mapper_
Definition: nedelecbasis.hh:258
size_type size() const
Definition: nodes.hh:142
void setSize(const size_type size)
Definition: nodes.hh:164