Complexes -- Homological data types and routines
augmentationMap (missing documentation)
-
Boundary (missing documentation)
canonicalMap (missing documentation)
canonicalTruncation (missing documentation)
-
-
Complex -- the class of all chain or cochain complexes
complex -- make a chain or cochain complex
-
-
Complex _ Array -- the canonical inclusion or projection map of a direct sum
-
-
-
ComplexMap -- the class of all homomorphisms of complexes
-
-
-
Concentration (missing documentation)
-
-
connectingMap (missing documentation)
Cycle (missing documentation)
cylinder (missing documentation)
-
-
freeResolution (missing documentation)
-
-
-
homotopic (missing documentation)
homotopy (missing documentation)
HomWithComponents (missing documentation)
horseshoeResolution (missing documentation)
-
InternalDegree (missing documentation)
-
-
isExact -- whether a complex is exact
-
-
isNullHomotopic (missing documentation)
isNullHomotopyOf (missing documentation)
isQuasiIsomorphism (missing documentation)
isShortExactSequence (missing documentation)
-
-
-
liftMapAlongQuasiIsomorphism (missing documentation)
minimize (missing documentation)
naiveTruncation (missing documentation)
nullHomotopy (missing documentation)
randomComplexMap (missing documentation)
ResolutionMap (missing documentation)
resolutionMap (missing documentation)
-
UseTarget (missing documentation)
yonedaExtension (missing documentation)
yonedaExtension' (missing documentation)
yonedaMap (missing documentation)
yonedaMap' (missing documentation)
yonedaProduct (missing documentation)