Construction of rational surfaces of degree 12 in projective four-space
rational-deg-12.m2
This file contains the functions 'idealOfDeg12Surf', 'firstAdjoint', and 'tangentSpaceOfDeg12Surf'.
'idealOfDeg12Surf' computes the ideal of a nonsingular surface X in P4 over F5 using Construction I.
'firstAdjoint' finds the ideal of the first adjoint surface of X and the number of (-1)-lines on X.
'tangentSpaceOfDeg12Surf' computes the dimension of the tangent space to the Hilbert scheme at X.
monadConstruction.m2
The main function is 'randomSmoothSurface', which constructs a nonsingular surface using Construction II.