nf.cc File Reference

#include "nf.h"
#include "polynomial_properties.h"
#include "lexbuckets.h"
#include <LexOrder.h>
#include <iostream>
#include <COrderedIter.h>

Classes

class  PolynomialSugar
class  LMLessComparePS
class  PSCompareByEl
class  IsEcart0Predicate
class  LexHelper
class  DegOrderHelper
class  BlockOrderHelper
class  LexOrderGreaterComparer

Typedefs

typedef
LessWeightedLengthInStratModified 
StratComparerForSelect

Functions

template<class T >
Polynomial add_up_generic (const std::vector< T > &res_vec, Polynomial init)
Polynomial nf1 (GroebnerStrategy &strat, Polynomial p)
Polynomial nf2 (GroebnerStrategy &strat, Polynomial p)
Polynomial nf2_short (GroebnerStrategy &strat, Polynomial p)
Polynomial nf3 (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial nf3_lexbuckets (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial nf3_no_deg_growth (const GroebnerStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial nf3_degree_order (const GroebnerStrategy &strat, Polynomial p, Monomial lead)
Polynomial nf3_db (GroebnerStrategy &strat, Polynomial p, int deg_bound)
Polynomial nf3_short (const GroebnerStrategy &strat, Polynomial p)
Polynomial nf_delaying (GroebnerStrategy &strat, Polynomial p)
Polynomial nf_delaying_exchanging (GroebnerStrategy &strat, Polynomial p)
int sum_size (const MonomialSet &s1, const MonomialSet &s2)
std::vector< Polynomialparallel_reduce (std::vector< Polynomial > inp, GroebnerStrategy &strat, int average_steps, double delay_f)
int select1 (const GroebnerStrategy &strat, const Polynomial &p)
int select1 (const GroebnerStrategy &strat, const Monomial &m)
int select_no_deg_growth (const GroebnerStrategy &strat, const Monomial &m)
template<class T >
Polynomial add_up_generic (const std::vector< T > &res_vec, int start, int end, Polynomial init)
Polynomial add_up_monomials (const std::vector< Monomial > &vec)
Polynomial add_up_polynomials (const std::vector< Polynomial > &vec)
Polynomial add_up_exponents (const std::vector< Exponent > &vec)
Polynomial red_tail_general (const GroebnerStrategy &strat, Polynomial p)
template<class Helper >
Polynomial red_tail_generic (const GroebnerStrategy &strat, Polynomial p)
Polynomial red_tail (const GroebnerStrategy &strat, Polynomial p)
Polynomial red_tail_short (const GroebnerStrategy &strat, Polynomial p)
Polynomial red_tail_self_tuning (const GroebnerStrategy &strat, Polynomial p)
template<bool have_redsb>
Polynomial ll_red_nf_generic (const Polynomial &, const BooleSet &)
template<bool have_redsb>
Polynomial ll_red_nf_generic (const Polynomial &p, const BooleSet::navigator navi)
Polynomial ll_red_nf (const Polynomial &p, const BooleSet &reductors)
Polynomial ll_red_nf_noredsb (const Polynomial &p, const BooleSet &reductors)
Polynomial do_plug_1 (const Polynomial &p, const MonomialSet &m_plus_ones)
Polynomial plug_1_top (const Polynomial &p, const MonomialSet &m_plus_ones)
Polynomial plug_1 (const Polynomial &p, const MonomialSet &m_plus_ones)
MonomialSet mod_mon_set (const MonomialSet &as, const MonomialSet &vs)

Variables

const int FARE_WORSE = 10

Typedef Documentation

typedef LessWeightedLengthInStratModified StratComparerForSelect

Function Documentation

Polynomial add_up_exponents ( const std::vector< Exponent > &  vec  ) 
template<class T >
Polynomial add_up_generic ( const std::vector< T > &  res_vec,
int  start,
int  end,
Polynomial  init 
) [inline]

References add_up_generic().

template<class T >
Polynomial add_up_generic ( const std::vector< T > &  res_vec,
Polynomial  init 
) [inline]
Polynomial add_up_monomials ( const std::vector< Monomial > &  vec  ) 
Note:
This function is deactivated, because it always uses the active manager!
Todo:
activate and make save, when used

References add_up_generic().

Referenced by gen_random_subset().

Polynomial add_up_polynomials ( const std::vector< Polynomial > &  vec  ) 

References add_up_generic().

Referenced by red_tail_general(), and red_tail_generic().

Polynomial do_plug_1 ( const Polynomial p,
const MonomialSet m_plus_ones 
)

References mod_mon_set().

Referenced by plug_1_top().

Polynomial ll_red_nf ( const Polynomial p,
const BooleSet reductors 
)
template<bool have_redsb>
Polynomial ll_red_nf_generic ( const Polynomial p,
const BooleSet::navigator  navi 
) [inline]
template<bool have_redsb>
Polynomial ll_red_nf_generic ( const Polynomial p,
const BooleSet reductors 
) [inline]
Polynomial ll_red_nf_noredsb ( const Polynomial p,
const BooleSet reductors 
)
MonomialSet mod_mon_set ( const MonomialSet as,
const MonomialSet vs 
)
Polynomial nf1 ( GroebnerStrategy &  strat,
Polynomial  p 
)

References select1(), and spoly().

Polynomial nf2 ( GroebnerStrategy &  strat,
Polynomial  p 
)
Polynomial nf2_short ( GroebnerStrategy &  strat,
Polynomial  p 
)
Polynomial nf3 ( const GroebnerStrategy &  strat,
Polynomial  p,
Monomial  rest_lead 
)
Polynomial nf3_db ( GroebnerStrategy &  strat,
Polynomial  p,
int  deg_bound 
)

References reduce_complete(), select1(), and spoly().

Polynomial nf3_degree_order ( const GroebnerStrategy &  strat,
Polynomial  p,
Monomial  lead 
)
Polynomial nf3_lexbuckets ( const GroebnerStrategy &  strat,
Polynomial  p,
Monomial  rest_lead 
)
Polynomial nf3_no_deg_growth ( const GroebnerStrategy &  strat,
Polynomial  p,
Monomial  rest_lead 
)

References reduce_complete(), and select_no_deg_growth().

Referenced by LexHelper::nf().

Polynomial nf3_short ( const GroebnerStrategy &  strat,
Polynomial  p 
)

References reduce_complete(), and spoly().

Referenced by red_tail_self_tuning(), and red_tail_short().

Polynomial nf_delaying ( GroebnerStrategy &  strat,
Polynomial  p 
)

References select1(), and spoly().

Polynomial nf_delaying_exchanging ( GroebnerStrategy &  strat,
Polynomial  p 
)

References select1(), and spoly().

std::vector<Polynomial> parallel_reduce ( std::vector< Polynomial inp,
GroebnerStrategy &  strat,
int  average_steps,
double  delay_f 
)
Polynomial plug_1 ( const Polynomial p,
const MonomialSet m_plus_ones 
)

References plug_1_top().

Polynomial plug_1_top ( const Polynomial p,
const MonomialSet m_plus_ones 
)

References do_plug_1(), and mod_mon_set().

Referenced by polybori::groebner::plug_1().

Polynomial red_tail ( const GroebnerStrategy &  strat,
Polynomial  p 
)
Polynomial red_tail_general ( const GroebnerStrategy &  strat,
Polynomial  p 
)
template<class Helper >
Polynomial red_tail_generic ( const GroebnerStrategy &  strat,
Polynomial  p 
) [inline]
Polynomial red_tail_self_tuning ( const GroebnerStrategy &  strat,
Polynomial  p 
)

References nf3(), and nf3_short().

Polynomial red_tail_short ( const GroebnerStrategy &  strat,
Polynomial  p 
)

References nf3_short().

int select1 ( const GroebnerStrategy &  strat,
const Monomial m 
)
int select1 ( const GroebnerStrategy &  strat,
const Polynomial p 
)
int select_no_deg_growth ( const GroebnerStrategy &  strat,
const Monomial m 
)
int sum_size ( const MonomialSet s1,
const MonomialSet s2 
)

Variable Documentation

const int FARE_WORSE = 10
Generated on Wed May 5 19:05:50 2010 for PolyBoRi by  doxygen 1.6.3