SturmMem< NT > Struct Template Reference

Inheritance diagram for SturmMem< NT >:

solver_base List of all members.

Detailed Description

template<typename NT>
struct SturmMem< NT >

Definition at line 12 of file SturmMem.h.

Public Types

typedef NumberTraits< NT > NTR
typedef NTR::RT RT
 Ring number type.
typedef NTR::FT FT
 Filed number type.
typedef NTR::XT XT
 Approximate number type (if any).
typedef RR RL
typedef NTR::FIT FIT
 Interval over FT.
typedef NTR::XIT XIT
 Interval over XT.
typedef NTR::XIT RIT
typedef UPolDse< RTPoly
 Polynomial with ring number type coeffs.
typedef UPolDse< RTRT_Poly
typedef UPolDse< FTFT_Poly
 Polynomial with field number type coeffs.
typedef UPolDse< XTXT_Poly
typedef UPolDse< RLRL_Poly
typedef ALGEBRAIC::root_of<
RT, Poly
RO_t
typedef ALGEBRAIC::root_of<
RT, Poly
solution_type
typedef SturmMem self_t

Public Attributes

SturmSeq< NT > mem_


Member Typedef Documentation

template<typename NT>
typedef NTR::RT SturmMem< NT >::RT

Ring number type.

Reimplemented from solver_base.

Definition at line 17 of file SturmMem.h.

template<typename NT>
typedef NTR::FT SturmMem< NT >::FT

Filed number type.

Reimplemented from solver_base.

Definition at line 18 of file SturmMem.h.

template<typename NT>
typedef NTR::XT SturmMem< NT >::XT

Approximate number type (if any).

Reimplemented from solver_base.

Definition at line 19 of file SturmMem.h.

template<typename NT>
typedef NTR::FIT SturmMem< NT >::FIT

Interval over FT.

Reimplemented from solver_base.

Definition at line 22 of file SturmMem.h.

template<typename NT>
typedef NTR::XIT SturmMem< NT >::XIT

Interval over XT.

Reimplemented from solver_base.

Definition at line 23 of file SturmMem.h.

template<typename NT>
typedef UPolDse<RT> SturmMem< NT >::Poly

Polynomial with ring number type coeffs.

Reimplemented from solver_base.

Definition at line 28 of file SturmMem.h.

template<typename NT>
typedef UPolDse<FT> SturmMem< NT >::FT_Poly

Polynomial with field number type coeffs.

Reimplemented from solver_base.

Definition at line 30 of file SturmMem.h.

template<typename NT>
typedef ALGEBRAIC::root_of<RT, Poly> SturmMem< NT >::solution_type

The solution type. The solver should return this type

Reimplemented from solver_base.

Definition at line 36 of file SturmMem.h.


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

SYNAPS DOCUMENTATION
logo