#include "BoundedDivisorsOf.h"
#include "RelatedTerms.h"
#include "LLReductor.h"
#include "MinimalLeadingTerms.h"
#include "MonomialTerms.h"
#include "LeadingTerms.h"
#include "LeadingTerms00.h"
#include "LeadingTerms11.h"
#include "MonomialPlusOneTerms.h"
#include <polybori/routines/pbori_algo.h>
#include "groebner_defs.h"
Go to the source code of this file.
Namespaces | |
namespace | polybori |
namespace | polybori::groebner |
Classes | |
class | polybori::groebner::ReductionTerms |
This class defines term for ReductionStrategy . More... | |
Functions | |
MonomialSet | polybori::groebner::mod_mon_set (const MonomialSet &as, const MonomialSet &vs) |
ReductionTerms
.