Groebner.h File Reference

#include "../CoCoAAdaptor.h"

Include dependency graph for Groebner.h:

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< MultivariatePolynomial< C, O, P > >	carl::groebner_basis (const std::vector< MultivariatePolynomial< C, O, P >> &polys)