Given a standard resolution F of an S-module R or its first syzygy matrix d1, the procedure computes the annihilator of R = coker d1 as an S-module which is a surface in the weighted projective space ℙ(2,2,3,3,3,3). If R is the canonical ring of a numerical Godeaux surface X, then I defines the image of canonical model under the projection to this weighted projective space.
i1 : kk = QQ; |
i2 : s = "1111"; |
i3 : F = randomStandardResolution(kk,s,5); |
i4 : I = surfaceInWeightedP5(F); o4 : Ideal of QQ[x , x , y , y , y , y ] 0 1 0 1 2 3 |