carl  24.04
Computer ARithmetic Library
RootBounds.h File Reference
#include "Degree.h"
#include "../UnivariatePolynomial.h"
#include <algorithm>
#include <numeric>
Include dependency graph for RootBounds.h:
This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Namespaces

 carl
 carl is the main namespace for the library.
 

Functions

template<typename Coeff >
Coeff carl::cauchyBound (const UnivariatePolynomial< Coeff > &p)
 
template<typename Coeff >
Coeff carl::hirstMaceyBound (const UnivariatePolynomial< Coeff > &p)
 
template<typename Coeff >
Coeff carl::lagrangeBound (const UnivariatePolynomial< Coeff > &p)
 
template<typename Coeff >
Coeff carl::lagrangePositiveUpperBound (const UnivariatePolynomial< Coeff > &p)
 
template<typename Coeff >
Coeff carl::lagrangePositiveLowerBound (const UnivariatePolynomial< Coeff > &p)
 Computes a lower bound on the value of the positive real roots of the given univariate polynomial. More...
 
template<typename Coeff >
Coeff carl::lagrangeNegativeUpperBound (const UnivariatePolynomial< Coeff > &p)
 Computes an upper bound on the value of the negative real roots of the given univariate polynomial. More...