#include "groebner_defs.h"
#include "LexHelper.h"
#include "DegOrderHelper.h"
#include "BlockOrderHelper.h"
#include "GroebnerStrategy.h"
Go to the source code of this file.
Namespaces | |
namespace | polybori |
namespace | polybori::groebner |
Functions | |
Polynomial | polybori::groebner::red_tail_general (const ReductionStrategy &strat, Polynomial p) |
template<class Helper> | |
Polynomial | polybori::groebner::red_tail_generic (const ReductionStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::red_tail (const ReductionStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::red_tail_short (const ReductionStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::red_tail_in_last_block (const GroebnerStrategy &strat, Polynomial p) |
red_tail
functions.