Intrepid2
Intrepid2_HGRAD_TET_C1_FEM.hpp
Go to the documentation of this file.
1 // @HEADER
2 // ************************************************************************
3 //
4 // Intrepid2 Package
5 // Copyright (2007) Sandia Corporation
6 //
7 // Under terms of Contract DE-AC04-94AL85000, there is a non-exclusive
8 // license for use of this work by or on behalf of the U.S. Government.
9 //
10 // Redistribution and use in source and binary forms, with or without
11 // modification, are permitted provided that the following conditions are
12 // met:
13 //
14 // 1. Redistributions of source code must retain the above copyright
15 // notice, this list of conditions and the following disclaimer.
16 //
17 // 2. Redistributions in binary form must reproduce the above copyright
18 // notice, this list of conditions and the following disclaimer in the
19 // documentation and/or other materials provided with the distribution.
20 //
21 // 3. Neither the name of the Corporation nor the names of the
22 // contributors may be used to endorse or promote products derived from
23 // this software without specific prior written permission.
24 //
25 // THIS SOFTWARE IS PROVIDED BY SANDIA CORPORATION "AS IS" AND ANY
26 // EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
27 // IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
28 // PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SANDIA CORPORATION OR THE
29 // CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
30 // EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
31 // PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
32 // PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
33 // LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
34 // NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
35 // SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
36 //
37 // Questions? Contact Kyungjoo Kim (kyukim@sandia.gov), or
38 // Mauro Perego (mperego@sandia.gov)
39 //
40 // ************************************************************************
41 // @HEADER
42 
49 #ifndef __INTREPID2_HGRAD_TET_C1_FEM_HPP__
50 #define __INTREPID2_HGRAD_TET_C1_FEM_HPP__
51 
52 #include "Intrepid2_Basis.hpp"
54 
55 namespace Intrepid2 {
56 
82  namespace Impl {
83 
88  public:
89  typedef struct Tetrahedron<4> cell_topology_type;
93  template<EOperator opType>
94  struct Serial {
95  template<typename OutputViewType,
96  typename inputViewType>
97  KOKKOS_INLINE_FUNCTION
98  static void
99  getValues( OutputViewType output,
100  const inputViewType input );
101 
102  };
103 
104  template<typename DeviceType,
105  typename outputValueValueType, class ...outputValueProperties,
106  typename inputPointValueType, class ...inputPointProperties>
107  static void
108  getValues( Kokkos::DynRankView<outputValueValueType,outputValueProperties...> outputValues,
109  const Kokkos::DynRankView<inputPointValueType, inputPointProperties...> inputPoints,
110  const EOperator operatorType);
111 
115  template<typename outputValueViewType,
116  typename inputPointViewType,
117  EOperator opType>
118  struct Functor {
119  outputValueViewType _outputValues;
120  const inputPointViewType _inputPoints;
121 
122  KOKKOS_INLINE_FUNCTION
123  Functor( outputValueViewType outputValues_,
124  inputPointViewType inputPoints_ )
125  : _outputValues(outputValues_), _inputPoints(inputPoints_) {}
126 
127  KOKKOS_INLINE_FUNCTION
128  void operator()(const ordinal_type pt) const {
129  switch (opType) {
130  case OPERATOR_VALUE : {
131  auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), pt );
132  const auto input = Kokkos::subview( _inputPoints, pt, Kokkos::ALL() );
133  Serial<opType>::getValues( output, input );
134  break;
135  }
136  case OPERATOR_GRAD :
137  case OPERATOR_MAX : {
138  auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), pt, Kokkos::ALL() );
139  const auto input = Kokkos::subview( _inputPoints, pt, Kokkos::ALL() );
140  Serial<opType>::getValues( output, input );
141  break;
142  }
143  default: {
144  INTREPID2_TEST_FOR_ABORT( opType != OPERATOR_VALUE &&
145  opType != OPERATOR_GRAD &&
146  opType != OPERATOR_MAX,
147  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_C1_FEM::Serial::getValues) operator is not supported");
148  }
149  }
150  }
151  };
152 
153 
154  };
155  }
156 
157  template<typename DeviceType = void,
158  typename outputValueType = double,
159  typename pointValueType = double>
160  class Basis_HGRAD_TET_C1_FEM : public Basis<DeviceType,outputValueType,pointValueType> {
161  public:
162  using OrdinalTypeArray1DHost = typename Basis<DeviceType,outputValueType,pointValueType>::OrdinalTypeArray1DHost;
163  using OrdinalTypeArray2DHost = typename Basis<DeviceType,outputValueType,pointValueType>::OrdinalTypeArray2DHost;
164  using OrdinalTypeArray3DHost = typename Basis<DeviceType,outputValueType,pointValueType>::OrdinalTypeArray3DHost;
165 
169 
173 
175 
176  virtual
177  void
178  getValues( OutputViewType outputValues,
179  const PointViewType inputPoints,
180  const EOperator operatorType = OPERATOR_VALUE ) const override {
181 #ifdef HAVE_INTREPID2_DEBUG
182  // Verify arguments
183  Intrepid2::getValues_HGRAD_Args(outputValues,
184  inputPoints,
185  operatorType,
186  this->getBaseCellTopology(),
187  this->getCardinality() );
188 #endif
189  Impl::Basis_HGRAD_TET_C1_FEM::
190  getValues<DeviceType>( outputValues,
191  inputPoints,
192  operatorType );
193  }
194 
195  virtual
196  void
197  getDofCoords( ScalarViewType dofCoords ) const override {
198 #ifdef HAVE_INTREPID2_DEBUG
199  // Verify rank of output array.
200  INTREPID2_TEST_FOR_EXCEPTION( dofCoords.rank() != 2, std::invalid_argument,
201  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_C1_FEM::getDofCoords) rank = 2 required for dofCoords array");
202  // Verify 0th dimension of output array.
203  INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoords.extent(0)) != this->getCardinality(), std::invalid_argument,
204  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_C1_FEM::getDofCoords) mismatch in number of dof and 0th dimension of dofCoords array");
205  // Verify 1st dimension of output array.
206  INTREPID2_TEST_FOR_EXCEPTION( dofCoords.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
207  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_C1_FEM::getDofCoords) incorrect reference cell (1st) dimension in dofCoords array");
208 #endif
209  Kokkos::deep_copy(dofCoords, this->dofCoords_);
210  }
211 
212  virtual
213  void
214  getDofCoeffs( ScalarViewType dofCoeffs ) const override {
215 #ifdef HAVE_INTREPID2_DEBUG
216  // Verify rank of output array.
217  INTREPID2_TEST_FOR_EXCEPTION( dofCoeffs.rank() != 1, std::invalid_argument,
218  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_C1_FEM::getdofCoeffs) rank = 1 required for dofCoeffs array");
219  // Verify 0th dimension of output array.
220  INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoeffs.extent(0)) != this->getCardinality(), std::invalid_argument,
221  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_C1_FEM::getdofCoeffs) mismatch in number of dof and 0th dimension of dofCoeffs array");
222 #endif
223  Kokkos::deep_copy(dofCoeffs, 1.0);
224  }
225 
226  virtual
227  const char*
228  getName() const override {
229  return "Intrepid2_HGRAD_TET_C1_FEM";
230  }
231 
241  getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override{
242  if(subCellDim == 1) {
243  return Teuchos::rcp(new
245  } else if(subCellDim == 1) {
246  return Teuchos::rcp(new
248  }
249  INTREPID2_TEST_FOR_EXCEPTION(true,std::invalid_argument,"Input parameters out of bounds");
250  }
251 
253  getHostBasis() const override{
255  }
256  };
257 }// namespace Intrepid2
258 
260 
261 #endif
Teuchos::RCP< Basis< DeviceType, OutputType, PointType > > BasisPtr
Basis Pointer.
Header file for the Intrepid2::Basis_HGRAD_TRI_C1_FEM class.
BasisPtr< typename Kokkos::HostSpace::device_type, outputValueType, pointValueType > getHostBasis() const override
Creates and returns a Basis object whose DeviceType template argument is Kokkos::HostSpace::device_ty...
Definition file for FEM basis functions of degree 1 for H(grad) functions on TET cells.
Implementation of the default H(grad)-compatible FEM basis of degree 1 on Triangle cell...
An abstract base class that defines interface for concrete basis implementations for Finite Element (...
ordinal_type getCardinality() const
Returns cardinality of the basis.
BasisPtr< DeviceType, outputValueType, pointValueType > getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override
returns the basis associated to a subCell.
See Intrepid2::Basis_HGRAD_TET_C1_FEM.
virtual const char * getName() const override
Returns basis name.
EOperator
Enumeration of primitive operators available in Intrepid. Primitive operators act on reconstructed fu...
void getValues_HGRAD_Args(const outputValueViewType outputValues, const inputPointViewType inputPoints, const EOperator operatorType, const shards::CellTopology cellTopo, const ordinal_type basisCard)
Runtime check of the arguments for the getValues method in an HGRAD-conforming FEM basis...
Implementation of the default H(grad)-compatible FEM basis of degree 1 on Line cell.
Implementation of the default H(grad)-compatible FEM basis of degree 1 on Tetrahedron cell...
shards::CellTopology getBaseCellTopology() const
Returns the base cell topology for which the basis is defined. See Shards documentation https://trili...
Kokkos::DynRankView< scalarType, DeviceType > dofCoords_
Coordinates of degrees-of-freedom for basis functions defined in physical space.
Header file for the abstract base class Intrepid2::Basis.