PolyBoRi
|
Go to the source code of this file.
Classes | |
class | polybori::groebner::LMLessCompare |
class | polybori::groebner::SlimgbReduction< variant > |
Namespaces | |
namespace | polybori |
namespace | polybori::groebner |
Defines | |
#define | PBORI_GB_NF_H |
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 > &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) |
Polynomial | polybori::groebner::cheap_reductions (const ReductionStrategy &strat, Polynomial p) |
Variables | |
const int | polybori::groebner::SLIMGB_SIMPLEST = 0 |
#define PBORI_GB_NF_H |