solver< Ring, CFallIsolate > Struct Template Reference

#include <solver_ucf.hpp>

List of all members.

Public Types

• typedef Ring::Scalar base_t

Static Public Member Functions

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

---

Detailed Description

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

Definition at line 684 of file solver_ucf.hpp.

---

Member Typedef Documentation

typedef Ring::Scalar base_t

Definition at line 686 of file solver_ucf.hpp.

---

Member Function Documentation

Seq< Interval< Real > > solve

(

const POL &

p

)

[inline, static]

Isolates the positive real roots of p.

Definition at line 716 of file solver_ucf.hpp.

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

                                                  {

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

        return slv.all_roots_isolate();
}

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

Isolates the real roots of p in the interval (u,v).

Definition at line 701 of file solver_ucf.hpp.

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

                                                                   {

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

  return slv.all_roots_isolate();
}

---

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

• include/realroot/solver_ucf.hpp