Intrepid2
Intrepid2_HGRAD_TRI_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_TRI_CN_FEM_HPP__
17#define __INTREPID2_HGRAD_TRI_CN_FEM_HPP__
18
19#include "Intrepid2_Basis.hpp"
22
24#include "Teuchos_LAPACK.hpp"
25
26namespace Intrepid2 {
27
48
49 namespace Impl {
50
55
56 public:
57 typedef struct Triangle<3> cell_topology_type;
63 template<EOperator OpType>
64 struct Serial {
65 template<typename OutputValueViewType,
66 typename InputPointViewType,
67 typename WorkViewType,
68 typename VinvViewType>
69 KOKKOS_INLINE_FUNCTION
70 static void
71 getValues( OutputValueViewType outputValues,
72 const InputPointViewType inputPoints,
73 WorkViewType work,
74 const VinvViewType vinv,
75 const ordinal_type order);
76 };
77
78 template<typename DeviceType, ordinal_type numPtsPerEval,
79 typename OutputValueValueType, class ...OutputValueProperties,
80 typename InputPointValueType, class ...InputPointProperties,
81 typename VinvValueType, class ...VinvProperties>
82 static void
83 getValues( const typename DeviceType::execution_space& space,
84 Kokkos::DynRankView<OutputValueValueType,OutputValueProperties...> outputValues,
85 const Kokkos::DynRankView<InputPointValueType, InputPointProperties...> inputPoints,
86 const Kokkos::DynRankView<VinvValueType, VinvProperties...> vinv,
87 const ordinal_type order,
88 const EOperator operatorType);
89
93 template<typename OutputValueViewType,
94 typename InputPointViewType,
95 typename VinvViewType,
96 typename WorkViewType,
97 EOperator OpType,
98 ordinal_type numPtsEval>
99 struct Functor {
100 OutputValueViewType _outputValues;
101 const InputPointViewType _inputPoints;
102 const VinvViewType _vinv;
103 WorkViewType _work;
104 const ordinal_type _order;
105
106 KOKKOS_INLINE_FUNCTION
107 Functor( OutputValueViewType outputValues_,
108 InputPointViewType inputPoints_,
109 VinvViewType vinv_,
110 WorkViewType work_,
111 ordinal_type order_)
112 : _outputValues(outputValues_), _inputPoints(inputPoints_),
113 _vinv(vinv_), _work(work_), _order(order_) {}
114
115 KOKKOS_INLINE_FUNCTION
116 void operator()(const size_type iter) const {
117 const auto ptBegin = Util<ordinal_type>::min(iter*numPtsEval, _inputPoints.extent(0));
118 const auto ptEnd = Util<ordinal_type>::min(ptBegin+numPtsEval, _inputPoints.extent(0));
119
120 const auto ptRange = Kokkos::pair<ordinal_type,ordinal_type>(ptBegin, ptEnd);
121 const auto input = Kokkos::subview( _inputPoints, ptRange, Kokkos::ALL() );
122
123 typename WorkViewType::pointer_type ptr = _work.data() + _work.extent(0)*ptBegin*get_dimension_scalar(_work);
124
125 WorkViewType work = createMatchingUnmanagedView<WorkViewType>(_work, ptr, (ptEnd-ptBegin)*_work.extent(0));
126
127 switch (OpType) {
128 case OPERATOR_VALUE : {
129 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange );
130 Serial<OpType>::getValues( output, input, work, _vinv, _order );
131 break;
132 }
133 case OPERATOR_CURL:
134 case OPERATOR_D1:
135 case OPERATOR_D2: {
136 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange, Kokkos::ALL() );
137 Serial<OpType>::getValues( output, input, work, _vinv, _order );
138 break;
139 }
140 default: {
141 INTREPID2_TEST_FOR_ABORT( true,
142 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_Cn_FEM::Functor) operator is not supported");
143
144 }
145 }
146 }
147 };
148 };
149 }
150
151 template<typename DeviceType = void,
152 typename outputValueType = double,
153 typename pointValueType = double>
155 : public Basis<DeviceType,outputValueType,pointValueType> {
156 public:
157 using BasisBase = Basis<DeviceType, outputValueType, pointValueType>;
159 using typename BasisBase::ExecutionSpace;
163
164 using typename BasisBase::OutputViewType;
165 using typename BasisBase::PointViewType;
166 using typename BasisBase::ScalarViewType;
167
168 using typename BasisBase::scalarType;
169
170 private:
171
174 Kokkos::DynRankView<scalarType,DeviceType> vinv_;
175
177 EPointType pointType_;
178
179 public:
182 Basis_HGRAD_TRI_Cn_FEM(const ordinal_type order,
183 const EPointType pointType = POINTTYPE_EQUISPACED);
184
186
187 virtual
188 void
189 getValues( const ExecutionSpace& space,
190 OutputViewType outputValues,
191 const PointViewType inputPoints,
192 const EOperator operatorType = OPERATOR_VALUE) const override {
193#ifdef HAVE_INTREPID2_DEBUG
195 inputPoints,
196 operatorType,
197 this->getBaseCellTopology(),
198 this->getCardinality() );
199#endif
200 constexpr ordinal_type numPtsPerEval = Parameters::MaxNumPtsPerBasisEval;
201 Impl::Basis_HGRAD_TRI_Cn_FEM::
202 getValues<DeviceType,numPtsPerEval>(space,
203 outputValues,
204 inputPoints,
205 this->vinv_,
206 this->basisDegree_,
207 operatorType);
208 }
209
210 virtual void
211 getScratchSpaceSize( ordinal_type& perTeamSpaceSize,
212 ordinal_type& perThreadSpaceSize,
213 const PointViewType inputPoints,
214 const EOperator operatorType = OPERATOR_VALUE) const override;
215
216 KOKKOS_INLINE_FUNCTION
217 virtual void
218 getValues(
219 OutputViewType outputValues,
220 const PointViewType inputPoints,
221 const EOperator operatorType,
222 const typename Kokkos::TeamPolicy<typename DeviceType::execution_space>::member_type& team_member,
223 const typename DeviceType::execution_space::scratch_memory_space & scratchStorage,
224 const ordinal_type subcellDim = -1,
225 const ordinal_type subcellOrdinal = -1) const override;
226
227
228
229 virtual
230 void
231 getDofCoords( ScalarViewType dofCoords ) const override {
232#ifdef HAVE_INTREPID2_DEBUG
233 // Verify rank of output array.
234 INTREPID2_TEST_FOR_EXCEPTION( rank(dofCoords) != 2, std::invalid_argument,
235 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_Cn_FEM::getDofCoords) rank = 2 required for dofCoords array");
236 // Verify 0th dimension of output array.
237 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoords.extent(0)) != this->getCardinality(), std::invalid_argument,
238 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_Cn_FEM::getDofCoords) mismatch in number of dof and 0th dimension of dofCoords array");
239 // Verify 1st dimension of output array.
240 INTREPID2_TEST_FOR_EXCEPTION( dofCoords.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
241 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_Cn_FEM::getDofCoords) incorrect reference cell (1st) dimension in dofCoords array");
242#endif
243 Kokkos::deep_copy(dofCoords, this->dofCoords_);
244 }
245
246 virtual
247 void
248 getDofCoeffs( ScalarViewType dofCoeffs ) const override {
249#ifdef HAVE_INTREPID2_DEBUG
250 // Verify rank of output array.
251 INTREPID2_TEST_FOR_EXCEPTION( rank(dofCoeffs) != 1, std::invalid_argument,
252 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_Cn_FEM::getdofCoeffs) rank = 1 required for dofCoeffs array");
253 // Verify 0th dimension of output array.
254 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoeffs.extent(0)) != this->getCardinality(), std::invalid_argument,
255 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_Cn_FEM::getdofCoeffs) mismatch in number of dof and 0th dimension of dofCoeffs array");
256#endif
257 Kokkos::deep_copy(dofCoeffs, 1.0);
258 }
259
260
261 virtual
262 const char*
263 getName() const override {
264 return "Intrepid2_HGRAD_TRI_Cn_FEM";
265 }
266
267 virtual
268 bool
269 requireOrientation() const override {
270 return (this->basisDegree_ > 2);
271 }
272
273 void
274 getVandermondeInverse( ScalarViewType vinv ) const {
275 // has to be same rank and dimensions
276 Kokkos::deep_copy(vinv, this->vinv_);
277 }
278
279 Kokkos::DynRankView<typename ScalarViewType::const_value_type,DeviceType>
280 getVandermondeInverse() const {
281 return vinv_;
282 }
283
284 ordinal_type
285 getWorkSizePerPoint(const EOperator operatorType) const {
286 auto cardinality = getPnCardinality<2>(this->basisDegree_);
287 switch (operatorType) {
288 case OPERATOR_GRAD:
289 case OPERATOR_CURL:
290 case OPERATOR_D1:
291 return 5*cardinality;
292 default:
293 return getDkCardinality(operatorType, 2)*cardinality;
294 }
295 }
296
305 BasisPtr<DeviceType,outputValueType,pointValueType>
306 getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override{
307 if(subCellDim == 1) {
308 return Teuchos::rcp(new
310 (this->basisDegree_, pointType_));
311 }
312 INTREPID2_TEST_FOR_EXCEPTION(true,std::invalid_argument,"Input parameters out of bounds");
313 }
314
319 };
320
321}// namespace Intrepid2
322
324
325#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....
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.
Header file for the Intrepid2::Basis_HGRAD_LINE_Cn_FEM class.
Header file for the Intrepid2::Basis_HGRAD_TRI_Cn_FEM_ORTH class.
Definition file for FEM basis functions of degree n for H(grad) functions on TRI cells.
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 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< 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_TRI_Cn_FEM(const ordinal_type order, const EPointType pointType=POINTTYPE_EQUISPACED)
Constructor.
BasisPtr< DeviceType, outputValueType, pointValueType > getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override
returns the basis associated to a subCell.
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 bool requireOrientation() const override
True if orientation is required.
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
Team-level evaluation of basis functions on a reference cell.
Kokkos::DynRankView< OutputValueType, Kokkos::LayoutStride, DeviceType > OutputViewType
Kokkos::View< ordinal_type ***, typename ExecutionSpace::array_layout, Kokkos::HostSpace > OrdinalTypeArray3DHost
ordinal_type basisDegree_
Degree of the largest complete polynomial space that can be represented by the basis.
Kokkos::DynRankView< scalarType, Kokkos::LayoutStride, DeviceType > ScalarViewType
Kokkos::DynRankView< scalarType, DeviceType > dofCoords_
Coordinates of degrees-of-freedom for basis functions defined in physical space.
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_TRI_Cn_FEM.
static constexpr ordinal_type MaxNumPtsPerBasisEval
The maximum number of points to eval in serial mode.
See Intrepid2::Basis_HGRAD_TRI_Cn_FEM work is a rank 1 view having the same value_type of inputPoints...