Intrepid2
Intrepid2_HGRAD_TRI_C2_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_TRI_C2_FEM_HPP__
50 #define __INTREPID2_HGRAD_TRI_C2_FEM_HPP__
51 
52 #include "Intrepid2_Basis.hpp"
53 
54 namespace Intrepid2 {
55 
86  namespace Impl {
87 
92  public:
93  typedef struct Triangle<6> cell_topology_type;
97  template<EOperator opType>
98  struct Serial {
99  template<typename outputViewType,
100  typename inputViewType>
101  KOKKOS_INLINE_FUNCTION
102  static void
103  getValues( outputViewType output,
104  const inputViewType input );
105 
106  };
107 
108  template<typename ExecSpaceType,
109  typename outputValueValueType, class ...outputValueProperties,
110  typename inputPointValueType, class ...inputPointProperties>
111  static void
112  getValues( Kokkos::DynRankView<outputValueValueType,outputValueProperties...> outputValues,
113  const Kokkos::DynRankView<inputPointValueType, inputPointProperties...> inputPoints,
114  const EOperator operatorType);
115 
119  template<typename outputValueViewType,
120  typename inputPointViewType,
121  EOperator opType>
122  struct Functor {
123  outputValueViewType _outputValues;
124  const inputPointViewType _inputPoints;
125 
126  KOKKOS_INLINE_FUNCTION
127  Functor( outputValueViewType outputValues_,
128  inputPointViewType inputPoints_ )
129  : _outputValues(outputValues_), _inputPoints(inputPoints_) {}
130 
131  KOKKOS_INLINE_FUNCTION
132  void operator()(const ordinal_type pt) const {
133  switch (opType) {
134  case OPERATOR_VALUE : {
135  auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), pt );
136  const auto input = Kokkos::subview( _inputPoints, pt, Kokkos::ALL() );
137  Serial<opType>::getValues( output, input );
138  break;
139  }
140  case OPERATOR_GRAD :
141  case OPERATOR_CURL :
142  case OPERATOR_D1 :
143  case OPERATOR_D2 :
144  case OPERATOR_MAX : {
145  auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), pt, Kokkos::ALL() );
146  const auto input = Kokkos::subview( _inputPoints, pt, Kokkos::ALL() );
147  Serial<opType>::getValues( output, input );
148  break;
149  }
150  default: {
151  INTREPID2_TEST_FOR_ABORT( opType != OPERATOR_VALUE &&
152  opType != OPERATOR_GRAD &&
153  opType != OPERATOR_CURL &&
154  opType != OPERATOR_D1 &&
155  opType != OPERATOR_D2 &&
156  opType != OPERATOR_MAX,
157  ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::Serial::getValues) operator is not supported");
158  }
159  }
160  }
161  };
162  };
163  }
164 
165  template<typename ExecSpaceType = void,
166  typename outputValueType = double,
167  typename pointValueType = double>
168  class Basis_HGRAD_TRI_C2_FEM: public Basis<ExecSpaceType,outputValueType,pointValueType> {
169  public:
173 
177 
181 
183 
184  virtual
185  void
186  getValues( outputViewType outputValues,
187  const pointViewType inputPoints,
188  const EOperator operatorType = OPERATOR_VALUE ) const {
189 #ifdef HAVE_INTREPID2_DEBUG
190  // Verify arguments
191  Intrepid2::getValues_HGRAD_Args(outputValues,
192  inputPoints,
193  operatorType,
194  this->getBaseCellTopology(),
195  this->getCardinality() );
196 #endif
197  Impl::Basis_HGRAD_TRI_C2_FEM::
198  getValues<ExecSpaceType>( outputValues,
199  inputPoints,
200  operatorType );
201  }
202 
203  virtual
204  void
205  getDofCoords( scalarViewType dofCoords ) const {
206 #ifdef HAVE_INTREPID2_DEBUG
207  // Verify rank of output array.
208  INTREPID2_TEST_FOR_EXCEPTION( dofCoords.rank() != 2, std::invalid_argument,
209  ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::getDofCoords) rank = 2 required for dofCoords array");
210  // Verify 0th dimension of output array.
211  INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoords.extent(0)) != this->getCardinality(), std::invalid_argument,
212  ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::getDofCoords) mismatch in number of dof and 0th dimension of dofCoords array");
213  // Verify 1st dimension of output array.
214  INTREPID2_TEST_FOR_EXCEPTION( dofCoords.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
215  ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::getDofCoords) incorrect reference cell (1st) dimension in dofCoords array");
216 #endif
217  Kokkos::deep_copy(dofCoords, this->dofCoords_);
218  }
219 
220  virtual
221  void
222  getDofCoeffs( scalarViewType dofCoeffs ) const {
223 #ifdef HAVE_INTREPID2_DEBUG
224  // Verify rank of output array.
225  INTREPID2_TEST_FOR_EXCEPTION( dofCoeffs.rank() != 1, std::invalid_argument,
226  ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::getdofCoeffs) rank = 1 required for dofCoeffs array");
227  // Verify 0th dimension of output array.
228  INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoeffs.extent(0)) != this->getCardinality(), std::invalid_argument,
229  ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::getdofCoeffs) mismatch in number of dof and 0th dimension of dofCoeffs array");
230 #endif
231  Kokkos::deep_copy(dofCoeffs, 1.0);
232  }
233 
234  virtual
235  const char*
236  getName() const {
237  return "Intrepid2_HGRAD_TRI_C2_FEM";
238  }
239 
240  };
241 
242 }// namespace Intrepid2
243 
245 
246 #endif
Kokkos::DynRankView< scalarType, Kokkos::LayoutStride, ExecSpaceType > scalarViewType
View type for scalars.
ordinal_type getCardinality() const
Returns cardinality of the basis.
An abstract base class that defines interface for concrete basis implementations for Finite Element (...
Kokkos::DynRankView< outputValueType, Kokkos::LayoutStride, ExecSpaceType > outputViewType
View type for basis value output.
virtual void getDofCoeffs(scalarViewType dofCoeffs) const
Coefficients for computing degrees of freedom for Lagrangian basis If P is an element of the space sp...
Kokkos::DynRankView< scalarType, ExecSpaceType > dofCoords_
Coordinates of degrees-of-freedom for basis functions defined in physical space.
See Intrepid2::Basis_HGRAD_TRI_C2_FEM.
Implementation of the default H(grad)-compatible FEM basis of degree 2 on Triangle cell...
shards::CellTopology getBaseCellTopology() const
Returns the base cell topology for which the basis is defined. See Shards documentation https://trili...
Kokkos::View< ordinal_type ***, typename ExecSpaceType::array_layout, Kokkos::HostSpace > ordinal_type_array_3d_host
View type for 3d host array.
virtual void getDofCoords(scalarViewType dofCoords) const
Returns spatial locations (coordinates) of degrees of freedom on the reference cell.
EOperator
Enumeration of primitive operators available in Intrepid. Primitive operators act on reconstructed fu...
Kokkos::View< ordinal_type *,typename ExecSpaceType::array_layout, Kokkos::HostSpace > ordinal_type_array_1d_host
View type for 1d host array.
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...
Definition file for FEM basis functions of degree 2 for H(grad) functions on TRI cells.
Kokkos::DynRankView< pointValueType, Kokkos::LayoutStride, ExecSpaceType > pointViewType
View type for input points.
virtual void getValues(outputViewType outputValues, const pointViewType inputPoints, const EOperator operatorType=OPERATOR_VALUE) const
Evaluation of a FEM basis on a reference cell.
virtual const char * getName() const
Returns basis name.
Header file for the abstract base class Intrepid2::Basis.
Kokkos::View< ordinal_type **,typename ExecSpaceType::array_layout, Kokkos::HostSpace > ordinal_type_array_2d_host
View type for 2d host array.