Hom and Ext
Yoneda extensions and elements of Ext
-
yonedaMap(Matrix) -- creates a chain complex map representing an extension of modules
-
yonedaMap'(ComplexMap) -- identifies the element of Ext corresponding to a map of free resolutions
-
yonedaExtension(Matrix) -- creates a chain complex representing an extension of modules
-
yonedaExtension'(Complex) -- identifies the element of Ext corresponding to an extension
-
yonedaProduct(Matrix,Matrix) (missing documentation)
-
yonedaProduct(Module,Module) (missing documentation)