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.
polybori::groebner::NextSpoly::NextSpoly | ( | ReductionStrategy & | gen, |
PairStatusSet & | status | ||
) | [inline] |
Polynomial polybori::groebner::NextSpoly::compute | ( | const Pair & | act_pair, |
const Polynomial & | result | ||
) | [inline, protected] |
Polynomial polybori::groebner::NextSpoly::compute | ( | const IJPairData & | ij, |
const Polynomial & | res | ||
) | [inline, protected] |
Polynomial polybori::groebner::NextSpoly::compute | ( | const VariablePairData & | vp, |
const Polynomial & | res | ||
) | [inline, protected] |
Polynomial polybori::groebner::NextSpoly::operator() | ( | const Pair & | act_pair | ) | [inline] |
References polybori::groebner::PairE::extract().
void polybori::groebner::NextSpoly::replacePair | ( | int & | first, |
int & | second | ||
) | [inline, protected] |
void polybori::groebner::NextSpoly::replacePair | ( | Iterator | start, |
Iterator | finish, | ||
int & | first, | ||
int & | second | ||
) | [inline, protected] |