koszulExtension -- creates the Koszul extension complex of a map

Synopsis

• Usage:

  MM = koszulExtension(FF,BB,psi1,ff)

• Inputs:
  • FF, a chain complex, resolution over S
  • BB, a chain complex, two-term complex BB_1-->BB_0
  • psi1, a matrix, from BB_1 to FF_0
  • ff, a matrix, regular sequence annihilating the module resolved by FF
• Outputs:
  • MM, a chain complex, the mapping cone of the induced map B[-1]\otimes KK(ff) to W extending psi

Description

See also

• makeFiniteResolution -- finite resolution of a matrix factorization module M