phi = dgAlgebraMultMap(A,z)
If A is a DGAlgebra, and z is a cycle of A, then left multiplication of A by z gives a chain map from A to A. This command converts A to a complex using toComplex, and constructs a ChainComplexMap that represents left multiplication by z. This command is used to determine the module structure that is computed in homologyModule.




As you can see, the degree of phi is the homological degree of z:

Care is also taken to ensure the resulting map is homogeneous if R and z are:

One may then view the action of multiplication by the homology class of z upon taking the induced map in homology:

The object dgAlgebraMultMap is a method function.