capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT > Class Template Reference

MapT constraints: type definitions: More...

#include <capd/dynsys/BasicOdeSolver.h>

Public Types
typedef MapT	VectorFieldType
typedef StepControlT	StepControlType
typedef VectorFieldType::FunctionType	FunctionType
typedef VectorFieldType::MatrixType	MatrixType
typedef MatrixType::RowVectorType	VectorType
typedef MatrixType::ScalarType	ScalarType
typedef MatrixType::size_type	size_type
typedef CurveT	SolutionCurve
typedef VectorFieldType::JetType	JetType
typedef JetType::Multipointer	Multipointer
typedef JetType::Multiindex	Multiindex
typedef TypeTraits< ScalarType >::Real	Real
typedef Hessian< ScalarType, VectorType::csDim, VectorType::csDim >	HessianType
typedef __difference_type	difference_type
typedef VectorType::iterator	iterator
typedef VectorType::const_iterator	const_iterator

Public Member Functions
	BasicOdeSolver (VectorFieldType &field, size_type order, const StepControlT &stepControl=StepControlT())
VectorType	operator() (VectorType)
	Computes image of vector v after one time step. More...
VectorType	operator() (ScalarType &t, const VectorType &u)
	Computes image of vector v after one time step. The argument t is updated in this procedure. More...
VectorType	operator() (VectorType, MatrixType &o_resultDerivative)
	Computes image of vector v and derivatives of the flow with respect to init condition (v,identity). Version for autonomous systems. More...
VectorType	operator() (ScalarType &t, const VectorType &, MatrixType &o_resultDerivative)
	Computes image of vector v and derivatives of the flow with respect to init condition (v,identity). Version for nonautonomous systems. The argument t is updated in this procedure. More...
VectorType	operator() (VectorType, const MatrixType &derivative, MatrixType &o_resultDerivative)
	Computes image of vector v and derivatives of a flow with respect to init condition (v, derivative) More...
VectorType	operator() (ScalarType &t, const VectorType &v, const MatrixType &derivative, MatrixType &o_resultDerivative)
	Computes image of vector v and derivatives of a flow with respect to init condition (v, derivative). The argument t is updated in this procedure. More...
template<typename JetT >
void	operator() (JetT &jet)
	This operator computes image of the set (in given representation) using set.move function, see capd/dynsys/Move.h for details This template together with SetTraits prevent usage of various types of jets with incompatible solvers. The user will get an exception at runtime with clear message instead of unreadable compiler error. In this case a specialization C1JetMove is used meaning that this solver can integrate C^0 and C^1 jets only. More...
const VectorFieldType &	getVectorField () const
	Returns vector field. More...
VectorFieldType &	getVectorField ()
void	setOrder (size_type order)
	Sets the order of the Taylor method. More...
ScalarType	getStep () const
	Returns the time step made in the last call to this solver. More...
void	setStep (const ScalarType &newStep)
	Sets fixed time step and turns off step control. More...
void	computeCoefficientsAtCenter (const VectorType &x, size_type order)
void	computeCoefficientsAtCenter (ScalarType t, const VectorType &x, size_type order)
void	computeCoefficients (const VectorType &x, size_type order)
void	computeCoefficients (ScalarType t, const VectorType &x, size_type order)
void	computeCoefficients (const VectorType &x, const MatrixType &M, size_type order)
void	computeCoefficients (ScalarType t, const VectorType &x, const MatrixType &M, size_type order)
const SolutionCurve &	getCurve ()
virtual ScalarType	getCoeffNorm (size_type i, size_type degree) const
size_type	dimension () const
VectorType	enclosure (const ScalarType &, const VectorType &)
void	adjustTimeStep (const ScalarType &newStep)
	sets time step but does not change step control settings (compare setStep) More...
template<class Iterator >
void	setMask (Iterator b, Iterator e)
	The iterator range [b,e) should contain a range of Multiinideces the user requires to compute. More...
void	addMultiindexToMask (const Multiindex &mi)
	Adds new multiindex (along with dependencies) to the existing mask. More...
void	resetMask ()
	Resets the mask of derivatives. More...
void	turnOnStepControl ()
void	turnOffStepControl ()
void	onOffStepControl (bool _onOffStepControl)
const StepControlType &	getStepControl () const
void	setStepControl (const StepControlType &stepControl)
bool	isStepChangeAllowed () const
void	setAbsoluteTolerance (TolScalarType tol)
void	setRelativeTolerance (TolScalarType tol)
TolScalarType	getAbsoluteTolerance () const
TolScalarType	getRelativeTolerance () const
MapT::ScalarType	getMaxStep () const
void	setMaxStep (MapT::ScalarType maxStep)
VectorType	timeDerivative (const ScalarType &h) const
VectorType	operator() (const ScalarType &h) const
MatrixType	derivative (const ScalarType &h) const
MatrixType	operator[] (const ScalarType &h) const
virtual void	setOrder (size_type order)
	Sets the order of Taylor interpolation. More...
size_type	getOrder () const
	Returns the order of Taylor interpolation. More...
size_type	getAllocatedOrder () const
	Returns maximal allocated order - used to avoid memory reallocation. More...
size_type	dimension () const
	Returns the dimension in which the parametric curve is embedded. More...
void	clearCoefficients ()
	sets all coefficients to zero More...
const ScalarType &	centerCoefficient (size_type i, size_type j) const
ScalarType &	centerCoefficient (size_type i, size_type j)
const ScalarType &	coefficient (size_type i, size_type j) const
const ScalarType &	coefficient (size_type i, size_type j, size_type k) const
ScalarType &	coefficient (size_type i, size_type j)
ScalarType &	coefficient (size_type i, size_type j, size_type k)
const ScalarType &	remainderCoefficient (size_type i, size_type j) const
const ScalarType &	remainderCoefficient (size_type i, size_type j, size_type k) const
ScalarType &	remainderCoefficient (size_type i, size_type j)
ScalarType &	remainderCoefficient (size_type i, size_type j, size_type k)
const VectorType *	getCoefficientsAtCenter () const
VectorType *	getCoefficientsAtCenter ()
const VectorType *	getCoefficients () const
VectorType *	getCoefficients ()
const VectorType *	getRemainderCoefficients () const
VectorType *	getRemainderCoefficients ()
const MatrixType *	getMatrixCoefficients () const
MatrixType *	getMatrixCoefficients ()
const MatrixType *	getMatrixRemainderCoefficients () const
MatrixType *	getMatrixRemainderCoefficients ()
iterator	beginCenterCoefficients (size_type j)
const_iterator	beginCenterCoefficients (size_type j) const
iterator	beginCoefficients (size_type j)
const_iterator	beginCoefficients (size_type j) const
iterator	beginRemainderCoefficients (size_type j)
const_iterator	beginRemainderCoefficients (size_type j) const
iterator	beginMatrixCoefficients (size_type j)
const_iterator	beginMatrixCoefficients (size_type j) const
iterator	beginMatrixRemainderCoefficients (size_type j)
const_iterator	beginMatrixRemainderCoefficients (size_type j) const
iterator	endCenterCoefficients (size_type j)
const_iterator	endCenterCoefficients (size_type j) const
iterator	endCoefficients (size_type j)
const_iterator	endCoefficients (size_type j) const
iterator	endRemainderCoefficients (size_type j)
const_iterator	endRemainderCoefficients (size_type j) const
iterator	endMatrixCoefficients (size_type j)
const_iterator	endMatrixCoefficients (size_type j) const
iterator	endMatrixRemainderCoefficients (size_type j)
const_iterator	endMatrixRemainderCoefficients (size_type j) const
void	setInitMatrix (const MatrixType &)
void	setInitHessian (const HessianType &)
void	setInitJet (const JetType &)
std::runtime_error	domainErrorMessage (std::string msg, ScalarType h, Real left, Real right) const
virtual HessianType	hessian (const ScalarType &) const
virtual JetType	jet (const ScalarType &) const
virtual void	eval (ScalarType, JetType &) const
virtual void	setDomain (Real left, Real right)
virtual Real	getLeftDomain () const
virtual Real	getRightDomain () const

Static Public Member Functions
static TolScalarType	getEffectiveTolerance (Solver &solver, const SetType &s)

Protected Member Functions
void	setCurrentTime (const ScalarType &a_time) const
const ScalarType &	getCurrentTime () const
const bool *	getMask () const
bool	getMask (size_type j) const
void	computeTimeStep (VectorType &v)
void	sumTaylorSeries (VectorType &v, VectorType *coeff, size_type order)
void	sumTaylorSeries (VectorType &v, MatrixType &der, VectorType *coeff, MatrixType *matrixCoeff, size_type order)
void	operator= (const BasicOdeSolver &)
	BasicOdeSolver (const BasicOdeSolver &solver)
	we do not allow copying of objects More...
void	allocate ()
void	deallocate ()
void	copyData (const BasicCurve &c)

Protected Attributes
VectorFieldType *	m_vField
	we do not allow copying of objects More...
ScalarType	m_fixedTimeStep
ScalarType	m_step
StepControlType	m_stepControl
bool	m_onOffStepControl
TolScalarType	m_absoluteTolerance
TolScalarType	m_relativeTolerance
MapT::ScalarType	m_maxStep
VectorType *	m_coefficientsAtCenter
VectorType *	m_coefficients
VectorType *	m_remainderCoefficients
MatrixType *	m_matrixCoefficients
MatrixType *	m_matrixRemainderCoefficients
size_type	m_order
size_type	m_allocatedOrder
size_type	m_dimension
Real	m_left
Real	m_right
	domain More...

Detailed Description

template<typename MapT, typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>
class capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >

MapT constraints: type definitions:

• FunctionType
• MatrixType
• MatrixType::RowVectorType
• MatrixType::ScalarType

methods:

• dimension - dimension of the space
• getOrder, setOrder - order of Taylor expansion
• operator()(a, i) - computes coeffs a_i from a = a_{i-1}
• variational(x_coeff, m_F, m_order);

Member Typedef Documentation

const_iterator

typedef VectorType::const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::const_iterator

inherited

difference_type

typedef __difference_type capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::difference_type

inherited

FunctionType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef VectorFieldType::FunctionType capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::FunctionType

HessianType

typedef Hessian<ScalarType,VectorType::csDim,VectorType::csDim> capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::HessianType

inherited

iterator

typedef VectorType::iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::iterator

inherited

JetType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef VectorFieldType::JetType capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::JetType

MatrixType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef VectorFieldType::MatrixType capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::MatrixType

Multiindex

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef JetType::Multiindex capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::Multiindex

Multipointer

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef JetType::Multipointer capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::Multipointer

Real

typedef TypeTraits<ScalarType>::Real capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::Real

inherited

ScalarType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef MatrixType::ScalarType capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::ScalarType

size_type

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef MatrixType::size_type capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::size_type

SolutionCurve

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef CurveT capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::SolutionCurve

StepControlType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef StepControlT capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::StepControlType

VectorFieldType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef MapT capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::VectorFieldType

VectorType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

typedef MatrixType::RowVectorType capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::VectorType

Constructor & Destructor Documentation

BasicOdeSolver()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::BasicOdeSolver ( const BasicOdeSolver< MapT, StepControlT, CurveT > &  solver )

inlineprotected

we do not allow copying of objects

Member Function Documentation

addMultiindexToMask()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

void capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::addMultiindexToMask ( const Multiindex &  mi )

inline

Adds new multiindex (along with dependencies) to the existing mask.

Parameters

mi	multiindex to be added to the mask

Warning

causes undefined behavior if the mask has not been set before call to this method.

allocate()

void capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::allocate

protectedinherited

beginCenterCoefficients() [1/2]

iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::beginCenterCoefficients ( size_type  j )

inlineinherited

beginCenterCoefficients() [2/2]

const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::beginCenterCoefficients ( size_type  j ) const

inlineinherited

beginCoefficients() [1/2]

iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::beginCoefficients ( size_type  j )

inlineinherited

beginCoefficients() [2/2]

const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::beginCoefficients ( size_type  j ) const

inlineinherited

beginMatrixCoefficients() [1/2]

iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::beginMatrixCoefficients ( size_type  j )

inlineinherited

beginMatrixCoefficients() [2/2]

const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::beginMatrixCoefficients ( size_type  j ) const

inlineinherited

beginMatrixRemainderCoefficients() [1/2]

iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::beginMatrixRemainderCoefficients ( size_type  j )

inlineinherited

beginMatrixRemainderCoefficients() [2/2]

const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::beginMatrixRemainderCoefficients ( size_type  j ) const

inlineinherited

beginRemainderCoefficients() [1/2]

iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::beginRemainderCoefficients ( size_type  j )

inlineinherited

beginRemainderCoefficients() [2/2]

const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::beginRemainderCoefficients ( size_type  j ) const

inlineinherited

centerCoefficient() [1/2]

BasicCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::centerCoefficient ( size_type  i, size_type  j  )

inlineinherited

centerCoefficient() [2/2]

const BasicCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::centerCoefficient ( size_type  i, size_type  j  ) const

inlineinherited

clearCoefficients()

void capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::clearCoefficients

inherited

sets all coefficients to zero

coefficient() [1/4]

BasicCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::coefficient ( size_type  i, size_type  j  )

inlineinherited

coefficient() [2/4]

const BasicCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::coefficient ( size_type  i, size_type  j  ) const

inlineinherited

coefficient() [3/4]

BasicCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::coefficient ( size_type  i, size_type  j, size_type  k  )

inlineinherited

coefficient() [4/4]

const BasicCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::coefficient ( size_type  i, size_type  j, size_type  k  ) const

inlineinherited

copyData()

void capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::copyData ( const BasicCurve< typename MapT::MatrixType > &  c )

protectedinherited

deallocate()

void capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::deallocate

protectedinherited

derivative()

Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::MatrixType capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::derivative ( const ScalarType &  h ) const

virtualinherited

Implements capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType >.

dimension() [1/2]

BasicCurve< typename MapT::MatrixType >::size_type capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::dimension

inlineinherited

Returns the dimension in which the parametric curve is embedded.

dimension() [2/2]

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

size_type capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::dimension ( ) const

inline

domainErrorMessage()

std::runtime_error capd::diffAlgebra::CurveInterface< typename MapT::MatrixType >::domainErrorMessage ( std::string  msg, ScalarType  h, Real  left, Real  right  ) const

inlineinherited

enclosure()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

VectorType capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::enclosure ( const ScalarType &  , const VectorType &    )

inline

endCenterCoefficients() [1/2]

iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::endCenterCoefficients ( size_type  j )

inlineinherited

endCenterCoefficients() [2/2]

const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::endCenterCoefficients ( size_type  j ) const

inlineinherited

endCoefficients() [1/2]

iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::endCoefficients ( size_type  j )

inlineinherited

endCoefficients() [2/2]

const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::endCoefficients ( size_type  j ) const

inlineinherited

endMatrixCoefficients() [1/2]

iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::endMatrixCoefficients ( size_type  j )

inlineinherited

endMatrixCoefficients() [2/2]

const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::endMatrixCoefficients ( size_type  j ) const

inlineinherited

endMatrixRemainderCoefficients() [1/2]

iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::endMatrixRemainderCoefficients ( size_type  j )

inlineinherited

endMatrixRemainderCoefficients() [2/2]

const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::endMatrixRemainderCoefficients ( size_type  j ) const

inlineinherited

endRemainderCoefficients() [1/2]

iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::endRemainderCoefficients ( size_type  j )

inlineinherited

endRemainderCoefficients() [2/2]

const_iterator capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::endRemainderCoefficients ( size_type  j ) const

inlineinherited

eval()

virtual void capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::eval ( ScalarType  , JetType &    ) const

inlinevirtualinherited

getAbsoluteTolerance()

TolScalarType capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::getAbsoluteTolerance ( ) const

inlineinherited

getAllocatedOrder()

BasicCurve< typename MapT::MatrixType >::size_type capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getAllocatedOrder

inlineinherited

Returns maximal allocated order - used to avoid memory reallocation.

getCoefficients() [1/2]

VectorType* capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getCoefficients

inherited

getCoefficients() [2/2]

BasicCurve< typename MapT::MatrixType >::VectorType * capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getCoefficients

inlineinherited

getCoefficientsAtCenter() [1/2]

VectorType* capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getCoefficientsAtCenter

inherited

getCoefficientsAtCenter() [2/2]

BasicCurve< typename MapT::MatrixType >::VectorType * capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getCoefficientsAtCenter

inlineinherited

getCurrentTime()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

const ScalarType& capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::getCurrentTime ( ) const

inlineprotected

getEffectiveTolerance()

static TolScalarType capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::getEffectiveTolerance ( Solver &  solver, const SetType &  s  )

inlinestaticinherited

getLeftDomain()

ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::Real capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::getLeftDomain

inlinevirtualinherited

getMask() [1/2]

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

const bool* capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::getMask ( ) const

inlineprotected

getMask() [2/2]

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

bool capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::getMask ( size_type  j ) const

inlineprotected

getMatrixCoefficients() [1/2]

MatrixType* capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getMatrixCoefficients

inherited

getMatrixCoefficients() [2/2]

typename MapT::MatrixType * capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getMatrixCoefficients

inlineinherited

getMatrixRemainderCoefficients() [1/2]

MatrixType* capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getMatrixRemainderCoefficients

inherited

getMatrixRemainderCoefficients() [2/2]

typename MapT::MatrixType * capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getMatrixRemainderCoefficients

inlineinherited

getMaxStep()

MapT::ScalarType capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::getMaxStep ( ) const

inlineinherited

getOrder()

BasicCurve< typename MapT::MatrixType >::size_type capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getOrder

inlineinherited

Returns the order of Taylor interpolation.

getRelativeTolerance()

TolScalarType capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::getRelativeTolerance ( ) const

inlineinherited

getRemainderCoefficients() [1/2]

VectorType* capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getRemainderCoefficients

inherited

getRemainderCoefficients() [2/2]

BasicCurve< typename MapT::MatrixType >::VectorType * capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::getRemainderCoefficients

inlineinherited

getRightDomain()

ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::Real capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::getRightDomain

inlinevirtualinherited

getStepControl()

const StepControlType& capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::getStepControl ( ) const

inlineinherited

getVectorField()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

VectorFieldType& capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::getVectorField

(

)

hessian()

virtual HessianType capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::hessian ( const ScalarType &  ) const

inlinevirtualinherited

isStepChangeAllowed()

bool capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::isStepChangeAllowed ( ) const

inlineinherited

jet()

virtual JetType capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::jet ( const ScalarType &  ) const

inlinevirtualinherited

onOffStepControl()

void capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::onOffStepControl ( bool  _onOffStepControl )

inlineinherited

operator()() [1/2]

Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::VectorType capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::operator() ( const ScalarType &  h ) const

virtualinherited

Implements capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType >.

operator()() [2/2]

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

template<typename JetT >

void capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::operator() ( JetT &  jet )

inline

This operator computes image of the set (in given representation) using set.move function, see capd/dynsys/Move.h for details This template together with SetTraits prevent usage of various types of jets with incompatible solvers. The user will get an exception at runtime with clear message instead of unreadable compiler error. In this case a specialization C1JetMove is used meaning that this solver can integrate C^0 and C^1 jets only.

operator=()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

void capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::operator= ( const BasicOdeSolver< MapT, StepControlT, CurveT > &  )

inlineprotected

operator[]()

MatrixType capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::operator[] ( const ScalarType &  h ) const

inlinevirtualinherited

Implements capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType >.

remainderCoefficient() [1/4]

BasicCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::remainderCoefficient ( size_type  i, size_type  j  )

inlineinherited

remainderCoefficient() [2/4]

const BasicCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::remainderCoefficient ( size_type  i, size_type  j  ) const

inlineinherited

remainderCoefficient() [3/4]

BasicCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::remainderCoefficient ( size_type  i, size_type  j, size_type  k  )

inlineinherited

remainderCoefficient() [4/4]

const BasicCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::remainderCoefficient ( size_type  i, size_type  j, size_type  k  ) const

inlineinherited

resetMask()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

void capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::resetMask ( )

inline

Resets the mask of derivatives.

In consequence, full jet of derivatives will be computed after call to any method that computes derivative, hessian or jet.

setAbsoluteTolerance()

void capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::setAbsoluteTolerance ( TolScalarType  tol )

inlineinherited

setCurrentTime()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

void capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::setCurrentTime ( const ScalarType &  a_time ) const

inlineprotected

setDomain()

void capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::setDomain ( Real  left, Real  right  )

inlinevirtualinherited

setInitHessian()

void capd::diffAlgebra::CurveInterface< typename MapT::MatrixType >::setInitHessian ( const HessianType &  )

inlineinherited

setInitJet()

void capd::diffAlgebra::CurveInterface< typename MapT::MatrixType >::setInitJet ( const JetType &  )

inlineinherited

setInitMatrix()

void capd::diffAlgebra::CurveInterface< typename MapT::MatrixType >::setInitMatrix ( const MatrixType &  )

inlineinherited

setMask()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

template<class Iterator >

void capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::setMask ( Iterator  b, Iterator  e  )

inline

The iterator range [b,e) should contain a range of Multiinideces the user requires to compute.

The method automatically adds all the depending partial derivatives to this collection and defines a mask for computation of partial derivtives.

Parameters

[b,e)

iterator range which contains collection of multiindices

Warning

The method causes undefined behavior if a multiindex in the collection exceeds limits of the vector field (like dimension, maximal allowed degree).

setMaxStep()

void capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::setMaxStep ( Scalar  maxStep )

inlineinherited

setOrder()

void capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::setOrder ( size_type  order )

virtualinherited

Sets the order of Taylor interpolation.

Reimplemented in capd::dynsys::BasicOdeSolver< MapT, capd::dynsys::ILastTermsStepControl, capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > > >, capd::dynsys::BasicOdeSolver< MapT, capd::dynsys::ILastTermsStepControl, capd::diffAlgebra::C2Curve< capd::diffAlgebra::BasicC2Curve< typename MapT::MatrixType > > >, capd::dynsys::BasicOdeSolver< MapT, capd::dynsys::DLastTermsStepControl, capd::diffAlgebra::C2Curve< capd::diffAlgebra::BasicC2Curve< typename MapT::MatrixType > > >, capd::diffAlgebra::BasicC2Curve< typename MapT::MatrixType >, and capd::dynsys::OdeSolver< MapT, capd::dynsys::ILastTermsStepControl, HighOrderEnclosure, capd::diffAlgebra::C2Curve< capd::diffAlgebra::BasicC2Curve< typename MapT::MatrixType > > >.

setRelativeTolerance()

void capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::setRelativeTolerance ( TolScalarType  tol )

inlineinherited

setStepControl()

void capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::setStepControl ( const StepControlType &  stepControl )

inlineinherited

timeDerivative()

Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::VectorType capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::timeDerivative ( const ScalarType &  h ) const

inherited

turnOffStepControl()

void capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::turnOffStepControl ( )

inlineinherited

turnOnStepControl()

void capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::turnOnStepControl ( )

inlineinherited

Member Data Documentation

m_absoluteTolerance

TolScalarType capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::m_absoluteTolerance

protectedinherited

m_allocatedOrder

size_type capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::m_allocatedOrder

protectedinherited

m_coefficients

VectorType* capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::m_coefficients

protectedinherited

m_coefficientsAtCenter

VectorType* capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::m_coefficientsAtCenter

protectedinherited

m_dimension

size_type capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::m_dimension

protectedinherited

m_fixedTimeStep

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

ScalarType capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::m_fixedTimeStep

protected

m_left

Real capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::m_left

protectedinherited

m_matrixCoefficients

MatrixType* capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::m_matrixCoefficients

protectedinherited

m_matrixRemainderCoefficients

MatrixType* capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::m_matrixRemainderCoefficients

protectedinherited

m_maxStep

MapT::ScalarType capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::m_maxStep

protectedinherited

m_onOffStepControl

bool capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::m_onOffStepControl

protectedinherited

m_order

size_type capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::m_order

protectedinherited

m_relativeTolerance

TolScalarType capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::m_relativeTolerance

protectedinherited

m_remainderCoefficients

VectorType* capd::diffAlgebra::BasicCurve< typename MapT::MatrixType >::m_remainderCoefficients

protectedinherited

m_right

Real capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::m_right

protectedinherited

domain

m_step

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

ScalarType capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::m_step

protected

m_stepControl

StepControlType capd::dynsys::StepControlInterface< capd::dynsys::DLastTermsStepControl , MapT::ScalarType >::m_stepControl

protectedinherited

m_vField

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCurve<typename MapT::MatrixType> >>

VectorFieldType* capd::dynsys::BasicOdeSolver< MapT, StepControlT, CurveT >::m_vField

protected

we do not allow copying of objects