Classes |
class | polybori::groebner::LMLessCompare |
class | polybori::groebner::SlimgbReduction< variant > |
Namespaces |
namespace | polybori |
namespace | polybori::groebner |
Typedefs |
typedef SlimgbReduction
< SLIMGB_SIMPLEST > | polybori::groebner::slimgb_reduction_type |
Functions |
void | polybori::groebner::drawmatrix (mzd_t *mat, const char *filename) |
Polynomial | polybori::groebner::add_up_exponents (const std::vector< Exponent > &vec) |
Polynomial | polybori::groebner::add_up_monomials (const std::vector< Monomial > &res_vec) |
int | polybori::groebner::select_no_deg_growth (const ReductionStrategy &strat, const Monomial &m) |
std::vector< Polynomial > | polybori::groebner::parallel_reduce (std::vector< Polynomial > inp, GroebnerStrategy &strat, int average_steps, double delay_f) |
Polynomial | polybori::groebner::red_tail (const ReductionStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::red_tail_short (const ReductionStrategy &strat, Polynomial p) |
Polynomial | polybori::groebner::nf3 (const ReductionStrategy &strat, Polynomial p, Monomial rest_lead) |
Polynomial | polybori::groebner::nf3_short (const ReductionStrategy &strat, Polynomial p) |
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::add_up_polynomials (const std::vector< Polynomial > &vec) |
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) |
std::vector< Polynomial > | polybori::groebner::gauss_on_polys (const std::vector< Polynomial > &orig_system) |
Polynomial | polybori::groebner::ll_red_nf_noredsb_single_recursive_call (const Polynomial &p, const BooleSet &reductors) |
Variables |
const int | polybori::groebner::SLIMGB_SIMPLEST = 0 |