Intrepid2
Intrepid2_HCURL_TET_In_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_HCURL_TET_IN_FEM_HPP__
17#define __INTREPID2_HCURL_TET_IN_FEM_HPP__
18
19#include "Intrepid2_Basis.hpp"
22
24#include "Teuchos_LAPACK.hpp"
25
26namespace Intrepid2 {
27
60#define CardinalityHCurlTet(order) (order*(order+2)*(order+3)/2)
61
62namespace Impl {
63
68public:
69 typedef struct Tetrahedron<4> cell_topology_type;
73 template<EOperator opType>
74 struct Serial {
75 template<typename outputValueViewType,
76 typename inputPointViewType,
77 typename workViewType,
78 typename vinvViewType>
79 KOKKOS_INLINE_FUNCTION
80 static void
81 getValues( outputValueViewType outputValues,
82 const inputPointViewType inputPoints,
83 workViewType work,
84 const vinvViewType vinv );
85
86
87 KOKKOS_INLINE_FUNCTION
88 static ordinal_type
89 getWorkSizePerPoint(ordinal_type order) {
90 auto cardinality = CardinalityHCurlTet(order);
91 switch (opType) {
92 case OPERATOR_DIV:
93 case OPERATOR_D1:
94 return 7*cardinality;
95 default:
96 return getDkCardinality<opType,3>()*cardinality;
97 }
98 }
99 };
100
101 template<typename DeviceType, ordinal_type numPtsPerEval,
102 typename outputValueValueType, class ...outputValueProperties,
103 typename inputPointValueType, class ...inputPointProperties,
104 typename vinvValueType, class ...vinvProperties>
105 static void
106 getValues(
107 const typename DeviceType::execution_space& space,
108 Kokkos::DynRankView<outputValueValueType,outputValueProperties...> outputValues,
109 const Kokkos::DynRankView<inputPointValueType, inputPointProperties...> inputPoints,
110 const Kokkos::DynRankView<vinvValueType, vinvProperties...> vinv,
111 const EOperator operatorType);
112
116 template<typename outputValueViewType,
117 typename inputPointViewType,
118 typename vinvViewType,
119 typename workViewType,
120 EOperator opType,
121 ordinal_type numPtsEval>
122 struct Functor {
123 outputValueViewType _outputValues;
124 const inputPointViewType _inputPoints;
125 const vinvViewType _coeffs;
126 workViewType _work;
127
128 KOKKOS_INLINE_FUNCTION
129 Functor( outputValueViewType outputValues_,
130 inputPointViewType inputPoints_,
131 vinvViewType coeffs_,
132 workViewType work_)
133 : _outputValues(outputValues_), _inputPoints(inputPoints_),
134 _coeffs(coeffs_), _work(work_) {}
135
136 KOKKOS_INLINE_FUNCTION
137 void operator()(const size_type iter) const {
138 const auto ptBegin = Util<ordinal_type>::min(iter*numPtsEval, _inputPoints.extent(0));
139 const auto ptEnd = Util<ordinal_type>::min(ptBegin+numPtsEval, _inputPoints.extent(0));
140
141 const auto ptRange = Kokkos::pair<ordinal_type,ordinal_type>(ptBegin, ptEnd);
142 const auto input = Kokkos::subview( _inputPoints, ptRange, Kokkos::ALL() );
143
144 typename workViewType::pointer_type ptr = _work.data() + _work.extent(0)*ptBegin*get_dimension_scalar(_work);
145
146 auto vcprop = Kokkos::common_view_alloc_prop(_work);
147 workViewType work(Kokkos::view_wrap(ptr,vcprop), (ptEnd-ptBegin)*_work.extent(0));
148
149 switch (opType) {
150 case OPERATOR_VALUE : {
151 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange, Kokkos::ALL() );
152 Serial<opType>::getValues( output, input, work, _coeffs );
153 break;
154 }
155 case OPERATOR_CURL: {
156 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange, Kokkos::ALL() );
157 Serial<opType>::getValues( output, input, work, _coeffs );
158 break;
159 }
160 default: {
161 INTREPID2_TEST_FOR_ABORT( true,
162 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::Functor) operator is not supported");
163
164 }
165 }
166 }
167 };
168};
169}
170
171template<typename DeviceType = void,
172 typename outputValueType = double,
173 typename pointValueType = double>
175 : public Basis<DeviceType,outputValueType,pointValueType> {
176 public:
178 using typename BasisBase::ExecutionSpace;
179
183
184 using typename BasisBase::OutputViewType;
185 using typename BasisBase::PointViewType ;
186 using typename BasisBase::ScalarViewType;
187
190 Basis_HCURL_TET_In_FEM(const ordinal_type order,
191 const EPointType pointType = POINTTYPE_EQUISPACED);
192
194
196
197 virtual
198 void
200 const ExecutionSpace& space,
201 OutputViewType outputValues,
202 const PointViewType inputPoints,
203 const EOperator operatorType = OPERATOR_VALUE) const override {
204#ifdef HAVE_INTREPID2_DEBUG
206 inputPoints,
207 operatorType,
208 this->getBaseCellTopology(),
209 this->getCardinality() );
210#endif
211 constexpr ordinal_type numPtsPerEval = Parameters::MaxNumPtsPerBasisEval;
212 Impl::Basis_HCURL_TET_In_FEM::
213 getValues<DeviceType,numPtsPerEval>(space,
214 outputValues,
215 inputPoints,
216 this->coeffs_,
217 operatorType);
218 }
219
220 virtual void
221 getScratchSpaceSize( ordinal_type& perTeamSpaceSize,
222 ordinal_type& perThreadSpaceSize,
223 const PointViewType inputPointsconst,
224 const EOperator operatorType = OPERATOR_VALUE) const override;
225
226 KOKKOS_INLINE_FUNCTION
227 virtual void
228 getValues(
229 OutputViewType outputValues,
230 const PointViewType inputPoints,
231 const EOperator operatorType,
232 const typename Kokkos::TeamPolicy<typename DeviceType::execution_space>::member_type& team_member,
233 const typename DeviceType::execution_space::scratch_memory_space & scratchStorage,
234 const ordinal_type subcellDim = -1,
235 const ordinal_type subcellOrdinal = -1) const override;
236
237 virtual
238 void
239 getDofCoords( ScalarViewType dofCoords ) const override {
240#ifdef HAVE_INTREPID2_DEBUG
241 // Verify rank of output array.
242 INTREPID2_TEST_FOR_EXCEPTION( rank(dofCoords) != 2, std::invalid_argument,
243 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoords) rank = 2 required for dofCoords array");
244 // Verify 0th dimension of output array.
245 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoords.extent(0)) != this->getCardinality(), std::invalid_argument,
246 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoords) mismatch in number of dof and 0th dimension of dofCoords array");
247 // Verify 1st dimension of output array.
248 INTREPID2_TEST_FOR_EXCEPTION( dofCoords.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
249 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoords) incorrect reference cell (1st) dimension in dofCoords array");
250#endif
251 Kokkos::deep_copy(dofCoords, this->dofCoords_);
252 }
253
254 virtual
255 void
256 getDofCoeffs( ScalarViewType dofCoeffs ) const override {
257#ifdef HAVE_INTREPID2_DEBUG
258 // Verify rank of output array.
259 INTREPID2_TEST_FOR_EXCEPTION( rank(dofCoeffs) != 2, std::invalid_argument,
260 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoeffs) rank = 2 required for dofCoeffs array");
261 // Verify 0th dimension of output array.
262 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoeffs.extent(0)) != this->getCardinality(), std::invalid_argument,
263 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoeffs) mismatch in number of dof and 0th dimension of dofCoeffs array");
264 // Verify 1st dimension of output array.
265 INTREPID2_TEST_FOR_EXCEPTION( dofCoeffs.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
266 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoeffs) incorrect reference cell (1st) dimension in dofCoeffs array");
267#endif
268 Kokkos::deep_copy(dofCoeffs, this->dofCoeffs_);
269 }
270
271 void
272 getExpansionCoeffs( ScalarViewType coeffs ) const {
273 // has to be same rank and dimensions
274 Kokkos::deep_copy(coeffs, this->coeffs_);
275 }
276
277 virtual
278 const char*
279 getName() const override {
280 return "Intrepid2_HCURL_TET_In_FEM";
281 }
282
283 virtual
284 bool
285 requireOrientation() const override {
286 return true;
287 }
288
299 getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override{
300 if(subCellDim == 1) {
301 return Teuchos::rcp(new
303 (this->basisDegree_-1, pointType_));
304 } else if(subCellDim == 2) {
305 return Teuchos::rcp(new
307 (this->basisDegree_, pointType_));
308 }
309 INTREPID2_TEST_FOR_EXCEPTION(true,std::invalid_argument,"Input parameters out of bounds");
310 }
311
316
317 private:
318
321 Kokkos::DynRankView<scalarType,DeviceType> coeffs_;
322
324 EPointType pointType_;
325
326};
327
328}// namespace Intrepid2
329
331
332#endif
Header file for the abstract base class Intrepid2::Basis.
Teuchos::RCP< Basis< DeviceType, OutputType, PointType > > BasisPtr
Basis Pointer.
void getValues_HCURL_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 HCURL-conforming FEM basis....
Definition file for FEM basis functions of degree n for H(curl) functions on TET.
Header file for the Intrepid2::Basis_HCURL_TRI_In_FEM class.
Header file for the Intrepid2::Basis_HGRAD_TET_Cn_FEM_ORTH class.
Header file for Intrepid2::PointTools class to provide utilities for barycentric coordinates,...
Implementation of the default H(curl)-compatible Nedelec (first kind) basis of arbitrary degree on Te...
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...
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 void getDofCoords(ScalarViewType dofCoords) const override
Returns spatial locations (coordinates) of degrees of freedom on the reference cell.
virtual const char * getName() const override
Returns basis name.
BasisPtr< DeviceType, outputValueType, pointValueType > getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override
returns the basis associated to a subCell.
EPointType pointType_
type of lattice used for creating the DoF coordinates
virtual bool requireOrientation() const override
True if orientation is required.
Kokkos::DynRankView< scalarType, DeviceType > coeffs_
expansion coefficients of the nodal basis in terms of the orthgonal one
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...
virtual void getScratchSpaceSize(ordinal_type &perTeamSpaceSize, ordinal_type &perThreadSpaceSize, const PointViewType inputPointsconst, 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(curl)-compatible Nedelec (first kind) basis of arbitrary degree on Tr...
Implementation of the locally HVOL-compatible FEM basis of variable order on the [-1,...
An abstract base class that defines interface for concrete basis implementations for Finite Element (...
Kokkos::DynRankView< PointValueType, Kokkos::LayoutStride, DeviceType > PointViewType
View type for input points.
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.
Kokkos::DynRankView< OutputValueType, Kokkos::LayoutStride, DeviceType > OutputViewType
View type for basis value output.
Kokkos::View< ordinal_type ***, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray3DHost
View type for 3d host array.
ordinal_type basisDegree_
Degree of the largest complete polynomial space that can be represented by the basis.
ordinal_type getCardinality() const
Returns cardinality of the basis.
Kokkos::DynRankView< scalarType, Kokkos::LayoutStride, DeviceType > ScalarViewType
View type for scalars.
Kokkos::DynRankView< scalarType, DeviceType > dofCoords_
Coordinates of degrees-of-freedom for basis functions defined in physical space.
Kokkos::DynRankView< scalarType, DeviceType > dofCoeffs_
Coefficients for computing degrees of freedom for Lagrangian basis If P is an element of the space sp...
Kokkos::View< ordinal_type **, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray2DHost
View type for 2d host array.
ScalarTraits< pointValueType >::scalar_type scalarType
Scalar type for point values.
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 ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray1DHost
View type for 1d host array.
typename DeviceType::execution_space ExecutionSpace
(Kokkos) Execution space for basis.
See Intrepid2::Basis_HCURL_TET_In_FEM.
static constexpr ordinal_type MaxNumPtsPerBasisEval
The maximum number of points to eval in serial mode.
small utility functions