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

Namespaces

namespace mmx
namespace mmx::numerics
namespace mmx::let
Namespace for explicit type conversion.

Defines

#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 typename K::rational

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 typename K::integer

Definition at line 733 of file Interval_fcts.hpp.

#define ARG1 Cb

Definition at line 733 of file Interval_fcts.hpp.

#define ARG1 Interval<Cb,Nb>

Definition at line 733 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 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.