SoSDecomposition.h File Reference

#include "Degree.h"
#include "Power.h"
#include "../MultivariatePolynomial.h"
#include "VarInfo.h"

Include dependency graph for SoSDecomposition.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.

Functions
template<typename C , typename O , typename P >
std::vector< std::pair< C, MultivariatePolynomial< C, O, P > > >	carl::sos_decomposition (const MultivariatePolynomial< C, O, P > &p, bool not_trivial=false)