set_component()

void ResMonoidDense::set_component ( component_index component, res_packed_monomial m ) const

inline

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

  {
    m[1] = component;
  }

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