divide()

void Monoid::divide ( const_monomial m, const_monomial n, monomial result ) const

inline

Definition at line 331 of file monoid.hpp.

{
  for (int i = monomial_size_; i > 0; i--) *result++ = *m++ - *n++;
}

References monomial_size_, and result().

Referenced by FractionField::multi_degree(), LocalRing::multi_degree(), QRingInfo_field_basic::reduce_lead_term_basic_field(), QRingInfo_field_QQ::reduce_lead_term_QQ(), and QRingInfo_ZZ::reduce_lead_term_ZZ().