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 | |