|
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] |
1.8.0