Public Member Functions |
bool | containsOne () const |
| GroebnerStrategy (const GroebnerStrategy &orig) |
std::vector< Polynomial > | minimalizeAndTailReduce () |
std::vector< Polynomial > | minimalize () |
int | addGenerator (const BoolePolynomial &p, bool is_impl=false, std::vector< int > *impl_v=NULL) |
void | addGeneratorDelayed (const BoolePolynomial &p) |
void | addAsYouWish (const Polynomial &p) |
void | addGeneratorTrySplit (const Polynomial &p, bool is_minimal) |
bool | variableHasValue (idx_type i) |
void | llReduceAll () |
void | treat_m_p_1_case (const PolyEntry &e) |
| GroebnerStrategy () |
Polynomial | nextSpoly () |
void | addNonTrivialImplicationsDelayed (const PolyEntry &p) |
void | propagate (const PolyEntry &e) |
void | propagate_step (const PolyEntry &e, std::set< int > others) |
void | log (const char *c) |
bool | canRewrite (const Polynomial &p) const |
Polynomial | redTail (const Polynomial &p) |
std::vector< Polynomial > | noroStep (const std::vector< Polynomial > &) |
std::vector< Polynomial > | faugereStepDense (const std::vector< Polynomial > &) |
Polynomial | nf (Polynomial p) const |
void | symmGB_F2 () |
int | suggestPluginVariable () |
std::vector< Polynomial > | allGenerators () |
Public Attributes |
idx_type | reducibleUntil |
PairManager | pairs |
bool | reduceByTailReduced |
PolyEntryVector | generators |
MonomialSet | leadingTerms |
MonomialSet | minimalLeadingTerms |
MonomialSet | leadingTerms11 |
MonomialSet | leadingTerms00 |
MonomialSet | llReductor |
MonomialSet | monomials |
MonomialSet | monomials_plus_one |
boost::shared_ptr< CacheManager > | cache |
BoolePolyRing | r |
bool | enabledLog |
unsigned int | reductionSteps |
int | normalForms |
int | currentDegree |
int | chainCriterions |
int | variableChainCriterions |
int | easyProductCriterions |
int | extendedProductCriterions |
int | averageLength |
bool | optRedTail |
bool | optLazy |
bool | optLL |
bool | optDelayNonMinimals |
bool | optBrutalReductions |
bool | optExchange |
bool | optAllowRecursion |
bool | optRedTailDegGrowth |
bool | optStepBounded |
bool | optLinearAlgebraInLastBlock |
bool | optRedTailInLastBlock |
lm2Index_map_type | lm2Index |
exp2Index_map_type | exp2Index |
Protected Member Functions |
std::vector< Polynomial > | treatVariablePairs (int s) |
void | treatNormalPairs (int s, MonomialSet intersecting_terms, MonomialSet other_terms, MonomialSet ext_prod_terms) |
void | addVariablePairs (int s) |
std::vector< Polynomial > | add4ImplDelayed (const Polynomial &p, const Exponent &lm_exp, const Exponent &used_variables, int s, bool include_orig) |
std::vector< Polynomial > | addHigherImplDelayedUsing4 (int s, const LiteralFactorization &literal_factors, bool include_orig) |