NumberTraits< RT_ > Struct Template Reference

List of all members.

---

Detailed Description

template<typename RT_>
struct NumberTraits< RT_ >

This a prototype class. Every number type must provide a specialization of this struct, and specializations for the functions. This class provides the following definitions for the type RT_

Parameters:

	RT	is the type RT_ itself. (eg. ZZ).
	FT	is the field type associated to RT (eg. QQ).
	XT	is the numeric type associated to RT (eg. double).
	FIT	is the type of exact intervals (eg. Interval<QQ>).
	XIT	is the type of approximate intervals (eg. Interval<double>).

It also has various tags, in order to provide information abou the presense or not of gcd, isqrt, sqrt etc.

See also:

Rational, Interval, check_type, Tag_false, Tag_true

Definition at line 37 of file NumberTraits.h.

Public Types
typedef kernelof< RT_ >::T	K
typedef K::integer	RT
typedef K::rational	FT
typedef K::ieee	XT
typedef Interval< FT >	FIT
typedef Interval< XT >	XIT
typedef NumberTraits< RT >	self_t
typedef hasfunction< RT >::gcd	Has_gcd
typedef hasfunction< RT >::isqrt	Has_isqrt
typedef hasfunction< RT >::sqrt	Has_sqrt
typedef isexact< RT >::T	Is_exact
typedef isring< RT >::T	Is_Ring_type
typedef isfield< RT >::T	Is_Field_type

---

The documentation for this struct was generated from the following file:

• synaps/usolve/NumberTraits.h