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
15
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
59
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 workViewType work = createMatchingUnmanagedView<workViewType>(_work, ptr, (ptEnd-ptBegin)*_work.extent(0));
147
148 switch (opType) {
149 case OPERATOR_VALUE : {
150 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange, Kokkos::ALL() );
151 Serial<opType>::getValues( output, input, work, _coeffs );
152 break;
153 }
154 case OPERATOR_CURL: {
155 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange, Kokkos::ALL() );
156 Serial<opType>::getValues( output, input, work, _coeffs );
157 break;
158 }
159 default: {
160 INTREPID2_TEST_FOR_ABORT( true,
161 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::Functor) operator is not supported");
162
163 }
164 }
165 }
166 };
167};
168}
169
170template<typename DeviceType = void,
171 typename outputValueType = double,
172 typename pointValueType = double>
174 : public Basis<DeviceType,outputValueType,pointValueType> {
175 public:
176 using BasisBase = Basis<DeviceType,outputValueType,pointValueType>;
177 using typename BasisBase::ExecutionSpace;
178
182
183 using typename BasisBase::OutputViewType;
184 using typename BasisBase::PointViewType ;
185 using typename BasisBase::ScalarViewType;
186
189 Basis_HCURL_TET_In_FEM(const ordinal_type order,
190 const EPointType pointType = POINTTYPE_EQUISPACED);
191
193
195
196 virtual
197 void
198 getValues(
199 const ExecutionSpace& space,
200 OutputViewType outputValues,
201 const PointViewType inputPoints,
202 const EOperator operatorType = OPERATOR_VALUE) const override {
203#ifdef HAVE_INTREPID2_DEBUG
205 inputPoints,
206 operatorType,
207 this->getBaseCellTopology(),
208 this->getCardinality() );
209#endif
210 constexpr ordinal_type numPtsPerEval = Parameters::MaxNumPtsPerBasisEval;
211 Impl::Basis_HCURL_TET_In_FEM::
212 getValues<DeviceType,numPtsPerEval>(space,
213 outputValues,
214 inputPoints,
215 this->coeffs_,
216 operatorType);
217 }
218
219 virtual void
220 getScratchSpaceSize( ordinal_type& perTeamSpaceSize,
221 ordinal_type& perThreadSpaceSize,
222 const PointViewType inputPointsconst,
223 const EOperator operatorType = OPERATOR_VALUE) const override;
224
225 KOKKOS_INLINE_FUNCTION
226 virtual void
227 getValues(
228 OutputViewType outputValues,
229 const PointViewType inputPoints,
230 const EOperator operatorType,
231 const typename Kokkos::TeamPolicy<typename DeviceType::execution_space>::member_type& team_member,
232 const typename DeviceType::execution_space::scratch_memory_space & scratchStorage,
233 const ordinal_type subcellDim = -1,
234 const ordinal_type subcellOrdinal = -1) const override;
235
236 virtual
237 void
238 getDofCoords( ScalarViewType dofCoords ) const override {
239#ifdef HAVE_INTREPID2_DEBUG
240 // Verify rank of output array.
241 INTREPID2_TEST_FOR_EXCEPTION( rank(dofCoords) != 2, std::invalid_argument,
242 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoords) rank = 2 required for dofCoords array");
243 // Verify 0th dimension of output array.
244 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoords.extent(0)) != this->getCardinality(), std::invalid_argument,
245 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoords) mismatch in number of dof and 0th dimension of dofCoords array");
246 // Verify 1st dimension of output array.
247 INTREPID2_TEST_FOR_EXCEPTION( dofCoords.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
248 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoords) incorrect reference cell (1st) dimension in dofCoords array");
249#endif
250 Kokkos::deep_copy(dofCoords, this->dofCoords_);
251 }
252
253 virtual
254 void
255 getDofCoeffs( ScalarViewType dofCoeffs ) const override {
256#ifdef HAVE_INTREPID2_DEBUG
257 // Verify rank of output array.
258 INTREPID2_TEST_FOR_EXCEPTION( rank(dofCoeffs) != 2, std::invalid_argument,
259 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoeffs) rank = 2 required for dofCoeffs array");
260 // Verify 0th dimension of output array.
261 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoeffs.extent(0)) != this->getCardinality(), std::invalid_argument,
262 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoeffs) mismatch in number of dof and 0th dimension of dofCoeffs array");
263 // Verify 1st dimension of output array.
264 INTREPID2_TEST_FOR_EXCEPTION( dofCoeffs.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
265 ">>> ERROR: (Intrepid2::Basis_HCURL_TET_In_FEM::getDofCoeffs) incorrect reference cell (1st) dimension in dofCoeffs array");
266#endif
267 Kokkos::deep_copy(dofCoeffs, this->dofCoeffs_);
268 }
269
270 void
271 getExpansionCoeffs( ScalarViewType coeffs ) const {
272 // has to be same rank and dimensions
273 Kokkos::deep_copy(coeffs, this->coeffs_);
274 }
275
276 virtual
277 const char*
278 getName() const override {
279 return "Intrepid2_HCURL_TET_In_FEM";
280 }
281
282 virtual
283 bool
284 requireOrientation() const override {
285 return true;
286 }
287
298 getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override{
299 if(subCellDim == 1) {
300 return Teuchos::rcp(new
302 (this->basisDegree_-1, pointType_));
303 } else if(subCellDim == 2) {
304 return Teuchos::rcp(new
306 (this->basisDegree_, pointType_));
307 }
308 INTREPID2_TEST_FOR_EXCEPTION(true,std::invalid_argument,"Input parameters out of bounds");
309 }
310
315
316 private:
317
320 Kokkos::DynRankView<scalarType,DeviceType> coeffs_;
321
323 EPointType pointType_;
324
325};
326
327}// namespace Intrepid2
328
330
331#endif
Header file for the abstract base class Intrepid2::Basis.
KOKKOS_INLINE_FUNCTION ordinal_type getDkCardinality(const EOperator operatorType, const ordinal_type spaceDim)
Returns multiplicities of dx, dy, and dz based on the enumeration of the partial derivative,...
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,...
KOKKOS_INLINE_FUNCTION std::enable_if< std::is_pointer_v< CtorProp > &&!std::is_convertible_v< CtorProp, constchar * >, OutViewType >::type createMatchingUnmanagedView(const InViewType &view, const CtorProp &data, const Dims... dims)
Creates an unmanaged view that matches the value_type of the provided view The type of the output vie...
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 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.
Basis_HCURL_TET_In_FEM(const ordinal_type order, const EPointType pointType=POINTTYPE_EQUISPACED)
Constructor.
virtual bool requireOrientation() const override
True if orientation is required.
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...
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,...
Kokkos::DynRankView< PointValueType, Kokkos::LayoutStride, DeviceType > PointViewType
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
Kokkos::DynRankView< OutputValueType, Kokkos::LayoutStride, DeviceType > OutputViewType
Kokkos::View< ordinal_type ***, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray3DHost
Kokkos::DynRankView< scalarType, Kokkos::LayoutStride, DeviceType > ScalarViewType
Kokkos::DynRankView< scalarType, DeviceType > dofCoords_
Kokkos::DynRankView< scalarType, DeviceType > dofCoeffs_
Kokkos::View< ordinal_type **, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray2DHost
ScalarTraits< pointValueType >::scalar_type scalarType
Scalar type for point values.
shards::CellTopology getBaseCellTopology() const
Kokkos::View< ordinal_type *, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray1DHost
See Intrepid2::Basis_HCURL_TET_In_FEM.
static constexpr ordinal_type MaxNumPtsPerBasisEval
The maximum number of points to eval in serial mode.