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

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< Polynomialpolybori::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< Polynomialpolybori::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
Generated on Thu Aug 5 13:34:42 2010 for PolyBoRi by  doxygen 1.6.3