PolyBoRi
|
#include <polybori/groebner/ReductionStrategy.h>
#include <polybori/groebner/LessWeightedLengthInStrat.h>
#include <polybori/groebner/LessWeightedLengthInStratModified.h>
#include <polybori/groebner/nf.h>
#include <polybori/groebner/red_tail.h>
Namespaces | |
polybori | |
polybori::groebner | |
Typedefs | |
typedef LessWeightedLengthInStratModified | polybori::groebner::StratComparerForSelect |
This file includes the definition of the class ReductionStrategy
.