#include "groebner_defs.h"#include <utility>#include <vector>#include "LMLessCompare.h"#include "GroebnerStrategy.h"Go to the source code of this file.
Namespaces | |
| namespace | polybori |
| namespace | polybori::groebner |
Classes | |
| class | polybori::groebner::SlimgbReduction< variant > |
| This class defines SlimgbReduction. More... | |
Variables | |
| const int | polybori::groebner::SLIMGB_SIMPLEST = 0 |
groebner_SlimgbReduction.
1.5.6