◆ dump()

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

Definition at line 112 of file res-moninfo-sparse.cpp.

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