GBProcedure.h File Reference

#include "Ideal.h"
#include "Reductor.h"
#include <carl-logging/carl-logging.h>
#include <carl-common/datastructures/BitVector.h>

Include dependency graph for GBProcedure.h:

This graph shows which files directly or indirectly include this file:

Go to the source code of this file.

Data Structures
class	carl::AbstractGBProcedure< Polynomial >
class	carl::GBProcedure< Polynomial, Procedure, AddingPolynomialPolicy >
	A general class for Groebner Basis calculation. More...

Namespaces
	carl
	carl is the main namespace for the library.

Detailed Description

Author

Sebastian Junges

Definition in file GBProcedure.h.