Operator that extracts face degrees of freedom for L2 nonconforming spaces. More...

#include <restriction.hpp>

Inheritance diagram for mfem::NCL2FaceRestriction:

Collaboration diagram for mfem::NCL2FaceRestriction:

Public Member Functions
	NCL2FaceRestriction (const FiniteElementSpace &fes, const ElementDofOrdering f_ordering, const FaceType type, const L2FaceValues m=L2FaceValues::DoubleValued)
	Constructs an NCL2FaceRestriction, this is a specialization of a L2FaceRestriction for nonconforming meshes. More...

void	Mult (const Vector &x, Vector &y) const override
	Scatter the degrees of freedom, i.e. goes from L-Vector to face E-Vector. More...

void	AddMultTranspose (const Vector &x, Vector &y, const double a=1.0) const override
	Gather the degrees of freedom, i.e. goes from face E-Vector to L-Vector. More...

void	AddMultTransposeInPlace (Vector &x, Vector &y) const override
	Gather the degrees of freedom, i.e. goes from face E-Vector to L-Vector. More...

void	FillI (SparseMatrix &mat, const bool keep_nbr_block=false) const override
	Fill the I array of SparseMatrix corresponding to the sparsity pattern given by this NCL2FaceRestriction. More...

void	FillJAndData (const Vector &fea_data, SparseMatrix &mat, const bool keep_nbr_block=false) const override
	Fill the J and Data arrays of the SparseMatrix corresponding to the sparsity pattern given by this NCL2FaceRestriction, and the values of ea_data. More...

void	AddFaceMatricesToElementMatrices (const Vector &fea_data, Vector &ea_data) const override
	This methods adds the DG face matrices to the element matrices. More...

virtual void	DoubleValuedNonconformingMult (const Vector &x, Vector &y) const
	Scatter the degrees of freedom, i.e. goes from L-Vector to face E-Vector. Should only be used with nonconforming faces and when: L2FaceValues m == L2FaceValues::DoubleValued. More...

void	DoubleValuedNonconformingInterpolation (Vector &x) const
	Apply a change of basis from coarse element basis to fine element basis for the coarse face dofs. More...

void	SingleValuedNonconformingTransposeInterpolation (const Vector &x) const
	Apply a change of basis from fine element basis to coarse element basis for the coarse face dofs. Should only be used when: L2FaceValues m == L2FaceValues::SingleValued. More...

void	SingleValuedNonconformingTransposeInterpolationInPlace (Vector &x) const
	Apply a change of basis from fine element basis to coarse element basis for the coarse face dofs. Should only be used when: L2FaceValues m == L2FaceValues::SingleValued. More...

void	DoubleValuedNonconformingTransposeInterpolation (const Vector &x) const
	Apply a change of basis from fine element basis to coarse element basis for the coarse face dofs. Should only be used when: L2FaceValues m == L2FaceValues::DoubleValued. More...

void	DoubleValuedNonconformingTransposeInterpolationInPlace (Vector &x) const
	Apply a change of basis from fine element basis to coarse element basis for the coarse face dofs. Should only be used when: L2FaceValues m == L2FaceValues::DoubleValued. More...

Public Member Functions inherited from mfem::L2FaceRestriction
	L2FaceRestriction (const FiniteElementSpace &fes, const ElementDofOrdering f_ordering, const FaceType type, const L2FaceValues m=L2FaceValues::DoubleValued)
	Constructs an L2FaceRestriction. More...

void	SingleValuedConformingMult (const Vector &x, Vector &y) const
	Scatter the degrees of freedom, i.e. goes from L-Vector to face E-Vector. Should only be used with conforming faces and when: m == L2FacesValues::SingleValued. More...

virtual void	DoubleValuedConformingMult (const Vector &x, Vector &y) const
	Scatter the degrees of freedom, i.e. goes from L-Vector to face E-Vector. Should only be used with conforming faces and when: m == L2FacesValues::DoubleValued. More...

void	SingleValuedConformingAddMultTranspose (const Vector &x, Vector &y) const
	Gather the degrees of freedom, i.e. goes from face E-Vector to L-Vector. Should only be used with conforming faces and when: m == L2FacesValues::SingleValued. More...

void	DoubleValuedConformingAddMultTranspose (const Vector &x, Vector &y) const
	Gather the degrees of freedom, i.e. goes from face E-Vector to L-Vector. Should only be used with conforming faces and when: m == L2FacesValues::DoubleValued. More...

virtual void	AddMultTranspose (const Vector &x, Vector &y, const double a=1.0) const override=0
	Add the face degrees of freedom x to the element degrees of freedom y. More...

Public Member Functions inherited from mfem::FaceRestriction
	FaceRestriction ()

	FaceRestriction (int h, int w)

virtual	~FaceRestriction ()

virtual void	AddMultTransposeUnsigned (const Vector &x, Vector &y, const double a=1.0) const
	Add the face degrees of freedom x to the element degrees of freedom y ignoring the signs from DOF orientation. More...

void	MultTranspose (const Vector &x, Vector &y) const override
	Set the face degrees of freedom in the element degrees of freedom y to the values given in x. More...

Public Member Functions inherited from mfem::Operator
void	InitTVectors (const Operator Po, const Operator Ri, const Operator *Pi, Vector &x, Vector &b, Vector &X, Vector &B) const
	Initializes memory for true vectors of linear system. More...

	Operator (int s=0)
	Construct a square Operator with given size s (default 0). More...

	Operator (int h, int w)
	Construct an Operator with the given height (output size) and width (input size). More...

int	Height () const
	Get the height (size of output) of the Operator. Synonym with NumRows(). More...

int	NumRows () const
	Get the number of rows (size of output) of the Operator. Synonym with Height(). More...

int	Width () const
	Get the width (size of input) of the Operator. Synonym with NumCols(). More...

int	NumCols () const
	Get the number of columns (size of input) of the Operator. Synonym with Width(). More...

virtual MemoryClass	GetMemoryClass () const
	Return the MemoryClass preferred by the Operator. More...

virtual void	AddMult (const Vector &x, Vector &y, const double a=1.0) const
	Operator application: `y+=A(x)` (default) or `y+=a*A(x)`. More...

virtual void	ArrayMult (const Array< const Vector > &X, Array< Vector > &Y) const
	Operator application on a matrix: `Y=A(X)`. More...

virtual void	ArrayMultTranspose (const Array< const Vector > &X, Array< Vector > &Y) const
	Action of the transpose operator on a matrix: `Y=A^t(X)`. More...

virtual void	ArrayAddMult (const Array< const Vector > &X, Array< Vector > &Y, const double a=1.0) const
	Operator application on a matrix: `Y+=A(X)` (default) or `Y+=a*A(X)`. More...

virtual void	ArrayAddMultTranspose (const Array< const Vector > &X, Array< Vector > &Y, const double a=1.0) const
	Operator transpose application on a matrix: `Y+=A^t(X)` (default) or `Y+=a*A^t(X)`. More...

virtual Operator &	GetGradient (const Vector &x) const
	Evaluate the gradient operator at the point x. The default behavior in class Operator is to generate an error. More...

virtual void	AssembleDiagonal (Vector &diag) const
	Computes the diagonal entries into diag. Typically, this operation only makes sense for linear Operators. In some cases, only an approximation of the diagonal is computed. More...

virtual const Operator *	GetProlongation () const
	Prolongation operator from linear algebra (linear system) vectors, to input vectors for the operator. `NULL` means identity. More...

virtual const Operator *	GetRestriction () const
	Restriction operator from input vectors for the operator to linear algebra (linear system) vectors. `NULL` means identity. More...

virtual const Operator *	GetOutputProlongation () const
	Prolongation operator from linear algebra (linear system) vectors, to output vectors for the operator. `NULL` means identity. More...

virtual const Operator *	GetOutputRestrictionTranspose () const
	Transpose of GetOutputRestriction, directly available in this form to facilitate matrix-free RAP-type operators. More...

virtual const Operator *	GetOutputRestriction () const
	Restriction operator from output vectors for the operator to linear algebra (linear system) vectors. `NULL` means identity. More...

void	FormLinearSystem (const Array< int > &ess_tdof_list, Vector &x, Vector &b, Operator *&A, Vector &X, Vector &B, int copy_interior=0)
	Form a constrained linear system using a matrix-free approach. More...

void	FormRectangularLinearSystem (const Array< int > &trial_tdof_list, const Array< int > &test_tdof_list, Vector &x, Vector &b, Operator *&A, Vector &X, Vector &B)
	Form a column-constrained linear system using a matrix-free approach. More...

virtual void	RecoverFEMSolution (const Vector &X, const Vector &b, Vector &x)
	Reconstruct a solution vector x (e.g. a GridFunction) from the solution X of a constrained linear system obtained from Operator::FormLinearSystem() or Operator::FormRectangularLinearSystem(). More...

void	FormSystemOperator (const Array< int > &ess_tdof_list, Operator *&A)
	Return in A a parallel (on truedofs) version of this square operator. More...

void	FormRectangularSystemOperator (const Array< int > &trial_tdof_list, const Array< int > &test_tdof_list, Operator *&A)
	Return in A a parallel (on truedofs) version of this rectangular operator (including constraints). More...

void	FormDiscreteOperator (Operator *&A)
	Return in A a parallel (on truedofs) version of this rectangular operator. More...

void	PrintMatlab (std::ostream &out, int n, int m=0) const
	Prints operator with input size n and output size m in Matlab format. More...

virtual void	PrintMatlab (std::ostream &out) const
	Prints operator in Matlab format. More...

virtual	~Operator ()
	Virtual destructor. More...

Type	GetType () const
	Return the type ID of the Operator class. More...

Protected Member Functions
	NCL2FaceRestriction (const FiniteElementSpace &fes, const ElementDofOrdering f_ordering, const FaceType type, const L2FaceValues m, bool build)
	Constructs an NCL2FaceRestriction, this is a specialization of a L2FaceRestriction for nonconforming meshes. More...

Protected Member Functions inherited from mfem::L2FaceRestriction
	L2FaceRestriction (const FiniteElementSpace &fes, const ElementDofOrdering f_ordering, const FaceType type, const L2FaceValues m, bool build)
	Constructs an L2FaceRestriction. More...

void	CheckFESpace (const ElementDofOrdering f_ordering)
	Verify that L2FaceRestriction is built from an L2 FESpace. More...

void	SetFaceDofsScatterIndices1 (const Mesh::FaceInformation &face, const int face_index)
	Set the scattering indices of elem1, and increment the offsets for the face described by the face. The ordering of the face dofs of elem1 is lexicographic relative to elem1. More...

void	PermuteAndSetFaceDofsScatterIndices2 (const Mesh::FaceInformation &face, const int face_index)
	Permute and set the scattering indices of elem2, and increment the offsets for the face described by the face. The permutation orders the dofs of elem2 lexicographically as the ones of elem1. More...

void	PermuteAndSetSharedFaceDofsScatterIndices2 (const Mesh::FaceInformation &face, const int face_index)
	Permute and set the scattering indices of elem2 for the shared face described by the face. The permutation orders the dofs of elem2 as the ones of elem1. More...

void	SetBoundaryDofsScatterIndices2 (const Mesh::FaceInformation &face, const int face_index)
	Set the scattering indices of elem2 for the boundary face described by the face. More...

void	SetFaceDofsGatherIndices1 (const Mesh::FaceInformation &face, const int face_index)
	Set the gathering indices of elem1 for the interior face described by the face. More...

void	PermuteAndSetFaceDofsGatherIndices2 (const Mesh::FaceInformation &face, const int face_index)
	Permute and set the gathering indices of elem2 for the interior face described by the face. The permutation orders the dofs of elem2 as the ones of elem1. More...

Protected Member Functions inherited from mfem::Operator
void	FormConstrainedSystemOperator (const Array< int > &ess_tdof_list, ConstrainedOperator *&Aout)
	see FormSystemOperator() More...

void	FormRectangularConstrainedSystemOperator (const Array< int > &trial_tdof_list, const Array< int > &test_tdof_list, RectangularConstrainedOperator *&Aout)
	see FormRectangularSystemOperator() More...

Operator *	SetupRAP (const Operator Pi, const Operator Po)
	Returns RAP Operator of this, using input/output Prolongation matrices Pi corresponds to "P", Po corresponds to "Rt". More...

Protected Attributes
InterpolationManager	interpolations

Vector	x_interp

Protected Attributes inherited from mfem::L2FaceRestriction
const FiniteElementSpace &	fes

const int	nf

const int	ne

const int	vdim

const bool	byvdim

const int	face_dofs

const int	elem_dofs

const int	nfdofs

const int	ndofs

const FaceType	type

const L2FaceValues	m

Array< int >	scatter_indices1

Array< int >	scatter_indices2

Array< int >	gather_offsets

Array< int >	gather_indices

Array< int >	face_map

Protected Attributes inherited from mfem::Operator
int	height
	Dimension of the output / number of rows in the matrix. More...

int	width
	Dimension of the input / number of columns in the matrix. More...

Additional Inherited Members
Public Types inherited from mfem::Operator
enum	DiagonalPolicy { DIAG_ZERO, DIAG_ONE, DIAG_KEEP }
	Defines operator diagonal policy upon elimination of rows and/or columns. More...

enum	Type { ANY_TYPE, MFEM_SPARSEMAT, Hypre_ParCSR, PETSC_MATAIJ, PETSC_MATIS, PETSC_MATSHELL, PETSC_MATNEST, PETSC_MATHYPRE, PETSC_MATGENERIC, Complex_Operator, MFEM_ComplexSparseMat, Complex_Hypre_ParCSR, Complex_DenseMat, MFEM_Block_Matrix, MFEM_Block_Operator }
	Enumeration defining IDs for some classes derived from Operator. More...

Detailed Description

Operator that extracts face degrees of freedom for L2 nonconforming spaces.

In order to support face restrictions on nonconforming meshes, this operator interpolates master (coarse) face degrees of freedom onto the slave (fine) face. This allows face integrators to treat nonconforming faces just as regular conforming faces.

Definition at line 801 of file restriction.hpp.

Constructor & Destructor Documentation

◆ NCL2FaceRestriction() [1/2]

mfem::NCL2FaceRestriction::NCL2FaceRestriction	(	const FiniteElementSpace &	fes,
		const ElementDofOrdering	f_ordering,
		const FaceType	type,
		const L2FaceValues	m,
		bool	build
	)

protected

Constructs an NCL2FaceRestriction, this is a specialization of a L2FaceRestriction for nonconforming meshes.

Parameters

[in]	fes	The FiniteElementSpace on which this operates
[in]	f_ordering	Request a specific face dof ordering
[in]	type	Request internal or boundary faces dofs
[in]	m	Request the face dofs for elem1, or both elem1 and elem2
[in]	build	Request the NCL2FaceRestriction to compute the scatter/gather indices. False should only be used when inheriting from NCL2FaceRestriction.

Definition at line 1763 of file restriction.cpp.

◆ NCL2FaceRestriction() [2/2]

mfem::NCL2FaceRestriction::NCL2FaceRestriction	(	const FiniteElementSpace &	fes,
		const ElementDofOrdering	f_ordering,
		const FaceType	type,
		const L2FaceValues	m = `L2FaceValues::DoubleValued`
	)

Constructs an NCL2FaceRestriction, this is a specialization of a L2FaceRestriction for nonconforming meshes.

Parameters

[in]	fes	The FiniteElementSpace on which this operates
[in]	f_ordering	Request a specific face dof ordering
[in]	type	Request internal or boundary faces dofs
[in]	m	Request the face dofs for elem1, or both elem1 and elem2

Definition at line 1781 of file restriction.cpp.

Member Function Documentation

◆ AddFaceMatricesToElementMatrices()

void mfem::NCL2FaceRestriction::AddFaceMatricesToElementMatrices	(	const Vector &	fea_data,
		Vector &	ea_data
	)		const

overridevirtual

This methods adds the DG face matrices to the element matrices.

Parameters

[in]	fea_data	The dense matrices representing the local operators on each face. The format is: face_dofs x face_dofs x 2 x nf. On each face the first and second local matrices correspond to the contributions of elem1 and elem2 on themselves respectively.
[in,out]	ea_data	The dense matrices representing the element local contributions for each element to which will be added the face contributions. The format is: dofs x dofs x ne, where dofs is the number of dofs per element and ne the number of elements.

Warning: This method is not implemented yet.

Reimplemented from mfem::L2FaceRestriction.

Definition at line 2059 of file restriction.cpp.

◆ AddMultTranspose()

void mfem::NCL2FaceRestriction::AddMultTranspose	(	const Vector &	x,
		Vector &	y,
		const double	a = `1.0`
	)		const

overridevirtual

Gather the degrees of freedom, i.e. goes from face E-Vector to L-Vector.

Parameters

[in]	x	The face E-Vector degrees of freedom with the given format: if L2FacesValues::DoubleValued (face_dofs x vdim x 2 x nf), if L2FacesValues::SingleValued (face_dofs x vdim x nf), where nf is the number of interior or boundary faces requested by type in the constructor. The face_dofs should be ordered according to the given ElementDofOrdering
[in,out]	y	The L-vector degrees of freedom.
[in]	a	Scalar coefficient for addition.

Reimplemented from mfem::L2FaceRestriction.

Definition at line 1986 of file restriction.cpp.

◆ AddMultTransposeInPlace()

void mfem::NCL2FaceRestriction::AddMultTransposeInPlace	(	Vector &	x,
		Vector &	y
	)		const

overridevirtual

Gather the degrees of freedom, i.e. goes from face E-Vector to L-Vector.

Parameters

[in,out]	x	The face E-Vector degrees of freedom with the given format: if L2FacesValues::DoubleValued (face_dofs x vdim x 2 x nf), if L2FacesValues::SingleValued (face_dofs x vdim x nf), where nf is the number of interior or boundary faces requested by type in the constructor. The face_dofs should be ordered according to the given ElementDofOrdering
[in,out]	y	The L-vector degrees of freedom.

Note: This method is an optimization of AddMultTranspose where the x Vector is used and modified to avoid memory allocation and memcpy.

Reimplemented from mfem::FaceRestriction.

Definition at line 2017 of file restriction.cpp.

◆ DoubleValuedNonconformingInterpolation()

void mfem::NCL2FaceRestriction::DoubleValuedNonconformingInterpolation ( Vector & x ) const

Apply a change of basis from coarse element basis to fine element basis for the coarse face dofs.

Parameters

[in,out] x The dofs vector that needs coarse dofs to be express in term of the fine basis.

Definition at line 1795 of file restriction.cpp.

◆ DoubleValuedNonconformingMult()

void mfem::NCL2FaceRestriction::DoubleValuedNonconformingMult	(	const Vector &	x,
		Vector &	y
	)		const

virtual

Scatter the degrees of freedom, i.e. goes from L-Vector to face E-Vector. Should only be used with nonconforming faces and when: L2FaceValues m == L2FaceValues::DoubleValued.

Parameters

[in]	x	The L-vector degrees of freedom.
[out]	y	The face E-Vector degrees of freedom with the given format: (face_dofs x vdim x 2 x nf), where nf is the number of interior or boundary faces requested by type in the constructor. The face_dofs are ordered according to the given ElementDofOrdering.

Reimplemented in mfem::ParNCL2FaceRestriction.

Definition at line 1788 of file restriction.cpp.

◆ DoubleValuedNonconformingTransposeInterpolation()

void mfem::NCL2FaceRestriction::DoubleValuedNonconformingTransposeInterpolation ( const Vector & x ) const

Apply a change of basis from fine element basis to coarse element basis for the coarse face dofs. Should only be used when: L2FaceValues m == L2FaceValues::DoubleValued.

Parameters

[in] x The dofs vector that needs coarse dofs to be express in term of the coarse basis, the result is stored in x_interp.

Definition at line 1923 of file restriction.cpp.

◆ DoubleValuedNonconformingTransposeInterpolationInPlace()

void mfem::NCL2FaceRestriction::DoubleValuedNonconformingTransposeInterpolationInPlace ( Vector & x ) const

Apply a change of basis from fine element basis to coarse element basis for the coarse face dofs. Should only be used when: L2FaceValues m == L2FaceValues::DoubleValued.

Parameters

[in,out] x The dofs vector that needs coarse dofs to be express in term of the coarse basis, the result is stored in x.

Definition at line 1937 of file restriction.cpp.

◆ FillI()

void mfem::NCL2FaceRestriction::FillI	(	SparseMatrix &	mat,
		const bool	keep_nbr_block = `false`
	)		const

overridevirtual

Fill the I array of SparseMatrix corresponding to the sparsity pattern given by this NCL2FaceRestriction.

Parameters

[in,out]	mat	The sparse matrix for which we want to initialize the row offsets.
[in]	keep_nbr_block	When set to true the SparseMatrix will include the rows (in addition to the columns) corresponding to face-neighbor dofs. The default behavior is to disregard those rows.

Warning: This method is not implemented yet.

Reimplemented from mfem::L2FaceRestriction.

Definition at line 2046 of file restriction.cpp.

◆ FillJAndData()

void mfem::NCL2FaceRestriction::FillJAndData	(	const Vector &	fea_data,
		SparseMatrix &	mat,
		const bool	keep_nbr_block = `false`
	)		const

overridevirtual

Fill the J and Data arrays of the SparseMatrix corresponding to the sparsity pattern given by this NCL2FaceRestriction, and the values of ea_data.

Parameters

[in]	fea_data	The dense matrices representing the local operators on each face. The format is: face_dofs x face_dofs x 2 x nf. On each face the first local matrix corresponds to the contribution of elem1 on elem2, and the second to the contribution of elem2 on elem1.
[in,out]	mat	The sparse matrix that is getting filled.
[in]	keep_nbr_block	When set to true the SparseMatrix will include the rows (in addition to the columns) corresponding to face-neighbor dofs. The default behavior is to disregard those rows.

Warning: This method is not implemented yet.

Reimplemented from mfem::L2FaceRestriction.

Definition at line 2052 of file restriction.cpp.

◆ Mult()

void mfem::NCL2FaceRestriction::Mult	(	const Vector &	x,
		Vector &	y
	)		const

overridevirtual

Scatter the degrees of freedom, i.e. goes from L-Vector to face E-Vector.

Parameters

[in]	x	The L-vector degrees of freedom.
[out]	y	The face E-Vector degrees of freedom with the given format: if L2FacesValues::DoubleValued (face_dofs x vdim x 2 x nf), if L2FacesValues::SingleValued (face_dofs x vdim x nf), where nf is the number of interior or boundary faces requested by type in the constructor. The face_dofs are ordered according to the given ElementDofOrdering.

Reimplemented from mfem::L2FaceRestriction.

Definition at line 1843 of file restriction.cpp.

◆ SingleValuedNonconformingTransposeInterpolation()

void mfem::NCL2FaceRestriction::SingleValuedNonconformingTransposeInterpolation ( const Vector & x ) const

Apply a change of basis from fine element basis to coarse element basis for the coarse face dofs. Should only be used when: L2FaceValues m == L2FaceValues::SingleValued.

Parameters

[in] x The dofs vector that needs coarse dofs to be express in term of the coarse basis, the result is stored in x_interp.

Definition at line 1859 of file restriction.cpp.

◆ SingleValuedNonconformingTransposeInterpolationInPlace()

void mfem::NCL2FaceRestriction::SingleValuedNonconformingTransposeInterpolationInPlace ( Vector & x ) const

Apply a change of basis from fine element basis to coarse element basis for the coarse face dofs. Should only be used when: L2FaceValues m == L2FaceValues::SingleValued.

Parameters

[in,out] x The dofs vector that needs coarse dofs to be express in term of the coarse basis, the result is stored in x.

Definition at line 1874 of file restriction.cpp.

Member Data Documentation

◆ interpolations

InterpolationManager mfem::NCL2FaceRestriction::interpolations

protected

Definition at line 804 of file restriction.hpp.

◆ x_interp

Vector mfem::NCL2FaceRestriction::x_interp

mutableprotected

Definition at line 805 of file restriction.hpp.

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

fem/restriction.hpp
fem/restriction.cpp

Public Member Functions

Protected Member Functions

Protected Attributes

Additional Inherited Members

Detailed Description

Constructor & Destructor Documentation

◆ NCL2FaceRestriction() [1/2]

◆ NCL2FaceRestriction() [2/2]

Member Function Documentation

◆ AddFaceMatricesToElementMatrices()

◆ AddMultTranspose()

◆ AddMultTransposeInPlace()

◆ DoubleValuedNonconformingInterpolation()

◆ DoubleValuedNonconformingMult()

◆ DoubleValuedNonconformingTransposeInterpolation()

◆ DoubleValuedNonconformingTransposeInterpolationInPlace()

◆ FillI()

◆ FillJAndData()

◆ Mult()

◆ SingleValuedNonconformingTransposeInterpolation()

◆ SingleValuedNonconformingTransposeInterpolationInPlace()

Member Data Documentation

◆ interpolations

◆ x_interp