capd::dynsys::HighOrderEnclosure Class Reference

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 for some , where is the predicted step or for 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

ds	dynamical system
out_remainder	when success, contains the Lagrange remainder computed at enclosure
out_enclosure	enclosure 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