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


Member Function Documentation

void polybori::groebner::FGLMStrategy::analyzeGB ( const ReductionStrategy &  gb)

References polybori::BooleMonomial::exp().

Referenced by FGLMStrategy().


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