PolyBoRi
polybori::groebner::GroebnerStrategy Member List

This is the complete list of members for polybori::groebner::GroebnerStrategy, including all inherited members.

add4ImplDelayed(const Polynomial &p, const Exponent &lm_exp, const Exponent &used_variables, int s, bool include_orig)polybori::groebner::GroebnerStrategyprotected
addAsYouWish(const Polynomial &p)polybori::groebner::GroebnerStrategy
addGenerator(const BoolePolynomial &p, bool is_impl=false, std::vector< int > *impl_v=NULL)polybori::groebner::GroebnerStrategy
addGeneratorDelayed(const BoolePolynomial &p)polybori::groebner::GroebnerStrategy
addGeneratorTrySplit(const Polynomial &p, bool is_minimal)polybori::groebner::GroebnerStrategy
addHigherImplDelayedUsing4(int s, const LiteralFactorization &literal_factors, bool include_orig)polybori::groebner::GroebnerStrategyprotected
addNonTrivialImplicationsDelayed(const PolyEntry &p)polybori::groebner::GroebnerStrategy
addVariablePairs(int s)polybori::groebner::GroebnerStrategyprotected
allGenerators()polybori::groebner::GroebnerStrategy
averageLengthpolybori::groebner::GroebnerStrategy
cachepolybori::groebner::GroebnerStrategy
canRewrite(const Polynomial &p) const polybori::groebner::GroebnerStrategyinline
chainCriterionspolybori::groebner::GroebnerStrategy
containsOne() const polybori::groebner::GroebnerStrategyinline
currentDegreepolybori::groebner::GroebnerStrategy
easyProductCriterionspolybori::groebner::GroebnerStrategy
enabledLogpolybori::groebner::GroebnerStrategy
exp2Indexpolybori::groebner::GroebnerStrategy
extendedProductCriterionspolybori::groebner::GroebnerStrategy
faugereStepDense(const std::vector< Polynomial > &)polybori::groebner::GroebnerStrategy
generatorspolybori::groebner::GroebnerStrategy
GroebnerStrategy(const GroebnerStrategy &orig)polybori::groebner::GroebnerStrategy
GroebnerStrategy()polybori::groebner::GroebnerStrategyinline
leadingTermspolybori::groebner::GroebnerStrategy
leadingTerms00polybori::groebner::GroebnerStrategy
leadingTerms11polybori::groebner::GroebnerStrategy
llReduceAll()polybori::groebner::GroebnerStrategy
llReductorpolybori::groebner::GroebnerStrategy
lm2Indexpolybori::groebner::GroebnerStrategy
log(const char *c)polybori::groebner::GroebnerStrategyinline
minimalize()polybori::groebner::GroebnerStrategy
minimalizeAndTailReduce()polybori::groebner::GroebnerStrategy
minimalLeadingTermspolybori::groebner::GroebnerStrategy
monomialspolybori::groebner::GroebnerStrategy
monomials_plus_onepolybori::groebner::GroebnerStrategy
nextSpoly()polybori::groebner::GroebnerStrategyinline
nf(Polynomial p) const polybori::groebner::GroebnerStrategy
normalFormspolybori::groebner::GroebnerStrategy
noroStep(const std::vector< Polynomial > &)polybori::groebner::GroebnerStrategy
optAllowRecursionpolybori::groebner::GroebnerStrategy
optBrutalReductionspolybori::groebner::GroebnerStrategy
optDelayNonMinimalspolybori::groebner::GroebnerStrategy
optExchangepolybori::groebner::GroebnerStrategy
optLazypolybori::groebner::GroebnerStrategy
optLinearAlgebraInLastBlockpolybori::groebner::GroebnerStrategy
optLLpolybori::groebner::GroebnerStrategy
optRedTailpolybori::groebner::GroebnerStrategy
optRedTailDegGrowthpolybori::groebner::GroebnerStrategy
optRedTailInLastBlockpolybori::groebner::GroebnerStrategy
optStepBoundedpolybori::groebner::GroebnerStrategy
pairspolybori::groebner::GroebnerStrategy
propagate(const PolyEntry &e)polybori::groebner::GroebnerStrategy
propagate_step(const PolyEntry &e, std::set< int > others)polybori::groebner::GroebnerStrategy
rpolybori::groebner::GroebnerStrategy
redTail(const Polynomial &p)polybori::groebner::GroebnerStrategy
reduceByTailReducedpolybori::groebner::GroebnerStrategy
reducibleUntilpolybori::groebner::GroebnerStrategy
reductionStepspolybori::groebner::GroebnerStrategy
suggestPluginVariable()polybori::groebner::GroebnerStrategy
symmGB_F2()polybori::groebner::GroebnerStrategy
treat_m_p_1_case(const PolyEntry &e)polybori::groebner::GroebnerStrategy
treatNormalPairs(int s, MonomialSet intersecting_terms, MonomialSet other_terms, MonomialSet ext_prod_terms)polybori::groebner::GroebnerStrategyprotected
treatVariablePairs(int s)polybori::groebner::GroebnerStrategyprotected
variableChainCriterionspolybori::groebner::GroebnerStrategy
variableHasValue(idx_type i)polybori::groebner::GroebnerStrategy