Set that stores all derivatives to given order in doubleton form with reorganization moved by QR decomposition method. More...

#include <capd/dynset/CnRect2Set.h>

Public Types
typedef MatrixT	MatrixType

typedef CnSet< MatrixT, DEGREE >	SetType

typedef SetType::VectorType	VectorType

typedef SetType::ScalarType	ScalarType

typedef SetType::RefVectorType	RefVectorType

typedef SetType::JetType	JetType

typedef SetType::Multipointer	Multipointer

typedef SetType::Multiindex	Multiindex

typedef MatrixType::size_type	size_type

Public Member Functions
	CnRect2Set (const VectorType &x, size_type degree, ScalarType t=TypeTraits< ScalarType >::zero())

	CnRect2Set (const VectorType &x, const VectorType &r0, size_type degree, ScalarType t=TypeTraits< ScalarType >::zero())

	CnRect2Set (const VectorType &x, const MatrixType &C, const VectorType &r0, size_type degree, ScalarType t=TypeTraits< ScalarType >::zero())

	CnRect2Set (const VectorType &x, const MatrixType &C, const VectorType &r0, const VectorType &r, size_type degree, ScalarType t=TypeTraits< ScalarType >::zero())

	CnRect2Set (const VectorType &x, const MatrixType &C, const VectorType &r0, const MatrixType &B, const VectorType &r, size_type degree, ScalarType t=TypeTraits< ScalarType >::zero())

	CnRect2Set (const JetType &x, ScalarType t=TypeTraits< ScalarType >::zero())

CnRect2Set &	operator= (const VectorType &)

template<class DynSysT >
void	move (DynSysT &cndynsys)

template<class DynSysT >
void	move (DynSysT &cndynsys, CnRect2Set &result) const

std::string	show () const
	returns a set detailed information More...

ScalarType	evalAffineFunctional (const VectorType &gradient, const VectorType &x0) const

size_type	degree () const
	returns maximal order of partial derivative stored in the jet More...

size_type	dimension () const
	returns number of variables in the jet More...

ScalarType	maxDiam () const
	returns actual maximal diameter of the current set More...

const JetType &	currentSet () const
	returns actual set as a read-only jet. More...

JetType &	currentSet ()
	returns actual set as a jet More...

RefVectorType	getLastEnclosure () const
	returns an enclosure for trajectories for last performed step of integration. On initialization is equal to the current set. More...

MatrixType	getLastMatrixEnclosure () const
	returns an enclosure for first order variational equations for last performed step of integration. On initialization is equal to the current derivatives set. More...

virtual const JetType &	getLastJetEnclosure () const
	returns jet of enclosures computed in the last performed step of integration. More...

virtual void	setLastJetEnclosure (const JetType &enc)

	operator VectorType () const
	returns actual value of function represented by jet More...

	operator MatrixType () const
	returns actual derivative of function represented by jet More...

const ScalarType &	operator() (size_type i, const Multipointer &mp) const
	returns a Taylor coefficients corresponding to multipointer, (1/mp!)d^{mp}f_i More...

const ScalarType &	operator() (size_type i, const Multiindex &mp) const
	returns a Taylor coefficients corresponding to multiindex, (1/mp!)d^{mp}f_i More...

RefVectorType	operator() (const Multipointer &mp) const
	returns vector of Taylor coefficients corresponding to multipointer, i.e. result[i] = (1/mp!)d^{mp}f More...

const ScalarType &	operator() (size_type i, size_type j, size_type c) const
	returns Taylor coefficient corresponding to partial derivative d^2f_i/dx_jdx_c More...

const ScalarType &	operator() (size_type j, size_type c) const
	returns df_j/dx_c More...

const ScalarType &	operator() (size_type i) const
	returns actual value of f_i More...

const ScalarType	getCurrentTime () const

ScalarType &	refCurrentTime ()

void	setCurrentTime (const ScalarType &t)

ScalarType	evalAt (const Functional &f) const
	This method computes value of functor f at interval vector represented by this set. More...

Protected Attributes
JetType	m_currentSet

JetType	m_lastEnclosure

ScalarType	m_currentTime

Detailed Description

template<typename MatrixT, typename Policies, __size_type DEGREE = 0>
class capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >

Set that stores all derivatives to given order in doubleton form with reorganization moved by QR decomposition method.

Member Typedef Documentation

◆ JetType

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

typedef SetType::JetType capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::JetType

◆ MatrixType

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

typedef MatrixT capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::MatrixType

◆ Multiindex

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

typedef SetType::Multiindex capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::Multiindex

◆ Multipointer

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

typedef SetType::Multipointer capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::Multipointer

◆ RefVectorType

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

typedef SetType::RefVectorType capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::RefVectorType

◆ ScalarType

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

typedef SetType::ScalarType capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::ScalarType

◆ SetType

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

typedef CnSet<MatrixT,DEGREE> capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::SetType

◆ size_type

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

typedef MatrixType::size_type capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::size_type

◆ VectorType

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

typedef SetType::VectorType capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::VectorType

Constructor & Destructor Documentation

◆ CnRect2Set() [1/6]

template<typename MatrixType , typename Policies , __size_type DEGREE>

capd::dynset::CnRect2Set< MatrixType, Policies, DEGREE >::CnRect2Set	(	const VectorType &	x,
		size_type	degree,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ CnRect2Set() [2/6]

template<typename MatrixType , typename Policies , __size_type DEGREE>

capd::dynset::CnRect2Set< MatrixType, Policies, DEGREE >::CnRect2Set	(	const VectorType &	x,
		const VectorType &	r0,
		size_type	degree,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ CnRect2Set() [3/6]

template<typename MatrixType , typename Policies , __size_type DEGREE>

capd::dynset::CnRect2Set< MatrixType, Policies, DEGREE >::CnRect2Set	(	const VectorType &	x,
		const MatrixType &	C,
		const VectorType &	r0,
		size_type	degree,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ CnRect2Set() [4/6]

template<typename MatrixType , typename Policies , __size_type DEGREE>

capd::dynset::CnRect2Set< MatrixType, Policies, DEGREE >::CnRect2Set	(	const VectorType &	x,
		const MatrixType &	C,
		const VectorType &	r0,
		const VectorType &	r,
		size_type	degree,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ CnRect2Set() [5/6]

template<typename MatrixType , typename Policies , __size_type DEGREE>

capd::dynset::CnRect2Set< MatrixType, Policies, DEGREE >::CnRect2Set	(	const VectorType &	x,
		const MatrixType &	C,
		const VectorType &	r0,
		const MatrixType &	B,
		const VectorType &	r,
		size_type	degree,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

◆ CnRect2Set() [6/6]

template<typename MatrixType , typename Policies , __size_type DEGREE>

capd::dynset::CnRect2Set< MatrixType, Policies, DEGREE >::CnRect2Set	(	const JetType &	x,
		ScalarType	t = `TypeTraits<ScalarType>::zero()`
	)

Member Function Documentation

◆ currentSet() [1/2]

JetType & capd::dynset::CnSet< MatrixT, DEGREE >::currentSet ( )

inlineinherited

returns actual set as a jet

◆ currentSet() [2/2]

const JetType & capd::dynset::CnSet< MatrixT, DEGREE >::currentSet ( ) const

inlineinherited

returns actual set as a read-only jet.

◆ degree()

size_type capd::dynset::CnSet< MatrixT, DEGREE >::degree ( ) const

inlineinherited

returns maximal order of partial derivative stored in the jet

◆ dimension()

size_type capd::dynset::CnSet< MatrixT, DEGREE >::dimension ( ) const

inlineinherited

returns number of variables in the jet

◆ evalAffineFunctional()

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

ScalarType capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::evalAffineFunctional	(	const VectorType &	gradient,
		const VectorType &	x0
	)		const

inline

◆ evalAt()

ScalarType capd::dynset::AbstractSet< MatrixT::RowVectorType >::evalAt ( const Functional & f ) const

inlineinherited

This method computes value of functor f at interval vector represented by this set.

◆ getCurrentTime()

const ScalarType capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::getCurrentTime ( ) const

inlineinherited

◆ getLastEnclosure()

RefVectorType capd::dynset::CnSet< MatrixT, DEGREE >::getLastEnclosure ( ) const

inlineinherited

returns an enclosure for trajectories for last performed step of integration. On initialization is equal to the current set.

◆ getLastJetEnclosure()

virtual const JetType & capd::dynset::CnSet< MatrixT, DEGREE >::getLastJetEnclosure ( ) const

inlinevirtualinherited

returns jet of enclosures computed in the last performed step of integration.

◆ getLastMatrixEnclosure()

MatrixType capd::dynset::CnSet< MatrixT, DEGREE >::getLastMatrixEnclosure ( ) const

inlineinherited

returns an enclosure for first order variational equations for last performed step of integration. On initialization is equal to the current derivatives set.

◆ maxDiam()

ScalarType capd::dynset::CnSet< MatrixT, DEGREE >::maxDiam ( ) const

inlineinherited

returns actual maximal diameter of the current set

◆ move()

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

template<class DynSysT >

void capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::move ( DynSysT & cndynsys )

inline

◆ operator MatrixType()

capd::dynset::CnSet< MatrixT, DEGREE >::operator MatrixType ( ) const

inlineinherited

returns actual derivative of function represented by jet

◆ operator VectorType()

capd::dynset::CnSet< MatrixT, DEGREE >::operator VectorType ( ) const

inlinevirtualinherited

returns actual value of function represented by jet

Implements capd::dynset::AbstractSet< MatrixT::RowVectorType >.

◆ operator()() [1/6]

RefVectorType capd::dynset::CnSet< MatrixT, DEGREE >::operator() ( const Multipointer & mp ) const

inlineinherited

returns vector of Taylor coefficients corresponding to multipointer, i.e. result[i] = (1/mp!)d^{mp}f

◆ operator()() [2/6]

const ScalarType & capd::dynset::CnSet< MatrixT, DEGREE >::operator() ( size_type i ) const

inlineinherited

returns actual value of f_i

◆ operator()() [3/6]

const ScalarType & capd::dynset::CnSet< MatrixT, DEGREE >::operator()	(	size_type	i,
		const Multiindex &	mp
	)		const

inlineinherited

returns a Taylor coefficients corresponding to multiindex, (1/mp!)d^{mp}f_i

◆ operator()() [4/6]

const ScalarType & capd::dynset::CnSet< MatrixT, DEGREE >::operator()	(	size_type	i,
		const Multipointer &	mp
	)		const

inlineinherited

returns a Taylor coefficients corresponding to multipointer, (1/mp!)d^{mp}f_i

◆ operator()() [5/6]

const ScalarType & capd::dynset::CnSet< MatrixT, DEGREE >::operator()	(	size_type	i,
		size_type	j,
		size_type	c
	)		const

inlineinherited

returns Taylor coefficient corresponding to partial derivative d^2f_i/dx_jdx_c

◆ operator()() [6/6]

const ScalarType & capd::dynset::CnSet< MatrixT, DEGREE >::operator()	(	size_type	j,
		size_type	c
	)		const

inlineinherited

returns df_j/dx_c

◆ operator=()

template<typename MatrixType , typename Policies , __size_type DEGREE>

CnRect2Set< MatrixType, Policies, DEGREE > & capd::dynset::CnRect2Set< MatrixType, Policies, DEGREE >::operator= ( const VectorType & v )

◆ refCurrentTime()

ScalarType & capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::refCurrentTime ( )

inlineinherited

◆ setCurrentTime()

void capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::setCurrentTime ( const ScalarType & t )

inlineinherited

◆ setLastJetEnclosure()

virtual void capd::dynset::CnSet< MatrixT, DEGREE >::setLastJetEnclosure ( const JetType & enc )

inlinevirtualinherited

◆ show()

template<typename MatrixT , typename Policies , __size_type DEGREE = 0>

std::string capd::dynset::CnRect2Set< MatrixT, Policies, DEGREE >::show ( void ) const

inlinevirtual

returns a set detailed information

Implements capd::dynset::AbstractSet< MatrixT::RowVectorType >.

Member Data Documentation

◆ m_currentSet

JetType capd::dynset::CnSet< MatrixT, DEGREE >::m_currentSet

protectedinherited

◆ m_currentTime

ScalarType capd::diffAlgebra::TimeRange< MatrixT::ScalarType >::m_currentTime

protectedinherited

◆ m_lastEnclosure

JetType capd::dynset::CnSet< MatrixT, DEGREE >::m_lastEnclosure

protectedinherited

Public Types

Public Member Functions

Protected Attributes

Detailed Description

Member Typedef Documentation

◆ JetType

◆ MatrixType

◆ Multiindex

◆ Multipointer

◆ RefVectorType

◆ ScalarType

◆ SetType

◆ size_type

◆ VectorType

Constructor & Destructor Documentation

◆ CnRect2Set() [1/6]

◆ CnRect2Set() [2/6]

◆ CnRect2Set() [3/6]

◆ CnRect2Set() [4/6]

◆ CnRect2Set() [5/6]

◆ CnRect2Set() [6/6]

Member Function Documentation

◆ currentSet() [1/2]

◆ currentSet() [2/2]

◆ degree()

◆ dimension()

◆ evalAffineFunctional()

◆ evalAt()

◆ getCurrentTime()

◆ getLastEnclosure()

◆ getLastJetEnclosure()

◆ getLastMatrixEnclosure()

◆ maxDiam()

◆ move()

◆ operator MatrixType()

◆ operator VectorType()

◆ operator()() [1/6]

◆ operator()() [2/6]

◆ operator()() [3/6]

◆ operator()() [4/6]

◆ operator()() [5/6]

◆ operator()() [6/6]

◆ operator=()

◆ refCurrentTime()

◆ setCurrentTime()

◆ setLastJetEnclosure()

◆ show()

Member Data Documentation

◆ m_currentSet

◆ m_currentTime

◆ m_lastEnclosure