unifexp::mapQuadrIntv< numType > Class Template Reference

This class defines the quadratic map with the use of interval arithmetic. More...

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

Inheritance diagram for unifexp::mapQuadrIntv< numType >:

unifexp::mapType< numType >

List of all members.

Public Member Functions

 mapQuadrIntv ()
 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].


Detailed Description

template<class numType>
class unifexp::mapQuadrIntv< numType >

This class defines the quadratic map with the use of interval arithmetic.

It is suitable for doing rigorous computations.

Definition at line 57 of file mapquadi.h.


Constructor & Destructor Documentation

template<class numType>
unifexp::mapQuadrIntv< numType >::mapQuadrIntv (  )  [inline]

The constructor.

Definition at line 92 of file mapquadi.h.


Member Function Documentation

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

Returns the name of the object.

Implements unifexp::mapType< numType >.

Definition at line 98 of file mapquadi.h.

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

Returns the number of critical points.

Implements unifexp::mapType< numType >.

Definition at line 104 of file mapquadi.h.

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

Returns the subsequent critical points.

Implements unifexp::mapType< numType >.

Definition at line 110 of file mapquadi.h.

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

Returns the left bound of the domain of the map.

Implements unifexp::mapType< numType >.

Definition at line 116 of file mapquadi.h.

Referenced by unifexp::mapQuadrIntv< numType >::image(), and unifexp::mapQuadrIntv< numType >::minLogDerivative().

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

Returns the right bound of the domain of the map.

Implements unifexp::mapType< numType >.

Definition at line 123 of file mapquadi.h.

Referenced by unifexp::mapQuadrIntv< numType >::image().

template<class numType>
void unifexp::mapQuadrIntv< 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 133 of file mapquadi.h.

References unifexp::mapQuadrIntv< numType >::leftBound(), unifexp::mapType< numType >::paramMax, unifexp::mapType< numType >::paramMin, and unifexp::mapQuadrIntv< numType >::rightBound().

template<class numType>
numType unifexp::mapQuadrIntv< 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 147 of file mapquadi.h.

References unifexp::mapQuadrIntv< numType >::leftBound(), and unifexp::mapType< numType >::paramMin.


The documentation for this class was generated from the following file:
Generated on Wed Nov 21 11:08:42 2007 for The Uniform Expansion Software by  doxygen 1.5.3