solver< Ring, CFfirstIsolate > Struct Template Reference

#include <solver_ucf.hpp>

List of all members.

Public Types

• typedef Ring::scalar_t base_t

Static Public Member Functions

• template<class Real , class POL > static Interval< Real > solve (const POL &p, const base_t &u, const base_t &v)
• template<class Real , class POL > static Interval< Real > solve (const POL &p)

---

Detailed Description

template<class Ring>
struct mmx::solver< Ring, CFfirstIsolate >

Definition at line 549 of file solver_ucf.hpp.

---

Member Typedef Documentation

typedef Ring::scalar_t base_t

Definition at line 551 of file solver_ucf.hpp.

---

Member Function Documentation

Interval< Real > solve

(

const POL &

p

)

[inline, static]

Isolates the first positive root of the polynomial p.

Definition at line 583 of file solver_ucf.hpp.

References solver_cffirst< Real, POL >::first_root_isolate().

                                                {

  interval_rep<POL> i(p);
  solver_cffirst<Real,POL> slv(i);

  return slv.first_root_isolate();
}

Interval< Real > solve	(	const POL &	p,
		const base_t &	u,
		const base_t &	v
	)			[inline, static]

Isolates the first positive root of the polynomial p in the interval (u,v).

Definition at line 567 of file solver_ucf.hpp.

References solver_cffirst< Real, POL >::first_root_isolate().

                  {

  interval_rep<POL>  i(p,u,v);
  solver_cffirst<Real,POL> slv(i);

  return slv.first_root_isolate();
}

---

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

• include/realroot/solver_ucf.hpp