PolyBoRi
Public Types | Static Public Member Functions | Static Public Attributes | List of all members
polybori::groebner::BlockOrderHelper Class Reference

This class defines BlockOrderHelper. More...

#include <BlockOrderHelper.h>

Public Types

typedef Polynomial::ordered_iterator iterator_type
 

Static Public Member Functions

static bool irreducible_lead (const Monomial &m, const ReductionStrategy &strat)
 
static Polynomial::ordered_iterator begin (const Polynomial &p)
 
static Polynomial::ordered_iterator end (const Polynomial &p)
 
static Polynomial nf (const ReductionStrategy &strat, const Polynomial &p, const Monomial &m)
 
static bool knowRestIsIrreducible (const iterator_type &it, const ReductionStrategy &strat)
 
static Polynomial sum_range (std::vector< Monomial > &vec, iterator_type it, iterator_type end, Polynomial init)
 

Static Public Attributes

static const bool isDegreeOrder =false
 
static const bool isLexicographicalOrder =false
 

Detailed Description

This class defines BlockOrderHelper.

Member Typedef Documentation

Member Function Documentation

static Polynomial::ordered_iterator polybori::groebner::BlockOrderHelper::begin ( const Polynomial p)
inlinestatic
static Polynomial::ordered_iterator polybori::groebner::BlockOrderHelper::end ( const Polynomial p)
inlinestatic
static bool polybori::groebner::BlockOrderHelper::irreducible_lead ( const Monomial m,
const ReductionStrategy strat 
)
inlinestatic
static bool polybori::groebner::BlockOrderHelper::knowRestIsIrreducible ( const iterator_type it,
const ReductionStrategy strat 
)
inlinestatic
static Polynomial polybori::groebner::BlockOrderHelper::nf ( const ReductionStrategy strat,
const Polynomial p,
const Monomial m 
)
inlinestatic
static Polynomial polybori::groebner::BlockOrderHelper::sum_range ( std::vector< Monomial > &  vec,
iterator_type  it,
iterator_type  end,
Polynomial  init 
)
inlinestatic

Member Data Documentation

const bool polybori::groebner::BlockOrderHelper::isDegreeOrder =false
static
const bool polybori::groebner::BlockOrderHelper::isLexicographicalOrder =false
static

The documentation for this class was generated from the following file: