PolyBoRi
Public Types | Public Member Functions | List of all members
polybori::groebner::FGLMStrategy Class Reference

#include <FGLMStrategy.h>

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 
)
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: