|
PolyBoRi
|
#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.
Classes | |
| class | polybori::groebner::ReductionTerms |
This class defines term for ReductionStrategy. More... | |
Namespaces | |
| polybori | |
| polybori::groebner | |
Functions | |
| MonomialSet | polybori::groebner::mod_mon_set (const MonomialSet &as, const MonomialSet &vs) |
This file includes the definition of the class ReductionTerms.
1.8.9.1