Calculate normal vectors at Gauss points of face elements. More...

#include "src/finite_elements/HODataOperators.hpp"

Inheritance diagram for MoFEM::OpGetHONormalsOnFace< FIELD_DIM >:

Collaboration diagram for MoFEM::OpGetHONormalsOnFace< FIELD_DIM >:

Public Types
using	OP = FaceElementForcesAndSourcesCore::UserDataOperator

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 Member Functions
	OpGetHONormalsOnFace (std::string field_name, bool add_field=false)
	Constructor for HO normal vectors calculation on faces.

	OpGetHONormalsOnFace (std::string field_name, boost::shared_ptr< MatrixDouble > tangent1_at_pts, boost::shared_ptr< MatrixDouble > tangent2_at_pts, boost::shared_ptr< MatrixDouble > normals_at_pts, bool add_field=false)

MoFEMErrorCode	doWork (int side, EntityType type, EntitiesFieldData::EntData &data)
	Operator for linear form, usually to calculate values on right hand side.

Public Member Functions inherited from MoFEM::FaceElementForcesAndSourcesCore::UserDataOperator
double	getArea ()
	get area of face

VectorDouble &	getNormal ()
	get triangle normal

VectorDouble &	getTangent1 ()
	get triangle tangent 1

VectorDouble &	getTangent2 ()
	get triangle tangent 2

auto	getFTensor1Normal ()
	get normal as tensor

auto	getFTensor1Tangent1 ()
	get tangentOne as tensor

auto	getFTensor1Tangent2 ()
	get tangentTwo as tensor

int	getNumNodes ()
	get element number of nodes

const EntityHandle *	getConn ()
	get element connectivity

VectorDouble &	getCoords ()
	get triangle coordinates

auto	getFTensor1Coords ()
	get get coords at gauss points

MatrixDouble &	getNormalsAtGaussPts ()
	if higher order geometry return normals at Gauss pts.

ublas::matrix_row< MatrixDouble >	getNormalsAtGaussPts (const int gg)
	if higher order geometry return normals at Gauss pts.

MatrixDouble &	getTangent1AtGaussPts ()
	if higher order geometry return tangent vector to triangle at Gauss pts.

MatrixDouble &	getTangent2AtGaussPts ()
	if higher order geometry return tangent vector to triangle at Gauss pts.

auto	getFTensor1NormalsAtGaussPts ()
	get normal at integration points

auto	getFTensor1Tangent1AtGaussPts ()
	get tangent 1 at integration points

auto	getFTensor1Tangent2AtGaussPts ()
	get tangent 2 at integration points

FaceElementForcesAndSourcesCore *	getFaceFE ()
	return pointer to Generic Triangle Finite Element object

MoFEMErrorCode	loopSideVolumes (const string fe_name, VolumeElementForcesAndSourcesCoreOnSide &fe_method)

Public Member Functions inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
	UserDataOperator (const FieldSpace space, const char type=OPSPACE, const bool symm=true)
	Constructor for operators working on finite element spaces.

	UserDataOperator (const std::string field_name, const char type, const bool symm=true)
	Constructor for operators working on a single field.

	UserDataOperator (const std::string row_field_name, const std::string col_field_name, const char type, const bool symm=true)
	Constructor for operators working on two fields (bilinear forms)

boost::shared_ptr< const NumeredEntFiniteElement >	getNumeredEntFiniteElementPtr () const
	Return raw pointer to NumeredEntFiniteElement.

EntityHandle	getFEEntityHandle () const
	Return finite element entity handle.

int	getFEDim () const
	Get dimension of finite element.

EntityType	getFEType () const
	Get dimension of finite element.

boost::weak_ptr< SideNumber >	getSideNumberPtr (const int side_number, const EntityType type)
	Get the side number pointer.

EntityHandle	getSideEntity (const int side_number, const EntityType type)
	Get the side entity.

int	getNumberOfNodesOnElement () const
	Get the number of nodes on finite element.

MoFEMErrorCode	getProblemRowIndices (const std::string filed_name, const EntityType type, const int side, VectorInt &indices) const
	Get row indices.

MoFEMErrorCode	getProblemColIndices (const std::string filed_name, const EntityType type, const int side, VectorInt &indices) const
	Get col indices.

const FEMethod *	getFEMethod () const
	Return raw pointer to Finite Element Method object.

int	getOpType () const
	Get operator types.

void	setOpType (const OpType type)
	Set operator type.

void	addOpType (const OpType type)
	Add operator type.

int	getNinTheLoop () const
	get number of finite element in the loop

int	getLoopSize () const
	get size of elements in the loop

std::string	getFEName () const
	Get name of the element.

ForcesAndSourcesCore *	getPtrFE () const

ForcesAndSourcesCore *	getSidePtrFE () const

ForcesAndSourcesCore *	getRefinePtrFE () const

const PetscData::Switches &	getDataCtx () 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

MatrixDouble &	getGaussPts ()
	matrix of integration (Gauss) points for Volume Element

auto	getFTensor0IntegrationWeight ()
	Get integration weights.

MatrixDouble &	getCoordsAtGaussPts ()
	Gauss points and weight, matrix (nb. of points x 3)

auto	getFTensor1CoordsAtGaussPts ()
	Get coordinates at integration points assuming linear geometry.

double	getMeasure () const
	get measure of element

double &	getMeasure ()
	get measure of element

MoFEM::Interface &	getMField ()

moab::Interface &	getMoab ()

virtual boost::weak_ptr< ForcesAndSourcesCore >	getSubPipelinePtr () const

MoFEMErrorCode	loopSide (const string &fe_name, ForcesAndSourcesCore side_fe, const size_t dim, const EntityHandle ent_for_side=0, boost::shared_ptr< Range > fe_range=nullptr, 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.

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.

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.

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.

MoFEMErrorCode	loopRange (const string &fe_name, ForcesAndSourcesCore *range_fe, boost::shared_ptr< Range > fe_range, const int verb=QUIET, const LogManager::SeverityLevel sev=Sev::noisy)
	Iterate over range of elements.

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.

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.

void	setSymm ()
	set if operator is executed taking in account symmetry

void	unSetSymm ()
	unset if operator is executed for non symmetric problem

Private Member Functions
MatrixDouble &	getTangent1AtGaussPts ()

MatrixDouble &	getTangent2AtGaussPts ()

MatrixDouble &	getNormalsAtGaussPts ()

Private Attributes
boost::shared_ptr< MatrixDouble >	tangent1AtPts

boost::shared_ptr< MatrixDouble >	tangent2AtPts

boost::shared_ptr< MatrixDouble >	normalsAtPts

bool	addField = false
	if true add field values, do not overwrite

Additional Inherited Members
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.

std::array< bool, MBMAXTYPE >	doEntities
	If true operator is executed for entity.

bool &	doVertices
	\deprectaed If false skip vertices

bool &	doEdges
	\deprectaed If false skip edges

bool &	doQuads
	\deprectaed

bool &	doTris
	\deprectaed

bool &	doTets
	\deprectaed

bool &	doPrisms
	\deprectaed

Static Public Attributes inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
static const char *const	OpTypeNames []

Protected Attributes inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
ForcesAndSourcesCore *	ptrFE

Detailed Description

template<int FIELD_DIM = 3>
struct MoFEM::OpGetHONormalsOnFace< FIELD_DIM >

Calculate normal vectors at Gauss points of face elements.

This template structure computes normal vectors at integration points for face elements using high-order geometry approximation. It's essential for boundary conditions, surface integrals, and flux calculations in finite element methods.

Template Parameters

FIELD_DIM Dimension of the field for normal calculation (default: 3)

Examples: mofem/atom_tests/hcurl_curl_operator.cpp, mofem/tutorials/vec-4_shallow_wave/approx_sphere.cpp, and mofem/tutorials/vec-4_shallow_wave/shallow_wave.cpp.

Definition at line 401 of file HODataOperators.hpp.

Member Typedef Documentation

◆ OP

template<int FIELD_DIM = 3>

using MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::OP = FaceElementForcesAndSourcesCore::UserDataOperator

Definition at line 404 of file HODataOperators.hpp.

Constructor & Destructor Documentation

◆ OpGetHONormalsOnFace() [1/2]

template<int FIELD_DIM = 3>

MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::OpGetHONormalsOnFace	(	std::string	field_name,
		bool	add_field = `false`
	)

inline

Constructor for HO normal vectors calculation on faces.

Parameters

field_name	Field name where normal vectors will be stored
add_field	If true, add to existing field values; if false, overwrite (default: false)

Definition at line 412 of file HODataOperators.hpp.

413 : OP(field_name, OPROW), addField(add_field) {}

field_name

constexpr auto field_name

Definition poisson_2d_homogeneous.cpp:13

MoFEM::ForcesAndSourcesCore::UserDataOperator::OPROW

@ OPROW

operator doWork function is executed on FE rows

Definition ForcesAndSourcesCore.hpp:602

MoFEM::OpGetHONormalsOnFace::OP

FaceElementForcesAndSourcesCore::UserDataOperator OP

Definition HODataOperators.hpp:404

MoFEM::OpGetHONormalsOnFace::addField

bool addField

if true add field values, do not overwrite

Definition HODataOperators.hpp:444

◆ OpGetHONormalsOnFace() [2/2]

template<int FIELD_DIM = 3>

MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::OpGetHONormalsOnFace	(	std::string	field_name,
		boost::shared_ptr< MatrixDouble >	tangent1_at_pts,
		boost::shared_ptr< MatrixDouble >	tangent2_at_pts,
		boost::shared_ptr< MatrixDouble >	normals_at_pts,
		bool	add_field = `false`
	)

inline

Definition at line 415 of file HODataOperators.hpp.

      : OP(field_name, OPROW), tangent1AtPts(tangent1_at_pts),
        tangent2AtPts(tangent2_at_pts), normalsAtPts(normals_at_pts),
        addField(add_field) {}

Member Function Documentation

◆ doWork()

template<int FIELD_DIM>

MoFEMErrorCode MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::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 834 of file HODataOperators.hpp.

                                                                        {
  MoFEMFunctionBeginHot;
 
  FTensor::Number<0> N0;
  FTensor::Number<1> N1;
 
  auto get_ftensor1 = [](MatrixDouble &m) {
    return FTensor::Tensor1<FTensor::PackPtr<double *, 3>, 3>(
        &m(0, 0), &m(0, 1), &m(0, 2));
  };
 
  unsigned int nb_dofs = data.getFieldData().size();
  if (nb_dofs != 0) {
 
    int nb_gauss_pts = data.getN().size1();
    auto &tangent1_at_gauss_pts = getTangent1AtGaussPts();
    auto &tangent2_at_gauss_pts = getTangent2AtGaussPts();
    tangent1_at_gauss_pts.resize(nb_gauss_pts, 3, false);
    tangent2_at_gauss_pts.resize(nb_gauss_pts, 3, false);
 
    switch (type) {
    case MBVERTEX: {
      if (!addField) {
        tangent1_at_gauss_pts.clear();
        tangent2_at_gauss_pts.clear();
      }
    }
    case MBEDGE:
    case MBTRI:
    case MBQUAD: {
 
#ifndef NDEBUG
      if (2 * data.getN().size2() != data.getDiffN().size2()) {
        SETERRQ(PETSC_COMM_SELF, MOFEM_DATA_INCONSISTENCY,
                "expected two derivative in local element coordinates");
      }
      if (nb_dofs % FIELD_DIM != 0) {
        SETERRQ(PETSC_COMM_SELF, MOFEM_DATA_INCONSISTENCY,
                "expected that number of dofs is multiplicative of field "
                "dimension");
      }
#endif
 
      if (nb_dofs > FIELD_DIM * data.getN().size2()) {
        unsigned int nn = 0;
        for (; nn != nb_dofs; nn++) {
          if (!data.getFieldDofs()[nn]->getActive())
            break;
        }
        if (nn > FIELD_DIM * data.getN().size2()) {
          SETERRQ(PETSC_COMM_SELF, MOFEM_DATA_INCONSISTENCY,
                   "Data inconsistency for base %s",
                   ApproximationBaseNames[data.getBase()]);
        } else {
          nb_dofs = nn;
          if (!nb_dofs)
            MoFEMFunctionReturnHot(0);
        }
      }
      const int nb_base_functions = data.getN().size2();
      auto t_base = data.getFTensor0N();
      auto t_diff_base = data.getFTensor1DiffN<2>();
      auto t_t1 = get_ftensor1(tangent1_at_gauss_pts);
      auto t_t2 = get_ftensor1(tangent2_at_gauss_pts);
      for (int gg = 0; gg != nb_gauss_pts; ++gg) {
        auto t_data = data.getFTensor1FieldData<FIELD_DIM>();
        int bb = 0;
        for (; bb != nb_dofs / FIELD_DIM; ++bb) {
          FTensor::Index<'i', FIELD_DIM> i;
          t_t1(i) += t_data(i) * t_diff_base(N0);
          t_t2(i) += t_data(i) * t_diff_base(N1);
          ++t_data;
          ++t_base;
          ++t_diff_base;
        }
        for (; bb != nb_base_functions; ++bb) {
          ++t_base;
          ++t_diff_base;
        }
        ++t_t1;
        ++t_t2;
      }
    } break;
    default:
      SETERRQ(PETSC_COMM_SELF, MOFEM_NOT_IMPLEMENTED, "not implemented");
    }
  }
 
  if (moab::CN::Dimension(type) == 2) {
 
    auto &normal_at_gauss_pts = getNormalsAtGaussPts();
    auto &tangent1_at_gauss_pts = getTangent1AtGaussPts();
    auto &tangent2_at_gauss_pts = getTangent2AtGaussPts();
 
    const auto nb_gauss_pts = tangent1_at_gauss_pts.size1();
    normal_at_gauss_pts.resize(nb_gauss_pts, 3, false);
 
    auto t_normal = get_ftensor1(normal_at_gauss_pts);
    auto t_t1 = get_ftensor1(tangent1_at_gauss_pts);
    auto t_t2 = get_ftensor1(tangent2_at_gauss_pts);
    for (unsigned int gg = 0; gg != nb_gauss_pts; ++gg) {
      FTensor::Index<'i', 3> i;
      FTensor::Index<'j', 3> j;
      FTensor::Index<'k', 3> k;
      t_normal(j) = FTensor::levi_civita(i, j, k) * t_t1(k) * t_t2(i);
      ++t_normal;
      ++t_t1;
      ++t_t2;
    }
  }
 
  MoFEMFunctionReturnHot(0);
}

◆ getNormalsAtGaussPts()

template<int FIELD_DIM = 3>

MatrixDouble & MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::getNormalsAtGaussPts ( )

inlineprivate

Definition at line 436 of file HODataOperators.hpp.

                                       {
    return normalsAtPts ? *normalsAtPts : OP::getNormalsAtGaussPts();
  }

◆ getTangent1AtGaussPts()

template<int FIELD_DIM = 3>

MatrixDouble & MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::getTangent1AtGaussPts ( )

inlineprivate

Definition at line 428 of file HODataOperators.hpp.

                                        {
    return tangent1AtPts ? *tangent1AtPts : OP::getTangent1AtGaussPts();
  }

◆ getTangent2AtGaussPts()

template<int FIELD_DIM = 3>

MatrixDouble & MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::getTangent2AtGaussPts ( )

inlineprivate

Definition at line 432 of file HODataOperators.hpp.

                                        {
    return tangent2AtPts ? *tangent2AtPts : OP::getTangent2AtGaussPts();
  }

Member Data Documentation

◆ addField

template<int FIELD_DIM = 3>

bool MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::addField = false

private

if true add field values, do not overwrite

Definition at line 444 of file HODataOperators.hpp.

◆ normalsAtPts

template<int FIELD_DIM = 3>

boost::shared_ptr<MatrixDouble> MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::normalsAtPts

private

Definition at line 442 of file HODataOperators.hpp.

◆ tangent1AtPts

template<int FIELD_DIM = 3>

boost::shared_ptr<MatrixDouble> MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::tangent1AtPts

private

Definition at line 440 of file HODataOperators.hpp.

◆ tangent2AtPts

template<int FIELD_DIM = 3>

boost::shared_ptr<MatrixDouble> MoFEM::OpGetHONormalsOnFace< FIELD_DIM >::tangent2AtPts

private

Definition at line 441 of file HODataOperators.hpp.

The documentation for this struct was generated from the following file:

src/finite_elements/HODataOperators.hpp

Public Types

Public Member Functions

Private Member Functions

Private Attributes

Additional Inherited Members

Detailed Description

Member Typedef Documentation

◆ OP

Constructor & Destructor Documentation

◆ OpGetHONormalsOnFace() [1/2]

◆ OpGetHONormalsOnFace() [2/2]

Member Function Documentation

◆ doWork()

◆ getNormalsAtGaussPts()

◆ getTangent1AtGaussPts()

◆ getTangent2AtGaussPts()

Member Data Documentation

◆ addField

◆ normalsAtPts

◆ tangent1AtPts

◆ tangent2AtPts