next | previous | forward | backward | up | top | index | toc | home

tensorAssociativity -- associativity isomorphisms for tensor products

Description

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 -- the class of all chain complexes
Module -- the class of all modules

Ways to use `tensorAssociativity` :

tensorAssociativity(ChainComplex,ChainComplex,ChainComplex)
tensorAssociativity(GradedModule,GradedModule,GradedModule)
tensorAssociativity(Module,Module,Module)