fe_nedelec.h

Go to the documentation of this file.

// -----------------------------------------------------------------------------
//
// SPDX-License-Identifier: LGPL-2.1-or-later
// Copyright (C) 2002 - 2025 by the deal.II authors
//
// This file is part of the deal.II library.
//
// Detailed license information governing the source code and contributions
// can be found in LICENSE.md and CONTRIBUTING.md at the top level directory.
//
// -----------------------------------------------------------------------------
 
#ifndef dealii_fe_nedelec_h
#define dealii_fe_nedelec_h
 
#include <deal.II/base/config.h>
 
#include <deal.II/base/geometry_info.h>
#include <deal.II/base/mutex.h>
#include <deal.II/base/polynomial.h>
#include <deal.II/base/polynomials_nedelec.h>
#include <deal.II/base/polynomials_vector_anisotropic.h>
#include <deal.II/base/table.h>
#include <deal.II/base/tensor.h>
#include <deal.II/base/tensor_product_polynomials.h>
 
#include <deal.II/fe/fe.h>
#include <deal.II/fe/fe_poly_tensor.h>
 
#include <deal.II/matrix_free/shape_info.h>
 
#include <vector>
 
DEAL_II_NAMESPACE_OPEN
 
template <int dim>
class FE_Nedelec : public FE_PolyTensor<dim>
{
public:
  FE_Nedelec(const unsigned int order);
 
  virtual std::string
  get_name() const override;
 
 
  virtual bool
  has_support_on_face(const unsigned int shape_index,
                      const unsigned int face_index) const override;
 
  virtual bool
  hp_constraints_are_implemented() const override;
 
  virtual FiniteElementDomination::Domination
  compare_for_domination(const FiniteElement<dim> &fe_other,
                         const unsigned int codim = 0) const override final;
 
  virtual std::vector<std::pair<unsigned int, unsigned int>>
  hp_vertex_dof_identities(const FiniteElement<dim> &fe_other) const override;
 
  virtual std::vector<std::pair<unsigned int, unsigned int>>
  hp_line_dof_identities(const FiniteElement<dim> &fe_other) const override;
 
  virtual std::vector<std::pair<unsigned int, unsigned int>>
  hp_quad_dof_identities(const FiniteElement<dim> &fe_other,
                         const unsigned int        face_no = 0) const override;
 
  virtual void
  get_face_interpolation_matrix(const FiniteElement<dim> &source,
                                FullMatrix<double>       &matrix,
                                const unsigned int face_no = 0) const override;
 
  virtual void
  get_subface_interpolation_matrix(
    const FiniteElement<dim> &source,
    const unsigned int        subface,
    FullMatrix<double>       &matrix,
    const unsigned int        face_no = 0) const override;
 
  virtual const FullMatrix<double> &
  get_restriction_matrix(
    const unsigned int         child,
    const RefinementCase<dim> &refinement_case =
      RefinementCase<dim>::isotropic_refinement) const override;
 
  virtual const FullMatrix<double> &
  get_prolongation_matrix(
    const unsigned int         child,
    const RefinementCase<dim> &refinement_case =
      RefinementCase<dim>::isotropic_refinement) const override;
 
  // documentation inherited from the base class
  virtual void
  convert_generalized_support_point_values_to_dof_values(
    const std::vector<Vector<double>> &support_point_values,
    std::vector<double>               &nodal_values) const override;
 
  virtual std::pair<Table<2, bool>, std::vector<unsigned int>>
  get_constant_modes() const override;
 
  virtual std::size_t
  memory_consumption() const override;
 
  virtual std::unique_ptr<FiniteElement<dim, dim>>
  clone() const override;
 
  std::vector<unsigned int>
  get_embedding_dofs(const unsigned int sub_degree) const;
 
private:
  static std::vector<unsigned int>
  get_dpo_vector(const unsigned int degree, bool dg = false);
 
  void
  initialize_support_points(const unsigned int order);
 
  void
  initialize_restriction();
 
  Table<2, double> boundary_weights;
 
  mutable Threads::Mutex restriction_matrix_mutex;
  mutable Threads::Mutex prolongation_matrix_mutex;
 
  void
  initialize_quad_dof_index_permutation_and_sign_change();
 
  // Allow access from other dimensions.
  template <int dim1>
  friend class FE_Nedelec;
};
 
 
 
template <int dim>
class FE_NedelecNodal : public FE_PolyTensor<dim>
{
public:
  FE_NedelecNodal(const unsigned int p);
 
  virtual std::string
  get_name() const override;
 
  // Documentation inherited from the base class.
  virtual std::unique_ptr<FiniteElement<dim, dim>>
  clone() const override;
 
  // Documentation inherited from the base class.
  virtual void
  convert_generalized_support_point_values_to_dof_values(
    const std::vector<Vector<double>> &support_point_values,
    std::vector<double>               &nodal_values) const override;
 
  std::vector<unsigned int>
  get_lexicographic_numbering(const unsigned int degree) const;
 
  virtual FiniteElementDomination::Domination
  compare_for_domination(const FiniteElement<dim> &fe_other,
                         const unsigned int codim = 0) const override final;
 
 
  template <typename Number, int dim_q>
  void
  fill_shape_info(internal::MatrixFreeFunctions::ShapeInfo<Number> *shape_info,
                  const Quadrature<dim_q>                          &quad_in,
                  const unsigned int base_element_number = 0) const;
};
 
/* -------------- declaration of explicit specializations ------------- */
 
#ifndef DOXYGEN
 
template <>
void
FE_Nedelec<1>::initialize_restriction();
 
#endif // DOXYGEN
 
DEAL_II_NAMESPACE_CLOSE
 
#endif