ChainComplexMap -- the class of all maps between chain complexes

Functions and methods returning a chain complex map:

• - ChainComplexMap (missing documentation)
• ChainComplex ** ChainComplexMap -- tensor product
• Module ** ChainComplexMap -- see ChainComplex ** ChainComplexMap -- tensor product
• ChainComplexMap ++ ChainComplexMap -- see ChainComplex ++ ChainComplex -- direct sum
• ChainComplex ^ Array -- projection onto summand
• ChainComplex _ Array -- inclusion from summand
• ChainComplexMap * ChainComplexMap (missing documentation)
• ChainComplexMap ** ChainComplex -- tensor product
• ChainComplexMap ** Module -- see ChainComplexMap ** ChainComplex -- tensor product
• ChainComplexMap ** ChainComplexMap -- tensor product
• ChainComplexMap + ChainComplexMap (missing documentation)
• ChainComplexMap - ChainComplexMap (missing documentation)
• ChainComplexMap ^ Array (missing documentation)
• ChainComplexMap ^ ZZ -- iterated composition
• ChainComplexMap _ Array -- component of map corresponding to summand of source
• ChainComplexMap Array -- degree shift
• dual(ChainComplexMap) -- dual of a chain complex
• extend(ChainComplex,ChainComplex,Matrix)
• Hom(ChainComplexMap,Module) -- see Hom(Module,ChainComplex) -- the Hom functor
• Hom(Module,ChainComplexMap) -- see Hom(Module,ChainComplex) -- the Hom functor
• inducedMap(ChainComplex,ChainComplex) (missing documentation)
• map(ChainComplex,ChainComplex,ChainComplexMap) (missing documentation)
• map(ChainComplex,ChainComplex,Function) -- make a map of chain complexes
• minimalPresentation(ChainComplexMap) (missing documentation)
• nullhomotopy(ChainComplexMap) -- see nullhomotopy -- make a null homotopy
• prune(ChainComplexMap) (missing documentation)
• resolution(Matrix) -- compute the comparison map between resolutions of the source and target of a module map represented by a matrix
• RingMap ChainComplexMap (missing documentation)
• tensorAssociativity(ChainComplex,ChainComplex,ChainComplex) (missing documentation)

Methods that use a chain complex map:

• ChainComplexMap + RingElement (missing documentation)
• ChainComplexMap + ZZ (missing documentation)
• ChainComplexMap - RingElement (missing documentation)
• ChainComplexMap == ChainComplexMap (missing documentation)
• ChainComplexMap == RingElement (missing documentation)
• ChainComplexMap == ZZ (missing documentation)
• ChainComplexMap _ ZZ -- component map
• ChainComplexMap _ ZZ = Thing -- install component of chain complex map
• coimage(ChainComplexMap) (missing documentation)
• cokernel(ChainComplexMap) (missing documentation)
• complete(ChainComplexMap) -- see complete(GradedModule)
• components(ChainComplexMap) (missing documentation)
• cone(ChainComplexMap)
• degree(ChainComplexMap) (missing documentation)
• formation(ChainComplexMap) (missing documentation)
• HH ChainComplexMap -- homology of a chain complex map
• HH^ZZ ChainComplexMap -- cohomology of a chain complex map
• HH_ZZ ChainComplexMap -- homology of a chain complex map
• image(ChainComplexMap) (missing documentation)
• isHomogeneous(ChainComplexMap) (missing documentation)
• kernel(ChainComplexMap) -- kernel of a chain complex map
• mathML(ChainComplexMap) (missing documentation)
• net(ChainComplexMap) (missing documentation)
• ring(ChainComplexMap) (missing documentation)
• RingElement * ChainComplexMap (missing documentation)
• RingElement + ChainComplexMap (missing documentation)
• RingElement - ChainComplexMap (missing documentation)
• RingElement == ChainComplexMap (missing documentation)
• source(ChainComplexMap) -- find the source of a map of chain complexes
• sum(ChainComplexMap) -- direct sum of the components of a chain map
• target(ChainComplexMap) -- find the target of a map of chain complexes
• transpose(ChainComplexMap) -- transpose a map of chain complexes
• ZZ * ChainComplexMap (missing documentation)
• ZZ + ChainComplexMap (missing documentation)
• ZZ == ChainComplexMap (missing documentation)

For the programmer

The object ChainComplexMap is a type, with ancestor classes GradedModuleMap < MutableHashTable < HashTable < Thing.

The source of this document is in OldChainComplexes/docs/doc9.m2:235:0.