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

void polybori::groebner::drawmatrix (mzd_t *mat, const char *filename)
template<class T >
Polynomial polybori::groebner::add_up_generic (const std::vector< T > &res_vec, Polynomial init)
Polynomial polybori::groebner::nf3 (const ReductionStrategy &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 ReductionStrategy &strat, Polynomial p, Monomial rest_lead)
Polynomial polybori::groebner::nf3_degree_order (const ReductionStrategy &strat, Polynomial p, Monomial lead)
Polynomial polybori::groebner::nf3_short (const ReductionStrategy &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_no_deg_growth (const ReductionStrategy &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 ReductionStrategy &strat, Polynomial p)
template<class Helper >
Polynomial polybori::groebner::red_tail_generic (const ReductionStrategy &strat, Polynomial p)
Polynomial polybori::groebner::red_tail (const ReductionStrategy &strat, Polynomial p)
Polynomial polybori::groebner::red_tail_short (const ReductionStrategy &strat, Polynomial p)
template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>
Polynomial polybori::groebner::ll_red_nf_generic (const Polynomial &, const BooleSet &)
template<bool have_redsb, bool single_call_for_noredsb, bool fast_multiplication>
Polynomial polybori::groebner::ll_red_nf_generic (const Polynomial &p, const BooleSet::navigator navi)
template<bool fast>
Polynomial polybori::groebner::multiply (const Polynomial &p, const Polynomial &q)
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::ll_red_nf_noredsb_single_recursive_call (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 by  doxygen 1.6.2