[top][index]
search for:
tensorAssociativity -- associativity isomorphisms for tensor products

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)

    • [top][index]
    search for: