RationalFunction.h File Reference
#include <carl-arith/numbers/numbers.h>#include <carl-common/util/hash.h>#include "FactorizedPolynomial.h"#include <carl-arith/poly/umvpoly/functions/Evaluation.h>#include <carl-arith/poly/umvpoly/functions/GCD.h>#include "evaluation.h"#include <optional>#include "RationalFunction.tpp"
Include dependency graph for RationalFunction.h:
This graph shows which files directly or indirectly include this file:
Go to the source code of this file.
Data Structures | |
| class | carl::RationalFunction< Pol, AutoSimplify > |
| struct | std::hash< carl::RationalFunction< Pol, AS > > |
Namespaces | |
| carl | |
| carl is the main namespace for the library. | |
Functions | |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator+ (const RationalFunction< Pol, AS > &lhs, const RationalFunction< Pol, AS > &rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator+ (const RationalFunction< Pol, AS > &lhs, const Pol &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator+ (const RationalFunction< Pol, AS > &lhs, const Term< typename Pol::CoeffType > &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator+ (const RationalFunction< Pol, AS > &lhs, const Monomial::Arg &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator+ (const RationalFunction< Pol, AS > &lhs, Variable rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator+ (const RationalFunction< Pol, AS > &lhs, const typename Pol::CoeffType &rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator- (const RationalFunction< Pol, AS > &lhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator- (const RationalFunction< Pol, AS > &lhs, const RationalFunction< Pol, AS > &rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator- (const RationalFunction< Pol, AS > &lhs, const Pol &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator- (const RationalFunction< Pol, AS > &lhs, const Term< typename Pol::CoeffType > &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator- (const RationalFunction< Pol, AS > &lhs, const Monomial::Arg &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator- (const RationalFunction< Pol, AS > &lhs, Variable rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator- (const RationalFunction< Pol, AS > &lhs, const typename Pol::CoeffType &rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator* (const RationalFunction< Pol, AS > &lhs, const RationalFunction< Pol, AS > &rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator* (const RationalFunction< Pol, AS > &lhs, const Pol &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator* (const RationalFunction< Pol, AS > &lhs, const Term< typename Pol::CoeffType > &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator* (const RationalFunction< Pol, AS > &lhs, const Monomial::Arg &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator* (const RationalFunction< Pol, AS > &lhs, Variable rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator* (const RationalFunction< Pol, AS > &lhs, const typename Pol::CoeffType &rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator* (const typename Pol::CoeffType &lhs, const RationalFunction< Pol, AS > &rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator* (const RationalFunction< Pol, AS > &lhs, carl::sint rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator* (carl::sint lhs, const RationalFunction< Pol, AS > &rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator/ (const RationalFunction< Pol, AS > &lhs, const RationalFunction< Pol, AS > &rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator/ (const RationalFunction< Pol, AS > &lhs, const Pol &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator/ (const RationalFunction< Pol, AS > &lhs, const Term< typename Pol::CoeffType > &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator/ (const RationalFunction< Pol, AS > &lhs, const Monomial::Arg &rhs) |
| template<typename Pol , bool AS, DisableIf< needs_cache_type< Pol >> = dummy> | |
| RationalFunction< Pol, AS > | carl::operator/ (const RationalFunction< Pol, AS > &lhs, Variable rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator/ (const RationalFunction< Pol, AS > &lhs, const typename Pol::CoeffType &rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::operator/ (const RationalFunction< Pol, AS > &lhs, unsigned long rhs) |
| template<typename Pol , bool AS> | |
| RationalFunction< Pol, AS > | carl::pow (unsigned exp, const RationalFunction< Pol, AS > &rf) |
| template<typename Pol , bool AS> | |
| bool | carl::operator!= (const RationalFunction< Pol, AS > &lhs, const RationalFunction< Pol, AS > &rhs) |
Detailed Description
Definition in file RationalFunction.h.
