762{
763 auto& outmonom =
result.getMonomInserter();
764 auto& outcoeff =
result.getCoeffInserter();
765
766 for (auto i = f.cbeginMonom(); i != f.cendMonom(); ++i)
767 outmonom.push_back(*i);
768
769 for (auto i=f.cbeginCoeff(); i != f.cendCoeff(); ++i)
771}
const Ring * coefficientRing() const
VALGRIND_MAKE_MEM_DEFINED & result(result)