unchecked_mult()

void ResMonoidDense::unchecked_mult ( res_const_packed_monomial m, res_const_packed_monomial n, res_packed_monomial result ) const

inline

Definition at line 329 of file res-moninfo-dense.hpp.

  {
    ncalls_mult++;
    for (int j = nslots; j > 0; --j) *result++ = *m++ + *n++;
  }

References ncalls_mult, nslots, and result().

Referenced by SchreyerFrame::insertBasic(), mult(), and F4Res::processMonomialProduct().