PolyBoRi
|
This class computes the next spoly for a generator pair. More...
#include <NextSpoly.h>
Public Member Functions | |
NextSpoly (ReductionStrategy &gen, PairStatusSet &status) | |
Polynomial | operator() (const Pair &act_pair) |
Protected Member Functions | |
Polynomial | compute (const Pair &act_pair, const Polynomial &result) |
Polynomial | compute (const IJPairData &ij, const Polynomial &res) |
Polynomial | compute (const VariablePairData &vp, const Polynomial &res) |
void | replacePair (int &first, int &second) |
template<class Iterator > | |
void | replacePair (Iterator start, Iterator finish, int &first, int &second) |
This class computes the next spoly for a generator pair.
|
inline |
|
inlineprotected |
|
inlineprotected |
|
inlineprotected |
|
inline |
References polybori::groebner::PairE::extract().
|
inlineprotected |
|
inlineprotected |