670{
672 auto& outcoeff =
result.getCoeffInserter();
673 auto& outmonom =
result.getMonomInserter();
674 outcoeff.insert(outcoeff.end(),f.cbeginCoeff(),f.cbeginCoeff()+1);
675 outmonom.insert(outmonom.end(),f.cbeginMonom(),f.cbeginMonom()+*(f.cbeginMonom()));
676}
bool is_zero(const Poly &f) const
VALGRIND_MAKE_MEM_DEFINED & result(result)