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