DUNE PDELab (2.7)

interpolate.hh
1// -*- tab-width: 4; indent-tabs-mode: nil; c-basic-offset: 2 -*-
2// vi: set et ts=4 sw=2 sts=2:
3
4#ifndef DUNE_PDELAB_GRIDFUNCTIONSPACE_INTERPOLATE_HH
5#define DUNE_PDELAB_GRIDFUNCTIONSPACE_INTERPOLATE_HH
6
7#include <vector>
8#include <utility>
9
11
12#include <dune/localfunctions/common/interfaceswitch.hh>
13#include <dune/localfunctions/common/virtualinterface.hh>
14
15#include <dune/typetree/typetree.hh>
16#include <dune/typetree/pairtraversal.hh>
17
18#include <dune/pdelab/function/localfunction.hh>
19#include <dune/pdelab/gridfunctionspace/gridfunctionspace.hh>
20#include <dune/pdelab/gridfunctionspace/lfsindexcache.hh>
21
22namespace Dune {
23 namespace PDELab {
24
28 namespace {
29
30 template<typename LF, typename XG>
31 struct InterpolateLeafFromScalarVisitor
32 : public TypeTree::TreeVisitor
33 , public TypeTree::DynamicTraversal
34 {
35
36 template<typename LFS, typename TreePath>
37 void leaf(const LFS& lfs, TreePath treePath) const
38 {
39 std::vector<typename XG::ElementType> xl(lfs.size());
40
41 // call interpolate for the basis
43 interpolate(lf, xl);
44
45 // write coefficients into local vector
46 xg.write_sub_container(lfs,xl);
47 }
48
49 InterpolateLeafFromScalarVisitor(const LF& lf_, XG& xg_)
50 : lf(lf_)
51 , xg(xg_)
52 {}
53
54 const LF& lf;
55 XG& xg;
56 };
57
58
59 template<typename LF, typename XG>
60 struct InterpolateLeafFromVectorVisitor
61 : public TypeTree::TreeVisitor
62 , public TypeTree::DynamicTraversal
63 {
64 using Domain = typename Functions::SignatureTraits<LF>::Domain;
65 using Range = typename Functions::SignatureTraits<LF>::Range;
66 using RangeField = typename FieldTraits<Range>::field_type;
67
68 template<typename LFS, typename TreePath>
69 void leaf(const LFS& lfs, TreePath treePath) const
70 {
71 std::vector<typename XG::ElementType> xl(lfs.size());
72
73 using LFSRange = typename LFS::Traits::FiniteElement::Traits::LocalBasisType::Traits::RangeType;
74 static_assert(std::is_convertible<LFSRange, typename FieldTraits< LFSRange >::field_type>::value,
75 "only interpolation into scalar leaf function spaces is implemented");
76
77 // call interpolate for the basis
78 auto f = [&](const Domain& x) -> RangeField { return lf(x)[index]; };
79
81 interpolate(f, xl);
82
83 // write coefficients into local vector
84 xg.write_sub_container(lfs,xl);
85
86 // increment index
87 index++;
88 }
89
90 InterpolateLeafFromVectorVisitor(const LF& lf_, XG& xg_)
91 : lf(lf_)
92 , index(0)
93 , xg(xg_)
94 {}
95
96 const LF& lf;
97 mutable std::size_t index;
98 XG& xg;
99 };
100
101
102 template<typename E, typename XG>
103 struct InterpolateVisitor
104 : public TypeTree::TreePairVisitor
105 , public TypeTree::DynamicTraversal
106 {
107
108 template<typename F, typename LFS, typename TreePath>
109 typename std::enable_if<F::isLeaf && LFS::isLeaf>::type
110 leaf(const F& f, const LFS& lfs, TreePath treePath) const
111 {
112 std::vector<typename XG::ElementType> xl(lfs.size());
113 // call interpolate for the basis
115 interpolate(f, xl);
116
117 // write coefficients into local vector
118 xg.write_sub_container(lfs,xl);
119 }
120
121 // interpolate PowerLFS from scalar-valued function
122 template<typename F, typename LFS, typename TreePath,
123 typename Range = typename Functions::SignatureTraits<F>::Range>
124 typename std::enable_if<F::isLeaf &&
125 std::is_convertible<Range, typename FieldTraits< Range >::field_type>::value &&
126 (!LFS::isLeaf)>::type
127 leaf(const F& f, const LFS& lfs, TreePath treePath) const
128 {
129 // call interpolate for the basis
130 TypeTree::applyToTree(lfs,InterpolateLeafFromScalarVisitor<F,XG>(f, xg));
131 }
132
133 // interpolate PowerLFS from vector-valued function
134 template<typename F, typename LFS, typename TreePath,
135 typename Range = typename Functions::SignatureTraits<F>::Range>
136 typename std::enable_if<F::isLeaf &&
137 (!std::is_convertible<Range, typename FieldTraits< Range >::field_type>::value) &&
138 (!LFS::isLeaf)>::type
139 leaf(const F& f, const LFS& lfs, TreePath treePath) const
140 {
141 static_assert(TypeTree::TreeInfo<LFS>::leafCount == Range::dimension,
142 "Number of leaves and dimension of range type " \
143 "must match for automatic interpolation of " \
144 "vector-valued function");
145
146 TypeTree::applyToTree(lfs,InterpolateLeafFromVectorVisitor<F,XG>(f,xg));
147 }
148
149 InterpolateVisitor(const E& e_, XG& xg_)
150 : e(e_)
151 , xg(xg_)
152 {}
153
154 private:
155 const E& e;
156 XG& xg;
157 };
158
159 } // anonymous namespace
160
162
173 template<typename F, typename GFS, typename XG>
174 void interpolate (const F& f, const GFS& gfs, XG& xg)
175 {
176 // this is the leaf version now
177
178 // get some types
179 using EntitySet = typename GFS::Traits::EntitySet;
180 using Element = typename EntitySet::Element;
181
182 auto entity_set = gfs.entitySet();
183
184 // make local function
185 auto lf = makeLocalFunctionTree(f, gfs.gridView());
186
187 // make local function space
188 typedef LocalFunctionSpace<GFS> LFS;
189 LFS lfs(gfs);
190 typedef LFSIndexCache<LFS> LFSCache;
191 LFSCache lfs_cache(lfs);
192 typedef typename XG::template LocalView<LFSCache> XView;
193
194 XView x_view(xg);
195
196 // loop once over the grid
197 for (const auto& element : elements(entity_set))
198 {
199 // bind local function space to element
200 lf.bind(element);
201 lfs.bind(element);
202 lfs_cache.update();
203 x_view.bind(lfs_cache);
204
205 // call interpolate
206 TypeTree::applyToTreePair(lf,lfs,InterpolateVisitor<Element,XView>(element,x_view));
207
208 x_view.unbind();
209 lf.unbind();
210 }
211
212 x_view.detach();
213 }
214
216 } // namespace PDELab
217} // namespace Dune
218
219#endif // DUNE_PDELAB_GRIDFUNCTIONSPACE_INTERPOLATE_HH
A few common exception classes.
void interpolate(const F &f, const GFS &gfs, XG &xg)
interpolation from a given grid function
Definition: interpolate.hh:174
constexpr HybridTreePath< T... > treePath(const T &... t)
Constructs a new HybridTreePath from the given indices.
Definition: treepath.hh:188
void applyToTreePair(Tree1 &&tree1, Tree2 &&tree2, Visitor &&visitor)
Apply visitor to a pair of TypeTrees.
Definition: pairtraversal.hh:107
void applyToTree(Tree &&tree, Visitor &&visitor)
Apply visitor to TypeTree.
Definition: traversal.hh:213
Dune namespace.
Definition: alignedallocator.hh:14
static const Interpolation & interpolation(const FiniteElement &fe)
access interpolation
Definition: interfaceswitch.hh:39
static const std::size_t leafCount
The number of leaf nodes in the TypeTree.
Definition: utility.hh:81
Creative Commons License   |  Legal Statements / Impressum  |  Hosted by TU Dresden  |  generated with Hugo v0.111.3 (Jul 15, 22:36, 2024)