nf.h File Reference

#include <algorithm>
#include <vector>
#include <queue>
#include "groebner_alg.h"

Go to the source code of this file.

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
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::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)
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::nf_delaying (GroebnerStrategy &strat, Polynomial p)
Polynomial	polybori::groebner::nf_delaying_exchanging (GroebnerStrategy &strat, Polynomial p)
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 GroebnerStrategy &strat, Polynomial p)
Polynomial	polybori::groebner::red_tail_short (const GroebnerStrategy &strat, Polynomial p)
Polynomial	polybori::groebner::nf3 (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial	polybori::groebner::nf3_short (const GroebnerStrategy &strat, Polynomial p)
Polynomial	polybori::groebner::red_tail_self_tuning (const GroebnerStrategy &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)
Variables
const int	polybori::groebner::SLIMGB_SIMPLEST = 0