DGModuleMap -- The class of morphisms of DG modules over a common DG algebra

Functions and methods returning an object of class DGModuleMap:

• dgModuleMap -- Construct a DGModuleMap from a matrix or from a list of image Vectors
• identityDGModuleMap -- The identity DGModuleMap on a DG module
• liftToDGModuleMap -- Lift an image of hom-degree-0 generators to a full DGModuleMap
• zeroDGModuleMap -- The zero DGModuleMap between two DG modules over a common algebra

Methods that use an object of class DGModuleMap:

• - DGModuleMap (missing documentation)
• cokernel(DGModuleMap) -- Cokernel of a DG module map as a DG quotient module of its target
• degree(DGModuleMap) (missing documentation)
• DGModuleMap * DGModuleMap (missing documentation)
• DGModuleMap * Number (missing documentation)
• DGModuleMap * QQ (missing documentation)
• DGModuleMap * RingElement (missing documentation)
• DGModuleMap * ZZ (missing documentation)
• DGModuleMap ** DGModuleMap -- Tensor product of DG module maps
• DGModuleMap ** Ring -- Base change of a DG module map along a ring map
• DGModuleMap + DGModuleMap (missing documentation)
• DGModuleMap - DGModuleMap (missing documentation)
• DGModuleMap == DGModuleMap -- Elementary predicates and constructors for DGModuleMaps
• isHomogeneous(DGModuleMap) -- see DGModuleMap == DGModuleMap -- Elementary predicates and constructors for DGModuleMaps
• isQuasiIsomorphism(DGModuleMap) -- see DGModuleMap == DGModuleMap -- Elementary predicates and constructors for DGModuleMaps
• DGModuleMap == ZZ (missing documentation)
• DGModuleMap Vector (missing documentation)
• HH DGModuleMap -- The induced map on graded homology modules over HH(A)
• homology(DGModuleMap,ZZ) -- The induced map on degree-n homology of a DG module map
• image(DGModuleMap) -- Image of a DG module map as a DG submodule of its target
• isInjective(DGModuleMap) (missing documentation)
• isIsomorphism(DGModuleMap) (missing documentation)
• isSurjective(DGModuleMap) (missing documentation)
• isWellDefined(DGModuleMap) -- Check that a DG module map has correct structure and is a chain map
• kernel(DGModuleMap) -- Kernel of a DG module map as a DG submodule of its source
• net(DGModuleMap) (missing documentation)
• Number * DGModuleMap (missing documentation)
• minimalPresentation(DGModuleMap) -- see prune(DGModuleMap) -- Pruning a DG module map is the identity
• prune(DGModuleMap) -- Pruning a DG module map is the identity
• QQ * DGModuleMap (missing documentation)
• ring(DGModuleMap) (missing documentation)
• RingElement * DGModuleMap (missing documentation)
• source(DGModuleMap) (missing documentation)
• target(DGModuleMap) (missing documentation)
• toComplexMap(DGModuleMap) -- Export a DG module map to a ComplexMap
• toComplexMap(DGModuleMap,ZZ) -- The per-hom-degree component of a DG module map as a matrix
• ZZ * DGModuleMap (missing documentation)
• ZZ == DGModuleMap (missing documentation)

For the programmer

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

The source of this document is in DGAlgebras/doc.m2:288:0.