Macaulay2 Engine
Loading...
Searching...
No Matches

◆ lead_term_as_poly()

void FreeAlgebra::lead_term_as_poly ( Poly & result,
const Poly & f ) const

Definition at line 669 of file FreeAlgebra.cpp.

670{
671 if (is_zero(f)) return;
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)

References is_zero(), and result().

Referenced by TEST().