UnivariatePolynomial.h File Reference

#include <carl-arith/numbers/numbers.h>
#include <carl-common/meta/SFINAE.h>
#include <carl-common/util/hash.h>
#include <carl-arith/core/Sign.h>
#include <carl-arith/core/Variable.h>
#include <functional>
#include <list>
#include <map>
#include <memory>
#include <vector>
#include "../typetraits.h"
#include "MultivariatePolynomial.h"
#include <carl-logging/carl-logging.h>
#include "UnivariatePolynomial.tpp"

Include dependency graph for UnivariatePolynomial.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	carl::UnivariatePolynomial< Coefficient >
	This class represents a univariate polynomial with coefficients of an arbitrary type. More...
struct	carl::is_polynomial_type< carl::UnivariatePolynomial< T > >
struct	carl::UnderlyingNumberType< UnivariatePolynomial< C > >
	States that UnderlyingNumberType of UnivariatePolynomial<T> is UnderlyingNumberType<C>::type. More...
struct	std::hash< carl::UnivariatePolynomial< Coefficient > >
	Specialization of std::hash for univariate polynomials. More...
struct	std::less< carl::UnivariatePolynomial< Coefficient > >
	Specialization of std::less for univariate polynomials. More...

Namespaces
	carl
	carl is the main namespace for the library.

Typedefs
template<typename Coefficient >
using	carl::UnivariatePolynomialPtr = std::shared_ptr< UnivariatePolynomial< Coefficient > >
template<typename Coefficient >
using	carl::FactorMap = std::map< UnivariatePolynomial< Coefficient >, uint >

Enumerations
enum class	carl::PolynomialComparisonOrder { carl::CauchyBound , carl::LowDegree , carl::Memory , carl::Default = LowDegree }

Functions
template<typename Coefficient >
bool	carl::is_zero (const UnivariatePolynomial< Coefficient > &p)
	Checks if the polynomial is equal to zero. More...
template<typename Coefficient >
bool	carl::is_one (const UnivariatePolynomial< Coefficient > &p)
	Checks if the polynomial is equal to one. More...
template<typename Coeff >
void	carl::variables (const UnivariatePolynomial< Coeff > &p, carlVariables &vars)
	Add the variables of the given polynomial to the variables. More...

Detailed Description

Author

Sebastian Junges

Definition in file UnivariatePolynomial.h.