PolyBoRi
|
#include <RedTailNth.h>
Public Member Functions | |
RedTailNth (ReductionStrategy &strat) | |
template<class KeyType > | |
const Polynomial & | operator() (const KeyType &key) |
This class applies tail reduction to the n-th element of a given ReductionStrategy
.
polybori::groebner::RedTailNth::RedTailNth | ( | ReductionStrategy & | strat | ) | [inline] |
const Polynomial& polybori::groebner::RedTailNth::operator() | ( | const KeyType & | key | ) | [inline] |