schreyer_down()

void SchreyerOrder::schreyer_down ( const_monomial m, int comp, monomial result ) const

inline

Definition at line 113 of file schorder.hpp.

  {
    M->divide(m, base_monom(comp), result);
  }

References base_monom(), M, monomial, and result().

Referenced by GBRing::find_reduction_monomial(), GBRing::gbvector_get_lead_exponents(), and GBRing::gbvector_get_lead_monomial().