Checks whether the S-module R = coker d1 satisfies the ring condition and other technical conditions which are necessary for R defining the canonical ring of a numerical Godeaux surface.
i1 : kk = ZZ/nextPrime(32001); |
i2 : s = "1111"; |
i3 : F = randomStandardResolution(kk,s,5); |
i4 : d1 = F.dd_1; 8 26 o4 : Matrix (kk[x , x , y , y , y , y ]) <--- (kk[x , x , y , y , y , y ]) 0 1 0 1 2 3 0 1 0 1 2 3 |
i5 : verifyAssertions(d1) o5 = true |