Intrepid2
Intrepid2_HGRAD_TET_Cn_FEM.hpp
Go to the documentation of this file.
1 // @HEADER
2 // *****************************************************************************
3 // Intrepid2 Package
4 //
5 // Copyright 2007 NTESS and the Intrepid2 contributors.
6 // SPDX-License-Identifier: BSD-3-Clause
7 // *****************************************************************************
8 // @HEADER
9 
16 #ifndef __INTREPID2_HGRAD_TET_CN_FEM_HPP__
17 #define __INTREPID2_HGRAD_TET_CN_FEM_HPP__
18 
19 #include "Intrepid2_Basis.hpp"
22 
23 #include "Intrepid2_PointTools.hpp"
24 #include "Teuchos_LAPACK.hpp"
25 
26 
27 namespace Intrepid2 {
28 
54  namespace Impl {
55 
60  public:
61  typedef struct Tetrahedron<4> cell_topology_type;
65  template<EOperator OpType>
66  struct Serial {
67  template<typename OutputValueViewType,
68  typename InputPointViewType,
69  typename WorkViewType,
70  typename VinvViewType>
71  KOKKOS_INLINE_FUNCTION
72  static void
73  getValues( OutputValueViewType outputValues,
74  const InputPointViewType inputPoints,
75  WorkViewType work,
76  const VinvViewType vinv,
77  const ordinal_type order);
78  };
79 
80  template<typename DeviceType, ordinal_type numPtsPerEval,
81  typename OutputValueValueType, class ...OutputValueProperties,
82  typename InputPointValueType, class ...InputPointProperties,
83  typename VinvValueType, class ...VinvProperties>
84  static void
85  getValues( const typename DeviceType::execution_space& space,
86  Kokkos::DynRankView<OutputValueValueType,OutputValueProperties...> outputValues,
87  const Kokkos::DynRankView<InputPointValueType, InputPointProperties...> inputPoints,
88  const Kokkos::DynRankView<VinvValueType, VinvProperties...> vinv,
89  const ordinal_type order,
90  const EOperator operatorType);
91 
95  template<typename OutputValueViewType,
96  typename InputPointViewType,
97  typename VinvViewType,
98  typename WorkViewType,
99  EOperator OpType,
100  ordinal_type numPtsEval>
101  struct Functor {
102  OutputValueViewType _outputValues;
103  const InputPointViewType _inputPoints;
104  const VinvViewType _vinv;
105  WorkViewType _work;
106  const ordinal_type _order;
107 
108  KOKKOS_INLINE_FUNCTION
109  Functor( OutputValueViewType outputValues_,
110  InputPointViewType inputPoints_,
111  VinvViewType vinv_,
112  WorkViewType work_,
113  ordinal_type order_)
114  : _outputValues(outputValues_), _inputPoints(inputPoints_),
115  _vinv(vinv_), _work(work_), _order(order_) {}
116 
117  KOKKOS_INLINE_FUNCTION
118  void operator()(const size_type iter) const {
119  const auto ptBegin = Util<ordinal_type>::min(iter*numPtsEval, _inputPoints.extent(0));
120  const auto ptEnd = Util<ordinal_type>::min(ptBegin+numPtsEval, _inputPoints.extent(0));
121 
122  const auto ptRange = Kokkos::pair<ordinal_type,ordinal_type>(ptBegin, ptEnd);
123  const auto input = Kokkos::subview( _inputPoints, ptRange, Kokkos::ALL() );
124 
125  typename WorkViewType::pointer_type ptr = _work.data() + _work.extent(0)*ptBegin*get_dimension_scalar(_work);
126 
127  auto vcprop = Kokkos::common_view_alloc_prop(_work);
128  WorkViewType work(Kokkos::view_wrap(ptr,vcprop), (ptEnd-ptBegin)*_work.extent(0));
129 
130  switch (OpType) {
131  case OPERATOR_VALUE : {
132  auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange );
133  Serial<OpType>::getValues( output, input, work, _vinv, _order );
134  break;
135  }
136  case OPERATOR_GRAD :
137  case OPERATOR_D1 :
138  case OPERATOR_D2 :
139  //case OPERATOR_D3 :
140  {
141  auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange, Kokkos::ALL() );
142  Serial<OpType>::getValues( output, input, work, _vinv, _order );
143  break;
144  }
145  default: {
146  INTREPID2_TEST_FOR_ABORT( true,
147  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::Functor) operator is not supported");
148 
149  }
150  }
151  }
152  };
153  };
154  }
155 
156  template<typename DeviceType = void,
157  typename outputValueType = double,
158  typename pointValueType = double>
160  : public Basis<DeviceType,outputValueType,pointValueType> {
161  public:
163  using typename BasisBase::ExecutionSpace;
164  using typename BasisBase::OrdinalTypeArray1DHost;
165  using typename BasisBase::OrdinalTypeArray2DHost;
166  using typename BasisBase::OrdinalTypeArray3DHost;
167 
168  using typename BasisBase::OutputViewType;
169  using typename BasisBase::PointViewType;
170  using typename BasisBase::ScalarViewType;
171 
172  using typename BasisBase::scalarType;
173 
174  private:
175 
178  Kokkos::DynRankView<scalarType,DeviceType> vinv_;
179 
181  EPointType pointType_;
182 
183  public:
184 
187  Basis_HGRAD_TET_Cn_FEM(const ordinal_type order,
188  const EPointType pointType = POINTTYPE_EQUISPACED);
189 
190  using BasisBase::getValues;
191 
192  virtual
193  void
194  getValues(const ExecutionSpace& space,
195  OutputViewType outputValues,
196  const PointViewType inputPoints,
197  const EOperator operatorType = OPERATOR_VALUE) const override {
198 #ifdef HAVE_INTREPID2_DEBUG
199  Intrepid2::getValues_HGRAD_Args(outputValues,
200  inputPoints,
201  operatorType,
202  this->getBaseCellTopology(),
203  this->getCardinality() );
204 #endif
205  constexpr ordinal_type numPtsPerEval = Parameters::MaxNumPtsPerBasisEval;
206  Impl::Basis_HGRAD_TET_Cn_FEM::
207  getValues<DeviceType,numPtsPerEval>(space,
208  outputValues,
209  inputPoints,
210  this->vinv_,
211  this->basisDegree_,
212  operatorType);
213  }
214 
215  virtual void
216  getScratchSpaceSize( ordinal_type& perTeamSpaceSize,
217  ordinal_type& perThreadSpaceSize,
218  const PointViewType inputPoints,
219  const EOperator operatorType = OPERATOR_VALUE) const override;
220 
221  KOKKOS_INLINE_FUNCTION
222  virtual void
223  getValues(
224  OutputViewType outputValues,
225  const PointViewType inputPoints,
226  const EOperator operatorType,
227  const typename Kokkos::TeamPolicy<typename DeviceType::execution_space>::member_type& team_member,
228  const typename DeviceType::execution_space::scratch_memory_space & scratchStorage,
229  const ordinal_type subcellDim = -1,
230  const ordinal_type subcellOrdinal = -1) const override;
231 
232 
233 
234  virtual
235  void
236  getDofCoords( ScalarViewType dofCoords ) const override {
237 #ifdef HAVE_INTREPID2_DEBUG
238  // Verify rank of output array.
239  INTREPID2_TEST_FOR_EXCEPTION( rank(dofCoords) != 2, std::invalid_argument,
240  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::getDofCoords) rank = 2 required for dofCoords array");
241  // Verify 0th dimension of output array.
242  INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoords.extent(0)) != this->getCardinality(), std::invalid_argument,
243  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::getDofCoords) mismatch in number of dof and 0th dimension of dofCoords array");
244  // Verify 1st dimension of output array.
245  INTREPID2_TEST_FOR_EXCEPTION( dofCoords.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
246  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::getDofCoords) incorrect reference cell (1st) dimension in dofCoords array");
247 #endif
248  Kokkos::deep_copy(dofCoords, this->dofCoords_);
249  }
250 
251  virtual
252  void
253  getDofCoeffs( ScalarViewType dofCoeffs ) const override {
254 #ifdef HAVE_INTREPID2_DEBUG
255  // Verify rank of output array.
256  INTREPID2_TEST_FOR_EXCEPTION( rank(dofCoeffs) != 1, std::invalid_argument,
257  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::getdofCoeffs) rank = 1 required for dofCoeffs array");
258  // Verify 0th dimension of output array.
259  INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoeffs.extent(0)) != this->getCardinality(), std::invalid_argument,
260  ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::getdofCoeffs) mismatch in number of dof and 0th dimension of dofCoeffs array");
261 #endif
262  Kokkos::deep_copy(dofCoeffs, 1.0);
263  }
264 
265 
266  void
267  getVandermondeInverse( ScalarViewType vinv ) const {
268  // has to be same rank and dimensions
269  Kokkos::deep_copy(vinv, this->vinv_);
270  }
271 
272  virtual
273  const char*
274  getName() const override {
275  return "Intrepid2_HGRAD_TET_Cn_FEM";
276  }
277 
278  virtual
279  bool
280  requireOrientation() const override {
281  return (this->basisDegree_ > 2);
282  }
283 
284  Kokkos::DynRankView<typename ScalarViewType::const_value_type,DeviceType>
285 
286  getVandermondeInverse() const {
287  return vinv_;
288  }
289 
290  ordinal_type
291  getWorkSizePerPoint(const EOperator operatorType) const {
292  auto cardinality = getPnCardinality<3>(this->basisDegree_);
293  switch (operatorType) {
294  case OPERATOR_GRAD:
295  case OPERATOR_CURL:
296  case OPERATOR_D1:
297  return 7*cardinality;
298  default:
299  return getDkCardinality(operatorType, 3)*cardinality;
300  }
301  }
302 
311  BasisPtr<DeviceType,outputValueType,pointValueType>
312  getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override{
313  if(subCellDim == 1) {
314  return Teuchos::rcp(new
316  (this->basisDegree_, pointType_));
317  } else if(subCellDim == 2) {
318  return Teuchos::rcp(new
320  (this->basisDegree_, pointType_));
321  }
322 
323  INTREPID2_TEST_FOR_EXCEPTION(true,std::invalid_argument,"Input parameters out of bounds");
324  }
325 
326  BasisPtr<typename Kokkos::HostSpace::device_type,outputValueType,pointValueType>
327  getHostBasis() const override{
329  }
330  };
331 
332 }// namespace Intrepid2
333 
335 
336 #endif
EPointType pointType_
type of lattice used for creating the DoF coordinates
Kokkos::View< ordinal_type *, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray1DHost
View type for 1d host array.
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...
Kokkos::DynRankView< OutputValueType, Kokkos::LayoutStride, DeviceType > OutputViewType
View type for basis value output.
small utility functions
ordinal_type getCardinality() const
Returns cardinality of the basis.
ScalarTraits< pointValueType >::scalar_type scalarType
Scalar type for point values.
virtual void getDofCoords(ScalarViewType dofCoords) const override
Returns spatial locations (coordinates) of degrees of freedom on the reference cell.
Kokkos::DynRankView< PointValueType, Kokkos::LayoutStride, DeviceType > PointViewType
View type for input points.
BasisPtr< DeviceType, outputValueType, pointValueType > getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override
returns the basis associated to a subCell.
An abstract base class that defines interface for concrete basis implementations for Finite Element (...
shards::CellTopology getBaseCellTopology() const
Returns the base cell topology for which the basis is defined. See Shards documentation https://trili...
Kokkos::DynRankView< scalarType, Kokkos::LayoutStride, DeviceType > ScalarViewType
View type for scalars.
typename DeviceType::execution_space ExecutionSpace
(Kokkos) Execution space for basis.
ordinal_type basisDegree_
Degree of the largest complete polynomial space that can be represented by the basis.
virtual KOKKOS_INLINE_FUNCTION void getValues(OutputViewType, const PointViewType, const EOperator, const typename Kokkos::TeamPolicy< ExecutionSpace >::member_type &teamMember, const typename ExecutionSpace::scratch_memory_space &scratchStorage, const ordinal_type subcellDim=-1, const ordinal_type subcellOrdinal=-1) const
Team-level evaluation of basis functions on a reference cell.
virtual void getValues(const ExecutionSpace &space, OutputViewType outputValues, const PointViewType inputPoints, const EOperator operatorType=OPERATOR_VALUE) const override
Evaluation of a FEM basis on a reference cell.
virtual bool requireOrientation() const override
True if orientation is required.
Header file for the Intrepid2::Basis_HGRAD_TRI_Cn_FEM class.
Kokkos::View< ordinal_type **, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray2DHost
View type for 2d host array.
virtual const char * getName() const override
Returns basis name.
static constexpr ordinal_type MaxNumPtsPerBasisEval
The maximum number of points to eval in serial mode.
Kokkos::DynRankView< scalarType, Kokkos::LayoutStride, DeviceType > ScalarViewType
View type for scalars.
Kokkos::DynRankView< scalarType, DeviceType > vinv_
inverse of Generalized Vandermonde matrix, whose columns store the expansion coefficients of the noda...
Kokkos::DynRankView< OutputValueType, Kokkos::LayoutStride, DeviceType > OutputViewType
View type for basis value output.
Implementation of the default H(grad)-compatible Lagrange basis of arbitrary degree on Tetrahedron ce...
Implementation of the locally H(grad)-compatible FEM basis of variable order on the [-1...
See Intrepid2::Basis_HGRAD_TET_Cn_FEM.
Kokkos::View< ordinal_type ***, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray3DHost
View type for 3d host array.
virtual void getDofCoeffs(ScalarViewType dofCoeffs) const override
Coefficients for computing degrees of freedom for Lagrangian basis If P is an element of the space sp...
Definition file for FEM basis functions of degree n for H(grad) functions on TET cells.
virtual void getScratchSpaceSize(ordinal_type &perTeamSpaceSize, ordinal_type &perThreadSpaceSize, const PointViewType inputPoints, const EOperator operatorType=OPERATOR_VALUE) const override
Return the size of the scratch space, in bytes, needed for using the team-level implementation of get...
Implementation of the default H(grad)-compatible Lagrange basis of arbitrary degree on Triangle cell...
Basis_HGRAD_TET_Cn_FEM(const ordinal_type order, const EPointType pointType=POINTTYPE_EQUISPACED)
Constructor.
Header file for the Intrepid2::Basis_HGRAD_TET_Cn_FEM_ORTH class.
Kokkos::DynRankView< scalarType, DeviceType > dofCoords_
Coordinates of degrees-of-freedom for basis functions defined in physical space.
Kokkos::DynRankView< PointValueType, Kokkos::LayoutStride, DeviceType > PointViewType
View type for input points.
Header file for the abstract base class Intrepid2::Basis.
typename DeviceType::execution_space ExecutionSpace
(Kokkos) Execution space for basis.
Header file for Intrepid2::PointTools class to provide utilities for barycentric coordinates, equispaced lattices, and warp-blend point distrubtions.