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

typedef std::vector<idx_type> FGLMStrategy::IndexVector

Constructor & Destructor Documentation

FGLMStrategy::FGLMStrategy (  )  [inline]
FGLMStrategy::FGLMStrategy ( const ring_with_ordering_type from_ring,
const ring_with_ordering_type to_ring,
const PolynomialVector gb 
)
FGLMStrategy::~FGLMStrategy (  )  [inline]

Member Function Documentation

void FGLMStrategy::analyzeGB ( const ReductionStrategy &  gb  ) 
void FGLMStrategy::findVectorInMultTables ( mzd_t *  dst,
Monomial  m 
)

Referenced by main(), and setupMultiplicationTables().

PolynomialVector FGLMStrategy::main (  ) 
mzd_t* FGLMStrategy::multiplicationTableForVariable ( const Variable v  )  [inline]
Polynomial FGLMStrategy::rowToPoly ( mzd_t *  row  ) 

References add_up_monomials().

void FGLMStrategy::setupMultiplicationTables (  ) 
BEGIN_NAMESPACE_PBORIGB void FGLMStrategy::setupStandardMonomialsFromTables (  ) 

References BooleEnv::ring(), and BooleEnv::set().

Referenced by FGLMStrategy().

void FGLMStrategy::testMultiplicationTables (  ) 
void FGLMStrategy::transposeMultiplicationTables (  ) 

References clear_mat().

void FGLMStrategy::writeRowToVariableDivisors ( mzd_t *  row,
Monomial  lm 
)
void FGLMStrategy::writeTailToRow ( MonomialSet  tail,
mzd_t *  row 
)

The documentation for this class was generated from the following files:
Generated on Thu Aug 5 12:57:32 2010 for PolyBoRi by  doxygen 1.6.3