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

This file defines class for computation of [C0-C2] rough enclosure to an ODE by high order Taylor method. More...

#include <capd/dynsys/HighOrderEnclosure.h>

Static Public Member Functions

template<typename DS >
static DS::VectorType enclosure (DS &ds, typename DS::ScalarType const &currentTime, typename DS::MatrixType::RowVectorType const &x)
 
template<class DS , class CoeffType >
static void computeEnclosureAndRemainder (DS &ds, const typename DS::ScalarType &t, const typename DS::VectorType &, CoeffType &out_enclosure, CoeffType &out_remainder)
 This is the only public method required for enclosure policy. More...
 

Detailed Description

This file defines class for computation of [C0-C2] rough enclosure to an ODE by high order Taylor method.

It is designed to be a template parameter for all rigorous solver classes.

Member Function Documentation

◆ computeEnclosureAndRemainder()

template<class DS , class CoeffType >
static void capd::dynsys::HighOrderEnclosure::computeEnclosureAndRemainder ( DS &  ds,
const typename DS::ScalarType &  t,
const typename DS::VectorType &  ,
CoeffType &  out_enclosure,
CoeffType &  out_remainder 
)
inlinestatic

This is the only public method required for enclosure policy.

Computes enclosure of solution of ODE during one time step i.e $ \varphi([0,h],x) $ for some $ h\in[0,hTrial] $, where $ hTrial $ is the predicted step or for $ h=hTrial $ if changing of the time step is not allowed.

If CoeffType is a C1Coff structure then the function computes enclosure and the Lagrange remainder for the solutions to variational equations as well.

Parameters
dsdynamical system
out_remainderwhen success, contains the Lagrange remainder computed at enclosure
out_enclosureenclosure of the set of solution over a time step

◆ enclosure()

template<typename DS >
static DS::VectorType capd::dynsys::HighOrderEnclosure::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 file: