, including all inherited members.
add4ImplDelayed(const Polynomial &p, const Exponent &lm_exp, const Exponent &used_variables, int s, bool include_orig) | polybori::groebner::GroebnerStrategy | [protected] |
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::GroebnerStrategy | [protected] |
addNonTrivialImplicationsDelayed(const PolyEntry &p) | polybori::groebner::GroebnerStrategy | |
addVariablePairs(int s) | polybori::groebner::GroebnerStrategy | [protected] |
allGenerators() | polybori::groebner::GroebnerStrategy | |
averageLength | polybori::groebner::GroebnerStrategy | |
cache | polybori::groebner::GroebnerStrategy | |
canRewrite(const Polynomial &p) const | polybori::groebner::GroebnerStrategy | [inline] |
chainCriterions | polybori::groebner::GroebnerStrategy | |
containsOne() const | polybori::groebner::GroebnerStrategy | [inline] |
currentDegree | polybori::groebner::GroebnerStrategy | |
easyProductCriterions | polybori::groebner::GroebnerStrategy | |
enabledLog | polybori::groebner::GroebnerStrategy | |
exp2Index | polybori::groebner::GroebnerStrategy | |
extendedProductCriterions | polybori::groebner::GroebnerStrategy | |
faugereStepDense(const std::vector< Polynomial > &) | polybori::groebner::GroebnerStrategy | |
generators | polybori::groebner::GroebnerStrategy | |
GroebnerStrategy(const GroebnerStrategy &orig) | polybori::groebner::GroebnerStrategy | |
GroebnerStrategy() | polybori::groebner::GroebnerStrategy | [inline] |
leadingTerms | polybori::groebner::GroebnerStrategy | |
leadingTerms00 | polybori::groebner::GroebnerStrategy | |
leadingTerms11 | polybori::groebner::GroebnerStrategy | |
llReduceAll() | polybori::groebner::GroebnerStrategy | |
llReductor | polybori::groebner::GroebnerStrategy | |
lm2Index | polybori::groebner::GroebnerStrategy | |
log(const char *c) | polybori::groebner::GroebnerStrategy | [inline] |
minimalize() | polybori::groebner::GroebnerStrategy | |
minimalizeAndTailReduce() | polybori::groebner::GroebnerStrategy | |
minimalLeadingTerms | polybori::groebner::GroebnerStrategy | |
monomials | polybori::groebner::GroebnerStrategy | |
monomials_plus_one | polybori::groebner::GroebnerStrategy | |
nextSpoly() | polybori::groebner::GroebnerStrategy | [inline] |
nf(Polynomial p) const | polybori::groebner::GroebnerStrategy | |
normalForms | polybori::groebner::GroebnerStrategy | |
noroStep(const std::vector< Polynomial > &) | polybori::groebner::GroebnerStrategy | |
optAllowRecursion | polybori::groebner::GroebnerStrategy | |
optBrutalReductions | polybori::groebner::GroebnerStrategy | |
optDelayNonMinimals | polybori::groebner::GroebnerStrategy | |
optExchange | polybori::groebner::GroebnerStrategy | |
optLazy | polybori::groebner::GroebnerStrategy | |
optLinearAlgebraInLastBlock | polybori::groebner::GroebnerStrategy | |
optLL | polybori::groebner::GroebnerStrategy | |
optRedTail | polybori::groebner::GroebnerStrategy | |
optRedTailDegGrowth | polybori::groebner::GroebnerStrategy | |
optRedTailInLastBlock | polybori::groebner::GroebnerStrategy | |
optStepBounded | polybori::groebner::GroebnerStrategy | |
pairs | polybori::groebner::GroebnerStrategy | |
propagate(const PolyEntry &e) | polybori::groebner::GroebnerStrategy | |
propagate_step(const PolyEntry &e, std::set< int > others) | polybori::groebner::GroebnerStrategy | |
r | polybori::groebner::GroebnerStrategy | |
redTail(const Polynomial &p) | polybori::groebner::GroebnerStrategy | |
reduceByTailReduced | polybori::groebner::GroebnerStrategy | |
reducibleUntil | polybori::groebner::GroebnerStrategy | |
reductionSteps | polybori::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::GroebnerStrategy | [protected] |
treatVariablePairs(int s) | polybori::groebner::GroebnerStrategy | [protected] |
variableChainCriterions | polybori::groebner::GroebnerStrategy | |
variableHasValue(idx_type i) | polybori::groebner::GroebnerStrategy | |