MultivariatePolynomial.h File Reference

#include <algorithm>
#include <numeric>
#include <memory>
#include <type_traits>
#include <vector>
#include "MultivariatePolynomialPolicy.h"
#include "Term.h"
#include <carl-arith/numbers/numbers.h>
#include "TermAdditionManager.h"
#include "../typetraits.h"
#include "MultivariatePolynomial_operators.h"
#include "MultivariatePolynomial.tpp"

Include dependency graph for MultivariatePolynomial.h:

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

Go to the source code of this file.

Data Structures
class	carl::MultivariatePolynomial< Coeff, Ordering, Policies >
	The general-purpose multivariate polynomial class. More...
struct	carl::is_polynomial_type< carl::MultivariatePolynomial< T, O, P > >
struct	carl::UnderlyingNumberType< MultivariatePolynomial< C, O, P > >
	States that UnderlyingNumberType of MultivariatePolynomial<C,O,P> is UnderlyingNumberType<C>::type. More...
struct	std::hash< carl::MultivariatePolynomial< C, O, P > >
	Specialization of std::hash for MultivariatePolynomial. More...

Namespaces
	carl
	carl is the main namespace for the library.

Functions
template<typename C , typename O , typename P >
bool	carl::is_one (const MultivariatePolynomial< C, O, P > &p)
template<typename C , typename O , typename P >
bool	carl::is_zero (const MultivariatePolynomial< C, O, P > &p)
template<typename C , typename O , typename P >
std::pair< MultivariatePolynomial< C, O, P >, MultivariatePolynomial< C, O, P > >	carl::lazyDiv (const MultivariatePolynomial< C, O, P > &_polyA, const MultivariatePolynomial< C, O, P > &_polyB)
template<typename C , typename O , typename P >
std::ostream &	carl::operator<< (std::ostream &os, const MultivariatePolynomial< C, O, P > &rhs)
	Streaming operator for multivariate polynomials. More...
template<typename Coeff , typename Ordering , typename Policies >
void	carl::variables (const MultivariatePolynomial< Coeff, Ordering, Policies > &p, carlVariables &vars)
	Add the variables of the given polynomial to the variables. More...
Division operators
template<typename C , typename O , typename P , EnableIf< carl::is_number_type< C >> = dummy>
MultivariatePolynomial< C, O, P >	carl::operator/ (const MultivariatePolynomial< C, O, P > &lhs, const C &rhs)
	Perform a division involving a polynomial. More...

Detailed Description

Author

Sebastian Junges

Florian Corzilius

Definition in file MultivariatePolynomial.h.