maps = makeFiniteResolutionCodim2(ff,mf)
Given a codim 2 matrix factorization, makes all the components of the differential and of the homotopies that are relevant to the finite resolution, as in 4.2.3 of Eisenbud-Peeva "Minimal Free Resolutions and Higher Matrix Factorizations"
|
|
|
|
|
|
|
|
|
|
|
The object makeFiniteResolutionCodim2 is a method function with options.
The source of this document is in CompleteIntersectionResolutions.m2:2939:0.