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.