mult()

bool ResMonoidSparse::mult ( res_const_packed_monomial m, res_const_packed_monomial n, res_packed_monomial result ) const

inline

Definition at line 414 of file res-moninfo-sparse.hpp.

  {
    unchecked_mult(m, n, result);
    return true;
    //    return check_monomial(result);
  }

References result(), and unchecked_mult().

Referenced by compare_schreyer().