#include <hyperbolic.h>
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. | |
T | 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. |
Is responsible for constructing the cubic representation of a given function.
Coords< _DIM, int > CRepresent1< _DIM, T >::divide | ( | const FUNCTION< _DIM, _DIM, T > & | f, | |
const Coords< _DIM, int > & | dom, | |||
int | scale, | |||
T | 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.
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. |
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).
SET< _DIM > CRepresent1< _DIM, T >::cover | ( | const Coords< _DIM, interval< T > > & | p, | |
const Coords< _DIM, T > & | sides, | |||
int | scale, | |||
T | trueScale | |||
) | const [inline, private] |
Returns a SET which covers given interval cube.
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. |
MAP< _DIM > CRepresent1< _DIM, T >::make | ( | const FUNCTION< _DIM, _DIM, T > & | f, | |
const SET< _DIM > & | s, | |||
const Coords< _DIM, T > & | sides, | |||
T | trueScale | |||
) | const [inline, private] |
Function performing one step of constructing cubic representation.
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. |
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.
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 >.