CAPD DynSys Library  5.2.0
Public Types | Public Member Functions | Public Attributes | Static Public Attributes | Friends | List of all members
capd::pdes::PolyLogBound Class Reference

The class is class represents a subset of a countable infinite dimensional space. More...

#include <capd/pdes/PolyLogBound.h>

Public Types

typedef capd::interval ScalarType
 
typedef capd::IVector::size_type size_type
 
typedef capd::IMatrix MatrixType
 
typedef PolyLogBound VectorType
 
typedef capd::IVector FiniteVectorType
 
typedef MatrixType::RefRowVectorType RefVectorType
 

Public Member Functions

 PolyLogBound ()
 
 PolyLogBound (size_type dim)
 constructs a Geometric series with C=0, q=1 and s=0 and given number of explicitly stored coefficients. More...
 
 PolyLogBound (size_type dim, ScalarType C, ScalarType q)
 Constructs a Geometric series with given bound on tail C/(q^i). The coefficients 1,...,dim will be stored explicitly. More...
 
 PolyLogBound (size_type dim, ScalarType C, ScalarType q, const ScalarType *coeff)
 Constructs a Geometric series with given bound on tail C/(q^i). The coefficients 1,...,dim will be stored explicitly and initialized from an array coeff. More...
 
 PolyLogBound (ScalarType C, ScalarType q, const FiniteVectorType &x)
 Constructs a Geometric series with given bound on tail C/(q^i). The coefficients 1,...,dim will be stored explicitly and initialized from an array coeff. More...
 
PolyLogBound & operator+= (const PolyLogBound &x)
 
PolyLogBound & operator-= (const PolyLogBound &x)
 
PolyLogBound & operator*= (const ScalarType &x)
 
PolyLogBound partialDerivative () const
 
ScalarType getCoefficient (size_type i) const
 Returns i-th coordinate of a PolyLogBound. The argument is an arbitrary natural number. More...
 
void setCoefficient (size_type i, const ScalarType &s)
 Assigns a value to i-th coordinate of a PolyLogBound. The argument i must be less or equal to the number of explicitly stored coefficients. More...
 
ScalarType getConstant (size_type i) const
 Returns constant used in the bound of the infinite dimensional tail. More...
 
void setConstant (size_type i, ScalarType C)
 Sets new value of constant used in the bound of the infinite dimensional tail. It must be positive number. Otherwise an exception is thrown. More...
 
void setPolynomialDegree (size_type d)
 
ScalarType getGeometricDecay () const
 Returns the constant q used in the bound of the infinite dimensional tail: C/(decay^i). More...
 
void setGeometricDecay (ScalarType decay)
 Sets new value of q used in the bound of the infinite dimensional tail: C/(q^i). If q is out of (0,1) an exception is thrown. More...
 
size_type dimension () const
 
void setExplicitCoefficients (const FiniteVectorType &x)
 
FiniteVectorType & getExplicitCoefficients ()
 
const FiniteVectorType & getExplicitCoefficients () const
 
 operator FiniteVectorType () const
 
RefVectorType projection (size_type dim) const
 
ScalarType operator[] (size_type i) const
 
ScalarType & operator[] (size_type i)
 
void clear ()
 

Public Attributes

typedef capd:DVector Polynomial
 

Static Public Attributes

const static size_type csDim = capd::IVector::csDim
 

Friends

std::ostream & operator<< (std::ostream &s, const PolyLogBound &x)
 operator<< More...
 

Detailed Description

The class is class represents a subset of a countable infinite dimensional space.

The representation splits into two parts.

  1. A finite dimensional interval vector holds finite number of coefficients 1,1,2,...,M called the main variables.
  2. The remaining coefficients x_i, x>M are bounded uniformly by a geometric series |x_i| < = q^{-i}(c0 + c1*i + c2*i^2 + ... + cn*i^n) where
    • C is a positive constant
    • q is a constant satisfying q>1
    • n is a natural number

The condition q>1 guarantees that the function $ x(t) = \sum_{i=0}^\infty x_i*t^i $ is analytic near t=0.

The implementation provides operators and methods for acting on such functional objects, such as

  • algebraic operations (addition, subtraction, multiplication)
  • automatic differentiation with respect to time variable

Member Typedef Documentation

◆ FiniteVectorType

typedef capd::IVector capd::pdes::PolyLogBound::FiniteVectorType

◆ MatrixType

typedef capd::IMatrix capd::pdes::PolyLogBound::MatrixType

◆ RefVectorType

typedef MatrixType::RefRowVectorType capd::pdes::PolyLogBound::RefVectorType

◆ ScalarType

typedef capd::interval capd::pdes::PolyLogBound::ScalarType

◆ size_type

typedef capd::IVector::size_type capd::pdes::PolyLogBound::size_type

◆ VectorType

typedef PolyLogBound capd::pdes::PolyLogBound::VectorType

Constructor & Destructor Documentation

◆ PolyLogBound() [1/5]

capd::pdes::PolyLogBound::PolyLogBound ( )
inline

◆ PolyLogBound() [2/5]

capd::pdes::PolyLogBound::PolyLogBound ( size_type  dim)

constructs a Geometric series with C=0, q=1 and s=0 and given number of explicitly stored coefficients.

◆ PolyLogBound() [3/5]

capd::pdes::PolyLogBound::PolyLogBound ( size_type  dim,
ScalarType  C,
ScalarType  q 
)

Constructs a Geometric series with given bound on tail C/(q^i). The coefficients 1,...,dim will be stored explicitly.

◆ PolyLogBound() [4/5]

capd::pdes::PolyLogBound::PolyLogBound ( size_type  dim,
ScalarType  C,
ScalarType  q,
const ScalarType *  coeff 
)

Constructs a Geometric series with given bound on tail C/(q^i). The coefficients 1,...,dim will be stored explicitly and initialized from an array coeff.

◆ PolyLogBound() [5/5]

capd::pdes::PolyLogBound::PolyLogBound ( ScalarType  C,
ScalarType  q,
const FiniteVectorType &  x 
)

Constructs a Geometric series with given bound on tail C/(q^i). The coefficients 1,...,dim will be stored explicitly and initialized from an array coeff.

Member Function Documentation

◆ clear()

void capd::pdes::PolyLogBound::clear ( )
inline

◆ dimension()

size_type capd::pdes::PolyLogBound::dimension ( ) const
inline

◆ getCoefficient()

PolyLogBound::ScalarType capd::pdes::PolyLogBound::getCoefficient ( size_type  i) const
inline

Returns i-th coordinate of a PolyLogBound. The argument is an arbitrary natural number.

◆ getConstant()

ScalarType capd::pdes::PolyLogBound::getConstant ( size_type  i) const
inline

Returns constant used in the bound of the infinite dimensional tail.

◆ getExplicitCoefficients() [1/2]

FiniteVectorType& capd::pdes::PolyLogBound::getExplicitCoefficients ( )
inline

◆ getExplicitCoefficients() [2/2]

const FiniteVectorType& capd::pdes::PolyLogBound::getExplicitCoefficients ( ) const
inline

◆ getGeometricDecay()

ScalarType capd::pdes::PolyLogBound::getGeometricDecay ( ) const
inline

Returns the constant q used in the bound of the infinite dimensional tail: C/(decay^i).

◆ operator FiniteVectorType()

capd::pdes::PolyLogBound::operator FiniteVectorType ( ) const
inline

◆ operator*=()

PolyLogBound& capd::pdes::PolyLogBound::operator*= ( const ScalarType &  x)

◆ operator+=()

PolyLogBound& capd::pdes::PolyLogBound::operator+= ( const PolyLogBound &  x)

◆ operator-=()

PolyLogBound& capd::pdes::PolyLogBound::operator-= ( const PolyLogBound &  x)

◆ operator[]() [1/2]

ScalarType& capd::pdes::PolyLogBound::operator[] ( size_type  i)
inline

◆ operator[]() [2/2]

ScalarType capd::pdes::PolyLogBound::operator[] ( size_type  i) const
inline

◆ partialDerivative()

PolyLogBound capd::pdes::PolyLogBound::partialDerivative ( ) const

◆ projection()

RefVectorType capd::pdes::PolyLogBound::projection ( size_type  dim) const
inline

◆ setCoefficient()

void capd::pdes::PolyLogBound::setCoefficient ( size_type  i,
const ScalarType &  s 
)
inline

Assigns a value to i-th coordinate of a PolyLogBound. The argument i must be less or equal to the number of explicitly stored coefficients.

◆ setConstant()

void capd::pdes::PolyLogBound::setConstant ( size_type  i,
ScalarType  C 
)
inline

Sets new value of constant used in the bound of the infinite dimensional tail. It must be positive number. Otherwise an exception is thrown.

◆ setExplicitCoefficients()

void capd::pdes::PolyLogBound::setExplicitCoefficients ( const FiniteVectorType &  x)
inline

◆ setGeometricDecay()

void capd::pdes::PolyLogBound::setGeometricDecay ( ScalarType  decay)
inline

Sets new value of q used in the bound of the infinite dimensional tail: C/(q^i). If q is out of (0,1) an exception is thrown.

◆ setPolynomialDegree()

void capd::pdes::PolyLogBound::setPolynomialDegree ( size_type  d)
inline

Friends And Related Function Documentation

◆ operator<<

std::ostream& operator<< ( std::ostream &  s,
const PolyLogBound &  x 
)
friend

operator<<

This operator writes a PolyLogBound object to a given stream in the following form {{x_1,x_2,...,x_M},C,exponent} where M is the number of exactly represented coefficients of x.

Parameters
[in]out- a stream to which the object x is to be written
[in]x- an instance of class PolyLogBound
Returns
a reference to stream out

Member Data Documentation

◆ capd

typedef capd::pdes::PolyLogBound::capd

◆ csDim

const static size_type capd::pdes::PolyLogBound::csDim = capd::IVector::csDim
static