Line data    Source code

       1             : // The libMesh Finite Element Library.
       2             : // Copyright (C) 2002-2025 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             : 
      20             : #ifndef LIBMESH_CELL_INF_HEX16_H
      21             : #define LIBMESH_CELL_INF_HEX16_H
      22             : 
      23             : #include "libmesh/libmesh_config.h"
      24             : 
      25             : #ifdef LIBMESH_ENABLE_INFINITE_ELEMENTS
      26             : 
      27             : // Local includes
      28             : #include "libmesh/cell_inf_hex.h"
      29             : 
      30             : namespace libMesh
      31             : {
      32             : 
      33             : /**
      34             :  * The \p InfHex16 is an infinite element in 3D composed of 16 nodes.
      35             :  * It is numbered like this:
      36             :  * \verbatim
      37             :  *   INFHEX16:   7              14             6
      38             :  *               o              o              o      closer to infinity
      39             :  *               :              :              |
      40             :  *               :              :              |
      41             :  *               :              :              |
      42             :  *         15    :              :        13    |
      43             :  *          o    :              :         o    |
      44             :  *          :    :              :         |    |
      45             :  *          :    :              :         |    |
      46             :  *          :    :              :         |    |
      47             :  *     4    :    :    12        :    5    |    |
      48             :  *     o    :    :    o         :    o    |    |
      49             :  *     |    :    :    |         :    |    |    |
      50             :  *     |    :    :    |         :    |    |    |
      51             :  *     |    :    :    |         :10  |    |    |
      52             :  *     |    :   3o....|.........o....|....|....o
      53             :  *     |    :   .     |              |    |   / 2
      54             :  *     |    :  .      |              |    |  /
      55             :  *     |    : .       |              |    | /
      56             :  *     |    :.        |              |    |/
      57             :  *     |  11o         |              |    o           base face
      58             :  *     |   .          |              |   / 9
      59             :  *     |  .           |              |  /
      60             :  *     | .            |              | /
      61             :  *     |.             |              |/
      62             :  *     o--------------o--------------o
      63             :  *     0              8              1
      64             :  * \endverbatim
      65             :  *
      66             :  * \author Daniel Dreyer
      67             :  * \date 2002
      68             :  * \brief A 3D infinite hexahedral element with 16 nodes.
      69             :  */
      70             : class InfHex16 final : public InfHex
      71             : {
      72             : public:
      73             : 
      74             :   /**
      75             :    * Constructor.  By default this element has no parent.
      76             :    */
      77             :   explicit
      78          44 :   InfHex16 (Elem * p=nullptr) :
      79          44 :     InfHex(num_nodes, p, _nodelinks_data)
      80          44 :   {}
      81             : 
      82             :   InfHex16 (InfHex16 &&) = delete;
      83             :   InfHex16 (const InfHex16 &) = delete;
      84             :   InfHex16 & operator= (const InfHex16 &) = delete;
      85             :   InfHex16 & operator= (InfHex16 &&) = delete;
      86         132 :   virtual ~InfHex16() = default;
      87             : 
      88             :   /**
      89             :    * \returns 16.  The \p InfHex16 has 16 nodes.
      90             :    */
      91       32233 :   virtual unsigned int n_nodes() const override { return num_nodes; }
      92             : 
      93             :   /**
      94             :    * \returns \p INFHEX16.
      95             :    */
      96        2938 :   virtual ElemType type () const override { return INFHEX16; }
      97             : 
      98             :   /**
      99             :    * \returns The number of sub elements for this element type.
     100             :    */
     101           0 :   virtual unsigned int n_sub_elem() const override { return 1; }
     102             : 
     103             :   /**
     104             :    * \returns \p true if the specified (local) node number is on the
     105             :    * specified side.
     106             :    */
     107             :   virtual bool is_node_on_side(const unsigned int n,
     108             :                                const unsigned int s) const override;
     109             : 
     110             :   virtual std::vector<unsigned int> nodes_on_side(const unsigned int s) const override;
     111             : 
     112             :   virtual std::vector<unsigned int> nodes_on_edge(const unsigned int e) const override;
     113             : 
     114             :   /**
     115             :    * \returns \p true if the specified (local) node number is on the
     116             :    * specified edge.
     117             :    */
     118             :   virtual bool is_node_on_edge(const unsigned int n,
     119             :                                const unsigned int e) const override;
     120             : 
     121             :   /**
     122             :    * \returns SECOND.
     123             :    */
     124             :   virtual Order default_order() const override;
     125             : 
     126             :   /**
     127             :    * \returns \p InfHex16::side_nodes_map[side][side_node] after doing some range checking.
     128             :    */
     129             :   virtual unsigned int local_side_node(unsigned int side,
     130             :                                        unsigned int side_node) const override;
     131             : 
     132             :   /**
     133             :    * \returns \p InfHex16::edge_nodes_map[edge][edge_node] after doing some range checking.
     134             :    */
     135             :   virtual unsigned int local_edge_node(unsigned int edge,
     136             :                                        unsigned int edge_node) const override;
     137             : 
     138             :   /**
     139             :    * \returns A \p QUAD8 built coincident with face 0, or an \p
     140             :    * INFQUAD6 built coincident with faces 1 to 4.
     141             :    *
     142             :    * \note The \p std::unique_ptr<Elem> takes care of freeing memory.
     143             :    */
     144             :   virtual std::unique_ptr<Elem> build_side_ptr (const unsigned int i) override;
     145             : 
     146             :   /**
     147             :    * Rebuilds a \p QUAD8 built coincident with face 0, or an \p
     148             :    * INFQUAD6 built coincident with faces 1 to 4.
     149             :    */
     150             :   virtual void build_side_ptr (std::unique_ptr<Elem> & elem,
     151             :                                const unsigned int i) override;
     152             : 
     153             :   // Avoid hiding deprecated version with different signature
     154             :   using Elem::build_side_ptr;
     155             : 
     156             :   /**
     157             :    * \returns An \p EDGE3 built coincident with edges 0 to 3, or \p
     158             :    * INFEDGE2 built coincident with edges 4 to 11.
     159             :    *
     160             :    * \note The \p std::unique_ptr<Elem> takes care of freeing memory.
     161             :    */
     162             :   virtual std::unique_ptr<Elem> build_edge_ptr (const unsigned int i) override;
     163             : 
     164             :   /**
     165             :    * Rebuilds a \p EDGE3 built coincident with edges 0 to 3, or \p
     166             :    * INFEDGE2 built coincident with edges 4 to 11.
     167             :    */
     168             :   virtual void build_edge_ptr (std::unique_ptr<Elem> & edge, const unsigned int i) override;
     169             : 
     170             :   virtual void connectivity(const unsigned int sc,
     171             :                             const IOPackage iop,
     172             :                             std::vector<dof_id_type> & conn) const override;
     173             : 
     174             :   unsigned int vtk_element_type (const unsigned int) const
     175             :   { return 12; }
     176             : 
     177             :   /**
     178             :    * \returns 2 for all \p n.
     179             :    */
     180           0 :   virtual unsigned int n_second_order_adjacent_vertices (const unsigned int) const override
     181           0 :   { return 2; }
     182             : 
     183             :   /**
     184             :    * \returns The element-local number of the \f$ v^{th} \f$ vertex
     185             :    * that defines the \f$ n^{th} \f$ second-order node.
     186             :    *
     187             :    * \note \p n is counted as depicted above, \f$ 8 \le n < 16 \f$.
     188             :    */
     189             :   virtual unsigned short int second_order_adjacent_vertex (const unsigned int n,
     190             :                                                            const unsigned int v) const override;
     191             : 
     192             :   /**
     193             :    * \returns The child number \p c and element-local index \p v of the
     194             :    * \f$ n^{th} \f$ second-order node on the parent element.  See
     195             :    * elem.h for further details.
     196             :    */
     197             :   virtual std::pair<unsigned short int, unsigned short int>
     198             :   second_order_child_vertex (const unsigned int n) const override;
     199             : 
     200             :   /**
     201             :    * Geometric constants for InfHex16.
     202             :    */
     203             :   static const int num_nodes = 16;
     204             :   static const int nodes_per_side = 8;
     205             :   static const int nodes_per_edge = 3;
     206             : 
     207             :   /**
     208             :    * This maps the \f$ j^{th} \f$ node of the \f$ i^{th} \f$ side to
     209             :    * element node numbers.
     210             :    */
     211             :   static const unsigned int side_nodes_map[num_sides][nodes_per_side];
     212             : 
     213             :   /**
     214             :    * This maps the \f$ j^{th} \f$ node of the \f$ i^{th} \f$ edge to
     215             :    * element node numbers.
     216             :    */
     217             :   static const unsigned int edge_nodes_map[num_edges][nodes_per_edge];
     218             : 
     219             :   virtual void permute(unsigned int perm_num) override final;
     220             : 
     221             :   virtual void flip(BoundaryInfo *) override final;
     222             : 
     223             :   ElemType side_type (const unsigned int s) const override final;
     224             : 
     225             : protected:
     226             : 
     227             :   /**
     228             :    * Data for links to nodes.
     229             :    */
     230             :   Node * _nodelinks_data[num_nodes];
     231             : 
     232             : 
     233             : #ifdef LIBMESH_ENABLE_AMR
     234             : 
     235             :   /**
     236             :    * Matrix used to create the elements children.
     237             :    */
     238       13040 :   virtual Real embedding_matrix (const unsigned int i,
     239             :                                  const unsigned int j,
     240             :                                  const unsigned int k) const override
     241       13040 :   { return _embedding_matrix[i][j][k]; }
     242             : 
     243             :   /**
     244             :    * Matrix that computes new nodal locations/solution values
     245             :    * from current nodes/solution.
     246             :    */
     247             :   static const Real _embedding_matrix[num_children][num_nodes][num_nodes];
     248             : 
     249        5040 :   LIBMESH_ENABLE_TOPOLOGY_CACHES;
     250             : 
     251             : #endif // LIBMESH_ENABLE_AMR
     252             : 
     253             : };
     254             : 
     255             : } // namespace libMesh
     256             : 
     257             : #endif  // ifdef LIBMESH_ENABLE_INFINITE_ELEMENTS
     258             : 
     259             : 
     260             : #endif // LIBMESH_CELL_INF_HEX16_H