libMesh
Loading...
Searching...
No Matches
cell_pyramid.C
Go to the documentation of this file.
1// The libMesh Finite Element Library.
2// Copyright (C) 2002-2026 Benjamin S. Kirk, John W. Peterson, Roy H. Stogner
3
4// This library is free software; you can redistribute it and/or
5// modify it under the terms of the GNU Lesser General Public
6// License as published by the Free Software Foundation; either
7// version 2.1 of the License, or (at your option) any later version.
8
9// This library is distributed in the hope that it will be useful,
10// but WITHOUT ANY WARRANTY; without even the implied warranty of
11// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU
12// Lesser General Public License for more details.
13
14// You should have received a copy of the GNU Lesser General Public
15// License along with this library; if not, write to the Free Software
16// Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA 02111-1307 USA
17
18
19// C++ includes
20
21// Local includes
22#include "libmesh/cell_pyramid.h"
23#include "libmesh/cell_pyramid5.h"
24#include "libmesh/face_tri3.h"
25#include "libmesh/face_quad4.h"
26
27namespace libMesh
28{
29
30// ------------------------------------------------------------
31// Pyramid class static member initializations
32const int Pyramid::num_sides;
33const int Pyramid::num_edges;
34const int Pyramid::num_children;
35
36const Real Pyramid::_master_points[14][3] =
37 {
38 {-1, -1, 0},
39 {1, -1, 0},
40 {1, 1, 0},
41 {-1, 1, 0},
42 {0, 0, 1},
43 {0, -1, 0},
44 {1, 0, 0},
45 {0, 1, 0},
46 {-1, 0, 0},
47 {0, -0.5, 0.5},
48 {0.5, 0, 0.5},
49 {0, 0.5, 0.5},
50 {-0.5, 0, 0.5},
51 {0, 0, 0}
52 };
53
54const unsigned int Pyramid::edge_sides_map[8][2] =
55 {
56 {0, 4}, // Edge 0
57 {1, 4}, // Edge 1
58 {2, 4}, // Edge 2
59 {3, 4}, // Edge 3
60 {0, 3}, // Edge 4
61 {0, 1}, // Edge 5
62 {1, 2}, // Edge 6
63 {2, 3} // Edge 7
64 };
65
66const unsigned int Pyramid::adjacent_edges_map[/*num_vertices*/5][/*max_adjacent_edges*/4] =
67 {
68 {0, 3, 4, 99}, // Edges adjacent to node 0
69 {0, 1, 5, 99}, // Edges adjacent to node 1
70 {1, 2, 6, 99}, // Edges adjacent to node 2
71 {2, 3, 7, 99}, // Edges adjacent to node 3
72 {4, 5, 6, 7} // Edges adjacent to node 4
73 };
74
75// ------------------------------------------------------------
76// Pyramid class member functions
77dof_id_type Pyramid::key (const unsigned int s) const
78{
79 libmesh_assert_less (s, this->n_sides());
80
81 switch (s)
82 {
83 case 0: // triangular face 1
84 case 1: // triangular face 2
85 case 2: // triangular face 3
86 case 3: // triangular face 4
87 return this->compute_key (this->node_id(Pyramid5::side_nodes_map[s][0]),
90
91 case 4: // the quad face at z=0
92 return this->compute_key (this->node_id(Pyramid5::side_nodes_map[s][0]),
96
97 default:
98 libmesh_error_msg("Invalid side s = " << s);
99 }
100}
101
102
103
104dof_id_type Pyramid::low_order_key (const unsigned int s) const
105{
106 libmesh_assert_less (s, this->n_sides());
107
108 switch (s)
109 {
110 case 0: // triangular face 1
111 case 1: // triangular face 2
112 case 2: // triangular face 3
113 case 3: // triangular face 4
114 return this->compute_key (this->node_id(Pyramid5::side_nodes_map[s][0]),
116 this->node_id(Pyramid5::side_nodes_map[s][2]));
117
118 case 4: // the quad face at z=0
119 return this->compute_key (this->node_id(Pyramid5::side_nodes_map[s][0]),
122 this->node_id(Pyramid5::side_nodes_map[s][3]));
123
124 default:
125 libmesh_error_msg("Invalid side s = " << s);
126 }
127}
128
129
130
131unsigned int Pyramid::local_side_node(unsigned int side,
132 unsigned int side_node) const
133{
134 libmesh_assert_less (side, this->n_sides());
135
136 // Never more than 4 nodes per side.
137 libmesh_assert_less(side_node, Pyramid5::nodes_per_side);
138
139 // Some sides have 3 nodes.
140 libmesh_assert(side == 4 || side_node < 3);
141
142 return Pyramid5::side_nodes_map[side][side_node];
143}
144
145
146
147unsigned int Pyramid::local_edge_node(unsigned int edge,
148 unsigned int edge_node) const
149{
150 libmesh_assert_less(edge, this->n_edges());
151 libmesh_assert_less(edge_node, Pyramid5::nodes_per_edge);
152
153 return Pyramid5::edge_nodes_map[edge][edge_node];
154}
155
156
157
158std::unique_ptr<Elem> Pyramid::side_ptr (const unsigned int i)
159{
160 libmesh_assert_less (i, this->n_sides());
161
162 // Return value
163 std::unique_ptr<Elem> face;
164
165 // Set up the type of element
166 switch (i)
167 {
168 case 0: // triangular face 1
169 case 1: // triangular face 2
170 case 2: // triangular face 3
171 case 3: // triangular face 4
172 {
173 face = std::make_unique<Tri3>();
174 break;
175 }
176 case 4: // the quad face at z=0
177 {
178 face = std::make_unique<Quad4>();
179 break;
180 }
181 default:
182 libmesh_error_msg("Invalid side i = " << i);
183 }
184
185 // Set the nodes
186 for (auto n : face->node_index_range())
187 face->set_node(n, this->node_ptr(Pyramid5::side_nodes_map[i][n]));
188
189 return face;
190}
191
192
193
194void Pyramid::side_ptr (std::unique_ptr<Elem> & side,
195 const unsigned int i)
196{
197 libmesh_assert_less (i, this->n_sides());
198
199 switch (i)
200 {
201 case 0: // triangular face 1
202 case 1: // triangular face 2
203 case 2: // triangular face 3
204 case 3: // triangular face 4
205 {
206 if (!side.get() || side->type() != TRI3)
207 {
208 side = this->side_ptr(i);
209 return;
210 }
211 break;
212 }
213
214 case 4: // the quad face at z=0
215 {
216 if (!side.get() || side->type() != QUAD4)
217 {
218 side = this->side_ptr(i);
219 return;
220 }
221 break;
222 }
223
224 default:
225 libmesh_error_msg("Invalid side i = " << i);
226 }
227
228 side->subdomain_id() = this->subdomain_id();
229
230 // Set the nodes
231 for (auto n : side->node_index_range())
232 side->set_node(n, this->node_ptr(Pyramid5::side_nodes_map[i][n]));
233}
234
235
236
237bool Pyramid::is_child_on_side(const unsigned int c,
238 const unsigned int s) const
239{
240 libmesh_assert_less (c, this->n_children());
241 libmesh_assert_less (s, this->n_sides());
242
243 for (unsigned int i = 0; i != 4; ++i)
244 if (Pyramid5::side_nodes_map[s][i] == c)
245 return true;
246 return false;
247}
248
249
250
251bool Pyramid::is_edge_on_side(const unsigned int e,
252 const unsigned int s) const
253{
254 libmesh_assert_less (e, this->n_edges());
255 libmesh_assert_less (s, this->n_sides());
256
257 return (edge_sides_map[e][0] == s || edge_sides_map[e][1] == s);
258}
259
260
261
262std::vector<unsigned int> Pyramid::sides_on_edge(const unsigned int e) const
263{
264 libmesh_assert_less (e, this->n_edges());
265 return {edge_sides_map[e][0], edge_sides_map[e][1]};
266}
267
268
269bool
271{
272 return (triple_product(this->point(1)-this->point(0),
273 this->point(3)-this->point(0),
274 this->point(4)-this->point(0)) < 0);
275}
276
277std::vector<unsigned int>
278Pyramid::edges_adjacent_to_node(const unsigned int n) const
279{
280 libmesh_assert_less(n, this->n_nodes());
281 if (this->is_vertex(n))
282 {
283 auto trim = (n < 4) ? 1 : 0;
284 return {std::begin(adjacent_edges_map[n]), std::end(adjacent_edges_map[n]) - trim};
285 }
286 else if (this->is_edge(n))
287 return {n - this->n_vertices()};
288
289 // Not a vertex or edge node, so must be one of the face nodes.
290 libmesh_assert(this->is_face(n));
291 return {};
292}
293
294unsigned int Pyramid::local_singular_node(const Point & p, const Real tol) const
295{
296 return this->node_ref(4).absolute_fuzzy_equals(p, tol) ? 4 : invalid_uint;
297}
298
299
301 const Real eps) const
302{
303 const Real & xi = p(0);
304 const Real & eta = p(1);
305 const Real & zeta = p(2);
306
307 // Check that the point is on the same side of all the faces
308 // by testing whether:
309 //
310 // n_i.(x - x_i) <= 0
311 //
312 // for each i, where:
313 // n_i is the outward normal of face i,
314 // x_i is a point on face i.
315 return ((-eta - 1. + zeta <= 0.+eps) &&
316 ( xi - 1. + zeta <= 0.+eps) &&
317 ( eta - 1. + zeta <= 0.+eps) &&
318 ( -xi - 1. + zeta <= 0.+eps) &&
319 ( zeta >= 0.-eps));
320}
321
322
323} // namespace libMesh
const Point & point(const unsigned int i) const
Definition elem.h:2462
const Node & node_ref(const unsigned int i) const
Definition elem.h:2538
virtual bool is_face(const unsigned int i) const =0
subdomain_id_type subdomain_id() const
Definition elem.h:2591
virtual bool is_edge(const unsigned int i) const =0
static dof_id_type compute_key(dof_id_type n0)
Definition elem.h:3311
virtual bool is_vertex(const unsigned int i) const =0
dof_id_type node_id(const unsigned int i) const
Definition elem.h:2484
A Point defines a location in LIBMESH_DIM dimensional Real space.
Definition point.h:40
static const unsigned int edge_nodes_map[num_edges][nodes_per_edge]
This maps the node of the edge to element node numbers.
static const int nodes_per_side
static const int nodes_per_edge
static const unsigned int side_nodes_map[num_sides][nodes_per_side]
This maps the node of the side to element node numbers.
static const unsigned int edge_sides_map[8][2]
This maps each edge to the sides that contain said edge.
virtual unsigned int n_nodes() const override
virtual bool is_edge_on_side(const unsigned int e, const unsigned int s) const override
virtual unsigned int n_children() const override
virtual std::vector< unsigned int > sides_on_edge(const unsigned int e) const override final
virtual unsigned int n_sides() const override
virtual dof_id_type low_order_key(const unsigned int s) const override
static const Real _master_points[14][3]
Master element node locations.
virtual unsigned int n_edges() const override
virtual bool is_flipped() const override final
unsigned int local_singular_node(const Point &p, const Real tol=TOLERANCE *TOLERANCE) const override final
virtual std::vector< unsigned int > edges_adjacent_to_node(const unsigned int n) const override
virtual dof_id_type key() const
Don't hide Elem::key() defined in the base class.
Definition elem.C:738
virtual unsigned int local_side_node(unsigned int side, unsigned int side_node) const override
virtual std::unique_ptr< Elem > side_ptr(const unsigned int i) override
static const unsigned int adjacent_edges_map[5][4]
This maps the node to the 3 or 4 edge ids adjacent to the node.
static const int num_edges
static const int num_sides
Geometric constants for all Pyramids.
virtual bool is_child_on_side(const unsigned int c, const unsigned int s) const override
virtual unsigned int local_edge_node(unsigned int edge, unsigned int edge_node) const override
virtual unsigned int n_vertices() const override
virtual bool on_reference_element(const Point &p, const Real eps=TOLERANCE) const override final
static const int num_children
bool absolute_fuzzy_equals(const TypeVector< T > &rhs, Real tol=TOLERANCE) const
The libMesh namespace provides an interface to certain functionality in the library.
T triple_product(const TypeVector< T > &a, const TypeVector< T > &b, const TypeVector< T > &c)
libmesh_assert(ctx)
const unsigned int invalid_uint
A number which is used quite often to represent an invalid or uninitialized value for an unsigned int...
Definition libmesh.h:303
uint8_t dof_id_type
Definition id_types.h:67
DIE A HORRIBLE DEATH HERE typedef LIBMESH_DEFAULT_SCALAR_TYPE Real