carl  24.04
Computer ARithmetic Library
groebner.h
Go to the documentation of this file.
1 /**
2  * @file: groebner.h
3  * @author: Sebastian Junges
4  *
5  * @since August 27, 2013
6  */
7 
8 #pragma once
9 
10 #include "GBProcedure.h"
11 #include "gb-buchberger/Buchberger.h"
12 #include "Reductor.h"