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

#include <capd/dynsys/BasicCnOdeSolver.h>

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

Public Member Functions
	BasicCnOdeSolver (VectorFieldType &a_vectorField, size_type a_order, const StepControlT &stepControl=StepControlT())
virtual	~BasicCnOdeSolver ()
VectorType	operator() (VectorType)
	Computes image of vector v after one time step. More...
VectorType	operator() (ScalarType &t, const VectorType &)
	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 CnJetMove is used meaning that this solver can integrate any type of jets. More...
VectorType	operator() (VectorType, MatrixType &, HessianType &)
	Computes next point on the trajectory, first and second order derivatives with respect to initial conditions. Initial conditions for variational equations are Id and zero, respectively. More...
VectorType	operator() (ScalarType &t, const VectorType &, MatrixType &, HessianType &)
	Computes next point on the trajectory of a nonautonomous system, first and second order derivatives with respect to initial conditions. Initial conditions for variational equations are Id and zero, respectively. More...
VectorType	operator() (VectorType, const MatrixType &V, const HessianType &H, MatrixType &, HessianType &)
	The routine computes next point, derivatives and second order derivatives of a flow. Initial conditions for variational equations are V and H, respectively. More...
VectorType	operator() (ScalarType &t, const VectorType &x, const MatrixType &V, const HessianType &H, MatrixType &, HessianType &)
	The routine computes next point, derivatives and second order derivatives of a nonautonomous flow. Initial conditions for variational equations are V and H, respectively. More...
VectorType	operator() (ScalarType &t, JetType &)
	Initial conditions for the trajectory and for variational equations up to given degree are given in argument in_out_coeffs. The full result is stored in in_out_coeffs and also the new point on the trajectory is returned. Note: CnCoeffType is a data structure that stores current time. 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 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 current time step. More...
void	setStep (const ScalarType &newStep)
	Sets time step and turns off step control. More...
const SolutionCurve &	getCurve ()
size_type	degree () const
ScalarType	getCoeffNorm (size_type i, size_type degree) const
VectorType	enclosure (const ScalarType &, const VectorType &)
	TODO. More...
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 capd::vectalg::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)
HessianType	hessian (const ScalarType &h) const
JetType	jet (const ScalarType &h) const
void	eval (ScalarType h, JetType &v) const
virtual void	eval (ScalarType, JetType &) const
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...
size_type	degree () const
	Returns maximal degree of the jet. More...
void	setDegree (size_type degree)
	Sets new maximal degree of the jet and reallocates memory. More...
void	clearCoefficients ()
	sets all coefficients to zero More...
const ScalarType &	centerCoefficient (size_type i, size_type k) const
ScalarType &	centerCoefficient (size_type i, size_type k)
const ScalarType &	coefficient (size_type i, size_type k) const
const ScalarType &	coefficient (size_type i, size_type j, size_type k) const
const ScalarType &	coefficient (size_type i, size_type j, size_type c, size_type k) const
const ScalarType &	coefficient (size_type i, size_type j, size_type c, size_type s, size_type k) const
ScalarType &	coefficient (size_type i, size_type k)
ScalarType &	coefficient (size_type i, size_type j, size_type k)
ScalarType &	coefficient (size_type i, size_type j, size_type c, size_type k)
ScalarType &	coefficient (size_type i, size_type j, size_type c, size_type s, 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
const ScalarType &	remainderCoefficient (size_type i, size_type j, size_type c, size_type k) const
const ScalarType &	remainderCoefficient (size_type i, size_type j, size_type c, size_type s, size_type k) const
ScalarType &	remainderCoefficient (size_type i, size_type j)
ScalarType &	remainderCoefficient (size_type i, size_type j, size_type k)
ScalarType &	remainderCoefficient (size_type i, size_type j, size_type c, size_type k)
ScalarType &	remainderCoefficient (size_type i, size_type j, size_type c, size_type s, size_type k)
void	allocate (size_type dimension, size_type degree)
void	deallocate ()
void	copyData (const BasicCnCurve &c)
const VectorType *	getCoefficientsAtCenter () const
VectorType *	getCoefficientsAtCenter ()
const JetType *	getCoefficients () const
JetType *	getCoefficients ()
const JetType *	getRemainderCoefficients () const
JetType *	getRemainderCoefficients ()
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 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)

Public Attributes
VectorType *	m_coefficientsAtCenter
JetType *	m_coefficients
JetType *	m_remainderCoefficients
size_type	m_order
size_type	m_allocatedOrder

Protected Member Functions
void	setCurrentTime (const ScalarType &a_time) const
const ScalarType &	getCurrentTime () const
const bool *	getMask () const
bool	getMask (size_type j) const
bool	getMask (size_type j, size_type c) const
void	operator= (const BasicCnOdeSolver &)
	BasicCnOdeSolver (const BasicCnOdeSolver &s)
void	setInitialCondition (const JetType &coeff)
void	setInitialCondition (const VectorType &v, const MatrixType &D)
void	setInitialCondition (const VectorType &v, const MatrixType &D, const HessianType &H)
void	computeTimeStep (const VectorType &v)
void	evalAndSum (VectorType &v)
void	evalAndSum (VectorType &v, MatrixType &der)
void	evalAndSum (VectorType &v, MatrixType &der, HessianType &hessian)
void	evalAndSum (JetType &v)
void	sum (VectorType &v)

Protected Attributes
VectorFieldType *	m_vField
MatrixType	m_defaultC1InitialCondition
HessianType	m_defaultC2InitialCondition
ScalarType	m_fixedTimeStep
ScalarType	m_step
Multiindex::IndicesSet	m_listIndices
StepControlType	m_stepControl
bool	m_onOffStepControl
TolScalarType	m_absoluteTolerance
TolScalarType	m_relativeTolerance
MapT::ScalarType	m_maxStep
Real	m_left
Real	m_right
	domain More...

Member Typedef Documentation

difference_type

typedef __difference_type capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::difference_type

inherited

FunctionType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

typedef MapT::FunctionType capd::dynsys::BasicCnOdeSolver< MapT, StepControlT, CurveT >::FunctionType

HessianType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

typedef VectorFieldType::HessianType capd::dynsys::BasicCnOdeSolver< MapT, StepControlT, CurveT >::HessianType

JetType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

MatrixType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

Multiindex

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

Multipointer

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

Real

typedef TypeTraits<ScalarType>::Real capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::Real

inherited

ScalarType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

size_type

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

SolutionCurve

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

StepControlType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

VectorFieldType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

VectorType

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

Constructor & Destructor Documentation

BasicCnOdeSolver()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

capd::dynsys::BasicCnOdeSolver< MapT, StepControlT, CurveT >::BasicCnOdeSolver ( const BasicCnOdeSolver< MapT, StepControlT, CurveT > &  s )

inlineprotected

Member Function Documentation

addMultiindexToMask()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

void capd::dynsys::BasicCnOdeSolver< MapT, StepControlT, CurveT >::addMultiindexToMask ( const capd::vectalg::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::BasicCnCurve< typename MapT::MatrixType >::allocate ( size_type  dimension, size_type  degree  )

inherited

centerCoefficient() [1/2]

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

inlineinherited

centerCoefficient() [2/2]

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

inlineinherited

clearCoefficients()

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

inherited

sets all coefficients to zero

coefficient() [1/8]

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

inlineinherited

coefficient() [2/8]

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

inlineinherited

coefficient() [3/8]

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

inlineinherited

coefficient() [4/8]

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

inlineinherited

coefficient() [5/8]

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

inlineinherited

coefficient() [6/8]

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

inlineinherited

coefficient() [7/8]

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

inlineinherited

coefficient() [8/8]

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

inlineinherited

copyData()

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

inherited

deallocate()

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

inherited

degree()

BasicCnCurve< typename MapT::MatrixType >::size_type capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType >::degree

inlineinherited

Returns maximal degree of the jet.

derivative()

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

virtualinherited

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

dimension()

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

inlineinherited

Returns the dimension in which the parametric curve is embedded.

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::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

inline

TODO.

eval() [1/2]

void capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::eval ( ScalarType  h, JetType &  v  ) const

inherited

eval() [2/2]

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

inlinevirtualinherited

getAbsoluteTolerance()

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

inlineinherited

getAllocatedOrder()

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

inlineinherited

Returns maximal allocated order - used to avoid memory reallocation.

getCoefficients() [1/2]

JetType* capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType >::getCoefficients

inherited

getCoefficients() [2/2]

BasicCnCurve< typename MapT::MatrixType >::JetType * capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType >::getCoefficients

inlineinherited

getCoefficientsAtCenter() [1/2]

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

inherited

getCoefficientsAtCenter() [2/2]

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

inlineinherited

getCurrentTime()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

const ScalarType& capd::dynsys::BasicCnOdeSolver< 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::BasicCnCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::Real capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::getLeftDomain

inlinevirtualinherited

getMask() [1/3]

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

inlineprotected

getMask() [2/3]

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

inlineprotected

getMask() [3/3]

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

inlineprotected

getMaxStep()

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

inlineinherited

getOrder()

BasicCnCurve< typename MapT::MatrixType >::size_type capd::diffAlgebra::BasicCnCurve< 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]

JetType* capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType >::getRemainderCoefficients

inherited

getRemainderCoefficients() [2/2]

BasicCnCurve< typename MapT::MatrixType >::JetType * capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType >::getRemainderCoefficients

inlineinherited

getRightDomain()

ParametricCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::MatrixType ::RowVectorType >::Real capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCnCurve< 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::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

(

)

hessian()

CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::HessianType capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::hessian ( const ScalarType &  h ) const

virtualinherited

Reimplemented from capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::MatrixType >.

isStepChangeAllowed()

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

inlineinherited

jet()

CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::JetType capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > , capd::TypeTraits<typename capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::ScalarType>::isInterval >::jet ( const ScalarType &  h ) const

virtualinherited

Reimplemented from capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::MatrixType >.

onOffStepControl()

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

inlineinherited

operator()() [1/2]

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

virtualinherited

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

operator()() [2/2]

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

template<typename JetT >

void capd::dynsys::BasicCnOdeSolver< 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 CnJetMove is used meaning that this solver can integrate any type of jets.

operator=()

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

inlineprotected

operator[]()

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

inlinevirtualinherited

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

remainderCoefficient() [1/8]

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

inlineinherited

remainderCoefficient() [2/8]

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

inlineinherited

remainderCoefficient() [3/8]

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

inlineinherited

remainderCoefficient() [4/8]

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

inlineinherited

remainderCoefficient() [5/8]

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

inlineinherited

remainderCoefficient() [6/8]

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

inlineinherited

remainderCoefficient() [7/8]

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

inlineinherited

remainderCoefficient() [8/8]

const BasicCnCurve< typename MapT::MatrixType >::ScalarType & capd::diffAlgebra::BasicCnCurve< 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::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

void capd::dynsys::BasicCnOdeSolver< 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::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

inlineprotected

setDegree()

void capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType >::setDegree ( size_type  degree )

inherited

Sets new maximal degree of the jet and reallocates memory.

setDomain()

void capd::diffAlgebra::ParametricCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > ::MatrixType , typename capd::diffAlgebra::BasicCnCurve< 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::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

template<class Iterator >

void capd::dynsys::BasicCnOdeSolver< 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::BasicCnCurve< typename MapT::MatrixType >::setOrder ( size_type  order )

virtualinherited

Sets the order of Taylor interpolation.

Reimplemented in capd::dynsys::BasicCnOdeSolver< MapT, capd::dynsys::IEncFoundStepControl, capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< 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::BasicCnCurve< typename MapT::MatrixType > , isInterval >::VectorType capd::diffAlgebra::Curve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > , 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::BasicCnCurve< typename MapT::MatrixType >::m_allocatedOrder

inherited

m_coefficients

JetType* capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType >::m_coefficients

inherited

m_coefficientsAtCenter

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

inherited

m_defaultC1InitialCondition

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

MatrixType capd::dynsys::BasicCnOdeSolver< MapT, StepControlT, CurveT >::m_defaultC1InitialCondition

protected

m_defaultC2InitialCondition

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

HessianType capd::dynsys::BasicCnOdeSolver< MapT, StepControlT, CurveT >::m_defaultC2InitialCondition

protected

m_fixedTimeStep

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

protected

m_left

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

protectedinherited

m_listIndices

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

Multiindex::IndicesSet capd::dynsys::BasicCnOdeSolver< MapT, StepControlT, CurveT >::m_listIndices

protected

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::BasicCnCurve< typename MapT::MatrixType >::m_order

inherited

m_relativeTolerance

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

protectedinherited

m_remainderCoefficients

JetType* capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType >::m_remainderCoefficients

inherited

m_right

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

protectedinherited

domain

m_step

template<typename MapT , typename StepControlT = capd::dynsys::DLastTermsStepControl, typename CurveT = capd::diffAlgebra::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

ScalarType capd::dynsys::BasicCnOdeSolver< 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::CnCurve< capd::diffAlgebra::BasicCnCurve< typename MapT::MatrixType > >>

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

protected