24 o <<
"[unprintable ringmap]";
57 ERROR(
"expected FreeModule of rank at least %d", M->
n_rows());
62 return F->
eval(newTarget, M);
Append-only GC-backed byte buffer used throughout the engine for text output.
unsigned int hash() const
Engine-side free module R^n over a Ring.
virtual size_t n_rows() const =0
virtual size_t n_cols() const =0
static MutableMatrix * zero_matrix(const Ring *R, size_t nrows, size_t ncols, bool dense)
virtual bool is_dense() const =0
Abstract base class for mutable matrices over an arbitrary engine Ring, the in-place counterpart of t...
Front-end-visible "ring element" value: an engine ring_elem paired with the Ring* that gives it meani...
bool is_equal(const RingMap *phi) const
const Ring * get_ring() const
void text_out(buffer &o) const
static const RingMap * make(const Matrix *m)
RingElement * eval(const RingElement *r) const
Engine-side ring homomorphism: stores, for each source-ring variable, the target-ring element it maps...
Engine error-reporting primitives: ERROR, INTERNAL_ERROR, error, error_message.
namespace exc — internal C++ exception types and the TRY / CATCH macro pair.
static CanonicalForm base
FreeModule — finite-rank free module R^n, the type-level anchor for every Matrix.
MutableMatrix * rawRingMapEvalMutableMatrix(const RingMap *F, const MutableMatrix *M)
const Ring * IM2_RingMap_target(const RingMap *F)
const Matrix * IM2_RingMap_eval_matrix(const RingMap *F, const FreeModule *newTarget, const Matrix *M)
const RingMap * IM2_RingMap_make1(const Matrix *M)
const RingElement * IM2_RingMap_eval_ringelem(const RingMap *F, const RingElement *a)
const RingMap * IM2_RingMap_make(const Matrix *M, const Ring *base)
unsigned int rawRingMapHash(const RingMap *F)
M2_bool IM2_RingMap_is_equal(const RingMap *f, const RingMap *g)
M2_string IM2_RingMap_to_string(const RingMap *F)
MutableMatrix — abstract base of every mutable matrix the engine hands across the boundary.
Matrix — the engine's immutable homomorphism F -> G between free modules.
Engine-boundary C API for constructing and evaluating RingMap homomorphisms.
RingMap — engine representation of a ring homomorphism.