solver< Ring, CFdecide > Struct Template Reference

#include <solver_ucf.hpp>

List of all members.

Static Public Member Functions

• template<class POL > static bool solve (const POL &p)

---

Detailed Description

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

Definition at line 770 of file solver_ucf.hpp.

---

Member Function Documentation

bool solve

(

const POL &

p

)

[inline, static]

Decides wether p has a positive root

Definition at line 782 of file solver_ucf.hpp.

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

                                             {

        interval_rep<POL> i(p);
        solver_cffirst<QQ,POL> slv(i);
        
        return ( slv.all_roots_isolate().size() );
}

---

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

• include/realroot/solver_ucf.hpp