Intrepid2
Intrepid2_HGRAD_TRI_C2_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_HGRAD_TRI_C2_FEM_HPP__
50#define __INTREPID2_HGRAD_TRI_C2_FEM_HPP__
51
52#include "Intrepid2_Basis.hpp"
53
54namespace Intrepid2 {
55
86 namespace Impl {
87
92 public:
93 typedef struct Triangle<6> cell_topology_type;
97 template<EOperator opType>
98 struct Serial {
99 template<typename OutputViewType,
100 typename inputViewType>
101 KOKKOS_INLINE_FUNCTION
102 static void
103 getValues( OutputViewType output,
104 const inputViewType input );
105
106 };
107
108 template<typename DeviceType,
109 typename outputValueValueType, class ...outputValueProperties,
110 typename inputPointValueType, class ...inputPointProperties>
111 static void
112 getValues( Kokkos::DynRankView<outputValueValueType,outputValueProperties...> outputValues,
113 const Kokkos::DynRankView<inputPointValueType, inputPointProperties...> inputPoints,
114 const EOperator operatorType);
115
119 template<typename outputValueViewType,
120 typename inputPointViewType,
121 EOperator opType>
122 struct Functor {
123 outputValueViewType _outputValues;
124 const inputPointViewType _inputPoints;
125
126 KOKKOS_INLINE_FUNCTION
127 Functor( outputValueViewType outputValues_,
128 inputPointViewType inputPoints_ )
129 : _outputValues(outputValues_), _inputPoints(inputPoints_) {}
130
131 KOKKOS_INLINE_FUNCTION
132 void operator()(const ordinal_type pt) const {
133 switch (opType) {
134 case OPERATOR_VALUE : {
135 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), pt );
136 const auto input = Kokkos::subview( _inputPoints, pt, Kokkos::ALL() );
137 Serial<opType>::getValues( output, input );
138 break;
139 }
140 case OPERATOR_GRAD :
141 case OPERATOR_CURL :
142 case OPERATOR_D1 :
143 case OPERATOR_D2 :
144 case OPERATOR_MAX : {
145 auto output = Kokkos::subview( _outputValues, Kokkos::ALL(), pt, Kokkos::ALL() );
146 const auto input = Kokkos::subview( _inputPoints, pt, Kokkos::ALL() );
147 Serial<opType>::getValues( output, input );
148 break;
149 }
150 default: {
151 INTREPID2_TEST_FOR_ABORT( opType != OPERATOR_VALUE &&
152 opType != OPERATOR_GRAD &&
153 opType != OPERATOR_CURL &&
154 opType != OPERATOR_D1 &&
155 opType != OPERATOR_D2 &&
156 opType != OPERATOR_MAX,
157 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::Serial::getValues) operator is not supported");
158 }
159 }
160 }
161 };
162 };
163 }
164
165 template<typename DeviceType = void,
166 typename outputValueType = double,
167 typename pointValueType = double>
168 class Basis_HGRAD_TRI_C2_FEM: public Basis<DeviceType,outputValueType,pointValueType> {
169 public:
173
177
181
182 using Basis<DeviceType,outputValueType,pointValueType>::getValues;
183
184 virtual
185 void
186 getValues( OutputViewType outputValues,
187 const PointViewType inputPoints,
188 const EOperator operatorType = OPERATOR_VALUE ) const override {
189#ifdef HAVE_INTREPID2_DEBUG
190 // Verify arguments
192 inputPoints,
193 operatorType,
194 this->getBaseCellTopology(),
195 this->getCardinality() );
196#endif
197 Impl::Basis_HGRAD_TRI_C2_FEM::
198 getValues<DeviceType>( outputValues,
199 inputPoints,
200 operatorType );
201 }
202
203 virtual
204 void
205 getDofCoords( ScalarViewType dofCoords ) const override {
206#ifdef HAVE_INTREPID2_DEBUG
207 // Verify rank of output array.
208 INTREPID2_TEST_FOR_EXCEPTION( dofCoords.rank() != 2, std::invalid_argument,
209 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::getDofCoords) rank = 2 required for dofCoords array");
210 // Verify 0th dimension of output array.
211 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoords.extent(0)) != this->getCardinality(), std::invalid_argument,
212 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::getDofCoords) mismatch in number of dof and 0th dimension of dofCoords array");
213 // Verify 1st dimension of output array.
214 INTREPID2_TEST_FOR_EXCEPTION( dofCoords.extent(1) != this->getBaseCellTopology().getDimension(), std::invalid_argument,
215 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::getDofCoords) incorrect reference cell (1st) dimension in dofCoords array");
216#endif
217 Kokkos::deep_copy(dofCoords, this->dofCoords_);
218 }
219
220 virtual
221 void
222 getDofCoeffs( ScalarViewType dofCoeffs ) const override {
223#ifdef HAVE_INTREPID2_DEBUG
224 // Verify rank of output array.
225 INTREPID2_TEST_FOR_EXCEPTION( dofCoeffs.rank() != 1, std::invalid_argument,
226 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::getdofCoeffs) rank = 1 required for dofCoeffs array");
227 // Verify 0th dimension of output array.
228 INTREPID2_TEST_FOR_EXCEPTION( static_cast<ordinal_type>(dofCoeffs.extent(0)) != this->getCardinality(), std::invalid_argument,
229 ">>> ERROR: (Intrepid2::Basis_HGRAD_TRI_C2_FEM::getdofCoeffs) mismatch in number of dof and 0th dimension of dofCoeffs array");
230#endif
231 Kokkos::deep_copy(dofCoeffs, 1.0);
232 }
233
234 virtual
235 const char*
236 getName() const override {
237 return "Intrepid2_HGRAD_TRI_C2_FEM";
238 }
239
241 getHostBasis() const override{
243 }
244 };
245
246}// namespace Intrepid2
247
249
250#endif
Header file for the abstract base class Intrepid2::Basis.
Teuchos::RCP< Basis< DeviceType, OutputType, PointType > > BasisPtr
Basis Pointer.
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....
Definition file for FEM basis functions of degree 2 for H(grad) functions on TRI cells.
Implementation of the default H(grad)-compatible FEM basis of degree 2 on Triangle 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...
virtual void getDofCoords(ScalarViewType dofCoords) const override
Returns spatial locations (coordinates) of degrees of freedom on the reference cell.
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(OutputViewType outputValues, const PointViewType inputPoints, const EOperator operatorType=OPERATOR_VALUE) const override
Evaluation of a FEM basis on a reference cell.
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 getCardinality() const
Returns cardinality of the basis.
Kokkos::DynRankView< scalarType, Kokkos::LayoutStride, DeviceType > ScalarViewType
View type for scalars.
Device 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::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_HGRAD_TRI_C2_FEM.