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

#include <fglm.h>

List of all members.

Public Types

typedef BooleEnv::ring_type ring_with_ordering_type
typedef std::vector< idx_typeIndexVector

Public Member Functions

 FGLMStrategy ()
 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 ( ) [inline]
polybori::groebner::FGLMStrategy::FGLMStrategy ( const ring_with_ordering_type from_ring,
const ring_with_ordering_type to_ring,
const PolynomialVector gb 
)
polybori::groebner::FGLMStrategy::~FGLMStrategy ( ) [inline]

Member Function Documentation

void polybori::groebner::FGLMStrategy::analyzeGB ( const ReductionStrategy gb)
void polybori::groebner::FGLMStrategy::findVectorInMultTables ( mzd_t *  dst,
Monomial  m 
)
PolynomialVector polybori::groebner::FGLMStrategy::main ( )
mzd_t* polybori::groebner::FGLMStrategy::multiplicationTableForVariable ( const Variable v) [inline]
Polynomial polybori::groebner::FGLMStrategy::rowToPoly ( mzd_t *  row)
void polybori::groebner::FGLMStrategy::setupMultiplicationTables ( )
void polybori::groebner::FGLMStrategy::setupStandardMonomialsFromTables ( )

References polybori::BooleMonomial::exp().

Referenced by FGLMStrategy().

void polybori::groebner::FGLMStrategy::testMultiplicationTables ( )
void polybori::groebner::FGLMStrategy::transposeMultiplicationTables ( )
void polybori::groebner::FGLMStrategy::writeRowToVariableDivisors ( mzd_t *  row,
Monomial  lm 
)
void polybori::groebner::FGLMStrategy::writeTailToRow ( MonomialSet  tail,
mzd_t *  row 
)

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