This class defines the quadratic map with the use of interval arithmetic. More...
#include </cur/unifexp/mapquadi.h>
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 53 of file mapquadi.h.
Constructor & Destructor Documentation
| unifexp::mapQuadrIntv< numType >::mapQuadrIntv | ( | ) |
The constructor.
Definition at line 88 of file mapquadi.h.
Member Function Documentation
| int unifexp::mapQuadrIntv< numType >::countCritical | ( | ) | const [inline, virtual] |
Returns the number of critical points.
Implements unifexp::mapType< numType >.
Definition at line 100 of file mapquadi.h.
| numType unifexp::mapQuadrIntv< numType >::criticalPoint | ( | int | n ) | const [inline, virtual] |
Returns the subsequent critical points.
Implements unifexp::mapType< numType >.
Definition at line 106 of file mapquadi.h.
| void unifexp::mapQuadrIntv< numType >::image | ( | const numType & | x1, |
| const numType & | x2, | ||
| numType & | y1, | ||
| numType & | y2 | ||
| ) | const [virtual] |
Computes an enclosure of the image of the given interval.
Implements unifexp::mapType< numType >.
Definition at line 129 of file mapquadi.h.
References unifexp::resetRounding().
| 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 112 of file mapquadi.h.
| numType unifexp::mapQuadrIntv< numType >::minLogDerivative | ( | const numType & | x1, |
| const numType & | x2, | ||
| const numType & | y1, | ||
| const numType & | y2 | ||
| ) | const [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 143 of file mapquadi.h.
References unifexp::resetRounding().
| std::string unifexp::mapQuadrIntv< numType >::name | ( | ) | const [virtual] |
Returns the name of the object.
Implements unifexp::mapType< numType >.
Definition at line 94 of file mapquadi.h.
| 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 119 of file mapquadi.h.
The documentation for this class was generated from the following file:
