(beta, alpha) = horseshoeResolution C
(beta, alpha) = horseshoeResolution(g, f)
Given a short exact sequence of modules
$\phantom{WWWW} 0 \leftarrow N \xleftarrow{g} M \xleftarrow{f} L \leftarrow 0, $
the horsehoe lemma produces simultaneous free resolutions of $N$, $M$ and $L$, which form a short exact sequence of complexes. This method returns these two chain complex maps.
We illustrate this method by constructing simultaneous free resolutions of three monomial ideals.
|
|
|
|
|
|
|
|
|
|
|
|
The constructed resolution of the middle term $C_1$ is almost never minimal.
|
|
|
The optional argument LengthLimit allows one to truncate the constructed free resolutions.
|
|
|
|