torPhi = torMap(phi)
The functor Tor_R(M,N) is also functorial in the ring argument. Therefore, a ring map phi from A to B induces an algebra map from the Tor algebra of A to the Tor algebra of B.
|
|
|
|
|
In the following example, the map on Tor is surjective, which means that the ring homomorphism is large (Dress-Kramer).
|
|
|
|
|
The object torMap is a method function with options.
The source of this document is in /build/reproducible-path/macaulay2-1.25.06+ds/M2/Macaulay2/packages/DGAlgebras.m2:2735:0.