CAPD DynSys Library  5.2.0
Classes | Typedefs | Functions
capd::multiPrec Namespace Reference

Classes

class  MpPrecision
 Wrapper for mpfr precision type. More...
 
class  MpReal
 MpReal represents multiple precision real number with controlled rounding. More...
 

Typedefs

typedef mpz_class MpInt
 
typedef mp_rnd_t MpRoundingMode
 

Functions

const MpReal & leftBound (const MpReal &x)
 
const MpReal & rightBound (const MpReal &x)
 
MpReal abs (const MpReal &r, MpReal::RoundingMode rnd=MpReal::getDefaultRndMode())
 
MpReal round (const MpReal &r)
 
MpReal floor (const MpReal &r)
 
MpReal trunc (const MpReal &r)
 
MpReal ceil (const MpReal &r)
 
MpReal frac (const MpReal &r)
 
const MpReal & nonnegativePart (const MpReal &x)
 
MpReal right (const MpReal &x)
 
MpReal left (const MpReal &x)
 
MpReal mid (const MpReal &x)
 
MpReal operator+ (const MpReal &a, const MpReal &b)
 
MpReal operator- (const MpReal &a, const MpReal &b)
 
MpReal operator* (const MpReal &a, const MpReal &b)
 
MpReal operator/ (const MpReal &a, const MpReal &b)
 
int compare (const MpReal &r1, const MpReal &r2)
 Compares two numbers. More...
 
int compare (const MpReal &r1, const double r2)
 
int compare (const MpReal &r1, const int r2)
 
int compare (const MpReal &r1, const unsigned int r2)
 
int compare (const MpReal &r1, const long int r2)
 
int compare (const MpReal &r1, const unsigned long r2)
 
bool operator== (const MpReal &r1, const MpReal &r2)
 
bool operator== (const double r1, const MpReal &r2)
 
bool operator== (const int r1, const MpReal &r2)
 
bool operator== (const unsigned int r1, const MpReal &r2)
 
bool operator== (const long int r1, const MpReal &r2)
 
bool operator== (const unsigned long int r1, const MpReal &r2)
 
bool operator== (const MpReal &r1, const double r2)
 
bool operator== (const MpReal &r1, const int r2)
 
bool operator== (const MpReal &r1, const unsigned int r2)
 
bool operator== (const MpReal &r1, const long int r2)
 
bool operator== (const MpReal &r1, const unsigned long int r2)
 
bool operator!= (const MpReal &r1, const MpReal &r2)
 
bool operator!= (const double r1, const MpReal &r2)
 
bool operator!= (const int r1, const MpReal &r2)
 
bool operator!= (const unsigned int r1, const MpReal &r2)
 
bool operator!= (const long int r1, const MpReal &r2)
 
bool operator!= (const unsigned long int r1, const MpReal &r2)
 
bool operator!= (const MpReal &r1, const double r2)
 
bool operator!= (const MpReal &r1, const int r2)
 
bool operator!= (const MpReal &r1, const unsigned int r2)
 
bool operator!= (const MpReal &r1, const long int r2)
 
bool operator!= (const MpReal &r1, const unsigned long int r2)
 
bool operator< (const MpReal &r1, const MpReal &r2)
 
bool operator< (const double r1, const MpReal &r2)
 
bool operator< (const int r1, const MpReal &r2)
 
bool operator< (const unsigned int r1, const MpReal &r2)
 
bool operator< (const long int r1, const MpReal &r2)
 
bool operator< (const unsigned long int r1, const MpReal &r2)
 
bool operator< (const MpReal &r1, const double r2)
 
bool operator< (const MpReal &r1, const int r2)
 
bool operator< (const MpReal &r1, const unsigned int r2)
 
bool operator< (const MpReal &r1, const long int r2)
 
bool operator< (const MpReal &r1, const unsigned long int r2)
 
bool operator<= (const MpReal &r1, const MpReal &r2)
 
bool operator<= (const double r1, const MpReal &r2)
 
bool operator<= (const int r1, const MpReal &r2)
 
bool operator<= (const unsigned int r1, const MpReal &r2)
 
bool operator<= (const long int r1, const MpReal &r2)
 
bool operator<= (const unsigned long int r1, const MpReal &r2)
 
bool operator<= (const MpReal &r1, const double r2)
 
bool operator<= (const MpReal &r1, const int r2)
 
bool operator<= (const MpReal &r1, const unsigned int r2)
 
bool operator<= (const MpReal &r1, const long int r2)
 
bool operator<= (const MpReal &r1, const unsigned long int r2)
 
bool operator> (const MpReal &r1, const MpReal &r2)
 
bool operator> (const double r1, const MpReal &r2)
 
bool operator> (const int r1, const MpReal &r2)
 
bool operator> (const unsigned int r1, const MpReal &r2)
 
bool operator> (const long int r1, const MpReal &r2)
 
bool operator> (const unsigned long int r1, const MpReal &r2)
 
bool operator> (const MpReal &r1, const double r2)
 
bool operator> (const MpReal &r1, const int r2)
 
bool operator> (const MpReal &r1, const unsigned int r2)
 
bool operator> (const MpReal &r1, const long int r2)
 
bool operator> (const MpReal &r1, const unsigned long int r2)
 
bool operator>= (const MpReal &r1, const MpReal &r2)
 
bool operator>= (const double r1, const MpReal &r2)
 
bool operator>= (const int r1, const MpReal &r2)
 
bool operator>= (const unsigned int r1, const MpReal &r2)
 
bool operator>= (const long int r1, const MpReal &r2)
 
bool operator>= (const unsigned long int r1, const MpReal &r2)
 
bool operator>= (const MpReal &r1, const double r2)
 
bool operator>= (const MpReal &r1, const int r2)
 
bool operator>= (const MpReal &r1, const unsigned int r2)
 
bool operator>= (const MpReal &r1, const long int r2)
 
bool operator>= (const MpReal &r1, const unsigned long int r2)
 
const MpReal & min (const MpReal &a, const MpReal &b)
 
const MpReal & max (const MpReal &a, const MpReal &b)
 
std::ostream & operator<< (std::ostream &o, const MpReal &r)
 
std::istream & operator>> (std::istream &i, MpReal &r)
 

Typedef Documentation

◆ MpInt

typedef mpz_class capd::multiPrec::MpInt

◆ MpRoundingMode

typedef mp_rnd_t capd::multiPrec::MpRoundingMode

Function Documentation

◆ abs()

MpReal capd::multiPrec::abs ( const MpReal &  r,
MpReal::RoundingMode  rnd = MpReal::getDefaultRndMode() 
)
inline

◆ ceil()

MpReal capd::multiPrec::ceil ( const MpReal &  r)
inline

◆ compare() [1/6]

int capd::multiPrec::compare ( const MpReal &  r1,
const double  r2 
)
inline

◆ compare() [2/6]

int capd::multiPrec::compare ( const MpReal &  r1,
const int  r2 
)
inline

◆ compare() [3/6]

int capd::multiPrec::compare ( const MpReal &  r1,
const long int  r2 
)
inline

◆ compare() [4/6]

int capd::multiPrec::compare ( const MpReal &  r1,
const MpReal &  r2 
)
inline

Compares two numbers.

compare two MpReals returns 0 if r1==r2, negative value if r1<r2 and positive value if r1>r2

Parameters
[in]r1,r2numbers to be compared
Returns
negative number if r1 < r2 0 if r1 == r2 positive number if r1 > r2

◆ compare() [5/6]

int capd::multiPrec::compare ( const MpReal &  r1,
const unsigned int  r2 
)
inline

◆ compare() [6/6]

int capd::multiPrec::compare ( const MpReal &  r1,
const unsigned long  r2 
)
inline

◆ floor()

MpReal capd::multiPrec::floor ( const MpReal &  r)
inline

◆ frac()

MpReal capd::multiPrec::frac ( const MpReal &  r)
inline

◆ left()

MpReal capd::multiPrec::left ( const MpReal &  x)
inline

◆ leftBound()

const MpReal& capd::multiPrec::leftBound ( const MpReal &  x)
inline

◆ max()

const MpReal& capd::multiPrec::max ( const MpReal &  a,
const MpReal &  b 
)
inline

◆ mid()

MpReal capd::multiPrec::mid ( const MpReal &  x)
inline

◆ min()

const MpReal& capd::multiPrec::min ( const MpReal &  a,
const MpReal &  b 
)
inline

◆ nonnegativePart()

const MpReal& capd::multiPrec::nonnegativePart ( const MpReal &  x)
inline

◆ operator!=() [1/11]

bool capd::multiPrec::operator!= ( const double  r1,
const MpReal &  r2 
)
inline

◆ operator!=() [2/11]

bool capd::multiPrec::operator!= ( const int  r1,
const MpReal &  r2 
)
inline

◆ operator!=() [3/11]

bool capd::multiPrec::operator!= ( const long int  r1,
const MpReal &  r2 
)
inline

◆ operator!=() [4/11]

bool capd::multiPrec::operator!= ( const MpReal &  r1,
const double  r2 
)
inline

◆ operator!=() [5/11]

bool capd::multiPrec::operator!= ( const MpReal &  r1,
const int  r2 
)
inline

◆ operator!=() [6/11]

bool capd::multiPrec::operator!= ( const MpReal &  r1,
const long int  r2 
)
inline

◆ operator!=() [7/11]

bool capd::multiPrec::operator!= ( const MpReal &  r1,
const MpReal &  r2 
)
inline

◆ operator!=() [8/11]

bool capd::multiPrec::operator!= ( const MpReal &  r1,
const unsigned int  r2 
)
inline

◆ operator!=() [9/11]

bool capd::multiPrec::operator!= ( const MpReal &  r1,
const unsigned long int  r2 
)
inline

◆ operator!=() [10/11]

bool capd::multiPrec::operator!= ( const unsigned int  r1,
const MpReal &  r2 
)
inline

◆ operator!=() [11/11]

bool capd::multiPrec::operator!= ( const unsigned long int  r1,
const MpReal &  r2 
)
inline

◆ operator*()

MpReal capd::multiPrec::operator* ( const MpReal &  a,
const MpReal &  b 
)
inline

◆ operator+()

MpReal capd::multiPrec::operator+ ( const MpReal &  a,
const MpReal &  b 
)
inline

◆ operator-()

MpReal capd::multiPrec::operator- ( const MpReal &  a,
const MpReal &  b 
)
inline

◆ operator/()

MpReal capd::multiPrec::operator/ ( const MpReal &  a,
const MpReal &  b 
)
inline

◆ operator<() [1/11]

bool capd::multiPrec::operator< ( const double  r1,
const MpReal &  r2 
)
inline

◆ operator<() [2/11]

bool capd::multiPrec::operator< ( const int  r1,
const MpReal &  r2 
)
inline

◆ operator<() [3/11]

bool capd::multiPrec::operator< ( const long int  r1,
const MpReal &  r2 
)
inline

◆ operator<() [4/11]

bool capd::multiPrec::operator< ( const MpReal &  r1,
const double  r2 
)
inline

◆ operator<() [5/11]

bool capd::multiPrec::operator< ( const MpReal &  r1,
const int  r2 
)
inline

◆ operator<() [6/11]

bool capd::multiPrec::operator< ( const MpReal &  r1,
const long int  r2 
)
inline

◆ operator<() [7/11]

bool capd::multiPrec::operator< ( const MpReal &  r1,
const MpReal &  r2 
)
inline

◆ operator<() [8/11]

bool capd::multiPrec::operator< ( const MpReal &  r1,
const unsigned int  r2 
)
inline

◆ operator<() [9/11]

bool capd::multiPrec::operator< ( const MpReal &  r1,
const unsigned long int  r2 
)
inline

◆ operator<() [10/11]

bool capd::multiPrec::operator< ( const unsigned int  r1,
const MpReal &  r2 
)
inline

◆ operator<() [11/11]

bool capd::multiPrec::operator< ( const unsigned long int  r1,
const MpReal &  r2 
)
inline

◆ operator<<()

std::ostream& capd::multiPrec::operator<< ( std::ostream &  o,
const MpReal &  r 
)
inline

◆ operator<=() [1/11]

bool capd::multiPrec::operator<= ( const double  r1,
const MpReal &  r2 
)
inline

◆ operator<=() [2/11]

bool capd::multiPrec::operator<= ( const int  r1,
const MpReal &  r2 
)
inline

◆ operator<=() [3/11]

bool capd::multiPrec::operator<= ( const long int  r1,
const MpReal &  r2 
)
inline

◆ operator<=() [4/11]

bool capd::multiPrec::operator<= ( const MpReal &  r1,
const double  r2 
)
inline

◆ operator<=() [5/11]

bool capd::multiPrec::operator<= ( const MpReal &  r1,
const int  r2 
)
inline

◆ operator<=() [6/11]

bool capd::multiPrec::operator<= ( const MpReal &  r1,
const long int  r2 
)
inline

◆ operator<=() [7/11]

bool capd::multiPrec::operator<= ( const MpReal &  r1,
const MpReal &  r2 
)
inline

◆ operator<=() [8/11]

bool capd::multiPrec::operator<= ( const MpReal &  r1,
const unsigned int  r2 
)
inline

◆ operator<=() [9/11]

bool capd::multiPrec::operator<= ( const MpReal &  r1,
const unsigned long int  r2 
)
inline

◆ operator<=() [10/11]

bool capd::multiPrec::operator<= ( const unsigned int  r1,
const MpReal &  r2 
)
inline

◆ operator<=() [11/11]

bool capd::multiPrec::operator<= ( const unsigned long int  r1,
const MpReal &  r2 
)
inline

◆ operator==() [1/11]

bool capd::multiPrec::operator== ( const double  r1,
const MpReal &  r2 
)
inline

◆ operator==() [2/11]

bool capd::multiPrec::operator== ( const int  r1,
const MpReal &  r2 
)
inline

◆ operator==() [3/11]

bool capd::multiPrec::operator== ( const long int  r1,
const MpReal &  r2 
)
inline

◆ operator==() [4/11]

bool capd::multiPrec::operator== ( const MpReal &  r1,
const double  r2 
)
inline

◆ operator==() [5/11]

bool capd::multiPrec::operator== ( const MpReal &  r1,
const int  r2 
)
inline

◆ operator==() [6/11]

bool capd::multiPrec::operator== ( const MpReal &  r1,
const long int  r2 
)
inline

◆ operator==() [7/11]

bool capd::multiPrec::operator== ( const MpReal &  r1,
const MpReal &  r2 
)
inline

◆ operator==() [8/11]

bool capd::multiPrec::operator== ( const MpReal &  r1,
const unsigned int  r2 
)
inline

◆ operator==() [9/11]

bool capd::multiPrec::operator== ( const MpReal &  r1,
const unsigned long int  r2 
)
inline

◆ operator==() [10/11]

bool capd::multiPrec::operator== ( const unsigned int  r1,
const MpReal &  r2 
)
inline

◆ operator==() [11/11]

bool capd::multiPrec::operator== ( const unsigned long int  r1,
const MpReal &  r2 
)
inline

◆ operator>() [1/11]

bool capd::multiPrec::operator> ( const double  r1,
const MpReal &  r2 
)
inline

◆ operator>() [2/11]

bool capd::multiPrec::operator> ( const int  r1,
const MpReal &  r2 
)
inline

◆ operator>() [3/11]

bool capd::multiPrec::operator> ( const long int  r1,
const MpReal &  r2 
)
inline

◆ operator>() [4/11]

bool capd::multiPrec::operator> ( const MpReal &  r1,
const double  r2 
)
inline

◆ operator>() [5/11]

bool capd::multiPrec::operator> ( const MpReal &  r1,
const int  r2 
)
inline

◆ operator>() [6/11]

bool capd::multiPrec::operator> ( const MpReal &  r1,
const long int  r2 
)
inline

◆ operator>() [7/11]

bool capd::multiPrec::operator> ( const MpReal &  r1,
const MpReal &  r2 
)
inline

◆ operator>() [8/11]

bool capd::multiPrec::operator> ( const MpReal &  r1,
const unsigned int  r2 
)
inline

◆ operator>() [9/11]

bool capd::multiPrec::operator> ( const MpReal &  r1,
const unsigned long int  r2 
)
inline

◆ operator>() [10/11]

bool capd::multiPrec::operator> ( const unsigned int  r1,
const MpReal &  r2 
)
inline

◆ operator>() [11/11]

bool capd::multiPrec::operator> ( const unsigned long int  r1,
const MpReal &  r2 
)
inline

◆ operator>=() [1/11]

bool capd::multiPrec::operator>= ( const double  r1,
const MpReal &  r2 
)
inline

◆ operator>=() [2/11]

bool capd::multiPrec::operator>= ( const int  r1,
const MpReal &  r2 
)
inline

◆ operator>=() [3/11]

bool capd::multiPrec::operator>= ( const long int  r1,
const MpReal &  r2 
)
inline

◆ operator>=() [4/11]

bool capd::multiPrec::operator>= ( const MpReal &  r1,
const double  r2 
)
inline

◆ operator>=() [5/11]

bool capd::multiPrec::operator>= ( const MpReal &  r1,
const int  r2 
)
inline

◆ operator>=() [6/11]

bool capd::multiPrec::operator>= ( const MpReal &  r1,
const long int  r2 
)
inline

◆ operator>=() [7/11]

bool capd::multiPrec::operator>= ( const MpReal &  r1,
const MpReal &  r2 
)
inline

◆ operator>=() [8/11]

bool capd::multiPrec::operator>= ( const MpReal &  r1,
const unsigned int  r2 
)
inline

◆ operator>=() [9/11]

bool capd::multiPrec::operator>= ( const MpReal &  r1,
const unsigned long int  r2 
)
inline

◆ operator>=() [10/11]

bool capd::multiPrec::operator>= ( const unsigned int  r1,
const MpReal &  r2 
)
inline

◆ operator>=() [11/11]

bool capd::multiPrec::operator>= ( const unsigned long int  r1,
const MpReal &  r2 
)
inline

◆ operator>>()

std::istream& capd::multiPrec::operator>> ( std::istream &  i,
MpReal &  r 
)
inline

◆ right()

MpReal capd::multiPrec::right ( const MpReal &  x)
inline

◆ rightBound()

const MpReal& capd::multiPrec::rightBound ( const MpReal &  x)
inline

◆ round()

MpReal capd::multiPrec::round ( const MpReal &  r)
inline

◆ trunc()

MpReal capd::multiPrec::trunc ( const MpReal &  r)
inline