UnivariateTarskiQuery.h File Reference
Include dependency graph for UnivariateTarskiQuery.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 Number > | |
| Sign | carl::signAtMinusInf (const UnivariatePolynomial< Number > &p) |
| template<typename Number > | |
| Sign | carl::signAtPlusInf (const UnivariatePolynomial< Number > &p) |
| template<typename Number > | |
| int | carl::univariateTarskiQuery (const UnivariatePolynomial< Number > &p, const UnivariatePolynomial< Number > &q, const UnivariatePolynomial< Number > &der_q) |
| template<typename Number > | |
| int | carl::univariateTarskiQuery (const UnivariatePolynomial< Number > &p, const UnivariatePolynomial< Number > &q) |
