/Users/mourrain/Devel/mmx/realroot/include/realroot/Interval_fcts.hpp File Reference

#include <string.h>
#include <string>
#include <realroot/texp_sup.hpp>

Go to the source code of this file.

Classes

• struct interval_base< T, r >
• struct interval_base< T, r >::rnd
• struct interval_base< T, 2 >
• struct interval_base< T, 2 >::rnd
• struct interval_base< T, 1 >
• struct interval_base< T, 1 >::rnd
• struct interval_base< T, 3 >
• struct interval_base< T, 3 >::rnd
• struct Intervals< C >

Namespaces

• namespace mmx
• namespace mmx::numerics
• namespace mmx::let

  Namespace for explicit type conversion.

  
  

Defines

• #define MMX_SIGN_FCT
• #define TMPL   template<class Ca, int Na, class Cb, int Nb>
• #define ARG0   Interval<Ca,Na>
• #define ARG1   Interval<Cb,Nb>
• #define TMPL   template<class Ca, int Na, class Cb>
• #define ARG1   Cb
• #define TMPL   template<class Ca, int Na, class K>
• #define ARG1   typename K::integer
• #define TMPL   template<class Ca, int Na, class K>
• #define ARG1   typename K::floating
• #define TMPL   template<class Ca, int Na, class K>
• #define ARG1   typename K::rational

Functions

• template<typename T > int sign (const T &x)
• template<class C , int r> bool with_plus_sign (const Interval< C, r > &I)
• template<class T , int r> void assign (Interval< T, r > &i, const char *s)
• template<class T , int r> T lower (const Interval< T, r > &x)
• template<class T , int r> T upper (const Interval< T, r > &x)
• template<class T , int r> T median (const Interval< T, r > &x)
• template<class T , int r> T width (const Interval< T, r > &x)
• template<class T , int r> bool singleton (const Interval< T, r > &x)
• template<class T , int r> bool contain_zero (const Interval< T, r > &x)
• template<class T , int r> bool in (const T &x, const Interval< T, r > &y)
• template<class T , int r> std::pair< Interval< T, r >
  , Interval< T, r > > bissect (const Interval< T, r > &x)
• template<class T , int r> void bissect (Interval< T, r > &g, Interval< T, r > &d, const Interval< T, r > &x)
• template<class T , int r> void hull (Interval< T, r > &v, const Interval< T, r > &a, const Interval< T, r > &b)
• template<class T , int r> Interval< T, r > hull (const Interval< T, r > &a, const Interval< T, r > &b)
• template<class T , int r> bool intersectp (const Interval< T, r > &a, const Interval< T, r > &b)
• template<class T , int r> Interval< T, r > intersection (const Interval< T, r > &a, const Interval< T, r > &b)
• template<class T , int r> bool intersect (Interval< T, r > &result, const Interval< T, r > &a, const Interval< T, r > &b)
• template<class T , int r> T size (const Interval< T, r > &i)
• template<class T , int r> std::ostream & operator<< (std::ostream &o, const Interval< T, r > &i)
• template<class C , int r> void abs (Interval< C, r > &x, const Interval< C, r > &a)
• template<class C , int r> void neg (Interval< C, r > &a)
• template<class C , int r> void neg (Interval< C, r > &a, const Interval< C, r > &b)
• template<class C , int r> void add (Interval< C, r > &a, const C &x)
• template<class C , int r> void add (Interval< C, r > &a, const Interval< C, r > &b, const C &x)
• template<class C , int r> void add (Interval< C, r > &a, const C &x, const Interval< C, r > &b)
• template<class C , int r> void sub (Interval< C, r > &a, const C &x)
• template<class C , int r> void sub (Interval< C, r > &a, const Interval< C, r > &b, const C &x)
• template<class C , int r> void sub (Interval< C, r > &a, const C &x, const Interval< C, r > &b)
• template<class C , int r> void add (Interval< C, r > &a, const Interval< C, r > &x)
• template<class C , int r> void add (Interval< C, r > &a, const Interval< C, r > &b, const Interval< C, r > &x)
• template<class C , int r> void sub (Interval< C, r > &a, const Interval< C, r > &x)
• template<class C , int r> void sub (Interval< C, r > &a, const Interval< C, r > &b, const Interval< C, r > &x)
• template<class C , int r> void mul (Interval< C, r > &a, const C &x)
• template<class C , int r> void mul (Interval< C, r > &a, const Interval< C, r > &b, const C &x)
• template<class C , int r> void mul (Interval< C, r > &a, const C &x, const Interval< C, r > &b)
• template<class C , int r> void mul (Interval< C, r > &a, const Interval< C, r > &b)
• template<class C , int r> void mul (Interval< C, r > &x, const Interval< C, r > &a, const Interval< C, r > &b)
• template<class C , int r> void div (Interval< C, r > &a, const C &x)
• template<class C , int r> void div (Interval< C, r > &a, const Interval< C, r > &b, const C &x)
• template<class C , int r> void div (Interval< C, r > &a, const C &x, const Interval< C, r > &b)
• template<class C , int r> void div (Interval< C, r > &a, const Interval< C, r > &b)
• template<class C , int r> void div (Interval< C, r > &x, const Interval< C, r > &a, const Interval< C, r > &b)
• template<class C , int R> void split (Interval< C, R > &l, Interval< C, R > &r)
• template<class C , int R> Interval< C, R > operator- (const Interval< C, R > &I)
• template<class Ca , int Na, class Cb , int Nb> texp::sup< Interval< Ca, Na >
  , Interval< Cb, Nb > >::T operator+ (const Interval< Ca, Na > &Ia, const Interval< Cb, Nb > &Ib)
• template<class Ca , int Na, class Cb , int Nb> texp::sup< Interval< Ca, Na >
  , Interval< Cb, Nb > >::T operator- (const Interval< Ca, Na > &Ia, const Interval< Cb, Nb > &Ib)
• template<class Ca , int Na, class Cb , int Nb> texp::sup< Interval< Ca, Na >
  , Interval< Cb, Nb > >::T operator* (const Interval< Ca, Na > &Ia, const Interval< Cb, Nb > &Ib)
• template<class Ca , int Na, class Cb , int Nb> texp::sup< Interval< Ca, Na >
  , Interval< Cb, Nb > >::T operator/ (const Interval< Ca, Na > &Ia, const Interval< Cb, Nb > &Ib)
• template<class Ca , int Na, class Cb > texp::sup< Interval< Ca, Na >
  , Cb >::T operator+ (const Interval< Ca, Na > &Ia, const Cb &Ib)
• template<class Ca , int Na, class Cb > texp::sup< Interval< Ca, Na >
  , Cb >::T operator- (const Interval< Ca, Na > &Ia, const Cb &Ib)
• template<class Ca , int Na, class Cb > texp::sup< Interval< Ca, Na >
  , Cb >::T operator* (const Interval< Ca, Na > &Ia, const Cb &Ib)
• template<class Ca , int Na, class Cb > texp::sup< Interval< Ca, Na >
  , Cb >::T operator/ (const Interval< Ca, Na > &Ia, const Cb &Ib)
• template<class Ca , int Na, class Cb > texp::sup< Interval< Ca, Na >
  , Cb >::T operator+ (const Cb &Ia, const Interval< Ca, Na > &Ib)
• template<class Ca , int Na, class Cb > texp::sup< Interval< Ca, Na >
  , Cb >::T operator- (const Cb &Ia, const Interval< Ca, Na > &Ib)
• template<class Ca , int Na, class Cb > texp::sup< Interval< Ca, Na >
  , Cb >::T operator* (const Cb &Ia, const Interval< Ca, Na > &Ib)
• template<class Ca , int Na, class Cb > texp::sup< Interval< Ca, Na >
  , Cb >::T operator/ (const Cb &Ia, const Interval< Ca, Na > &Ib)
• template<class Ca , int Na, class K > texp::sup< Interval< Ca, Na >
  , typename K::integer >::T operator+ (const Interval< Ca, Na > &Ia, const typename K::integer &Ib)
• template<class Ca , int Na, class K > texp::sup< Interval< Ca, Na >
  , typename K::integer >::T operator- (const Interval< Ca, Na > &Ia, const typename K::integer &Ib)
• template<class Ca , int Na, class K > texp::sup< Interval< Ca, Na >
  , typename K::integer >::T operator* (const Interval< Ca, Na > &Ia, const typename K::integer &Ib)
• template<class Ca , int Na, class K > texp::sup< Interval< Ca, Na >
  , typename K::integer >::T operator/ (const Interval< Ca, Na > &Ia, const typename K::integer &Ib)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::integer, Interval< Ca, Na >, _add_, operator+)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::integer, Interval< Ca, Na >, _sub_, operator-)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::integer, Interval< Ca, Na >, _mul_, operator*)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::integer, Interval< Ca, Na >, _div_, operator/)
• declare_binary_operator (template< class Ca, int Na, class K >, Interval< Ca, Na >, typename K::floating, _add_, operator+)
• declare_binary_operator (template< class Ca, int Na, class K >, Interval< Ca, Na >, typename K::floating, _sub_, operator-)
• declare_binary_operator (template< class Ca, int Na, class K >, Interval< Ca, Na >, typename K::floating, _mul_, operator*)
• declare_binary_operator (template< class Ca, int Na, class K >, Interval< Ca, Na >, typename K::floating, _div_, operator/)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::floating, Interval< Ca, Na >, _add_, operator+)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::floating, Interval< Ca, Na >, _sub_, operator-)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::floating, Interval< Ca, Na >, _mul_, operator*)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::floating, Interval< Ca, Na >, _div_, operator/)
• declare_binary_operator (template< class Ca, int Na, class K >, Interval< Ca, Na >, typename K::rational, _add_, operator+)
• declare_binary_operator (template< class Ca, int Na, class K >, Interval< Ca, Na >, typename K::rational, _sub_, operator-)
• declare_binary_operator (template< class Ca, int Na, class K >, Interval< Ca, Na >, typename K::rational, _mul_, operator*)
• declare_binary_operator (template< class Ca, int Na, class K >, Interval< Ca, Na >, typename K::rational, _div_, operator/)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::rational, Interval< Ca, Na >, _add_, operator+)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::rational, Interval< Ca, Na >, _sub_, operator-)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::rational, Interval< Ca, Na >, _mul_, operator*)
• declare_binary_operator (template< class Ca, int Na, class K >, typename K::rational, Interval< Ca, Na >, _div_, operator/)

---

Define Documentation

#define ARG0   Interval<Ca,Na>

Definition at line 643 of file Interval_fcts.hpp.

#define ARG1   Interval<Cb,Nb>

Definition at line 733 of file Interval_fcts.hpp.

#define ARG1   typename K::integer

Definition at line 733 of file Interval_fcts.hpp.

#define ARG1   typename K::floating

Definition at line 733 of file Interval_fcts.hpp.

#define ARG1   Cb

Definition at line 733 of file Interval_fcts.hpp.

#define ARG1   typename K::rational

Definition at line 733 of file Interval_fcts.hpp.

#define MMX_SIGN_FCT

Definition at line 10 of file Interval_fcts.hpp.

#define TMPL   template<class Ca, int Na, class K>

Definition at line 732 of file Interval_fcts.hpp.

#define TMPL   template<class Ca, int Na, class K>

Definition at line 732 of file Interval_fcts.hpp.

#define TMPL   template<class Ca, int Na, class Cb>

Definition at line 732 of file Interval_fcts.hpp.

#define TMPL   template<class Ca, int Na, class Cb, int Nb>

Definition at line 732 of file Interval_fcts.hpp.

#define TMPL   template<class Ca, int Na, class K>

Definition at line 732 of file Interval_fcts.hpp.