MultivariateTarskiQuery.h File Reference

#include <carl-arith/core/Sign.h>
#include "CharPol.h"
#include "MultiplicationTable.h"

Include dependency graph for MultivariateTarskiQuery.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 Number >
int	carl::multivariateTarskiQuery (const MultivariatePolynomial< Number > &Q, const MultiplicationTable< Number > &table)