F = standardResolution(d1',d2,subsPoint,s)
We first substitute the unknown entries of the matrices $d_1'$ and $d_2$ by the corresponding entries of the matrix subsPoint. These matrices are defined over the polynomial ring $S = k[x_0,x_1,y_0,\ldots,y_3]$. From $d_2$ we compute the missing first row of the first matrix, and hence the complete syzygy matrix $d_1$. The $S$-module $R := coker d_1$ has then the prescribed Betti numbers. As a final step, we check that the syzygy matrices are modulo $x_0,x_1$ of the form fixed in the procedure complexModuloRegularSequence and that the second syzygy matrix is skew-symmetric. Such a minimal free resolution is called a standard resolution.
|
|
|
|
|
|
|
|
|
|
|
|
The object standardResolution is a method function.