(C1,C2) = getChainComplexes(relLin,relPfaf)
In this procedure we work over the coordinate ring $S_Q$ where $Q \subset \ \mathbb{P}^{11}$ is the complete intersection of the four quadratic relations. For $i=1,2$, we resolve the matrices $l_i$ and $l_i^{tr}$ in both directions and put this together to a chain complex $C_i$. Very surprisingly, in the case "1111" the resolution of $l_1$ and $l_2$ over the non-regular ring S_Q is finite in both directions. So far, we have studied these chain complexes mainly for the case "1111". The resulting complexes $C_1$ and $C_2$ are exact outside a codimension 3 respectively 2 subscheme of $Q$. These loci are determined in the procedure homologyLocus.
|
|
|
|
|
|
|
|
|
The object getChainComplexes is a method function.