Operations.h File Reference

#include <carl-common/meta/SFINAE.h>
#include <carl-arith/poly/umvpoly/functions/Substitution.h>
#include <carl-arith/core/Relation.h>
#include <functional>

Include dependency graph for Operations.h:

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

Go to the source code of this file.

Data Structures
struct	carl::is_ran_type< T >

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
Number	carl::is_root_of (const UnivariatePolynomial< Number > &p, const RAN &value)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator== (const RAN &lhs, const Number &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator!= (const RAN &lhs, const Number &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator<= (const RAN &lhs, const Number &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator>= (const RAN &lhs, const Number &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator< (const RAN &lhs, const Number &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator> (const RAN &lhs, const Number &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator== (const Number &lhs, const RAN &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator!= (const Number &lhs, const RAN &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator<= (const Number &lhs, const RAN &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator>= (const Number &lhs, const RAN &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator< (const Number &lhs, const RAN &rhs)
template<typename Number , typename RAN , typename = std::enable_if_t<is_ran_type<RAN>::value>>
bool	carl::operator> (const Number &lhs, const RAN &rhs)
template<typename RAN , EnableIf< is_ran_type< RAN >> = dummy>
bool	carl::operator== (const RAN &lhs, const RAN &rhs)
template<typename RAN , EnableIf< is_ran_type< RAN >> = dummy>
bool	carl::operator!= (const RAN &lhs, const RAN &rhs)
template<typename RAN , EnableIf< is_ran_type< RAN >> = dummy>
bool	carl::operator<= (const RAN &lhs, const RAN &rhs)
template<typename RAN , EnableIf< is_ran_type< RAN >> = dummy>
bool	carl::operator>= (const RAN &lhs, const RAN &rhs)
template<typename RAN , EnableIf< is_ran_type< RAN >> = dummy>
bool	carl::operator< (const RAN &lhs, const RAN &rhs)
template<typename RAN , EnableIf< is_ran_type< RAN >> = dummy>
bool	carl::operator> (const RAN &lhs, const RAN &rhs)