CAPD::DynSys Library  6.0.0
Static Public Member Functions | List of all members
capd::dynsys::FirstOrderEnclosure Class Reference
Dynsys

#include <capd/dynsys/FirstOrderEnclosure.h>

Static Public Member Functions

template<typename MapType >
static MapType::VectorType enclosure (MapType &vectorField, typename MapType::ScalarType const &currentTime, typename MapType::MatrixType::RowVectorType const &x, typename MapType::ScalarType const &step)
 Computes enclosure of solution of ODE during one time step i.e $ \varphi([0,step],x) $. More...
 
template<typename DS >
static DS::VectorType enclosure (DS &ds, typename DS::ScalarType const &currentTime, typename DS::MatrixType::RowVectorType const &x)
 
template<typename MapType , typename NormType >
static MapType::MatrixType jacEnclosure (const MapType &vectorField, const typename MapType::ScalarType &currentTime, const typename MapType::ScalarType &step, const typename MapType::VectorType &enc, const NormType &the_norm, typename MapType::ScalarType *o_logNormOfDerivative=0)
 Finds enclosure for Jacobian matrix (variational part) for whole time step. More...
 
template<typename MapType >
static MapType::ScalarType c2Enclosure (const MapType &vectorField, const typename MapType::ScalarType &step, const typename MapType::VectorType &enc, typename MapType::MatrixType &jacEnclosure, typename MapType::HessianType &hessEnclosure)
 Finds enclosure for second order variational equations for whole time step. More...
 
template<class DS >
static void computeEnclosureAndRemainder (DS &ds, const typename DS::ScalarType &t, const typename DS::VectorType &x, typename DS::VectorType &out_enc, typename DS::VectorType &out_rem)
 
template<class DS >
static void computeEnclosureAndRemainder (DS &ds, const typename DS::ScalarType &t, const typename DS::VectorType &x, capd::diffAlgebra::C1TimeJet< typename DS::MatrixType > &out_enc, capd::diffAlgebra::C1TimeJet< typename DS::MatrixType > &out_rem)
 
template<class DS >
static void computeEnclosureAndRemainder (DS &ds, const typename DS::ScalarType &t, const typename DS::VectorType &x, capd::diffAlgebra::C2TimeJet< typename DS::MatrixType > &out_enc, capd::diffAlgebra::C2TimeJet< typename DS::MatrixType > &out_rem)
 

Member Function Documentation

◆ computeEnclosureAndRemainder() [1/3]

template<class DS >
static void capd::dynsys::FirstOrderEnclosure::computeEnclosureAndRemainder ( DS &  ds,
const typename DS::ScalarType &  t,
const typename DS::VectorType &  x,
capd::diffAlgebra::C1TimeJet< typename DS::MatrixType > &  out_enc,
capd::diffAlgebra::C1TimeJet< typename DS::MatrixType > &  out_rem 
)
inlinestatic

◆ computeEnclosureAndRemainder() [2/3]

template<class DS >
static void capd::dynsys::FirstOrderEnclosure::computeEnclosureAndRemainder ( DS &  ds,
const typename DS::ScalarType &  t,
const typename DS::VectorType &  x,
capd::diffAlgebra::C2TimeJet< typename DS::MatrixType > &  out_enc,
capd::diffAlgebra::C2TimeJet< typename DS::MatrixType > &  out_rem 
)
inlinestatic

◆ computeEnclosureAndRemainder() [3/3]

template<class DS >
static void capd::dynsys::FirstOrderEnclosure::computeEnclosureAndRemainder ( DS &  ds,
const typename DS::ScalarType &  t,
const typename DS::VectorType &  x,
typename DS::VectorType &  out_enc,
typename DS::VectorType &  out_rem 
)
inlinestatic

◆ enclosure()

template<typename DS >
static DS::VectorType capd::dynsys::FirstOrderEnclosure::enclosure ( DS &  ds,
typename DS::ScalarType const &  currentTime,
typename DS::MatrixType::RowVectorType const &  x 
)
inlinestatic
The documentation for this class was generated from the following files: