CRepresent1< _DIM, T > Class Template Reference

Class implementing virtual class CRepresent. More...

#include <hyperbolic.h>

Inheritance diagram for CRepresent1< _DIM, T >:

CRepresent< _DIM, T >

List of all members.

Public Member Functions

void make (MAP< _DIM > &F, MAP< _DIM > &F_1, const FUNCTION< _DIM, _DIM, T > &f, const Coords< _DIM, interval< T > > &p, const Coords< _DIM, T > &sides, int scale) const
 Function which implements virtual function make.

Private Member Functions

Coords< _DIM, int > divide (const FUNCTION< _DIM, _DIM, T > &f, const Coords< _DIM, int > &dom, int scale, T trueScale, const Coords< _DIM, T > &sides) const
 Returns Coords object in which given coordinate says how much one should divide given side of the cube.
deviation (const Coords< _DIM, T > &v) const
 Returns second largest distance from 0 from coordinates.
SET< _DIM > cover (const Coords< _DIM, interval< T > > &p, const Coords< _DIM, T > &sides, int scale, T trueScale) const
 Returns a SET which covers given interval cube.
MAP< _DIM > make (const FUNCTION< _DIM, _DIM, T > &f, const SET< _DIM > &s, const Coords< _DIM, T > &sides, T trueScale) const
 Function performing one step of constructing cubic representation.


Detailed Description

template<int _DIM, class T>
class CRepresent1< _DIM, T >

Class implementing virtual class CRepresent.

Is responsible for constructing the cubic representation of a given function.


Member Function Documentation

template<int _DIM, class T>
Coords< _DIM, int > CRepresent1< _DIM, T >::divide ( const FUNCTION< _DIM, _DIM, T > &  f,
const Coords< _DIM, int > &  dom,
int  scale,
trueScale,
const Coords< _DIM, T > &  sides 
) const [inline, private]

Returns Coords object in which given coordinate says how much one should divide given side of the cube.

Parameters:
f function which cubic representation we make.
dom point for which the function is conputed.
scale determines the cubes scale parameter.
trueScale is in fact 2^scale - passed as argument to avoid repetadely computation of this pawer.
sides is a Coords<_DIM, T> which represents rescaling coordinates.
Returns:
Coords<_DIM, int> describes division for each of the coordinates.

template<int _DIM, class T>
T CRepresent1< _DIM, T >::deviation ( const Coords< _DIM, T > &  v  )  const [inline, private]

Returns second largest distance from 0 from coordinates.

It gives an idea how much is the vector deviated compared to the vector which is directed exactly in the direction of the largest coordinate (in absolute value).

template<int _DIM, class T>
SET< _DIM > CRepresent1< _DIM, T >::cover ( const Coords< _DIM, interval< T > > &  p,
const Coords< _DIM, T > &  sides,
int  scale,
trueScale 
) const [inline, private]

Returns a SET which covers given interval cube.

Parameters:
p interval cube for which covering is constructed.
sides is a Coords<_DIM, T> which represents rescaling coordinates.
scale determines the cubes scale parameter.
trueScale is in fact 2^scale - passed as argument to avoid repetadely computation of this pawer.

template<int _DIM, class T>
MAP< _DIM > CRepresent1< _DIM, T >::make ( const FUNCTION< _DIM, _DIM, T > &  f,
const SET< _DIM > &  s,
const Coords< _DIM, T > &  sides,
trueScale 
) const [inline, private]

Function performing one step of constructing cubic representation.

Parameters:
f fuction for which cubic repreesntation is constructed.
s represents domain of the constructed representation.
sides is a Coords<_DIM, T> which represents rescaling coordinates.
trueScale is in fact 2^scale - passed as argument to avoid repetadely computation of this pawer.

template<int _DIM, class T>
void CRepresent1< _DIM, T >::make ( MAP< _DIM > &  F,
MAP< _DIM > &  F_1,
const FUNCTION< _DIM, _DIM, T > &  f,
const Coords< _DIM, interval< T > > &  p,
const Coords< _DIM, T > &  sides,
int  scale 
) const [inline, virtual]

Function which implements virtual function make.

Parameters:
F,F_1 MAP<_DIM> representations of a function and inverse function which are returned.
f FUNCTION<_DIM, _DIM, T> which representation is constructed.
p Coords<_DIM, interval<T> > where the invariant set and hence the representation is made.
sides is a Coords<_DIM, T> which represents rescaling coordinates.
scale determines how many cube divisions to perform.

Implements CRepresent< _DIM, T >.


The documentation for this class was generated from the following file:

Generated on Sat May 24 19:47:31 2008 for Semi-hyperbolicity by  doxygen 1.5.5