#include <fglm.h>
Public Types | |
typedef BooleEnv::ring_type | ring_with_ordering_type |
typedef std::vector< idx_type > | IndexVector |
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 () |
typedef std::vector<idx_type> FGLMStrategy::IndexVector |
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] |
void FGLMStrategy::analyzeGB | ( | const ReductionStrategy & | gb | ) |
References mod_mon_set(), BooleEnv::ring(), and BooleEnv::set().
Referenced by FGLMStrategy().
void FGLMStrategy::findVectorInMultTables | ( | mzd_t * | dst, | |
Monomial | m | |||
) |
Referenced by main(), and setupMultiplicationTables().
PolynomialVector FGLMStrategy::main | ( | ) |
mzd_t* FGLMStrategy::multiplicationTableForVariable | ( | const Variable & | v | ) | [inline] |
Referenced by setupMultiplicationTables(), and testMultiplicationTables().
Polynomial FGLMStrategy::rowToPoly | ( | mzd_t * | row | ) |
References add_up_monomials().
void FGLMStrategy::setupMultiplicationTables | ( | ) |
References drawmatrix(), findVectorInMultTables(), multiplicationTableForVariable(), BooleEnv::ring(), BooleEnv::set(), writeRowToVariableDivisors(), and writeTailToRow().
Referenced by FGLMStrategy().
BEGIN_NAMESPACE_PBORIGB void FGLMStrategy::setupStandardMonomialsFromTables | ( | ) |
References BooleEnv::ring(), and BooleEnv::set().
Referenced by FGLMStrategy().
void FGLMStrategy::testMultiplicationTables | ( | ) |
References multiplicationTableForVariable(), BooleEnv::ring(), and BooleEnv::set().
Referenced by FGLMStrategy().
void FGLMStrategy::transposeMultiplicationTables | ( | ) |
References clear_mat().
void FGLMStrategy::writeRowToVariableDivisors | ( | mzd_t * | row, | |
Monomial | lm | |||
) |
Referenced by setupMultiplicationTables().
void FGLMStrategy::writeTailToRow | ( | MonomialSet | tail, | |
mzd_t * | row | |||
) |
Referenced by setupMultiplicationTables().