MFEM v4.7.0
Finite element discretization library
Loading...
Searching...
No Matches
mfem::NCL2FaceRestriction Class Reference

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

#include <restriction.hpp>

Inheritance diagram for mfem::NCL2FaceRestriction:
[legend]
Collaboration diagram for mfem::NCL2FaceRestriction:
[legend]

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.
 
void Mult (const Vector &x, Vector &y) const override
 Scatter the degrees of freedom, i.e. goes from L-Vector to face E-Vector.
 
void AddMultTranspose (const Vector &x, Vector &y, const real_t a=1.0) const override
 Gather the degrees of freedom, i.e. goes from face E-Vector to L-Vector.
 
void AddMultTransposeInPlace (Vector &x, Vector &y) const override
 Gather the degrees of freedom, i.e. goes from face E-Vector to L-Vector.
 
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.
 
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.
 
void AddFaceMatricesToElementMatrices (const Vector &fea_data, Vector &ea_data) const override
 This methods adds the DG face matrices to the element matrices.
 
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.
 
void DoubleValuedNonconformingInterpolation (Vector &x) const
 Apply a change of basis from coarse element basis to fine element basis for the coarse face dofs.
 
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.
 
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.
 
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.
 
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.
 
- 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.
 
void NormalDerivativeMult (const Vector &x, Vector &y) const override
 Scatter the degrees of freedom, i.e. goes from L-Vector to face E-Vector.
 
void NormalDerivativeAddMultTranspose (const Vector &x, Vector &y) const override
 Add the face reference-normal derivative degrees of freedom in x to the element degrees of freedom in y.
 
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.
 
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.
 
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.
 
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.
 
- Public Member Functions inherited from mfem::FaceRestriction
 FaceRestriction ()
 
 FaceRestriction (int h, int w)
 
virtual ~FaceRestriction ()
 
virtual void AddMultTransposeUnsigned (const Vector &x, Vector &y, const real_t a=1.0) const
 Add the face degrees of freedom x to the element degrees of freedom y ignoring the signs from DOF orientation.
 
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.
 
- 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.
 
 Operator (int s=0)
 Construct a square Operator with given size s (default 0).
 
 Operator (int h, int w)
 Construct an Operator with the given height (output size) and width (input size).
 
int Height () const
 Get the height (size of output) of the Operator. Synonym with NumRows().
 
int NumRows () const
 Get the number of rows (size of output) of the Operator. Synonym with Height().
 
int Width () const
 Get the width (size of input) of the Operator. Synonym with NumCols().
 
int NumCols () const
 Get the number of columns (size of input) of the Operator. Synonym with Width().
 
virtual MemoryClass GetMemoryClass () const
 Return the MemoryClass preferred by the Operator.
 
virtual void AddMult (const Vector &x, Vector &y, const real_t a=1.0) const
 Operator application: y+=A(x) (default) or y+=a*A(x).
 
virtual void ArrayMult (const Array< const Vector * > &X, Array< Vector * > &Y) const
 Operator application on a matrix: Y=A(X).
 
virtual void ArrayMultTranspose (const Array< const Vector * > &X, Array< Vector * > &Y) const
 Action of the transpose operator on a matrix: Y=A^t(X).
 
virtual void ArrayAddMult (const Array< const Vector * > &X, Array< Vector * > &Y, const real_t a=1.0) const
 Operator application on a matrix: Y+=A(X) (default) or Y+=a*A(X).
 
virtual void ArrayAddMultTranspose (const Array< const Vector * > &X, Array< Vector * > &Y, const real_t a=1.0) const
 Operator transpose application on a matrix: Y+=A^t(X) (default) or Y+=a*A^t(X).
 
virtual OperatorGetGradient (const Vector &x) const
 Evaluate the gradient operator at the point x. The default behavior in class Operator is to generate an error.
 
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.
 
virtual const OperatorGetProlongation () const
 Prolongation operator from linear algebra (linear system) vectors, to input vectors for the operator. NULL means identity.
 
virtual const OperatorGetRestriction () const
 Restriction operator from input vectors for the operator to linear algebra (linear system) vectors. NULL means identity.
 
virtual const OperatorGetOutputProlongation () const
 Prolongation operator from linear algebra (linear system) vectors, to output vectors for the operator. NULL means identity.
 
virtual const OperatorGetOutputRestrictionTranspose () const
 Transpose of GetOutputRestriction, directly available in this form to facilitate matrix-free RAP-type operators.
 
virtual const OperatorGetOutputRestriction () const
 Restriction operator from output vectors for the operator to linear algebra (linear system) vectors. NULL means identity.
 
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.
 
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.
 
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().
 
void FormSystemOperator (const Array< int > &ess_tdof_list, Operator *&A)
 Return in A a parallel (on truedofs) version of this square operator.
 
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).
 
void FormDiscreteOperator (Operator *&A)
 Return in A a parallel (on truedofs) version of this rectangular operator.
 
void PrintMatlab (std::ostream &out, int n, int m=0) const
 Prints operator with input size n and output size m in Matlab format.
 
virtual void PrintMatlab (std::ostream &out) const
 Prints operator in Matlab format.
 
virtual ~Operator ()
 Virtual destructor.
 
Type GetType () const
 Return the type ID of the Operator class.
 

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.
 
- 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.
 
void CheckFESpace ()
 Verify that L2FaceRestriction is built from an L2 FESpace.
 
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.
 
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.
 
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.
 
void SetBoundaryDofsScatterIndices2 (const Mesh::FaceInformation &face, const int face_index)
 Set the scattering indices of elem2 for the boundary face described by the face.
 
void SetFaceDofsGatherIndices1 (const Mesh::FaceInformation &face, const int face_index)
 Set the gathering indices of elem1 for the interior face described by the face.
 
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.
 
- Protected Member Functions inherited from mfem::Operator
void FormConstrainedSystemOperator (const Array< int > &ess_tdof_list, ConstrainedOperator *&Aout)
 see FormSystemOperator()
 
void FormRectangularConstrainedSystemOperator (const Array< int > &trial_tdof_list, const Array< int > &test_tdof_list, RectangularConstrainedOperator *&Aout)
 see FormRectangularSystemOperator()
 
OperatorSetupRAP (const Operator *Pi, const Operator *Po)
 Returns RAP Operator of this, using input/output Prolongation matrices Pi corresponds to "P", Po corresponds to "Rt".
 

Protected Attributes

InterpolationManager interpolations
 
Vector x_interp
 
- Protected Attributes inherited from mfem::L2FaceRestriction
const FiniteElementSpacefes
 
const ElementDofOrdering ordering
 
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
 
std::unique_ptr< L2NormalDerivativeFaceRestrictionnormal_deriv_restr
 
Array< int > face_map
 
- Protected Attributes inherited from mfem::Operator
int height
 Dimension of the output / number of rows in the matrix.
 
int width
 Dimension of the input / number of columns in the matrix.
 

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 860 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]fesThe FiniteElementSpace on which this operates
[in]f_orderingRequest a specific face dof ordering
[in]typeRequest internal or boundary faces dofs
[in]mRequest the face dofs for elem1, or both elem1 and elem2
[in]buildRequest the NCL2FaceRestriction to compute the scatter/gather indices. False should only be used when inheriting from NCL2FaceRestriction.

Definition at line 1677 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]fesThe FiniteElementSpace on which this operates
[in]f_orderingRequest a specific face dof ordering
[in]typeRequest internal or boundary faces dofs
[in]mRequest the face dofs for elem1, or both elem1 and elem2

Definition at line 1695 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_dataThe 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_dataThe 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 2037 of file restriction.cpp.

◆ AddMultTranspose()

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

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

Parameters
[in]xThe 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]yThe L-vector degrees of freedom.
[in]aScalar coefficient for addition.

Reimplemented from mfem::L2FaceRestriction.

Reimplemented in mfem::ParNCL2FaceRestriction.

Definition at line 1900 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]xThe 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]yThe 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.

Reimplemented in mfem::ParNCL2FaceRestriction.

Definition at line 1931 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]xThe dofs vector that needs coarse dofs to be express in term of the fine basis.

Definition at line 1709 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]xThe L-vector degrees of freedom.
[out]yThe 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 1702 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]xThe 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 1837 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]xThe dofs vector that needs coarse dofs to be express in term of the coarse basis, the result is stored in x.

Definition at line 1851 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]matThe sparse matrix for which we want to initialize the row offsets.
[in]keep_nbr_blockWhen 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.

Reimplemented in mfem::ParNCL2FaceRestriction.

Definition at line 1960 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_dataThe 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]matThe sparse matrix that is getting filled.
[in]keep_nbr_blockWhen 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.

Reimplemented in mfem::ParNCL2FaceRestriction.

Definition at line 1976 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]xThe L-vector degrees of freedom.
[out]yThe 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.

Reimplemented in mfem::ParNCL2FaceRestriction.

Definition at line 1757 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]xThe 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 1773 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]xThe dofs vector that needs coarse dofs to be express in term of the coarse basis, the result is stored in x.

Definition at line 1788 of file restriction.cpp.

Member Data Documentation

◆ interpolations

InterpolationManager mfem::NCL2FaceRestriction::interpolations
protected

Definition at line 863 of file restriction.hpp.

◆ x_interp

Vector mfem::NCL2FaceRestriction::x_interp
mutableprotected

Definition at line 864 of file restriction.hpp.


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