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...

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, 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	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...

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)>

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.

171 : FaceEleOp("FIELD1", OPROW), ptrVals(ptr_vals), ptrDiv(ptr_div),

172 ptrGrad(ptr_grad), ptrHess(ptr_hess) {}

FaceEleOp

FaceEle::UserDataOperator FaceEleOp

Definition: boundary_marker.cpp:17

MoFEM::ForcesAndSourcesCore::UserDataOperator::OPROW

@ OPROW

operator doWork function is executed on FE rows

Definition: ForcesAndSourcesCore.hpp:564

OpCheckValsDiffVals::ptrHess

boost::shared_ptr< MatrixDouble > ptrHess

Definition: hcurl_check_approx_in_2d.cpp:165

OpCheckValsDiffVals::ptrGrad

boost::shared_ptr< MatrixDouble > ptrGrad

Definition: hcurl_check_approx_in_2d.cpp:164

OpCheckValsDiffVals::ptrDiv

boost::shared_ptr< VectorDouble > ptrDiv

Definition: hcurl_check_approx_in_2d.cpp:163

OpCheckValsDiffVals::ptrVals

boost::shared_ptr< MatrixDouble > ptrVals

Definition: hcurl_check_approx_in_2d.cpp:162

◆ 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);
  }