next | previous | forward | backward | up | top | index | toc | Macaulay2 website
NumericalGodeaux :: verifyAssertions

verifyAssertions -- verify the ring condition

Synopsis

Description

Checks whether the $S$-module $R = coker d_1$ 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 ])  <--- (kk[x ..x , y ..y ])
                 0   1   0   3              0   1   0   3
 
i5 : verifyAssertions(d1)

o5 = true

See also

Ways to use verifyAssertions :

For the programmer

The object verifyAssertions is a method function.