Go to the source code of this file.
|
Polynomial | polybori::groebner::map_every_x_to_x_plus_one (Polynomial p) |
|
MonomialSet | polybori::groebner::mod_var_set (const MonomialSet &as, const MonomialSet &vs) |
|
void | polybori::groebner::groebner (GroebnerStrategy &strat) |
|
Polynomial | polybori::groebner::reduce_by_binom (const Polynomial &p, const Polynomial &binom) |
|
Polynomial | polybori::groebner::reduce_by_monom (const Polynomial &p, const Monomial &m) |
| assumes that divisibility condition is fullfilled More...
|
|
Polynomial | polybori::groebner::reduce_complete (const Polynomial &p, const Polynomial &reductor) |
|
Polynomial | polybori::groebner::mult_fast_sim (const std::vector< Polynomial > &vec, const BoolePolyRing &ring) |
|
std::vector< Polynomial > | polybori::groebner::full_implication_gb (const Polynomial &p, CacheManager &cache, GroebnerStrategy &strat) |
|
Polynomial | polybori::groebner::reduce_complete (const Polynomial &p, const PolyEntry &reductor, wlen_type &len) |
|
MonomialSet | polybori::groebner::recursively_insert (MonomialSet::navigator p, idx_type idx, MonomialSet mset) |
|
Polynomial | polybori::groebner::cancel_monomial_in_tail (const Polynomial &p, const Monomial &m) |
|
Polynomial | polybori::groebner::reduce_by_binom_in_tail (const Polynomial &p, const Polynomial &binom) |
|
#define LL_RED_FOR_GROEBNER 1 |