Construction of rational surfaces of degree 12 in projective
fourspace
Macaulay 2 scripts
- rational-deg12.m2
This includes the functions
idealOfDeg12Surf,
firstAdjoint and
tangentSpaceOfDeg12Surfs.
- idealOfDeg12Surf computes
the ideal of a smooth surface X in P4
over F5 following Construction I.
- firstAdjoint finds
the ideal of the first adjoint surface of X.
This also computes the number of (-1)-curve on X.
- tangentSpaceOfDeg12Surfs
is used to compute the dimension of the tangent space
to the Hilbert scheme at X.
- monadConstruction.m2
The main function is randomSmoothSurface,
which is used to construct a smooth surface following Construction II.
Last Updated: Aug. 13 2006 by Hirotachi Abo
|