Public Member Functions | Private Member Functions | Private Attributes

unifexp::mapUnimodal< numType > Class Template Reference

This class defines the unimodal map "2 |x|^gamma - a" on [-1,1] without using interval arithmetic. More...

#include </cur/unifexp/mapunim.h>

Inheritance diagram for unifexp::mapUnimodal< numType >:
unifexp::mapType< numType >

List of all members.

Public Member Functions

 mapUnimodal (const numType &_gamma)
 The constructor.
std::string name () const
 Returns the name of the object.
int countCritical () const
 Returns the number of critical points.
numType criticalPoint (int n) const
 Returns the subsequent critical points.
numType leftBound () const
 Returns the left bound of the domain of the map.
numType rightBound () const
 Returns the right bound of the domain of the map.
void image (const numType &x1, const numType &x2, numType &y1, numType &y2) const
 Computes an enclosure of the image of the given interval.
numType minLogDerivative (const numType &x1, const numType &x2, const numType &y1, const numType &y2) const
 Computes the minimal log of the derivative over those points in the interval [x1,x2] whose images may fall into [y1,y2].

Private Member Functions

numType gammaPower (numType x) const
 An auxiliary function for the computation of the absolute value of a number raised to the power gamma.
numType gammaPower1 (numType x) const
 An auxiliary function for the computation of the absolute value of a number raised to the power gamma - 1.
numType gammaRoot (numType x) const
 An auxiliary function for the computation of the root of degree gamma of the absolute value of a number.

Private Attributes

numType gamma
 The exponent of the map.

Detailed Description

template<class numType>
class unifexp::mapUnimodal< numType >

This class defines the unimodal map "2 |x|^gamma - a" on [-1,1] without using interval arithmetic.

It is suitable for non-rigorous computations. See the class "mapUnimodalIntv" for a rigorous version which does use interval arithmetic. Recommended values of gamma are between 1 and 3. Valid values of the parameter are between 0.5+ and 1 (optimal value: 1).

Definition at line 58 of file mapunim.h.


Constructor & Destructor Documentation

template<class numType >
unifexp::mapUnimodal< numType >::mapUnimodal ( const numType &  _gamma ) [inline]

The constructor.

Definition at line 109 of file mapunim.h.


Member Function Documentation

template<class numType >
int unifexp::mapUnimodal< numType >::countCritical (  ) const [inline, virtual]

Returns the number of critical points.

Implements unifexp::mapType< numType >.

Definition at line 124 of file mapunim.h.

template<class numType >
numType unifexp::mapUnimodal< numType >::criticalPoint ( int  n ) const [inline, virtual]

Returns the subsequent critical points.

Implements unifexp::mapType< numType >.

Definition at line 130 of file mapunim.h.

template<class numType >
numType unifexp::mapUnimodal< numType >::gammaPower ( numType  x ) const [inline, private]

An auxiliary function for the computation of the absolute value of a number raised to the power gamma.

Definition at line 148 of file mapunim.h.

template<class numType >
numType unifexp::mapUnimodal< numType >::gammaPower1 ( numType  x ) const [inline, private]

An auxiliary function for the computation of the absolute value of a number raised to the power gamma - 1.

Definition at line 170 of file mapunim.h.

template<class numType >
numType unifexp::mapUnimodal< numType >::gammaRoot ( numType  x ) const [inline, private]

An auxiliary function for the computation of the root of degree gamma of the absolute value of a number.

Definition at line 197 of file mapunim.h.

template<class numType >
void unifexp::mapUnimodal< numType >::image ( const numType &  x1,
const numType &  x2,
numType &  y1,
numType &  y2 
) const [inline, virtual]

Computes an enclosure of the image of the given interval.

Implements unifexp::mapType< numType >.

Definition at line 219 of file mapunim.h.

template<class numType >
numType unifexp::mapUnimodal< numType >::leftBound (  ) const [inline, virtual]

Returns the left bound of the domain of the map.

Implements unifexp::mapType< numType >.

Definition at line 136 of file mapunim.h.

template<class numType >
numType unifexp::mapUnimodal< numType >::minLogDerivative ( const numType &  x1,
const numType &  x2,
const numType &  y1,
const numType &  y2 
) const [inline, virtual]

Computes the minimal log of the derivative over those points in the interval [x1,x2] whose images may fall into [y1,y2].

Implements unifexp::mapType< numType >.

Definition at line 244 of file mapunim.h.

template<class numType >
std::string unifexp::mapUnimodal< numType >::name (  ) const [inline, virtual]

Returns the name of the object.

Implements unifexp::mapType< numType >.

Definition at line 116 of file mapunim.h.

template<class numType >
numType unifexp::mapUnimodal< numType >::rightBound (  ) const [inline, virtual]

Returns the right bound of the domain of the map.

Implements unifexp::mapType< numType >.

Definition at line 142 of file mapunim.h.


Member Data Documentation

template<class numType >
numType unifexp::mapUnimodal< numType >::gamma [private]

The exponent of the map.

Definition at line 90 of file mapunim.h.


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