base class for Groebner basis computations.
Engine-side monomial ideal: a decision tree of Nmi_nodes storing the (typically minimal) generators b...
Abstract base class for mutable matrices over an arbitrary engine Ring, the in-place counterpart of t...
Abstract base for the engine's polynomial-ring hierarchy.
Base class for free resolution computation classes.
Per-component tie-breaker data for a Schreyer monomial order on a FreeModule.
void intern_GB(GBComputation *G)
void intern_monideal(MonomialIdeal *G)
MutableMatrix * internMutableMatrix(MutableMatrix *G)
void intern_polyring(const PolynomialRing *G)
void intern_SchreyerOrder(SchreyerOrder *G)
void intern_res(ResolutionComputation *G)