Modulesยง
- affine ๐
- arbitrary
- m4ri ๐
- matrix_
inner ๐ - quasi_
inverse ๐ - subquotient ๐
- subspace ๐
Structsยง
- Affine
Subspace - Augmented
Matrix - This models an augmented matrix.
- Matrix
- A matrix! In particular, a matrix with values in F_p.
- Matrix
Slice Mut - Quasi
Inverse - Given a matrix M, a quasi-inverse Q is a map from the co-domain to the domain such that xQM = x for all x in the image (recall our matrices act on the right).
- Subquotient
- Subspace
- A subspace of a vector space.