ExternalProduct -- external product of modules or complexes

Ways to use ExternalProduct:

• ExternalProduct(ChainComplex,ChainComplex)
• ExternalProduct(Module,Module)

For the programmer

The object ExternalProduct is a method function with options.

The source of this document is in BernsteinSato/DOC/other.m2:112:0.