Working with Tor -- information about functorial properties
-
Tor_ZZ(Module,Module) -- compute a Tor module
-
Tor_ZZ(Module,Matrix)
-
Tor_ZZ(Matrix,Module)
-
tensor(Complex,Complex) -- tensor product of complexes
-
tensor(ComplexMap,ComplexMap) -- the map of complexes between tensor complexes
-
tensorCommutativity(Complex,Complex) -- make the canonical isomorphism arising from commutativity
-
tensorAssociativity(Complex,Complex,Complex) -- make the canonical isomorphism arising from associativity
-
torSymmetry(ZZ,Module,Module) -- makes the canonical isomorphism realizing the symmetry of Tor
-
connectingTorMap -- makes the connecting maps in Tor