#include "groebner_defs.h"#include "polynomial_properties.h"#include "PolyEntryVector.h"#include "ReductionOptions.h"#include "ReductionTerms.h"#include "SetAssociatedMinimal.h"Go to the source code of this file.
Namespaces | |
| namespace | polybori |
| namespace | polybori::groebner |
Classes | |
| class | polybori::groebner::ReductionStrategy |
| This class defines ReductionStrategy. More... | |
Functions | |
| bool | polybori::groebner::irreducible_lead (Monomial lm, const ReductionStrategy &strat) |
ReductionStrategy.
1.5.6