Loading [MathJax]/extensions/TeX/AMSsymbols.js
 deal.II version GIT relicensing-2684-gc61376a70f 2025-02-22 15:30:00+00:00
\(\newcommand{\dealvcentcolon}{\mathrel{\mathop{:}}}\) \(\newcommand{\dealcoloneq}{\dealvcentcolon\mathrel{\mkern-1.2mu}=}\) \(\newcommand{\jump}[1]{\left[\!\left[ #1 \right]\!\right]}\) \(\newcommand{\average}[1]{\left\{\!\left\{ #1 \right\}\!\right\}}\)
All Classes Namespaces Files Functions Variables Typedefs Enumerations Enumerator Friends Macros Modules Pages Concepts
mapping_manifold.h
Go to the documentation of this file.
1// ------------------------------------------------------------------------
2//
3// SPDX-License-Identifier: LGPL-2.1-or-later
4// Copyright (C) 2016 - 2024 by the deal.II authors
5//
6// This file is part of the deal.II library.
7//
8// Part of the source code is dual licensed under Apache-2.0 WITH
9// LLVM-exception OR LGPL-2.1-or-later. Detailed license information
10// governing the source code and code contributions can be found in
11// LICENSE.md and CONTRIBUTING.md at the top level directory of deal.II.
12//
13// ------------------------------------------------------------------------
14
15#ifndef dealii_mapping_manifold_h
16#define dealii_mapping_manifold_h
17
18
19#include <deal.II/base/config.h>
20
24
25#include <deal.II/fe/mapping.h>
26
27#include <cmath>
28
30
53template <int dim, int spacedim = dim>
54class MappingManifold : public Mapping<dim, spacedim>
55{
56public:
60 MappingManifold() = default;
61
66
67 // for documentation, see the Mapping base class
68 virtual std::unique_ptr<Mapping<dim, spacedim>>
69 clone() const override;
70
75 virtual bool
77
78 virtual bool
79 is_compatible_with(const ReferenceCell &cell_type) const override;
80
86 // for documentation, see the Mapping base class
87 virtual Point<spacedim>
90 const Point<dim> &p) const override;
91
92 // for documentation, see the Mapping base class
93 virtual Point<dim>
96 const Point<spacedim> &p) const override;
97
107 // for documentation, see the Mapping base class
108 virtual void
109 transform(const ArrayView<const Tensor<1, dim>> &input,
110 const MappingKind kind,
112 const ArrayView<Tensor<1, spacedim>> &output) const override;
113
114 // for documentation, see the Mapping base class
115 virtual void
117 const MappingKind kind,
119 const ArrayView<Tensor<2, spacedim>> &output) const override;
120
121 // for documentation, see the Mapping base class
122 virtual void
123 transform(const ArrayView<const Tensor<2, dim>> &input,
124 const MappingKind kind,
126 const ArrayView<Tensor<2, spacedim>> &output) const override;
127
128 // for documentation, see the Mapping base class
129 virtual void
131 const MappingKind kind,
133 const ArrayView<Tensor<3, spacedim>> &output) const override;
134
135 // for documentation, see the Mapping base class
136 virtual void
137 transform(const ArrayView<const Tensor<3, dim>> &input,
138 const MappingKind kind,
140 const ArrayView<Tensor<3, spacedim>> &output) const override;
141
162 class InternalData : public Mapping<dim, spacedim>::InternalDataBase
163 {
164 public:
168 InternalData() = default;
169
170 // Documentation see Mapping::InternalDataBase.
171 virtual void
172 reinit(const UpdateFlags update_flags,
173 const Quadrature<dim> &quadrature) override;
174
180 void
181 initialize_face(const UpdateFlags update_flags,
182 const Quadrature<dim> &quadrature,
183 const unsigned int n_original_q_points);
184
190 void
192
196 void
199
203 virtual std::size_t
204 memory_consumption() const override;
205
211 mutable std::array<Point<spacedim>, GeometryInfo<dim>::vertices_per_cell>
213
220
227
246 std::vector<std::array<double, GeometryInfo<dim>::vertices_per_cell>>
248
258 mutable std::array<double, GeometryInfo<dim>::vertices_per_cell>
260
274 std::array<std::vector<Tensor<1, dim>>,
277
287 mutable std::vector<DerivativeForm<1, dim, spacedim>> covariant;
288
296 mutable std::vector<DerivativeForm<1, dim, spacedim>> contravariant;
297
301 mutable std::vector<std::vector<Tensor<1, spacedim>>> aux;
302
307 mutable std::vector<double> volume_elements;
308
315 };
316
317private:
318 // documentation can be found in Mapping::requires_update_flags()
319 virtual UpdateFlags
320 requires_update_flags(const UpdateFlags update_flags) const override;
321
322 // documentation can be found in Mapping::get_data()
323 virtual std::unique_ptr<typename Mapping<dim, spacedim>::InternalDataBase>
324 get_data(const UpdateFlags, const Quadrature<dim> &quadrature) const override;
325
326 using Mapping<dim, spacedim>::get_face_data;
327
328 // documentation can be found in Mapping::get_face_data()
329 virtual std::unique_ptr<typename Mapping<dim, spacedim>::InternalDataBase>
330 get_face_data(const UpdateFlags flags,
331 const hp::QCollection<dim - 1> &quadrature) const override;
332
333 // documentation can be found in Mapping::get_subface_data()
334 virtual std::unique_ptr<typename Mapping<dim, spacedim>::InternalDataBase>
335 get_subface_data(const UpdateFlags flags,
336 const Quadrature<dim - 1> &quadrature) const override;
337
338 // documentation can be found in Mapping::fill_fe_values()
342 const CellSimilarity::Similarity cell_similarity,
343 const Quadrature<dim> &quadrature,
344 const typename Mapping<dim, spacedim>::InternalDataBase &internal_data,
346 &output_data) const override;
347
348 using Mapping<dim, spacedim>::fill_fe_face_values;
349
350 // documentation can be found in Mapping::fill_fe_face_values()
351 virtual void
354 const unsigned int face_no,
355 const hp::QCollection<dim - 1> &quadrature,
356 const typename Mapping<dim, spacedim>::InternalDataBase &internal_data,
358 &output_data) const override;
359
360 // documentation can be found in Mapping::fill_fe_subface_values()
361 virtual void
364 const unsigned int face_no,
365 const unsigned int subface_no,
366 const Quadrature<dim - 1> &quadrature,
367 const typename Mapping<dim, spacedim>::InternalDataBase &internal_data,
369 &output_data) const override;
370
374};
375
376
377
380/*----------------------------------------------------------------------*/
381
382#ifndef DOXYGEN
383
384template <int dim, int spacedim>
385inline bool
387{
388 return true;
389}
390
391
392template <int dim, int spacedim>
393bool
395 const ReferenceCell &cell_type) const
396{
397 if (cell_type.get_dimension() != dim)
398 return false; // TODO: or is this an error?
399
400 if (cell_type.is_hyper_cube())
401 return true;
402
403 return false;
404}
405
406
407
408#endif // DOXYGEN
409
410/* -------------- declaration of explicit specializations ------------- */
411
412
414
415#endif
void store_vertices(const typename Triangulation< dim, spacedim >::cell_iterator &cell) const
std::vector< double > volume_elements
std::array< std::vector< Tensor< 1, dim > >, GeometryInfo< dim >::faces_per_cell *(dim - 1)> unit_tangentials
std::vector< DerivativeForm< 1, dim, spacedim > > contravariant
std::array< Point< spacedim >, GeometryInfo< dim >::vertices_per_cell > vertices
std::vector< std::array< double, GeometryInfo< dim >::vertices_per_cell > > cell_manifold_quadrature_weights
std::vector< std::vector< Tensor< 1, spacedim > > > aux
virtual std::size_t memory_consumption() const override
void initialize_face(const UpdateFlags update_flags, const Quadrature< dim > &quadrature, const unsigned int n_original_q_points)
virtual void reinit(const UpdateFlags update_flags, const Quadrature< dim > &quadrature) override
ObserverPointer< const Manifold< dim, spacedim > > manifold
std::array< double, GeometryInfo< dim >::vertices_per_cell > vertex_weights
void compute_manifold_quadrature_weights(const Quadrature< dim > &quadrature)
std::vector< DerivativeForm< 1, dim, spacedim > > covariant
Triangulation< dim, spacedim >::cell_iterator cell
virtual Point< spacedim > transform_unit_to_real_cell(const typename Triangulation< dim, spacedim >::cell_iterator &cell, const Point< dim > &p) const override
MappingManifold()=default
virtual Point< dim > transform_real_to_unit_cell(const typename Triangulation< dim, spacedim >::cell_iterator &cell, const Point< spacedim > &p) const override
virtual bool is_compatible_with(const ReferenceCell &cell_type) const override
virtual void transform(const ArrayView< const Tensor< 1, dim > > &input, const MappingKind kind, const typename Mapping< dim, spacedim >::InternalDataBase &internal, const ArrayView< Tensor< 1, spacedim > > &output) const override
virtual void fill_fe_subface_values(const typename Triangulation< dim, spacedim >::cell_iterator &cell, const unsigned int face_no, const unsigned int subface_no, const Quadrature< dim - 1 > &quadrature, const typename Mapping< dim, spacedim >::InternalDataBase &internal_data, internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > &output_data) const override
virtual void fill_fe_face_values(const typename Triangulation< dim, spacedim >::cell_iterator &cell, const unsigned int face_no, const hp::QCollection< dim - 1 > &quadrature, const typename Mapping< dim, spacedim >::InternalDataBase &internal_data, internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > &output_data) const override
virtual bool preserves_vertex_locations() const override
virtual UpdateFlags requires_update_flags(const UpdateFlags update_flags) const override
virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > get_data(const UpdateFlags, const Quadrature< dim > &quadrature) const override
virtual std::unique_ptr< Mapping< dim, spacedim > > clone() const override
virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > get_face_data(const UpdateFlags flags, const hp::QCollection< dim - 1 > &quadrature) const override
virtual std::unique_ptr< typename Mapping< dim, spacedim >::InternalDataBase > get_subface_data(const UpdateFlags flags, const Quadrature< dim - 1 > &quadrature) const override
virtual CellSimilarity::Similarity fill_fe_values(const typename Triangulation< dim, spacedim >::cell_iterator &cell, const CellSimilarity::Similarity cell_similarity, const Quadrature< dim > &quadrature, const typename Mapping< dim, spacedim >::InternalDataBase &internal_data, internal::FEValuesImplementation::MappingRelatedData< dim, spacedim > &output_data) const override
Abstract base class for mapping classes.
Definition mapping.h:320
Definition point.h:113
bool is_hyper_cube() const
unsigned int get_dimension() const
#define DEAL_II_NAMESPACE_OPEN
Definition config.h:522
#define DEAL_II_NAMESPACE_CLOSE
Definition config.h:523
UpdateFlags
MappingKind
Definition mapping.h:81