GroebnerStrategy Member List

This is the complete list of members for GroebnerStrategy, including all inherited members.
add4ImplDelayed(const Polynomial &p, const Exponent &lm_exp, const Exponent &used_variables, int s, bool include_orig)GroebnerStrategy [protected]
addAsYouWish(const Polynomial &p)GroebnerStrategy
addGenerator(const BoolePolynomial &p, bool is_impl=false, std::vector< int > *impl_v=NULL)GroebnerStrategy
addGeneratorDelayed(const BoolePolynomial &p)GroebnerStrategy
addGeneratorTrySplit(const Polynomial &p, bool is_minimal)GroebnerStrategy
addHigherImplDelayedUsing4(int s, const LiteralFactorization &literal_factors, bool include_orig)GroebnerStrategy [protected]
addNonTrivialImplicationsDelayed(const PolyEntry &p)GroebnerStrategy
addVariablePairs(int s)GroebnerStrategy [protected]
allGenerators()GroebnerStrategy
averageLengthGroebnerStrategy
cacheGroebnerStrategy
canRewrite(const Polynomial &p) const GroebnerStrategy [inline]
chainCriterionsGroebnerStrategy
containsOne() const GroebnerStrategy [inline]
currentDegreeGroebnerStrategy
easyProductCriterionsGroebnerStrategy
enabledLogGroebnerStrategy
exp2IndexGroebnerStrategy
extendedProductCriterionsGroebnerStrategy
faugereStepDense(const std::vector< Polynomial > &)GroebnerStrategy
generatorsGroebnerStrategy
GroebnerStrategy(const GroebnerStrategy &orig)GroebnerStrategy
GroebnerStrategy()GroebnerStrategy [inline]
leadingTermsGroebnerStrategy
leadingTerms00GroebnerStrategy
leadingTerms11GroebnerStrategy
llReduceAll()GroebnerStrategy
llReductorGroebnerStrategy
lm2IndexGroebnerStrategy
log(const char *c)GroebnerStrategy [inline]
minimalize()GroebnerStrategy
minimalizeAndTailReduce()GroebnerStrategy
minimalLeadingTermsGroebnerStrategy
monomialsGroebnerStrategy
monomials_plus_oneGroebnerStrategy
nextSpoly()GroebnerStrategy [inline]
nf(Polynomial p) const GroebnerStrategy
normalFormsGroebnerStrategy
noroStep(const std::vector< Polynomial > &)GroebnerStrategy
optAllowRecursionGroebnerStrategy
optBrutalReductionsGroebnerStrategy
optDelayNonMinimalsGroebnerStrategy
optExchangeGroebnerStrategy
optHFEGroebnerStrategy
optLazyGroebnerStrategy
optLinearAlgebraInLastBlockGroebnerStrategy
optLLGroebnerStrategy
optRedTailGroebnerStrategy
optRedTailDegGrowthGroebnerStrategy
optRedTailInLastBlockGroebnerStrategy
optStepBoundedGroebnerStrategy
pairsGroebnerStrategy
propagate(const PolyEntry &e)GroebnerStrategy
propagate_step(const PolyEntry &e, std::set< int > others)GroebnerStrategy
rGroebnerStrategy
redTail(const Polynomial &p)GroebnerStrategy
reduceByTailReducedGroebnerStrategy
reducibleUntilGroebnerStrategy
reductionStepsGroebnerStrategy
suggestPluginVariable()GroebnerStrategy
symmGB_F2()GroebnerStrategy
treat_m_p_1_case(const PolyEntry &e)GroebnerStrategy
treatNormalPairs(int s, MonomialSet intersecting_terms, MonomialSet other_terms, MonomialSet ext_prod_terms)GroebnerStrategy [protected]
treatVariablePairs(int s)GroebnerStrategy [protected]
variableChainCriterionsGroebnerStrategy
variableHasValue(idx_type i)GroebnerStrategy

Generated on 25 Oct 2009 for PolyBoRi by  doxygen 1.6.1