|
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);
}