|
Namespaces |
| namespace | polybori |
| namespace | polybori::groebner |
Functions |
| Polynomial | polybori::groebner::nf3 (const ReductionStrategy &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 ReductionStrategy &strat, Polynomial p, Monomial rest_lead) |
| Polynomial | polybori::groebner::nf3_degree_order (const ReductionStrategy &strat, Polynomial p, Monomial lead) |
| Polynomial | polybori::groebner::nf3_short (const ReductionStrategy &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::select_no_deg_growth (const ReductionStrategy &strat, const Monomial &m) |
| 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) |
| Polynomial | polybori::groebner::cheap_reductions (const ReductionStrategy &strat, Polynomial p) |
| MonomialSet | polybori::groebner::mod_mon_set (const MonomialSet &as, const MonomialSet &vs) |
Variables |
| const int | polybori::groebner::FARE_WORSE = 10 |
