concepts::Permutation< F > Class Template Reference

#include <permutation.hh>

Inheritance diagram for concepts::Permutation< F >:

Public Types
typedef Realtype< F >::type	r_type
	Real type of data type.
typedef Cmplxtype< F >::type	c_type
	Complex type of data type.
typedef std::conditional< std::is_same< typenameRealtype< F >::type, F >::value, typenameRealtype< F >::type, typenameCmplxtype< F >::type >::type	d_type
	Data type, depending if F is real or complex.
typedef F	value_type
typedef _Matrix_iterator< F, F &, F * >	iterator
typedef _Matrix_iterator< F, const F &, const F * >	const_iterator
typedef F	type
	Type of data, e.g. matrix entries.

Public Member Functions
template<class G >
	Permutation (const Space< G > &space, const Array< int > &perm, bool transpose=false)
	Permutation (uint dim, const Array< int > &perm, bool transpose=false)
	Permutation (const Permutation< F > &perm, bool transpose=false)
virtual void	operator() (const Function< r_type > &fncY, Function< F > &fncX)
	Computes fncX = A(fncY) where A is this matrix.
virtual void	operator() (const Function< c_type > &fncY, Function< c_type > &fncX)
int	operator[] (const uint i) const
	Returns the permutation of index i.
virtual F	operator() (const uint i, const uint j) const
	Returns entry with indices i and j.
virtual F &	operator() (const uint i, const uint j)
	Returns and allows access to entry with indices i and j.
virtual void	transpMult (const Vector< r_type > &fncY, Vector< F > &fncX)
	Computes fncX = AT fncY where A is this matrix.
virtual void	transpMult (const Vector< c_type > &fncY, Vector< c_type > &fncX)
void	composeRestr (const TrivExtendRestrict< F > &restr, Matrix< F > &dest) const
void	convertToMatrix (Matrix< F > &dest) const
const uint	nofRows () const
	Number of rows.
const uint	nofCols () const
	Number of columns.
iterator	begin (uint r=0)
const_iterator	begin (uint r=0) const
iterator	end ()
	Iterator, standing behind last element.
const_iterator	end () const
	Constant iterator, standing behind last element.
virtual void	set (const uint i, const uint j, const F value, const bool use_threshold=false, const Real threshold_value=1e-8)
virtual void	add (const uint i, const uint j, const F value, const bool use_threshold=false, const Real threshold_value=1e-8)
virtual void	operator() ()
virtual bool	operator== (const Matrix< F > &otherMat) const
virtual const uint	dimX () const
virtual const uint	dimY () const
virtual void	show_messages ()

Static Public Member Functions
template<class G >
static void	assembly (Matrix< F > &dest, const Space< G > &spc, const BilinearForm< F, G > &bf, const Real threshold=0.0)
template<class G >
static void	assembly (Matrix< F > &dest, Scan< Element< G > > *sc, const BilinearForm< F, G > &bf, const Real threshold=0.0)
template<class G >
static void	assembly (Matrix< F > &dest, const Sequence< ElementWithCell< G > * > seq, const BilinearForm< F, G > &bf, const Real threshold=0.0)
template<class G >
static void	assembly (Matrix< F > &dest, const Space< G > &spc, const Sequence< bool > &seq, const BilinearForm< F, G > &bf, const Real threshold=0.0)
template<class G >
static void	assembly (Matrix< F > &dest, const Space< G > &spcX, const Space< G > &spcY, const BilinearForm< F, G > &bf, const Real threshold=0.0, const bool single=false)
template<class G >
static void	assembly (Matrix< F > &dest, const Sequence< ElementWithCell< G > * > seqX, const Space< G > &spcY, const BilinearForm< F, G > &bf, const Real threshold=0.0)
template<class G >
static void	assembly (Matrix< F > &dest, const BilinearForm< F, G > &bf, const ElementPairList< G > &pairs)
template<class G >
static void	assembly (Matrix< F > &dest, const Space< G > &spcX, const Space< G > &spcY, const Sequence< bool > &seq, const BilinearForm< F, G > &bf, const Real threshold=0.0, const bool single=false)
Timing Interface
These functions are used to get timings from class internal computations. The values are stored in a user defined concepts::InOutParameters structure in different arrays (see setTimings). These arrays can be grouped into a table for easier postprocessing with concepts::ResultsTable table; table.addMap(concepts::ResultsTable::DOUBLE, "jacobian", output); table.addMap(concepts::ResultsTable::DOUBLE, "whole_sumfact", output); std::ofstream ofs("table.gnuplot"); ofs << std::setprecision(20); table.print<concepts::ResultsTable::GNUPLOT>(ofs);
static void	setTimings (InOutParameters *timings)
static bool	timings ()

Protected Member Functions
virtual std::ostream &	info (std::ostream &os) const
	Returns information in an output stream.

Protected Attributes
uint	dimX_
	Dimension of image space and the source space.
uint	dimY_

Detailed Description

template<typename F>
class concepts::Permutation< F >

Permutation operator. This operator permutes a vector according to a given permutation (given as an array of indices).

The forward permutation acts like x[i] = y[perm[i]] on the vectors. The inverse acts like x[perm[i]] = y[i].

Test:

test::MoreCompositionsTest

Author

Philipp Frauenfelder, 2002

Definition at line 41 of file permutation.hh.

Member Typedef Documentation

c_type

template<typename F >

typedef Cmplxtype<F>::type concepts::Permutation< F >::c_type

Complex type of data type.

Definition at line 46 of file permutation.hh.

const_iterator

template<class F >

typedef _Matrix_iterator<F, const F&, const F*> concepts::Matrix< F >::const_iterator

inherited

Definition at line 51 of file matrix.hh.

d_type

template<typename F >

typedef std::conditional<std::is_same<typenameRealtype<F>::type,F>::value,typenameRealtype<F>::type,typenameCmplxtype<F>::type>::type concepts::Permutation< F >::d_type

Data type, depending if F is real or complex.

Definition at line 49 of file permutation.hh.

iterator

template<class F >

typedef _Matrix_iterator<F, F&, F*> concepts::Matrix< F >::iterator

inherited

Definition at line 50 of file matrix.hh.

r_type

template<typename F >

typedef Realtype<F>::type concepts::Permutation< F >::r_type

Real type of data type.

Definition at line 44 of file permutation.hh.

type

template<class F >

typedef F concepts::Operator< F >::type

inherited

Type of data, e.g. matrix entries.

Definition at line 45 of file compositions.hh.

value_type

template<class F >

typedef F concepts::Matrix< F >::value_type

inherited

Definition at line 41 of file matrix.hh.

Constructor & Destructor Documentation

Permutation() [1/2]

template<typename F >

template<class G >

concepts::Permutation< F >::Permutation	(	const Space< G > &	space,
		const Array< int > &	perm,
		bool	transpose = false
	)

Constructor.

Parameters

space	Source and image space
perm	Array defining the permutation
transpose	Applies the permutation (false) or its transpose (ie. its inverse, true)

Permutation() [2/2]

template<typename F >

concepts::Permutation< F >::Permutation	(	const Permutation< F > &	perm,
		bool	transpose = false
	)

Copy constructor.

Parameters

perm	Permutation
transpose	Transposes the permutation while copying

Member Function Documentation

add()

template<class F >

virtual void concepts::Matrix< F >::add ( const uint  i, const uint  j, const F  value, const bool  use_threshold = false, const Real  threshold_value = 1e-8  )

virtualinherited

Addition operator Add the value to the entry (i,j) if not zero (for use_threshold = false), or if the absolute avlue is bigger than the threshold_value (for use_threshold = true)

assembly() [1/8]

template<class F >

template<class G >

static void concepts::Matrix< F >::assembly ( Matrix< F > &  dest, const BilinearForm< F, G > &  bf, const ElementPairList< G > &  pairs  )

staticinherited

Assembly operator for dest using the bilinear form bf. This assembly operator uses the element pairs taken from pairs. For every two elements found in a ElementPair in pairs, the bilinear form is evaluated and the result assembled into dest.

assembly() [2/8]

template<class F >

template<class G >

static void concepts::Matrix< F >::assembly ( Matrix< F > &  dest, const Sequence< ElementWithCell< G > * >  seq, const BilinearForm< F, G > &  bf, const Real  threshold = 0.0  )

staticinherited

Assembly operator for dest using the bilinear form bf. This assembly operator does not compute element matrices for two different elements. The elements are taken from the element sequence seq.

assembly() [3/8]

template<class F >

template<class G >

static void concepts::Matrix< F >::assembly ( Matrix< F > &  dest, const Sequence< ElementWithCell< G > * >  seqX, const Space< G > &  spcY, const BilinearForm< F, G > &  bf, const Real  threshold = 0.0  )

staticinherited

Assembly operator for dest using the bilinear form bf. This assembly operator computes also the element matrices for two different elements. The elements are taken from the element sequence seqX for the test space, and the trial space spcY is fully taken into account.

assembly() [4/8]

template<class F >

template<class G >

static void concepts::Matrix< F >::assembly ( Matrix< F > &  dest, const Space< G > &  spc, const BilinearForm< F, G > &  bf, const Real  threshold = 0.0  )

staticinherited

Assembly operator for dest using the bilinear form bf. This assembly operator does not compute element matrices for two different elements. The elements are taken from the space spc.

Examples

linearDG1d.cc.

assembly() [5/8]

template<class F >

template<class G >

static void concepts::Matrix< F >::assembly ( Matrix< F > &  dest, const Space< G > &  spc, const Sequence< bool > &  seq, const BilinearForm< F, G > &  bf, const Real  threshold = 0.0  )

staticinherited

Assembly operator for dest using the bilinear form bf on space spc. This assembly operator does not compute element matrices for two different elements. The elements are computing on the cells that are flagged by seq.

assembly() [6/8]

template<class F >

template<class G >

static void concepts::Matrix< F >::assembly ( Matrix< F > &  dest, const Space< G > &  spcX, const Space< G > &  spcY, const BilinearForm< F, G > &  bf, const Real  threshold = 0.0, const bool  single = false  )

staticinherited

Assembly operator for dest using the bilinear form bf. This assembly operator computes also the element matrices for two different elements (coming from test space spcX and trial space spcY).

assembly() [7/8]

template<class F >

template<class G >

static void concepts::Matrix< F >::assembly ( Matrix< F > &  dest, const Space< G > &  spcX, const Space< G > &  spcY, const Sequence< bool > &  seq, const BilinearForm< F, G > &  bf, const Real  threshold = 0.0, const bool  single = false  )

staticinherited

Assembly operator for dest using the bilinear form bf. This assembly operator computes also the element matrices for two different elements (coming from test space spcX and trial space spcY). The elements are computing on the cells that are flagged by seq.

assembly() [8/8]

template<class F >

template<class G >

static void concepts::Matrix< F >::assembly ( Matrix< F > &  dest, Scan< Element< G > > *  sc, const BilinearForm< F, G > &  bf, const Real  threshold = 0.0  )

staticinherited

Assembly operator for dest using the bilinear form bf. This assembly operator does not compute element matrices for two different elements. The elements are taken from the space scanner sc.

begin() [1/2]

template<class F >

iterator concepts::Matrix< F >::begin ( uint  r = 0 )

inlineinherited

Iterator over the elements, standing at position (r,0).

Might be implemented differently for derived classes.

Definition at line 64 of file matrix.hh.

begin() [2/2]

template<class F >

const_iterator concepts::Matrix< F >::begin ( uint  r = 0 ) const

inlineinherited

Constant iterator over the elements, standing at position (r,0)

Might be implemented differently for derived classes.

Definition at line 71 of file matrix.hh.

composeRestr()

template<typename F >

void concepts::Permutation< F >::composeRestr	(	const TrivExtendRestrict< F > &	restr,
		Matrix< F > &	dest
	)		const

Computes the composition of a Permutation and a TrivExtendRestrict and stores the result in dest.

convertToMatrix()

template<typename F >

void concepts::Permutation< F >::convertToMatrix

(

Matrix< F > &

dest

)

const

Convertes this permutation to the matrix dest

Precondition

dest is empty

dimX()

template<class F >

virtual const uint concepts::Operator< F >::dimX ( ) const

inlinevirtualinherited

Returns the size of the image space of the operator (number of rows of the corresponding matrix)

Examples

hpFEM2d-simple.cc, hpFEM2d.cc, and matfileTutorial.cc.

Definition at line 93 of file compositions.hh.

dimY()

template<class F >

virtual const uint concepts::Operator< F >::dimY ( ) const

inlinevirtualinherited

Returns the size of the source space of the operator (number of columns of the corresponding matrix)

Examples

matfileTutorial.cc.

Definition at line 98 of file compositions.hh.

end() [1/2]

template<class F >

iterator concepts::Matrix< F >::end ( )

inlineinherited

Iterator, standing behind last element.

Definition at line 66 of file matrix.hh.

end() [2/2]

template<class F >

const_iterator concepts::Matrix< F >::end ( ) const

inlineinherited

Constant iterator, standing behind last element.

Definition at line 73 of file matrix.hh.

info()

template<typename F >

virtual std::ostream & concepts::Permutation< F >::info ( std::ostream &  os ) const

protectedvirtual

Returns information in an output stream.

Reimplemented from concepts::Operator< F >.

nofCols()

template<class F >

const uint concepts::Matrix< F >::nofCols ( ) const

inlineinherited

Number of columns.

Definition at line 58 of file matrix.hh.

nofRows()

template<class F >

const uint concepts::Matrix< F >::nofRows ( ) const

inlineinherited

Number of rows.

Definition at line 56 of file matrix.hh.

operator()() [1/5]

template<class F >

virtual void concepts::Operator< F >::operator() ( )

virtualinherited

Application operator without argument

Reimplemented in concepts::BelosSolver< T >, concepts::VecOperator< F >, concepts::VecOperator< Cmplx >, concepts::VecOperator< F::d_type >, concepts::VecOperator< Real >, and concepts::VecOperator< T >.

operator()() [2/5]

template<typename F >

virtual void concepts::Permutation< F >::operator() ( const Function< c_type > &  fncY, Function< c_type > &  fncX  )

virtual

Application operator for complex function fncY.

Computes fncX = A(fncY) where A is this operator. fncX becomes complex.

In derived classes its enough to implement the operator() for complex Operator's. If a real counterpart is not implemented, the function fncY is splitted into real and imaginary part and the application operator for real functions is called for each. Then the result is combined.

If in a derived class the operator() for complex Operator's is not implemented, a exception is thrown from here.

Implements concepts::Matrix< F >.

operator()() [3/5]

template<typename F >

virtual void concepts::Permutation< F >::operator() ( const Function< r_type > &  fncY, Function< F > &  fncX  )

virtual

Computes fncX = A(fncY) where A is this matrix.

Implements concepts::Matrix< F >.

operator()() [4/5]

template<typename F >

virtual F & concepts::Permutation< F >::operator() ( const uint  i, const uint  j  )

virtual

Returns and allows access to entry with indices i and j.

Implements concepts::Matrix< F >.

operator()() [5/5]

template<typename F >

virtual F concepts::Permutation< F >::operator() ( const uint  i, const uint  j  ) const

virtual

Returns entry with indices i and j.

Implements concepts::Matrix< F >.

operator==()

template<class F >

virtual bool concepts::Matrix< F >::operator== ( const Matrix< F > &  otherMat ) const

inlinevirtualinherited

Definition at line 179 of file matrix.hh.

operator[]()

template<typename F >

int concepts::Permutation< F >::operator[] ( const uint  i ) const

inline

Returns the permutation of index i.

Definition at line 74 of file permutation.hh.

set()

template<class F >

virtual void concepts::Matrix< F >::set ( const uint  i, const uint  j, const F  value, const bool  use_threshold = false, const Real  threshold_value = 1e-8  )

virtualinherited

Affectation operator Affet the value to the entry (i,j) if not zero (for use_threshold = false), or if the absolute value is bigger than the threshold_value (for use_threshold = true)

setTimings()

template<class F >

static void concepts::Matrix< F >::setTimings ( InOutParameters *  timings )

staticinherited

Sets the class to store the timing values in. Additionally, the timeCntr_ is reset to 0. This counter is used to fill in the values into the arrays listed below in subsequent calls. The following timings are taken and stored in timings:

• evaluation of bilinear form in bilinear_form
• application of T matrix in tmatrix_apply
• assembling into global matrix in global_assembly

show_messages()

template<class F >

virtual void concepts::Operator< F >::show_messages ( )

inlinevirtualinherited

Reimplemented in concepts::MumpsOverlap< F >.

Definition at line 100 of file compositions.hh.

timings()

template<class F >

static bool concepts::Matrix< F >::timings ( )

staticinherited

Returns true if the class is able to do timings. The ability to do timings depends on a compiler switch in matrix.cc file.

transpMult() [1/2]

template<typename F >

virtual void concepts::Permutation< F >::transpMult ( const Vector< c_type > &  fncY, Vector< c_type > &  fncX  )

virtual

Implements concepts::Matrix< F >.

transpMult() [2/2]

template<typename F >

virtual void concepts::Permutation< F >::transpMult ( const Vector< r_type > &  fncY, Vector< F > &  fncX  )

virtual

Computes fncX = A^T fncY where A is this matrix.

Implements concepts::Matrix< F >.

Member Data Documentation

dimX_

template<class F >

uint concepts::Operator< F >::dimX_

protectedinherited

Dimension of image space and the source space.

Definition at line 104 of file compositions.hh.

dimY_

template<class F >

uint concepts::Operator< F >::dimY_

protectedinherited

Definition at line 104 of file compositions.hh.

---

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

• operator/permutation.hh