include/realroot/univariate_bounds.hpp File Reference

#include <realroot/rounding_mode.hpp>
#include <realroot/GMP.hpp>
#include <realroot/texp_rationalof.hpp>
#include <realroot/vector_monomials.hpp>
#include <vector>
#include <stack>
#include <queue>

Go to the source code of this file.

Classes

• struct NISP< C >

  Negative Inverse Sum bound for positive roots. More...
  

• struct NISN< FT >

  Negative Inverse Sum bound for negative roots. More...
  

• struct abs_max< T >
• struct Cauchy< C >

  Cauchy bound. More...
  

• struct HongBound< RT >
• struct AkritasBound< RT >

Namespaces

• namespace mmx

Functions

• template<typename T > T abs (const T &x)
• template<class T > T pow2 (int i)
• template<typename FT , typename POLY > FT bound_root (const POLY &p, const Cauchy< FT > &m)
• template<typename FT , typename POLY > FT max_bound (const POLY &p, const Cauchy< FT > &m)
• template<typename FT , typename POLY > FT min_bound (const POLY &p, Cauchy< FT >)

---

Detailed Description

Definition in file univariate_bounds.hpp.