next
|
previous
|
forward
|
backward
| up |
top
|
index
|
toc
|
Macaulay2 web site
CompleteIntersectionResolutions
::
koszulExtension
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]⊗KK(ff) to W extending psi
Description
Implements the construction in the paper "Matrix Factorizations in Higher Codimension" by Eisenbud and Peeva.
See also
makeFiniteResolution
-- finite resolution of a matrix factorization module M
Ways to use
koszulExtension
:
koszulExtension(ChainComplex,ChainComplex,Matrix,Matrix)