#include <FGLMStrategy.h>
polybori::groebner::FGLMStrategy::~FGLMStrategy |
( |
| ) |
|
|
inline |
void polybori::groebner::FGLMStrategy::findVectorInMultTables |
( |
mzd_t * |
dst, |
|
|
Monomial |
m |
|
) |
| |
References polybori::groebner::add_up_monomials(), polybori::BooleExponent::begin(), polybori::BooleMonomial::begin(), polybori::BooleSet::containsDivisorsOfDecDeg(), polybori::BooleExponent::deg(), polybori::BooleMonomial::deg(), polybori::BooleMonomial::diagram(), polybori::BooleSet::divisorsOf(), polybori::BooleMonomial::exp(), polybori::BoolePolynomial::expBegin(), polybori::groebner::FGLMNoLinearCombinationException::firstNonZeroIndex, PBORI_ASSERT, polybori::BooleMonomial::reducibleBy(), polybori::BooleMonomial::set(), and polybori::BooleMonomial::size().
mzd_t* polybori::groebner::FGLMStrategy::multiplicationTableForVariable |
( |
const Variable & |
v | ) |
|
|
inline |
Polynomial polybori::groebner::FGLMStrategy::rowToPoly |
( |
mzd_t * |
row | ) |
|
void polybori::groebner::FGLMStrategy::setupMultiplicationTables |
( |
| ) |
|
References polybori::BooleMonomial::begin(), polybori::BooleSet::begin(), polybori::COrderedIter< IteratorType, MonomType >::begin(), polybori::BooleSet::cartesianProduct(), polybori::BooleMonomial::deg(), polybori::groebner::draw_matrix(), polybori::BooleMonomial::end(), polybori::BoolePolynomial::orderedBegin(), polybori::BoolePolynomial::orderedEnd(), PBORI_ASSERT, polybori::BooleSet::rbegin(), polybori::BooleMonomial::ring(), polybori::BooleSet::size(), and polybori::BooleMonomial::variableBegin().
Referenced by FGLMStrategy().
void polybori::groebner::FGLMStrategy::setupStandardMonomialsFromTables |
( |
| ) |
|
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: