dump()

void ResMonoidDense::dump	(	std::ostream &	o,
		res_const_packed_monomial	mon )

Definition at line 123 of file res-moninfo-dense.cpp.

{
  o << "[";
  for (int ell = 0; ell < monomial_size(mon); ell++)
    {
      if (ell != 0) o << " ";
      o << mon[ell];
    }
  o << "]";
}

References monomial_size().