Ext^ZZ(Module,Matrix) -- map between Ext modules

Synopsis

• Scripted functor: Ext
• Usage:
Ext^i(M,f)
• Inputs:
• Outputs:
• , the induced map $Ext^i(M,N1) \rightarrow{} Ext^i(M,N2)$

Description

If M is an ideal, it is regarded as a module in the evident way.