ChainComplexMap -- the class of all maps between chain complexes

Functions and methods returning a chain complex map :

• ChainComplexMap * ChainComplexMap -- see * -- a binary operator, usually used for multiplication
• ChainComplexMap + ChainComplexMap -- see + -- a unary or binary operator, usually used for addition
• - ChainComplexMap -- see - -- a unary or binary operator, usually used for negation or subtraction
• ChainComplexMap - ChainComplexMap -- see - -- a unary or binary operator, usually used for negation or subtraction
• ChainComplex ** ChainComplexMap -- tensor product
• Module ** ChainComplexMap -- see ChainComplex ** ChainComplexMap -- tensor product
• ChainComplexMap ++ ChainComplexMap -- see ChainComplex ++ ChainComplex -- direct sum
• ChainComplexMap ** ChainComplex -- tensor product
• ChainComplexMap ** Module -- see ChainComplexMap ** ChainComplex -- tensor product
• ChainComplexMap ** ChainComplexMap -- tensor product
• ChainComplexMap ^ ZZ -- iterated composition
• ChainComplexMap Array -- degree shift
• dual(ChainComplexMap) -- dual of a chain complex
• extend(ChainComplex,ChainComplex,Matrix) -- extend a module map to a chain map, if possible
• Hom(ChainComplexMap,Module) -- see Hom(Module,ChainComplex) -- the Hom functor
• Hom(Module,ChainComplexMap) -- see Hom(Module,ChainComplex) -- the Hom functor
• inducedMap(ChainComplex,ChainComplex) -- see inducedMap(Module,Module) -- compute the map induced by the identity
• map(ChainComplex,ChainComplex,ChainComplexMap) (missing documentation)
• map(ChainComplex,ChainComplex,Function) -- make a map of chain complexes
• ChainComplexMap ^ Array -- see Matrix ^ Array -- component of map corresponding to summand of target
• ChainComplexMap _ Array -- see Matrix _ Array -- component of map corresponding to summand of source
• minimalPresentation(ChainComplexMap) -- see minimalPresentation(Module) -- minimal presentation of a module
• prune(ChainComplexMap) -- see minimalPresentation(Module) -- minimal presentation of a module
• ChainComplex ^ Array -- see Module ^ Array -- projection onto summand
• ChainComplex _ Array -- see Module _ Array -- inclusion from summand
• nullhomotopy(ChainComplexMap) -- see nullhomotopy -- make a null homotopy
• resolution(Matrix) -- given a module map represented by a matrix, produce a comparison map between resolutions of its source and target
• RingMap ChainComplexMap (missing documentation)
• tensorAssociativity(ChainComplex,ChainComplex,ChainComplex) -- see tensorAssociativity -- associativity isomorphisms for tensor products

Methods that use a chain complex map :

• RingElement * ChainComplexMap -- see * -- a binary operator, usually used for multiplication
• ChainComplexMap + RingElement -- see + -- a unary or binary operator, usually used for addition
• ChainComplexMap + ZZ -- see + -- a unary or binary operator, usually used for addition
• RingElement + ChainComplexMap -- see + -- a unary or binary operator, usually used for addition
• ZZ + ChainComplexMap -- see + -- a unary or binary operator, usually used for addition
• ChainComplexMap - RingElement -- see - -- a unary or binary operator, usually used for negation or subtraction
• RingElement - ChainComplexMap -- see - -- a unary or binary operator, usually used for negation or subtraction
• ChainComplexMap == ChainComplexMap -- see == -- equality
• ChainComplexMap == RingElement -- see == -- equality
• ChainComplexMap == ZZ -- see == -- equality
• RingElement == ChainComplexMap -- see == -- equality
• ZZ == ChainComplexMap -- see == -- equality
• ChainComplexMap _ ZZ -- component map
• ChainComplexMap _ ZZ = Thing -- install component of chain complex map
• coimage(ChainComplexMap) -- see coimage -- coimage of a map
• cokernel(ChainComplexMap) -- see cokernel -- cokernel of a map of modules, graded modules, or chaincomplexes
• complete(ChainComplexMap) -- see complete
• components(ChainComplexMap) -- see components -- list the components of a direct sum
• cone(ChainComplexMap)
• degree(ChainComplexMap) (missing documentation)
• formation(ChainComplexMap) -- see formation -- recover the methods used to make a module
• 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) -- see image -- image of a map
• isCommutative(ChainComplexMap) (missing documentation)
• isHomogeneous(ChainComplexMap) -- see isHomogeneous -- whether something is homogeneous (graded)
• kernel(ChainComplexMap) -- kernel of a chain complex map
• ring(ChainComplexMap) -- see ring -- get the associated ring of an object
• 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

For the programmer

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