|
Class Summary |
| CSparse |
Large sparse matrices over an integral domain, with linear algebra
tools that aim to preserve sparsity by avoiding both fill-in and
explosion of the individual matrix entries.
|
| DenseMatrixZ |
Matrices over Z using BigIntegers, implemented as
m × n arrays in a straightforward
way. |
| DNeg1Matrix |
The dilation matrix that's the identity except for a -1 in the
i,i position. |
| ElemMatrix |
The class of elementary matrices: permutations, dilations, and
translations. |
| Matrix |
A general interface for m × n
matrices.
|
| MPDQ |
Finds the Smith normal form of its argument, working in arbitrary
precision over Z while aiming to avoid fill-in and
entry explosion in the sparse matrix.
|
| P2Matrix |
The class of n × n permutation
matrices of order two. |
| SparseElt |
An abstract class representing elements of a sparse vector (a
SparseV) over an integral domain D. |
| SparseEltEuc |
A class of SparseElts should implement this interface if
its underlying integral domain D is a Euclidean
domain. |
| SparseEltField |
A class of SparseElts should implement this interface if
its underlying integral domain is a field. |
| SparseEltMod2 |
Elements of a sparse vector over the finite field
F2 = Z/(2) of two elements.
|
| SparseEltModp |
Elements of a sparse vector over the finite field
Fp = Z/(p) of p
elements.
|
| SparseEltZ |
Elements of a sparse vector over the ring of
integers Z, in arbitrary precision. |
| SparseEltZBig |
Elements of a sparse vector over Z, using
arbitrary-precision integers (BigIntegers). |
| SparseEltZInt |
Elements of a sparse vector over Z, using
int to store the values. |
| SparseV |
A SparseV is a list of SparseElts representing a vector
over the integral domain that underlies the SparseElts. |
| Test1 |
|
| TestHNF |
|
| TMatrix |
The class of transposition matrices: square matrices with 1's on
the diagonal and a single non-zero off-diagonal entry. |
| UnivCoeff |
Given matrices δ1 : C1 →
C2 and δ0 :
C0 → C1 over Z
defining a piece C2 ← C1
← C0 of a cochain complex, the constructor
prints out the cohomology H1 with coefficients
in both Z and the relevant Fp's,
including generating cocycles. |