Complexes : Index
- augmentationMap (missing documentation)
- Base -- make a chain or cochain complex
- betti(Complex) -- display of degrees in a complex
- Boundary (missing documentation)
- canonicalMap (missing documentation)
- canonicalTruncation (missing documentation)
- coimage(ComplexMap) -- coimage of a map of complexes
- cokernel(ComplexMap) -- cokernel of a map of complexes
- Complex -- the class of all chain or cochain complexes
- complex -- make a chain or cochain complex
- Complex ** Complex -- tensor product of complexes
- Complex ** Module -- tensor product of complexes
- Complex ++ Complex -- direct sum of complexes
- Complex == Complex -- whether two complexes are equal
- Complex == ZZ -- whether two complexes are equal
- Complex ^ Array -- the canonical inclusion or projection map of a direct sum
- Complex ^ ZZ -- access individual object in a complex
- Complex _ Array -- the canonical inclusion or projection map of a direct sum
- Complex _ ZZ -- access individual object in a complex
- Complex Array -- shift a complex
- complex(HashTable) -- make a chain or cochain complex
- complex(Ideal) -- make a chain or cochain complex of length zero
- complex(List) -- make a chain or cochain complex
- complex(Module) -- make a chain or cochain complex of length zero
- complex(Ring) -- make a chain or cochain complex of length zero
- Complexes -- Homological data types and routines
- ComplexMap -- the class of all homomorphisms of complexes
- ComplexMap * ComplexMap -- composition of homomorphisms of complexes
- ComplexMap == ComplexMap -- whether two complex maps are equal
- ComplexMap == ZZ -- whether two complex maps are equal
- components(Complex) -- list the components of a direct sum
- Concentration (missing documentation)
- concentration -- indices on which a complex may be non-zero
- concentration(Complex) -- indices on which a complex may be non-zero
- cone(ComplexMap) -- the mapping cone of a morphism of chain complexes
- connectingMap (missing documentation)
- Cycle (missing documentation)
- cylinder (missing documentation)
- directSum(Complex) -- direct sum of complexes
- dual(Complex) -- makes the dual of a complex
- freeResolution (missing documentation)
- HH Complex -- homology of a complex
- HH^ZZ Complex -- homology or cohomology module of a complex
- HH_ZZ Complex -- homology or cohomology module of a complex
- Hom(Complex,Complex) -- the complex of homomorphisms between two complexes
- Hom(Complex,Module) -- the complex of homomorphisms between two complexes
- Hom(Module,Complex) -- the complex of homomorphisms between two complexes
- homotopic (missing documentation)
- homotopy (missing documentation)
- HomWithComponents (missing documentation)
- horseshoeResolution (missing documentation)
- image(ComplexMap) -- image of a map of complexes
- InternalDegree (missing documentation)
- isCommutative(ComplexMap) -- whether a complex map commutes with the differentials
- isComplexMorphism -- whether a complex map is a morphism of complexes
- isComplexMorphism(ComplexMap) -- whether a complex map is a morphism of complexes
- isExact -- whether a complex is exact
- isExact(Complex) -- whether a complex is exact
- isExact(Complex,InfiniteNumber,InfiniteNumber) -- whether a complex is exact
- isExact(Complex,InfiniteNumber,Number) -- whether a complex is exact
- isExact(Complex,Number,InfiniteNumber) -- whether a complex is exact
- isExact(Complex,Number,Number) -- whether a complex is exact
- isFree -- whether a complex consists of free modules
- isFree(Complex) -- whether a complex consists of free modules
- isHomogeneous(Complex) -- whether a complex is homogeneous
- isNullHomotopic (missing documentation)
- isNullHomotopyOf (missing documentation)
- isQuasiIsomorphism (missing documentation)
- isShortExactSequence (missing documentation)
- isWellDefined(Complex) -- whether a complex is well-defined
- kernel(ComplexMap) -- kernel of a map of complexes
- length(Complex) -- length of a complex
- liftMapAlongQuasiIsomorphism (missing documentation)
- Making complexes
- minimize (missing documentation)
- Module ** Complex -- tensor product of complexes
- naiveTruncation (missing documentation)
- nullHomotopy (missing documentation)
- Number * ComplexMap -- composition of homomorphisms of complexes
- randomComplexMap (missing documentation)
- ResolutionMap (missing documentation)
- resolutionMap (missing documentation)
- ring(Complex) -- access the ring of a complex or a complex map
- ring(ComplexMap) -- access the ring of a complex or a complex map
- RingElement * ComplexMap -- composition of homomorphisms of complexes
- UseTarget (missing documentation)
- yonedaExtension (missing documentation)
- yonedaExtension' (missing documentation)
- yonedaMap (missing documentation)
- yonedaMap' (missing documentation)
- yonedaProduct (missing documentation)
- ZZ == Complex -- whether two complexes are equal
- ZZ == ComplexMap -- whether two complex maps are equal