CAPD DynSys Library  5.2.0
capd::TypeTraits< fields::Complex< T > > Class Template Reference

#include <capd/fields/Complex.h>

Public Types

typedef fields::Complex< T > Type
 
typedef capd::TypeTraits< T >::Real Real
 
typedef capd::TypeTraits< T > RealTraits
 

Static Public Member Functions

static Type zero ()
 
static Type one ()
 
static int numberOfDigits ()
 
static T epsilon () throw ()
 Machine epsilon (the difference between 1 and the least value greater than 1 that is representable). More...
 
template<typename S >
static Type convert (const S &obj)
 
static Type convert (const T &obj)
 
static T abs (const fields::Complex< T > &x)
 
static bool isSingular (const fields::Complex< T > &x)
 

Static Public Attributes

static const bool isInterval = RealTraits::isInterval
 this flag is true for all interval types More...
 

Member Typedef Documentation

◆ Real

template<typename T >
typedef capd::TypeTraits<T>::Real capd::TypeTraits< fields::Complex< T > >::Real

◆ RealTraits

template<typename T >
typedef capd::TypeTraits<T> capd::TypeTraits< fields::Complex< T > >::RealTraits

◆ Type

template<typename T >
typedef fields::Complex<T> capd::TypeTraits< fields::Complex< T > >::Type

Member Function Documentation

◆ abs()

template<typename T >
static T capd::TypeTraits< fields::Complex< T > >::abs ( const fields::Complex< T > &  x)
inlinestatic

◆ convert() [1/2]

template<typename T >
template<typename S >
static Type capd::TypeTraits< fields::Complex< T > >::convert ( const S &  obj)
inlinestatic

◆ convert() [2/2]

template<typename T >
static Type capd::TypeTraits< fields::Complex< T > >::convert ( const T &  obj)
inlinestatic

◆ epsilon()

template<typename T >
static T capd::TypeTraits< fields::Complex< T > >::epsilon ( )
throw (
)
inlinestatic

Machine epsilon (the difference between 1 and the least value greater than 1 that is representable).

◆ isSingular()

template<typename T >
static bool capd::TypeTraits< fields::Complex< T > >::isSingular ( const fields::Complex< T > &  x)
inlinestatic

◆ numberOfDigits()

template<typename T >
static int capd::TypeTraits< fields::Complex< T > >::numberOfDigits ( )
inlinestatic

◆ one()

template<typename T >
static Type capd::TypeTraits< fields::Complex< T > >::one ( )
inlinestatic

◆ zero()

template<typename T >
static Type capd::TypeTraits< fields::Complex< T > >::zero ( )
inlinestatic

Member Data Documentation

◆ isInterval

template<typename T >
const bool capd::TypeTraits< fields::Complex< T > >::isInterval = RealTraits::isInterval
static

this flag is true for all interval types