nf.cc File Reference

#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

Generated on Fri Apr 3 20:47:30 2009 for PolyBoRi by  doxygen 1.5.8