Definition at line 234 of file FreeAlgebra.cpp.
235{
236 auto& resultCoeff =
result.getCoeffInserter();
237 auto& resultMonom =
result.getMonomInserter();
238 resultCoeff.push_back(coeff);
239
241}
const FreeMonoid & monoid() const
void monomInsertFromWord(MonomialInserter &result, const Word &w) const
VALGRIND_MAKE_MEM_DEFINED & result(result)
References monoid(), FreeMonoid::monomInsertFromWord(), result(), and word.