numerics Namespace Reference

---

Detailed Description

Generic class for intervals. There is template parameter T which refers to the number type of the endpoints. The second parameter (set to zero by default) is defined to handle rounding mode associated to T if it exists (defined in synaps/numerics/fpu.h) The associated value can be 0,1,2 or 3: 0 stands for unsafe mode, 1 for rounding downward, 2 for rounding upward, 3 for automatic rounding mode changes. examples:

• Interval<double,1> implements a robust interval arithmetic assuming rounding mode "down"
• Interval<double,2> implements a robust interval arithmetic assuming rounding mode "up"
• Interval<double,3> implements a robust interval arithmetic without assumption on the current rounding mode.

Classes
struct	is_rounded
struct	is_rounded< float >
struct	is_rounded< double >
struct	is_rounded< long double >
struct	bit_resolution
struct	bit_resolution< double >
struct	bit_resolution< long double >
struct	hdwimax
struct	hdwimax< hdwi, 0 >
struct	hdwintp
struct	hdwi
struct	false_t
struct	true_t
struct	inexact
struct	inexact< long double >
struct	epsilon
struct	LongVersion
struct	LongVersion< float >
struct	LongVersion< double >
struct	fpu_rounding
struct	fpu_rounding< long double >
struct	rounding
Namespaces
namespace	rdw
namespace	rup
Functions
template<class T>
unsigned	bitprec (const T &e, const T &l=T(1.0))
template<class unsigned_t>
void	sal (unsigned_t &a, unsigned n)
template<typename unsigned_t>
void	hsal (unsigned &ha, unsigned_t &a, unsigned &hb, unsigned_t &b)
int	get_cw ()
int	get_rnd ()
void	set_cw (int cw)
static int	rnd_up ()
static int	rnd_dw ()
static int	rnd_nr ()
static int	rnd_z ()
template<typename T>
T	div_dw (const T &a, const T &b)
template<typename T>
T	div_up (const T &a, const T &b)
template<typename T>
T	add_dw (const T &a, const T &b)
template<typename T>
T	add_up (const T &a, const T &b)
template<typename T>
T	mul_dw (const T &a, const T &b)
template<typename T>
T	mul_up (const T &a, const T &b)
template<typename T>
T	sub_dw (const T &a, const T &b)
template<typename T>
T	sub_up (const T &a, const T &b)