appendMonicTerm()

void ResPolynomialConstructor::appendMonicTerm ( res_packed_monomial monom )

inline

Definition at line 190 of file res-poly-ring.hpp.

  {
    monoms.push_back(monom);  // a pointer
    mRing.vectorArithmetic().pushBackOne(coeffs);
  }

References coeffs, monoms, and mRing.