Factorization.h File Reference

#include "Power.h"
#include <carl-logging/carl-logging.h>
#include "../CoCoAAdaptor.h"
#include <carl-arith/converter/OldGinacConverter.h>
#include <carl-arith/core/Common.h>

Include dependency graph for Factorization.h:

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

Go to the source code of this file.

Namespaces
	carl
	carl is the main namespace for the library.
	carl::helper

Functions
template<typename C , typename O , typename P >
Factors< MultivariatePolynomial< C, O, P > >	carl::helper::trivialFactorization (const MultivariatePolynomial< C, O, P > &p)
	Returns a factors datastructure containing only the full polynomial as single factor. More...
template<typename C , typename O , typename P >
Factors< MultivariatePolynomial< C, O, P > >	carl::factorization (const MultivariatePolynomial< C, O, P > &p, bool includeConstants=true)
	Try to factorize a multivariate polynomial. More...
template<typename C , typename O , typename P >
bool	carl::is_trivial (const Factors< MultivariatePolynomial< C, O, P >> &f)
template<typename C , typename O , typename P >
std::vector< MultivariatePolynomial< C, O, P > >	carl::irreducible_factors (const MultivariatePolynomial< C, O, P > &p, bool includeConstants=true)
	Try to factorize a multivariate polynomial and return the irreducible factors (without multiplicities). More...