#include <groebner_alg.h>
Public Types | |
typedef std::priority_queue < Pair, std::vector< PairE > , PairECompare > | queue_type |
Public Member Functions | |
PairManager (GroebnerStrategy &strat) | |
void | appendHiddenGenerators (std::vector< Polynomial > &vec) |
void | introducePair (const Pair &p) |
Polynomial | nextSpoly (const PolyEntryVector &gen) |
bool | pairSetEmpty () const |
void | cleanTopByChainCriterion () |
Public Attributes | |
PairStatusSet | status |
GroebnerStrategy * | strat |
queue_type | queue |
Protected Member Functions | |
void | replacePair (int &i, int &j) |
typedef std::priority_queue<Pair,std::vector<PairE>, PairECompare> PairManager::queue_type |
PairManager::PairManager | ( | GroebnerStrategy & | strat | ) | [inline] |
void PairManager::appendHiddenGenerators | ( | std::vector< Polynomial > & | vec | ) |
References polybori::groebner::DELAYED_PAIR, and queue.
Referenced by GroebnerStrategy::allGenerators().
void PairManager::cleanTopByChainCriterion | ( | ) |
References GroebnerStrategy::chainCriterions, GroebnerStrategy::extendedProductCriterions, GroebnerStrategy::generators, PairStatusSet::hasTRep(), polybori::groebner::IJ_PAIR, GroebnerStrategy::leadingTerms, GroebnerStrategy::log(), GroebnerStrategy::pairs, pairSetEmpty(), queue, PairStatusSet::setToHasTRep(), status, strat, polybori::groebner::VARIABLE_PAIR, and GroebnerStrategy::variableChainCriterions.
void PairManager::introducePair | ( | const Pair & | p | ) |
References polybori::groebner::IJ_PAIR, GroebnerStrategy::optHFE, queue, and strat.
Referenced by GroebnerStrategy::addGeneratorDelayed(), GroebnerStrategy::addVariablePairs(), and GroebnerStrategy::treatNormalPairs().
Polynomial PairManager::nextSpoly | ( | const PolyEntryVector & | gen | ) |
bool PairManager::pairSetEmpty | ( | ) | const |
References queue.
Referenced by cleanTopByChainCriterion(), and nextSpoly().
void PairManager::replacePair | ( | int & | i, | |
int & | j | |||
) | [protected] |
References GroebnerStrategy::exp2Index, GroebnerStrategy::generators, PairStatusSet::hasTRep(), GroebnerStrategy::leadingTerms, status, and strat.
Referenced by nextSpoly().
Referenced by cleanTopByChainCriterion(), GroebnerStrategy::GroebnerStrategy(), introducePair(), nextSpoly(), and replacePair().