PolyBoRi
Public Types | Public Member Functions
polybori::groebner::FGLMStrategy Class Reference

#include <FGLMStrategy.h>

List of all members.

Public Types

typedef BoolePolyRing ring_with_ordering_type
typedef std::vector< idx_typeIndexVector

Public Member Functions

 FGLMStrategy (const ring_with_ordering_type &from_ring, const ring_with_ordering_type &to_ring, const PolynomialVector &gb)
PolynomialVector main ()
void analyzeGB (const ReductionStrategy &gb)
void setupMultiplicationTables ()
void setupStandardMonomialsFromTables ()
void writeRowToVariableDivisors (mzd_t *row, Monomial lm)
void testMultiplicationTables ()
void transposeMultiplicationTables ()
void writeTailToRow (MonomialSet tail, mzd_t *row)
Polynomial rowToPoly (mzd_t *row)
void findVectorInMultTables (mzd_t *dst, Monomial m)
mzd_t * multiplicationTableForVariable (const Variable &v)
 ~FGLMStrategy ()

Member Typedef Documentation


Constructor & Destructor Documentation

polybori::groebner::FGLMStrategy::FGLMStrategy ( const ring_with_ordering_type from_ring,
const ring_with_ordering_type to_ring,
const PolynomialVector gb 
)

Member Function Documentation

References polybori::BooleMonomial::exp().

Referenced by FGLMStrategy().


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