Public Member Functions

unifexp::mapQuadr< numType > Class Template Reference

This class defines the quadratic map f(x)=x^2-a without using interval arithmetic. More...

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

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

List of all members.

Public Member Functions

 mapQuadr ()
 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::mapQuadr< numType >

This class defines the quadratic map f(x)=x^2-a without using interval arithmetic.

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

Definition at line 56 of file mapquad.h.


Constructor & Destructor Documentation

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

The constructor.

Definition at line 91 of file mapquad.h.


Member Function Documentation

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

Returns the number of critical points.

Implements unifexp::mapType< numType >.

Definition at line 103 of file mapquad.h.

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

Returns the subsequent critical points.

Implements unifexp::mapType< numType >.

Definition at line 109 of file mapquad.h.

template<class numType >
void unifexp::mapQuadr< 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 129 of file mapquad.h.

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

Returns the left bound of the domain of the map.

Implements unifexp::mapType< numType >.

Definition at line 115 of file mapquad.h.

template<class numType >
numType unifexp::mapQuadr< 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 153 of file mapquad.h.

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

Returns the name of the object.

Implements unifexp::mapType< numType >.

Definition at line 97 of file mapquad.h.

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

Returns the right bound of the domain of the map.

Implements unifexp::mapType< numType >.

Definition at line 122 of file mapquad.h.


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