Intrepid2
Intrepid2_HDIV_QUAD_In_FEM.hpp
Go to the documentation of this file.
1// @HEADER
2// ************************************************************************
3//
4// Intrepid2 Package
5// Copyright (2007) Sandia Corporation
6//
7// Under terms of Contract DE-AC04-94AL85000, there is a non-exclusive
8// license for use of this work by or on behalf of the U.S. Government.
9//
10// Redistribution and use in source and binary forms, with or without
11// modification, are permitted provided that the following conditions are
12// met:
13//
14// 1. Redistributions of source code must retain the above copyright
15// notice, this list of conditions and the following disclaimer.
16//
17// 2. Redistributions in binary form must reproduce the above copyright
18// notice, this list of conditions and the following disclaimer in the
19// documentation and/or other materials provided with the distribution.
20//
21// 3. Neither the name of the Corporation nor the names of the
22// contributors may be used to endorse or promote products derived from
23// this software without specific prior written permission.
24//
25// THIS SOFTWARE IS PROVIDED BY SANDIA CORPORATION "AS IS" AND ANY
26// EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
27// IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
28// PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL SANDIA CORPORATION OR THE
29// CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
30// EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
31// PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
32// PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF
33// LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING
34// NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE OF THIS
35// SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
36//
37// Questions? Contact Kyungjoo Kim (kyukim@sandia.gov), or
38// Mauro Perego (mperego@sandia.gov)
39//
40// ************************************************************************
41// @HEADER
42
49#ifndef __INTREPID2_HDIV_QUAD_IN_FEM_HPP__
50#define __INTREPID2_HDIV_QUAD_IN_FEM_HPP__
51
52#include "Intrepid2_Basis.hpp"
54
55namespace Intrepid2 {
56
57 namespace Impl {
58
63 public:
64 typedef struct Quadrilateral<4> cell_topology_type;
68 template<EOperator opType>
69 struct Serial {
70 template<typename outputValueViewType,
71 typename inputPointViewType,
72 typename workViewType,
73 typename vinvViewType>
74 KOKKOS_INLINE_FUNCTION
75 static void
76 getValues( outputValueViewType outputValues,
77 const inputPointViewType inputPoints,
78 workViewType work,
79 const vinvViewType vinvLine,
80 const vinvViewType vinvBubble );
81
82 KOKKOS_INLINE_FUNCTION
83 static ordinal_type
84 getWorkSizePerPoint(ordinal_type order) {
85 return 2*getPnCardinality<1>(order)+getPnCardinality<1>(order-1);
86 }
87 };
88
89 template<typename DeviceType, ordinal_type numPtsPerEval,
90 typename outputValueValueType, class ...outputValueProperties,
91 typename inputPointValueType, class ...inputPointProperties,
92 typename vinvValueType, class ...vinvProperties>
93 static void
94 getValues( Kokkos::DynRankView<outputValueValueType,outputValueProperties...> outputValues,
95 const Kokkos::DynRankView<inputPointValueType, inputPointProperties...> inputPoints,
96 const Kokkos::DynRankView<vinvValueType, vinvProperties...> vinvLine,
97 const Kokkos::DynRankView<vinvValueType, vinvProperties...> vinvBubble,
98 const EOperator operatorType );
99
103 template<typename outputValueViewType,
104 typename inputPointViewType,
105 typename vinvViewType,
106 typename workViewType,
107 EOperator opType,
108 ordinal_type numPtsEval>
109 struct Functor {
110 outputValueViewType _outputValues;
111 const inputPointViewType _inputPoints;
112 const vinvViewType _vinvLine;
113 const vinvViewType _vinvBubble;
114 workViewType _work;
115
116 KOKKOS_INLINE_FUNCTION
117 Functor( outputValueViewType outputValues_,
118 inputPointViewType inputPoints_,
119 vinvViewType vinvLine_,
120 vinvViewType vinvBubble_,
121 workViewType work_)
122 : _outputValues(outputValues_), _inputPoints(inputPoints_),
123 _vinvLine(vinvLine_), _vinvBubble(vinvBubble_), _work(work_) {}
124
125 KOKKOS_INLINE_FUNCTION
126 void operator()(const size_type iter) const {
127 const auto ptBegin = Util<ordinal_type>::min(iter*numPtsEval, _inputPoints.extent(0));
128 const auto ptEnd = Util<ordinal_type>::min(ptBegin+numPtsEval, _inputPoints.extent(0));
129
130 const auto ptRange = Kokkos::pair<ordinal_type,ordinal_type>(ptBegin, ptEnd);
131 const auto input = Kokkos::subview( _inputPoints, ptRange, Kokkos::ALL() );
132
133 typename workViewType::pointer_type ptr = _work.data() + _work.extent(0)*ptBegin*get_dimension_scalar(_work);
134
135 auto vcprop = Kokkos::common_view_alloc_prop(_work);
136 workViewType work(Kokkos::view_wrap(ptr,vcprop), (ptEnd-ptBegin)*_work.extent(0));
137
138 switch (opType) {
139 case OPERATOR_VALUE : {
140 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange, Kokkos::ALL() );
141 Serial<opType>::getValues( output, input, work, _vinvLine, _vinvBubble );
142 break;
143 }
144 case OPERATOR_DIV : {
145 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), ptRange );
146 Serial<opType>::getValues( output, input, work, _vinvLine, _vinvBubble );
147 break;
148 }
149 default: {
150 INTREPID2_TEST_FOR_ABORT( true,
151 ">>> ERROR: (Intrepid2::Basis_HDIV_QUAD_In_FEM::Functor) operator is not supported");
152
153 }
154 }
155 }
156 };
157 };
158 }
159
164 template<typename DeviceType = void,
165 typename outputValueType = double,
166 typename pointValueType = double>
168 : public Basis<DeviceType,outputValueType,pointValueType> {
169 public:
173
176 Basis_HDIV_QUAD_In_FEM(const ordinal_type order,
177 const EPointType pointType = POINTTYPE_EQUISPACED);
178
182
183 using Basis<DeviceType,outputValueType,pointValueType>::getValues;
184
185 virtual
186 void
187 getValues( OutputViewType outputValues,
188 const PointViewType inputPoints,
189 const EOperator operatorType = OPERATOR_VALUE ) const override {
190#ifdef HAVE_INTREPID2_DEBUG
192 inputPoints,
193 operatorType,
194 this->getBaseCellTopology(),
195 this->getCardinality() );
196#endif
197 constexpr ordinal_type numPtsPerEval = Parameters::MaxNumPtsPerBasisEval;
198 Impl::Basis_HDIV_QUAD_In_FEM::
199 getValues<DeviceType,numPtsPerEval>( outputValues,
200 inputPoints,
201 this->vinvLine_,
202 this->vinvBubble_,
203 operatorType );
204 }
205 virtual
206 void
207 getDofCoords( ScalarViewType dofCoords ) const override {
208#ifdef HAVE_INTREPID2_DEBUG
209 // Verify rank of output array.
210 INTREPID2_TEST_FOR_EXCEPTION( dofCoords.rank() != 2, std::invalid_argument,
211 ">>> ERROR: (Intrepid2::Basis_HDIV_QUAD_In_FEM::getDofCoords) rank = 2 required for dofCoords array");
212 // Verify 0th dimension of output array.
213 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoords.extent(0)) != this->getCardinality(), std::invalid_argument,
214 ">>> ERROR: (Intrepid2::Basis_HDIV_QUAD_In_FEM::getDofCoords) mismatch in number of dof and 0th dimension of dofCoords array");
215 // Verify 1st dimension of output array.
216 INTREPID2_TEST_FOR_EXCEPTION( dofCoords.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
217 ">>> ERROR: (Intrepid2::Basis_HDIV_QUAD_In_FEM::getDofCoords) incorrect reference cell (1st) dimension in dofCoords array");
218#endif
219 Kokkos::deep_copy(dofCoords, this->dofCoords_);
220 }
221
222 virtual
223 void
224 getDofCoeffs( ScalarViewType dofCoeffs ) const override {
225#ifdef HAVE_INTREPID2_DEBUG
226 // Verify rank of output array.
227 INTREPID2_TEST_FOR_EXCEPTION( dofCoeffs.rank() != 2, std::invalid_argument,
228 ">>> ERROR: (Intrepid2::Basis_HDIV_QUAD_In_FEM::getDofCoeffs) rank = 2 required for dofCoeffs array");
229 // Verify 0th dimension of output array.
230 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoeffs.extent(0)) != this->getCardinality(), std::invalid_argument,
231 ">>> ERROR: (Intrepid2::Basis_HDIV_QUAD_In_FEM::getDofCoeffs) mismatch in number of dof and 0th dimension of dofCoeffs array");
232 // Verify 1st dimension of output array.
233 INTREPID2_TEST_FOR_EXCEPTION( dofCoeffs.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
234 ">>> ERROR: (Intrepid2::Basis_HDIV_QUAD_In_FEM::getDofCoeffs) incorrect reference cell (1st) dimension in dofCoeffs array");
235#endif
236 Kokkos::deep_copy(dofCoeffs, this->dofCoeffs_);
237 }
238
239 virtual
240 const char*
241 getName() const override {
242 return "Intrepid2_HDIV_QUAD_In_FEM";
243 }
244
245 virtual
246 bool
247 requireOrientation() const override {
248 return true;
249 }
250
261 getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override{
262 if(subCellDim == 1)
263 return Teuchos::rcp( new
265 ( this->basisDegree_ - 1, POINTTYPE_GAUSS ) );
266
267 INTREPID2_TEST_FOR_EXCEPTION(true,std::invalid_argument,"Input parameters out of bounds");
268 }
269
271 getHostBasis() const override{
273 }
274 private:
275
277 Kokkos::DynRankView<typename ScalarViewType::value_type,DeviceType> vinvLine_, vinvBubble_;
278 EPointType pointType_;
279 };
280
281}// namespace Intrepid2
282
284
285#endif
Header file for the abstract base class Intrepid2::Basis.
Teuchos::RCP< Basis< DeviceType, OutputType, PointType > > BasisPtr
Basis Pointer.
void getValues_HDIV_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 HDIV-conforming FEM basis....
Definition file for FEM basis functions of degree n for H(div) functions on QUAD cells.
Header file for the Intrepid2::Basis_HGRAD_LINE_Cn_FEM class.
Implementation of the default H(div)-compatible FEM basis on Quadrilateral 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...
virtual void getValues(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.
Basis_HDIV_QUAD_In_FEM(const ordinal_type order, const EPointType pointType=POINTTYPE_EQUISPACED)
Constructor.
virtual bool requireOrientation() const override
True if orientation is required.
Kokkos::DynRankView< typename ScalarViewType::value_type, DeviceType > vinvLine_
inverse of Generalized Vandermonde matrix (isotropic order)
BasisPtr< DeviceType, outputValueType, pointValueType > getSubCellRefBasis(const ordinal_type subCellDim, const ordinal_type subCellOrd) const override
returns the basis associated to a subCell.
virtual const char * getName() const override
Returns basis name.
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...
Implementation of the locally H(grad)-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.
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.
void DeviceType
(Kokkos) Device type on which Basis is templated. Does not necessarily return true for Kokkos::is_dev...
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.
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.
See Intrepid2::Basis_HDIV_QUAD_In_FEM.
static constexpr ordinal_type MaxNumPtsPerBasisEval
The maximum number of points to eval in serial mode.
small utility functions