-
Complexes -- development package for beta testing new version of chain complexes
-
-
augmentationMap -- map from a free resolution to a module regarded as a complex
-
-
-
canonicalMap -- gets the natural map arising from various constructions
-
-
-
-
-
-
-
Complex -- the class of all chain complexes
-
-
-
-
Complex _ Array -- the canonical inclusion or projection map of a direct sum
-
-
-
-
-
-
-
-
ComplexMap -- the class of all maps between chain complexes
-
-
-
-
-
-
-
-
-
-
-
Concentration (missing documentation)
-
-
-
-
connectingMap (missing documentation)
-
cylinder -- make the mapping cylinder of a morphism of chain complexes
-
-
-
-
-
-
-
-
-
-
-
-
-
homotopic (missing documentation)
-
homotopy (missing documentation)
-
HomWithComponents (missing documentation)
-
horseshoeResolution (missing documentation)
-
-
-
-
-
-
isExact -- whether a complex is exact
-
-
-
isNullHomotopic (missing documentation)
-
isNullHomotopyOf (missing documentation)
-
isQuasiIsomorphism (missing documentation)
-
isShortExactSequence (missing documentation)
-
-
-
-
-
liftMapAlongQuasiIsomorphism (missing documentation)
-
-
-
-
-
-
-
-
-
minimizingMap (missing documentation)
-
-
-
nullHomotopy (missing documentation)
-
-
-
-
-
ResolutionMap (missing documentation)
-
-
-
-
-
-
-
-
-
-
tensorCommutativity (missing documentation)
-
-
-
-
-
UseTarget (missing documentation)
-
-
-
-
-
yonedaMap' (missing documentation)
-
yonedaMap(Matrix) -- creates a chain complex map representing an extension of modules
-
yonedaProduct (missing documentation)