void ResMonoidDense::show(res_const_packed_monomial m) const { fprintf(stderr, "["); for (int v = 1; v < monomial_size(m); v++) { if (v > 1) fprintf(stderr, " "); fprintf(stderr, "%d", m[v]); } fprintf(stderr, "]"); }
void MonomialInfo::show(const_packed_monomial m) const { fprintf(stderr, "["); for (int v=1; v<monomial_size(m); v++) { if (v > 1) fprintf(stderr, " "); fprintf(stderr, "%ld", m[v]); } fprintf(stderr, "]"); }
void ResMonoidDense::dump(std::ostream& o, res_const_packed_monomial mon) { o << "["; for (int ell = 0; ell < monomial_size(mon); ell++) { if (ell != 0) o << " "; o << mon[ell]; } o << "]"; }