Reductor.h File Reference

#include "Ideal.h"
#include "ReductorEntry.h"
#include <carl-common/datastructures/Heap.h>
#include <carl-common/datastructures/BitVector.h>

Include dependency graph for Reductor.h:

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

Go to the source code of this file.

Data Structures
class	carl::ReductorConfiguration< Polynomial >
	Class with the settings for the reduction algorithm. More...
class	carl::Reductor< InputPolynomial, PolynomialInIdeal, Datastructure, Configuration >
	A dedicated algorithm for calculating the remainder of a polynomial modulo a set of other polynomials. More...

Namespaces
	carl
	carl is the main namespace for the library.

Detailed Description

Author

: Sebastian Junges

Since

July 11, 2013

Definition in file Reductor.h.