- Introduction
- Definition of a Module
- Accessing Module Information
- Standard Constructions
- Changing the Coefficient Ring
- ChangeRing(M, S) : ModRng, Rng -> ModRng, Map
- ChangeRing(M, S, f) : ModRng, Rng, Map -> ModRng, Map
- ChangeUniverse(~x, R) : ModTupRngElt, Rng -> ModRng, Map
- Direct Sums
- Construction of Elements
- Bases
- Submodules
- Quotient Modules
- Homomorphisms
V2.28, 13 July 2023