Definition at line 262 of file FreeMonoid.cpp.
267{
268 int inputMonomLength = *monom;
269 int startMon =
static_cast<int>(
result.size());
270
273 for (int j = inputMonomLength-2; j >= 1; j -= 2)
274 {
275 auto v = monom[j];
276 for (int k = 0; k < monom[j+1]; k++)
277 {
279 }
280 }
281 result[startMon] =
static_cast<int>(
result.size() - startMon);
282 Monom tmpMon(
result.data()+startMon);
284}
void setWeights(Monom &m) const
VALGRIND_MAKE_MEM_DEFINED & result(result)
References mNumWeights, result(), and setWeights().
Referenced by M2FreeAlgebra::makeTerm().