OpCheckValsDiffVals Struct Reference

Inheritance diagram for OpCheckValsDiffVals:

Collaboration diagram for OpCheckValsDiffVals:

Public Member Functions
	OpCheckValsDiffVals (boost::shared_ptr< MatrixDouble > ptr_vals, boost::shared_ptr< VectorDouble > ptr_div, boost::shared_ptr< MatrixDouble > ptr_grad, boost::shared_ptr< MatrixDouble > ptr_hess)
MoFEMErrorCode	doWork (int side, EntityType type, EntitiesFieldData::EntData &data)
	Operator for linear form, usually to calculate values on right hand side. More...
	OpCheckValsDiffVals (VectorDouble &vals, MatrixDouble &diff_vals, boost::shared_ptr< VectorDouble > &ptr_vals, boost::shared_ptr< MatrixDouble > &ptr_diff_vals, bool check_grads)
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::FaceElementForcesAndSourcesCore::UserDataOperator
double	getArea ()
	get area of face More...
double	getMeasure ()
	get measure of element More...
VectorDouble &	getNormal ()
	get triangle normal More...
VectorDouble &	getTangent1 ()
	get triangle tangent 1 More...
VectorDouble &	getTangent2 ()
	get triangle tangent 2 More...
auto	getFTensor1Normal ()
	get normal as tensor More...
auto	getFTensor1Tangent1 ()
	get tangentOne as tensor More...
auto	getFTensor1Tangent2 ()
	get tangentTwo as tensor More...
int	getNumNodes ()
	get element number of nodes More...
const EntityHandle *	getConn ()
	get element connectivity More...
VectorDouble &	getCoords ()
	get triangle coordinates More...
auto	getFTensor1Coords ()
	get get coords at gauss points More...
MatrixDouble &	getNormalsAtGaussPts ()
	if higher order geometry return normals at Gauss pts. More...
ublas::matrix_row< MatrixDouble >	getNormalsAtGaussPts (const int gg)
	if higher order geometry return normals at Gauss pts. More...
MatrixDouble &	getTangent1AtGaussPts ()
	if higher order geometry return tangent vector to triangle at Gauss pts. More...
MatrixDouble &	getTangent2AtGaussPts ()
	if higher order geometry return tangent vector to triangle at Gauss pts. More...
auto	getFTensor1NormalsAtGaussPts ()
	get normal at integration points More...
auto	getFTensor1Tangent1AtGaussPts ()
	get tangent 1 at integration points More...
auto	getFTensor1Tangent2AtGaussPts ()
	get tangent 2 at integration points More...
FaceElementForcesAndSourcesCore *	getFaceFE ()
	return pointer to Generic Triangle Finite Element object More...
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)
	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 NumeredEntFiniteElement >	getNumeredEntFiniteElementPtr () 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< SideNumber >	getSideNumberPtr (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 FEMethod *	getFEMethod () 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...
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 More...
auto	getFTensor0IntegrationWeight ()
	Get integration weights. More...
MatrixDouble &	getCoordsAtGaussPts ()
	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...
double &	getMeasure ()
	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)
	User call this function to loop over elements on the side of face. This function calls finite element with is operator to do calculations. More...
MoFEMErrorCode	loopThis (const string &fe_name, ForcesAndSourcesCore *parent_fe, const int verb=QUIET, const LogManager::SeverityLevel sev=Sev::noisy)
	User call this function to loop over parent elements. This function calls finite element with is 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 call this function to loop over parent elements. This function calls finite element with is 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 call this function to loop over parent elements. This function calls finite element with is 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	doWork (int side, EntityType type, EntitiesFieldData::EntData &data)
	Operator for linear form, usually to calculate values on right hand side. More...
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...
Public Member Functions inherited from MoFEM::VolumeElementForcesAndSourcesCore::UserDataOperator
int	getNumNodes ()
	get element number of nodes More...
const EntityHandle *	getConn ()
	get element connectivity More...
double	getVolume () const
	element volume (linear geometry) More...
double &	getVolume ()
	element volume (linear geometry) More...
FTensor::Tensor2< double *, 3, 3 > &	getJac ()
	get element Jacobian More...
FTensor::Tensor2< double *, 3, 3 > &	getInvJac ()
	get element inverse Jacobian More...
VectorDouble &	getCoords ()
	nodal coordinates More...
VolumeElementForcesAndSourcesCore *	getVolumeFE () const
	return pointer to Generic Volume Finite Element object More...

Public Attributes
boost::shared_ptr< MatrixDouble >	ptrVals
boost::shared_ptr< VectorDouble >	ptrDiv
boost::shared_ptr< MatrixDouble >	ptrGrad
boost::shared_ptr< MatrixDouble >	ptrHess
FTensor::Index< 'i', 3 >	i
FTensor::Index< 'j', 2 >	j
FTensor::Index< 'k', 2 >	k
VectorDouble &	vAls
MatrixDouble &	diffVals
boost::shared_ptr< VectorDouble >	ptrVals
boost::shared_ptr< MatrixDouble >	ptrDiffVals
const bool	checkGradients
FTensor::Index< 'i', SPACE_DIM >	i
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...
bool &	doVertices
	\deprectaed If false skip vertices More...
bool &	doEdges
	\deprectaed If false skip edges More...
bool &	doQuads
	\deprectaed More...
bool &	doTris
	\deprectaed More...
bool &	doTets
	\deprectaed More...
bool &	doPrisms
	\deprectaed More...

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...
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)>
Static Public Attributes inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
static const char *const	OpTypeNames []
virtual MoFEMErrorCode	setPtrFE (ForcesAndSourcesCore *ptr)
Protected Member Functions inherited from MoFEM::VolumeElementForcesAndSourcesCore::UserDataOperator
MoFEMErrorCode	setPtrFE (ForcesAndSourcesCore *ptr)
Protected Attributes inherited from MoFEM::ForcesAndSourcesCore::UserDataOperator
ForcesAndSourcesCore *	ptrFE

Detailed Description

Examples

hcurl_check_approx_in_2d.cpp, and scalar_check_approximation.cpp.

Definition at line 161 of file hcurl_check_approx_in_2d.cpp.

Constructor & Destructor Documentation

OpCheckValsDiffVals() [1/2]

OpCheckValsDiffVals::OpCheckValsDiffVals ( boost::shared_ptr< MatrixDouble >  ptr_vals, boost::shared_ptr< VectorDouble >  ptr_div, boost::shared_ptr< MatrixDouble >  ptr_grad, boost::shared_ptr< MatrixDouble >  ptr_hess  )

inline

Definition at line 167 of file hcurl_check_approx_in_2d.cpp.

      : FaceEleOp("FIELD1", OPROW), ptrVals(ptr_vals), ptrDiv(ptr_div),
        ptrGrad(ptr_grad), ptrHess(ptr_hess) {}

OpCheckValsDiffVals() [2/2]

OpCheckValsDiffVals::OpCheckValsDiffVals ( VectorDouble &  vals, MatrixDouble &  diff_vals, boost::shared_ptr< VectorDouble > &  ptr_vals, boost::shared_ptr< MatrixDouble > &  ptr_diff_vals, bool  check_grads  )

inline

Definition at line 170 of file scalar_check_approximation.cpp.

      : DomainEleOp("FIELD1", OPROW), vAls(vals), diffVals(diff_vals),
        ptrVals(ptr_vals), ptrDiffVals(ptr_diff_vals),
        checkGradients(check_grads) {
    std::fill(&doEntities[MBEDGE], &doEntities[MBMAXTYPE], false);
  }

Member Function Documentation

doWork() [1/2]

MoFEMErrorCode OpCheckValsDiffVals::doWork ( int  side, EntityType  type, EntitiesFieldData::EntData &  data  )

inlinevirtual

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

Reimplemented from MoFEM::DataOperator.

Examples

hcurl_check_approx_in_2d.cpp, and scalar_check_approximation.cpp.

Definition at line 178 of file hcurl_check_approx_in_2d.cpp.

                                                        {
    MoFEMFunctionBegin;
    const double eps = 1e-6;
    if (type == MBEDGE && side == 0) {
      const int nb_gauss_pts = data.getN().size1();
 
      auto t_vals_from_op = getFTensor1FromMat<3>(*ptrVals);
      auto t_div_from_op = getFTensor0FromVec(*ptrDiv);
      auto t_grad_from_op = getFTensor2FromMat<3, 2>(*ptrGrad);
      auto t_hess_from_op = getFTensor3FromMat<3, 2, 2>(*ptrHess);
 
      for (int gg = 0; gg != nb_gauss_pts; gg++) {
        const double x = getCoordsAtGaussPts()(gg, 0);
        const double y = getCoordsAtGaussPts()(gg, 1);
 
        // Check approximation
        FTensor::Tensor1<double, 3> delta_val;
        delta_val(i) = t_vals_from_op(i) - ApproxFunctions::fUn(x, y, 0)(i);
        double err_val = sqrt(delta_val(i) * delta_val(i));
        if (err_val > eps)
          SETERRQ1(PETSC_COMM_SELF, MOFEM_ATOM_TEST_INVALID,
                   "Wrong value %4.3e", err_val);
 
        FTensor::Tensor2<double, 3, 2> delta_diff_val;
        delta_diff_val(i, j) =
            t_grad_from_op(i, j) - ApproxFunctions::diffFun(x, y)(i, j);
        double err_diff_val = sqrt(delta_diff_val(i, j) * delta_diff_val(i, j));
        if (err_diff_val > eps)
          SETERRQ1(PETSC_COMM_SELF, MOFEM_ATOM_TEST_INVALID,
                   "Wrong derivative of value %4.3e", err_diff_val);
 
        double div = t_grad_from_op(0, 0) + t_grad_from_op(1, 1);
        double err_div = div - t_div_from_op;
        if (err_div > eps)
          SETERRQ3(PETSC_COMM_SELF, MOFEM_ATOM_TEST_INVALID,
                   "Wrong divergence from operator %4.3e (%4.3e != %4.3e)",
                   err_div, div, t_div_from_op);
 
        FTensor::Tensor3<double, 3, 2, 2> delta_diff2_val;
        delta_diff2_val(i, j, k) =
            t_hess_from_op(i, j, k) - ApproxFunctions::diff2Fun(x, y)(i, j, k);
        double hess_diff_error =
            sqrt(delta_diff2_val(i, j, k) * delta_diff2_val(i, j, k));
        if (hess_diff_error > eps)
          SETERRQ1(PETSC_COMM_SELF, MOFEM_ATOM_TEST_INVALID,
                   "Wrong hessian from operator %4.3e", hess_diff_error);
 
        ++t_vals_from_op;
        ++t_div_from_op;
        ++t_grad_from_op;
        ++t_hess_from_op;
      }
    }
    MoFEMFunctionReturn(0);
  }

doWork() [2/2]

MoFEMErrorCode OpCheckValsDiffVals::doWork ( int  side, EntityType  type, EntitiesFieldData::EntData &  data  )

inlinevirtual

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

Reimplemented from MoFEM::DataOperator.

Definition at line 182 of file scalar_check_approximation.cpp.

                                                        {
    MoFEMFunctionBegin;
    const double eps = 1e-6;
    const int nb_gauss_pts = data.getN().size1();
 
    auto t_vals = getFTensor0FromVec(vAls);
 
    auto t_ptr_vals = getFTensor0FromVec(*ptrVals);
 
    for (int gg = 0; gg != nb_gauss_pts; gg++) {
 
      double err_val;
 
      // Check user data operators
      err_val = std::abs(t_vals - t_ptr_vals);
      MOFEM_LOG("AT", Sev::noisy) << "Val op error " << err_val;
 
      if (err_val > eps)
        SETERRQ1(PETSC_COMM_SELF, MOFEM_ATOM_TEST_INVALID,
                 "Wrong value from operator %4.3e", err_val);
 
      const double x = getCoordsAtGaussPts()(gg, 0);
      const double y = getCoordsAtGaussPts()(gg, 1);
      const double z = getCoordsAtGaussPts()(gg, 2);
 
      // Check approximation
      const double delta_val = t_vals - ApproxFunctions::fUn(x, y, z);
 
      err_val = std::fabs(delta_val * delta_val);
      MOFEM_LOG("AT", Sev::verbose) << err_val << " : " << t_vals;
      if (err_val > eps)
        SETERRQ1(PETSC_COMM_SELF, MOFEM_ATOM_TEST_INVALID, "Wrong value %4.3e",
                 err_val);
 
      ++t_vals;
      ++t_ptr_vals;
    }
 
    if (checkGradients) {
 
      auto t_diff_vals = getFTensor1FromMat<SPACE_DIM>(diffVals);
      auto t_ptr_diff_vals = getFTensor1FromMat<SPACE_DIM>(*ptrDiffVals);
 
      for (int gg = 0; gg != nb_gauss_pts; gg++) {
 
        FTensor::Tensor1<double, SPACE_DIM> t_delta_diff_val;
        double err_diff_val;
 
        t_delta_diff_val(i) = t_diff_vals(i) - t_ptr_diff_vals(i);
        err_diff_val = sqrt(t_delta_diff_val(i) * t_delta_diff_val(i));
        MOFEM_LOG("AT", Sev::noisy) << "Diff val op error " << err_diff_val;
 
        if (err_diff_val > eps)
          SETERRQ1(PETSC_COMM_SELF, MOFEM_ATOM_TEST_INVALID,
                   "Wrong derivatives from operator %4.3e", err_diff_val);
 
        const double x = getCoordsAtGaussPts()(gg, 0);
        const double y = getCoordsAtGaussPts()(gg, 1);
        const double z = getCoordsAtGaussPts()(gg, 2);
 
        // Check approximation
        auto t_diff_anal = ApproxFunctions::diffFun(x, y, z);
        t_delta_diff_val(i) = t_diff_vals(i) - t_diff_anal(i);
 
        err_diff_val = sqrt(t_delta_diff_val(i) * t_delta_diff_val(i));
        if (SPACE_DIM == 3)
          MOFEM_LOG("AT", Sev::noisy)
              << "Diff val " << err_diff_val << " : "
              << sqrt(t_diff_vals(i) * t_diff_vals(i)) << " :  "
              << t_diff_vals(0) << " (" << t_diff_anal(0) << ") "
              << t_diff_vals(1) << " (" << t_diff_anal(1) << ")  "
              << t_diff_vals(2) << " (" << t_diff_anal(2) << ")";
        else
          MOFEM_LOG("AT", Sev::noisy)
              << "Diff val " << err_diff_val << " : "
              << sqrt(t_diff_vals(i) * t_diff_vals(i)) << " :  "
              << t_diff_vals(0) << " (" << t_diff_anal(0) << ") "
              << t_diff_vals(1) << " (" << t_diff_anal(1) << ")";
 
        MOFEM_LOG("AT", Sev::verbose)
            << getCoords()(3 * 1 + 0) - getCoords()(3 * 0 + 0);
        MOFEM_LOG("AT", Sev::verbose)
            << getCoords()(3 * 1 + 1) - getCoords()(3 * 0 + 1);
        MOFEM_LOG("AT", Sev::verbose)
            << getCoords()(3 * 1 + 2) - getCoords()(3 * 0 + 2);
 
        MOFEM_LOG("AT", Sev::verbose) << "Diff val error " << err_diff_val;
        if (err_diff_val > eps)
          SETERRQ2(PETSC_COMM_SELF, MOFEM_ATOM_TEST_INVALID,
                   "Wrong derivative of value %4.3e %4.3e", err_diff_val,
                   t_diff_anal.l2());
 
        ++t_diff_vals;
        ++t_ptr_diff_vals;
      }
    }
 
    MoFEMFunctionReturn(0);
  }

Member Data Documentation

checkGradients

const bool OpCheckValsDiffVals::checkGradients

Examples

scalar_check_approximation.cpp.

Definition at line 168 of file scalar_check_approximation.cpp.

diffVals

MatrixDouble& OpCheckValsDiffVals::diffVals

Examples

scalar_check_approximation.cpp.

Definition at line 165 of file scalar_check_approximation.cpp.

i [1/2]

FTensor::Index<'i', 3> OpCheckValsDiffVals::i

Examples

hcurl_check_approx_in_2d.cpp, and scalar_check_approximation.cpp.

Definition at line 174 of file hcurl_check_approx_in_2d.cpp.

i [2/2]

FTensor::Index<'i', SPACE_DIM> OpCheckValsDiffVals::i

Definition at line 180 of file scalar_check_approximation.cpp.

j

FTensor::Index<'j', 2> OpCheckValsDiffVals::j

Examples

hcurl_check_approx_in_2d.cpp.

Definition at line 175 of file hcurl_check_approx_in_2d.cpp.

k

FTensor::Index<'k', 2> OpCheckValsDiffVals::k

Examples

hcurl_check_approx_in_2d.cpp.

Definition at line 176 of file hcurl_check_approx_in_2d.cpp.

ptrDiffVals

boost::shared_ptr<MatrixDouble> OpCheckValsDiffVals::ptrDiffVals

Examples

scalar_check_approximation.cpp.

Definition at line 167 of file scalar_check_approximation.cpp.

ptrDiv

boost::shared_ptr<VectorDouble> OpCheckValsDiffVals::ptrDiv

Examples

hcurl_check_approx_in_2d.cpp.

Definition at line 163 of file hcurl_check_approx_in_2d.cpp.

ptrGrad

boost::shared_ptr<MatrixDouble> OpCheckValsDiffVals::ptrGrad

Examples

hcurl_check_approx_in_2d.cpp.

Definition at line 164 of file hcurl_check_approx_in_2d.cpp.

ptrHess

boost::shared_ptr<MatrixDouble> OpCheckValsDiffVals::ptrHess

Examples

hcurl_check_approx_in_2d.cpp.

Definition at line 165 of file hcurl_check_approx_in_2d.cpp.

ptrVals [1/2]

boost::shared_ptr<MatrixDouble> OpCheckValsDiffVals::ptrVals

Examples

hcurl_check_approx_in_2d.cpp, and scalar_check_approximation.cpp.

Definition at line 162 of file hcurl_check_approx_in_2d.cpp.

ptrVals [2/2]

boost::shared_ptr<VectorDouble> OpCheckValsDiffVals::ptrVals

Definition at line 166 of file scalar_check_approximation.cpp.

vAls

VectorDouble& OpCheckValsDiffVals::vAls

Examples

scalar_check_approximation.cpp.

Definition at line 164 of file scalar_check_approximation.cpp.

---

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

• atom_tests/hcurl_check_approx_in_2d.cpp
• atom_tests/scalar_check_approximation.cpp