realroot_doc 0.1.1
|
Negative Inverse Sum bound for negative roots. More...
#include <univariate_bounds.hpp>
Negative Inverse Sum bound for negative roots.
Definition at line 127 of file univariate_bounds.hpp.
static FT upper_bound | ( | const POLY & | p | ) | [inline, static] |
Computes the "Negative Inverse Sum" bound for the negative roots.
p | Univariate polynomials |
NISN | The method that we use |
Definition at line 138 of file univariate_bounds.hpp.
{ POLY tmp = p; for ( unsigned i = 1; i < p.size(); i += 2 ) tmp[i] = -tmp[i]; return -NISP<FT>::upper_bound(tmp); }