carl::helper Namespace Reference

Data Structures
struct	Substitutor
struct	PolynomialSubstitutor
struct	BitvectorSubstitutor
struct	UninterpretedSubstitutor

Functions
template<typename C , typename O , typename P >
Factors< MultivariatePolynomial< C, O, P > >	trivialFactorization (const MultivariatePolynomial< C, O, P > &p)
	Returns a factors datastructure containing only the full polynomial as single factor. More...

Function Documentation

trivialFactorization()

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.

Definition at line 20 of file Factorization.h.

Here is the caller graph for this function: