Macaulay2 Engine
Loading...
Searching...
No Matches
SLP.hpp
Go to the documentation of this file.
1// Copyright 2015 Anton Leykin and Mike Stillman
2
3// Anton Leykin's code in this file is in the public domain.
4
5#ifndef _slp_hpp_
6#define _slp_hpp_
7
44
45#include "mutablemat-defs.hpp"
46#include "SLP-defs.hpp"
47#include "SLP-imp.hpp"
48#include "mutablemat-imp.hpp"
49
50#include "buffer.hpp"
51#include "matrix.hpp"
52#include "aring-glue.hpp"
53
54#endif
55
56// Local Variables:
57// compile-command: "make -C $M2BUILDDIR/Macaulay2/e "
58// indent-tabs-mode: nil
59// End:
SLP-defs.hpp
Type declarations for the SLP DAG, its evaluator hierarchy, and the homotopy abstraction.
SLP-imp.hpp
Templated SLEvaluatorConcrete<RT> — the per-ring SLP evaluator implementation.
aring-glue.hpp
ConcreteRing<RingType> — the templated bridge between aring and the legacy Ring API.
buffer.hpp
Append-only GC-backed byte buffer used throughout the engine for text output.
matrix.hpp
Matrix — the engine's immutable homomorphism F -> G between free modules.
mutablemat-defs.hpp
MutableMat<Mat> — the templated bridge from DMat / SMat to the abstract MutableMatrix.
mutablemat-imp.hpp
Template implementations of MutableMat<Mat> — linear-algebra methods plus the SLP-evaluator bridge.