Functions |
template<class T > |
Polynomial | polybori::groebner::add_up_generic (const std::vector< T > &res_vec, Polynomial init) |
Polynomial | polybori::groebner::nf1 (GroebnerStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::nf2 (GroebnerStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::nf2_short (GroebnerStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::nf3 (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead) |
Polynomial | polybori::groebner::nf3_lexbuckets (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead) |
Polynomial | polybori::groebner::nf3_no_deg_growth (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead) |
Polynomial | polybori::groebner::nf3_degree_order (const GroebnerStrategy &strat, Polynomial p, Monomial lead) |
Polynomial | polybori::groebner::nf3_db (GroebnerStrategy &strat, Polynomial p, int deg_bound) |
Polynomial | polybori::groebner::nf3_short (const GroebnerStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::nf_delaying (GroebnerStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::nf_delaying_exchanging (GroebnerStrategy &strat, Polynomial p) |
int | polybori::groebner::sum_size (const MonomialSet &s1, const MonomialSet &s2) |
std::vector< Polynomial > | polybori::groebner::parallel_reduce (std::vector< Polynomial > inp, GroebnerStrategy &strat, int average_steps, double delay_f) |
int | polybori::groebner::select1 (const GroebnerStrategy &strat, const Polynomial &p) |
int | polybori::groebner::select1 (const GroebnerStrategy &strat, const Monomial &m) |
int | polybori::groebner::select_no_deg_growth (const GroebnerStrategy &strat, const Monomial &m) |
template<class T > |
Polynomial | polybori::groebner::add_up_generic (const std::vector< T > &res_vec, int start, int end, Polynomial init) |
Polynomial | polybori::groebner::add_up_monomials (const std::vector< Monomial > &vec) |
Polynomial | polybori::groebner::add_up_polynomials (const std::vector< Polynomial > &vec) |
Polynomial | polybori::groebner::add_up_exponents (const std::vector< Exponent > &vec) |
Polynomial | polybori::groebner::red_tail_general (const GroebnerStrategy &strat, Polynomial p) |
template<class Helper > |
Polynomial | polybori::groebner::red_tail_generic (const GroebnerStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::red_tail (const GroebnerStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::red_tail_short (const GroebnerStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::red_tail_self_tuning (const GroebnerStrategy &strat, Polynomial p) |
template<bool have_redsb> |
Polynomial | polybori::groebner::ll_red_nf_generic (const Polynomial &, const BooleSet &) |
template<bool have_redsb> |
Polynomial | polybori::groebner::ll_red_nf_generic (const Polynomial &p, const BooleSet::navigator navi) |
Polynomial | polybori::groebner::ll_red_nf (const Polynomial &p, const BooleSet &reductors) |
Polynomial | polybori::groebner::ll_red_nf_noredsb (const Polynomial &p, const BooleSet &reductors) |
Polynomial | polybori::groebner::do_plug_1 (const Polynomial &p, const MonomialSet &m_plus_ones) |
Polynomial | polybori::groebner::plug_1_top (const Polynomial &p, const MonomialSet &m_plus_ones) |
Polynomial | polybori::groebner::plug_1 (const Polynomial &p, const MonomialSet &m_plus_ones) |
MonomialSet | polybori::groebner::mod_mon_set (const MonomialSet &as, const MonomialSet &vs) |