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

This class defines LexHelper. More...

#include <LexHelper.h>

Public Types

typedef Polynomial::const_iterator iterator_type
 

Static Public Member Functions

static bool irreducible_lead (const Monomial &m, const ReductionStrategy &strat)
 
static Polynomial::const_iterator begin (const Polynomial &p)
 
static Polynomial::const_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, const iterator_type &it, const iterator_type &end, Polynomial init)
 

Static Public Attributes

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

Detailed Description

This class defines LexHelper.

Member Typedef Documentation

Member Function Documentation

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

Member Data Documentation

const bool polybori::groebner::LexHelper::isDegreeOrder =false
static
const bool polybori::groebner::LexHelper::isLexicographicalOrder =true
static

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