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
15
16#ifndef __INTREPID2_HGRAD_TET_CN_FEM_HPP__
17#define __INTREPID2_HGRAD_TET_CN_FEM_HPP__
18
19#include "Intrepid2_Basis.hpp"
22
24#include "Teuchos_LAPACK.hpp"
25
26
27namespace Intrepid2 {
28
53
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 WorkViewType work = createMatchingUnmanagedView<WorkViewType>(_work, ptr, (ptEnd-ptBegin)*_work.extent(0));
128
129 switch (OpType) {
130 case OPERATOR_VALUE : {
131 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange );
132 Serial<OpType>::getValues( output, input, work, _vinv, _order );
133 break;
134 }
135 case OPERATOR_GRAD :
136 case OPERATOR_D1 :
137 case OPERATOR_D2 :
138 //case OPERATOR_D3 :
139 {
140 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange, Kokkos::ALL() );
141 Serial<OpType>::getValues( output, input, work, _vinv, _order );
142 break;
143 }
144 default: {
145 INTREPID2_TEST_FOR_ABORT( true,
146 ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::Functor) operator is not supported");
147
148 }
149 }
150 }
151 };
152 };
153 }
154
155 template<typename DeviceType = void,
156 typename outputValueType = double,
157 typename pointValueType = double>
159 : public Basis<DeviceType,outputValueType,pointValueType> {
160 public:
161 using BasisBase = Basis<DeviceType, outputValueType, pointValueType>;
162 using typename BasisBase::ExecutionSpace;
166
167 using typename BasisBase::OutputViewType;
168 using typename BasisBase::PointViewType;
169 using typename BasisBase::ScalarViewType;
170
171 using typename BasisBase::scalarType;
172
173 private:
174
177 Kokkos::DynRankView<scalarType,DeviceType> vinv_;
178
180 EPointType pointType_;
181
182 public:
183
186 Basis_HGRAD_TET_Cn_FEM(const ordinal_type order,
187 const EPointType pointType = POINTTYPE_EQUISPACED);
188
190
191 virtual
192 void
193 getValues(const ExecutionSpace& space,
194 OutputViewType outputValues,
195 const PointViewType inputPoints,
196 const EOperator operatorType = OPERATOR_VALUE) const override {
197#ifdef HAVE_INTREPID2_DEBUG
199 inputPoints,
200 operatorType,
201 this->getBaseCellTopology(),
202 this->getCardinality() );
203#endif
204 constexpr ordinal_type numPtsPerEval = Parameters::MaxNumPtsPerBasisEval;
205 Impl::Basis_HGRAD_TET_Cn_FEM::
206 getValues<DeviceType,numPtsPerEval>(space,
207 outputValues,
208 inputPoints,
209 this->vinv_,
210 this->basisDegree_,
211 operatorType);
212 }
213
214 virtual void
215 getScratchSpaceSize( ordinal_type& perTeamSpaceSize,
216 ordinal_type& perThreadSpaceSize,
217 const PointViewType inputPoints,
218 const EOperator operatorType = OPERATOR_VALUE) const override;
219
220 KOKKOS_INLINE_FUNCTION
221 virtual void
222 getValues(
223 OutputViewType outputValues,
224 const PointViewType inputPoints,
225 const EOperator operatorType,
226 const typename Kokkos::TeamPolicy<typename DeviceType::execution_space>::member_type& team_member,
227 const typename DeviceType::execution_space::scratch_memory_space & scratchStorage,
228 const ordinal_type subcellDim = -1,
229 const ordinal_type subcellOrdinal = -1) const override;
230
231
232
233 virtual
234 void
235 getDofCoords( ScalarViewType dofCoords ) const override {
236#ifdef HAVE_INTREPID2_DEBUG
237 // Verify rank of output array.
238 INTREPID2_TEST_FOR_EXCEPTION( rank(dofCoords) != 2, std::invalid_argument,
239 ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::getDofCoords) rank = 2 required for dofCoords array");
240 // Verify 0th dimension of output array.
241 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoords.extent(0)) != this->getCardinality(), std::invalid_argument,
242 ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::getDofCoords) mismatch in number of dof and 0th dimension of dofCoords array");
243 // Verify 1st dimension of output array.
244 INTREPID2_TEST_FOR_EXCEPTION( dofCoords.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
245 ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::getDofCoords) incorrect reference cell (1st) dimension in dofCoords array");
246#endif
247 Kokkos::deep_copy(dofCoords, this->dofCoords_);
248 }
249
250 virtual
251 void
252 getDofCoeffs( ScalarViewType dofCoeffs ) const override {
253#ifdef HAVE_INTREPID2_DEBUG
254 // Verify rank of output array.
255 INTREPID2_TEST_FOR_EXCEPTION( rank(dofCoeffs) != 1, std::invalid_argument,
256 ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::getdofCoeffs) rank = 1 required for dofCoeffs array");
257 // Verify 0th dimension of output array.
258 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoeffs.extent(0)) != this->getCardinality(), std::invalid_argument,
259 ">>> ERROR: (Intrepid2::Basis_HGRAD_TET_Cn_FEM::getdofCoeffs) mismatch in number of dof and 0th dimension of dofCoeffs array");
260#endif
261 Kokkos::deep_copy(dofCoeffs, 1.0);
262 }
263
264
265 void
266 getVandermondeInverse( ScalarViewType vinv ) const {
267 // has to be same rank and dimensions
268 Kokkos::deep_copy(vinv, this->vinv_);
269 }
270
271 virtual
272 const char*
273 getName() const override {
274 return "Intrepid2_HGRAD_TET_Cn_FEM";
275 }
276
277 virtual
278 bool
279 requireOrientation() const override {
280 return (this->basisDegree_ > 2);
281 }
282
283 Kokkos::DynRankView<typename ScalarViewType::const_value_type,DeviceType>
284
285 getVandermondeInverse() const {
286 return vinv_;
287 }
288
289 ordinal_type
290 getWorkSizePerPoint(const EOperator operatorType) const {
291 auto cardinality = getPnCardinality<3>(this->basisDegree_);
292 switch (operatorType) {
293 case OPERATOR_GRAD:
294 case OPERATOR_CURL:
295 case OPERATOR_D1:
296 return 7*cardinality;
297 default:
298 return getDkCardinality(operatorType, 3)*cardinality;
299 }
300 }
301
310 BasisPtr<DeviceType,outputValueType,pointValueType>
311 getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override{
312 if(subCellDim == 1) {
313 return Teuchos::rcp(new
315 (this->basisDegree_, pointType_));
316 } else if(subCellDim == 2) {
317 return Teuchos::rcp(new
319 (this->basisDegree_, pointType_));
320 }
321
322 INTREPID2_TEST_FOR_EXCEPTION(true,std::invalid_argument,"Input parameters out of bounds");
323 }
324
329 };
330
331}// namespace Intrepid2
332
334
335#endif
Header file for the abstract base class Intrepid2::Basis.
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....
Teuchos::RCP< Basis< DeviceType, OutputType, PointType > > BasisPtr
Basis Pointer.
Header file for the Intrepid2::Basis_HGRAD_TET_Cn_FEM_ORTH class.
Definition file for FEM basis functions of degree n for H(grad) functions on TET cells.
Header file for the Intrepid2::Basis_HGRAD_TRI_Cn_FEM 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...
Implementation of the locally H(grad)-compatible FEM basis of variable order on the [-1,...
virtual const char * getName() const override
Returns basis name.
virtual bool requireOrientation() const override
True if orientation is required.
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...
BasisPtr< DeviceType, outputValueType, pointValueType > getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override
returns the basis associated to a subCell.
virtual void getDofCoords(ScalarViewType dofCoords) const override
Returns spatial locations (coordinates) of degrees of freedom on the reference cell.
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...
Basis_HGRAD_TET_Cn_FEM(const ordinal_type order, const EPointType pointType=POINTTYPE_EQUISPACED)
Constructor.
Implementation of the default H(grad)-compatible Lagrange basis of arbitrary degree on Triangle cell.
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::View< ordinal_type **, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray2DHost
shards::CellTopology getBaseCellTopology() const
Kokkos::View< ordinal_type *, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray1DHost
See Intrepid2::Basis_HGRAD_TET_Cn_FEM.
static constexpr ordinal_type MaxNumPtsPerBasisEval
The maximum number of points to eval in serial mode.