- Introduction
- Creation of Modules
- Module(O, n) : RngOrd, RngIntElt -> ModDed
- Module(O) : RngOrd -> ModDed, Map
- Module(I) : RngOrdFracIdl -> ModDed, Map
- Module(S) : SeqEnum[Tup] -> ModDed, Map
- Module(S) : SeqEnum[RngOrdFracIdl] -> ModDed
- Module(S) : SeqEnum[ModElt] -> ModDed, Map
- Example ModDed_create (H60E1)
- sub<M | m> : ModDed, SeqEnum[ModDedElt] -> ModDed, Map
- quo<M | S> : ModDed, ModDed -> ModDed, Map
- Example ModDed_sub-quo (H60E2)
- Elementary Functions
- Predicates on Modules
- Arithmetic with Modules
- Basis of a Module
- Other Functions on Modules
- Homomorphisms between Modules
- hom<M -> N | T> : ModDed, ModDed, Map -> Map
- Hom(M, N) : ModDed, ModDed -> ModDed, Map
- IsSubmodule(M, N) : ModDed, ModDed -> BoolElt, Map
- Morphism(M, N) : ModDed, ModDed -> Map
- Example ModDed_hom (H60E6)
- Elements of Modules
- Pseudo Matrices
V2.28, 13 July 2023