PolyBoRi: polybori::groebner::PairManager Class Reference

PolyBoRi

#include <groebner_alg.h>

List of all members.

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)

Member Typedef Documentation

typedef std::priority_queue<Pair,std::vector<PairE>, PairECompare> polybori::groebner::PairManager::queue_type

Constructor & Destructor Documentation

polybori::groebner::PairManager::PairManager ( GroebnerStrategy & strat ) [inline]

Member Function Documentation

void polybori::groebner::PairManager::appendHiddenGenerators ( std::vector< Polynomial > & vec )

References queue, polybori::groebner::PairE::getType(), polybori::groebner::DELAYED_PAIR, polybori::groebner::PairE::data, and polybori::BoolePolynomial::isZero().

Referenced by polybori::groebner::GroebnerStrategy::allGenerators().

void polybori::groebner::PairManager::cleanTopByChainCriterion ( )

Todo:: implement this

References pairSetEmpty(), queue, polybori::groebner::IJ_PAIR, polybori::groebner::IJPairData::i, polybori::groebner::IJPairData::j, strat, polybori::groebner::GroebnerStrategy::pairs, status, polybori::groebner::PairStatusSet::hasTRep(), polybori::groebner::GroebnerStrategy::generators, polybori::groebner::PairStatusSet::setToHasTRep(), polybori::groebner::GroebnerStrategy::extendedProductCriterions, polybori::groebner::ReductionStrategy::leadingTerms, polybori::BooleExponent::divisors(), polybori::BooleSet::expBegin(), polybori::BooleSet::expEnd(), polybori::groebner::GroebnerStrategy::chainCriterions, polybori::groebner::VARIABLE_PAIR, UNLIKELY, polybori::groebner::VariablePairData::i, polybori::groebner::VariablePairData::v, polybori::groebner::GroebnerStrategy::log(), and polybori::groebner::GroebnerStrategy::variableChainCriterions.

void polybori::groebner::PairManager::introducePair ( const Pair & p )

References polybori::groebner::PairE::getType(), polybori::groebner::IJ_PAIR, and polybori::groebner::PairE::sugar.

Referenced by polybori::groebner::GroebnerStrategy::addVariablePairs(), polybori::groebner::GroebnerStrategy::treatNormalPairs(), and polybori::groebner::GroebnerStrategy::addGeneratorDelayed().

Polynomial polybori::groebner::PairManager::nextSpoly ( const PolyEntryVector & gen )

References UNLIKELY, polybori::groebner::IJ_PAIR, polybori::groebner::IJPairData::i, polybori::groebner::IJPairData::j, polybori::spoly(), polybori::groebner::VARIABLE_PAIR, polybori::groebner::VariablePairData::i, polybori::groebner::VariablePairData::v, polybori::BoolePolynomial::isZero(), and polybori::BoolePolynomial::lead().

bool polybori::groebner::PairManager::pairSetEmpty ( ) const

Referenced by cleanTopByChainCriterion().

void polybori::groebner::PairManager::replacePair	(	int &	i,
		int &	j
	)		`[protected]`

References polybori::BooleSet::divisorsOf(), polybori::BooleSet::expBegin(), and polybori::BooleSet::expEnd().

Member Data Documentation

queue_type polybori::groebner::PairManager::queue

Referenced by cleanTopByChainCriterion(), appendHiddenGenerators(), and polybori::groebner::GroebnerStrategy::symmGB_F2().

PairStatusSet polybori::groebner::PairManager::status

Referenced by polybori::groebner::ChainCriterion::operator()(), polybori::groebner::ChainVariableCriterion::operator()(), cleanTopByChainCriterion(), polybori::groebner::HasTRepOrExtendedProductCriterion::operator()(), and polybori::groebner::GroebnerStrategy::addGenerator().

GroebnerStrategy* polybori::groebner::PairManager::strat

Referenced by polybori::groebner::GroebnerStrategy::GroebnerStrategy(), and cleanTopByChainCriterion().

The documentation for this class was generated from the following files: