polybori::groebner::GroebnerStrategy Member List

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

add4ImplDelayed(PolyEntryReference) | polybori::groebner::GroebnerStrategy | protected
add4ImplDelayed(const Polynomial &p, const Exponent &lm_exp, const Exponent &used_variables) const | polybori::groebner::GroebnerStrategy | protected
addAsYouWish(const Polynomial &p) | polybori::groebner::GroebnerStrategy |
addGenerator(const PolyEntry &entry) | polybori::groebner::GroebnerStrategy |
addGeneratorDelayed(const BoolePolynomial &p) | polybori::groebner::GroebnerStrategy |
addGeneratorTrySplit(const Polynomial &p, bool is_minimal) | polybori::groebner::GroebnerStrategy |
addHigherImplDelayedUsing4(PolyEntryReference) | polybori::groebner::GroebnerStrategy | protected
addHigherImplDelayedUsing4(const LiteralFactorization &) const | polybori::groebner::GroebnerStrategy | protected
addNonTrivialImplicationsDelayed(const PolyEntry &p) | polybori::groebner::GroebnerStrategy |
addVariablePairs(PolyEntryReference) | polybori::groebner::GroebnerStrategy | protected
allGenerators() | polybori::groebner::GroebnerStrategy |
averageLength | polybori::groebner::GroebnerStrategy |
cache | polybori::groebner::GroebnerStrategy |
chainCriterions | polybori::groebner::GroebnerStrategy |
checkChainCriterion(const Exponent &lm, int i, int j) | polybori::groebner::GroebnerStrategy |
checkExtendedProductCriterion(int i, int j) | polybori::groebner::GroebnerStrategy |
checkPairCriteria(const Exponent &lm, int i, int j) | polybori::groebner::GroebnerStrategy | inline
checkSingletonCriterion(int i, int j) const | polybori::groebner::GroebnerStrategy | inline
checkVariableChainCriterion(int idx) | polybori::groebner::GroebnerStrategy | inline
checkVariableCriteria(int idx, int var) | polybori::groebner::GroebnerStrategy | inline
checkVariableLeadOfFactorCriterion(int idx, int var) const | polybori::groebner::GroebnerStrategy | inline
checkVariableSingletonCriterion(int idx) const | polybori::groebner::GroebnerStrategy | inline
cleanTopByChainCriterion() | polybori::groebner::PairManagerFacade< GroebnerStrategy > | inline
containsOne() const | polybori::groebner::GroebnerStrategy | inline
currentDegree | polybori::groebner::GroebnerStrategy |
easyProductCriterions | polybori::groebner::GroebnerStrategy |
enabledLog | polybori::groebner::GroebnerOptions |
extendedProductCriterions | polybori::groebner::GroebnerStrategy |
faugereStepDense(const std::vector< Polynomial > &) | polybori::groebner::GroebnerStrategy |
generators | polybori::groebner::GroebnerStrategy |
GroebnerOptions(bool redTailInLastBlock=false, bool lazy=false) | polybori::groebner::GroebnerOptions | inline
GroebnerStrategy(const GroebnerStrategy &orig) | polybori::groebner::GroebnerStrategy |
GroebnerStrategy(const BoolePolyRing &input_ring) | polybori::groebner::GroebnerStrategy | inline
introducePair(const Pair &pair) | polybori::groebner::PairManagerFacade< GroebnerStrategy > | inline
llReduceAll() | polybori::groebner::GroebnerStrategy |
log(const char *c) const | polybori::groebner::GroebnerStrategy | inline
matrixPrefix | polybori::groebner::GroebnerOptions |
minimalize() | polybori::groebner::GroebnerStrategy |
minimalizeAndTailReduce() | polybori::groebner::GroebnerStrategy |
nextSpoly() | polybori::groebner::GroebnerStrategy | inline
nf(Polynomial p) const | polybori::groebner::GroebnerStrategy |
normalForms | polybori::groebner::GroebnerStrategy |
normalPairsWithLast(const MonomialSet &) | polybori::groebner::GroebnerStrategy | protected
noroStep(const std::vector< Polynomial > &) | polybori::groebner::GroebnerStrategy |
optAllowRecursion | polybori::groebner::GroebnerOptions |
optDelayNonMinimals | polybori::groebner::GroebnerOptions |
optDrawMatrices | polybori::groebner::GroebnerOptions |
optExchange | polybori::groebner::GroebnerOptions |
optHFE | polybori::groebner::GroebnerOptions |
optLazy | polybori::groebner::GroebnerOptions |
optLinearAlgebraInLastBlock | polybori::groebner::GroebnerOptions |
optModifiedLinearAlgebra | polybori::groebner::GroebnerOptions |
optRedTailInLastBlock | polybori::groebner::GroebnerOptions |
optStepBounded | polybori::groebner::GroebnerOptions |
PairManagerFacade(const BoolePolyRing &ring) | polybori::groebner::PairManagerFacade< GroebnerStrategy > | inline
PairManagerFacade(const self &rhs) | polybori::groebner::PairManagerFacade< GroebnerStrategy > | inline
pairs | polybori::groebner::PairManagerFacade< GroebnerStrategy > |
propagate(const PolyEntry &e) | polybori::groebner::GroebnerStrategy |
redTail(const Polynomial &p) | polybori::groebner::GroebnerStrategy |
reduceByTailReduced | polybori::groebner::GroebnerOptions |
reductionSteps | polybori::groebner::GroebnerStrategy |
ring() const | polybori::groebner::GroebnerStrategy | inline
suggestPluginVariable() | polybori::groebner::GroebnerStrategy |
symmGB_F2() | polybori::groebner::GroebnerStrategy |
treat_m_p_1_case(const PolyEntry &e) | polybori::groebner::GroebnerStrategy | inline
treatVariablePairs(PolyEntryReference) | polybori::groebner::GroebnerStrategy | protected
variableChainCriterions | polybori::groebner::GroebnerStrategy |
variableHasValue(idx_type i) | polybori::groebner::GroebnerStrategy |