GroebnerExample.cpp File Reference

#include <vector>
#include <sstream>
#include <carl-arith/groebner/groebner.h>
#include "groebner/katsura.h"
#include "groebner/cyclic.h"
#include <carl-arith/poly/umvpoly/MultivariatePolynomial.h>
#include <carl-common/debug/Timer.h>

Include dependency graph for GroebnerExample.cpp:

Go to the source code of this file.

Data Structures
struct	GbBenchmark< C, O, P >
struct	ExecuteBenchmarks< C, O, P >

Functions
template<typename C , typename O , typename P >
std::ostream &	operator<< (std::ostream &os, const GbBenchmark< C, O, P > &b)
template<typename C , typename O , typename P >
int	execute (std::ostream &os=std::cout)
int	main (int, char **)

Variables
static const int	MAX_KATSURA = 5
static const int	MAX_CYCLIC = 3

Function Documentation

execute()

template<typename C , typename O , typename P >

int execute

(

std::ostream &

os = std::cout

)

Definition at line 77 of file GroebnerExample.cpp.

Here is the call graph for this function:

main()

int main	(	int	,
		char **
	)

Definition at line 121 of file GroebnerExample.cpp.

operator<<()

template<typename C , typename O , typename P >

std::ostream& operator<<	(	std::ostream &	os,
		const GbBenchmark< C, O, P > &	b
	)

Definition at line 28 of file GroebnerExample.cpp.

Variable Documentation

MAX_CYCLIC

const int MAX_CYCLIC = 3

static

Definition at line 12 of file GroebnerExample.cpp.

MAX_KATSURA

const int MAX_KATSURA = 5

static

Definition at line 11 of file GroebnerExample.cpp.