Definition at line 83 of file matrix-ncbasis.cpp.
89 :
99 {
100
101 for (
auto i = 0; i <
mMonoid.numVars(); ++i)
103
104 if (lo_degree.size() > 0)
mLoHeft = lo_degree[0];
105 if (hi_degree.size() > 0)
mHiHeft = hi_degree[0];
106 }
const FreeMonoid & monoid() const
const std::vector< int > & flattenedDegrees() const
const FreeMonoid & mMonoid
const FreeAlgebra & mFreeAlgebra
std::vector< int > mVariables
std::vector< int > mVariableHefts
std::unique_ptr< WordTable > mWordTable
void gb(IntermediateBasis &F, int n)
std::unique_ptr< WordTable > constructWordTable(const FreeAlgebra &A, const ConstPolyList &gb)
References constructWordTable(), gb(), mCurrentHeftValue, mCurrentIndex, mFreeAlgebra, mHiHeft, mLimit, mLoHeft, mMonoid, mVariableHefts, mVariables, and mWordTable.