BudanFourierBound(f, a, b)
BudanFourierBound(f)
This computes the bound from the Budan Fourier Theorem for the number of real roots of a rational univariate polynomial f in the interval(a,b], counted with multiplicity. If the interval is not specified, it computes such bound on $(-\infty, \infty)$. Moreover, ring f is allowed to be multivariate.
|
|
|
|
|
|
We also provide examples when the interval includes $-\infty$ or $\infty$.
|
|
|
The object BudanFourierBound is a method function.