15 mpz_get_str(
s, 10, a);
16 fprintf(stderr,
" %s ",
s);
23 for (
int i = 0; i < a->len; i++)
37 for (
auto x : a) o <<
x <<
' ';
47 for (
auto x : a) o <<
x <<
' ';
void text_out(buffer &o) const
Engine-side free module R^n over a Ring.
void gbvector_text_out(buffer &o, const FreeModule *F, const gbvector *f, int nterms=-1) const
Polynomial-ring view tuned for the inner loop of classical Buchberger Groebner-basis computations.
Slow Hermite normal form computation over ZZ. Replace.
void text_out(buffer &o) const
void text_out(buffer &o) const
Engine-side monomial ideal: a decision tree of Nmi_nodes storing the (typically minimal) generators b...
void text_out(buffer &o) const
Abstract base class for mutable matrices over an arbitrary engine Ring, the in-place counterpart of t...
void vec_text_out(buffer &o, const vecterm *v, bool p_one=true, bool p_plus=false, bool p_parens=false) const
virtual void text_out(buffer &o) const =0
virtual void elem_text_out(buffer &o, const ring_elem f, bool p_one=true, bool p_plus=false, bool p_parens=false) const =0
void text_out(buffer &o) const
Front-end-visible "ring element" value: an engine ring_elem paired with the Ring* that gives it meani...
void elem_text_out(buffer &o, const res2term *f) const
void elem_text_out(buffer &o, const resterm *f) const
static void stats(buffer &o)
void dmatrix(const Matrix *M)
void dvec(const Ring *R, const vec v)
void drelem(const RingElement *f)
void dNterm(const Ring *R, const Nterm *f)
void showint(mpz_srcptr a)
void dhermite(HermiteComputation *G)
void pring(const Ring *R)
void dringelem(const Ring *R, const ring_elem f)
void dvector(gc_vector< T > &a)
void dmonideal(MonomialIdeal *m)
void drespoly2(const res2_poly *R, const res2term *f)
void dmutablemat(MutableMatrix *m)
void dfree(const FreeModule *F)
void drespoly(const res_poly *R, const resterm *f)
void dintarray(M2_arrayint a)
void dgbvec(const GBRing *R, gbvector *v)
Debugger-callable d* helpers that pretty-print engine values to stderr.
GBRing and gbvector — the GB-tuned polynomial-ring view used by classical Buchberger code.
HermiteComputation — Hermite normal form over ZZ, the ZZ-analogue of GaussElimComputation.
MutableMatrix — abstract base of every mutable matrix the engine hands across the boundary.
Matrix — the engine's immutable homomorphism F -> G between free modules.
MonomialIdeal — exponent-vector-only representation of an ideal generated by monomials.
typename std::vector< T, gc_allocator< T > > gc_vector
a version of the STL vector, which allocates its backing memory with gc.
RingElement — tagged (Ring*, ring_elem) pair, the engine's universal element type.
Singly linked-list node carrying one term of a polynomial-ring element.
void emit_line(const char *s)
Text-formatting helpers layered on buffer: bignum print, line wrapping, M2_gbTrace-gated emit.