#include <groebner_alg.h>
List of all members.
Member Typedef Documentation
Constructor & Destructor Documentation
polybori::groebner::PairManager::PairManager |
( |
GroebnerStrategy & |
strat | ) |
[inline] |
Member Function Documentation
void polybori::groebner::PairManager::appendHiddenGenerators |
( |
std::vector< Polynomial > & |
vec | ) |
|
void polybori::groebner::PairManager::cleanTopByChainCriterion |
( |
| ) |
|
- Todo:
- implement this
References polybori::groebner::GroebnerStrategy::chainCriterions, polybori::BooleExponent::divisors(), polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), polybori::groebner::GroebnerStrategy::extendedProductCriterions, polybori::groebner::GroebnerStrategy::generators, polybori::groebner::PairStatusSet::hasTRep(), polybori::groebner::VariablePairData::i, polybori::groebner::IJPairData::i, polybori::groebner::IJ_PAIR, polybori::BooleSet::intersect(), polybori::groebner::IJPairData::j, polybori::groebner::GroebnerStrategy::leadingTerms, polybori::groebner::GroebnerStrategy::log(), polybori::groebner::GroebnerStrategy::pairs, pairSetEmpty(), queue, polybori::groebner::PairStatusSet::setToHasTRep(), status, strat, polybori::groebner::VariablePairData::v, polybori::groebner::VARIABLE_PAIR, and polybori::groebner::GroebnerStrategy::variableChainCriterions.
void polybori::groebner::PairManager::introducePair |
( |
const Pair & |
p | ) |
|
bool polybori::groebner::PairManager::pairSetEmpty |
( |
| ) |
const |
void polybori::groebner::PairManager::replacePair |
( |
int & |
i, |
|
|
int & |
j |
|
) |
| [protected] |
Member Data Documentation
The documentation for this class was generated from the following files: