PolyBoRi
Classes | Typedefs | Enumerations | Functions | Variables

PBORINAME::groebner Namespace Reference

Classes

class  GBTypes
class  LexBucket
class  LiteralFactorization
class  PolyEntry
class  PairData
class  IJPairData
class  PolyPairData
class  VariablePairData
class  PairLS
class  PairE
class  PairLSCompare
class  PairECompare

Typedefs

typedef polybori::BoolePolynomial Polynomial
typedef polybori::BooleMonomial Monomial
typedef polybori::BooleVariable Variable
typedef polybori::BooleExponent Exponent
typedef long long wlen_type
typedef long len_type
typedef int deg_type
typedef polybori::CTypes::idx_type idx_type
typedef polybori::BooleSet MonomialSet
typedef std::vector< PolyEntryPolyEntryVector
typedef boost::shared_ptr
< PairData
pair_data_ptr
typedef PairE Pair
typedef boost::minstd_rand base_generator_type
typedef boost::uniform_smallint distribution_type
typedef
boost::variate_generator
< base_generator_type
&, distribution_type
bool_gen_type

Enumerations

enum  { VARIABLE_PAIR, IJ_PAIR, DELAYED_PAIR }

Functions

MonomialSet variety_lex_leading_terms (const MonomialSet &points, const Monomial &variables)
Polynomial interpolate (MonomialSet to_zero, MonomialSet to_one)
Polynomial interpolate_smallest_lex (MonomialSet to_zero, MonomialSet to_one)
MonomialSet zeros (Polynomial p, MonomialSet candidates)
MonomialSet include_divisors (const MonomialSet &m)
MonomialSet nf_lex_points (const Polynomial &f, const MonomialSet &p)
std::vector< Polynomialvariety_lex_groebner_basis (const MonomialSet &points, const Monomial &variables)
Polynomial without_prior_part (Polynomial p, idx_type tail_start)
deg_type common_literal_factors_deg (const LiteralFactorization &a, const LiteralFactorization &b)
bool maps_to_one (const std::pair< const polybori::groebner::idx_type, int > v)
bool maps_to_zero (const std::pair< const polybori::groebner::idx_type, int > v)
Polynomial do_is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms)
bool is_rewriteable (const Polynomial &p, const MonomialSet &leading_terms)
MonomialSet random_set (const Monomial &variables, unsigned int len)

Variables

const unsigned short dlex4var_data [][7]
const unsigned short dp_asc4var_data [][7]
const unsigned short lp4var_data [][7]

Typedef Documentation

typedef boost::minstd_rand PBORINAME::groebner::base_generator_type
typedef boost::uniform_smallint PBORINAME::groebner::distribution_type
typedef boost::shared_ptr<PairData> PBORINAME::groebner::pair_data_ptr
typedef long long PBORINAME::groebner::wlen_type

Enumeration Type Documentation

anonymous enum
Enumerator:
VARIABLE_PAIR 
IJ_PAIR 
DELAYED_PAIR 

Function Documentation

deg_type PBORINAME::groebner::common_literal_factors_deg ( const LiteralFactorization &  a,
const LiteralFactorization &  b 
)
Polynomial PBORINAME::groebner::do_is_rewriteable ( const Polynomial &  p,
const MonomialSet &  leading_terms 
)
MonomialSet PBORINAME::groebner::include_divisors ( const MonomialSet &  m)
Polynomial PBORINAME::groebner::interpolate ( MonomialSet  to_zero,
MonomialSet  to_one 
)
Polynomial PBORINAME::groebner::interpolate_smallest_lex ( MonomialSet  to_zero,
MonomialSet  to_one 
)
bool PBORINAME::groebner::is_rewriteable ( const Polynomial &  p,
const MonomialSet &  leading_terms 
)
bool PBORINAME::groebner::maps_to_one ( const std::pair< const polybori::groebner::idx_type, int >  v)
bool PBORINAME::groebner::maps_to_zero ( const std::pair< const polybori::groebner::idx_type, int >  v)
MonomialSet PBORINAME::groebner::nf_lex_points ( const Polynomial &  f,
const MonomialSet &  p 
)
MonomialSet PBORINAME::groebner::random_set ( const Monomial &  variables,
unsigned int  len 
)
std::vector<Polynomial> PBORINAME::groebner::variety_lex_groebner_basis ( const MonomialSet &  points,
const Monomial &  variables 
)
MonomialSet PBORINAME::groebner::variety_lex_leading_terms ( const MonomialSet &  points,
const Monomial &  variables 
)
Polynomial PBORINAME::groebner::without_prior_part ( Polynomial  p,
idx_type  tail_start 
)
MonomialSet PBORINAME::groebner::zeros ( Polynomial  p,
MonomialSet  candidates 
)

Variable Documentation

const unsigned short PBORINAME::groebner::dlex4var_data[][7]
const unsigned short PBORINAME::groebner::dp_asc4var_data[][7]
const unsigned short PBORINAME::groebner::lp4var_data[][7]