PolynomialFactorizationPair.h File Reference

#include <map>
#include <mutex>
#include <carl-arith/poly/umvpoly/Monomial.h>
#include <carl-arith/core/Common.h>
#include "PolynomialFactorizationPair.tpp"

Include dependency graph for PolynomialFactorizationPair.h:

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

Go to the source code of this file.

Data Structures
class	carl::Factorization< P >
class	carl::PolynomialFactorizationPair< P >
struct	std::hash< carl::PolynomialFactorizationPair< P > >

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename P >
std::string	carl::factorizationToString (const Factorization< P > &_factorization, bool _infix=true, bool _friendlyVarNames=true)
template<typename P >
std::ostream &	carl::operator<< (std::ostream &_out, const Factorization< P > &_factorization)
template<typename P >
bool	carl::factorizationsEqual (const Factorization< P > &_factorizationA, const Factorization< P > &_factorizationB)
template<typename P >
P	carl::computePolynomial (const PolynomialFactorizationPair< P > &_pfPair)
	Compute the polynomial from the given polynomial-factorization pair. More...