PolyBoRi
|
#include "nf.h"
#include "polynomial_properties.h"
#include "lexbuckets.h"
#include <LexOrder.h>
#include <iostream>
#include <COrderedIter.h>
Classes | |
class | polybori::groebner::PolynomialSugar |
class | polybori::groebner::LMLessComparePS |
class | polybori::groebner::PSCompareByEl |
class | polybori::groebner::IsEcart0Predicate |
class | polybori::groebner::LexHelper |
class | polybori::groebner::DegOrderHelper |
class | polybori::groebner::BlockOrderHelper |
class | polybori::groebner::LexOrderGreaterComparer |
Namespaces | |
namespace | polybori |
namespace | polybori::groebner |
Typedefs | |
typedef LessWeightedLengthInStratModified | polybori::groebner::StratComparerForSelect |
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::select_short (const GroebnerStrategy &strat, const Polynomial &p) |
int | polybori::groebner::select_short (const GroebnerStrategy &strat, const Monomial &m) |
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) |
Variables | |
const int | polybori::groebner::FARE_WORSE = 10 |