continued_fraction_isolate< K, B > Struct Template Reference

#include <solver_uv_continued_fraction.hpp>

List of all members.

Public Types

• typedef K::integer integer
• typedef K::rational rational
• typedef polynomial< integer,
  with< MonomialTensor > > Polynomial
• typedef K::interval_rational root_t
• typedef Seq< root_t > sol_t
• typedef IntervalData< integer,
  Polynomial > data

Static Public Member Functions

• static root_t as_root (const data &ID)
• static bool is_empty (const data &ID)
• static bool is_good (const data &ID)
• static integer lower_bound (const Polynomial &p)

---

Detailed Description

template<class K, class B>
struct mmx::continued_fraction_isolate< K, B >

Definition at line 82 of file solver_uv_continued_fraction.hpp.

---

Member Typedef Documentation

typedef IntervalData< integer, Polynomial> data

Definition at line 90 of file solver_uv_continued_fraction.hpp.

typedef K::integer integer

Definition at line 84 of file solver_uv_continued_fraction.hpp.

typedef polynomial<integer, with<MonomialTensor> > Polynomial

Definition at line 86 of file solver_uv_continued_fraction.hpp.

typedef K::rational rational

Definition at line 85 of file solver_uv_continued_fraction.hpp.

typedef K::interval_rational root_t

Definition at line 87 of file solver_uv_continued_fraction.hpp.

typedef Seq<root_t> sol_t

Definition at line 88 of file solver_uv_continued_fraction.hpp.

---

Member Function Documentation

static root_t as_root

(

const data &

ID

)

[inline, static]

Definition at line 92 of file solver_uv_continued_fraction.hpp.

    {
      return as<root_t>(ID);
    }

static bool is_empty

(

const data &

ID

)

[inline, static]

Definition at line 96 of file solver_uv_continued_fraction.hpp.

References IntervalData< RT, Poly >::s.

{return ID.s==0;}

static bool is_good

(

const data &

ID

)

[inline, static]

Definition at line 97 of file solver_uv_continued_fraction.hpp.

References IntervalData< RT, Poly >::s.

{return ID.s==1;}

static integer lower_bound

(

const Polynomial &

p

)

[inline, static]

Definition at line 98 of file solver_uv_continued_fraction.hpp.

{return B::lower_bound(p);}

---

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

• /Users/mourrain/Devel/mmx/realroot/include/realroot/solver_uv_continued_fraction.hpp