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] |
brief
Computes the "Negative Inverse Sum" bound for the negative roots
p | Univariate polynomials |
Definition at line 137 of file univariate_bounds.hpp.
00138 { 00139 POLY tmp = p; 00140 for ( unsigned i = 1; i < p.size(); i += 2 ) 00141 tmp[i] = -tmp[i]; 00142 return -NISP<FT>::upper_bound(tmp); 00143 }