- Complexes of Modules
- Creation
- Subcomplexes and Quotient Complexes
- Access Functions
- Elementary Operations
- DirectSum(C, D) : ModCpx, ModCpx -> ModCpx
- Homology(C) : ModCpx -> SeqEnum
- Homology(C, n) : ModCpx, RngIntElt -> SeqEnum
- Prune(C) : ModCpx -> ModCpx
- Prune(C,n) : ModCpx, RngIntElt -> ModCpx
- Preprune(C) : ModCpx -> ModCpx
- Preprune(C,n) : ModCpx, RngIntElt -> ModCpx
- Shift(C, n) : ModCpx, RngIntElt -> ModCpx
- ShiftToDegreeZero(C) : ModCpx -> ModCpx
- Splice(C, D) : ModCpx, ModCpx -> ModCpx
- Splice(C, D, f) : ModCpx, ModCpx, ModMatRngElt -> ModCpx
- Extensions
- Predicates
- Chain Maps
- Creation
- Access Functions
- Elementary Operations
- Predicates
- IsSurjective(f) : MapChn -> BoolElt
- IsInjective(f) : MapChn -> BoolElt
- IsZero(f) : MapChn -> BoolElt
- IsIsomorphism(f) : MapChn -> BoolElt
- IsShortExactSequence(f, g) : MapChn, MapChn -> BoolElt
- IsChainMap(L, C, D, n) : List, ModCpx, ModCpx, RngIntElt -> BoolElt
- IsChainMap(f) : MapChn -> BoolElt
- IsProperChainMap(f) : MapChn -> BoolElt
- HasDefinedModuleMap(C,n) : ModCpx, RngIntElt -> BoolElt
- Example ModCpx_Chainmaps (H61E2)
- Maps on Homology
V2.28, 13 July 2023