#include <solver_mv_monomial.hpp>
Definition at line 425 of file solver_mv_monomial.hpp.
typedef C base_t |
Definition at line 427 of file solver_mv_monomial.hpp.
Isolates all positive real roots of p.
Definition at line 457 of file solver_mv_monomial.hpp.
References solver_mv_monomial< FT, POL >::isolate(), and mmx::nbvar().
00457 { 00458 00459 unsigned d(p[0].nbvar() ); 00460 realroot::solver_mv_monomial<FT,POL> slv(1e-3); 00461 return slv.isolate(p,d); 00462 }
Seq< std::vector< Interval< FT > > > solve | ( | Seq< POL > & | p, | |
Seq< Interval< base_t > > & | dom | |||
) | [inline, static] |
Isolates all the real roots of p in domain dom.
Definition at line 444 of file solver_mv_monomial.hpp.
References solver_mv_monomial< FT, POL >::isolate().