tensorAssociativity

tensorAssociativity(A,B,C) -- produces the isomorphism from A**(B**C) to (A**B)**C.

Currently implemented for modules, graded modules, and chain complexes.

See also ChainComplex and Module.

topindexpreviousupnext