v0.14.0
Public Member Functions | Private Attributes | List of all members
MoFEM::OpSetHOContravariantPiolaTransform Struct Reference

Apply contravariant (Piola) transfer to Hdiv space for HO geometry. More...

#include <src/finite_elements/HODataOperators.hpp>

Inheritance diagram for MoFEM::OpSetHOContravariantPiolaTransform:
[legend]
Collaboration diagram for MoFEM::OpSetHOContravariantPiolaTransform:
[legend]

Public Member Functions

 OpSetHOContravariantPiolaTransform (const FieldSpace space, boost::shared_ptr< VectorDouble > det_ptr, boost::shared_ptr< MatrixDouble > jac_ptr)
 
MoFEMErrorCode doWork (int side, EntityType type, EntitiesFieldData::EntData &data)
 Operator for linear form, usually to calculate values on right hand side. More...
 
- Public Member Functions inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
 UserDataOperator (const FieldSpace space, const char type=OPSPACE, const bool symm=true)
 
 UserDataOperator (const std::string field_name, const char type, const bool symm=true)
 
 UserDataOperator (const std::string row_field_name, const std::string col_field_name, const char type, const bool symm=true)
 
boost::shared_ptr< const NumeredEntFiniteElementgetNumeredEntFiniteElementPtr () const
 Return raw pointer to NumeredEntFiniteElement. More...
 
EntityHandle getFEEntityHandle () const
 Return finite element entity handle. More...
 
int getFEDim () const
 Get dimension of finite element. More...
 
EntityType getFEType () const
 Get dimension of finite element. More...
 
boost::weak_ptr< SideNumbergetSideNumberPtr (const int side_number, const EntityType type)
 Get the side number pointer. More...
 
EntityHandle getSideEntity (const int side_number, const EntityType type)
 Get the side entity. More...
 
int getNumberOfNodesOnElement () const
 Get the number of nodes on finite element. More...
 
MoFEMErrorCode getProblemRowIndices (const std::string filed_name, const EntityType type, const int side, VectorInt &indices) const
 Get row indices. More...
 
MoFEMErrorCode getProblemColIndices (const std::string filed_name, const EntityType type, const int side, VectorInt &indices) const
 Get col indices. More...
 
const FEMethodgetFEMethod () const
 Return raw pointer to Finite Element Method object. More...
 
int getOpType () const
 Get operator types. More...
 
void setOpType (const OpType type)
 Set operator type. More...
 
void addOpType (const OpType type)
 Add operator type. More...
 
int getNinTheLoop () const
 get number of finite element in the loop More...
 
int getLoopSize () const
 get size of elements in the loop More...
 
std::string getFEName () const
 Get name of the element. More...
 
ForcesAndSourcesCoregetPtrFE () const
 
ForcesAndSourcesCoregetSidePtrFE () const
 
ForcesAndSourcesCoregetRefinePtrFE () const
 
const PetscData::SwitchesgetDataCtx () const
 
const KspMethod::KSPContext getKSPCtx () const
 
const SnesMethod::SNESContext getSNESCtx () const
 
const TSMethod::TSContext getTSCtx () const
 
Vec getKSPf () const
 
Mat getKSPA () const
 
Mat getKSPB () const
 
Vec getSNESf () const
 
Vec getSNESx () const
 
Mat getSNESA () const
 
Mat getSNESB () const
 
Vec getTSu () const
 
Vec getTSu_t () const
 
Vec getTSu_tt () const
 
Vec getTSf () const
 
Mat getTSA () const
 
Mat getTSB () const
 
int getTSstep () const
 
double getTStime () const
 
double getTStimeStep () const
 
double getTSa () const
 
double getTSaa () const
 
MatrixDoublegetGaussPts ()
 matrix of integration (Gauss) points for Volume Element More...
 
auto getFTensor0IntegrationWeight ()
 Get integration weights. More...
 
MatrixDoublegetCoordsAtGaussPts ()
 Gauss points and weight, matrix (nb. of points x 3) More...
 
auto getFTensor1CoordsAtGaussPts ()
 Get coordinates at integration points assuming linear geometry. More...
 
double getMeasure () const
 get measure of element More...
 
doublegetMeasure ()
 get measure of element More...
 
MoFEMErrorCode loopSide (const string &fe_name, ForcesAndSourcesCore *side_fe, const size_t dim, const EntityHandle ent_for_side=0, const int verb=QUIET, const LogManager::SeverityLevel sev=Sev::noisy, AdjCache *adj_cache=nullptr)
 User calls this function to loop over elements on the side of face. This function calls finite element with its operator to do calculations. More...
 
MoFEMErrorCode loopThis (const string &fe_name, ForcesAndSourcesCore *this_fe, const int verb=QUIET, const LogManager::SeverityLevel sev=Sev::noisy)
 User calls this function to loop over the same element using a different set of integration points. This function calls finite element with its operator to do calculations. More...
 
MoFEMErrorCode loopParent (const string &fe_name, ForcesAndSourcesCore *parent_fe, const int verb=QUIET, const LogManager::SeverityLevel sev=Sev::noisy)
 User calls this function to loop over parent elements. This function calls finite element with its operator to do calculations. More...
 
MoFEMErrorCode loopChildren (const string &fe_name, ForcesAndSourcesCore *child_fe, const int verb=QUIET, const LogManager::SeverityLevel sev=Sev::noisy)
 User calls this function to loop over parent elements. This function calls finite element with its operator to do calculations. More...
 
- Public Member Functions inherited from MoFEM::DataOperator
 DataOperator (const bool symm=true)
 
virtual ~DataOperator ()=default
 
virtual MoFEMErrorCode doWork (int row_side, int col_side, EntityType row_type, EntityType col_type, EntitiesFieldData::EntData &row_data, EntitiesFieldData::EntData &col_data)
 Operator for bi-linear form, usually to calculate values on left hand side. More...
 
virtual MoFEMErrorCode opLhs (EntitiesFieldData &row_data, EntitiesFieldData &col_data)
 
virtual MoFEMErrorCode opRhs (EntitiesFieldData &data, const bool error_if_no_base=false)
 
bool getSymm () const
 Get if operator uses symmetry of DOFs or not. More...
 
void setSymm ()
 set if operator is executed taking in account symmetry More...
 
void unSetSymm ()
 unset if operator is executed for non symmetric problem More...
 

Private Attributes

boost::shared_ptr< VectorDoubledetPtr
 
boost::shared_ptr< MatrixDoublejacPtr
 
MatrixDouble piolaN
 
MatrixDouble piolaDiffN
 

Additional Inherited Members

- Public Types inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
enum  OpType {
  OPROW = 1 << 0, OPCOL = 1 << 1, OPROWCOL = 1 << 2, OPSPACE = 1 << 3,
  OPLAST = 1 << 3
}
 Controls loop over entities on element. More...
 
using AdjCache = std::map< EntityHandle, std::vector< boost::weak_ptr< NumeredEntFiniteElement > >>
 
- Public Types inherited from MoFEM::DataOperator
using DoWorkLhsHookFunType = boost::function< MoFEMErrorCode(DataOperator *op_ptr, int row_side, int col_side, EntityType row_type, EntityType col_type, EntitiesFieldData::EntData &row_data, EntitiesFieldData::EntData &col_data)>
 
using DoWorkRhsHookFunType = boost::function< MoFEMErrorCode(DataOperator *op_ptr, int side, EntityType type, EntitiesFieldData::EntData &data)>
 
- Public Attributes inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
char opType
 
std::string rowFieldName
 
std::string colFieldName
 
FieldSpace sPace
 
- Public Attributes inherited from MoFEM::DataOperator
DoWorkLhsHookFunType doWorkLhsHook
 
DoWorkRhsHookFunType doWorkRhsHook
 
bool sYmm
 If true assume that matrix is symmetric structure. More...
 
std::array< bool, MBMAXTYPE > doEntities
 If true operator is executed for entity. More...
 
booldoVertices
 \deprectaed If false skip vertices More...
 
booldoEdges
 \deprectaed If false skip edges More...
 
booldoQuads
 \deprectaed More...
 
booldoTris
 \deprectaed More...
 
booldoTets
 \deprectaed More...
 
booldoPrisms
 \deprectaed More...
 
- Static Public Attributes inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
static const char *const OpTypeNames []
 
- Protected Member Functions inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
virtual MoFEMErrorCode setPtrFE (ForcesAndSourcesCore *ptr)
 
- Protected Attributes inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
ForcesAndSourcesCoreptrFE
 

Detailed Description

Apply contravariant (Piola) transfer to Hdiv space for HO geometry.

Examples
continuity_check_on_skeleton_3d.cpp, and hdiv_divergence_operator.cpp.

Definition at line 180 of file HODataOperators.hpp.

Constructor & Destructor Documentation

◆ OpSetHOContravariantPiolaTransform()

MoFEM::OpSetHOContravariantPiolaTransform::OpSetHOContravariantPiolaTransform ( const FieldSpace  space,
boost::shared_ptr< VectorDouble det_ptr,
boost::shared_ptr< MatrixDouble jac_ptr 
)
inline

Definition at line 183 of file HODataOperators.hpp.

187  jacPtr(jac_ptr) {
188  doVertices = false;
189  if (space == HDIV)
190  doEdges = false;
191  }

Member Function Documentation

◆ doWork()

MoFEMErrorCode MoFEM::OpSetHOContravariantPiolaTransform::doWork ( int  side,
EntityType  type,
EntitiesFieldData::EntData data 
)
virtual

Operator for linear form, usually to calculate values on right hand side.

Reimplemented from MoFEM::DataOperator.

Definition at line 229 of file HODataOperators.cpp.

230  {
232 
236 
237 #ifndef NDEBUG
238  if (!detPtr)
239  SETERRQ(PETSC_COMM_SELF, MOFEM_DATA_INCONSISTENCY,
240  "Pointer for detPtr not allocated");
241  if (!jacPtr)
242  SETERRQ(PETSC_COMM_SELF, MOFEM_DATA_INCONSISTENCY,
243  "Pointer for jacPtr not allocated");
244 #endif
245 
246  for (int b = AINSWORTH_LEGENDRE_BASE; b != LASTBASE; ++b) {
247 
248  FieldApproximationBase base = static_cast<FieldApproximationBase>(b);
249 
250  auto nb_gauss_pts = data.getNSharedPtr(base) ? data.getN(base).size1() : 0;
251  auto nb_base_functions =
252  data.getNSharedPtr(base) ? data.getN(base).size2() / 3 : 0;
253  auto nb_diff_base_functions =
254  data.getDiffNSharedPtr(base) ? data.getDiffN(base).size2() / 9 : 0;
255 
256 #ifndef NDEBUG
257  if (nb_diff_base_functions) {
258  if (nb_diff_base_functions != nb_base_functions)
259  SETERRQ2(PETSC_COMM_SELF, MOFEM_DATA_INCONSISTENCY,
260  "Wrong number base functions %d != %d", nb_diff_base_functions,
261  nb_base_functions);
262  if (data.getDiffN(base).size1() != nb_gauss_pts)
263  SETERRQ(PETSC_COMM_SELF, MOFEM_DATA_INCONSISTENCY,
264  "Wrong number integration points");
265  }
266 #endif
267 
268  if (nb_gauss_pts && nb_base_functions) {
269 
270  piolaN.resize(nb_gauss_pts, data.getN(base).size2(), false);
271 
272  auto t_n = data.getFTensor1N<3>(base);
273  double *t_transformed_n_ptr = &*piolaN.data().begin();
275  t_transformed_n_ptr, // HVEC0
276  &t_transformed_n_ptr[HVEC1], &t_transformed_n_ptr[HVEC2]);
277 
278  auto t_det = getFTensor0FromVec(*detPtr);
279  auto t_jac = getFTensor2FromMat<3, 3>(*jacPtr);
280 
281  for (unsigned int gg = 0; gg != nb_gauss_pts; ++gg) {
282  for (unsigned int bb = 0; bb != nb_base_functions; ++bb) {
283  const double a = 1. / t_det;
284  t_transformed_n(i) = a * (t_jac(i, k) * t_n(k));
285  ++t_n;
286  ++t_transformed_n;
287  }
288  ++t_det;
289  ++t_jac;
290  }
291 
292  data.getN(base).swap(piolaN);
293  }
294 
295  if (nb_gauss_pts && nb_diff_base_functions) {
296 
297  piolaDiffN.resize(nb_gauss_pts, data.getDiffN(base).size2(), false);
298 
299  auto t_diff_n = data.getFTensor2DiffN<3, 3>(base);
300  double *t_transformed_diff_n_ptr = &*piolaDiffN.data().begin();
302  t_transformed_diff_n(t_transformed_diff_n_ptr,
303  &t_transformed_diff_n_ptr[HVEC0_1],
304  &t_transformed_diff_n_ptr[HVEC0_2],
305  &t_transformed_diff_n_ptr[HVEC1_0],
306  &t_transformed_diff_n_ptr[HVEC1_1],
307  &t_transformed_diff_n_ptr[HVEC1_2],
308  &t_transformed_diff_n_ptr[HVEC2_0],
309  &t_transformed_diff_n_ptr[HVEC2_1],
310  &t_transformed_diff_n_ptr[HVEC2_2]);
311 
312  auto t_det = getFTensor0FromVec(*detPtr);
313  auto t_jac = getFTensor2FromMat<3, 3>(*jacPtr);
314 
315  for (unsigned int gg = 0; gg != nb_gauss_pts; ++gg) {
316  for (unsigned int bb = 0; bb != nb_diff_base_functions; ++bb) {
317  const double a = 1. / t_det;
318  t_transformed_diff_n(i, k) = a * (t_jac(i, j) * t_diff_n(j, k));
319  ++t_diff_n;
320  ++t_transformed_diff_n;
321  }
322  ++t_det;
323  ++t_jac;
324  }
325 
326  data.getDiffN(base).swap(piolaDiffN);
327  }
328  }
329 
331 }

Member Data Documentation

◆ detPtr

boost::shared_ptr<VectorDouble> MoFEM::OpSetHOContravariantPiolaTransform::detPtr
private

Definition at line 197 of file HODataOperators.hpp.

◆ jacPtr

boost::shared_ptr<MatrixDouble> MoFEM::OpSetHOContravariantPiolaTransform::jacPtr
private

Definition at line 198 of file HODataOperators.hpp.

◆ piolaDiffN

MatrixDouble MoFEM::OpSetHOContravariantPiolaTransform::piolaDiffN
private

Definition at line 201 of file HODataOperators.hpp.

◆ piolaN

MatrixDouble MoFEM::OpSetHOContravariantPiolaTransform::piolaN
private

Definition at line 200 of file HODataOperators.hpp.


The documentation for this struct was generated from the following files:
MoFEM::OpSetHOContravariantPiolaTransform::piolaDiffN
MatrixDouble piolaDiffN
Definition: HODataOperators.hpp:201
MoFEM::OpSetHOContravariantPiolaTransform::jacPtr
boost::shared_ptr< MatrixDouble > jacPtr
Definition: HODataOperators.hpp:198
LASTBASE
@ LASTBASE
Definition: definitions.h:69
FTensor::Tensor1
Definition: Tensor1_value.hpp:8
HVEC0_2
@ HVEC0_2
Definition: definitions.h:211
MoFEM::ForcesAndSourcesCore::UserDataOperator::OPSPACE
@ OPSPACE
operator do Work is execute on space data
Definition: ForcesAndSourcesCore.hpp:570
HVEC0_1
@ HVEC0_1
Definition: definitions.h:208
MoFEM::OpSetHOContravariantPiolaTransform::piolaN
MatrixDouble piolaN
Definition: HODataOperators.hpp:200
HVEC1_1
@ HVEC1_1
Definition: definitions.h:209
MoFEM::DataOperator::doVertices
bool & doVertices
\deprectaed If false skip vertices
Definition: DataOperators.hpp:90
HVEC1
@ HVEC1
Definition: definitions.h:199
FTensor::Tensor2
Definition: Tensor2_value.hpp:16
HVEC2_1
@ HVEC2_1
Definition: definitions.h:210
MoFEM::OpSetHOContravariantPiolaTransform::detPtr
boost::shared_ptr< VectorDouble > detPtr
Definition: HODataOperators.hpp:197
HVEC2_2
@ HVEC2_2
Definition: definitions.h:213
HVEC1_2
@ HVEC1_2
Definition: definitions.h:212
a
constexpr double a
Definition: approx_sphere.cpp:30
MoFEM::getFTensor0FromVec
static auto getFTensor0FromVec(ublas::vector< T, A > &data)
Get tensor rank 0 (scalar) form data vector.
Definition: Templates.hpp:135
MoFEM::ForcesAndSourcesCore::UserDataOperator
friend class UserDataOperator
Definition: ForcesAndSourcesCore.hpp:482
i
FTensor::Index< 'i', SPACE_DIM > i
Definition: hcurl_divergence_operator_2d.cpp:27
FTensor::Index< 'i', 3 >
MoFEM::DataOperator::doEdges
bool & doEdges
\deprectaed If false skip edges
Definition: DataOperators.hpp:91
j
FTensor::Index< 'j', 3 > j
Definition: matrix_function.cpp:19
AINSWORTH_LEGENDRE_BASE
@ AINSWORTH_LEGENDRE_BASE
Ainsworth Cole (Legendre) approx. base .
Definition: definitions.h:60
MOFEM_DATA_INCONSISTENCY
@ MOFEM_DATA_INCONSISTENCY
Definition: definitions.h:31
FieldApproximationBase
FieldApproximationBase
approximation base
Definition: definitions.h:58
HVEC2_0
@ HVEC2_0
Definition: definitions.h:207
HVEC2
@ HVEC2
Definition: definitions.h:199
k
FTensor::Index< 'k', 3 > k
Definition: matrix_function.cpp:20
MoFEMFunctionReturn
#define MoFEMFunctionReturn(a)
Last executable line of each PETSc function used for error handling. Replaces return()
Definition: definitions.h:429
HDIV
@ HDIV
field with continuous normal traction
Definition: definitions.h:87
MoFEMFunctionBegin
#define MoFEMFunctionBegin
First executable line of each MoFEM function, used for error handling. Final line of MoFEM functions ...
Definition: definitions.h:359
HVEC1_0
@ HVEC1_0
Definition: definitions.h:206