TorRS = torAlgebra(R,S,GenDegreeLimit=>m,RelDegreeLimit=>n)
|
|
|
|
|
|
|
Note that in this example, $Tor_*^R(S,k)$ has trivial multiplication, since the map from R to S is a Golod homomorphism by a theorem of Levin and Avramov.
The source of this document is in /build/reproducible-path/macaulay2-1.25.05+ds/M2/Macaulay2/packages/DGAlgebras.m2:2265:0.